Kirchho Simulation, Migration, and Inversion using Finite Dierence Traveltimes and Amplitudes William W. Symes, Roelof Versteeg, Alain Sei, and Quang Huy Tran July 19, 1994 Abstract High frequency asymptotic approximation of the acoustic Green's function leads to ecient modeling and migration methods for primaries only reection seismograms. A volume (as opposed to interface) oriented description of reectivity allows symmetry between modeling and migration. With proper selection of amplitudes and discretization, the migration and modeling operations are mathematically adjoint, hence suitable for use in iterative inversion algorithms. Further simplications are possible under the additional assumptions that incident and reected rays carry signicant high-frequency energy propagate near the vertical and arc rst arrivals. Then the necessary traveltime and amplitude tables may be computed by ecient high order nite dierence solution of the eikonal and transport equations. Careful ordering of the operations results in an accurate algorithm far more ecient than direct nite dierence solution of the primaries-only (linearized) wave equation. 1 Introduction Imaging methods based on high frequency asymptotic representation of the seismic waveeld play an important role in the data processing repertoire, and are still the subject of research (e.g. [13]). In common with many other authors, and somewhat inaccurately, we will call such methods Kirchho. Kirchho imaging methods enjoy several advantages which perhaps explain their persistent popularity. Amongst these are their ability to produce images only in a portion of the subsurface, using only a fraction of the available data. Also, they provide natural imaging methods for data binning schemes corresponding to infeasible physical experiments, notably the common oset sort. Finally, Kirchho methods enjoy signicant cost advantages over their chief rivals, imaging techniques based on nite dierence solution of paraxial (one-way) or full (two-way) acoustic wave equations, even when used to image the full subsurface volume using the full data volume (e.g. [13]; see also comparison below). For some of the same reasons, the high frequency asymptotic representation of the The Rice Inversion Project, Department of Computational and Applied Mathematics, Rice University, Houston TX 77251-1892 1 Trip 94 Symes, Versteeg, Sei, Tran acoustic Green's function has been studied as the basis for modeling of seismic primary reections (for example [6], [5]) and (noniterative) inversion or true-amplitude migration ([2], [3], [4]). Kirchho methodology also suers from several drawbacks, as one might expect from its basis in an approximation with well-understood and limited domain of validity. For example, the modeling methods mentioned above rely on an interface-based description of reection: reectivity is modeled as a jump in values of otherwise smoothly varying elastic parameters (velocities, density, : : : ) across a smooth interface, whereas the inversion (and migration) methods produce volumetric reectivity, i.e. amplitudes distributed throughout the subsurface. This mismatch of modeling input and inversion output makes the success of the inversion methods dicult to quantify. More seriously, the bulk of Kirchho modeling, imaging and migration methods assume that energy arrives at the target along a single wavefront. White ([21]) showed that moderately heterogeneous velocity distributions produce multiple wavefronts and the concommitant transmissin caustics at moderate distance from the energy source with high probability. Geoltrain and Brac (1993) criticize the use of diraction sum migration methods based on unique (rst arrival) wavefronts. Although this topic stills seems controversial ([16], [13]) there is no doubt that, from the point of view of inversion, all signicant energy paths must be taken into account. Finally the use of the high frequency asymptotic representation of the acoustic Green's function implies a description of reection either as interfacial (as in [6], [5]), or as volumetric, and in the latter case the reectivity must be separated in scale from the velocity structure used in propagation. That is, for volumetric reection modeling by high-frequency asymptotics, the velocity structure must be smooth on the wavelength scale, whereas all material heterogeneity at the wavelength scale is treated via rst order perturbation theory. In this way only relatively weak primary precritical reections are modeled correctly. Given the predominantly horizontal orientation of reectors in the earth, this means that incident and reected energy must travel near the vertical to be modeled correctly by such schemes. The purpose of the present article is to collect in one place descriptions of all components of an accurate and ecient Kirchho algorithm for modeling and migration of marine reection seismograms. We accept the last two limitations mentioned above; we will model (and migrate) only energy traveling near the vertical in smoothly varying velocity structures, describe volumetric reectivity via rst order perturbation theory (hence model only precritical primary (and weak!) reections from near-horizontal reectors), and guarantee the results only when unique smooth wavefronts impinge on the reector, i.e. when no transmission caustics occur near reecting points. These limitations restrict the domain of our approach to velocity and reectivity structures with only slow horizontal variation. However sedimentary basins contain many such nearly at regions, so that our approach is perhaps not without utility. Moreover we suspect that it is in reality no more limited in this way than most other Kirchho implementations. Our algorithm is distinguished from others mentioned above in several ways. The de2 Kirchho Simulation Trip 94 scription of reectivity is volumetric for both modeling and migration, i.e. the reectivities are depth sections, just as are (depth{) migrated images. The modeling and migration algorithms are mathematically adjoint, even after discretization, hence may be used as the basis of iterative (linearized) inversion algorithms to minimize various measures of data t error. While we give an explicit treatment only of constant density acoustics, general acoustics and linear elasticity may be treated in an exactly analogous fashion. Iterative inversion algorithms based on these multiparameter theories can readily incorporate constraints, which the direct inversion formulae of Kirchho type (e.g. [2]) do not. This class of algorithm may provide a robust and exible tool for AVO interpretation. Finally, we compute both traveltimes and amplitudes using ecient nite dierence schemes, rather than ray tracing. These schemes provide the necessary inputs for the Kirchho formulae directly on the image grid, without interpolation. While several authors have followed this general approach to computing diraction trajectories (e.g. [13] and references cited therein), our method for computation of traveltimes and (especially) amplitudes appears to be new. The nite dierence schemes used here also have limited domain of functionality, but the limits are the same as those already accepted for the methodology in general | smooth velocities, energy propagates near vertical, only rst arrival traveltimes and corresponding amplitudes computed. Since we work in the time domain, a rather ecient natural method for numerical evaluation of the Kirchho integral is available. We present a simple pair of formulas for modeling and migration, which are adjoint to each other in the precise sense necessary to allow their use in least-squares inversion algorithms and of second order accuracy in the space and time steps. These formulas involve indirect addressing, hence do not vectorize, but yield an algorithm suitable for use on superscalar workstations and other high performance scalar processors. Parallelization also appears eminently feasible. We remark that traveltime and amplitude computations are completely vectorizable. Given accurate components, the primary reection seismogram computed via the Kirchho method is remarkably accurate, for models within its domain of validity. We compare Kirchho seismograms with those produced from the same model by nite dierence solution of the (full, two-way) linearized acoustic wave equation. We use a suite of models of increasing complexity, with dimensions characteristic of exploration seismology. Until multiple arrivals begin to be important in the data, the Kirchho and nite dierence results are remakable close. In fact, the Kirchho result, being based on quite accurate traveltimes, does not suer the grid dispersion of the nite dierence scheme, with the remarkable consequence that the nite dierence results appear to converge to the Kirchho results as the grid is rened! We also compare the computational cost of Kirchho and (full, two-way) nite dierence simulation. In all these comparisons, we have used a nite dierence scheme of order two in time and four in space. Somewhat more ecient schemes are available (e.g. [9], [15]) and would change the qualitative outcome of the comparisons somewhat. However, we believe that the qualitative conclusion would remain the same. For simulation of a single shot, the costs are comparable. However a large part of the cost of the Kirchho computation lies in the generation and access of traveltime and amplitude tables. With minor geometrical restrictions on acquisition and careful ordering of operations, these can 3 Trip 94 Symes, Versteeg, Sei, Tran be amortized over many shots, leading to a dramatic reduction in cost for multishot simulation. For simulation of lines of realistic size, the cost of Kirchho simulation in our experiments was roughly 5% of the cost of the comparable nite dierence calculation. Cost and accuracy comparison with paraxial or F-X modeling and migration would also seem natural We did not made such a comparison, partly because current paraxial codes perform migration only, or do not control properly the amplitudes of primary reection modeling (e.g. [13], [1], [10], [8]). Paraxial approximations to the acoustic Green's function model energy propagation near the vertical, as does the Kirchho approach taken in this paper. They also construct multiple wavefronts, which rst-arrival-based Kirchho methods do not. Thus the paraxial methods should be more successful as kinematic migration tools in complex media, as pointed out by [12]. However at present no assurance seems to be available that the amplitudes of these paraxial Green's functions approximate those of the true acoustic Green's function, so that paraxial methodology does not appear well adapted to inversion (although this situation may change). Since our principal interest lies in inversion, we did not make a comparison with any paraxial algorithm. We begin the account of our method with a brief reprise of the Kirchho formulae for 2D and 3D primaries only constant density acoustic modeling and migration. We dene this migration operator to be the mathematical adjoint to the modeling operator, and ensure that this property survives the discretization process, and that the discretization is accurate of second order. The next two sections present our method for computing traveltimes and amplitudes. The traveltime computation is similar to others reported in the literature since [20]. However our specic choice of scheme appears to be new. We use the so called ENO schemes introduced by Osher and colleagues ([17]). We show that apertures may be controlled and 2D and 2.5D amplitudes computed as well with this set of tools. Having assembled the necessary elements, we illustrate the method in several examples, compare with nite dierence calculations, and assess the computational cost. 2 Kirchho Modeling and Migration 2.1 Derivation The weak primaries only or linearized acoustic constant density model of the seismic reection response separates the velocity eld into slowly varying, or smooth, and rapidly varying, or oscillatory, components. In this paper we shall treat mostly the 2D case, with space coordinates (x; z ). The rapidly varying part of the velocity eld (r(x; z ) the reectivity eld) is treated as a rst order perturbation of the slowly varying part (v (x; z ) the velocity eld). Mathematically, vtotal = v + v , and r = v=v . That is, r is the oscillatory relative perturbation of the smooth v , and is dimensionless. The precise division of a velocity eld into smooth and rough parts is problematic ([7]) unless a clear dichotomy exists between spatial frequency components much longer, respectively comparable to, than a typical wave length. Nonetheless this perturbational or single scattering description of the reection process is the basis for most seismic data processing, in particular for migration. The scale dichotomy between velocity and reectivity is reected in the common conceptual division: velocity is responsible for kinematics, 4 Kirchho Simulation Trip 94 reectivity for dynamics. The acoustic eld p of an isotropic point radiator with source f (t) located at (xs ; zs) satises ! 1 @ 2 r2 p(x; z; t; x ; z ) = f (t) (x x ; z z ) s s s s v (x; z)2 @t2 p 0; t << 0 The rst order perturbation of p resulting from the perturbation v of v satises ! 1 @ 2 r2 p(x; z; t; x ; z ) = 2r(x; z ) 1 @ 2 p(x; z; t; x ; z ) s s s s v (x; z)2 @t2 v (x; z)2 @t2 p 0; t << 0 Our aim is to evaluate the perturbational or primaries only eld p at receiver positions (xr ; zr ). For present purposes we ignore the presence of a boundary at the surface of the earth, and assume that the velocity v is constant and the reectivity r vanishes for z < max(zs ; zr). The Kirchho representation begins, like so many good things, with integration by parts. The causal Green's function G(x; z; t; xs; zs ) is the solution of the unperturbed problem above for f (t) = (t); in fact p = f G and p = f G. Using Green's identity and the wave equation for p we nd that ! Z Z Z 2 @ 1 dxdzdt 2r(x; z) v (x; z)2 @t2 G(x; z; t; xs; zs) p(xr ; zr ; tr ) = f t G(x; z; tr t; xr; zr ) where we have used the anticausal Green's function G(; ; tr t; ; ) to keep the domain of integration bounded. The next step is to replace the Green's function by the rst term in its progressing wave expansion. This is a high frequency approximation, as the terms dropped are smoother than the one kept. In two space dimensions the leading singularity is proportional to the generalized function t+1=2 = t 1=2 H (t) H (t) being the Heaviside function. The progressing wave expansion is r G(x; z; t; xs; zs) = a(x; z; xs; zs)t+1=2 (t (x; z; xs; zs)) + ::: where the elided terms are smoother, therefore smaller after convolution with a high frequency source, than the leading term. The traveltime eld solves the eikonal equation jr j = 1 The initial condition for is v lim d v = 0 as d ! 0 5 Symes, Versteeg, Sei, Tran Trip 94 p with d = (x xs )2 + (z zs )2 the Euclidean distance. The amplitude eld a solves the transport equation 2r ra + ar2 = 0 with initial condition r 1 1 lim d a 2 2vd = 0 as d ! 0 Since we will consider also the traveltime and amplitude from the receiver position (xr ; zr ), we will make the notation more compact by writing s (x; z ) (x; z ; xs; zs ), etc. Replacing the Green's functions by the rst terms in the progressing wave expansions, we get p(xr ; zr ; tr ; xs; zs ) ' @ 2 Z Z dxdza (x; z)a (x; z) 2r(x; z)t 1=2 t 1=2 (t (x; z) (x; z)) f t @t r r s r s + 2r v (x; z)2 + r [11], p. 116, formula (3') gives t+1=2 t+1=2 = 2 1 2 H (t) = H (t) whence p(xr; zr ; tr; xs; zs) ' Z Z dxdzA(x; z; xs; zs; xr; zr)r(x; z) (tr r (x; z) s(x; z)) f t @t@ r A(x; z; xs; zs; xr; zr) = as (vx;(x;z)az)r(2x; z) r This is the Kirchho representation of the primaries only acoustic reection eld. We are going to view the correspondence between the reectivity r and the sampled primaries only eld p as a linear operator L : r 7! p. We will also idealize reality by assuming that the receiver positions form a continuum indexed by xr , with zr xed. We concentrate on the computation of this map and its adjoint for a single shot, and drop (xs ; zs ) from the notation. Thus L is the operator which takes as input a reectivity eld r(x; z) and produces a shot (common source) gather Lr(xr; tr )as output. The L2 adjoint of L is a prestack migration operator (see eg. [14], [18]). It is dened by Z Z Z Z dxr dtr (Lr)(xr; tr )g (xr ; tr ) = dxdzr(x; z)(Lg (x; z)) with g (x; t) being the seismic record. Integration by parts shows that Lg (x; z) = Z Z dxrdtr A(x; z; xs; z; xr; zr ) f t @t@ g (xr; tr ) r 6 Kirchho Simulation = Z Trip 94 (t s(x; z) r(x; z)) @ dxrA(x; z; xs; zs; xr; zr) f t @t g (xr ; s(x; z) + r(x; zr )) r Here f(t) = f ( t) 2.2 Discretization Because the integral over t can be eliminated, it turns out to be easier to rst discretize the adjoint operator L (the Kirchho migration operator), and then compute the discretized Kirchho modeling operator L as its adjoint. We introduce the total traveltime eld (xr ; x; z) (x; z; xr; zr ) + (x; z; xs; zs ) (recall that xs ; zs and zr are xed for the moment, hence we drop them from the notation). g is assumed to vanish near the edges of the xr ; tr grid, and likewise r near the edges of the x; z grid. In practice this should be ensured by including a mute or cuto function in the denitions of L and L, on both sides. Assume that all grids are uniform. Write uk;l ' u(xmin + (k 1)x; zmin + (l 1)z) for functions u(x; z ) of the space coordinates, and gi;j ' g (xr;min + (i 1)xr; tmin + (j 1)tr ) k;l;i ' (xr;min + (i 1)xr; xmin + (k 1)x; zmin + (l 1)z) A~k;l;i ' A~(xr;min + (i 1)xr; xmin + (k 1)x; zmin + (l 1)z) Since the integrand vanishes at the boundaries of the grid, the trapezoidal rule applied to the formula above dening L is equivalent to the left hand rule: (Lg )k;l = xr X i A~k;l;i @ (f@tt g ) (xr;min + (i 1) xr; k;l;i ) + O(x2r ) r r We approximate the evaluation in tr by piecewise linear interpolation, then the tr -derivative by the central dierence formula, in both cases committing a second order error: set k;l;i Jk;l;i = int t r Tk;l;i = k;l;i tr Jk;l;i Dt0 Uj = Uj+12tUj 1 r r 7 Symes, Versteeg, Sei, Tran Trip 94 for any sampled function U of tr . Then @ (f t g ) (x r;min + (i 1) xr ; k;l;i ) r @tr = (1 Tk;l;i)Dt0 (f t g )i;J r r So nally we obtain k;l;i + Tk;l;i Dt0 (f t g )i;J (Lg )k;l = xr Tk;l;i)Dt0 (f t r r X i 0 + Tk;l;iDt (f t k;l;i +1 + O(t2r ) A~k;l;i [(1 g )i;J g )i;J +1 ] + O(t2r ) + O(x2r ) Throwing away the discretization error we take this expression as the denition of the (second-order) discretization of L. The correct inner products to use for evaluation of the adjoint of this adjoint are r r k;l;i r r < g1; g2 >x ;t = xr tr r r < u1; u2 >x;z = xz k;l;i X i;j X k;l Thus L will be dened by g1;i;j g2;i;j u1;k;lu2;k;l < Lr; g >x ;t =< r; Lg >x;z r = xz X k;l r r;k;lxr X i A~k;l;i [(1 Tk;l;i)Dt0 (f t g )i;J + Tk;l;i Dt0 (f t g )i;J X X = xz r;k;lxr tr A~k;l;i r r k;l;i r r k;l;i +1 ] i;j Tk;l;i)Dt0 (f t g )i;j j J =tr + Tk;l;iDt0 (f t g )i;j j J 1 =tr ] X = xr tr Dt0 (f t g )i;j i;j X xz r;k;l A~k;l;i [(1 Tk;l;i )j J =tr + Tk;l;i j J 1 =tr ] k;l k;l [(1 r r k;l;i r r k;l;i r r k;l;i k;l;i The convolution with the source time series f is adjoint to convolution with f on the discrete level as well, and the central dierence operator Dt0 is skew adjoint for gridfunctions vanishing near the grid boundaries, as has been assumed for all of the major functions used here. Thus the above is equal to r = xr tr 8 < z X r A~ [(1 Dt0 f t : x tr k;l ;k;l k;l;i r X i;j gi;j Tk;l;i)j r 8 J k;l;i + Tk;l;ij J k;l;i 9 = 1 ]; Kirchho Simulation Trip 94 from which we can read o the second-order approximation to L, adjoint at the discrete level to that derived above for L . Concerning the level of discretization necessary to produce a given level of accuracy, we oer only a few preliminary observations; a more thorough analysis is in progress. The integration rule used here is the (compound) trapezoidal rule. The maximum error E of this rule is given by the formula 2 t f 00(t) E t max 12 With f (t) = sin 2!t, the error is bounded roughly by 4! 2 t2 = 4=G2, where G is the number of gridpoints per wavelength. Thus to achieve an error of about 5% in evaluation of the Kirchho integral, roughly 10 gridpoints per wavelength are necessary. This estimate is of course somewhat pessimistic - since the Kirchho representation is a path integral, the frequency content of the integrand along the path is actually at the determinant of accuracy. For small angle reection and near-horizontal reectors (or their reections, in case of migration) the variation of the integrand along the Kirchho integration paths is considerably lower in frequency than the actual maximum spatial frequency. So one would expect reasonable results from somewhat coarser grid spacing than is indicated by the basic error analysis. 2.3 Algorithms Next we state explicitly discrete algorithms for evaluation of the Kirchho simulation and migration formulae. First we recall some notation. Indices: i is the xr index j is the tr index k is the x index l is the z index Gridfunctions: k;l;i = s;k;l + r;k;l;i is the total travel time h i Jk;l;i = int t is the integer part of the number of time steps Tk;l;i = k;l;i tr Jk;l;i is the fractional part of the number of time steps k;l;i r ar;k;l;i Ak;l;i = as;k;l 2 v k;l is the geometrical spreading factor 9 Symes, Versteeg, Sei, Tran Trip 94 rk;l is the input reectivity eld for modeling gi;j is the input shot record for migration A second-order 2D Kirchho simulation (forward modeling) formula is given by (Lr)i;j = Dt0 f r 8 < X t : xtz rk;lAk;l;i[(1 r k;l Tk;l;i)j r J k;l;i + Tk;l;ij J Our modeling algorithm is given by: 1. Precompute the scaling eld xz Bk;l r;k;l 2 v t k;l 2. For each i (receiver index): (a) initialize output trace to zero (b) for each k; l (depth point): i. compute r Pk;l;i = Bk;las;k;l ar;k;l;i ii. calculate Jk;l;i ; Tk;l;i iii. compute Q = Pk;l;i Tk;l;i iv. add to output sample Jk;l;i the quantity P Q = rk;lAk;l;i (1 Tk;l;i) v. add to output sample Jk;l;i + 1 the quantity Q = rk;lAk;l;iTk;l;i (c) apply centered time dierence operator Dt0 to output trace (d) convolve output trace with source wavelet f r A second order Kirchho adjoint (migration) formula is given by (Lg )k;l = xr X i Ak;l;i (1 Tk;l;i)Dt0 (f t g )i;J + Tk;l;i Dt0 (f t g )i;J One possible arrangement of the algorithm for migration: r 1. Precompute the scaling eld r k;l;i Bk;l v2xr k;l 10 r r k;l;i +1 k;l;i 9 = 1 ]; Kirchho Simulation Trip 94 2. initialize output depth section to zero 3. for each i (receiver index): (a) apply centered time dierence operator Dt0 to input trace, convolve result with time-reversed source wavelet f (compute h f t (Dt0 g )) (b) for each k,l (depth point): i. compute Pk;l;i = Bk;las;k;l ar;k;l;i ii. calculate Jk;l;i ; Tk;l;i iii. add to k; l sample of output depth section r r Pk;l;i [(1 Tk;l;i)hi;J k;l;i r + Tk;l;ihi;J k;l;i +1 ] 3 Traveltime and Amplitude Calculation 3.1 Geometrical Considerations Recall the limitations on the Kirchho algorithm accepted in the Introduction: rays carrying signicant reected energy propagate \near the vertical," and reections occur only at points on simple, single-arrival wavefronts. The rst of these restrictions simply means that we foresake the possibility of imaging via turning rays: incident rays are entirely downgoing, and reected rays are entirely upcoming. In terms of the traveltime eld (x; z; xs; zs), @ > 0 @z at least in the zone below the source (z > zs ) where reections occur. A nondimensionalized and safeguarded version of this criterion is j sin j sin max < 1, where sin = v @ = 1 @ @x s @x is the sine of the angle made by the ray with the vertical. Evidently point sources actually produce rays traveling in all directions near the source point. Rays traveling horizontally in the water column are irrelevant to the simulation of reections. More generally, rays incident at high angles tend to turn before reaching deeper reectors, in the typical velocity structure increasing generally with depth. To eliminate this class of rays from the calculation, consistent with the assumptions made in the Introduction, we shall modify both the point source initial condition for the travel time and amplitude elds, and the eikonal equation itself. We rst pick a convenient datum depth zd > zs , which might be the water bottom in an idealized model, but need not correspond to any actual physical transition | it must merely lie entirely in the water layer, i.e. in a homogeneous layer containing the source. 11 Symes, Versteeg, Sei, Tran Trip 94 [Even that restriction might be eliminated at the price of algorithmic complexity.] On the surface fz = zd g we replace the traveltime data of a point source: q pt(x; zd; xszs) = v1 (x xs)2 + (zd zs)2 (IPT) 0 by a condition which limits the sines of incidence angles to sin max: 8 1p 2 2 > if > v0 (x xs ) + (zd zs ) > > > > > > jx xsj tan maxjzs zd j ; > > > > < j mod (x; zd; xs; zs) = > v0jzcos zmax > > > > > + sinv0max (jx xs j tan maxjzs zd j) > > > > > > : else s d (IMOD) This modication enforces the maximum angle condition at the initial datum depth z = zd . To enforce it at depth, we modify the eikonal equation, written as an evolution equation in depth: s @ = 1 @ 2 (EPT) @z v2 @x with the aim of limiting the angles of wavefront normals to max at most. A simple modication which accomplishes this objective is @ @z v ( u u = tmax 1 v2 ! @ 2 ; cos2 max @x v2 ) This modied eikonal equation is satisfactory for computation of the traveltime eld, but not for the computation of the associated amplitude: as the transport equation involves the Laplacian of the traveltime, the discontinuity in derivative caused by the use of the max function produces spurious oscillations in the amplitude eld at the edge of the aperture. Instead we use a tapered transition to constant under the square root: v u @ = u tbmax @z ( 1 v2 ! @ 2 ; cos2 true @x v2 ) (EMOD) Here bmax is the piecewise quadratic function described by the following conditions: for x; y 0 bmax(x; y ) = x if x y = 21 y if x 0 2! x 1 = 2 y + y if 0 < x < y 12 Kirchho Simulation Trip 94 For the sake of vectorization, bmax may also be written ! 2! 1 x bmax(x; y ) = min 2 y + y ; max(x; y ) Thus the modied eikonal equation (EMOD) is identical to the original whereever the angle subtended with the vertical by the ray velocity vector is less that true. The modied equation is compatible with the modied initial conditions (IMOD) when cos2 (true) = 2cos2(max) which denes the relation between true and max. With these two changes, we have ensured that @=@z > 0 always, i.e. that \rays will always be downgoing." However we have certainly not computed the traveltime eld of a point source, and it is important to identify exactly what we have changed. It is possible to show that the time mod (x; z ) computed by solving the modied eikonal equation (EMOD) as an evolution equation in depth, with initial condition (IMOD), is the same as the rst arrival time from the source point (xs ; zs ) to (x; z ) provided that the associated ray velocity vector never makes an angle with the vertical greater than true. Therefore we can use these times to compute the Kirchho integral, provided that all reection points are connected to both source and receiver by unique rays which obey the angle condition | as assumed in the Introduction. While this condition does not hold in general, even for layered media, it does hold for muted reection data. We will assume that a suitable mute has been applied to the data, and that true has been chosen to be large enough so that the angle condition holds for all events in the muted data. The possibility of devising an automatic scheme to verify the angle condition, relating the choice of aperture true and the mute pattern, is probably worth some thought. Remark. It is possible to weaken the condition of unique source-reection point-receiver rays sightly, by modifying the velocity outside of the cone bounded by the rays taking o at angles rmtrue to be layered. Since the horizontal slowness is constant in a layered medium, rays beginning outside the cone are guaranteed never to change direction. Since the rays associated to the modied initial condition (IMOD) are leftgoing to the left of the cone, and rightgoing to the right of the cone, in fz = zd g the same remains true throughout the depth range. These modied rays form a parallel ray family, hence never penetrate the above-mentioned cone. In this case the arrival times computed within the cone are necessarily associated with rays having takeo angles < true . Our code computes the rst arrival from amongst the times associated with this restricted family of rays. This may not necessarily be the (global) rst arrival in the point source time eld, thus the slight weakening noted above. This aperture-driven velocity modication is an option in our algorithm. For nearly layered models velocity modication appears to be unnecessary to avoid computing spurious rst arrivals, as one might expect. Of course times along other rays not belonging to the point source eld are also computed. To ensure that these rays do not contribute inadvertently to the computed Kirchho integral, we diminish the amplitude assigned to them. The transport equation for the 13 Symes, Versteeg, Sei, Tran Trip 94 amplitudes may be written as ! @ + @ 1 @ @ log a = 1 @ 1 r2 @z @z @x @x 2 @z (TPT) This form is advantageous in computation: the amplitude eld changes by perhaps several orders of magnitude over a typical computational domain, whereas its logarithm changes much less | thus it is considerably easier to maintain uniform accuracy for the logarithm in the presence of discretization and round-o error. Initial conditions at fz zd g are v u v0 A(x; zd) = 21 u t q 2 (x xj )2 + (zd zs )2 (TIPT) As a by-product of the solution of the modied eikonal equation (IMOD), we also compute a tapered cuto function g , dened by g = bcut 1 v2 ! @ 2 ; cos2 (max ) ; cos2 (true ) @x v2 v2 ! where bcut(x; a; b) is the piecewise cubic twice continuously dierentiable function which is 0 for x < a and 1 for x > b. Specically, set r = min(b a; max(0; x a)): Then bcut(x; a; b) = 2r3 + 3r2 We use this cuto function to modify the right hand side of the transport equation: ! @ + @ 1 @ @ log a = @z @z @x @x " # 1 g @ 1 r2 1 (1 g )max @ 1 r2 (TMOD) x @z 2 @z 2 That is, we force the amplitudes outside of the aperture dened by true to decay at least as quickly as those inside the aperture. Since these amplitudes are decaying rather quickly for geometrical reasons also, the upshot is to suppress the out of aperture amplitudes. As for the traveltimes, the amplitudes produced by solving the modied system (TIPT), (TMOD) are identical to those of the original point source system (TIPT), (TPT) so long as the rays carrying signicant incident and reected energy make an angle with the vertical of at most true during their entire transit from source to reecting point to receiver. We assume that this condition holds for all reection events surviving the mute. 14 Kirchho Simulation Trip 94 3.2 Traveltime Computation From amongst the large number of competing nite dierence and related schemes for solution of the eikonal equation suggested in the recent literature, we have selected the essentially nonoscillatory (\ENO") schemes of [17] as particularly appropriate. This class of schemes is attractive for three essential reasons: (1) stable schemes of arbitrarily high order of accuracy exist; (2) versions exist in any dimension | in particular three dimensional analogues of our algorithm are available; (3) the ENO schemes are easy to program. Introduce basic nite dierence operators as follows. At x = j x, z = kz the value of the discrete traveltime eld will be written jk similarly with skj = v (x; z ) 1. The forward (+) and backward ( ) divided dierence operators in x are h Dx jk = jk1 jk i x Similar divided dierence operators are dened in z . The basic rst order upwind scheme is: bmax (skj )2 2 max(Dx jk ; 0) min 1 2 2 k 2 2 + k Dx j ; 0 ; (sj ) cos true jk+1 = jk + z The essential principle in this scheme is that the update of is computed from directions in which the rays are owing (\upwind"). Ray tracing would do this naturally; the decision tree within the right hand side of the above formula enforces the upwind choice of dierence operator. Since the choice is made via min and max operators, the scheme vectorizes. A necessary detail in a practical code is enforcement of stability. Like most other explicit dierence schemes, the scheme explained above is only conditionally stable. The CourantFriedrichs-Levy (\CFL") condition necessary (and sucient in this case) for stability is z Dxupwind < 1 y Dz+ Here Dxupwind denotes the upwind choice of Dx made in the above formula. This condition must be satised; most likely, many of the reported failures of nite dierence schemes for the eikonal equation are due to failure to enforce it. Enforcement is easy: each full step, e.g. in the down cycles from kz to (k + 1)z , is subdivided into partial steps of length zlocal. The local step length zlocal is chosen so that the above CFL condition is satised with z replaced by zlocal. Of course it is also necessary to ensure that zlocal is not too small relative to z , to avoid arbitrarily long internal loops. Osher and Sethian ([17]) describe families of upwind schemes of arbitrarily high order, based on the concept of essentially nonoscillatory (ENO) higher order dierences. For example, the second order ENO correction of Dx+ is: Dx+;2 = Dx+ 21 x(Dx+ Dx+ ; Dx Dx+ ) 15 Symes, Versteeg, Sei, Tran Trip 94 where (u; v ) = u if juj jv j and uv > 0 = v if jv j < juj and uv > 0 = 0 if uv 0 That is, the rst order divided dierence is corrected by a second derivative approximation given by a one sided dierence formula if that is smaller, else by the centered dierence. For example at a discontinuity of the rst derivative, the one sided dierence would be chosen, if the two possibilities agree in sign. Thus the upwind character of the rst order scheme is preserved at discontinuities of the traveltime gradient. If the signs of the two dierence approximations disagree, no correction is made, on the presumption that the rate of change of the second derivative is too high for higher dierences to be accurate. Similarly, Dx ;2 = Dx + 21 x(Dx Dx ; Dx Dx+ ) To obtain the second-order ENO scheme used here from the rst order upwind scheme above, 1. replace Dx with Dx;2 in 1st order upwind formula 2. use second-order Runge-Kutta formula to step in z direction. Explicitly, set G[ ]kj = q Then bmax((skj )2 (max(Dx2; jk ; 0))2 (min(Dx2;+ jk ; 0))2; (skj )2cos2 (true)) 1 jk+ 2 = jk + 12 zG[ ]kj 1 jk+1 = jk+ 2 + 12 zG[ k+ 12 ]j Remark. Since we have assumed (in the Introduction) that the portion of the traveltime eld responsible for reections is smooth and single-valued, conceivably some other choice of scheme, e.g. an analogue of the leapfrog or Lax-Wendro schemes, would function as well. However, the ENO schemes and other similar schemes have the advantage of nonlinear stability: if a discontinuity of r (signaling the formation of a caustic) developes in the eective aperture, i.e. along rays maintaining an angle of less than true with the vertical, the ENO scheme continues to compute the rst arrival time, whereas other nonupwind schemes may fail altogether or propagate oscillations away from the discontinuity. We prefer to have a successful computation, even if the single-arrival hypothesis is violated. Note that success or failure of this hypothesis cannot be determined a priori, in general. 16 Kirchho Simulation Trip 94 As noted earlier, the transport equation for the amplitude eld involves the traveltime Laplacian. To make possible a two level scheme for depth matching compatible with the traveltime scheme, it is useful to write the traveltime Laplacian in a form involving only rst z -derivatives. Dierentiation of the eikonal equation with respect to s and z , followed by some algebra, yields r2 = S2 @ 2 @ 2 + 1 @ @z @x2 2 @z 1 @ (s2) @z @ 1 @ @ (s2) @z @x @x ! Second-order approximations to the rst and second traveltime x derivatives and the traveltime z derivative are by-products of the step computation for the eikonal equation: @ k D [ ]k = max(D2; k ; 0) + min(D2;+ k ; 0) x j x j x j @x j @ 2 @x2 !k j 1x2 jk+1 + jk 1 2jk @ k G[ ]k j @z j Substitutions of these approximations in the above expression for the Laplacian gives the second order approximation r2 L[ ]kj An upwind choice of derivatives of u = log a guarantees that discretization error from discontinuities in @=@x (if such occur) does not pollute the solution, as such discontinuities only occur downwind of neighboring points. Also upwind dierences for log a simplify the computation at the boundary, just as in the eikonal scheme. This reasoning suggests use of the Beam-Warming scheme, an upwind variant of the well-known Lax-Wendro scheme (see eg. [19], pp. 330 .), based on one-sided second order approximations to the rst and second derivatives: Dpuj = 1x 32 uj + 2uj+1 21 uj+2 Dm uj = 1x 32 uj 2uj 1 + 12 uj 2 Dppuj = 1x2 (uj + uj+2 2uj+1 ) Dmm uj = 1x2 (uj + uj 2 2uj 1) Set h k ; uk i j ( 1 max(D [ ]k ; 0) Dm uk = x j j G[ ]kj 17 z Dx[ ]kj Dmm uk j 2 G[ ]kj ! Symes, Versteeg, Sei, Tran Trip 94 + min(Dx[ ]kj ; 0) Dp ukj Then the Beam-Warming scheme is z Dx[ ]kj Dppuk j 2 G[ ]kj !) 1 L[ ]kj 2 G[ ]kj ukj +1 = ukj + z[ k ; uk ]j The transport equation is a scalar hyperbolic system, and the Beam-Warming scheme is accurate of order 2 and dissipative of order 4, hence stable by a theorem of Parlett ([19], p. 119), so long as its coecients remain smooth. We have seen no evidence of unstable behaviour resulting from nonsmoothness in the coecients (traveltime derivatives), although the stability theory of dierence schemes appears to have nothing directly to say about this matter. The stability condition appears to be somewhat more strict than that required by the ENO scheme for the eikonal equation. Experimentally we have found that zDx[ ]kj < 0:5 xG[ ]kj provides conditional stability. 4 Numerical Examples 4.1 Accuracy of Eikonal, Transport Approximations To give some idea of the accuracy obtainable with the dierence schemes outlined in the preceding section, we have carried out several tests using constant velocity, for which comparison with the analytic quantities is straightforward. The velocity used in these experiments is 1.0 m/ms, and the computational domain in all cases is 4096 m (x) 2048 m (z). The source point is oset 512 m from the left edge of the model, and is 150 m above the top. We chose an aperture of 55 degrees, which allowed us to use x = 4z throughout the computation - the automatic step selection would otherwise have a confusing inuence on the accuracy. Figures 1 and 2 show the traveltimes and relative errors at the bottom of the domain, and Figures 3 and 4 do the same for the amplitudes. The second order convergence claimed for the schemes. The relative error in the amplitudes is quite a bit greater than that for the traveltimes. This is easy to understand, as the error in the traveltimes is second order and the transport equation involves the second dierence of the traveltime, which is of has O(1) error. As noted in the last section, a small amount of smoothing appears to suce to remove the largest part of the inuence of high frequency error from the traveltime Laplacian. 4.2 Accuracy of Kirchho Simulation We performed a number of tests using the \gascloud" model presented in last year's annual report. The velocity is mostly layered, with a slow anomaly embedded in the center (Figure 18 Kirchho Simulation Trip 94 5). The reectivity is layered (Figure 6). Shot and receiver spacing were 48m, depth 32m, far oset 1728m, 34 traces per shot gather. We computed traveltimes and amplitudes using an aperture of 65 degrees, which we found to be well adapted to the mute. We used a grid with x = z = 32m. The resulting traveltime and amplitude elds are displayed in Figures 7 and 8. The adaptive aperture denition is particularly clear in the case of the amplitude. The grid on which velocity and reectivity elds were dened had spacings x = z = 16m, however. The Kirchho sums were also performed on the 16m grid. The capability to decimate the grid for traveltime and amplitude calculations, then interpolate the resulting elds onto a ner grid for combination with the reectivity, is very important for eciency reasons, as will be reviewed below. The energy source used in the rst several experiments is a Ricker wavelet with peak frequency 10Hz. The resulting Kirchho simulation of a shot at oset 3200m from the left edge of the model is shown in Figure 9. For comparison, we simulated the same seismograms using a nite dierence scheme of order 2 in time and 4 in space ([9]). Since the Kirchho code simulates wave propagation in a domain without boundary, we had to arrange the nite dierence simulator to avoid surface reections. We did not use absorbing boundary conditions; instead we used free surface conditions on all sides of an adaptivly estimated optimal subdomain, the boundaries of which are just far enough from sources and receivers that no edge reections occur in the data. This was not a large loss for the sides and bottom of the model, as we did not wish to rule out steeply dipping reectors a priori. However it did require almost doubling the size of the model in order to avoid reections from the top. To avoid giving misleadingly negative time comparisons with the Kirchho simulator, I have somewhat optimistically divided all nite dierence execution times quoted below by two to simulate the added eciency of an absorbing top surface. In order to ensure accurate results we used a grid with x = z = 8m, t = 2ms; another computation with grid sizes twice as large as this yielded less than 3% change in the output. This accurate nite dierence seismogram is shown in Figure 10. To exhibit more clearly the close correspondence between the Kirchho and nite dierence results, we show trace 30 from both shot gathers in Figure 11. To investigate the change in accuracy as the upper bandlimit is increased, we repeated these experiments with 15Hz and 20Hz Ricker source wavelets. The results are shown in Figures 12 through 17. In these two examples, the nite dierence simulator used x = z = 8m and t = 2ms, whereas the Kirchho simulator computed traveltime and amplitude elds on a 32m grid and interpolated these to a 16m grid for summation. Up to 20Hz, at least, the elds are quite close. Kirchho simulations remain accurate at far coarser grid spacings than do nite dierence simulations, at least of the type considered here. To illustrate this contention, Figures 18 and 19 show Kirchho and nite dierence simulations of the same shot gather, with a 12.5 Hz Ricker source. The Kirchho grid parameters are as before, 4ms time step, 32m grids for traveltime and amplitude calculations, 16m grid for Krichho summation. The nite dierence space steps were 16m, the time step 4ms. The grid dispersion evident in the nite dierence results is largely absent from the Kirchho simulations. Somewhat more accurate nite dierence methods are of course available, and would 19 Trip 94 Symes, Versteeg, Sei, Tran yield good results at coarser grids somewhat more eciently than does our primitive (2,4) scheme. However we believe that the fundamental conclusion of this section would remain valid even under comparison with these more sophisticated schemes: for the parameter ranges and type of model considered here, primaries only simulation via Kirchho summation demands less rened grids than does the same simulation via nite dierences. 4.3 Eciency considerations A straightforward discretization error analysis shows that the Kirchho algorithm presented here has second order truncation error. Worst case estimates of the error suggest that roughly 10 gridpoints per wavelength would be necessary to obtain output signals at 5% error level. The relative dips of typical (nearly horizontal reectors) and the summation trajectories near reection points are not far apart, which argues for regarding the worst case error estimates as unduly pessimistic - as our numerical experiments indicate. In any case the Kirchho summation itself is quite inexpensive. The major cost of Kirchho simulation lies in the computation of traveltimes and amplitudes. Accordingly the Kirchho simulator obtains its considerable gain in eciency over nite dierence simulation from three sources: the smoothness of the traveltime and amplitude elds allows the use of much coarser grids for their computation than are needed for accurate Kirchho sums; for multishot simulation, a number of shot gathers can be computed simultaneously, and the expense of the traveltime and amplitude computations amortized. for iterative inversion, say via conjugate gradient or related methods, the traveltime and amplitude tables can be stored on disk, and re-used. The grid decimation has already been mentioned. We have implemented only decimation by factors of 2 and 4, and used only decimation by 2. In principle the choice of decimated grid should be governed by accuracy considerations, and the slowness eld interpolated appropriately; we intend that a future version of our code will have this feature. In any case the gain in eciency is important: decimation by 2 decreases CPU time in the eikonal and transport solves by a factor of 4, and also decreases the storage and i/o costs. Because of the use of decimated grids, a considerable number of traveltime and amplitude elds can be held in core at one time. Therefore, for uniform and commensurable shot and receiver spacing, these elds can be used repeatedly in the summations. For example, if shot and receiver spacing are the same, each newly computed receiver travel time table can be used to add a trace to every shot gather currently in core to which the receiver location belongs. Thus the cost becomes asymptotically independent of the number of shots. For example a simulation of a single shot for the 15 Hz source mentioned above, with 8m spatial grid and 2ms time step (as in Figure 13) requires approximately 100s for an IBM RS6000/380 to execute our mildly optimized nitte dierence code, running at about 45 Mops. The Kirchho simulation of one shot using 32m grids to compute 20 Kirchho Simulation Trip 94 traveltimes and amplitudes, and 16m grids for Kirchho summation, required about 49s. Kirchho simulation of 25 shots, retaining traveltime and amplitude tables for all 25 shots in memory, required 228s, or about 9s per shot. Simulation of 50 shots with 60 traces per shot came to about the same cost. So to provide accurate simulations, the combination of coarser sampling, grid decimation, and amortization of traveltime and amplitude computations resulted in an order of magnitude cost advantage for the Kirchho simulation over nite dierence. We are certain that further signicant optimization opportunities are available in the Kirchho code, whereas the nite dierence code is already performing at a near-optimal level. Finally, we have provided the capability for the simulator to use precomputed traveltime and amplitude tables stored on disk. For example the second and subsequent iterations of a conjugate gradient loop for solution of the least squares linearized inverse problem using the Kirchho simulation and migration tools will be able to take advantage of this option. The cost for the 50 shot, 60 trace example dropped to less than 4s per shot. Because the current implementation involves some identiable ineciencies when operating in this mode, we project that the actual cost of this mode, i.e. Kirchho summation plus disk i/o, for the parameters and scales of our examples is roughly 2s per shot. 21 Symes, Versteeg, Sei, Tran Trip 94 3100 3000 2900 2800 2700 2600 2500 2400 2300 2200 2100 0 500 1000 1500 2000 2500 3000 3500 4000 Figure 1: Exact and computed traveltimes for constant velocity medium. Solid line = exact; dashed line = nite dierence traveltime, x = 16m; dot-dash line = nite dierence traveltime, x = 32m; dotted line = nite dierence traveltime, x = 64m. 22 4500 Kirchho Simulation Trip 94 -4 9 x 10 8 7 6 5 4 3 2 1 0 0 500 1000 1500 2000 2500 3000 3500 4000 4500 Figure 2: Relative errors in computed traveltimes for constant velocity medium. Dashed line = relative error in nite dierence traveltime, x = 16m; dot-dash line = relative error in nite dierence traveltime, x = 32m; dotted line = relative error in nite dierence traveltime, x = 64m. 23 Symes, Versteeg, Sei, Tran Trip 94 -3 8.8 x 10 8.6 8.4 8.2 8 7.8 7.6 7.4 7.2 7 6.8 0 500 1000 1500 2000 2500 Figure 3: 3000 3500 4000 4500 Exact and computed amplitudes for constant velocity medium. Solid line = exact; dashed line = nite dierence amplitude, x = 16m; dot-dash line = nite dierence amplitude, x = 32m; dotted line = nite dierence amplitude, x = 64m. 24 Kirchho Simulation Trip 94 0.05 0.045 0.04 0.035 0.03 0.025 0.02 0.015 0.01 0.005 0 0 500 1000 1500 2000 2500 3000 3500 4000 Figure 4: Relative errors in computed amplitudes for constant velocity medium. Dashed line = relative error in nite dierence amplitude, x = 16m; dot-dash line = relative error in nite dierence amplitude, x = 32m; dotted line = relative error in nite dierence amplitude, x = 64m. 25 4500 Symes, Versteeg, Sei, Tran Trip 94 Plane 1 Trace 150 0 200 250 300 350 0 2 1.9375 1.875 1.8125 1.75 1000 1000 1.6875 1.625 1.5625 1.5 2032 Trace 150 2032 200 250 300 350 Plane 1 Figure 5: Gascloud velocity model. Horizontal trace spacing is 16m. Depth axis is in m. Velocity unit is m/ms. First shotpoint is at trace 200 (oset 3200m). Cable extends to right of shotpoint roughly to trace 311 (oset 4980). Shot and receiver depths are 32m. 26 Kirchho Simulation Trip 94 Plane 1 Trace 150 0 200 250 300 350 0 0.335706 0.25178 0.167853 0.0839265 0 1000 1000 -0.0839265 -0.167853 -0.25178 -0.335706 2032 Trace 150 2032 200 250 Plane 1 Figure 6: Gascloud reectivity prole. Depth axis is in m. 27 300 350 Symes, Versteeg, Sei, Tran Trip 94 Plane 1 Trace 1 0 400 350 300 250 200 51 101 151 0 100 100 200 200 300 300 400 400 500 500 600 600 700 700 800 800 900 900 1000 1000 1100 1100 1200 1200 1300 1300 1400 1400 1500 1500 1600 1600 1700 1700 1800 1800 1900 1900 2000 2048 2000 2048 150 100 50 0 Trace 1 51 101 Plane 1 Figure 7: Finite dierence traveltimes, 32m grid. 28 151 Kirchho Simulation Trip 94 Plane 1 Trace 0 200 250 300 0 1.5e-02 1.3e-02 1.1e-02 9.4e-03 7.5e-03 1000 1000 2000 2048 2000 2048 5.6e-03 3.8e-03 1.9e-03 0.0e+00 Trace 200 250 Plane 1 Figure 8: Finite dierence amplitudes, 32m grid. 29 300 Symes, Versteeg, Sei, Tran Trip 94 Plane 1 Trace 0 1 11 21 31 0 100 100 200 200 300 300 400 400 500 500 600 600 700 700 800 800 900 900 1000 1000 1100 1100 1200 1200 1300 1300 1400 1400 1500 1500 1600 1600 1700 1700 1800 1800 1900 1900 1996 1996 Trace 1 Plane 1 11 21 31 Figure 9: Kirchho simulation of shot gather. 32m grid for traveltime and amplitude calculations, 16m grid for summation. 30 Kirchho Simulation Plane 1 Trace 0 1 11 21 Trip 94 31 0 100 100 200 200 300 300 400 400 500 500 600 600 700 700 800 800 900 900 1000 1000 1100 1100 1200 1200 1300 1300 1400 1400 1500 1500 1600 1600 1700 1700 1800 1800 1900 1900 1996 1996 Trace 1 Plane 1 Figure 10: 11 21 31 (2,4) nite dierence simulation of shot gather, using 8m grid. 31 Symes, Versteeg, Sei, Tran Trip 94 -3 3 x 10 2 1 0 -1 -2 -3 -4 0 200 Figure 11: 400 600 800 1000 1200 1400 1600 Trace 30: solid = nite dierence, dashed = Kirchho. 32 1800 2000 Kirchho Simulation Plane 1 Trace 0 1 11 21 Trip 94 31 0 100 100 200 200 300 300 400 400 500 500 600 600 700 700 800 800 900 900 1000 1000 1100 1100 1200 1200 1300 1300 1400 1400 1500 1500 1600 1600 1700 1700 1800 1800 1900 1900 1996 1996 Trace 1 Plane 1 11 21 31 Figure 12: Kirchho simulation, 15 Hz source, 32m grid for traveltime and amplitude calculations, 16m grid for summation. 33 Symes, Versteeg, Sei, Tran Trip 94 Plane 1 Trace 0 1 11 21 31 0 100 100 200 200 300 300 400 400 500 500 600 600 700 700 800 800 900 900 1000 1000 1100 1100 1200 1200 1300 1300 1400 1400 1500 1500 1600 1600 1700 1700 1800 1800 1900 1900 1996 1996 Trace 1 Plane 1 Figure 13: 11 21 31 Finite dierence simulation, 15 Hz source, x = z = 8m, t = 2ms. 34 Kirchho Simulation Trip 94 -3 2.5 x 10 2 1.5 1 0.5 0 -0.5 -1 -1.5 0 200 Figure 14: 400 600 800 1000 1200 1400 1600 1800 2000 Trace 30, 15 Hz source: solid = nite dierence, dashed = Kirchho. 35 Symes, Versteeg, Sei, Tran Trip 94 Plane 1 Trace 0 1 11 21 31 0 100 100 200 200 300 300 400 400 500 500 600 600 700 700 800 800 900 900 1000 1000 1100 1100 1200 1200 1300 1300 1400 1400 1500 1500 1600 1600 1700 1700 1800 1800 1900 1900 1996 1996 Trace 1 Plane 1 11 21 31 Figure 15: Kirchho simulation, 20 Hz source, 32m grid for traveltime and amplitude calculations, 16m grid for summation. 36 Kirchho Simulation Plane 1 Trace 0 1 11 21 Trip 94 31 0 100 100 200 200 300 300 400 400 500 500 600 600 700 700 800 800 900 900 1000 1000 1100 1100 1200 1200 1300 1300 1400 1400 1500 1500 1600 1600 1700 1700 1800 1800 1900 1900 1996 1996 Trace 1 Plane 1 Figure 16: 11 21 31 Finite dierence simulation, 20 Hz source, x = z = 8m, t = 2ms. 37 Symes, Versteeg, Sei, Tran Trip 94 -3 2 x 10 1.5 1 0.5 0 -0.5 -1 -1.5 0 200 Figure 17: 400 600 800 1000 1200 1400 1600 1800 2000 Trace 30, 20 Hz source: solid = nite dierence, dashed = Kirchho. 38 Kirchho Simulation Plane 1 Trace 0 1 11 21 Trip 94 31 0 100 100 200 200 300 300 400 400 500 500 600 600 700 700 800 800 900 900 1000 1000 1100 1100 1200 1200 1300 1300 1400 1400 1500 1500 1600 1600 1700 1700 1800 1800 1900 1900 1996 1996 Trace 1 Plane 1 11 21 31 Figure 18: Kirchho simulation, 12.5 Hz source, 32m grid for traveltime and amplitude calculations, 16m grid for summation. 39 Symes, Versteeg, Sei, Tran Trip 94 Plane 1 Trace 0 1 11 21 31 0 100 100 200 200 300 300 400 400 500 500 600 600 700 700 800 800 900 900 1000 1000 1100 1100 1200 1200 1300 1300 1400 1400 1500 1500 1600 1600 1700 1700 1800 1800 1900 1900 1996 1996 Trace 1 Plane 1 Figure 19: 11 21 31 Finite dierence simulation, 12.5 Hz source, x = z = 8m, t = 2ms. References [1] A.J. BERKHOUT. Seismic Migration. Elsevier, Amsterdam, 1984. [2] G. BEYLKIN. Imaging of discontinuities in the inverse scattering problem by inversion of a causal generalized radon transform. J. Math. Phys., 26:99{108, 1985. [3] G. BEYLKIN and R. BURRIDGE. Linearized inverse scattering problem of acoustics and elasticity. Wave Motion, 12:15{22, 1990. [4] N. BLEISTEIN. On the imaging of reectors in the earth. Geophysics, 52:931{942, 1987. 40 Kirchho Simulation Trip 94 [5] S. CAO and B. KENNETT. Reection seismograms in a 3-d elastic model: an isochronal approach. Journal of Geoph. Res., 96:63{80, 1990. [6] V. CERVENY and A. COPPOLI D.M. Ray born synthetic seismograms for complex structures containing scatterers. Journal of seismic exploration, 1:191{206, 1992. [7] FRANCOIS CLE MENT and GUY CHAVENT. Waveform inversion through MBTT formulation. In E. Kleinman, T. Angell, D. Colton, F. Santosa, and I. Stakgold, editors, Mathematical and Numerical Aspects of Wave Propagation. SIAM, Philadelphia, 1993. [8] F. COLLINO. Analyse Numerique de Modeles de Propagation d'Ondes. Application a la Migration et a l'Inversion des Donnees Sismiques. PhD thesis, Universite Paris IX, 1987. [9] M.A. DABLAIN. The application of high-order dierencing to the scalar wave equation. Geophysics, 51:54{66, 1986. [10] ANDREAS EHINGER. FARS{ a prestack shot record migration program. First yearly report, PSI Consortium, 1990. [11] I.M. GEL'FAND and G.E. SHILOV. Generalized Functions, volume I. Academic Press, New York, 1958. [12] S. GEOLTRAIN and J. BRAC. Can we image complex structures with rst-arrival traveltime? Geophysics, 58:564{575, 1993. [13] S.H. GRAY and W.P. May. Kirchho migration using eikonal equation traveltimes. Geophysics, 59:810{817, 1994. [14] P. LAILLY. Migration methods: partial but ecient solutions to the seismic inverse problem. In Santosa et al., editors, Inverse Problems of Acoustic and Elastic Waves. SIAM, Philadelphia, 1984. [15] A.R. LEVANDER. Fourth order nite dierence P-SV seismograms. Geophysics, 53:1425{1434, 1988. [16] T.J. MOSER. Migration using the shortest path method. Geophysics, 59:1110{1120, 1994. [17] S. OSHER and J. SETHIAN. Fronts propagating with curvature dependent speed: algorithms based on Hamilton-Jacobi formulations. J. Comp. Phys., 79:12{49, 1988. [18] RAKESH. A linearized inverse problem for the wave equation. Comm. on P.D.E., 13:573{601, 1988. [19] R. RICHTMYER and K. W. MORTON. Dierence Methods for Initial Value Problems. Wiley/Interscience, New York, 1967. [20] J. VIDALE. Finite-dierence calculation of travel times. Bull., Seis. Soc. Am., 78:2062{2076, 1988. 41 Trip 94 Symes, Versteeg, Sei, Tran [21] B.S. WHITE. The stochastic caustic. SIAM J. Appl. Math., 44:127{149, 1982. 42
© Copyright 2025 Paperzz