Implementing arbitrarily High-order symplectic Methods via Krylov Deferred correction Technique

In this paper, an efficient numerical procedure is presented to implement the Gaussian Runge–Kutta (GRK) methods (also called Gauss methods). The GRK technique first discretizes each marching step of the initial value problem using collocation formulations based on Gaussian quadrature. As is well known, it preserves the geometric structures of Hamiltonian systems. Existing analysis shows that the GRK discretization with s nodes is of order 2s, A-stable, B-stable, symplectic and symmetric, and hence "optimal" for solving initial value problems of general ordinary differential equations (ODEs). However, as the unknowns at different collocation points are coupled in the discretized system, direct solution of the resulting algebraic equations is in general inefficient. Instead, we use the Krylov deferred correction (KDC) method in which the spectral deferred correction (SDC) scheme is applied as a preconditioner to decouple the original system, and the resulting preconditioned nonlinear system is solved efficiently using Newton–Krylov schemes such as Newton–GMRES method. The KDC accelerated GRK methods have been applied to several Hamiltonian systems and preliminary numerical results are presented to show the accuracy, stability, and efficiency features of these methods for different accuracy requirements in short- and long-time simulations.

[1]  K. Wright,et al.  Some relationships between implicit Runge-Kutta, collocation and Lanczosτ methods, and their stability properties , 1970 .

[2]  Mari Paz Calvo,et al.  Avoiding the order reduction of Runge-Kutta methods for linear initial boundary value problems , 2002, Math. Comput..

[3]  J. M. Sanz-Serna,et al.  Runge-kutta schemes for Hamiltonian systems , 1988 .

[4]  Jianwen Cao,et al.  Symplectic methods for the Ablowitz–Ladik discrete nonlinear Schrödinger equation , 2007 .

[5]  Victor Pereyna Iterated deferred corrections for nonlinear boundary value problems , 1968 .

[6]  A. Kidera,et al.  Symplectic integrator for molecular dynamics of a protein in water , 1998 .

[7]  Richard Barrett,et al.  Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods , 1994, Other Titles in Applied Mathematics.

[8]  C. Scovel Symplectic Numerical Integration of Hamiltonian Systems , 1991 .

[9]  E. Hairer,et al.  Geometric Numerical Integration , 2022, Oberwolfach Reports.

[10]  Ernst Hairer,et al.  Order barriers for symplectic multi-value methods , 1998 .

[11]  V. Rokhlin,et al.  Fast algorithms for polynomial interpolation, integration, and differentiation , 1996 .

[12]  Uri M. Ascher,et al.  Computer methods for ordinary differential equations and differential-algebraic equations , 1998 .

[13]  C. Scovel,et al.  Symplectic integration of Hamiltonian systems , 1990 .

[14]  V. Arnold Mathematical Methods of Classical Mechanics , 1974 .

[15]  Michael L. Minion,et al.  Conservative multi-implicit spectral deferred correction methods for reacting gas dynamics , 2004 .

[16]  P. Zadunaisky On the estimation of errors propagated in the numerical integration of ordinary differential equations , 1976 .

[17]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[18]  Jingfang Huang,et al.  Arbitrary order Krylov deferred correction methods for differential algebraic equations , 2007, J. Comput. Phys..

[19]  C. Scovel,et al.  Symplectic integration of Hamiltonian systems , 1990 .

[20]  P. E. Zadunaisky A method for the estimation of errors propagated in the numerical solution of a system of ordinary differential equations , 1966 .

[21]  T. A. Zang,et al.  Spectral methods for fluid dynamics , 1987 .

[22]  Jacob K. White,et al.  A precorrected-FFT method for electrostatic analysis of complicated 3-D structures , 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[23]  Y. Saad,et al.  GMRES: a generalized minimal residual algorithm for solving nonsymmetric linear systems , 1986 .

[24]  J. Verwer,et al.  Stability of Runge-Kutta Methods for Stiff Nonlinear Differential Equations , 1984 .

[25]  Yifa Tang,et al.  The symplecticity of multi-step methods , 1993 .

[26]  J. M. Sanz-Serna,et al.  Numerical Hamiltonian Problems , 1994 .

[27]  Byron L. Ehle,et al.  High order a-stable methods for the numerical solution of systems of D.E.'s , 1968 .

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

[29]  Hans Van de Vyver A fourth-order symplectic exponentially fitted integrator , 2006, Comput. Phys. Commun..

[30]  Winfried Auzinger,et al.  Modified Defect Correction Algorithms for ODEs. Part I: General Theory , 2004, Numerical Algorithms.

[31]  M. J,et al.  RUNGE-KUTTA SCHEMES FOR HAMILTONIAN SYSTEMS , 2005 .

[32]  H. Yoshida Construction of higher order symplectic integrators , 1990 .

[33]  D. Keyes,et al.  Jacobian-free Newton-Krylov methods: a survey of approaches and applications , 2004 .

[34]  Ernst Hairer,et al.  The numerical solution of differential-algebraic systems by Runge-Kutta methods , 1989 .

[35]  Linda R. Petzold,et al.  Numerical solution of initial-value problems in differential-algebraic equations , 1996, Classics in applied mathematics.

[36]  L. Trefethen,et al.  An Instability Phenomenon in Spectral Methods , 1987 .

[37]  L. Petzold A description of dassl: a differential/algebraic system solver , 1982 .

[38]  C. Kelley Iterative Methods for Linear and Nonlinear Equations , 1987 .

[39]  Martin Hairer,et al.  GniCodes - Matlab programs for geometric numerical integration , 2003 .

[40]  L. Greengard,et al.  Spectral Deferred Correction Methods for Ordinary Differential Equations , 2000 .

[41]  Kang Feng,et al.  Symplectic Difference Schemes for Hamiltonian Systems , 2010 .

[42]  Jingfang Huang,et al.  Accelerating the convergence of spectral deferred correction methods , 2006, J. Comput. Phys..

[43]  Leslie Greengard,et al.  Spectral integration and two-point boundary value problems , 1991 .

[44]  Ge Zhong,et al.  On the approximation of linear Hamiltonian systems , 1988 .

[45]  Gerhard Wanner,et al.  A short proof on nonlinearA-stability , 1976 .

[46]  Zaijiu Shang,et al.  KAM theorem of symplectic algorithms for Hamiltonian systems , 1999, Numerische Mathematik.

[47]  K. Feng Difference schemes for Hamiltonian formalism and symplectic geometry , 1986 .

[48]  Feng,et al.  EXPANSIONS OF STEP-TRANSITION OPERATORS OF MULTI-STEP METHODS AND ORDER BARRIERS FOR DAHLQUIST PAIRS , 2006 .

[49]  Yilong Tang,et al.  Conjugate symplecticity of second-order linear multi-step methods , 2007 .

[50]  C. Kelley Solving Nonlinear Equations with Newton's Method , 1987 .

[51]  Zaijiu Shang,et al.  Resonant and Diophantine step sizes in computing invariant tori of Hamiltonian systems , 2000 .

[52]  J. Butcher Implicit Runge-Kutta processes , 1964 .

[53]  F. Lasagni Canonical Runge-Kutta methods , 1988 .

[54]  D. Gottlieb,et al.  Numerical analysis of spectral methods : theory and applications , 1977 .

[55]  K. Chen,et al.  Matrix preconditioning techniques and applications , 2005 .

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

[57]  D. Gottlieb,et al.  Numerical analysis of spectral methods , 1977 .

[58]  Feng Kang,et al.  Hamiltonian algorithms for Hamiltonian systems and a comparative numerical study , 1991 .

[59]  M. P. Laburta Construction of starting algorithms for the RK-Gauss methods , 1998 .