editorial board - math.univ-paris13.frcuvelier/docs/... · reich, chus sanz-serna, zaijiu shang,...

42
Springer Series in Computational Mathematics 31 Editorial Board R. Bank R.L. Graham J. Stoer R. Varga H. Yserentant

Upload: others

Post on 24-Sep-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

Springer Series inComputationalMathematics

31

Editorial BoardR. BankR.L. GrahamJ. StoerR. VargaH. Yserentant

Page 2: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

Ernst HairerChristian LubichGerhard Wanner

Geometric NumericalIntegrationStructure-Preserving Algorithmsfor Ordinary Differential Equations

Second Edition

With 146 Figures

ABC

Page 3: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

Ernst HairerGerhard WannerSection de MathématiquesUniversité de Genève2-4 rue du Lièvre, C.P. 64CH-1211 Genève 4, Switzerlandemail: [email protected]

[email protected]

Christian LubichMathematisches InstitutUniversität TübingenAuf der Morgenstelle 1072076 Tübingen, Germanyemail: [email protected]

Library of Congress Control Number: 2005938386

Mathematics Subject Classification (2000): 65Lxx, 65P10, 70Fxx, 34Cxx

ISSN 0179-3632ISBN-10 3-540-30663-3 Springer Berlin Heidelberg New YorkISBN-13 978-3-540-30663-4 Springer Berlin Heidelberg New YorkISBN-10 3-540-43003-2 1st Edition Springer Berlin Heidelberg New York

This work is subject to copyright. All rights are reserved, whether the whole or part of the material isconcerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting,reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publicationor parts thereof is permitted only under the provisions of the German Copyright Law of September 9,1965, in its current version, and permission for use must always be obtained from Springer. Violations areliable for prosecution under the German Copyright Law.

Springer is a part of Springer Science+Business Mediaspringer.comc© Springer-Verlag Berlin Heidelberg 2002, 2004, 2006

Printed in The Netherlands

The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply,even in the absence of a specific statement, that such names are exempt from the relevant protective lawsand regulations and therefore free for general use.

Typesetting: by the authors and TechBooks using a Springer LATEX macro package

Cover design: design & production GmbH, Heidelberg

Printed on acid-free paper SPIN: 11592242 46/TechBooks 5 4 3 2 1 0

Page 4: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

Preface to the First Edition

They throw geometry out the door, and it comes back through the win-dow.(H.G.Forder, Auckland 1973, reading new mathematics at the age of 84)

The subject of this book is numerical methods that preserve geometric properties ofthe flow of a differential equation: symplectic integrators for Hamiltonian systems,symmetric integrators for reversible systems, methods preserving first integrals andnumerical methods on manifolds, including Lie group methods and integrators forconstrained mechanical systems, and methods for problems with highly oscillatorysolutions. Structure preservation – with its questions as to where, how, and what for– is the unifying theme.

In the last few decades, the theory of numerical methods for general (non-stiffand stiff) ordinary differential equations has reached a certain maturity, and excel-lent general-purpose codes, mainly based on Runge–Kutta methods or linear mul-tistep methods, have become available. The motivation for developing structure-preserving algorithms for special classes of problems came independently from suchdifferent areas of research as astronomy, molecular dynamics, mechanics, theoreti-cal physics, and numerical analysis as well as from other areas of both applied andpure mathematics. It turned out that the preservation of geometric properties of theflow not only produces an improved qualitative behaviour, but also allows for a moreaccurate long-time integration than with general-purpose methods.

An important shift of view-point came about by ceasing to concentrate on thenumerical approximation of a single solution trajectory and instead to consider anumerical method as a discrete dynamical system which approximates the flow ofthe differential equation – and so the geometry of phase space comes back againthrough the window. This view allows a clear understanding of the preservation ofinvariants and of methods on manifolds, of symmetry and reversibility of methods,and of the symplecticity of methods and various generalizations. These subjects arepresented in Chapters IV through VII of this book. Chapters I through III are of anintroductory nature and present examples and numerical integrators together withimportant parts of the classical order theories and their recent extensions. ChapterVIII deals with questions of numerical implementations and numerical merits of thevarious methods.

It remains to explain the relationship between geometric properties of the nu-merical method and the favourable error propagation in long-time integrations. This

Page 5: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

vi Preface to the First Edition

Long-time errorsGeometric integrators

Backward error analysis

is done using the idea of backward error analysis, where the numerical one-stepmap is interpreted as (almost) the flow of a modified differential equation, which isconstructed as an asymptotic series (Chapter IX). In this way, geometric propertiesof the numerical integrator translate into structure preservation on the level of themodified equations. Much insight and rigorous error estimates over long time in-tervals can then be obtained by combining this backward error analysis with KAMtheory and related perturbation theories. This is explained in Chapters X throughXII for Hamiltonian and reversible systems. The final Chapters XIII and XIV treatthe numerical solution of differential equations with high-frequency oscillations andthe long-time dynamics of multistep methods, respectively.

This book grew out of the lecture notes of a course given by Ernst Hairer atthe University of Geneva during the academic year 1998/99. These lectures weredirected at students in the third and fourth year. The reactions of students as wellas of many colleagues, who obtained the notes from the Web, encouraged us toelaborate our ideas to produce the present monograph.

We want to thank all those who have helped and encouraged us to prepare thisbook. In particular, Martin Hairer for his valuable help in installing computers andhis expertise in Latex and Postscript, Jeff Cash and Robert Chan for reading thewhole text and correcting countless scientific obscurities and linguistic errors, HaruoYoshida for making many valuable suggestions, Stephane Cirilli for preparing thefiles for all the photographs, and Bernard Dudez, the irreplaceable director of themathematics library in Geneva. We are also grateful to many friends and colleaguesfor reading parts of the manuscript and for valuable remarks and discussions, inparticular to Assyr Abdulle, Melanie Beck, Sergio Blanes, John Butcher, Mari PazCalvo, Begona Cano, Philippe Chartier, David Cohen, Peter Deuflhard, Stig Faltin-sen, Francesco Fasso, Martin Gander, Marlis Hochbruck, Bulent Karasozen, Wil-helm Kaup, Ben Leimkuhler, Pierre Leone, Frank Loose, Katina Lorenz, RobertMcLachlan, Ander Murua, Alexander Ostermann, Truong Linh Pham, SebastianReich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright.

We are especially grateful to Thanh-Ha Le Thi and Dr. Martin Peters fromSpringer-Verlag Heidelberg for assistance, in particular for their help in getting mostof the original photographs from the Oberwolfach Archive and from Springer NewYork, and for clarifying doubts concerning the copyright.

Geneva and Tubingen, November 2001 The Authors

Page 6: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

Preface to the Second Edition

The fast development of the subject – and the fast development of the sales of thefirst edition of this book – has given the authors the opportunity to prepare this sec-ond edition. First of all we have corrected several misprints and minor errors whichwe have discovered or which have been kindly communicated to us by several read-ers and colleagues. We cordially thank all of them for their help and for their interestin our work. A major point of confusion has been revealed by Robert McLachlan inhis book review in SIAM Reviews.

Besides many details, which have improved the presentation throughout thebook, there are the following major additions and changes which make the bookabout 130 pages longer:

– a more prominent place of the Stormer–Verlet method in the exposition and theexamples of the first chapter;

– a discussion of the Henon–Heiles model as an example of a chaotic Hamiltoniansystem;

– a new Sect. IV.9 on geometric numerical linear algebra considering differentialequations on Stiefel and Grassmann manifolds and dynamical low-rank approxi-mations;

– a new improved composition method of order 10 in Sect. V.3;– a characterization of B-series methods that conserve quadratic first integrals and

a criterion for conjugate symplecticity in Sect. VI.8;– the section on volume preservation taken from Chap. VII to Chap. VI;– an extended and more coherent Chap. VII, renamed Non-Canonical Hamiltonian

Systems, with more emphasis on the relationships between Hamiltonian systemson manifolds and Poisson systems;

– a completely reorganized and augmented Sect. VII.5 on the rigid body dynamicsand Lie–Poisson systems;

– a new Sect. VII.6 on reduced Hamiltonian models of quantum dynamics and Pois-son integrators for their numerical treatment;

– an improved step-size control for reversible methods in Sects. VIII.3.2 and IX.6;– extension of Sect. IX.5 on modified equations of methods on manifolds to include

constrained Hamiltonian systems and Lie–Poisson integrators;– reorganization of Sects. IX.9 and IX.10; study of non-symplectic B-series meth-

ods that have a modified Hamiltonian, and counter-examples for symmetric meth-ods showing linear growth in the energy error;

Page 7: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

viii Preface to the Second Edition

– a more precise discussion of integrable reversible systems with new examples inChap. XI;

– extension of Chap. XIII on highly oscillatory problems to systems with severalconstant frequencies and to systems with non-constant mass matrix;

– a new Chap. XIV on oscillatory Hamiltonian systems with time- or solution-dependent high frequencies, emphasizing adiabatic transformations, adiabatic in-variants, and adiabatic integrators;

– a completely rewritten Chap. XV with more emphasis on linear multistep meth-ods for second order differential equations; a complete backward error analysisincluding parasitic modified differential equations; a study of the long-time sta-bility and a rigorous explanation of the long-time near-conservation of energy andangular momentum.

Let us hope that this second revised edition will again meet good acceptance by ourreaders.

Geneva and Tubingen, October 2005 The Authors

Page 8: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

Table of Contents

I. Examples and Numerical Experiments . . . . . . . . . . . . . . . . . . . . . . . . . 1I.1 First Problems and Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

I.1.1 The Lotka–Volterra Model . . . . . . . . . . . . . . . . . . . . . . . . 1I.1.2 First Numerical Methods . . . . . . . . . . . . . . . . . . . . . . . . . . 3I.1.3 The Pendulum as a Hamiltonian System . . . . . . . . . . . . . 4I.1.4 The Stormer–Verlet Scheme . . . . . . . . . . . . . . . . . . . . . . . 7

I.2 The Kepler Problem and the Outer Solar System . . . . . . . . . . . . . . 8I.2.1 Angular Momentum and Kepler’s Second Law . . . . . . . 9I.2.2 Exact Integration of the Kepler Problem . . . . . . . . . . . . . 10I.2.3 Numerical Integration of the Kepler Problem . . . . . . . . . 12I.2.4 The Outer Solar System . . . . . . . . . . . . . . . . . . . . . . . . . . 13

I.3 The Henon–Heiles Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15I.4 Molecular Dynamics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18I.5 Highly Oscillatory Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

I.5.1 A Fermi–Pasta–Ulam Problem . . . . . . . . . . . . . . . . . . . . . 21I.5.2 Application of Classical Integrators . . . . . . . . . . . . . . . . . 23

I.6 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

II. Numerical Integrators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27II.1 Runge–Kutta and Collocation Methods . . . . . . . . . . . . . . . . . . . . . 27

II.1.1 Runge–Kutta Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28II.1.2 Collocation Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30II.1.3 Gauss and Lobatto Collocation . . . . . . . . . . . . . . . . . . . . . 34II.1.4 Discontinuous Collocation Methods . . . . . . . . . . . . . . . . 35

II.2 Partitioned Runge–Kutta Methods . . . . . . . . . . . . . . . . . . . . . . . . . . 38II.2.1 Definition and First Examples . . . . . . . . . . . . . . . . . . . . . 38II.2.2 Lobatto IIIA–IIIB Pairs . . . . . . . . . . . . . . . . . . . . . . . . . . . 40II.2.3 Nystrom Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

II.3 The Adjoint of a Method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42II.4 Composition Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43II.5 Splitting Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47II.6 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50

Page 9: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

x Table of Contents

III. Order Conditions, Trees and B-Series . . . . . . . . . . . . . . . . . . . . . . . . . . 51III.1 Runge–Kutta Order Conditions and B-Series . . . . . . . . . . . . . . . . . 51

III.1.1 Derivation of the Order Conditions . . . . . . . . . . . . . . . . . 51III.1.2 B-Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56III.1.3 Composition of Methods . . . . . . . . . . . . . . . . . . . . . . . . . . 59III.1.4 Composition of B-Series . . . . . . . . . . . . . . . . . . . . . . . . . . 61III.1.5 The Butcher Group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64

III.2 Order Conditions for Partitioned Runge–Kutta Methods . . . . . . . 66III.2.1 Bi-Coloured Trees and P-Series . . . . . . . . . . . . . . . . . . . . 66III.2.2 Order Conditions for Partitioned Runge–Kutta Methods 68III.2.3 Order Conditions for Nystrom Methods . . . . . . . . . . . . . 69

III.3 Order Conditions for Composition Methods . . . . . . . . . . . . . . . . . 71III.3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71III.3.2 The General Case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73III.3.3 Reduction of the Order Conditions . . . . . . . . . . . . . . . . . 75III.3.4 Order Conditions for Splitting Methods . . . . . . . . . . . . . 80

III.4 The Baker-Campbell-Hausdorff Formula . . . . . . . . . . . . . . . . . . . . 83III.4.1 Derivative of the Exponential and Its Inverse . . . . . . . . . 83III.4.2 The BCH Formula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84

III.5 Order Conditions via the BCH Formula . . . . . . . . . . . . . . . . . . . . . 87III.5.1 Calculus of Lie Derivatives . . . . . . . . . . . . . . . . . . . . . . . . 87III.5.2 Lie Brackets and Commutativity . . . . . . . . . . . . . . . . . . . 89III.5.3 Splitting Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91III.5.4 Composition Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92

III.6 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95

IV. Conservation of First Integrals and Methods on Manifolds . . . . . . . . 97IV.1 Examples of First Integrals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97IV.2 Quadratic Invariants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101

IV.2.1 Runge–Kutta Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101IV.2.2 Partitioned Runge–Kutta Methods . . . . . . . . . . . . . . . . . . 102IV.2.3 Nystrom Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104

IV.3 Polynomial Invariants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105IV.3.1 The Determinant as a First Integral . . . . . . . . . . . . . . . . . 105IV.3.2 Isospectral Flows . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107

IV.4 Projection Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109IV.5 Numerical Methods Based on Local Coordinates . . . . . . . . . . . . . 113

IV.5.1 Manifolds and the Tangent Space . . . . . . . . . . . . . . . . . . . 114IV.5.2 Differential Equations on Manifolds . . . . . . . . . . . . . . . . 115IV.5.3 Numerical Integrators on Manifolds . . . . . . . . . . . . . . . . 116

IV.6 Differential Equations on Lie Groups . . . . . . . . . . . . . . . . . . . . . . . 118IV.7 Methods Based on the Magnus Series Expansion . . . . . . . . . . . . . 121IV.8 Lie Group Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123

IV.8.1 Crouch-Grossman Methods . . . . . . . . . . . . . . . . . . . . . . . 124IV.8.2 Munthe-Kaas Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . 125

Page 10: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

Table of Contents xi

IV.8.3 Further Coordinate Mappings . . . . . . . . . . . . . . . . . . . . . . 128IV.9 Geometric Numerical Integration Meets Geometric Numerical

Linear Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131IV.9.1 Numerical Integration on the Stiefel Manifold . . . . . . . . 131IV.9.2 Differential Equations on the Grassmann Manifold . . . . 135IV.9.3 Dynamical Low-Rank Approximation . . . . . . . . . . . . . . . 137

IV.10 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139

V. Symmetric Integration and Reversibility . . . . . . . . . . . . . . . . . . . . . . . 143V.1 Reversible Differential Equations and Maps . . . . . . . . . . . . . . . . . 143V.2 Symmetric Runge–Kutta Methods . . . . . . . . . . . . . . . . . . . . . . . . . . 146

V.2.1 Collocation and Runge–Kutta Methods . . . . . . . . . . . . . . 146V.2.2 Partitioned Runge–Kutta Methods . . . . . . . . . . . . . . . . . . 148

V.3 Symmetric Composition Methods . . . . . . . . . . . . . . . . . . . . . . . . . . 149V.3.1 Symmetric Composition of First Order Methods . . . . . . 150V.3.2 Symmetric Composition of Symmetric Methods . . . . . . 154V.3.3 Effective Order and Processing Methods . . . . . . . . . . . . 158

V.4 Symmetric Methods on Manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . 161V.4.1 Symmetric Projection . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161V.4.2 Symmetric Methods Based on Local Coordinates . . . . . 166

V.5 Energy – Momentum Methods and Discrete Gradients . . . . . . . . . 171V.6 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176

VI. Symplectic Integration of Hamiltonian Systems . . . . . . . . . . . . . . . . . 179VI.1 Hamiltonian Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180

VI.1.1 Lagrange’s Equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180VI.1.2 Hamilton’s Canonical Equations . . . . . . . . . . . . . . . . . . . 181

VI.2 Symplectic Transformations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182VI.3 First Examples of Symplectic Integrators . . . . . . . . . . . . . . . . . . . . 187VI.4 Symplectic Runge–Kutta Methods . . . . . . . . . . . . . . . . . . . . . . . . . 191

VI.4.1 Criterion of Symplecticity . . . . . . . . . . . . . . . . . . . . . . . . . 191VI.4.2 Connection Between Symplectic and Symmetric

Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194VI.5 Generating Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195

VI.5.1 Existence of Generating Functions . . . . . . . . . . . . . . . . . 195VI.5.2 Generating Function for Symplectic Runge–Kutta

Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198VI.5.3 The Hamilton–Jacobi Partial Differential Equation . . . . 200VI.5.4 Methods Based on Generating Functions . . . . . . . . . . . . 203

VI.6 Variational Integrators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204VI.6.1 Hamilton’s Principle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204VI.6.2 Discretization of Hamilton’s Principle . . . . . . . . . . . . . . . 206VI.6.3 Symplectic Partitioned Runge–Kutta Methods

Revisited . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 208VI.6.4 Noether’s Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210

Page 11: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

xii Table of Contents

VI.7 Characterization of Symplectic Methods . . . . . . . . . . . . . . . . . . . . 212VI.7.1 B-Series Methods Conserving Quadratic First Integrals 212VI.7.2 Characterization of Symplectic P-Series (and B-Series) 217VI.7.3 Irreducible Runge–Kutta Methods . . . . . . . . . . . . . . . . . . 220VI.7.4 Characterization of Irreducible Symplectic Methods . . . 222

VI.8 Conjugate Symplecticity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222VI.8.1 Examples and Order Conditions . . . . . . . . . . . . . . . . . . . . 223VI.8.2 Near Conservation of Quadratic First Integrals . . . . . . . 225

VI.9 Volume Preservation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227VI.10 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233

VII. Non-Canonical Hamiltonian Systems . . . . . . . . . . . . . . . . . . . . . . . . . . 237VII.1 Constrained Mechanical Systems . . . . . . . . . . . . . . . . . . . . . . . . . . 237

VII.1.1 Introduction and Examples . . . . . . . . . . . . . . . . . . . . . . . . 237VII.1.2 Hamiltonian Formulation . . . . . . . . . . . . . . . . . . . . . . . . . 239VII.1.3 A Symplectic First Order Method . . . . . . . . . . . . . . . . . . 242VII.1.4 SHAKE and RATTLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . 245VII.1.5 The Lobatto IIIA - IIIB Pair . . . . . . . . . . . . . . . . . . . . . . . 247VII.1.6 Splitting Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252

VII.2 Poisson Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 254VII.2.1 Canonical Poisson Structure . . . . . . . . . . . . . . . . . . . . . . . 254VII.2.2 General Poisson Structures . . . . . . . . . . . . . . . . . . . . . . . . 256VII.2.3 Hamiltonian Systems on Symplectic Submanifolds . . . . 258

VII.3 The Darboux–Lie Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261VII.3.1 Commutativity of Poisson Flows and Lie Brackets . . . . 261VII.3.2 Simultaneous Linear Partial Differential Equations . . . . 262VII.3.3 Coordinate Changes and the Darboux–Lie Theorem . . . 265

VII.4 Poisson Integrators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268VII.4.1 Poisson Maps and Symplectic Maps . . . . . . . . . . . . . . . . 268VII.4.2 Poisson Integrators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270VII.4.3 Integrators Based on the Darboux–Lie Theorem . . . . . . 272

VII.5 Rigid Body Dynamics and Lie–Poisson Systems . . . . . . . . . . . . . . 274VII.5.1 History of the Euler Equations . . . . . . . . . . . . . . . . . . . . . 275VII.5.2 Hamiltonian Formulation of Rigid Body Motion . . . . . . 278VII.5.3 Rigid Body Integrators . . . . . . . . . . . . . . . . . . . . . . . . . . . 280VII.5.4 Lie–Poisson Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 286VII.5.5 Lie–Poisson Reduction . . . . . . . . . . . . . . . . . . . . . . . . . . . 289

VII.6 Reduced Models of Quantum Dynamics . . . . . . . . . . . . . . . . . . . . . 293VII.6.1 Hamiltonian Structure of the Schrodinger Equation . . . 293VII.6.2 The Dirac–Frenkel Variational Principle . . . . . . . . . . . . . 295VII.6.3 Gaussian Wavepacket Dynamics . . . . . . . . . . . . . . . . . . . 296VII.6.4 A Splitting Integrator for Gaussian Wavepackets . . . . . . 298

VII.7 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 301

Page 12: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

Table of Contents xiii

VIII. Structure-Preserving Implementation . . . . . . . . . . . . . . . . . . . . . . . . . . 303VIII.1 Dangers of Using Standard Step Size Control . . . . . . . . . . . . . . . . 303VIII.2 Time Transformations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 306

VIII.2.1 Symplectic Integration . . . . . . . . . . . . . . . . . . . . . . . . . . . 306VIII.2.2 Reversible Integration . . . . . . . . . . . . . . . . . . . . . . . . . . . . 309

VIII.3 Structure-Preserving Step Size Control . . . . . . . . . . . . . . . . . . . . . . 310VIII.3.1 Proportional, Reversible Controllers . . . . . . . . . . . . . . . . 310VIII.3.2 Integrating, Reversible Controllers . . . . . . . . . . . . . . . . . 314

VIII.4 Multiple Time Stepping . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 316VIII.4.1 Fast-Slow Splitting: the Impulse Method . . . . . . . . . . . . 317VIII.4.2 Averaged Forces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 319

VIII.5 Reducing Rounding Errors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 322VIII.6 Implementation of Implicit Methods . . . . . . . . . . . . . . . . . . . . . . . . 325

VIII.6.1 Starting Approximations . . . . . . . . . . . . . . . . . . . . . . . . . . 326VIII.6.2 Fixed-Point Versus Newton Iteration . . . . . . . . . . . . . . . . 330

VIII.7 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335

IX. Backward Error Analysis and Structure Preservation . . . . . . . . . . . . 337IX.1 Modified Differential Equation – Examples . . . . . . . . . . . . . . . . . . 337IX.2 Modified Equations of Symmetric Methods . . . . . . . . . . . . . . . . . . 342IX.3 Modified Equations of Symplectic Methods . . . . . . . . . . . . . . . . . . 343

IX.3.1 Existence of a Local Modified Hamiltonian . . . . . . . . . . 343IX.3.2 Existence of a Global Modified Hamiltonian . . . . . . . . . 344IX.3.3 Poisson Integrators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 347

IX.4 Modified Equations of Splitting Methods . . . . . . . . . . . . . . . . . . . . 348IX.5 Modified Equations of Methods on Manifolds . . . . . . . . . . . . . . . . 350

IX.5.1 Methods on Manifolds and First Integrals . . . . . . . . . . . . 350IX.5.2 Constrained Hamiltonian Systems . . . . . . . . . . . . . . . . . . 352IX.5.3 Lie–Poisson Integrators . . . . . . . . . . . . . . . . . . . . . . . . . . . 354

IX.6 Modified Equations for Variable Step Sizes . . . . . . . . . . . . . . . . . . 356IX.7 Rigorous Estimates – Local Error . . . . . . . . . . . . . . . . . . . . . . . . . . 358

IX.7.1 Estimation of the Derivatives of the Numerical Solution 360IX.7.2 Estimation of the Coefficients of the Modified Equation 362IX.7.3 Choice of N and the Estimation of the Local Error . . . . 364

IX.8 Long-Time Energy Conservation . . . . . . . . . . . . . . . . . . . . . . . . . . . 366IX.9 Modified Equation in Terms of Trees . . . . . . . . . . . . . . . . . . . . . . . 369

IX.9.1 B-Series of the Modified Equation . . . . . . . . . . . . . . . . . . 369IX.9.2 Elementary Hamiltonians . . . . . . . . . . . . . . . . . . . . . . . . . 373IX.9.3 Modified Hamiltonian . . . . . . . . . . . . . . . . . . . . . . . . . . . . 375IX.9.4 First Integrals Close to the Hamiltonian . . . . . . . . . . . . . 375IX.9.5 Energy Conservation: Examples and Counter-Examples 379

IX.10 Extension to Partitioned Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . 381IX.10.1 P-Series of the Modified Equation . . . . . . . . . . . . . . . . . . 381IX.10.2 Elementary Hamiltonians . . . . . . . . . . . . . . . . . . . . . . . . . 384

IX.11 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 386

Page 13: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

xiv Table of Contents

X. Hamiltonian Perturbation Theory and Symplectic Integrators . . . . . 389X.1 Completely Integrable Hamiltonian Systems . . . . . . . . . . . . . . . . . 390

X.1.1 Local Integration by Quadrature . . . . . . . . . . . . . . . . . . . 390X.1.2 Completely Integrable Systems . . . . . . . . . . . . . . . . . . . . 393X.1.3 Action-Angle Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . 397X.1.4 Conditionally Periodic Flows . . . . . . . . . . . . . . . . . . . . . . 399X.1.5 The Toda Lattice – an Integrable System . . . . . . . . . . . . 402

X.2 Transformations in the Perturbation Theory for IntegrableSystems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 404X.2.1 The Basic Scheme of Classical Perturbation Theory . . . 405X.2.2 Lindstedt–Poincare Series . . . . . . . . . . . . . . . . . . . . . . . . . 406X.2.3 Kolmogorov’s Iteration . . . . . . . . . . . . . . . . . . . . . . . . . . . 410X.2.4 Birkhoff Normalization Near an Invariant Torus . . . . . . 412

X.3 Linear Error Growth and Near-Preservation of First Integrals . . . 413X.4 Near-Invariant Tori on Exponentially Long Times . . . . . . . . . . . . . 417

X.4.1 Estimates of Perturbation Series . . . . . . . . . . . . . . . . . . . . 417X.4.2 Near-Invariant Tori of Perturbed Integrable Systems . . . 421X.4.3 Near-Invariant Tori of Symplectic Integrators . . . . . . . . 422

X.5 Kolmogorov’s Theorem on Invariant Tori . . . . . . . . . . . . . . . . . . . . 423X.5.1 Kolmogorov’s Theorem. . . . . . . . . . . . . . . . . . . . . . . . . . . 423X.5.2 KAM Tori under Symplectic Discretization . . . . . . . . . . 428

X.6 Invariant Tori of Symplectic Maps . . . . . . . . . . . . . . . . . . . . . . . . . . 430X.6.1 A KAM Theorem for Symplectic Near-Identity Maps . 431X.6.2 Invariant Tori of Symplectic Integrators . . . . . . . . . . . . . 433X.6.3 Strongly Non-Resonant Step Sizes . . . . . . . . . . . . . . . . . 433

X.7 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 434

XI. Reversible Perturbation Theory and Symmetric Integrators . . . . . . . 437XI.1 Integrable Reversible Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 437XI.2 Transformations in Reversible Perturbation Theory . . . . . . . . . . . 442

XI.2.1 The Basic Scheme of Reversible Perturbation Theory . . 443XI.2.2 Reversible Perturbation Series . . . . . . . . . . . . . . . . . . . . . 444XI.2.3 Reversible KAM Theory . . . . . . . . . . . . . . . . . . . . . . . . . . 445XI.2.4 Reversible Birkhoff-Type Normalization . . . . . . . . . . . . 447

XI.3 Linear Error Growth and Near-Preservation of First Integrals . . . 448XI.4 Invariant Tori under Reversible Discretization . . . . . . . . . . . . . . . . 451

XI.4.1 Near-Invariant Tori over Exponentially Long Times . . . 451XI.4.2 A KAM Theorem for Reversible Near-Identity Maps . . 451

XI.5 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 453

XII. Dissipatively Perturbed Hamiltonian and Reversible Systems . . . . . . 455XII.1 Numerical Experiments with Van der Pol’s Equation . . . . . . . . . . 455XII.2 Averaging Transformations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 458

XII.2.1 The Basic Scheme of Averaging . . . . . . . . . . . . . . . . . . . 458XII.2.2 Perturbation Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 459

Page 14: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

Table of Contents xv

XII.3 Attractive Invariant Manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 460XII.4 Weakly Attractive Invariant Tori of Perturbed Integrable Systems 464XII.5 Weakly Attractive Invariant Tori of Numerical Integrators . . . . . . 465

XII.5.1 Modified Equations of Perturbed Differential Equations 466XII.5.2 Symplectic Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 467XII.5.3 Symmetric Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 469

XII.6 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 469

XIII. Oscillatory Differential Equations with Constant High Frequencies . 471XIII.1 Towards Longer Time Steps in Solving Oscillatory Equations

of Motion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 471XIII.1.1 The Stormer–Verlet Method vs. Multiple Time Scales . 472XIII.1.2 Gautschi’s and Deuflhard’s Trigonometric Methods . . . 473XIII.1.3 The Impulse Method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475XIII.1.4 The Mollified Impulse Method . . . . . . . . . . . . . . . . . . . . . 476XIII.1.5 Gautschi’s Method Revisited . . . . . . . . . . . . . . . . . . . . . . 477XIII.1.6 Two-Force Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 478

XIII.2 A Nonlinear Model Problem and Numerical Phenomena . . . . . . . 478XIII.2.1 Time Scales in the Fermi–Pasta–Ulam Problem . . . . . . . 479XIII.2.2 Numerical Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 481XIII.2.3 Accuracy Comparisons . . . . . . . . . . . . . . . . . . . . . . . . . . . 482XIII.2.4 Energy Exchange between Stiff Components . . . . . . . . . 483XIII.2.5 Near-Conservation of Total and Oscillatory Energy . . . . 484

XIII.3 Principal Terms of the Modulated Fourier Expansion . . . . . . . . . . 486XIII.3.1 Decomposition of the Exact Solution . . . . . . . . . . . . . . . 486XIII.3.2 Decomposition of the Numerical Solution . . . . . . . . . . . 488

XIII.4 Accuracy and Slow Exchange . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 490XIII.4.1 Convergence Properties on Bounded Time Intervals . . . 490XIII.4.2 Intra-Oscillatory and Oscillatory-Smooth Exchanges . . 494

XIII.5 Modulated Fourier Expansions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 496XIII.5.1 Expansion of the Exact Solution . . . . . . . . . . . . . . . . . . . 496XIII.5.2 Expansion of the Numerical Solution . . . . . . . . . . . . . . . 498XIII.5.3 Expansion of the Velocity Approximation . . . . . . . . . . . 502

XIII.6 Almost-Invariants of the Modulated Fourier Expansions . . . . . . . 503XIII.6.1 The Hamiltonian of the Modulated Fourier Expansion . 503XIII.6.2 A Formal Invariant Close to the Oscillatory Energy . . . 505XIII.6.3 Almost-Invariants of the Numerical Method . . . . . . . . . . 507

XIII.7 Long-Time Near-Conservation of Total and Oscillatory Energy . 510XIII.8 Energy Behaviour of the Stormer–Verlet Method . . . . . . . . . . . . . 513XIII.9 Systems with Several Constant Frequencies . . . . . . . . . . . . . . . . . . 516

XIII.9.1 Oscillatory Energies and Resonances . . . . . . . . . . . . . . . 517XIII.9.2 Multi-Frequency Modulated Fourier Expansions . . . . . . 519XIII.9.3 Almost-Invariants of the Modulation System . . . . . . . . . 521XIII.9.4 Long-Time Near-Conservation of Total and

Oscillatory Energies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 524

Page 15: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

xvi Table of Contents

XIII.10 Systems with Non-Constant Mass Matrix . . . . . . . . . . . . . . . . . . . . 526XIII.11 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 529

XIV. Oscillatory Differential Equations with Varying High Frequencies . . 531XIV.1 Linear Systems with Time-Dependent Skew-Hermitian Matrix . . 531

XIV.1.1 Adiabatic Transformation and Adiabatic Invariants . . . . 531XIV.1.2 Adiabatic Integrators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 536

XIV.2 Mechanical Systems with Time-Dependent Frequencies . . . . . . . 539XIV.2.1 Canonical Transformation to Adiabatic Variables . . . . . 540XIV.2.2 Adiabatic Integrators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 547XIV.2.3 Error Analysis of the Impulse Method . . . . . . . . . . . . . . . 550XIV.2.4 Error Analysis of the Mollified Impulse Method . . . . . . 554

XIV.3 Mechanical Systems with Solution-Dependent Frequencies . . . . . 555XIV.3.1 Constraining Potentials . . . . . . . . . . . . . . . . . . . . . . . . . . . 555XIV.3.2 Transformation to Adiabatic Variables . . . . . . . . . . . . . . 558XIV.3.3 Integrators in Adiabatic Variables . . . . . . . . . . . . . . . . . . 563XIV.3.4 Analysis of Multiple Time-Stepping Methods . . . . . . . . 564

XIV.4 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 564

XV. Dynamics of Multistep Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 567XV.1 Numerical Methods and Experiments . . . . . . . . . . . . . . . . . . . . . . . 567

XV.1.1 Linear Multistep Methods . . . . . . . . . . . . . . . . . . . . . . . . . 567XV.1.2 Multistep Methods for Second Order Equations . . . . . . . 569XV.1.3 Partitioned Multistep Methods . . . . . . . . . . . . . . . . . . . . . 572

XV.2 The Underlying One-Step Method . . . . . . . . . . . . . . . . . . . . . . . . . . 573XV.2.1 Strictly Stable Multistep methods . . . . . . . . . . . . . . . . . . 573XV.2.2 Formal Analysis for Weakly Stable Methods . . . . . . . . . 575

XV.3 Backward Error Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 576XV.3.1 Modified Equation for Smooth Numerical Solutions . . . 576XV.3.2 Parasitic Modified Equations . . . . . . . . . . . . . . . . . . . . . . 579

XV.4 Can Multistep Methods be Symplectic? . . . . . . . . . . . . . . . . . . . . . 585XV.4.1 Non-Symplecticity of the Underlying One-Step Method 585XV.4.2 Symplecticity in the Higher-Dimensional Phase Space . 587XV.4.3 Modified Hamiltonian of Multistep Methods . . . . . . . . . 589XV.4.4 Modified Quadratic First Integrals . . . . . . . . . . . . . . . . . . 591

XV.5 Long-Term Stability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 592XV.5.1 Role of Growth Parameters . . . . . . . . . . . . . . . . . . . . . . . . 592XV.5.2 Hamiltonian of the Full Modified System . . . . . . . . . . . . 594XV.5.3 Long-Time Bounds for Parasitic Solution Components 596

XV.6 Explanation of the Long-Time Behaviour . . . . . . . . . . . . . . . . . . . . 600XV.6.1 Conservation of Energy and Angular Momentum . . . . . 600XV.6.2 Linear Error Growth for Integrable Systems . . . . . . . . . . 601

XV.7 Practical Considerations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 602XV.7.1 Numerical Instabilities and Resonances . . . . . . . . . . . . . 602XV.7.2 Extension to Variable Step Sizes . . . . . . . . . . . . . . . . . . . 605

Page 16: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

XV.8 Multi-Value or General Linear Methods . . . . . . . . . . . . . . . . . . . . . 609XV.8.1 Underlying One-Step Method and Backward Error

Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 609XV.8.2 Symplecticity and Symmetry . . . . . . . . . . . . . . . . . . . . . . 611XV.8.3 Growth Parameters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 614

XV.9 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 615

Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 617

Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 637

Table of Contents xvii

Page 17: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

Chapter I.Examples and Numerical Experiments

This chapter introduces some interesting examples of differential equations and il-lustrates different types of qualitative behaviour of numerical methods. We deliber-ately consider only very simple numerical methods of orders 1 and 2 to emphasizethe qualitative aspects of the experiments. The same effects (on a different scale)occur with more sophisticated higher-order integration schemes. The experimentspresented here should serve as a motivation for the theoretical and practical inves-tigations of later chapters. The reader is encouraged to repeat the experiments or toinvent similar ones.

I.1 First Problems and MethodsNumerical applications of the case of two dependent variables are noteasily obtained. (A.J. Lotka 1925, p. 79)

Our first problems, the Lotka–Volterra model and the pendulum equation, are dif-ferential equations in two dimensions and show already many interesting geometricproperties. Our first methods are various variants of the Euler method, the midpointrule, and the Stormer–Verlet scheme.

I.1.1 The Lotka–Volterra Model

We start with an equation from mathematical biology which models the growth ofanimal species. If a real variable u(t) is to represent the number of individuals of acertain species at time t, the simplest assumption about its evolution is du/dt = u·α,where α is the reproduction rate. A constant α leads to exponential growth. In thecase of more species living together, the reproduction rates will also depend onthe population numbers of the other species. For example, for two species withu(t) denoting the number of predators and v(t) the number of prey, a plausibleassumption is made by the Lotka–Volterra model

u = u(v − 2)v = v(1− u),

(1.1)

where the dots on u and v stand for differentiation with respect to time. (We havechosen the constants 2 and 1 in (1.1) arbitrarily.) A.J. Lotka (1925, Chap. VIII) used

Page 18: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

2 I. Examples and Numerical Experiments

1 2 3

1

2

3

4

5

1 2 3

1

2

3

4

5

1 2 3

1

2

3

4

5

u

v

(1)

(2)

(3)

vector field

u

v

exact flow

ϕt

ϕt

ϕt

A

u

v

numerical flow

Φh

Φh

A

Fig. 1.1. Vector field, exact flow, and numerical flow for the Lotka–Volterra model (1.1)

this model to study parasitic invasion of insect species, and, with its help, V. Volterra(1927) explained curious fishing data from the upper Adriatic Sea following WorldWar I.

Equations (1.1) constitute an autonomous system of differential equations. Ingeneral, we write such a system in the form

y = f(y) . (1.2)

Every y represents a point in the phase space, in equation (1.1) above y = (u, v)is in the phase plane R

2. The vector-valued function f(y) represents a vector fieldwhich, at any point of the phase space, prescribes the velocity (direction and speed)of the solution y(t) that passes through that point (see the first picture of Fig. 1.1).

For the Lotka–Volterra model, we observe that the system cycles through threestages: (1) the prey population increases; (2) the predator population increases byfeeding on the prey; (3) the predator population diminishes due to lack of food.

Flow of the System. A fundamental concept is the flow over time t. This is themapping which, to any point y0 in the phase space, associates the value y(t) of thesolution with initial value y(0) = y0. This map, denoted by ϕt, is thus defined by

ϕt(y0) = y(t) if y(0) = y0. (1.3)

The second picture of Fig. 1.1 shows the results of three iterations of ϕt (with t =1.3) for the Lotka–Volterra problem, for a set of initial values y0 = (u0, v0) formingan animal-shaped set A.1

Invariants. If we divide the two equations of (1.1) by each other, we obtain a singleequation between the variables u and v. After separation of variables we get

0 =1− u

uu− v − 2

vv =

d

dtI(u, v)

1 This cat came to fame through Arnold (1963).

Page 19: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

I.1 First Problems and Methods 3

whereI(u, v) = lnu− u + 2 ln v − v, (1.4)

so that I(u(t), v(t)) = Const for all t. We call the function I an invariant of thesystem (1.1). Every solution of (1.1) thus lies on a level curve of (1.4). Some ofthese curves are drawn in the pictures of Fig. 1.1. Since the level curves are closed,all solutions of (1.1) are periodic.

I.1.2 First Numerical Methods

Explicit Euler Method. The simplest of all numerical methods for the system (1.2)is the method formulated by Euler (1768),

yn+1 = yn + hf(yn). (1.5)

It uses a constant step size h to compute, one after the other, approximations y1, y2,y3, . . . to the values y(h), y(2h), y(3h), . . . of the solution starting from a giveninitial value y(0) = y0. The method is called the explicit Euler method, becausethe approximation yn+1 is computed using an explicit evaluation of f at the alreadyknown value yn. Such a formula represents a mapping

Φh : yn �→ yn+1,

which we call the discrete or numerical flow. Some iterations of the discrete flow forthe Lotka–Volterra problem (1.1) (with h = 0.5) are represented in the third pictureof Fig. 1.1.

Implicit Euler Method. The implicit Euler method

yn+1 = yn + hf(yn+1), (1.6)

is known for its all-damping stability properties. In contrast to (1.5), the approx-imation yn+1 is defined implicitly by (1.6), and the implementation requires thenumerical solution of a nonlinear system of equations.

Implicit Midpoint Rule. Taking the mean of yn and yn+1 in the argument of f , weget the implicit midpoint rule

yn+1 = yn + hf(yn + yn+1

2

). (1.7)

It is a symmetric method, which means that the formula is left unaltered after ex-changing yn ↔ yn+1 and h ↔ −h (more on symmetric methods in Chap. V).

Symplectic Euler Methods. For partitioned systems

u = a(u, v)v = b(u, v),

(1.8)

Page 20: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

4 I. Examples and Numerical Experiments

2 4

2

4

6

2 4

2

4

6

2 4

2

4

6

u

v

y0

y37

y81

y82

y83

explicit Euler

u

vy0

y1

y2

y49

y50

y51

implicit Euler

u

v

y0 y0

symplectic Euler

Fig. 1.2. Solutions of the Lotka–Volterra equations (1.1) (step sizes h = 0.12; initial values(2, 2) for the explicit Euler method, (4, 8) for the implicit Euler method, (4, 2) and (6, 2) forthe symplectic Euler method)

such as the problem (1.1), we consider also partitioned Euler methods

un+1 = un + ha(un, vn+1)vn+1 = vn + hb(un, vn+1),

orun+1 = un + ha(un+1, vn)vn+1 = vn + hb(un+1, vn),

(1.9)

which treat one variable by the implicit and the other variable by the explicit Eulermethod. In view of an important property of this method, discovered by de Vogelaere(1956) and to be discussed in Chap. VI, we call them symplectic Euler methods.

Numerical Example for the Lotka–Volterra Problem. Our first numerical exper-iment shows the behaviour of the various numerical methods applied to the Lotka–Volterra problem. In particular, we are interested in the preservation of the invariantI over long times. Fig. 1.2 plots the numerical approximations of the first 125 stepswith the above numerical methods applied to (1.1), all with constant step sizes. Weobserve that the explicit and implicit Euler methods show wrong qualitative be-haviour. The numerical solution either spirals outwards or inwards. The symplecticEuler method (implicit in u and explicit in v), however, gives a numerical solutionthat lies apparently on a closed curve as does the exact solution. Note that the curvesof the numerical and exact solutions do not coincide.

I.1.3 The Pendulum as a Hamiltonian System

A great deal of attention in this book will be addressed to Hamiltonian problems,and our next examples will be of this type. These problems are of the form

p = −Hq(p, q), q = Hp(p, q), (1.10)

where the Hamiltonian H(p1, . . . , pd, q1, . . . qd) represents the total energy; qi arethe position coordinates and pi the momenta for i = 1, . . . , d, with d the number of

Page 21: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

I.1 First Problems and Methods 5

degrees of freedom; Hp and Hq are the vectors of partial derivatives. One verifieseasily by differentiation (see Sect. IV.1) that, along the solution curves of (1.10),

H(p(t), q(t)

)= Const , (1.11)

i.e., the Hamiltonian is an invariant or a first integral. More details about Hamil-tonian systems and their derivation from Lagrangian mechanics will be given inSect. VI.1.

m

cos q 1q

Pendulum. The mathematical pendulum (mass m = 1,massless rod of length � = 1, gravitational accelerationg = 1) is a system with one degree of freedom having theHamiltonian

H(p, q) = 1

2p2 − cos q, (1.12)

so that the equations of motion (1.10) become

p = − sin q, q = p. (1.13)

Since the vector field (1.13) is 2π-periodic in q, it is natural to consider q as a vari-able on the circle S1. Hence, the phase space of points (p, q) becomes the cylinderR× S1. Fig. 1.3 shows some level curves of H(p, q). By (1.11), the solution curvesof the problem (1.13) lie on such level curves.

exact flowexact flow explicit Eulerexplicit Euler symplectic Eulersymplectic Euler

Fig. 1.3. Exact and numerical flow for the pendulum problem (1.13); step sizes h = t = 1

Area Preservation. Figure 1.3 (first picture) illustrates that the exact flow of aHamiltonian system (1.10) is area preserving. This can be explained as follows: thederivative of the flow ϕt with respect to initial values (p, q),

ϕ′t(p, q) =

∂(p(t), q(t)

)∂(p, q)

,

Page 22: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

6 I. Examples and Numerical Experiments

satisfies the variational equation 2

ϕ′t(p, q) =

(−Hpq −Hqq

Hpp Hqp

)ϕ′

t(p, q) ,

where the second partial derivatives of H are evaluated at ϕt(p, q). In the case ofone degree of freedom (d = 1), a simple computation shows that

d

dtdetϕ′

t(p, q) =d

dt

(∂p(t)∂p

∂q(t)∂q

− ∂p(t)∂q

∂q(t)∂p

)= . . . = 0.

Since ϕ0 is the identity, this implies detϕ′t(p, q) = 1 for all t, which means that the

flow ϕt(p, q) is an area-preserving mapping.The last two pictures of Fig. 1.3 show numerical flows. The explicit Euler

method is clearly seen not to preserve area but the symplectic Euler method is (thiswill be proved in Sect. VI.3). One of the aims of ‘geometric integration’ is the studyof numerical integrators that preserve such types of qualitative behaviour of the ex-act flow.

explicit Eulerexplicit Euler symplectic Eulersymplectic Euler Stormer–VerletStormer–Verlet

Fig. 1.4. Solutions of the pendulum problem (1.13); explicit Euler with step size h = 0.2,initial value (p0, q0) = (0, 0.5); symplectic Euler with h = 0.3 and initial values q0 = 0,p0 = 0.7, 1.4, 2.1; Stormer–Verlet with h = 0.6

Numerical Experiment. We apply the above numerical methods to the pendulumequations (see Fig. 1.4). Similar to the computations for the Lotka–Volterra equa-tions, we observe that the numerical solutions of the explicit Euler and of the im-plicit Euler method (not drawn in Fig. 1.4) spiral either outwards or inwards. Thesymplectic Euler method shows the correct qualitative behaviour, but destroys theleft-right symmetry of the problem. The Stormer–Verlet scheme, which we discussnext, works perfectly even with doubled step size.

2 As is common in the study of mechanical problems, we use dots for denoting time-derivatives, and we use primes for denoting derivatives with respect to other variables.

Page 23: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

I.1 First Problems and Methods 7

Fig. 1.5. Carl Stormer (left picture), born: 3 September 1874 in Skien (Norway), died: 13 Au-gust 1957.Loup Verlet (right picture), born: 24 May 1931 in Paris

I.1.4 The Stormer–Verlet Scheme

The above equations (1.13) for the pendulum are of the form

p = f(q)q = p

or q = f(q) (1.14)

which is the important special case of a second order differential equation. The mostnatural discretization of (1.14) is

qn+1 − 2qn + qn−1 = h2f(qn), (1.15)

which is just obtained by replacing the second derivative in (1.14) by the centralsecond-order difference quotient. This basic method, or its equivalent formulationgiven below, is called the Stormer method in astronomy, the Verlet method 3 in mole-cular dynamics, the leap-frog method in the context of partial differential equations,and it has further names in other areas (see Hairer, Lubich & Wanner (2003), p. 402).C. Stormer (1907) used higher-order variants for numerical computations concern-ing the aurora borealis. L. Verlet (1967) proposed this method for computations inmolecular dynamics, where it has become by far the most widely used integrationscheme.

Geometrically, the Stormer–Verlet method can be seen as produced by parabo-las, which in the points tn possess the right second derivative f(qn) (see Fig. 1.6

3 Irony of fate: Professor Loup Verlet, who later became interested in the history of science,discovered precisely “his” method in Newton’s Principia (Book I, figure for Theorem I,see Sect. I.2.1 below).

Page 24: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

8 I. Examples and Numerical Experiments

qn−1

qn

qn+1

tn−1 tn tn+1

h h

qn−1

qn

qn+1

qn− 12

qn+ 12

pn− 12

pn

pn+ 12

tn−1 tn tn+1tn− 12

tn+ 12

Fig. 1.6. Illustration for the Stormer–Verlet method

to the left). But we can also think of polygons, which possess the right slope in themidpoints (Fig. 1.6 to the right).

Approximations to the derivative p = q are simply obtained by

pn =qn+1 − qn−1

2hand pn+1/2 =

qn+1 − qn

h. (1.16)

One-Step Formulation. The Stormer–Verlet method admits a one-step formulationwhich is useful for actual computations. The value qn together with the slope pn andthe second derivative f(qn), all at tn, uniquely determine the parabola and hencealso the approximation (pn+1, qn+1) at tn+1. Writing (1.15) as pn+1/2−pn−1/2 =hf(qn) and using pn+1/2 + pn−1/2 = 2pn , we get by elimination of either pn+1/2

or pn−1/2 the formulae

pn+1/2 = pn + h

2f(qn)

qn+1 = qn + hpn+1/2 (1.17)

pn+1 = pn+1/2 + h

2f(qn+1)

which is an explicit one-step method Φh : (qn, pn) �→ (qn+1, pn+1) for the corre-sponding first order system of (1.14). If one is not interested in the values pn of thederivative, the first and third equations in (1.17) can be replaced by

pn+1/2 = pn−1/2 + h f(qn).

I.2 The Kepler Problem and the Outer Solar System

I awoke as if from sleep, a new light broke on me. (J. Kepler; quotedfrom J.L.E. Dreyer, A history of astronomy, 1906, Dover 1953, p. 391)

One of the great achievements in the history of science was the discovery of thelaws of J. Kepler (1609), based on many precise measurements of the positions ofMars by Tycho Brahe and himself. The planets move in elliptic orbits with the sunat one of the foci (Kepler’s first law)

Page 25: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

I.2 The Kepler Problem and the Outer Solar System 9

r =d

1 + e cosϕ= a− ae cosE, (2.1)

Fae

da

r

M

a

b

ϕE

(where a = great axis, e = eccentricity, b =a√

1− e2, d = b√

1− e2 = a(1 − e2), E = ec-centric anomaly, ϕ = true anomaly).

Newton (Principia 1687) then explained thismotion by his general law of gravitational attrac-tion (proportional to 1/r2) and the relation betweenforces and acceleration (the “Lex II” of the Prin-cipia). This then opened the way for treating arbi-trary celestial motions by solving differential equa-tions.

Two-Body Problem. For computing the motion of two bodies which attract eachother, we choose one of the bodies as the centre of our coordinate system; the motionwill then stay in a plane (Exercise 3) and we can use two-dimensional coordinatesq = (q1, q2) for the position of the second body. Newton’s laws, with a suitablenormalization, then yield the following differential equations

q1 = − q1

(q21 + q2

2)3/2, q2 = − q2

(q21 + q2

2)3/2. (2.2)

This is equivalent to a Hamiltonian system with the Hamiltonian

H(p1, p2, q1, q2) =12(p21 + p2

2

)− 1√

q21 + q2

2

, pi = qi. (2.3)

I.2.1 Angular Momentum and Kepler’s Second Law

The system has not only the total energy H(p, q) as a first integral, but also theangular momentum

L(p1, p2, q1, q2) = q1p2 − q2p1. (2.4)

This can be checked by differentiation and is nothing other than Kepler’s secondlaw, which says that the ray FM sweeps equal areas in equal times (see the littlepicture at the beginning of Sect. I.2).

A beautiful geometric justification of this law is due to I. Newton4 (Principia(1687), Book I, figure for Theorem I). The idea is to apply the Stormer–Verletscheme (1.15) to the equations (2.2) (see Fig. 2.1). By hypothesis, the diago-nal of the parallelogram qn−1qnqn+1, which is (qn+1 − qn) − (qn − qn−1) =qn+1 − 2qn + qn−1 = Const · f(qn), points towards the sun S. Therefore, thealtitudes of the triangles qn−1qnS and qn+1qnS are equal. Since they have the com-mon base qnS, they also have equal areas. Hence

det(qn−1, qn − qn−1) = det(qn, qn+1 − qn)

and by passing to the limit h → 0 we see that det(q, p) = Const . This is (2.4).

4 We are grateful to a private communication of L. Verlet for this reference

Page 26: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

10 I. Examples and Numerical Experiments

qn−1

qn

qn+1

S

qn−qn−1

qn+1−qn

f(qn)

Fig. 2.1. Proof of Kepler’s Second Law (left); facsimile from Newton’s Principia (right)

We have not only an elegant proof for this invariant, but we also see that theStormer–Verlet scheme preserves this invariant for every h > 0.

I.2.2 Exact Integration of the Kepler ProblemPour voir presentement que cette courbe ABC . . . est toujours une Sec-tion Conique, ainsi que Mr. Newton l’a suppose, pag. 55. Coroll.I. sans ledemontrer; il y faut bien plus d’adresse: (Joh. Bernoulli 1710, p. 475)

It is now interesting, inversely to the procedure of Newton, to prove that any solutionof (2.2) follows either an elliptic, parabolic or hyperbolic arc and to describe thesolutions analytically. This was first done by Joh. Bernoulli (1710, full of sarcasmagainst Newton), and by Newton (1713, second edition of the Principia, withoutmentioning a word about Bernoulli).

By (2.3) and (2.4), every solution of (2.2) satisfies the two relations

12(q21 + q2

2

)− 1√

q21 + q2

2

= H0, q1q2 − q2q1 = L0, (2.5)

where the constants H0 and L0 are determined by the initial values. Using polarcoordinates q1 = r cosϕ, q2 = r sinϕ, this system becomes

12(r2 + r2ϕ2

)− 1

r= H0, r2ϕ = L0. (2.6)

For its solution we consider r as a function of ϕ and write r = drdϕ · ϕ. The elimina-

tion of ϕ in (2.6) then yields

12

(( dr

)2

+ r2

)L2

0

r4− 1

r= H0.

In this equation we use the substitution r = 1/u, dr = −du/u2, which gives (with′ = d/dϕ)

12(u′2 + u2)− u

L20

− H0

L20

= 0. (2.7)

This is a “Hamiltonian” for the system

Page 27: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

I.2 The Kepler Problem and the Outer Solar System 11

u′′ + u =1d

i.e., u =1d

+ c1 cosϕ + c2 sinϕ =1 + e cos(ϕ− ϕ∗)

d(2.8)

where d = L20 and the constant e becomes, from (2.7),

e2 = 1 + 2H0L20 (2.9)

(by Exercise 7, the expression 1+2H0L20 is non-negative). This is precisely formula

(2.1). The angle ϕ∗ is determined by the initial values r0 and ϕ0. Equation (2.1)represents an elliptic orbit with eccentricity e for H0 < 0 (see Fig. 2.2, dotted line),a parabola for H0 = 0, and a hyperbola for H0 > 0.

Finally, we must determine the variables r and ϕ as functions of t. With therelation (2.8) and r = 1/u, the second equation of (2.6) gives

d2

(1 + e cos(ϕ− ϕ∗)

)2 dϕ = L0 dt (2.10)

which, after an elementary, but not easy, integration, represents an implicit equationfor ϕ(t).

−2 −1 1

−1

−2 −1 1

1

−2 −1 1

−1

−2 −1 1

−1

1

explicit Euler

h = 0.0005

400 000 steps

symplectic Euler h = 0.05

4 000 steps

implicit midpointh = 0.05

4 000 steps

Stormer–Verlet

h = 0.05

4 000 steps

Fig. 2.2. Numerical solutions of the Kepler problem (eccentricity e = 0.6; in dots: exactsolution)

Page 28: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

12 I. Examples and Numerical Experiments

I.2.3 Numerical Integration of the Kepler Problem

For the problem (2.2) we choose, with 0 ≤ e < 1, the initial values

q1(0) = 1− e, q2(0) = 0, q1(0) = 0, q2(0) =

√1 + e

1− e. (2.11)

This implies that H0 = −1/2, L0 =√

1− e2, d = 1− e2 and ϕ∗ = 0. The periodof the solution is 2π (Exercise 5). Fig. 2.2 shows some numerical solutions for theeccentricity e = 0.6 compared to the exact solution. After our previous experience,it is no longer a surprise that the explicit Euler method spirals outwards and gives acompletely wrong answer. For the other methods we take a step size 100 times largerin order to “see something”. We see that the nonsymmetric symplectic Euler methoddistorts the ellipse, and that all methods exhibit a precession effect, clockwise forStormer–Verlet and symplectic Euler, anti-clockwise for the implicit midpoint rule.The same behaviour occurs for the exact solution of perturbed Kepler problems(Exercise 12) and has occupied astronomers for centuries.

Our next experiment (Fig. 2.3) studies the conservation of invariants and theglobal error. The main observation is that the error in the energy grows linearly forthe explicit Euler method, and it remains bounded and small (no secular terms) forthe symplectic Euler method. The global error, measured in the Euclidean norm,shows a quadratic growth for the explicit Euler compared to a linear growth forthe symplectic Euler. As indicated in Table 2.1 the implicit midpoint rule and theStormer–Verlet scheme behave similar to the symplectic Euler, but have a smaller

50 100

.01

.02

50 100

.2

.4

conservation of energy

symplectic Euler, h = 0.001

explicit Euler, h = 0.0001

conservation of energy

symplectic Euler, h = 0.001

explicit Euler, h = 0.0001

global error of the solution

symplectic Euler, h = 0.001

explicit Euler, h = 0.0001

global error of the solution

symplectic Euler, h = 0.001

explicit Euler, h = 0.0001

Fig. 2.3. Energy conservation and global error for the Kepler problem

Page 29: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

I.2 The Kepler Problem and the Outer Solar System 13

Table 2.1. Qualitative long-time behaviour for the Kepler problem; t is time, h the step size

method error in H error in L global error

explicit Euler O(th) O(th) O(t2h)

symplectic Euler O(h) 0 O(th)

implicit midpoint O(h2) 0 O(th2)

Stormer–Verlet O(h2) 0 O(th2)

error due to their higher order. We remark that the angular momentum L(p, q) is ex-actly conserved by the symplectic Euler, the Stormer–Verlet, and the implicit mid-point rule.

I.2.4 The Outer Solar System

The evolution of the entire planetary system has been numerically in-tegrated for a time span of nearly 100 million years5. This calculationconfirms that the evolution of the solar system as a whole is chaotic, . . .

(G.J. Sussman & J. Wisdom 1992)

We next apply our methods to the system which describes the motion of the fiveouter planets relative to the sun. This system has been studied extensively by as-tronomers. The problem is a Hamiltonian system (1.10) (N -body problem) with

H(p, q) =12

5∑i=0

1mi

pTi pi −G

5∑i=1

i−1∑j=0

mi mj

‖qi − qj‖. (2.12)

Here p and q are the supervectors composed by the vectors pi, qi ∈ R3 (momenta

and positions), respectively. The chosen units are: masses relative to the sun, so thatthe sun has mass 1. We have taken

m0 = 1.00000597682

to take account of the inner planets. Distances are in astronomical units (1 [A.U.] =149 597 870 [km]), times in earth days, and the gravitational constant is

G = 2.95912208286 · 10−4.

The initial values for the sun are taken as q0(0) = (0, 0, 0)T and q0(0) = (0, 0, 0)T .All other data (masses of the planets and the initial positions and initial veloci-ties) are given in Table 2.2. The initial data is taken from “Ahnerts Kalender furSternfreunde 1994”, Johann Ambrosius Barth Verlag 1993, and they correspond toSeptember 5, 1994 at 0h00.6

5 100 million years is not much in astronomical time scales; it just goes back to “JurassicPark”.

6 We thank Alexander Ostermann, who provided us with this data.

Page 30: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

14 I. Examples and Numerical Experiments

Table 2.2. Data for the outer solar system

planet mass initial position initial velocity

−3.5023653 0.00565429Jupiter m1 = 0.000954786104043 −3.8169847 −0.00412490

−1.5507963 −0.00190589

9.0755314 0.00168318Saturn m2 = 0.000285583733151 −3.0458353 0.00483525

−1.6483708 0.00192462

8.3101420 0.00354178Uranus m3 = 0.0000437273164546 −16.2901086 0.00137102

−7.2521278 0.00055029

11.4707666 0.00288930Neptune m4 = 0.0000517759138449 −25.7294829 0.00114527

−10.8169456 0.00039677

−15.5387357 0.00276725Pluto m5 = 1/(1.3 · 108) −25.2225594 −0.00170702

−3.1902382 −0.00136504

J SU

N

P

explicit Euler, h = 10

J SU

N

P

implicit Euler, h = 10

J SU

N

P

symplectic Euler, h = 100

J SU

N

P

Stormer–Verlet, h = 200

Fig. 2.4. Solutions of the outer solar system

To this system we apply the explicit and implicit Euler methods with step sizeh = 10, the symplectic Euler and the Stormer–Verlet method with much largerstep sizes h = 100 and h = 200, repectively, all over a time period of 200 000days. The numerical solution (see Fig. 2.4) behaves similarly to that for the Keplerproblem. With the explicit Euler method the planets have increasing energy, theyspiral outwards, Jupiter approaches Saturn which leaves the plane of the two-bodymotion. With the implicit Euler method the planets (first Jupiter and then Saturn)

Page 31: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

I.3 The Henon–Heiles Model 15

fall into the sun and are thrown far away. Both the symplectic Euler method andthe Stormer–Verlet scheme show the correct behaviour. An integration over a muchlonger time of say several million years does not deteriorate this behaviour. Let usremark that Sussman & Wisdom (1992) have integrated the outer solar system withspecial geometric integrators.

I.3 The Henon–Heiles Model

. . . because: (1) it is analytically simple; this makes the computation ofthe trajectories easy; (2) at the same time, it is sufficiently complicated togive trajectories which are far from trivial . (Henon & Heiles 1964)

The Henon–Heiles model was created for describing stellar motion, followed for avery long time, inside the gravitational potential U0(r, z) of a galaxy with cylindricalsymmetry (Henon & Heiles 1964). Extensive numerical experimentations shouldhelp to answer the question, if there exists, besides the known invariants H and L,a third invariant. Despite endless tentatives of analytical calculations during manydecades, such a formula had not been found.

After a reduction of the dimension, a Hamiltonian in two degrees of freedom ofthe form

H(p, q) = 1

2(p2

1 + p22) + U(q) (3.1)

is obtained and the question is, if such an equation has a second invariant. Here,Henon and Heiles put aside the astronomical origin of the problem and choose

U(q) = 1

2(q2

1 + q22) + q2

1q2 −1

3q32 (3.2)

(see citation). The potential U is represented in Fig. 3.1. When U approaches 16 , the

level curves of U tend to an equilateral triangle, whose vertices are saddle pointsof U . The corresponding system

q1q1

q2q2 UUUU

−.5 .5

1

−.5

P0

P1

P2

q1

q2

Fig. 3.1. Potential of the Henon–Heiles Model and a solution

Page 32: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

16 I. Examples and Numerical Experiments

−.3 .3

.3

−.3

P0P1

P2

H = 112

q2

p2

−.4 .4

.4

−.4

P0P1

P2

H = 18

q2

p2

Fig. 3.2. Poincare cuts for q1 = 0, p1 > 0 of the Henon–Heiles Model for H = 112

(6 orbits,left) and H = 1

8(1 orbit, right)

−.4

.4

−.4

P0

P1

P2

P7600

q2

p2 Explicit Eulerh = 10−5

H0 = 112

in bold: P1, . . . , P400

−.4 .4

.4

−.4

P0P1

P2

P8000

q2

p2 Implicit Eulerh = 10−5

H0 = 18

in bold: P8000, . . . , P8328

Fig. 3.3. Poincare cuts for numerical methods, one orbit each; explicit Euler (left), implicitEuler (right). Same initial data as in Fig. 3.2

q1 = −q1 − 2q1q2 , q2 = −q2 − q21 + q2

2 (3.3)

has solutions with nontrivial properties. For given initial values with H(p0, q0) < 16

and q0 inside the triangle U ≤ 16 , the solution stays there and moves somehow like

a mass point gliding on this surface (see Fig. 3.1, right).

Poincare Cuts. We fix first the energy H0 and put q10 = 0. Then for any pointP0 = (q20, p20), we obtain p10 from (3.1) as p10 =

√2H0 − 2U0 − p2

20, where wechoose the positive root. We then follow the solution until it hits again the surfaceq1 = 0 in the positive direction p1 > 0 and obtain a point P1 = (q21, p21); in thesame way we compute P2 = (q22, p22), etc. For the same initial values as in Fig. 3.1and with H0 = 1

12 , the solution for 0 ≤ t ≤ 300 000 gives 46 865 Poincare cutswhich are all displayed in Fig. 3.2 (left). They seem to lie exactly on a curve, as dothe orbits for 5 other choices of initial values. This picture thus shows “convincing

Page 33: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

I.3 The Henon–Heiles Model 17

100 200

10−5

10−4

10−3

10−2

10−1 global error

t

expl. Euler, h = .0001

sympl. Euler, h = .0001

Stormer–Verlet, h = .005

H = 112

H = 18

Fig. 3.4. Global error of numerical methods for nearly quasiperiodic and for chaotic solutions;same initial data as in Fig. 3.2

evidence” for the existence of a second invariant, for which Gustavson (1966) hasderived a formal expansion, whose first terms represent perfectly these curves.

“But here comes the surprise” (Henon–Heiles, p. 76): Fig. 3.2 shows to the rightthe same picture in the (q2, p2) plane for a somewhat higher Energy H = 1

8 . Themotion turns completely to chaos and all hope for a second invariant disappears.Actually, Gustavson’s series does not converge.

Numerical Experiments. We now apply numerical methods, the explicit Eulermethod to the low energy initial values H = 1

12 (Fig. 3.3, left), and the implicitEuler method to the high energy initial values (Fig. 3.3, right), both methods with avery small step size h = 10−5. As we already expect from our previous experiences,the explicit Euler method tends to increase the energy and turns order into chaos,while the implicit Euler method tends to decrease it and turns chaos into order. TheStormer–Verlet method (not shown) behaves as the exact solution even for step sizesas large as h = 10−1.

In our next experiment we study the global error (see Fig. 3.4), once for the caseof the nearly quasiperiodic orbit (H = 1

12 ) and once for the chaotic one (H = 18 ),

both for the explicit Euler, the symplectic Euler, and the Stormer–Verlet scheme.It may come as a surprise, that only in the first case we have the same behaviour(linear or quadratic growth) as in Fig. 2.3 for the Kepler problem. In the second case(H = 1

8 ) the global error grows exponentially for all methods, and the explicit Eulermethod is worst.

Study of a Mapping. The passage from a point Pi to the next one Pi+1 (as ex-plained for the left picture of Fig. 3.2) can be considered as a mapping Φ : Pi �→Pi+1 and the sequence of points P0, P1, P2, . . . are just the iterates of this mapping.This mapping is represented for the two energy levels H = 1

12 and H = 18 in

Fig. 3.5 and its study allows to better understand the behaviour of the orbits. We seeno significant difference between the two cases, simply for larger H the deforma-tions are more violent and correspond to larger eigenvalues of the Jacobian of Φ. In

Page 34: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

18 I. Examples and Numerical Experiments

−.4 .4

.4

−.4

−.4 .4

.4

−.4

−.4

.4

−.4

−.4

.4

−.4

q2

p2

Φ

H =1

12

q2

p2

q2

p2

Φ

H =1

8

= focus-type fixed point

q2

p2

= saddle-type fixed point

Fig. 3.5. The Poincare map Φ : P0 → P1 for the Henon–Heiles Model

both cases we have seven fixed points, which correspond to periodic solutions of thesystem (3.3). Four of them are stable and lie inside the white islands of Fig. 3.2.

I.4 Molecular Dynamics

We do not need exact classical trajectories to do this, but must lay greatemphasis on energy conservation as being of primary importance for thisreason. (M.P. Allen & D.J. Tildesley 1987)

Molecular dynamics requires the solution of Hamiltonian systems (1.10), where thetotal energy is given by

H(p, q) =12

N∑i=1

1mi

pTi pi +

N∑i=2

i−1∑j=1

Vij

(‖qi − qj‖

), (4.1)

Page 35: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

I.4 Molecular Dynamics 19

and Vij(r) are given potential functions. Here, qi and pi denote the positions andmomenta of atoms and mi is the atomic mass of the ith atom. We remark that theouter solar system (2.12) is such an N -body system with Vij(r) = −Gmimj/r. Inmolecular dynamics the Lennard–Jones potential

Vij(r) = 4εij

((σij

r

)12

−(σij

r

)6)

(4.2)

3 4 5 6 7 8

−.2

.0

.2 Lennard - Jonesis very popular (εij and σij are suit-able constants depending on the atoms).This potential has an absolute minimumat distance r = σij

6√

2. The force due tothis potential strongly repels the atomswhen they are closer than this value,and they attract each other when theyare farther away.

1

2

3

4

5

6

7

Numerical Experiments with a Frozen Argon Crys-tal. As in Biesiadecki & Skeel (1993) we consider theinteraction of seven argon atoms in a plane, where six ofthem are arranged symmetrically around a centre atom.As a mathematical model we take the Hamiltonian (4.1)with N = 7, mi = m = 66.34 · 10−27 [kg],

εij = ε = 119.8 kB [J], σij = σ = 0.341 [nm],

where kB = 1.380658 ·10−23 [J/K] is Boltzmann’s constant (see Allen & Tildesley(1987), page 21). As units for our calculations we take masses in [kg], distances innanometers (1 [nm] = 10−9 [m]), and times in nanoseconds (1 [nsec] = 10−9 [sec]).Initial positions (in [nm]) and initial velocities (in [nm/nsec]) are given in Table 4.1.They are chosen such that neighbouring atoms have a distance that is close to theone with lowest potential energy, and such that the total momentum is zero andtherefore the centre of gravity does not move. The energy at the initial position isH(p0, q0) ≈ −1260.2 kB [J].

For computations in molecular dynamics one is usually not interested in the tra-jectories of the atoms, but one aims at macroscopic quantities such as temperature,pressure, internal energy, etc. Here we consider the total energy, given by the Hamil-tonian, and the temperature which can be calculated from the formula (see Allen &

Table 4.1. Initial values for the simulation of a frozen argon crystal

atom 1 2 3 4 5 6 7

position0.000.00

0.020.39

0.340.17

0.36−0.21

−0.02−0.40

−0.35−0.16

−0.310.21

velocity−30−20

50−90

−70−60

9040

8090

−40100

−80−60

Page 36: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

20 I. Examples and Numerical Experiments

−60

−30

0

30

60

−30

0

30−30

0

30

−60

−30

0

30

60

−30

0

30−30

0

30

total energy

explicit Euler, h = 0.5 [fsec]

symplectic Euler, h = 10 [fsec]

total energy

Verlet, h = 40 [fsec]

Verlet, h = 80 [fsec]

temperature

explicit Euler, h = 10 [fsec]

symplectic Euler, h = 10 [fsec]

temperature

Verlet, h = 10 [fsec]

Verlet, h = 20 [fsec]

Fig. 4.1. Computed total energy and temperature of the argon crystal

Tildesley (1987), page 46)

T =1

2NkB

N∑i=1

mi‖qi‖2. (4.3)

We apply the explicit and symplectic Euler methods and also the Verlet methodto this problem. Observe that for a Hamiltonian such as (4.1) all three methodsare explicit, and all of them need only one force evaluation per integration step. InFig. 4.1 we present the numerical results of our experiments. The integrations aredone over an interval of length 0.2 [nsec]. The step sizes are indicated in femtosec-onds (1 [fsec] = 10−6 [nsec]).

The two upper pictures show the values(H(pn, qn)−H(p0, q0)

)/kB as a func-

tion of time tn = nh. For the exact solution, this value is precisely zero for all times.Similar to earlier experiments we see that the symplectic Euler method is qualita-tively correct, whereas the numerical solution of the explicit Euler method, althoughcomputed with a much smaller step size, is completely useless (see the citation atthe beginning of this section). The Verlet method is qualitatively correct and givesmuch more accurate results than the symplectic Euler method (we shall see laterthat the Verlet method is of order 2). The two computations with the Verlet methodshow that the energy error decreases by a factor of 4 if the step size is reduced by afactor of 2 (second order convergence).

The two lower pictures of Fig. 4.1 show the numerical values of the temperaturedifference T − T0 with T given by (4.3) and T0 ≈ 22.72 [K] (initial temperature).In contrast to the total energy, this is not an exact invariant, but for our problem itfluctuates around a constant value. The explicit Euler method gives wrong results,

Page 37: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

I.5 Highly Oscillatory Problems 21

but the symplectic Euler and the Verlet methods show the desired behaviour. Thistime a reduction of the step size does not reduce the amplitude of the oscillations,which indicates that the fluctuation of the exact temperature is of the same size.

I.5 Highly Oscillatory Problems

In this section we discuss a system with almost-harmonic high-frequency oscilla-tions. We show numerical phenomena of methods applied with step sizes that arenot small compared to the period of the fastest oscillations.

I.5.1 A Fermi–Pasta–Ulam Problem

. . . dealing with the behavior of certain nonlinear physical systems wherethe non-linearity is introduced as a perturbation to a primarily linear prob-lem. The behavior of the systems is to be studied for times which are longcompared to the characteristic periods of the corresponding linear prob-lems. (E. Fermi, J. Pasta, S. Ulam 1955)

In the early 1950s MANIAC-I had just been completed and sat poisedfor an attack on significant problems. ... Fermi suggested that it wouldbe highly instructive to integrate the equations of motion numerically fora judiciously chosen, one-dimensional, harmonic chain of mass pointsweakly perturbed by nonlinear forces. (J. Ford 1992)

The problem of Fermi, Pasta & Ulam (1955) is a simple model for simulations instatistical mechanics which revealed highly unexpected dynamical behaviour. Weconsider a modification consisting of a chain of 2m mass points, connected with al-ternating soft nonlinear and stiff linear springs, and fixed at the end points (see Gal-gani, Giorgilli, Martinoli & Vanzini (1992) and Fig. 5.1). The variables q1, . . . , q2m

q1 q2 q2m−1 q2m· · ·

stiffharmonic

softnonlinear

Fig. 5.1. Chain with alternating soft nonlinear and stiff linear springs

(q0 = q2m+1 = 0) stand for the displacements of the mass points, and pi = qi fortheir velocities. The motion is described by a Hamiltonian system with total energy

H(p, q) = 1

2

m∑i=1

(p22i−1 + p2

2i

)+

ω2

4

m∑i=1

(q2i − q2i−1)2 +m∑

i=0

(q2i+1 − q2i)4,

where ω is assumed to be large. It is quite natural to introduce the new variables

Page 38: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

22 I. Examples and Numerical Experiments

100 2000

1

70 72

.2

.4

I

I1

I2I3

I1

I2

I3

Fig. 5.2. Exchange of energy in the exact solution of the Fermi–Pasta–Ulam model. Thepicture to the right is an enlargement of the narrow rectangle in the left-hand picture

x0,i =(q2i + q2i−1

)/√

2, x1,i =(q2i − q2i−1

)/√

2,

y0,i =(p2i + p2i−1

)/√

2, y1,i =(p2i − p2i−1

)/√

2,(5.1)

where x0,i (i = 1, . . . ,m) represents a scaled displacement of the ith stiff spring,x1,i a scaled expansion (or compression) of the ith stiff spring, and y0,i, y1,i theirvelocities (or momenta). With this change of coordinates, the motion in the newvariables is again described by a Hamiltonian system, with

H(y, x) = 1

2

m∑i=1

(y20,i + y2

1,i

)+

ω2

2

m∑i=1

x21,i + 1

4

((x0,1 − x1,1)4+

+m−1∑i=1

(x0,i+1 − x1,i+1 − x0,i − x1,i

)4 + (x0,m + x1,m)4).

(5.2)Besides the fact that the equations of motion are Hamiltonian, so that the total energyis exactly conserved, they have a further interesting feature. Let

Ij(x1,j , y1,j) = 1

2

(y21,j + ω2x2

1,j

)(5.3)

denote the energy of the jth stiff spring. It turns out that there is an exchange ofenergy between the stiff springs, but the total oscillatory energy I = I1 + . . . +Im remains close to a constant value, in fact, I

((x(t), y(t)

)= I

((x(0), y(0)

)+

O(ω−1). For an illustration of this property, we choose m = 3 (as in Fig. 5.1),ω = 50,

x0,1(0) = 1, y0,1(0) = 1, x1,1(0) = ω−1, y1,1(0) = 1,

and zero for the remaining initial values. Fig. 5.2 displays the energies I1, I2, I3of the stiff springs together with the total oscillatory energy I = I1 + I2 + I3 as afunction of time. The solution has been computed very carefully with high accuracy,so that the displayed oscillations can be considered as exact.

Page 39: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

I.5 Highly Oscillatory Problems 23

I.5.2 Application of Classical Integrators

Which of the methods of the foregoing sections produce qualitatively correct ap-proximations when the product of the step size h with the high frequency ω is rela-tively large?

Linear Stability Analysis. To get an idea of the maximum admissible step size,we neglect the quartic term in the Hamiltonian (5.2), so that the differential equationsplits into the two-dimensional problems y0,i = 0, x0,i = y0,i and

y1,i = −ω2x1,i, x1,i = y1,i. (5.4)

Omitting the subscripts, the solution of (5.4) is(

y(t)ωx(t)

)=

(cosωt − sinωtsinωt cosωt

)(y(0)ωx(0)

).

The numerical solution of a one-step method applied to (5.4) yields(

yn+1

ωxn+1

)= M(hω)

(yn

ωxn

), (5.5)

and the eigenvalues λi of M(hω) determine the long-time behaviour of the numeri-cal solution. Stability (i.e., boundedness of the solution of (5.5)) requires the eigen-values to be less than or equal to one in modulus. For the explicit Euler methodwe have λ1,2 = 1 ± ihω, so that the energy In = (y2

n + ω2x2n)/2 increases as

(1 + h2ω2)n/2. For the implicit Euler method we have λ1,2 = (1 ± ihω)−1, andthe energy decreases as (1 + h2ω2)−n/2. For the implicit midpoint rule, the ma-trix M(hω) is orthogonal and therefore In is exactly preserved for all h and for alltimes. Finally, for the symplectic Euler method and for the Stormer–Verlet schemewe have

M(hω) =(

1 −hωhω 1− h2ω2

), M(hω) =

(1− h2ω2

2 −hω2

(1− h2ω2

4

)

hω2 1− h2ω2

2

),

respectively. For both matrices, the characteristic polynomial is λ2−(2−h2ω2)λ+1,so that the eigenvalues are of modulus one if and only if |hω| ≤ 2.

Numerical Experiments. We apply several methods to the Fermi–Pasta–Ulam(FPU) problem, with ω = 50 and initial data as given in Sect. I.5.1. The explicitand implicit Euler methods give completely wrong solutions even for very smallstep sizes. Fig. 5.3 presents the numerical results for H , I , I1, I2, I3 obtained withthe implicit midpoint rule, the symplectic Euler, and the Stormer–Verlet scheme.For the small step size h = 0.001 all methods give satisfactory results, although theenergy exchange is not reproduced accurately over long times. The Hamiltonian Hand the total oscillatory energy I are well conserved over much longer time inter-vals. The larger step size h = 0.03 has been chosen such that hω = 1.5 is close

Page 40: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

24 I. Examples and Numerical Experiments

100 2000

1

100 200 100 200

100 2000

1

100 200 100 200

implicit mid-point

h = 0.001

symplectic Euler

h = 0.001

Stormer/Verlet

h = 0.001

h = 0.03

h = 0.03

h = 0.03

Fig. 5.3. Numerical solution for the FPU problem (5.2) with data as in Sect. I.5.1, obtainedwith the implicit midpoint rule (left), symplectic Euler (middle), and Stormer–Verlet scheme(right); the upper pictures use h = 0.001, the lower pictures h = 0.03; the first four picturesshow the Hamiltonian H − 0.8 and the oscillatory energies I1, I2, I3, I; the last two picturesonly show I2 and I

to the stability limit of the symplectic Euler and the Stormer–Verlet methods. Thevalues of H and I are still bounded over very long time intervals, but the oscillationsdo not represent the true behaviour. Moreover, the average value of I is no longerclose to 1, as it is for the exact solution. These phenomena call for an explanation,and for numerical methods with an improved behaviour (see Chap. XIII).

I.6 Exercises

1. Show that the Lotka–Volterra problem (1.1) in logarithmic scale, i.e., by puttingp = log u and q = log v, becomes a Hamiltonian system with the function (1.4)as Hamiltonian (see Fig. 6.1).

p

q

.1 .2 .3 .5 1 2 3

.5

1

2

3

5

flow in log. scale

t = 1.3

ϕt

ϕt

ϕt

A

Fig. 6.1. Area preservation in logarithmic scale of the Lotka–Volterra flow

Page 41: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

I.6 Exercises 25

2. Apply the symplectic Euler method (or the implicit midpoint rule) to problemssuch as

(uv

)=

((v − 2)/v(1− u)/u

),

(uv

)=

(u2v(v − 2)v2u(1− u)

)

with various initial conditions. Both problems have the same first integral (1.4)as the Lotka–Volterra problem and therefore their solutions are also periodic.Do the numerical solutions also show this behaviour?

3. A general two-body problem (sun and planet) is given by the Hamiltonian

H(p, pS , q, qS) =1

2MpT

SpS +1

2mpT p− GmM

‖q − qS‖,

where qS , q ∈ R3 are the positions of the sun (mass M ) and the planet (mass

m), pS , p ∈ R3 are their momenta, and G is the gravitational constant.

a) Prove: in heliocentric coordinates Q := q − qS , the equations of motion are

Q = −G(M + m)Q

‖Q‖3 .

b) Prove that ddt

(Q(t) × Q(t)

)= 0, so that Q(t) stays for all times t in the

plane E = {q ; dT q = 0}, where d = Q(0)× Q(0).Conclusion. The coordinates corresponding to a basis in E satisfy the two-dimensional equations (2.2).

4. In polar coordinates, the two-body problem (2.2) becomes

r = −V ′(r) with V (r) =L2

0

2r2− 1

r

which is independent of ϕ. The angle ϕ(t) can be obtained by simple integrationfrom ϕ(t) = L0/r

2(t).5. Compute the period of the solution of the Kepler problem (2.2) and deduce

from the result Kepler’s “third law”.Hint. Comparing Kepler’s second law (2.6) with the area of the ellipse gives12L0T = abπ. Then apply (2.7). The result is T = 2π(2|H0|)−3/2 = 2πa3/2.

6. Deduce Kepler’s first law from (2.2) by the elegant method of Laplace (1799).Hint. Multiplying (2.2) with (2.5) gives

L0q1 =d

dt

(q2

r

), L0q2 =

d

dt

(−q1

r

),

and after integration L0q1 = q2r + B, L0q2 = − q1

r + A, where A and B areintegration constants. Then eliminate q1 and q2 by multiplying these equationsby q2 and −q1 respectively and by subtracting them. The result is a quadraticequation in q1 and q2.

7. Whatever the initial values for the Kepler problem are, 1 + 2H0L20 ≥ 0 holds.

Hence, the value e is well defined by (2.9).Hint. L0 is the area of the parallelogram spanned by the vectors q(0) and q(0).

Page 42: Editorial Board - math.univ-paris13.frcuvelier/docs/... · Reich, Chus Sanz-Serna, Zaijiu Shang, Yifa Tang, Matt West, Will Wright. We are especially grateful to Thanh-Ha Le Thi and

26 I. Examples and Numerical Experiments

8. Implementation of the Stormer–Verlet scheme. Explain why the use of the one-step formulation (1.17) is numerically more stable than that of the two-termrecursion (1.15).

9. Runge–Lenz–Pauli vector. Prove that the function

A(p, q) =

p1

p2

0

×

00

q1p2 − q2p1

− 1√

q21 + q2

2

q1

q2

0

is a first integral of the Kepler problem, i.e., A(p(t), q(t)

)= Const along

solutions of the problem. However, it is not a first integral of the perturbedKepler problem of Exercise 12.

10. Add a column to Table 2.1 which shows the long-time behaviour of the error inthe Runge–Lenz–Pauli vector (see Exercise 9) for the various numerical inte-grators.

11. For the Kepler problem, eliminate (p1, p2) from the relations H(p, q) = Const ,L(p, q) = Const and A(p, q) = Const . This gives a quadratic relation for(q1, q2) and proves that the solution lies on an ellipse, a parabola, or on a hy-perbola.

12. Study numerically the solution of the perturbed Kepler problem with Hamil-tonian

H(p1, p2, q1, q2) =12(p21 + p2

2

)− 1√

q21 + q2

2

− µ

3√

(q21 + q2

2)3,

where µ is a positive or negative small num-ber. Among others, this problem describesthe motion of a planet in the Schwarzschildpotential for Einstein’s general relativity the-ory7. You will observe a precession of theperihelion, which, applied to the orbit of Mer-cury, represented the historically first verifi-cation of Einstein’s theory (see e.g., Birkhoff1923, p. 261-264).

1 u

u′

η

µ = 0

µ > 0

The precession can also be expressed analytically: the equation for u = 1/r asa function of ϕ, corresponding to (2.8), here becomes

u′′ + u =1d

+ µu2, (6.1)

where d = L20. Now compute the derivative of this solution with respect to µ,

at µ = 0 and u = (1 + e cos(ϕ−ϕ∗))/d after one period t = 2π. This leads toη = µ(e/d2) ·2π sinϕ (see the small picture). Then, for small µ, the precessionafter one period is

∆ϕ =2πµd

. (6.2)

7 We are grateful to Prof. Ruth Durrer for helpful hints about this subject.