The data-space encoded shot gathers are obtained by linear combination of the
original shot gathers after phase encoding.
For simplicity, we mainly consider
plane-wave phase-encoding (Duquet and Lailly, 2006; Whitmore, 1995; Liu et al., 2006; Zhang et al., 2005) and random phase-encoding (Romero et al., 2000).
Because of the linearity of the one-way wave equation with respect to the wavefield,
the encoded source and receiver wavefields also satisfy the same one-way wave equations defined by Equations 13 and 14,
but with different boundary conditions:
(A-21)
and
(A-22)
where
and
are the encoded source and receiver wavefields respectively,
and
is the phase-encoding function. In the case of plane-wave phase encoding,
is defined as
(A-23)
where is the ray parameter for the source plane waves on the surface. In the case of random phase encoding,
the phase function is
(A-24)
where
is a random sequence in and . The parameter defines the index
of different realizations of the random sequence (Tang, 2008).
The final image is obtained by applying the cross-correlation imaging condition and summing the images for all 's:
(A-25)
where for plane-wave phase encoding and for random phase encoding (Tang, 2008).
It has been shown by Etgen (2005) and Liu et al. (2006) that plane-wave phase-encoding migration,
by stacking a considerable number of , produces a migrated image almost identical to the shot-profile migrated image.
If the original shots are well sampled, the number of plane waves required for migration is generally much smaller than the number of
the original shot gathers (Etgen, 2005). Therefore plane-wave source migration is widely used in practice.
Random-phase encoding migration is also an efficient tool, but the random phase function is not very effective in attenuating the crosstalk,
especially when many sources are simultaneously encoded (Tang, 2008; Romero et al., 2000). Nevertheless, if many realizations
of the random sequences are used, the final stacked image would also be approximately the same as the shot-profile migrated image.
Therefore, the following relation approximately holds:
(A-26)
That is, with the data-space encoded gathers, we obtain an image similar to that
computed by the more expensive shot-profile migration.
From Equation 25, the perturbed image can be easily obtained as follows:
(A-27)
where
and
are the data-space encoded background source and receiver wavefields;
and
are the perturbed source and receiver wavefields
in the data-space phase-encoding domain, which satisfy the perturbed one-way wave equations defined by Equations 17 and 18.
The tomographic operator and its adjoint
can be implemented in a manner similar to that discussed in Appendices B and C by
replacing the original wavefields with the data-space phase encoded wavefields.
Image-space wave-equation tomography in the generalized source domain