University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Exponentially accurate Hamiltonian embeddings of symplectic A-stable Runge--Kutta methods for Hamiltonian semilinear evolution equations

Wulff, Claudia and Oliver, M (2016) Exponentially accurate Hamiltonian embeddings of symplectic A-stable Runge--Kutta methods for Hamiltonian semilinear evolution equations PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH SECTION A-MATHEMATICS, 146 (6). pp. 1265-1301.

[img]
Preview
Text
activeEmbargoHide.pdf - Accepted version Manuscript
Available under License : See the attached licence file.

Download (512kB) | Preview
[img] Text (licence)
SRI_deposit_agreement.pdf
Restricted to Repository staff only
Available under License : See the attached licence file.

Download (33kB)
[img] Text
2015033_Acceptance.pdf - Supplemental Material
Restricted to Repository staff only
Available under License : See the attached licence file.

Download (232kB)

Abstract

We prove that a class of A-stable symplectic Runge--Kutta time semidiscretizations (including the Gauss--Legendre methods) applied to a class of semilinear Hamiltonian PDEs which are well-posed on spaces of analytic functions with analytic initial data can be embedded into a modified Hamiltonian flow up to an exponentially small error. As a consequence, such time-semidiscretizations conserve the modified Hamiltonian up to an exponentially small error. The modified Hamiltonian is O(h^p)-close to the original energy where p is the order of the method and h the time step-size. Examples of such systems are the semilinear wave equation or the nonlinear Schr\"odinger equation with analytic nonlinearity and periodic boundary conditions. Standard Hamiltonian interpolation results do not apply here because of the occurrence of unbounded operators in the construction of the modified vector field. This loss of regularity in the construction can be taken care of by projecting the PDE to a subspace where the operators occurring in the evolution equation are bounded and by coupling the number of excited modes as well as the number of terms in the expansion of the modified vector field with the step size. This way we obtain exponential estimates of the form O(\exp(-c/h^{1/(1+q)})) with c>0 and q \geq 0; for the semilinear wave equation, q=1, and for the nonlinear Schr\"odinger equation, q=2. We give an example which shows that analyticity of the initial data is necessary to obtain exponential estimates.

Item Type: Article
Divisions : Faculty of Engineering and Physical Sciences > Mathematics
Authors :
NameEmailORCID
Wulff, ClaudiaC.Wulff@surrey.ac.ukUNSPECIFIED
Oliver, MUNSPECIFIEDUNSPECIFIED
Date : 1 December 2016
Copyright Disclaimer : © Royal Society of Edinburgh 2016
Related URLs :
Depositing User : Symplectic Elements
Date Deposited : 28 Mar 2017 13:10
Last Modified : 25 Aug 2017 08:26
URI: http://epubs.surrey.ac.uk/id/eprint/805291

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800