Hadamard integrator for time-dependent wave equations: Lagrangian formulation via ray tracing

We propose a novel Hadamard integrator for the self-adjoint time-dependent wave equation in an inhomogeneous medium. First, we create a new asymptotic series based on the Gelfand-Shilov function, dubbed Hadamard's ansatz, to approximate the Green's function of the time-dependent wave equation. Second, incorporating the leading term of Hadamard's ansatz into the Kirchhoff-Huygens representation, we develop an original Hadamard integrator for the Cauchy problem of the time-dependent wave equation and derive the corresponding Lagrangian formulation in geodesic polar coordinates. Third, to construct the Hadamard integrator in the Lagrangian formulation efficiently, we use a short-time ray tracing method to obtain wavefront locations accurately, and we further develop fast algorithms to compute Chebyshev-polynomial based low-rank representations of both wavefront locations and variants of Hadamard coefficients. Fourth, equipped with these low-rank representations, we apply the Hadamard integrator to efficiently solve time-dependent wave equations with highly oscillatory initial conditions, where the time step size is independent of the initial conditions. By judiciously choosing the medium-dependent time step, our new Hadamard integrator can propagate wave field beyond caustics implicitly and advance spatially overturning waves in time naturally. Moreover, since the integrator is independent of initial conditions, the Hadamard integrator can be applied to many different initial conditions once it is constructed. Both two-dimensional and three-dimensional numerical examples illustrate the accuracy and performance of the proposed method.Comment: 38 pages, 14 figure

Screened poisson hyperfields for shape coding

We present a novel perspective on shape characterization using the screened Poisson equation. We discuss that the effect of the screening parameter is a change of measure of the underlying metric space. Screening also indicates a conditioned random walker biased by the choice of measure. A continuum of shape fields is created by varying the screening parameter or, equivalently, the bias of the random walker. In addition to creating a regional encoding of the diffusion with a different bias, we further break down the influence of boundary interactions by considering a number of independent random walks, each emanating from a certain boundary point, whose superposition yields the screened Poisson field. Probing the screened Poisson equation from these two complementary perspectives leads to a high-dimensional hyperfield: a rich characterization of the shape that encodes global, local, interior, and boundary interactions. To extract particular shape information as needed in a compact way from the hyperfield, we apply various decompositions either to unveil parts of a shape or parts of a boundary or to create consistent mappings. The latter technique involves lower-dimensional embeddings, which we call screened Poisson encoding maps (SPEM). The expressive power of the SPEM is demonstrated via illustrative experiments as well as a quantitative shape retrieval experiment over a public benchmark database on which the SPEM method shows a high-ranking performance among the existing state-of-the-art shape retrieval methods

Modeling and inversion of seismic data using multiple scattering, renormalization and homotopy methods

Seismic scattering theory plays an important role in seismic forward modeling and is the theoretical foundation for various seismic imaging methods. Full waveform inversion is a powerful technique for obtaining a high-resolution model of the subsurface. One objective of this thesis is to develop convergent scattering series solutions of the Lippmann-Schwinger equation in strongly scattering media using renormalization and homotopy methods. Other objectives of this thesis are to develop efficient full waveform inversion methods of time-lapse seismic data and, to investigate uncertainty quantification in full waveform inversion for anisotropic elastic media based on integral equation approaches and the iterated extended Kalman filter. The conventional Born scattering series is obtained by expanding the Lippmann-Schwinger equation in terms of an iterative solution based on perturbation theory. Such an expansion assumes weak scattering and may have the problems of convergence in strongly scattering media. This thesis presents two scattering series, referred to as convergent Born series (CBS) and homotopy analysis method (HAM) scattering series for frequency-domain seismic wave modeling. For the convergent Born series, a physical interpretation from the renormalization prospective is given. The homotopy scattering series is derived by using homotopy analysis method, which is based on a convergence control parameter $h$ and a convergence control operator $H$ that one can use to ensure convergence for strongly scattering media. The homotopy scattering scattering series solutions of the Lippmann-Schwinger equation, which is convergent in strongly scattering media. The homotopy scattering series is a kind of unified scattering series theory that includes the conventional and convergent Born series as special cases. The Fast Fourier Transform (FFT) is employed for efficient implementation of matrix-vector multiplication for the convergent Born series and the homotopy scattering series. This thesis presents homotopy methods for ray based seismic modeling in strongly anisotropic media. To overcome several limitations of small perturbations and weak anisotropy in obtaining the traveltime approximations in anisotropic media by expanding the anisotropic eikonal equation in terms of the anisotropic parameters and the elliptically anisotropic eikonal equation based on perturbation theory, this study applies the homotopy analysis method to the eikonal equation. Then this thesis presents a retrieved zero-order deformation equation that creates a map from the anisotropic eikonal equation to a linearized partial differential equation system. The new traveltime approximations are derived by using the linear and nonlinear operators in the retrieved zero-order deformation equation. Flexibility on variable anisotropy parameters is naturally incorporated into the linear differential equations, allowing a medium of arbitrarily anisotropy. This thesis investigates efficient target-oriented inversion strategies for improving full waveform inversion of time-lapse seismic data based on extending the distorted Born iterative T-matrix inverse scattering to a local inversion of a small region of interest (e. g. reservoir under production). The target-oriented approach is more efficient for inverting the monitor data. The target-oriented inversion strategy requires properly specifying the wavefield extrapolation operators in the integral equation formulation. By employing the T-matrix and the Gaussian beam based Green’s function, the wavefield extrapolation for the time-lapse inversion is performed in the baseline model from the survey surface to the target region. I demonstrate the method by presenting numerical examples illustrating the sequential and double difference strategies. To quantify the uncertainty and multiparameter trade-off in the full waveform inversion for anisotropic elastic media, this study applies the iterated extended Kalman filter to anisotropic elastic full waveform inversion based on the integral equation method. The sensitivity matrix is an explicit representation with Green’s functions based on the nonlinear inverse scattering theory. Taking the similarity of sequential strategy between the multi-scale frequency domain full waveform inversion and data assimilation with an iterated extended Kalman filter, this study applies the explicit representation of sensitivity matrix to the the framework of Bayesian inference and then estimate the uncertainties in the full waveform inversion. This thesis gives results of numerical tests with examples for anisotropic elastic media. They show that the proposed Bayesian inversion method can provide reasonable reconstruction results for the elastic coefficients of the stiffness tensor and the framework is suitable for accessing the uncertainties and analysis of parameter trade-offs