We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Numerical Analysis

Title: Bayesian Inversion of Log-normal Eikonal Equations

Abstract: 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 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 Method. The error of this approximation in the Hellinger metric is deduced in terms of the truncation level of the slowness and the grid size in the Fast Marching Method resolution. It is well known that the plain Markov Chain Monte Carlo procedure for sampling the posterior probability is highly expensive. We develop and justify the convergence of a Multilevel Markov Chain Monte Carlo method. Using the heap sort procedure in solving the forward eikonal equation by the Fast Marching Method, our Multilevel Markov Chain Monte Carlo method achieves a prescribed level of accuracy for approximating the posterior expectation of quantities of interest, requiring only an essentially optimal level of complexity. Numerical examples confirm the theoretical results.
Comments: 23 pages, 10 figures. Updated to address reviewer notes on the theory presented, as well as expand the numerical example section
Subjects: Numerical Analysis (math.NA)
Cite as: arXiv:2111.11087 [math.NA]
  (or arXiv:2111.11087v3 [math.NA] for this version)

Submission history

From: Zhan Fei Yeo [view email]
[v1] Mon, 22 Nov 2021 10:01:39 GMT (355kb)
[v2] Wed, 24 Nov 2021 15:19:13 GMT (360kb)
[v3] Tue, 3 Jan 2023 07:56:35 GMT (9796kb)

Link back to: arXiv, form interface, contact.