Strong convergence rates of probabilistic integrators for ordinary differential equations

• Published in: Statistics and computing Vol. 29; no. 6; pp. 1265 - 1283
• Main Authors: Lie, Han Cheng, Stuart, A. M., Sullivan, T. J.
• Format: Journal Article
• Language: English
• Published: New York Springer US 01.11.2019; Springer Nature B.V
• Subjects: Artificial Intelligence; Convergence; Differential equations; Discretization; Fields (mathematics); Integrators; Inverse problems; Mathematics and Statistics; Ordinary differential equations; Probability and Statistics in Computer Science; Random variables; Randomization; Statistical Theory and Methods; Statistics; Statistics and Computing/Statistics Programs; 68W20; Convergence rates; 65C99; Ordinary differential equations; Uncertainty quantification; 65L20; Probabilistic numerical methods; 37H10
• ISSN: 0960-3174; 1573-1375
• DOI: 10.1007/s11222-019-09898-6

Probabilistic integration of a continuous dynamical system is a way of systematically introducing discretisation error, at scales no larger than errors introduced by standard numerical discretisation, in order to enable thorough exploration of possible responses of the system to inputs. It is thus a potentially useful approach in a number of applications such as forward uncertainty quantification, inverse problems, and data assimilation. We extend the convergence analysis of probabilistic integrators for deterministic ordinary differential equations, as proposed by Conrad et al. (Stat Comput 27(4):1065–1082, 2017. https://doi.org/10.1007/s11222-016-9671-0 ), to establish mean-square convergence in the uniform norm on discrete- or continuous-time solutions under relaxed regularity assumptions on the driving vector fields and their induced flows. Specifically, we show that randomised high-order integrators for globally Lipschitz flows and randomised Euler integrators for dissipative vector fields with polynomially bounded local Lipschitz constants all have the same mean-square convergence rate as their deterministic counterparts, provided that the variance of the integration noise is not of higher order than the corresponding deterministic integrator. These and similar results are proven for probabilistic integrators where the random perturbations may be state-dependent, non-Gaussian, or non-centred random variables.