Binary recovery via phase field regularization for first-arrival traveltime tomography

DOI10.1088/1361-6420/AB1C6CMaRDI QIDQ5197868zbMATH OpenOpenAlexWikidataFDO

Authors Oliver R. A. Dunbar, Charles M. Elliott

Publication date 20 September 2019

Published in Inverse Problems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1811.02865, https://authors.library.caltech.edu/98037/

zbMATH Keywords

finite elementseikonal equationphase fieldseismic tomographybinary recovery

Mathematics Subject Classification ID

Numerical optimization and variational techniques (65K10) Seismology (including tsunami modeling), earthquakes (86A15) Viscosity solutions to PDEs (35D40) Hamilton-Jacobi equations (35F21) Numerical solutions of ill-posed problems in abstract spaces; regularization (65J20) Finite difference methods for initial value and initial-boundary value problems involving PDEs (65M06) Stability and convergence of numerical methods for initial value and initial-boundary value problems involving PDEs (65M12) Numerical methods for ill-posed problems for initial value and initial-boundary value problems involving PDEs (65M30) Numerical methods for inverse problems for initial value and initial-boundary value problems involving PDEs (65M32) Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs (65M60)

Abstract: We propose a double obstacle phase field methodology for binary recovery of the slowness function of an Eikonal equation found in first traveltime tomography. We treat the inverse problem as an optimization problem with quadratic misfit functional added to a phase field relaxation of the perimeter penalization functional. Our approach yields solutions as we account for well posedness of the forward problem by choosing regular priors. We obtain a convergent finite difference and mixed finite element based discretization and a well defined descent scheme by accounting for the non-differentiability of the forward problem. We validate the phase field technique with a $Gamma$ - convergence result and numerically by conducting parameter studies for the scheme, and by applying it to a variety of test problems with different geometries, boundary conditions, and source - receiver locations.

Recommendations

• Phase field methods for binary recovery
• A Penalization-Regularization-Operator Splitting Method for Eikonal Based Traveltime Tomography
• A level-set adjoint-state method for transmission traveltime tomography in irregular domains
• A hybrid adaptive phase space method for reflection traveltime tomography
• Stable iterative reconstruction algorithm for nonlinear traveltime tomography

Cites work

• scientific article; zbMATH DE number 3783507 (Why is no real title available?)
• scientific article; zbMATH DE number 554774 (Why is no real title available?)
• scientific article; zbMATH DE number 967338 (Why is no real title available?)
• A Bayesian level set method for geometric inverse problems
• A Fast Iterative Method for Eikonal Equations
• A computational framework for infinite-dimensional Bayesian inverse problems. I: The linearized case, with application to global seismic inversion
• A fast level set method for propagating interfaces
• A fast sweeping method for Eikonal equations
• A hybrid adaptive phase space method for reflection traveltime tomography
• An adjoint state method for three-dimensional transmission traveltime tomography using first-arrivals
• Double obstacle phase field approach to an inverse problem for a discontinuous diffusion coefficient
• Elliptic problems in nonsmooth domains
• Fast Marching Methods
• Fast methods for the Eikonal and related Hamilton– Jacobi equations on unstructured meshes
• Geometric measure theory.
• Hamilton-Jacobi Equations with State Constraints
• High-order factorization based high-order hybrid fast sweeping methods for point-source eikonal equations
• Introducing shape constraints into object-based traveltime tomography
• Introduction to Continuum Mechanics
• Inverse problems: a Bayesian perspective
• Linear and nonlinear functional analysis with applications. With 401 problems and 52 figures
• Linear functional analysis. An application-oriented introduction. Translated from the 6th German edition by Robert Nürnberg
• Neumann type boundary conditions for Hamilton-Jacobi equations
• Nonlinear total variation based noise removal algorithms
• Numerical analysis of an inverse problem for the eikonal equation
• Optimal Control with State-Space Constraint I
• Phase field methods for binary recovery
• Primal-dual active set methods for Allen-Cahn variational inequalities with nonlocal constraints
• Second Order Singular Perturbation Models for Phase Transitions
• Second-Order Edge-Penalization in the Ambrosio--Tortorelli functional
• Singular perturbation models in phase transitions for second-order materials
• The Cahn–Hilliard gradient theory for phase separation with non-smooth free energy Part I: Mathematical analysis
• The Cahn–Hilliard gradient theory for phase separation with non-smooth free energy Part II: Numerical analysis
• The gradient theory of phase transitions and the minimal interface criterion
• Uniqueness and error analysis for Hamilton-Jacobi equations with discontinuities
• Variational approximation of anisotropic functionals on partitions
• Viscosity Solutions of Hamilton-Jacobi Equations
• Γ-limit for the extended Fisher–Kolmogorov equation

Cited in

(6)

• Reconciling Bayesian and perimeter regularization for binary inversion
• Phase field methods for binary recovery
• A hybrid adaptive phase space method for reflection traveltime tomography
• Bayesian inversion of log-normal eikonal equations
• Stable iterative reconstruction algorithm for nonlinear traveltime tomography
• A level-set adjoint-state method for transmission traveltime tomography in irregular domains

This page was built for publication: Binary recovery via phase field regularization for first-arrival traveltime tomography

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5197868)