For a given impulse at (h1,t1) the length of the raypath that connects the shot and receiver with any possible reflector point is constant, in a constant velocity medium. The locus of reflector points constitute an ellipse, the foci of which coincide with the source and receiver location:
The lengths a1, b1 of the major and minor axis are defined as
where V refers to the constant subsurface velocity.
Similarly, the migration of an impulse at (t2,h2) in shot gather s2 yields an ellipse of the form
|b22 = a22-h22.||(6)|
The variable d denotes the difference between the midpoints of the two ellipses:
|d = (s2 + h2) - (s1 + h1) .||(7)|
Extrapolation of shot gather s1 requires the construction of a shot gather s2 which when migrated yields the same subsurface image as the migration of the s1 impulse: the ellipse of (1). Such a shot gather s2 consists of a family of events, migrated impulse responses of which are tangent to the s1 ellipse (1).
When shot gather s2 is migrated, this tangency condition provides constructive superposition along the original isochron of s1 (1). Anywhere else the events will cancel each other.
The tangency of the ellipses, (1) and (4), requires that the ellipses coincide and have equal slope at some point (x,z). Differentiation of equations (1) and (4) with respect to x and elimination of dx / dz yields an expression for x:
After multiplication of equations (1) by b12, and (4) by b22, z is eliminated by subtracting the two equations. Substitution of x from equation (8) yields
Finally, replacement of a2, b2 by expressions (5) and (6) provides the desired quadratic relation for t22:
|a = a12 - b12||(11)|
In the derivation above, transforming equations (8) to (9) requires a division by . If
then it follows from equation (8) that the midpoints of the ellipses (1) and (4) coincide (d=0). Because of this symmetry, the point of tangency lies at the hyperbolae's minor vertex. Since the lengths b1, b2 of the ellipses' minor axes are equal, condition (14) requires that also the major axes of the two ellipses agree: the two ellipses have to be identical. Hence in the case of identical or reciprocal positioning of geophone and source, the original impulse at (t1, h1) does not generate a set of events in shot gather s2, but results in an identical impulse at (t2, h2).
Note, that in the case b2 = a2 = R the second ellipse (4) collapses to a circle. The relationships described in equation (8) and (9) then describe the partial prestack migration to zero offset as described by Forel 1988.
The Appendix discusses a Mathematica script which derives this result `automatically'. This Mathematica script starts from the basic ellipse equations and performs the transformations as they are described above.