Proves functional Bernstein-von Mises theorem establishing Gaussian asymptotics in supremum norm for posteriors arising from Gaussian-process priors on initial data in 2D Navier-Stokes data assimilation.
Bernstein-von Mises theorems for time evolution equations
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
We consider a class of infinite-dimensional dynamical systems driven by non-linear parabolic partial differential equations with initial condition $\theta$ modelled by a Gaussian process `prior' probability measure. Given discrete samples of the state of the system evolving in space-time, one obtains updated `posterior' measures on a function space containing all possible trajectories. We give a general set of conditions under which these non-Gaussian posterior distributions are approximated, in Wasserstein distance for the supremum-norm metric, by the law of a Gaussian random function. We demonstrate the applicability of our results to periodic non-linear reaction diffusion equations \begin{align*} \frac{\partial}{\partial t} u - \Delta u &= f(u) \\ u(0) &= \theta \end{align*} where $f$ is any smooth and compactly supported reaction function. In this case the limiting Gaussian measure can be characterised as the solution of a time-dependent Schr\"odinger equation with `rough' Gaussian initial conditions whose covariance operator we describe.
fields
math.ST 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Data assimilation with the 2D Navier-Stokes equations: Optimal Gaussian asymptotics for the posterior measure
Proves functional Bernstein-von Mises theorem establishing Gaussian asymptotics in supremum norm for posteriors arising from Gaussian-process priors on initial data in 2D Navier-Stokes data assimilation.