> simulation by means of second-kind Galerkin boundary element method.>> Source: Elke Spindler "Second-Kind Single Trace Boundary Integral>> Formulations for Scattering at Composite Objects", ETH Diss 23620, 2016."" > > simulation by means of second-kind Galerkin boundary element method.>> Source: Elke Spindler "Second-Kind Single Trace Boundary Integral>> Formulations for Scattering at Composite Objects", ETH Diss 23620, 2016."" > Research reports – Seminar for Applied Mathematics | ETH Zurich

Research reports

Multilevel MCMC Bayesian Inversion of Parabolic PDEs under Gaussian Prior

by V.H. Hoang and J.H. Quek and Ch. Schwab

(Report number 2020-48)

Abstract
We analyze the convergence of a multi-level Markov Chain Monte-Carlo (MLMCMC) algorithm for the Bayesian estimation of solution functionals for linear, parabolic partial differential equations subject to uncertain diffusion coefficient. The multilevel convergence analysis is performed for a time-independent, log-gaussian diffusion coefficient and for observations which are assumed to be corrupted by additive, centered gaussian observation noise. The elliptic spatial part of the parabolic PDE is neither uniformly coercive nor uniformly bounded in terms of the realizations of the unknown gaussian random field. The path-wise, multi-level discretization in space and time considered is based on standard, first order, Lagrangean simplicial Finite Elements in the spatial domain and on first order, implicit timestepping of backward Euler type, ensuring good dissipation and unconditional stability, and resulting in first order convergence in terms of the spatial meshwidth and the time-step. The MCMC algorithms covered by our analysis comprise the standard, indepence sampler as well as various variants, such as pCN. We prove that the proposed MLMCMC algorithm delivers approximate Bayesian estimates of quantities of interest consistent to first order in the discretization parameter on the finest spatial / temporal discretization stepsize in overall work which scales essentially (i.e., up to terms which depend logarithmically on the discretization parameters) as that of one deterministic solve on the finest mesh. Our convergence analysis is based on the discretization-level dependent truncation of the increments, introduced first in [15] for the corresponding elliptic forward problems. This is required to address measurability and integrability issues encountered in the Bayesian posterior density evaluated at consecutive discretization levels with respect to the gaussian prior. Both, independence sampler and pCN are analyzed in detail. Applicability of our analysis to other versions of MCMC is discussed.

Keywords:

BibTeX
@Techreport{HQS20_921,
  author = {V.H. Hoang and J.H. Quek and Ch. Schwab},
  title = {Multilevel MCMC Bayesian Inversion of Parabolic PDEs under Gaussian Prior},
  institution = {Seminar for Applied Mathematics, ETH Z{\"u}rich},
  number = {2020-48},
  address = {Switzerland},
  url = {https://www.sam.math.ethz.ch/sam_reports/reports_final/reports2020/2020-48.pdf },
  year = {2020}
}

Disclaimer
© Copyright for documents on this server remains with the authors. Copies of these documents made by electronic or mechanical means including information storage and retrieval systems, may only be employed for personal use. The administrators respectfully request that authors inform them when any paper is published to avoid copyright infringement. Note that unauthorised copying of copyright material is illegal and may lead to prosecution. Neither the administrators nor the Seminar for Applied Mathematics (SAM) accept any liability in this respect. The most recent version of a SAM report may differ in formatting and style from published journal version. Do reference the published version if possible (see SAM Publications).

JavaScript has been disabled in your browser