Analysis of exponential splitting methods for inhomogeneous parabolic equations

We analyze the convergence of the exponential Lie and exponential Strang splitting applied to inhomogeneous second-order parabolic equations with Dirichlet boundary conditions. A recent result on the smoothing properties of these methods allows us to prove sharp convergence results in the case of homogeneous Dirichlet boundary conditions. When no source term is present and natural regularity assumptions are imposed on the initial value, we show full-order convergence of both methods. For inhomogeneous equations, we prove full-order convergence for the exponential Lie splitting, whereas order reduction to 1.25 for the exponential Strang splitting. Furthermore, we give sufficient conditions on the inhomogeneity for full-order convergence of both methods. Moreover our theoretical convergence results explain the severe order reduction to 0.25 of splitting methods applied to problems involving inhomogeneous Dirichlet boundary conditions. We include numerical experiments to underline the sharpness of our theoretical convergence results.

[1]  A. Lunardi Analytic Semigroups and Optimal Regularity in Parabolic Problems , 2003 .

[2]  J. Verwer,et al.  Numerical solution of time-dependent advection-diffusion-reaction equations , 2003 .

[3]  乔花玲,et al.  关于Semigroups of Linear Operators and Applications to Partial Differential Equations的两个注解 , 2003 .

[4]  I. Lasiecka,et al.  Galerkin approximations of abstract parabolic boundary value problems with rough boundary data— L p theory , 1986 .

[5]  G. Quispel,et al.  Acta Numerica 2002: Splitting methods , 2002 .

[6]  Alexander Ostermann,et al.  Exponential splitting for unbounded operators , 2009, Math. Comput..

[7]  Isaías Alonso-Mallo,et al.  Spectral-fractional step Runge-Kutta discretizations for initial boundary value problems with time dependent boundary conditions , 2004, Math. Comput..

[8]  Error analysis of splitting methods for inhomogeneous evolution equations , 2012 .

[9]  Alexander Ostermann,et al.  Stability of Exponential Operator Splitting Methods for Noncontractive Semigroups , 2013, SIAM J. Numer. Anal..

[10]  P. Grisvard Elliptic Problems in Nonsmooth Domains , 1985 .

[11]  C. Lubich,et al.  Error Bounds for Exponential Operator Splittings , 2000 .

[12]  Herbert Amann,et al.  Linear and Quasilinear Parabolic Problems , 2019, Monographs in Mathematics.

[13]  Daisuke Fujiwara,et al.  Concrete Characterization of the Domains of Fractional Powers of Some Elliptic Differential Operators of the Second Order , 1967 .

[14]  A. Ostermann,et al.  High order splitting methods for analytic semigroups exist , 2009 .