Files
simpegSeis/docs/source/api_Acous.rst
T
2014-09-17 09:02:23 -07:00

102 lines
3.1 KiB
ReStructuredText

.. _api_Acous:
.. math::
\renewcommand{\div}{\nabla\cdot\,}
\newcommand{\grad}{\vec \nabla}
\newcommand{\curl}{{\vec \nabla}\times\,}
\newcommand{\Acf}{{\mathbf A_c^f}}
\newcommand{\Ace}{{\mathbf A_c^e}}
\newcommand{\dcurl}{{\mathbf C}}
\newcommand{\dgrad}{{\mathbf G}}
\newcommand{\u}{\vec{u}}
\renewcommand{\dudt}{\frac{\partial\u}{\partial t}}
\renewcommand{\dphidt}{\frac{\partial\phi}{\partial t}}
\renewcommand{\dsdt}{\frac{\partial s}{\partial t}}
Acoustic wave equation
**********************
Backgrounds
-----------
Time domain acoustic wave equation in 1st order form:
.. math::
\rho\frac{\partial \phi}{\partial t} = \nabla \cdot \vec{u}+\frac{\partial s}{\partial t}\delta(\vec{r}-\vec{r}_s)
\mu^{-1}\frac{\partial \vec{u}}{\partial t} = \nabla \phi
where \\(\\rho\\) is the density, \\(\\mu\\) is the adiabatic compression modulus, \\(\\delta(\\vec{r}-\\vec{r}_s)\\) represents point source, and \\(\\phi\\) is the pressure.
By combining two equations we have 2nd order form:
.. math::
\rho\frac{\partial^2 \phi}{\partial t^2} - \div\mu\grad\phi = \frac{\partial^2 s}{\partial t^2}\delta(\vec{r}-\vec{r}_s)
By applying Fourier transform to frequency domain we have:
.. math::
-\rho\omega^2\phi - \div\mu\grad\phi = -\omega ^2 s \delta(\vec{r}-\vec{r}_s)
where \\(\\omega = 2\\pi f\\) is angular frequency. Assuming contant \\(\\mu\\) and \\(\\rho\\) we have Helmholtz equation:
.. math::
(\grad^2 + k^2)\phi = \mu^{-1}\omega^2 s \delta(\vec{r}-\vec{r}_s)
where \\(\ k = \\omega\\sqrt{\\frac{\\rho}{\\mu}}=\\frac{\\omega}{v} \\) is the wave propagation constant.
Discretization of problem
-------------------------
To compute the solution of time or frequency dependent partial differential equation (PDE) as discussed above, we need to discretize those equations in both time and space. Our domain in real situation (i.e., earth) can be considered as infinite in space. However, in discrete space where we compute the solution of those PDE should be finite. Therefore, we need to implement artificial boundary conditions to get rid of out going wave, which propagates beyond our domain of interest. We first implement sponge boundary condition then perfectly matched boundary condition.
Sponge boundary
===============
A fundamental idea of sponge boundary condition is adding damping term to acoustic wave equation:
.. math::
\rho\frac{\partial^2 \phi}{\partial t^2} + c\frac{\partial \phi}{\partial t}- \div\mu\grad\phi = \frac{\partial^2 s}{\partial t^2}\delta(\vec{r}-\vec{r}_s)
Similarly in frequency domain we have:
.. math ::
-\rho\omega^2\phi +\imath\omega c\phi- \div\mu\grad\phi = -\omega ^2 s \delta(\vec{r}-\vec{r}_s)
The first order form of time domain equation can be written as:
.. math ::
\rho\frac{\partial \phi}{\partial t} +c\phi- \nabla \cdot \vec{u}= +\frac{\partial s}{\partial t}\delta(\vec{r}-\vec{r}_s)
\mu^{-1}\frac{\partial \vec{u}}{\partial t} = \nabla \phi
Using staggered grid, we discretize acoustic wave equation in time (CITE):
PML boundary
============
.. raw:: html
:file: examples\refraction.html
Notebooks
=========