# 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}
}
• Published 2 June 2015
• Mathematics
• SIAM J. Imaging Sci.
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…
12 Citations

## Figures and Tables from this paper

• Mathematics
SIAM J. Imaging Sci.
• 2019
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.
• Computer Science
SIAM J. Sci. Comput.
• 2022
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 eﬃcient algorithms.
• Mathematics
SSRN Electronic Journal
• 2022
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
• Mathematics
• 2019
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
• Mathematics
Methods and Applications of Analysis
• 2019
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.
• Computer Science
ArXiv
• 2022
An eﬃcient 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.
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.
• Mathematics
ArXiv
• 2022
The choice of a proper regularization measure plays an important role in the ﬁeld of image processing. One classical approach treats color images as two dimensional surfaces embedded in a ﬁve
• Mathematics
SIAM J. Sci. Comput.
• 2019
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

• Geology, Mathematics
• 2007
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
• Geology
• 2014
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
• Geology
• 2009
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.
• Mathematics
• 2013
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
• Geology
• 2012
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
• Mathematics
• 2011
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
• Geology
• 1991
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
• Geology
J. Sci. Comput.
• 2003
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.
• Mathematics
SIAM J. Sci. Comput.
• 2006
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.
• Geology
• 2001
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