A derivative-free Milstein type approximation method for SPDEs covering the non-commutative noise case

Higher order schemes for stochastic partial differential equations that do not possess commutative noise require the simulation of iterated stochastic integrals. In this work, we propose a derivative-free Milstein type scheme to approximate the mild solution of stochastic partial differential equations that need not to fulfill a commutativity condition for the noise term and which can flexibly be combined with some approximation method for the involved iterated integrals. Recently, the authors introduced two algorithms to simulate such iterated stochastic integrals; these clear the way for the implementation of the proposed higher order scheme. We prove the mean-square convergence of the introduced derivative-free Milstein type scheme which attains the same order as the original Milstein scheme. The original scheme, however, is definitely outperformed when the computational cost is taken into account additionally, that is, in terms of the effective order of convergence. We derive the effective order of convergence for the derivative-free Milstein type scheme analytically in the case that one of the recently proposed algorithms for the approximation of the iterated stochastic integrals is applied. Compared to the exponential Euler scheme and the original Milstein scheme, the proposed derivative-free Milstein type scheme possesses at least the same and in most cases even a higher effective order of convergence depending on the particular SPDE under consideration. These analytical results are illustrated and confirmed with numerical simulations.

[1]  Arnulf Jentzen,et al.  A Milstein Scheme for SPDEs , 2010, Found. Comput. Math..

[2]  Petra Koenig,et al.  Dynamics Of Evolutionary Equations , 2016 .

[3]  Arnulf Jentzen,et al.  A Milstein Scheme for SPDEs , 2010, Foundations of Computational Mathematics.

[4]  M. Wiktorsson Joint characteristic function and simultaneous simulation of iterated Itô integrals for multiple independent Brownian motions , 2001 .

[5]  Siqing Gan,et al.  A Runge–Kutta type scheme for nonlinear stochastic partial differential equations with multiplicative trace class noise , 2011, Numerical Algorithms.

[6]  P. Kloeden,et al.  LINEAR-IMPLICIT STRONG SCHEMES FOR ITO-GALKERIN APPROXIMATIONS OF STOCHASTIC PDES , 2001 .

[7]  J. M. Clark,et al.  The maximum rate of convergence of discrete approximations , 1980 .

[8]  Andreas Rößler Second order Runge–Kutta methods for Stratonovich stochastic differential equations , 2007 .

[9]  Qi Luo,et al.  Stabilization of stochastic Hopfield neural network with distributed parameters , 2004, Science in China Series F: Information Sciences.

[10]  G. Sanguinetti,et al.  Cox process representation and inference for stochastic reaction–diffusion processes , 2016, Nature Communications.

[11]  Andreas Rößler,et al.  An Analysis of the Milstein Scheme for SPDEs without a Commutative Noise Condition , 2019, ArXiv.

[12]  Andreas Rößler,et al.  Runge-Kutta Methods for the Strong Approximation of Solutions of Stochastic Differential Equations , 2010, SIAM J. Numer. Anal..

[13]  J. B. Walsh,et al.  Finite Element Methods for Parabolic Stochastic PDE’s , 2005 .

[14]  A. Barth,et al.  Milstein Approximation for Advection-Diffusion Equations Driven by Multiplicative Noncontinuous Martingale Noises , 2012 .

[15]  Claudine Leonhard,et al.  An Efficient Derivative-Free Milstein Scheme for Stochastic Partial Differential Equations with Commutative Noise , 2015 .

[16]  Sebastian Becker,et al.  An Exponential Wagner-Platen Type Scheme for SPDEs , 2013, SIAM J. Numer. Anal..

[17]  P. Chow,et al.  Almost sure convergence of a semidiscrete Milstein scheme for SPDEs of Zakai type , 2010 .

[18]  P. Kloeden,et al.  The approximation of multiple stochastic integrals , 1992 .

[19]  B. Saussereau,et al.  On the long-time behaviour of a class of parabolic SPDE's: monotonicity methods and exchange of stability , 2005 .

[20]  T. Kurtz,et al.  Stochastic equations in infinite dimensions , 2006 .

[21]  Andreas Rößler Second Order Runge-Kutta Methods for Itô Stochastic Differential Equations , 2009, SIAM J. Numer. Anal..

[22]  Michael Röckner,et al.  Stochastic tamed 3D Navier–Stokes equations: existence, uniqueness and ergodicity , 2008, 0802.3934.

[23]  P. Kloeden,et al.  Overcoming the order barrier in the numerical approximation of stochastic partial differential equations with additive space–time noise , 2009, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[24]  M. Kunze,et al.  Stochastic Reaction-Diffusion Systems With Hölder Continuous Multiplicative Noise , 2012, 1209.4821.

[25]  G. Lord,et al.  Stochastic exponential integrators for finite element discretization of SPDEs for multiplicative and additive noise , 2011, 1103.1986.

[26]  M. Röckner,et al.  A Concise Course on Stochastic Partial Differential Equations , 2007 .

[27]  D. Talay Numerical solution of stochastic differential equations , 1994 .

[28]  Claudine Leonhard,et al.  Enhancing the Order of the Milstein Scheme for Stochastic Partial Differential Equations with Commutative Noise , 2015, SIAM J. Numer. Anal..

[29]  Thorsten Gerber,et al.  Semigroups Of Linear Operators And Applications To Partial Differential Equations , 2016 .

[30]  T. Faniran Numerical Solution of Stochastic Differential Equations , 2015 .

[31]  A. Rössler,et al.  Iterated stochastic integrals in infinite dimensions: approximation and error estimates , 2017, Stochastics and Partial Differential Equations: Analysis and Computations.