Abstract. Traditional transmission travel-time tomography hinges on ray tracing techniques. We propose a PDE-based Eulerian approach to travel-time tomography so that we can avoid using the cumbersome ray-tracing technique. We start from the eikonal equation, define a mismatching functional and derive the gradient of the nonlinear functional by an adjoint state method. The resulting forward and adjoint problems can be efficiently solved by using the fast sweeping method; a limited memory BFGS method is used to drive the mismatching functional to zero with quadratic convergence. 2-D and 3-D numerical results as well as Marmousi synthetic velocity model demonstrate the robustness and the accuracy of the method.
Key words.Eikonal equations, traveltime tomography, fast sweeping, ray tracing, adjoint state methods.
AMS subject classifications. 65K10, 86A22, 35R301. Introduction Estimation of wave-speed distribution from acoustic, seismic or electromagnetic first-arrival travel-time data is the goal of transmission travel-time tomography. In seismics velocity analysis is often an important step in prospect evaluation in areas where lithology and structure undergo significant lateral change. In this work we propose a new, robust and efficient tomography method which is aimed at such applications.All the traditional methods of travel-time tomography are directly based on Fermat's least travel-time principle and bear a close link to the X-ray computerized tomography (CT) used in medical diagnosis. In medical CT the measured data are assumed to be modeled by line integrals of wave amplitude attenuation for straight ray-paths passing through the body, and the Radon transform provides the foundation for medical CT. However, in seismics the ray-path curvature has to be taken into account in that lithology and structure usually have strong inhomogeneity, and the resulting ray-paths can depend strongly on the unknown wave speeds. To achieve such a purpose, ray-tracing based travel-time tomography methods require very complicated data structure to trace curved rays through each pixel [4]; see [25] for 3-D examples. In addition, such ray-tracing based methods inevitably produce irregular ray coverage of the computational domain, and the resulting system of equations may not be well-conditioned [1,2,3]. In this paper we propose a PDE-based Eulerian approach to travel-time tomography so that we can avoid using the cumbersome ray-tracing technique.Recall that a necessary condition for Fermat's least travel-time principle to hold is characterized by the eikonal equation for travel-time [11], and the viscosity solution for the eikonal equation with a point-source condition is the least travel-time from