1: \begin{abstract}

2: In the Bayesian approach, the a priori knowledge about the input of

3: a mathematical model is described via a probability measure. The joint

4: distribution of the unknown input and the data is then conditioned,

5: using Bayes\textquoteright{} formula, giving rise to the posterior

6: distribution on the unknown input. In this setting we prove posterior

7: consistency for nonlinear inverse problems: a sequence of data is

8: considered, with diminishing fluctuations around a single truth and

9: it is then of interest to show that the resulting sequence of posterior

10: measures arising from this sequence of data concentrates around the

11: truth used to generate the data. Posterior consistency justifies the

12: use of the Bayesian approach very much in the same way as error bounds

13: and convergence results for regularisation techniques do.

14: As a guiding example, we consider the inverse problem of reconstructing

15: the diffusion coefficient from noisy observations of the solution

16: to an elliptic PDE in divergence form. This problem is approached

17: by splitting the forward operator into the underlying continuum model

18: and a simpler observation operator based on the output of the model. 

19: 

20: In general, these splittings allow us to conclude posterior consistency

21: provided a deterministic stability result for the underlying inverse

22: problem and a posterior consistency result for the Bayesian regression

23: problem with the push-forward prior. 

24: 

25: Moreover, we prove posterior consistency for the Bayesian regression

26: problem based on the regularity, the tail behaviour and the small

27: ball probabilities of the prior.

28: 

29: \end{abstract}

30: