# 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…

## 12 Citations

### A Hybrid Adaptive Phase Space Method for Reflection Traveltime Tomography

- MathematicsSIAM 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.

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

- Computer ScienceSIAM 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.

### Fast operator splitting methods for obstacle problems

- MathematicsSSRN 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…

### NUMERICAL APPROXIMATION OF ORTHOGONAL MAPS\ast

- 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…

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

- MathematicsMethods 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.

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

- Computer ScienceArXiv
- 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.

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

- Mathematics
- 2020

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.…

### Computing the finite time Lyapunov exponent for flows with uncertainties

- PhysicsJ. Comput. Phys.
- 2021

### Elastica Models for Color Image Regularization

- MathematicsArXiv
- 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…

### Numerical Approximation of Orthogonal Maps

- MathematicsSIAM 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

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

- 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…

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

- 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…

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

- 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.

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

- 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…

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

- 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…

### An adaptive phase space method with application to reflection traveltime tomography

- 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…

### Upwind finite-difference calculation of traveltimes

- 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…

### A Slowness Matching Eulerian Method for Multivalued Solutions of Eikonal Equations

- GeologyJ. 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.

### A Local Level Set Method for Paraxial Geometrical Optics

- MathematicsSIAM 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.

### Paraxial eikonal solvers for anisotropic quasi-P travel times

- 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…