A Penalization-Regularization-Operator Splitting Method for Eikonal Based Traveltime Tomography

@article{Glowinski2015APS,
  title={A Penalization-Regularization-Operator Splitting Method for Eikonal Based Traveltime Tomography},
  author={Roland Glowinski and Shingyu Leung and Jianliang Qian},
  journal={SIAM J. Imaging Sci.},
  year={2015},
  volume={8},
  pages={1263-1292}
}
We propose a new methodology for carrying out eikonal based traveltime tomography arising from important applications such as seismic imaging and medical imaging. The new method formulates the traveltime tomography problem as a variational problem for a certain cost functional explicitly with respect to both traveltime and sound speed. Furthermore, the cost functional is penalized to enforce the nonlinear equality constraint associated with the underlying eikonal equation, bihar- monically… 

A Hybrid Adaptive Phase Space Method for Reflection Traveltime Tomography

A hybrid imaging method for a challenging travel time tomography problem which includes both unknown medium and unknown scatterers in a bounded domain can recover both the unknownmedium and the not-too-concave scatterer efficiently and robustly.

An Operator-Splitting Method for the Gaussian Curvature Regularization Model with Applications in Surface Smoothing and Imaging

This article proposes an operator-splitting method for a general Gaussian curvature model that is well-suited to time discretization by operator splitting, the sub-problems encountered at each fractional step having either a closed form solution or being solvable by efficient algorithms.

Fast operator splitting methods for obstacle problems

The obstacle problem is a class of free boundary problems which finds applications in many disciplines such as porous media, financial mathematics and optimal control. In this paper, we propose two

NUMERICAL APPROXIMATION OF ORTHOGONAL MAPS\ast

Orthogonal maps are the solutions of the mathematical model of paper-folding, also called the origami problem. They consist of a system of first-order fully nonlinear equations involving the gradient

An Alternating Direction Explicit Method for Time Evolution Equations with Applications to Fractional Differential Equations

This work derives and analyzes the alternating direction explicit method for time evolution equations with the time-dependent Dirichlet boundary condition and with the zero Neumann boundary condition, and constructs numerical methods based on the ADE scheme for two classes of fractional differential equations.

An Efficient Operator-Splitting Method for the Eigenvalue Problem of the Monge-Ampère Equation

An efficient operator–splitting method for the eigenvalue problem of the Monge– Amp`ere operator in the Aleksandrov sense is developed and has a comparable rate of convergence in terms of accuracy.

AN ALTERNATING DIRECTION EXPLICIT METHOD FOR TIME EVOLUTION EQUATIONS WITH APPLICATIONS TO FRACTIONAL DIFFERENTIAL EQUATIONS∗

We derive and analyze the alternating direction explicit (ADE) method for time evolution equations with the time-dependent Dirichlet boundary condition and with the zero Neumann boundary condition.

Elastica Models for Color Image Regularization

The choice of a proper regularization measure plays an important role in the field of image processing. One classical approach treats color images as two dimensional surfaces embedded in a five

Numerical Approximation of Orthogonal Maps

Orthogonal maps are the solutions of the mathematical model of paper-folding, also called the origami problem. They consist of a system of first-order fully nonlinear equations involving the gradie...

References

SHOWING 1-10 OF 57 REFERENCES

Transmission traveltime tomography based on paraxial Liouville equations and level set formulations

We propose a new formulation for traveltime tomography based on paraxial Liouville equations and level set formulations. This new formulation allows us to account for multivalued traveltimes and

A level-set adjoint-state method for crosswell transmission-reflection traveltime tomography

S U M M A R Y We propose a level-set adjoint-state method for crosswell traveltime tomography using both first-arrival transmission and reflection traveltime data. Since our entire formulation is

First-arrival traveltime tomography based on the adjoint-state method

The classical approach of first-arrival traveltime tomography was revisited with the proposal of a simple gradient-based approach that avoids ray tracing and estimation of the Frechet derivative matrix.

A fast local level set adjoint state method for first arrival transmission traveltime tomography with discontinuous slowness

SUMMARY We propose a numerical algorithm for solving first arrival transmission traveltime tomography problems where the underlying slowness is piecewise continuous. The idea is based upon our

Higher-order schemes for 3D first-arrival traveltimes and amplitudes

In the geometrical-optics approximation for the Helmholtz equation with a point source, traveltimes and amplitudes have upwind singularities at the point source. Hence, both first-order and

An adaptive phase space method with application to reflection traveltime tomography

In this work, an adaptive strategy for the phase space method for traveltime tomography (Chung et al 2007 Inverse Problems 23 309–29) is developed. The method first uses those geodesics/rays that

Upwind finite-difference calculation of traveltimes

Seismic traveltimes can be computed efficiently on a regular grid by an upwind finite‐difference method. The method solves a conservation law that describes changes in the gradient components of the

A Slowness Matching Eulerian Method for Multivalued Solutions of Eikonal Equations

The slowness matching method stitches together local single-valued ekonal solutions, approximated by a finite difference eikonal solver, to approximate all values of the traveltime.

A Local Level Set Method for Paraxial Geometrical Optics

A local level set method for constructing the geometrical optics term in the paraxial formulation for the high frequency asymptotics of two-dimensional (2-D) acoustic wave equations and the proposed Eulerian method has complexity of $O(N^2{\rm Log }N)$, rather than $N^4$ as typically seen in the Lagrangian ray tracing method.

Paraxial eikonal solvers for anisotropic quasi-P travel times

Abstract The first-arrival quasi-P wave travel-time field in an anisotropic elastic solid solves a first-order nonlinear partial differential equation, the qP eikonal equation, which is a stationary
...