Symplectic Runge-Kutta methods of high order based on W-transformation

In this paper , characterizations of symmetric and symplectic Runge-Kutta methods based on the W-transformation of Hairer and Wanner are presented. Using these characterizations, we construct two families symplectic (symmetric and algebraically stable or algebraically stable) Runge-Kutta methods of high order. Methods constructed in this way and presented in this paper include and extend the known classes of high order implicit Runge-Kutta methods.     

Construction of High Order Symplectic Runge-Kutta Methods

Characterizations of symmetric and symplectic Runge-Kutta methods, which are based on the W-transformation of Hairer and Wanner, are presented. Using these characterizations we construct two classes of high order symplectic (symmetric and algebraically stable or algebraically stable) Runge-Kutta methods. They include and extend known classes of high order implicit Runge-Kutta methods.     

Hamilton系统下基于相位误差的精细辛算法

Hamilton系统是一类重要的动力系统，辛算法（如生成函数法、SRK法、SPRK法、多步法等）是针对Hamilton系统所设计的具有保持相空间辛结构不变或保Hamilton函数不变的算法.但是，时域上，同阶的辛算法与Runge-Kutta法具有相同的数值精度，即辛算法在计算过程中也存在相位误差，导致时域上解的数值精度不高.经过长时间计算后，计算结果在时域上也会变得“面目全非”.为了提高辛算法在时域上解的精度，将精细算法引入到辛差分格式中，提出了基于相位误差的精细辛算法（HPD-symplectic method），这种算法满足辛格式的要求，因此在离散过程中具有保Hamilton系统辛结构的优良特性.同时，由于精细化时间步长，极大地减小了辛算法的相位误差，大幅度提高了时域上解的数值精度，几乎可以达到计算机的精度，误差为O（10-13）.对于高低混频系统和刚性系统，常规的辛算法很难在较大的步长下同时实现对高低频精确仿真，精细辛算法通过精细计算时间步长，在大步长情况下，没有额外增加计算量，实现了高低混频的精确仿真.数值结果验证了此方法的有效性和可靠性.     

BACKWARD ERROR ANALYSIS OF SYMPLECTIC INTEGRATORS FOR LINEAR SEPARABLE HAMILTONIAN SYSTEMS

Symplecticness, stability, and asymptotic properties of Runge-Kutta, partitioned Runge-Kutta, and Runge-Kutta-Nystrom methods applied to the simple Hamiltonian system p = -vg, q = kp are studied. Some new results in connection with P-stability are presented. The main part is focused on backward error analysis. The numerical solution produced by a symplectic method with an appropriate stepsize is the exact solution of a perturbed Hamiltonian system at discrete points. This system is studied in detail and new results are derived. Numerical examples are presented.     

Symplectic Partitioned Runge-Kutta Methods

For partitioned Runge-Kutta methods, in the integration of Hamiltonian systems, a condition for symplecticness and its characterization which is based on the W-transformation of Hairer and Wanner are presented. Examples for partitioned Runge-Kutta methods which satisfy the symplecticness condition are given. A special class of symplectic partitioned Runge-Kutta methods is constructed.     

On the conservativeness of a two-parameter family of three-stage symmetric-symplectic Runge-Kutta methods

We study the conservation of the total energy in the numerical solution of the Cauchy problem for the equations of classical molecular dynamics by symplectic and symmetric methods. On the basis of the analysis of a two-parameter family of three-stage symmetricsymplectic Runge-Kutta methods, we suggest a one-parameter family of methods preserving the Hamiltonian function. Test computations for sample problems justify a sufficiently high accuracy of the methods.     

Preservation of equilibria for symplectic methods applied to Hamiltonian systems

In this paper, the linear stability of symplectic methods for Hamiltonian systems is studied. In par- ticular, three classes of symplectic methods are considered： symplectic Runge-Kutta （SRK） methods, symplectic partitioned Runge-Kutta （SPRK） methods and the composition methods based on SRK or SPRK methods. It is shown that the SRK methods and their compositions preserve the ellipticity of equilibrium points uncondi- tionally, whereas the SPRK methods and their compositions have some restrictions on the time-step.     

Conserved quantities of some Hamiltonian wave equations after full discretization

Hamiltonian PDEs have some invariant quantities, which would be good to conserve with the numerical integration. In this paper, we concentrate on the nonlinear wave and Schrödinger equations. Under hypotheses of regularity and periodicity, we study how a symmetric space discretization makes that the space discretized system also has some invariants or `nearly' invariants which well approximate the continuous ones. We conjecture some facts which would explain the good numerical approximation of them after time integration when using symplectic Runge-Kutta methods or symmetric linear multistep methods for second-order systems.     

波动方程的一类显式辛格式

1．引言和预备知识本文主要考虑如下波动方程初边值问题的数值方法．一般的哈密顿系统可写成那么，系统（1．幻称为可分的哈密顿系统．众所周知，方程（1．la）在引进新变量。t＝v后，它变成一类可分的线性哈密顿系统：它的哈密顿函数为H一三矿（V“＋。乏）咖，并且在离散＊。＝。。。后，（1．4）是一个方程组，u，V是向量．人们早就知道，初边值问题（1．1）在应用隐式中点公式（辛格式）进行数值解时，能保持真解许多重要性质，并且格式是无条件稳定的，但美中不足的是，在每积分步，它要求解一个线性方程组，当考虑大的离散系统时，…     

On high order symmetric and symplectic trigonometrically fitted Runge-Kutta methods with an even number of stages

The existence and construction of symplectic 2s-stage variable coefficients Runge-Kutta (RK) methods that integrate exactly IVPs whose solution is a trigonometrical polynomial of order s with a given frequency ω is considered. The resulting methods, that can be considered as trigonometrical collocation methods, are fully implicit, symmetric and symplectic RK methods with variable nodes and coefficients that are even functions of ν=ω h (h is the step size), and for ω→0 they tend to the conventional RK Gauss methods. The present analysis extends previous results on two-stage symplectic exponentially fitted integrators of Van de Vyver (Comput. Phys. Commun. 174: 255–262, 2006) and Calvo et al. (J. Comput. Appl. Math. 218: 421–434, 2008) to symmetric and symplectic trigonometrically fitted methods of high order. The algebraic order of the trigonometrically fitted symmetric and symplectic 2s-stage methods is shown to be 4s like in conventional RK Gauss methods. Finally, some numerical experiments with oscillatory Hamiltonian systems are presented.     

Preservation of stability properties near fixed points of linear Hamiltonian systems by symplectic integrators

Based on reasonable testing model problems, we study the preservation by symplectic Runge-Kutta method (SRK) and symplectic partitioned Runge-Kutta method (SPRK) of structures for fixed points of linear Hamiltonian systems. The structure-preservation region provides a practical criterion for choosing step-size in symplectic computation. Examples are given to justify the investigation.     

High-Order Symplectic and Symmetric Composition Methods for Multi-Frequency and Multi-Dimensional Oscillatory Hamiltonian Systems

The multi-frequency and multi-dimensional adapted Runge-Kutta-Nyström (ARKN) integrators, and multi-frequency and multi-dimensional extended Runge-Kutta-Nyström(ERKN) integrators have been developed to efficiently solve multi-frequency oscillatory Hamiltonian systems. The aim of this paper is to analyze and derive high-order symplectic and symmetric composition methods based on the ARKN integrators and ERKN integrators. We first consider the symplecticity conditions for the multi-frequency and multi-dimensional ARKN integrators. We then analyze the symplecticity of the adjoint integrators of the multi-frequency and multi-dimensional symplectic ARKN integrators and ERKN integrators, respectively. On the basis of the theoretical analysis and by using the idea of composition methods, we derive and propose four new high-order symplectic and symmetric methods for the multi-frequency oscillatory Hamiltonian systems. The numerical results accompanied in this paper quantitatively show the advantage and efficiency of the proposed high-order symplectic and symmetric methods.     

Essentially Symplectic Boundary Value Methods for Linear Hamiltonian Systems

1.IlltroductiollInmanyareasofphysics,mechanics,etc.,HamiltoniansystemsofODEsplayaveryimportantrole.Suchsystemshavethefollowinggeneralform:where,bydenotingwithOfandimthenullmatrixandtheidentitymatrixofordermarespectively,SimplepropertiesofthematrixJZmarethefollowingones:Inequation(1)AH(~,t)isthegradientofascalarfunctionH(y,t),usuallycalledHamiltonian.InthecasewhereH(y,t)=H(y),thenthevalueofthisfunctionremainsconstantalongt.hesollltion7/(t),t,hatis'*ReceivedFebruaryI3,1995.l)Worksupporte…     

On Stability of Symplectic Algorithms

1.FundamentalDeflnitionsLemma1.Thesolutionofalinearoofinarydtherentialequationwithcon8tantcoeffcientY=AYissta6leifalleigenvalue8ofAhaven0nP6sitivercalpartsandtheeigenvalueswithnullrealpartaresingleroots0ftheminimalp0lynomial.,/P\ThelinearHamiltoniansystemcanbeden0tedasZ=JSZwhereZ=(q),J=(ELs),andtheHamiltonianfuncti0nH(z)=ty.Lemma2.Thesolution80flinearHamiltoniansy8temsarecmticallysta6leifalleigenvaluesofJShavenullrsalpartandaresinglerootsojtheminitnalp0lyno?nial.Definiti0n1.Whenthemo…     

Numerical integration of Hamiltonian problems by G-symplectic methods

It is the purpose of this paper to consider the employ of General Linear Methods (GLMs) as geometric numerical solvers for the treatment of Hamiltonian problems. Indeed, even if the numerical flow generated by a GLM cannot be symplectic, we exploit here a concept of near conservation for such methods which, properly combined with other desirable features (such as symmetry and boundedness of parasitic components), allows to achieve an accurate conservation of the Hamiltonian. In this paper we focus our attention on the connection between order of convergence and Hamiltonian deviation by multivalue methods. Moreover, we derive a semi-implicit GLM which results competitive to symplectic Runge-Kutta methods, which are notoriously implicit.     

Hamilton系统的对称辛广义加性Runge-Kutta方法

Sandu和Günther[SIAM J.Numer.Anal.53(2015)17--42]对形如$\dot{y}=\sum\limits_{k=1}^{N}f^{[k]}(y)$的微分方程提出广义加性Runge-Kutta (GARK)方法.本文利用双色有根树导出GARK方法的阶条件,给出辛条件和对称性条件,并构造了三个二阶对称辛GARK (SSGARK)方法和两个四阶SSGARK方法.对三个经典测试问题的数值实验结果显示,与文献中几个非对称或非辛的ARK/GARK方法相比,新的SSGARK方法能更有效地保持Hamilton量.     

Butcher's simplifying assumption for symplectic integrators

Implicit Runge-Kutta methods with vanishingM matrix are discussed for preserving the symplectic structure of Hamiltonian systems. The number of the order conditions independent of the number of stages can be reduced considerably for the symplectic IRK method through the analysis utilizing the rooted tree and the corresponding elementary differentials. Butcher's simplifying condition further reduces the number of independent order conditions.     

CHARACTERIZATIONS OF SYMMETRIC MULTISTEP RUNGE-KUTTA METHODS

Some characterizations for symmetric multistep Runge-Kutta(RK) methods are obtained. Symmetric two-step RK methods with one and two-stages are presented. Numerical examples show that symmetry of multistep RK methods alone is not sufficient for long time integration for reversible Hamiltonian systems. This is an important difference between one-step and multistep symmetric RK methods.     

Energy and Quadratic Invariants Preserving Methods for Hamiltonian Systems with Holonomic Constraints

We introduce a new class of parametrized structure--preserving partitioned Runge-Kutta ($\alpha$-PRK) methods for Hamiltonian systems with holonomic constraints. The methods are symplectic for any fixed scalar parameter $\alpha$, and are reduced to the usual symplectic PRK methods like Shake-Rattle method or PRK schemes based on Lobatto IIIA-IIIB pairs when $\alpha=0$. We provide a new variational formulation for symplectic PRK schemes and use it to prove that the $\alpha$-PRK methods can preserve the quadratic invariants for Hamiltonian systems subject to holonomic constraints. Meanwhile, for any given consistent initial values $(p_{0}, q_0)$ and small step size $h>0$, it is proved that there exists $\alpha^*=\alpha(h, p_0, q_0)$ such that the Hamiltonian energy can also be exactly preserved at each step. Based on this, we propose some energy and quadratic invariants preserving $\alpha$-PRK methods. These $\alpha$-PRK methods are shown to have the same convergence rate as the usual PRK methods and perform very well in various numerical experiments.     

A sixth-order dual preserving algorithm for the Camassa-Holm equation

The paper presents a sixth-order numerical algorithm for studying the completely integrable Camassa-Holm (CH) equation. The proposed sixth-order accurate method preserves both the dispersion relation and the Hamiltonians of the CH equation. The CH equation in this study is written as an evolution equation, involving only the first-order spatial derivatives, coupled with the Helmholtz equation. We propose a two-step method that first solves the evolution equation by a sixth-order symplectic Runge-Kutta method and then solves the Helmholtz equation using a three-point sixth-order compact scheme. The first-order derivative terms in the first step are approximated by a sixth-order dispersion-relation-preserving scheme that preserves the physically inherent dispersive nature. The compact Helmholtz solver, on the other hand, allows us to use relatively few nodal points in a stencil, while achieving a higher-order accuracy. The sixth-order symplectic Runge-Kutta time integrator is preferable for an equation that possesses a Hamiltonian structure. We illustrate the ability of the proposed scheme by examining examples involving peakon or peakon-like solutions. We compare the computed solutions with exact solutions or asymptotic predictions. We also demonstrate the ability of the symplectic time integrator to preserve the Hamiltonians. Finally, via a smooth travelling wave problem, we compare the accuracy, elapsed computing time, and rate of convergence among the proposed method, a second-order two-step algorithm, and a completely integrable particle method.