next up previous print clean
Next: Linear forward operator Up: Forward operator Previous: Source wavefield downward extrapolation

Receiver wavefield extrapolation

The second step of shot-profile modeling consists of upward continuation of the receiver wavefield to the surface, which is done by using the following equation:
   \begin{eqnarray}

p^-(z_{i}) &=& w^{-}(z_{i},z_{i+j}) \, \, p^-(z_{i+j})+ p^+(z_{i})\, \,r(z_i)+ p_r^-(z_{i})
\end{eqnarray} (6)
where  
 \begin{displaymath}
p_r^-(z_{i})=\left\{ 
\begin{array}
{c}
\sum_{m=1}^{j-1}w^...
 ...d \quad \quad \quad \mbox{otherwise}, 
\end{array}
\right. 

\end{displaymath} (7)
with the final condition

 

r(z0) = 0,

(8)

where p-(zi) is the receiver wavefield at depth zi, p+(zi) is the source wavefield at depth zi, w-(zi,zi+j) is the upward continuation operator (Green function) from depth zi+j to zi, r(zi) is the reflectivity at depth zi, and pr-(zi) is the contribution by the source wavefield and the reflectivity when jumps bigger than a depth step are used.

The Green functions can be computed recursively at each depth step (from zi+1 to zi) (Figure 3), or precomputed and stored to allow jumps (from zi+j to zi) (Figure 4). In addition, the third term in equation (6) must also be stored. Equation (6) can be written also in matrix form (see APPENDIX B).

 
figure3
Figure 3
Upward continuation of the receiver wavefield by recursive computation of the Green functions at each depth step.
figure3
view

 
figure4
Figure 4
Upward continuation of the receiver wavefield with the precomputed Green functions.
figure4
view

Including all the frequencies and all the shot positions in the data, it follows from equation (19) that the receiver wavefield (${\bf P}^-$) can be computed as follows:  
 \begin{displaymath}
{\bf P}^-=[{\bf I}-{\bf W}^{-}]^{-1}{\bf P}^+\, \Sigma^t_{\omega s} \, {\bf r}.

\end{displaymath} (9)
Defining the the multi-frequency, multi-shot, upward propagation operator as ${\bf B^{-}}= \left( {\bf I} - {\bf W}^{-} \right)^{-1},$ equation (4) can be written as  
 \begin{displaymath}
{\bf P}^-={\bf B}^-{\bf P}^+\, \Sigma^t_{\omega s} \, {\bf r}.

\end{displaymath} (10)


next up previous print clean
Next: Linear forward operator Up: Forward operator Previous: Source wavefield downward extrapolation
Stanford Exploration Project
5/23/2004