Bayesian ODE Solvers: The Maximum A Posteriori Estimate

  • 2021-01-12 16:12:21
  • Filip Tronarp, Simo Sarkka, Philipp Hennig
  • 0


It has recently been established that the numerical solution of ordinarydifferential equations can be posed as a nonlinear Bayesian inference problem,which can be approximately solved via Gaussian filtering and smoothing,whenever a Gauss--Markov prior is used. In this paper the class of $\nu$ timesdifferentiable linear time invariant Gauss--Markov priors is considered. Ataxonomy of Gaussian estimators is established, with the maximum a posterioriestimate at the top of the hierarchy, which can be computed with the iteratedextended Kalman smoother. The remaining three classes are termed explicit,semi-implicit, and implicit, which are in similarity with the classical notionscorresponding to conditions on the vector field, under which the filter updateproduces a local maximum a posteriori estimate. The maximum a posterioriestimate corresponds to an optimal interpolant in the reproducing Hilbert spaceassociated with the prior, which in the present case is equivalent to a Sobolevspace of smoothness $\nu+1$. Consequently, using methods from scattered dataapproximation and nonlinear analysis in Sobolev spaces, it is shown that themaximum a posteriori estimate converges to the true solution at a polynomialrate in the fill-distance (maximum step size) subject to mild conditions on thevector field. The methodology developed provides a novel and more naturalapproach to study the convergence of these estimators than classical methods ofconvergence analysis. The methods and theoretical results are demonstrated innumerical examples.


Quick Read (beta)

loading the full paper ...