Abstract

We study the inverse problem of estimating a field ua from data comprising a finite set of nonlinear functionals of ua, subject to additive noise; we denote this observed data by y. Our interest is in the reconstruction of piecewise continuous fields ua in which the discontinuity set is described by a finite number of geometric parameters a. Natural applications include groundwater flow and electrical impedance tomography. We take a Bayesian approach, placing a prior distribution on ua and determining the conditional distribution on ua given the data y. It is then natural to study maximum a posterior (MAP) estimators. Recently (Dashti et al 2013 Inverse Problems 29 095017) it has been shown that MAP estimators can be characterised as minimisers of a generalised Onsagerā€“Machlup functional, in the case where the prior measure is a Gaussian random field. We extend this theory to a more general class of prior distributions which allows for piecewise continuous fields. Specifically, the prior field is assumed to be piecewise Gaussian with random interfaces between the different Gaussians defined by a finite number of parameters. We also make connections with recent work on MAP estimators for linear problems and possibly non-Gaussian priors (Helin and Burger 2015 Inverse Problems 31 085009) which employs the notion of Fomin derivative. In showing applicability of our theory we focus on the groundwater flow and EIT models, though the theory holds more generally. Numerical experiments are implemented for the groundwater flow model, demonstrating the feasibility of determining MAP estimators for these piecewise continuous models, but also that the geometric formulation can lead to multiple nearby (local) MAP estimators. We relate these MAP estimators to the behaviour of output from MCMC samples of the posterior, obtained using a state-of-the-art function space Metropolisā€“Hastings method.

Highlights

  • A common inverse problem is that of estimating an unknown function from noisy measurements of a map applied to the function

  • In this paper we focus on the the study of maximum a posterior (MAP) estimators within the Bayesian approach; these estimators provide a natural link between deterministic and statistical methods

  • Throughout this paper we focus on two model problems: groundwater flow and electrical impedance tomography (EIT)

Read more

Summary

Context and literature review

A common inverse problem is that of estimating an unknown function from noisy measurements of a (possibly nonlinear) map applied to the function. In this paper we focus on the the study of MAP estimators within the Bayesian approach; these estimators provide a natural link between deterministic and statistical methods. An alternative approach is to apply infinite dimensional methodology directly on the original space, to derive algorithms, and discretise to implement This approach has been studied for linear problems in [12, 25, 27], and more recently for nonlinear problems [10, 21, 22, 33]. In that paper a Bayesian inverse problem for piecewise constant fields, modelling the permeability appearing in a two-phase subsurface flow model, was studied Such piecewise continuous fields were previously studied in a groundwater flow context in [16], where existence and well-posedness of the posterior distribution were shown. Our formulation is quite general; for brevity we illustrate the theory for groundwater flow and EIT, and the numerics only in the case of groundwater flow

Mathematical setting
Our contribution
The forward problem
Defining the interfaces
The Darcy model for groundwater flow
Onsagerā€“Machlup functionals and prior modelling
Onsagerā€“Machlup functionals
Priors for the fields
Priors for the geometric parameters
Priors on X Ƃ Ī›
Likelihood and posterior distribution
MAP estimators
MAP estimators and the Onsagerā€“Machlup functional
The Fomin derivative approach
Numerical experiments
Test models
MAP estimation
MCMC and local minimisers
Conclusions and future work
Results from section 4
Results from section 5
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call