Next: Accuracy
Up: Ji and Biondi: Explicit
Previous: ONE-WAY WAVE EQUATION AND
The first-order approximations of the one-way wave equation by both
continued-fraction expansion and Taylor-series expansion result
in the same equation: the conventional 15-degree equation.
The 15-degree migration equation in the
domain (Claerbout, 1985) is given by
| ![\begin{displaymath}
{\partial P\over\partial z} = -i({\omega \over v} + {v \over 2\omega} {\partial^2 \over\partial x^2})P.\end{displaymath}](img9.gif) |
(6) |
After a second difference approximation to the second partial derivative
and subsequent simplification, the equation (6) becomes
| ![\begin{displaymath}
{\partial P\over\partial z} = M P,\end{displaymath}](img10.gif) |
(7) |
where the matrix M takes the form
![\begin{displaymath}
M = -i{\omega \over v}
\left(
\begin{array}
{ccccc}
1& & &...
... \\ &1&-2&1 & \\ & &1&-2&1 \\ & & &1&-2\end{array}
\right).\end{displaymath}](img11.gif)
Rearranging,
![\begin{displaymath}
M =
\left(
\begin{array}
{cccccc}
2a&b&0&0&\cdots&0\\ b&2a...
...0\\ 0&b&2a&b&\cdots&0\\ \cdots& & & & & \\ \end{array}
\right)\end{displaymath}](img12.gif)
with
![\begin{displaymath}
a=-{i\over 2}({\omega \over v} -{v \over \omega \Delta x^2})\end{displaymath}](img13.gif)
and
![\begin{displaymath}
b=-i{v \over 2\omega \Delta x^2}.\end{displaymath}](img14.gif)
The solution to equation (7) is
| ![\begin{displaymath}
P(z+\Delta z)=\exp(\Delta z M)P(z).\end{displaymath}](img15.gif) |
(8) |
The calculation of the exponentiated matrix
requires matrix
diagonalization, which is numerically expensive.
However, we can approximate the exponential of the matrix by
writing (Richardson, et al., 1991)
| ![\begin{displaymath}
\exp(\Delta z M)= \exp(\Delta z M_e)\exp(\Delta z M_o)+\epsilon(\Delta z^2),\end{displaymath}](img17.gif) |
(9) |
where the matrix M is split into two matrices M=Me+Mo, with
![\begin{displaymath}
M_e =
\left(
\begin{array}
{cccccc}
a&b&.&.&...&.\\ b&a&.&...
...&b&...&.\\ .&.&b&a&...&.\\ ...& & & & & \\ \end{array}
\right)\end{displaymath}](img18.gif)
and
![\begin{displaymath}
M_o =
\left(
\begin{array}
{cccccc}
a&.&.&.&...&.\\ .&a&b&...
....&...&.\\ .&.&.&a&...&.\\ ...& & & & & \\ \end{array}
\right).\end{displaymath}](img19.gif)
The approximate depth-stepping operator,
| ![\begin{displaymath}
B= \exp(\Delta z M_e)\exp(\Delta z M_o)\end{displaymath}](img20.gif) |
(10) |
forms the basis for our unconditionally stable, explicit algorithm for
migration. To compute the matrix exponentials, notice that both Me
and Mo are block diagonal and we need only consider the exponential
of the 2 by 2 matrix
![\begin{displaymath}
E =\Delta z
\left(
\begin{array}
{cc}
a&b\\ b&a\end{array}
\right).\end{displaymath}](img21.gif)
By using the eigenvalue decomposition of the matrix, we see that
![\begin{displaymath}
\exp(E) = Q \exp(\Lambda) Q^{-1}\end{displaymath}](img22.gif)
![\begin{displaymath}
={1\over 2}
\left(
\begin{array}
{cc}
\exp(\Delta z(a+b))+\...
...))&\exp(\Delta z(a+b))+\exp(\Delta z(a-b))\end{array}
\right),\end{displaymath}](img23.gif)
where Q represents the matrix whose columns are eigenvectors of the
matrix E, and
is the diagonal eigenvalue matrix.
Since both Me and Mo are block diagonal, exponentiating them amounts to
exponentiating E. Both
and
are also block diagonal. Since the eigenvalues of
are
and
with a and b imaginary, it follows that
and
.To prove the unconditional stability of the algorithm we need only show that
. This follows immediately since
, each of
which 1 according to the preceding discussion.
In Figure
, the impulse responses of both implicit and
explicit operators of 15-degree migration are compared for the same
extrapolation step
.
In the case of the implicit scheme, we used a Crank-Nicholson
implementation which has an accuracy on the order of
.For the explicit scheme, we performed a second-order approximation
using a split M = Me + Mo whose accuracy is on the order of
.We see that the impulse response
of the explicit method has the shape of an ellipse, which is
characteristic of the 15-degree extrapolation operator.
The impulse response of the explicit method shows some dispersion
than that of the implicit scheme due to a poor approximation of
the matrix exponent.
The way to get a more accurate approximation is discussed
in the following section.
fig1
Figure 1 The impulse responses (a) of explicit 15-degree migration
with split M = Me + Mo and (b) of implicit 15-degree migration with
Crank-Nicholson approximation. Both extrapolations are performed with the
same extrapolation step
.
Next: Accuracy
Up: Ji and Biondi: Explicit
Previous: ONE-WAY WAVE EQUATION AND
Stanford Exploration Project
12/18/1997