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

DOI10.1088/1361-6420/AB1C6CzbMATH Open1431.65153arXiv1811.02865OpenAlexW2899650407WikidataQ127989208 ScholiaQ127989208MaRDI QIDQ5197868FDOQ5197868

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

Publication date: 20 September 2019

Published in: Inverse Problems (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1811.02865

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

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)

Cites Work

• Nonlinear total variation based noise removal algorithms
• Elliptic problems in nonsmooth domains
• The gradient theory of phase transitions and the minimal interface criterion
• Geometric measure theory.
• Inverse problems: a Bayesian perspective
• Hamilton-Jacobi Equations with State Constraints
• Optimal Control with State-Space Constraint I
• Viscosity Solutions of Hamilton-Jacobi Equations
• Title not available (Why is that?)
• The Cahn–Hilliard gradient theory for phase separation with non-smooth free energy Part I: Mathematical analysis
• Variational approximation of anisotropic functionals on partitions
• Γ-limit for the extended Fisher–Kolmogorov equation
• A fast sweeping method for Eikonal equations
• Primal-dual active set methods for Allen-Cahn variational inequalities with nonlocal constraints
• Linear and nonlinear functional analysis with applications. With 401 problems and 52 figures
• A Fast Iterative Method for Eikonal Equations
• Fast methods for the Eikonal and related Hamilton– Jacobi equations on unstructured meshes
• Linear functional analysis. An application-oriented introduction. Translated from the 6th German edition by Robert Nürnberg
• Fast Marching Methods
• A Computational Framework for Infinite-Dimensional Bayesian Inverse Problems Part I: The Linearized Case, with Application to Global Seismic Inversion
• The Cahn–Hilliard gradient theory for phase separation with non-smooth free energy Part II: Numerical analysis
• A fast level set method for propagating interfaces
• Singular perturbation models in phase transitions for second-order materials
• A Bayesian level set method for geometric inverse problems
• Second Order Singular Perturbation Models for Phase Transitions
• Uniqueness and error analysis for Hamilton-Jacobi equations with discontinuities
• Neumann type boundary conditions for Hamilton-Jacobi equations
• Title not available (Why is that?)
• High-Order Factorization Based High-Order Hybrid Fast Sweeping Methods for Point-Source Eikonal Equations
• Title not available (Why is that?)
• An adjoint state method for three-dimensional transmission traveltime tomography using first-arrivals
• Numerical analysis of an inverse problem for the eikonal equation
• Introduction to Continuum Mechanics
• Introducing shape constraints into object-based traveltime tomography
• Double obstacle phase field approach to an inverse problem for a discontinuous diffusion coefficient
• A Hybrid Adaptive Phase Space Method for Reflection Traveltime Tomography
• Second-Order Edge-Penalization in the Ambrosio--Tortorelli functional
• Phase Field Methods for Binary Recovery

Cited In (3)

• Stable iterative reconstruction algorithm for nonlinear traveltime tomography
• Reconciling Bayesian and Perimeter Regularization for Binary Inversion
• Bayesian inversion of log-normal eikonal equations

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)