Next: Case 1: Prestack Migration.
Up: Basics of Waveform Tomography
Previous: Introduction
Waveform inversion seeks to reconstruct the earth model parameters, e.g. velocity
and density,
from the waveform data.
In most cases the waveform
inversion algorithm will consist
of minimizing a waveform misfit function by a gradient method.
This is explained below using the example of inverting acoustic
seismic data in the frequency domain.
- 1.
- Misfit Function: Assume harmonic energy emanating from a source at
and recorded by
a geophone at
.
The observed pressure spectrums are
denoted by
,
where the unknown source wavelet w(t) has the spectrum denoted by
.
The pressure misfit function
is given by:
 |
= |
 |
(3.1) |
where
is the predicted pressure field,
the data residual
is defined by
,
and the summation is over source frequencies and the source+geophone coordinates.
The predicted pressure is usually obtained by a finite-difference solution to the
Helmholtz equations.
- 2.
- Slowness Gradient and Frechet Derivative: Using a steepest
descent method (see Chapter 1), the slowness model
at the ith iterate is updated by
 |
= |
 |
(3.2) |
where
is the step length and
is the misfit gradient
defined as:
| |
= |
![$\displaystyle \sum_{\omega} \sum_g \sum_s Real [ \Delta \tilde{P} (\bf {r}_g,\b...
...}_s)^* \frac{\partial \tilde{P}(\bf {r}_g,\bf {r}_s) }{ \partial s(\bf {r})} ].$](img145.gif) |
(3.3) |
From here on out the
Real notation will be dropped
because the sum over frequencies is symmetrical
and the imaginary part of the summand is anti-symmetric in
.
To find an explicit expression for the gradient,
recall the perturbed Lippmann-Scwhinger equation (see
appendix 1 and Stolt and Benson (1986)) which says:
 |
= |
 |
|
where
is the Green's function for a source at
and an observer
at
.
Here,
is the linearized pressure change with
respect to a perturbation
in the slowness model.
The linearized field is equivalent to the solution using the Born approximation,
where the slowness perturbations are too weak
to generate significant multiples.
In equation 3.4,
set the perturbation in slowness
equal to
and
rearrange to get the Frechet derivative:
 |
= |
 |
(3.4) |
Substituting equation 3.5
into 3.3 yields the expression for the gradient:
 |
(3.5) |
It will be shown in the next section that this equation is equivalent to migration of the data
residuals.
- 3.
- Slowness Update: Substituting equation 3.6 into 3.2 yields
the slowness update equation:
 |
(3.6) |
and steps 1-3 are repeated until convergence to
.
Equation 3.7 can be physically interpreted by using the high frequency
Green's function for the special case of a single source.
We will see that the first iterate of the steepest descent method is equivalent to prestack migration.
Next: Case 1: Prestack Migration.
Up: Basics of Waveform Tomography
Previous: Introduction
Gerard Schuster
1998-07-29