• Corpus ID: 244477725

Bayesian Inversion of Log-normal Eikonal Equations

@article{Yeo2021BayesianIO,
  title={Bayesian Inversion of Log-normal Eikonal Equations},
  author={Zhan Fei Yeo and Viet Ha Hoang},
  journal={ArXiv},
  year={2021},
  volume={abs/2111.11087}
}
We study the Bayesian inverse problem for inferring the log-normal slowness function of the eikonal equation, given noisy observation data on its solution at a set of spatial points. We contribute rigorous proof on the existence and well-posedness of the problem. We then study approximation of the posterior probability measure by solving the truncated eikonal equation, which contains only a finite number of terms in the Karhunen-Loeve expansion of the slowness function, by the Fast Marching… 

Figures and Tables from this paper

References

SHOWING 1-10 OF 30 REFERENCES

Analysis of a multilevel Markov chain Monte Carlo finite element method for Bayesian inversion of log-normal diffusions

It is shown by mathematical proofs and numerical examples that the unboundedness of the parameter range under Gaussian prior and the non-uniform ellipticity of the forward model require essential modifications in the MCMC sampling algorithm and in the error analysis.

Multilevel sequential Monte Carlo samplers

Bayesian inverse problems for functions and applications to fluid mechanics

In this paper we establish a mathematical framework for a range of inverse problems for functions, given a finite set of noisy observations. The problems are hence underdetermined and are often

A Hierarchical Multilevel Markov Chain Monte Carlo Algorithm with Applications to Uncertainty Quantification in Subsurface Flow

An abstract, problem-dependent theorem is given on the cost of the new multilevel estimator based on a set of simple, verifiable assumptions for a typical model problem in subsurface flow and shows significant gains over the standard Metropolis--Hastings estimator.

Numerical analysis of an inverse problem for the eikonal equation

The inverse problem for an eikonal equation of determining the speed function using observations of the arrival time on a fixed surface is formulated as an optimisation problem for a quadratic functional and it is shown that a subsequence of the discrete mimina converges to a solution of the continuous Optimisation problem as the mesh size goes to zero.

STOCHASTIC GALERKIN DISCRETIZATION OF THE LOG-NORMAL ISOTROPIC DIFFUSION PROBLEM

The stochastic Galerkin method is developed for the isotropic diffusion equation with an unbounded random diffusion coefficient. The logarithm of the diffusion coefficient is assumed to be an

Reconciling Bayesian and Perimeter Regularization for Binary Inversion

In this paper the link between Bayesian inversion methods and perimeter regularization is explored and the maximum a posteriori (MAP) objective function of a suitably chosen Bayesian phase-field approach is shown to be closely related to a least squares plus perimeterRegularization objective.

Spectral gaps for a Metropolis–Hastings algorithm in infinite dimensions

We study the problem of sampling high and infinite dimensional target measures arising in applications such as conditioned diffusions and inverse problems. We focus on those that arise from

Multilevel Markov Chain Monte Carlo Method for High-Contrast Single-Phase Flow Problems

A multilevel Markov chain Monte Carlo method is described, which sequentially screens the proposal with different levels of approximations and reduces the number of evaluations required on fine grids, while combining the samples at different levels to arrive at an accurate estimate.

A Bayesian Level Set Method for Geometric Inverse Problems

A level set based approach to Bayesian geometric inverse problems, which leads to a well-posed inverse problem in which the posterior distribution is Lipschitz with respect to the observed data and to computationally expedient algorithms in whichThe level set itself is updated implicitly via the MCMC methodology applied to the level set function.