Posterior consistency and convergence rates for Bayesian inversion with hypoelliptic operators

Abstract

The Bayesian approach to inverse problems is studied in the case where the forward map is a linear hypoelliptic pseudodifferential operator and measurement error is additive white Gaussian noise. The measurement model for an unknown Gaussian random variable is , where A is a finitely many orders smoothing linear hypoelliptic operator and is the noise magnitude. The covariance operator CU of U is smoothing of order , self-adjoint, injective and elliptic pseudodifferential operator. If was taking values in L2 then in Gaussian case solving the conditional mean (and maximum a posteriori) estimate is linked to solving the minimisation problem However, Gaussian white noise does not take values in L2 but in where is big enough. A modification of the above approach to solve the inverse problem is presented, covering the case of white Gaussian measurement noise. Furthermore, the convergence of the conditional mean estimate to the correct solution as is proven in appropriate function spaces using microlocal analysis. Also the frequentist posterior contractions rates are studied.