Next: FINITE DIFFERENCE METHODS
Up: NONLINEAR TRAVELTIME TOMOGRAPHY
Previous: Traveltime and slowness model
The tomographic inversion is usually done through the optimization process.
Given a slowness model, we can simulate
the wave propagation between two wells and compute the first arrival
traveltime, denoted by
.We want to find a set of parameters
that minimizes
the differences between the traveltimes picked from the recorded data and
the traveltimes computed from the model, subjected to some linear constraints.
The mathematical description of this problem is as follows:
| ![\begin{displaymath}
\min_{\{m_j\}}\left\{\sum^N_{i=1}
\int_{r}\left[\tau_i({\bf m})-t_i\right]^2dr+
\Vert{\bf B}{\bf m}+{\bf c}\Vert^2\right\},\end{displaymath}](img6.gif) |
(2) |
where
is the unknown slowness parameter
vector. Matrix
and vector
are chosen to constrain the
inversion process. Because the traveltimes are generally
nonlinear functions of the
slowness model parameters, equation (2) defines
a nonlinear optimization problem. A nonlinear optimization is usually
accomplished iteratively. In each iteration, we
linearize the traveltime functions as follows:
| ![\begin{displaymath}
\tau_i(r) \approx \hat{\tau}_i(r)+\sum^M_{j=1}{\partial \tau_i
\over \partial m_j}(m_j-\hat{m}_j),\end{displaymath}](img10.gif) |
(3) |
where
are
the slowness model parameters obtained
in the previous iteration, and
are
the traveltimes calculated from the previous model. We define
and
,
and then form two vectors as follows:
![\begin{displaymath}
{\bf \Delta m}^T = \pmatrix{\delta m_1 & \delta m_2 & \cdots & \delta m_M},\end{displaymath}](img15.gif)
![\begin{displaymath}
{\bf \Delta t}^T = \pmatrix{\delta t_1(r) & \delta t_2(r) & \cdots &
\delta t_N(_r)}.\end{displaymath}](img16.gif)
We also define
to be an
matrix with the elements
![\begin{displaymath}
a_{ij}(r)={\partial \tau_i \over \partial m_j}\end{displaymath}](img19.gif)
and define
![\begin{displaymath}
{\bf \Delta c} = {\bf B}\hat{\bf m}-{\bf c}.\end{displaymath}](img20.gif)
Then, equation (2) can be approximated as
| ![\begin{displaymath}
\min_{\{m_j\}}\left\{\int_{r}\Vert{\bf A}{\bf \Delta m}-{\bf...
...^2dr+
\Vert{\bf B}{\bf \Delta m}-{\bf \Delta c}\Vert^2\right\}.\end{displaymath}](img21.gif) |
(4) |
Now the problem becomes a linear least squares problem. We can
use a gradient method to solve it. If we use the steepest descent
method, we need to calculate the gradient vector defined as follows:
| ![\begin{displaymath}
{\bf g}={\bf g}^{(1)}+{\bf g}^{(2)}
=\int_{r}{\bf A}^T {\bf \Delta t}dr+{\bf B}^T{\bf \Delta c}.\end{displaymath}](img22.gif) |
(5) |
This vector has a dimension of M.
If we choose the conjugate gradient method, we need to calculate,
in addition to the gradient vector,
the conjugate gradient vector defined as follows:
| ![\begin{displaymath}
{\bf h}(r)=\pmatrix{{\bf h}^{(1)}(r) \cr
{\bf h}^{(2)}(r)}
=\pmatrix{{\bf A} \cr
{\bf B}} {\bf g},\end{displaymath}](img23.gif) |
(6) |
which has a dimension of N plus the number of conditions.
Next: FINITE DIFFERENCE METHODS
Up: NONLINEAR TRAVELTIME TOMOGRAPHY
Previous: Traveltime and slowness model
Stanford Exploration Project
12/18/1997