N th-order operator splitting schemes and nonreversible systems

This paper is concerned with partitioned Nth-order accurate split-operator schemes built using M distinct solution operators for semidiscrete equations of the form $\frac{d} {{dt}}u_j = f_j^{(1)} (\{ {u_k } \}) + \cdots + f_j^{(M)} (\{ {u_k } \})$, which arise, among others, from constant coefficient parabolic partial differential equations. We prove that, for every $N \geq 3$ and $M \geqslant 2$, each solution operator must be applied for at least one backward fractional time step during each complete time step. This result has important consequences for applications to the complex Ginzburg–Landau equation with periodic boundary conditions and other partial differential equations with both reversible and nonreversible components. Furthermore, for the special case of $N = 3$ and $M = 2$, we analytically determine all possible schemes.

[1]  R. Ruth A Can0nical Integrati0n Technique , 1983, IEEE Transactions on Nuclear Science.

[2]  Gilbert Strang,et al.  Accurate partial difference methods , 1964 .

[3]  T. Taha,et al.  Analytical and numerical aspects of certain nonlinear evolution equations. II. Numerical, nonlinear Schrödinger equation , 1984 .

[4]  A. Bernoff Slowly varying fully nonlinear wavetrains in the Ginzburg-Landau equation , 1988 .

[5]  R. McLachlan,et al.  The accuracy of symplectic integrators , 1992 .

[6]  Ye.G. D'yakonov,et al.  Difference schemes with a “disintegrating” operator for multidimensional problems , 1963 .

[7]  Mark J. Ablowitz,et al.  Symplectic methods for the nonlinear Schro¨dinger equation , 1994 .

[8]  G. Strang Accurate partial difference methods I: Linear cauchy problems , 1963 .

[9]  G. Strang On the Construction and Comparison of Difference Schemes , 1968 .

[10]  A. Iserles Rational approximants and numerical methods for initial-value problems , 1992 .

[11]  M. Suzuki,et al.  Fractal decomposition of exponential operators with applications to many-body theories and Monte Carlo simulations , 1990 .

[12]  Randall J. LeVeque,et al.  Numerical methods based on additive splittings for hyperbolic partial differential equations , 1981 .

[13]  R. Ruth,et al.  Fourth-order symplectic integration , 1990 .

[14]  Q. Sheng Solving Linear Partial Differential Equations by Exponential Splitting , 1989 .

[15]  B. Herbst,et al.  Split-step methods for the solution of the nonlinear Schro¨dinger equation , 1986 .