# Diffraction and ray theory for wave propagation

Series | Investigations in Geophysics |
---|---|

Author | Öz Yilmaz |

DOI | http://dx.doi.org/10.1190/1.9781560801580 |

ISBN | ISBN 978-1-56080-094-1 |

Store | SEG Online Store |

## H.1 The Kirchhoff integral

Kirchhoff’s integral solution to the scalar wave equation

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \left[ \frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2} + \frac{\partial^2}{\partial z^2} - \frac{1}{v^2(x,y,z)} \frac{\partial^2}{\partial t^2}\right] P (x,y,z;t) = 0}****(**)

is a mathematical statement of Huygen’s principle. In equation (**H-1**), *P*(*x, y, z*; *t*) is the pressure wavefield propagating in a medium with velocity *v*(*x, y, z*). Huygen’s principle states that the pressure disturbance at time *t* + Δ*t* is the superposition of the spherical waves generated by point sources at time *t*.

Consider the geometry in Figure H-1 of a point diffractor at a location *S*(*x, y, z*) and an observation surface *A* for the diffraction wavefield generated by the source at the diffractor. Actually, the surface area *A* is only a portion of a closed surface and is the aperture of the observation made over that closed surface. For convenience, we shall choose the receiver location *R*(0, 0, 0) on the observation surface *A* to be at the origin of our coordinate system.

Also for convenience, we shall apply Fourier transform to the wavefield in the time direction

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(x,y,z,;\omega) = \int P(x,y,z;t)\ \ \exp (-i\omega t)\ dt,}****(**)

where *ω* is the angular frequency. The inverse transform is given by

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(x,y,z,;t) = \int P(x,y,z;\omega)\ \ \exp (i\omega t)\ d\omega.}****(**)

Now apply Fourier transform to equation (**H-1**) in the time direction to obtain

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \left(\nabla^2 + \frac{\omega^2}{v^2}\right) P(x,y,z;\omega) = 0,}****(**)

where **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \nabla^2}**
is the Laplacian operator

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \nabla^2 P = \left( \frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2} + \frac{\partial^2}{\partial z^2}\right) P.}**

We may intuitively state that what we observe at the surface *A* is what is generated at the source *S*. This statement is mathematically expressed by Gauss’s divergence theorem as ^{[1]} ^{[2]} ^{[3]} ^{[4]}

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \int_V \nabla^2 PdV = \int_A \frac{\partial P}{\partial n}\ dA,}****(**)

where *V* is the volume of the region enclosed by the surface *A* and the derivative *∂P*/*∂n* is taken normal to the surface *A* in the outward direction. Note that Gauss’s divergence theorem expressed by equation (**H-4**) transforms a surface integral into a volume integral. For our specific application, this means imaging the earth’s interior from seismic waves observed at the earth’s surface.

We shall solve equation (**H-3**) for each frequency component *ω* and sum the resulting solutions over all frequency components to compute the wavefield at the source *P*(*x, y, z*; *t* = 0). The solution obtained by Kirchhoff in 1882 requires Green’s function which describes the propagation outward from a point source with spherical symmetry as ^{[3]} ^{[2]}

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle G(r,\omega) = \frac{1}{r}\ \ \exp\left(-i\frac{\omega}{v}r\right),}****(**)

where

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle r = \sqrt{x^2 + y^2 + z^2}}****(**)

is the distance between the observation point and the source location. Green’s function given by equation (**H-5a**) is also a valid solution to equation (**H-3**):

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \left(\nabla^2 + \frac{\omega^2}{v^2}\right) G (x,y,z;\omega) = 0.}****(**)

We now rewrite equation (**H-4**) by multiplying both sides with Green’s function *G* of equation (**H-5a**) as

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \int_V G\nabla^2 PdV = \int_A G\frac{\partial P}{\partial n}\ dA,}****(**)

and rewrite, in turn, equation (**H-7a**) by interchanging our wave function *P* with Green’s function *G* to obtain

**(**)

Now subtract equation (**H-7b**) from (**H-7a**) to get

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \int_V (G\nabla^2P- P\nabla^2G)\ dV = \int_A \left(G\frac{\partial P}{\partial n} - P\frac{\partial G}{\partial n} \right)\ dA.}****(**)

Equation (**H-8**) is known as Green’s theorem. Albeit the algebraic steps that we took from Gauss’s theorem given by equation (**H-4**) to Green’s theorem given by equation (**H-8**) may appear informal, the intention here is to provide the basic concept underlying the derivation.

Substitute equations (**H-3**) and (**H-6**) into the left-hand side of equation (**H-8**)

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \int_V (G\nabla^2P - P\nabla^2G)\ dV = \int_V \left(-G\frac{\omega^2}{v^2}P + P\frac{\omega^2}{v^2}G\right)\ dV,}**

and hence note that

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \int_V (G\nabla^2P - P\nabla^2G)\ dV = 0.}****(**)

Now we turn our attention to the right-hand side of equation (**H-8**). Because Green’s function defined by equation (**H-5a**) becomes infinite at the source location *S*, we need to place it inside an infinitesimally small enclosed surface *E*. This would then require computing the right-hand side of equation (**H-8**) in two parts — once for the surface *E* and once for the surface *A*.

Substitute equation (**H-5a**) into the right-hand side of equation (**H-8**) and note, from Figure H-1, that for the surface *E*, (*∂*/*∂n*) = −(*∂*/*∂r*):

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \int_E \left(G\frac{\partial P}{\partial n} - P\frac{\partial G}{\partial n}\right)\ dE = \int_E \left[ -\frac{1}{r}\ \exp \Bigg( -i\frac{\omega}{v}r\Bigg) \frac{\partial P}{\partial r} + P \frac{\partial}{\partial r}\left(\frac{1}{r}\ \exp \Bigg(-i\frac{\omega}{v}r\Bigg)\right)\right]\ r^2 d\Omega,}****(**)

where *dE* = *r*^{2}*d*Ω and Ω is the solid angle around the point source *S* in Figure H-1. Carry out the differentiation with respect to *r* and simplify the right-hand side of equation (**H-10a**) to obtain

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \int_E \left(G\frac{\partial P}{\partial n} - P\frac{\partial G}{\partial n}\right)\ dE = - \int_E \exp \bigg( -i\frac{\omega}{v}r\bigg) \left(r\frac{\partial P}{\partial r} + P + i\frac{\omega}{v}rP\right)\ d\Omega.}****(**)

Finally, take the limit *r* → 0 to obtain the contribution of the surface *E*:

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \int_E \left(G\frac{\partial P}{\partial n} - P\frac{\partial G}{\partial n}\right)\ dE = -4\pi P.}****(**)

Now substitute, again, equation (**H-5a**) into the right-hand side of equation (**H-8**) and note from Figure H-1 that for the surface *A*, (*∂*/*∂n*) = −(*∂*/*∂z*):

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \int_A \left(G\frac{\partial P}{\partial n} - P\frac{\partial G}{\partial n}\right)\ dA = \int_A \left\{ -\frac{1}{r}\ \exp \left( -i\frac{\omega}{v}r\right) \frac{\partial P}{\partial z} + P \frac{\partial}{\partial z} \left[\frac{1}{r}\ \exp \left( -i\frac{\omega}{v}r\right)\right]\right\}\ dA.}****(**)

Carry out the differentiation with respect to *z* while noting from Figure H-1 that *∂r*/*∂z* = cos *θ*, and simplify the right-hand side of equation (**H-12**) to get

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \int_A \left(G\frac{\partial P}{\partial n} - P\frac{\partial G}{\partial n}\right)\ dA = - \int_A \exp \left( -i\frac{\omega}{v}r\right) \left(\frac{1}{r} \frac{\partial P}{\partial z}+ \frac{\cos \theta}{r^2}P+ i\frac{\omega}{v} \frac{\cos\theta}{r}P\right)\ dA.}****(**)

The total contribution to the right-hand side of equation (**H-8**) actually is the sum of equations (**H-11**) and (**H-13**). The left-hand side of equation (**H-8**) vanishes by way of equation (**H-9**). Hence, the resulting expression from equation (**H-9**) is

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle 4\pi P = \int_A \exp \left( -i\frac{\omega}{v}r\right) \left(\frac{1}{r} \frac{\partial P}{\partial z}+ \frac{\cos \theta}{r^2}P+ i\frac{\omega}{v} \frac{\cos\theta}{r}P\right)\ dA.}****(**)

Recall that *P* = *P*(*x, y, z*; *ω*) in equation (**H-14**) and multiply both sides by exp(*iωt*) and integrate over frequency *ω*. The left-hand side of the equation then becomes *P*(*x, y, z*; *t*) by way of the inverse Fourier transform as in equation (**H-2b**). Thus the resulting expression is

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(x,y,z;t)=\frac{1}{4\pi} \int_\omega \int_A \left(\frac{1}{r} \frac{\partial P}{\partial z}+ \frac{\cos \theta}{r^2}P+ i\frac{\omega}{v} \frac{\cos\theta}{r}P\right)\ \exp \left[ -i\omega \left(t-\frac{r}{v}\right)\right]\ dA\ d\omega.}****(**)

Define the variable *τ* = *t − r*/*v* as retarded time. Recall from Appendix A that if *P*(*ω*) is the Fourier transform of *P*(*t*), then exp(−*iωr*/*v*)*P*(*ω*) is the Fourier transform of *P*(*τ* = *t − r*/*v*). Also, if *P*(*ω*) is the Fourier transform of *P*(*t*), then *iωP*(*ω*) is the Fourier transform of *∂P*/*∂t*. Incorporate these relations into equation (**H-15**) and apply inverse Fourier transform to the right-hand side to obtain

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(x,y,z;\tau) = \frac{1}{4\pi} \int_A \left\{ \frac{1}{r} \left[\frac{\partial P}{\partial z}\right] + \frac{\cos\theta}{r^2}[P] + \frac{\cos\theta}{vr} \left[\frac{\partial P}{\partial t}\right]\right\}\ dA,}****(**)

where [*P*] means that the integration over the area *A* is done using the wavefield *P* at retarded time *τ* = *t − r*/*v*.

The first term depends on the vertical gradient of the wavefield *∂P*/*∂z*. The second term is called the *near-field term* since it decays with 1/*r*^{2}. Both terms are neglected in seismic migration. The remaining third term is called the *far-field term* and it is the foundation of Kirchhoff migration. Writing it in discrete form, we have

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P_{out} = \frac{\Delta x\Delta y}{4\pi} \sum_A \frac{\cos\theta}{vr} \frac{\partial}{\partial t}P_{in},}****(**)

where Δ*x* and Δ*y* are inline and crossline trace spacings, *P _{out}* =

*P*(

*x*;

_{out}, y_{out}, z*τ*= 2

*z*/

*v*) is the output of migration using the input wavefield

*P*=

_{in}*P*(

*x*= 0;

_{in}, y_{in}, z*τ*=

*t − r*/

*v*) within an areal aperture

*A*.

## H.2 The eikonal equation

The eikonal equation is a ray-theoretical approximation to the scalar wave equation. Its solution represents wavefronts of constant phase. The wave is propagated from one wavefront to the next by way of raypaths which are perpendicular to the wavefronts.

Consider a compressional plane wave *P*(*x, y, z*; *t*) in 3-D Cartesian coordinates (*x, y, z*)

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P (x,y,z;t) = P_0\ \exp (-i\omega t + ik_x x + ik_y y + ik_z z),}****(**)

where *P*_{0} is the wave amplitude, *t* is the traveltime, and *k _{x}, k_{y}, k_{z}* and

*ω*are the Fourier duals of the variables

*x, y, z*and

*t*, respectively. That this equation is a solution to the 3-D scalar wave equation

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \frac{\partial^2 P}{\partial x^2} + \frac{\partial^2 P}{\partial y^2} + \frac{\partial^2 P}{\partial z^2} = \frac{1}{v^2 (x,y,z)} \frac{\partial^2 P}{\partial t^2}}****(**)

can be verified by computing the partial derivatives of the wavefield *P*(*x, y, z*; *t*) given by equation (**H-18**) and direct substitution into equation (**H-19**). The result is the dispersion relation

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle k_x^2 + k_y^2 + k_z^2 = \frac{\omega^2}{v^2}}****(**)

of the scalar wave equation (**H-19**). Since equation (**H-18**) satisfies this relation, it is a valid solution to the scalar wave equation. In equation (**H-19**), *v*(*x, y, z*) is the propagation velocity of the compressional plane wave *P*(*x, y, z*; *t*).

We shall rewrite the phase term in the plane-wave solution given by equation (**H-18**) as

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(x,y,z;t) = P_0\ \exp\left\{ -i\omega \left[ t - \left( \frac{k_x}{\omega}x + \frac{k_y}{\omega}y + \frac{k_z}{\omega}z\right)\right]\right\},}****(**)

so that we can define a 3-D traveltime surface *T*(*x, y, z*) as

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle T(x,y,z) = \frac{k_x}{\omega}x + \frac{k_y}{\omega}y + \frac{k_z}{\omega}z.}****(**)

Substitute this definition into equation (**H-21**) to obtain the expression for the plane wave in terms of the traveltime surface *T*(*x, y, z*)

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(x,y,z;t) = P_0\ \exp\Big\{ -i\omega \Big[ t - T(x,y,z)\Big]\Big\}.}****(**)

Now, we need to verify that this form of the plane wave solution satisfies the scalar wave equation (**H-19**). Compute the partial derivative of the wave function *P*(*x, y, z*; *t*) of equation (**H-23**) with respect to the space variable *x*

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \frac{\partial P}{\partial x} = P_0 (i\omega) \left(\frac{\partial T}{\partial x}\right)\ \ \exp\left\{ -i\omega \left[ t - T(x,y,z)\right]\right\}}****(**)

and differentiate the result once more to get

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \frac{\partial^2 P}{\partial x^2} = - P_0 \left[\omega^2 \left(\frac{\partial T}{\partial x}\right)^2 - i\omega \frac{\partial^2 T}{\partial x^2}\right]\ \ \exp\left\{ -i\omega \left[ t - T(x,y,z)\right]\right\}.}****(**)

Repeat the differentiation for the space variable *y*

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \frac{\partial^2 P}{\partial y^2} = - P_0 \left[\omega^2 \left(\frac{\partial T}{\partial y}\right)^2 - i\omega \frac{\partial^2 T}{\partial y^2}\right]\ \ \exp\left\{ -i\omega \left[ t - T(x,y,z)\right]\right\}}****(**)

and for the space variable *z*

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \frac{\partial^2 P}{\partial z^2} = - P_0 \left[\omega^2 \left(\frac{\partial T}{\partial z}\right)^2 - i\omega \frac{\partial^2 T}{\partial z^2}\right]\ \ \exp\left\{ -i\omega \left[ t - T(x,y,z)\right]\right\}.}****(**)

Next compute the partial derivative of the wave function *P*(*x, y, z*; *t*) of equation (**H-23**) with respect to the time variable *t*

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \frac{\partial^2 P}{\partial t^2} = - P_0\omega^2\ \ \exp\left\{-i\omega \left[t-T(x,y,z)\right]\right\}.}****(**)

Substitute equations (**H-25a**,**H-25b**,**H-25c**,**H-25d**) into equation (**H-19**) and combine the terms into real and imaginary parts

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \omega^2 \left[ \left(\frac{\partial T}{\partial x}\right)^2 + \left(\frac{\partial T}{\partial y}\right)^2 + \left(\frac{\partial T}{\partial z}\right)^2\right] - i\omega \left(\frac{\partial^2 T}{\partial x^2} + \frac{\partial^2 T}{\partial y^2} + \frac{\partial^2 T}{\partial z^2}\right) = \frac{\omega^2}{v^2 (x,y,z)}.}****(**)

Since the term on the right-hand side is real, the imaginary part of the left-hand side has to vanish, leading to the final expression

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \left(\frac{\partial T}{\partial x}\right)^2 + \left(\frac{\partial T}{\partial y}\right)^2 + \left(\frac{\partial T}{\partial z}\right)^2 = \frac{1}{v^2 (x,y,z)},}****(**)

which is called *the eikonal equation*. It gives the traveltime value *T*(*x, y, z*) for a ray passing through a point (*x, y, z*) in a medium with velocity *v*(*x, y, z*).

A solution to the eikonal equation, *T*(*x, y, z*) = *constant* represents the wavefront at an instant of time. Kinematically, a solution to the eikonal equation (**H-27**) should also be a solution to the wave equation (**H-19**). This raises the important question as to under what circumstances the eikonal equation may be considered a good approximation to the wave equation. To investigate this matter, we shall consider a plane wave function as in equation (**H-23**) but with a spatially varying amplitude *P*_{0}(*x, y, z*) ^{[1]}:

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P (x, y, z; t) = P_0(x, y, z)\ \ \exp\left\{ -i\omega \left[ t - T(x,y,z)\right]\right\}}****(**)

and test its validity as a solution to the wave equation (**H-19**).

Compute the partial derivative of the wave function *P*(*x, y, z*; *t*) of equation (**H-28**) with respect to the space variable *x*

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \frac{\partial P}{\partial x} = \left(\frac{\partial P_0}{\partial x} + i\omega P_0 \frac{\partial T}{\partial x}\right)\ \ \exp\left\{ -i\omega \left[ t - T(x,y,z)\right]\right\}}****(**)

and differentiate the result once more, then simplify to get

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \frac{\partial^2 P}{\partial x^2} = \left\{\left[\frac{\partial^2 P_0}{\partial x^2} - \omega^2 P_0 \left(\frac{\partial T}{\partial x}\right)^2 \right] + i\omega \left[2 \frac{\partial P_0}{\partial x}\frac{\partial T}{\partial x} + P_0 \frac{\partial^2 T}{\partial x^2}\right]\right\}\ \ \exp\left\{ -i\omega \left[ t - T(x,y,z)\right]\right\}.}****(**)

Repeat the differentiation for the space variables *y*

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \frac{\partial^2 P}{\partial y^2} = \left\{\left[\frac{\partial^2 P_0}{\partial y^2} - \omega^2 P_0 \left(\frac{\partial T}{\partial y}\right)^2 \right] + i\omega \left[2 \frac{\partial P_0}{\partial y}\frac{\partial T}{\partial y} + P_0 \frac{\partial^2 T}{\partial y^2}\right]\right\}\ \ \exp\left\{ -i\omega \left[ t - T(x,y,z)\right]\right\}}****(**)

and *z*

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \frac{\partial^2 P}{\partial z^2} = \left\{\left[\frac{\partial^2 P_0}{\partial z^2} - \omega^2 P_0 \left(\frac{\partial T}{\partial z}\right)^2 \right] + i\omega \left[2 \frac{\partial P_0}{\partial z}\frac{\partial T}{\partial z} + P_0 \frac{\partial^2 T}{\partial z^2}\right]\right\}\ \ \exp\left\{ -i\omega \left[ t - T(x,y,z)\right]\right\}.}****(**)

Next compute the partial derivative of the wave function *P*(*x, y, z*; *t*) of equation (**H-28**) with respect to the time variable *t*

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \frac{\partial^2 P}{\partial t^2} = -P_0\omega^2\ \ \exp\left\{ -i\omega \left[ t - T(x,y,z)\right]\right\}.}****(**)

Substitute equations (**H-30a**,**H-30b**,**H-30c**,**H-30d**) into equation (**H-19**), and combine the terms into real and imaginary parts to obtain

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \begin{array}{l} \left\{\omega^2 P_0 \left[ \left(\frac{\partial T}{\partial x}\right)^2 + \left(\frac{\partial T}{\partial y}\right)^2 + \left(\frac{\partial T}{\partial z}\right)^2\right] - \left(\frac{\partial^2 P_0}{\partial x^2} + \frac{\partial^2 P_0}{\partial y^2} + \frac{\partial^2 P_0}{\partial z^2}\right)\right\}\\ \quad-i\omega\left[ 2 \left( \frac{\partial P_0}{\partial x}\frac{\partial T}{\partial x} + \frac{\partial P_0}{\partial y}\frac{\partial T}{\partial y} + \frac{\partial P_0}{\partial z}\frac{\partial T}{\partial z}\right) + P_0 \left(\frac{\partial^2 T}{\partial x^2} + \frac{\partial^2 T}{\partial y^2} + \frac{\partial^2 T}{\partial z^2}\right)\right] = \frac{\omega^2}{v^2} P_0. \end{array}}****(**)

Equate the real parts of both sides of equation (**H-31**) to get

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \left[ \left(\frac{\partial T}{\partial x}\right)^2 + \left(\frac{\partial T}{\partial y}\right)^2 + \left(\frac{\partial T}{\partial z}\right)^2\right] - \frac{1}{\omega^2 P_0} \left(\frac{\partial^2 P_0}{\partial x^2} + \frac{\partial^2 P_0}{\partial y^2} + \frac{\partial^2 P_0}{\partial z^2}\right) = \frac{1}{v^2},}****(**)

and equate the imaginary parts to get

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \frac{2}{P_0} \left( \frac{\partial P_0}{\partial x}\frac{\partial T}{\partial x} + \frac{\partial P_0}{\partial y}\frac{\partial T}{\partial y} + \frac{\partial P_0}{\partial z}\frac{\partial T}{\partial z}\right) + \left(\frac{\partial^2 T}{\partial x^2} + \frac{\partial^2 T}{\partial y^2} + \frac{\partial^2 T}{\partial z^2}\right) = 0.}****(**)

Now we analyze the implications of equations (**H-32a**,**H-32b**). To reduce equation (**H-32a**) to the eikonal equation (**H-27**), it follows that the second term on the left-hand side of equation (**H-32a**) must vanish. This is only possible if we let 1/*ω* go to zero, or in other words, if we make the high-frequency assumption. Thus, for a wave function, such as that given by equation (**H-23**), with spatially varying amplitudes, the eikonal equation is a good approximation to the wave equation at the *high-frequency limit*. Additionally, for *T*(*x, y, z*) to be a good approximation to the solution of the wave equation, the first term on the left-hand side of equation (**H-32b**) must be negligible compared to the second term. In fact, the wave function given by equation (**H-23**) is a special form of the generalized asymptotic ray series solution given by ^{[5]}

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(x, y, z; t) = \sum_{n=0}^{\infty} P_n\ \exp\left\{ -i\omega \left[ t - T(x,y,z)\right]\right\} (i\omega)^{-n},}****(**)

where *n* = 0, 1, 2, …. Note that the terms for *n* ≥ 1 in equation (**H-33**) become insignificant for a high-frequency source. Specifically, in the high-frequency limit, the summation given by equation (**H-33**) reduces to the wave function of equation (**H-23**).

Since *λ* = 2*πv*/*ω*, where *λ* is the wavelength, the high-frequency limit is equivalent to small wavelengths. How small the wavelength should be for a solution of the eikonal equation to be a good approximation to the wave equation is an important consideration in the practical validity of the eikonal equation itself. The approximation is valid if the fractional change in the velocity gradient Δ*v* is much less than the frequency *v*/*λ* ^{[1]}. In practice, this approximation will not be met across a layer boundary with a sharp velocity contrast or in a layer with velocity variations that occur within a spatial extent much less than the wavelength. As a direct consequence of this approximation, the eikonal equation is a good approximation to the wave equation only for a medium in which velocities do not vary rapidly, and especially, do not exhibit sharp discontinuities.

## H.3 Finite-difference solution to the eikonal equation

Just as the scalar wave equation itself can be solved using a finite-difference scheme to extrapolate a wavefield from one depth level to another (migration principles), the eikonal equation can be solved using a finite-difference scheme to compute the traveltimes along wavefronts expanding from a source ^{[6]} ^{[7]} ^{[8]} ^{[9]} ^{[10]}. For simplicity, we shall rewrite the eikonal equation (**H-27**) for the 2-D case in (*x, z*) coordinates

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \left(\frac{\partial T}{\partial x}\right)^2 + \left(\frac{\partial T}{\partial z}\right)^2 = \frac{1}{v^2(x,z)}.}****(**)

Consider the 2-D computation mesh sketched in Figure H-2a. We want to compute the traveltime *T* of the eikonal equation (**H-34**) at grid point (*x* + Δ*x, z* + Δ*z*) using the known traveltimes at grid points (*x, z*) and (*x* + Δ*x, z*).

Computing the traveltimes at depth *z* + Δ*z* from those at depth *z* means extrapolating *T* in the *z*-direction. Rewrite equation (**H-34**) in the form of an extrapolation equation ^{[7]}

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \frac{\partial T}{\partial z} = \pm \sqrt{\frac{1}{v^2} - \left(\frac{\partial T}{\partial x}\right)^2},}****(**)

which can be rearranged to take the form

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle v \frac{\partial T}{\partial z} = \sqrt{1- \left(v\frac{\partial T}{\partial x} \right)^2}.}****(**)

Note that in equation (**H-35b**) we also have dropped one of the two solutions and only considered that which yields an increase in traveltime as we march in depth.

Now replace the differential operators with difference operators

**(**)

and rewrite explicitly in terms of *T*(*z* + Δ*z*)

**(**)

where we have assumed that *v*(*z*)/*v*(*z* + Δ*z*) is approximately unity. Also, we have avoided in our algebra crowding the terms in equation (**H-36b**) with the dual variables (*x, z*). Now introduce the dual variables explicitly to get the final expression for a finite-difference solution to the 2-D eikonal equation

**(**)

where is the discrete form of *T*(*x, z*) as labeled in Figure H-2a.

Now consider the 3-D computation mesh sketched in Figure H-2b. We want to compute the traveltime *T* of the eikonal equation (**H-27**) at grid point (*x* + Δ*x, y, z* + Δ*z*) using the known traveltimes at grid points (*x, y, z*), (*x* + Δ*x, y, z*) and (*x* + Δ*x, y* + Δ*y, z*). The 3-D equivalent of equation (**H-35b**) is

**(**)

Following the same algebra as for the 2-D case, we obtain the finite-difference solution to the 3-D eikonal equation

**(**)

where is the discrete form of *T*(*x, y, z*) as labeled in Figure H-2b.

Note that in equations (**H-36**), (**H-37**), and (**H-39**), unlike the previous authors ^{[9]} ^{[11]}, the indices for the velocity *v* and traveltime *T* are kept the same. This was done with the stability of the finite-difference solution of the eikonal equation in mind. Actually, Kjartannson ^{[12]} has applied the same notion to the finite-difference solution to the scalar wave equation.^{[13]}

## References

- ↑
^{1.0}^{1.1}^{1.2}Officer, 1958, Officer, C. B., 1958, Introduction to the theory of sound transmission: McGraw-Hill Book Co. - ↑
^{2.0}^{2.1}Lass, 1950, Lass, H., 1950, Vector and tensor analysis: McGraw-Hill Book Co. - ↑
^{3.0}^{3.1}Coulson, 1965, Coulson, C. H., 1965, Waves: A mathematical account of the common type of wave motion: Oliver and Boyd. - ↑ Jackson, 1962, Jackson, J. D., 1962, Classical electrodynamics: John Wiley and Sons.
- ↑ Hubral and Krey, 1980, Hubral, P. and Krey, T., 1980, Interval velocities from seismic reflection time measurements: Soc. Expl. Geophys.
- ↑ Qin et al., 1992, Qin, F., Luo, Y., Olsen, K. B., Cai, W., and Schuster, G. T., 1992, Finite-difference solution of the eikonal equation along expanding wavefronts: Geophysics, 57, 478–487.
- ↑
^{7.0}^{7.1}Reshef and Kosloff, 1986, Reshef, M. and Kosloff, D., 1986, Migration of common-shot gathers: Geophysics, 51, 324–331. - ↑ Vidale, 1988, Vidale, J., 1988, Finite-difference calculation of traveltimes: Bull. Seis. Soc. Am., 78, 2026–2076.
- ↑
^{9.0}^{9.1}Podvin and Lecomte, 1991, Podvin, P. and Lecomte, I., 1991, Finite-difference computation of traveltimes for velocity-depth models with strong velocity contrast across layer boundaries — a massively parallel approach: Geophys. J. Int., 105, 271–284. - ↑ Vinje et al., 1993, Vinje, V., Iversen, E., and Gjoystdal, H., 1993, Traveltime and amplitude estimation using wavefront construction:
*Geophysics*, 58, 1157–1166. - ↑ Reshef, 1991, Reshef, M., 1991, Prestack depth imaging of three-dimensional shot gathers: Geophysics, 56, 1158–1163.
- ↑ Kjartannson (1979), Kjartansson, E., 1979, Modeling and migration by the monochromatic 45-degree equation: Stanford Expl. Proj. Rep. No. 15.
- ↑ Chemingui, N. and Biondi, B., 1999, data regularization by inversion to common offset (ICO): Ann. Internat. Mtg., Soc. Expl. Geophys., Expanded Abstracts, 1398–1401.

## See also

- Introduction to earth imaging in depth
- Layer replacement
- 2-D poststack depth migration
- 2-D prestack depth migration
- 3-D poststack depth migration
- 3-D prestack depth migration
- Exercises