Skip to main content

2002 | Buch

Geometric Numerical Integration

Structure-Preserving Algorithms for Ordinary Differential Equations

verfasst von: Ernst Hairer, Gerhard Wanner, Christian Lubich

Verlag: Springer Berlin Heidelberg

Buchreihe : Springer Series in Computational Mathematics

insite
SUCHEN

Über dieses Buch

Numerical methods that preserve properties of Hamiltonian systems, reversible systems, differential equations on manifolds and problems with highly oscillatory solutions are the subject of this book. A complete self-contained theory of symplectic and symmetric methods, which include Runge-Kutta, composition, splitting, multistep and various specially designed integrators, is presented and their construction and practical merits are discussed. The long-time behaviour of the numerical solutions is studied using a backward error analysis (modified equations) combined with KAM theory. The book is illustrated by many figures, it treats applications from physics and astronomy and contains many numerical experiments and comparisons of different approaches.

Inhaltsverzeichnis

Frontmatter
Chapter I. Examples and Numerical Experiments
Abstract
This chapter introduces some interesting examples of differential equations and illustrates different types of qualitative behaviour of numerical methods. We deliberately consider only very simple numerical methods of orders 1 and 2 to emphasize the qualitative aspects of the experiments. The same effects (on a different scale) occur with more sophisticated higher-order integration schemes. The experiments presented here should serve as a motivation for the theoretical and practical investigations of later chapters. The reader is encouraged to repeat the experiments or to invent similar ones.
Ernst Hairer, Gerhard Wanner, Christian Lubich
Chapter II. Numerical Integrators
Abstract
After having seen in Chap. I some simple numerical methods and a variety of numerical phenomena that they exhibited, we now present more elaborate classes of numerical methods. We start with Runge-Kutta and collocation methods, and we introduce discontinuous collocation methods, which cover essentially all high-order implicit Runge-Kutta methods of interest. We then treat partitioned Runge-Kutta methods and Nyström methods, which can be applied to partitioned problems such as Hamiltonian systems. Finally we present composition and splitting methods.
Ernst Hairer, Gerhard Wanner, Christian Lubich
Chapter III. Order Conditions, Trees and B-Series
Abstract
In this chapter we present a compact theory of the order conditions of the methods presented in Chap. II, in particular Runge-Kutta methods, partitioned Runge-Kutta methods, and composition methods by using the notion of rooted trees and B-series. These ideas lead to algebraic structures which have recently found interesting applications in quantum field theory. The chapter terminates with the Baker-CampbellHausdorff formula, which allows another access to the order properties of composition and splitting methods.
Ernst Hairer, Gerhard Wanner, Christian Lubich
Chapter IV. Conservation of First Integrals and Methods on Manifolds
Abstract
This chapter deals with the conservation of invariants (first integrals) by numerical methods, and with numerical methods for differential equations on manifolds. Our investigation will follow two directions. We first investigate which of the methods introduced in Chap. II conserve invariants automatically. We shall see that most of them conserve linear invariants, a few of them quadratic invariants, and none of them conserves cubic or general nonlinear invariants. We then construct new classes of methods, which are adapted to known invariants and which force the numerical solution to satisfy them. In particular, we study projection methods and methods based on local coordinates of the manifold defined by the invariants. We discuss in some detail the case where the manifold is a Lie group.
Ernst Hairer, Gerhard Wanner, Christian Lubich
Chapter V. Symmetric Integration and Reversibility
Abstract
Symmetric methods of this chapter and symplectic methods of the next chapter play a central role in the geometric integration of differential equations. We discuss reversible differential equations and reversible maps, and we explain how symmetric integrators are related to them. We study symmetric Runge-Kutta and composition methods, and we show how standard approaches for solving differential equations on manifolds can be symmetrized. A theoretical explanation of the excellent longtime behaviour of symmetric methods applied to reversible differential equations will be given in Chap. XI.
Ernst Hairer, Gerhard Wanner, Christian Lubich
Chapter VI. Symplectic Integration of Hamiltonian Systems
Abstract
Hamiltonian systems form the most important class of ordinary differential equations in the context of ‘Geometric Numerical Integration’. An outstanding property of these systems is the symplecticity of the flow. As indicated in the following diagram, https://static-content.springer.com/image/chp%3A10.1007%2F978-3-662-05018-7_6/MediaObjects/978-3-662-05018-7_6_Fig2_HTML.jpg Hamiltonian theory operates in three different domains (equations of motion, partial differential equations and variational principles) which are all interconnected. Each of these viewpoints, which we will study one after the other, leads to the construction of methods preserving the symplecticity.
Ernst Hairer, Gerhard Wanner, Christian Lubich
Chapter VII. Further Topics in Structure Preservation
Abstract
We discuss theoretical properties and the numerical treatment of three classes of problems that are closely related to Hamiltonian systems as considered in Chap. VI. In particular we study symmetric and symplectic methods for constrained Hamiltonian systems, we present Poisson integrators for Hamiltonian problems with a non-standard structure matrix, and we give volume-preserving algorithms for divergence-free differential equations that are not necessarily Hamiltonian systems.
Ernst Hairer, Gerhard Wanner, Christian Lubich
Chapter VIII. Structure-Preserving Implementation
Abstract
This chapter is devoted to practical aspects of an implementation of geometric integrators. We explain strategies for changing the step size which do not deteriorate the correct qualitative behaviour of the solution. We study multiple time stepping strategies, the effect of round-off in long-time integrations, and the efficient solution of nonlinear systems arising in implicit integration schemes.
Ernst Hairer, Gerhard Wanner, Christian Lubich
Chapter IX. Backward Error Analysis and Structure Preservation
Abstract
The origin of backward error analysis dates back to the work of Wilkinson (1960) in numerical linear algebra. For the study of integration methods for ordinary differential equations, its importance was seen much later. The present chapter is devoted to this theory. It is very useful, when the qualitative behaviour of numerical methods is of interest, and when statements over very long time intervals are needed. The formal analysis (construction of the modified equation, study of its properties) gives already a lot of insight into numerical methods. For a rigorous treatment, the modified equation, which is a formal series in powers of the step size, has to be truncated. The error, induced by such a truncation, can be made exponentially small, and the results remain valid on exponentially long time intervals.
Ernst Hairer, Gerhard Wanner, Christian Lubich
Chapter X. Hamiltonian Perturbation Theory and Symplectic Integrators
Abstract
In this chapter we study the long-time behaviour of symplectic integrators, combining backward error analysis and the perturbation theory of integrable Hamiltonian systems.
Ernst Hairer, Gerhard Wanner, Christian Lubich
Chapter XI. Reversible Perturbation Theory and Symmetric Integrators
Abstract
Numerical experiments indicate that symmetric methods applied to integrable and near-integrable reversible systems share similar properties to symplectic methods applied to (near-)integrable Hamiltonian systems: linear error growth, long-time near-conservation of first integrals, existence of invariant tori. The present chapter gives a theoretical explanation of the good long-time behaviour of symmetric methods. The results and techniques are largely analogous to those of the previous chapter — the extent of the analogy may indeed be seen as the most surprising feature of this chapter.
Ernst Hairer, Gerhard Wanner, Christian Lubich
Chapter XII. Dissipatively Perturbed Hamiltonian and Reversible Systems
Abstract
Symplectic integrators also show a favourable long-time behaviour when they are applied to non-Hamiltonian perturbations of Hamiltonian systems. The same is true for symmetric methods applied to non-reversible perturbations of reversible systems. In this chapter we study the behaviour of numerical integrators when they are applied to dissipative perturbations of integrable systems, where only one invariant torus persists under the perturbation and becomes weakly attractive. The simplest example of such a system is Van der Pol’s equation with small parameter, which has a single limit cycle in contrast to the infinitely many periodic orbits of the unperturbed harmonic oscillator.
Ernst Hairer, Gerhard Wanner, Christian Lubich
Chapter XIII. Highly Oscillatory Differential Equations
Abstract
This chapter deals with numerical methods for second-order differential equations with oscillatory solutions. These methods are designed to require a new complete function evaluation only after a time step over one or many periods of the fastest oscillations in the system. Various such methods have been proposed in the literature some of them decades ago, some very recently, motivated by problems from molecular dynamics, astrophysics and nonlinear wave equations. For these methods it is not obvious what implications geometric properties like symplecticity or reversibility have on the long-time behaviour, e.g., on energy conservation. The backward error analysis of Chap. IX, which was the backbone of the results of the three preceding chapters, is no longer applicable when the product of the step size with the highest frequency is not small, which is the situation of interest here. The “exponentially small” remainder terms are now only O(1)! At least for a class of nonlinear model problems, which includes the Fermi-Pasta-Ulam problem of Sect. 1.4.1, a substitute for the backward error analysis of Chap. IX is given by the modulated Fourier expansions of the exact and the numerical solutions. Among other properties, they permit us to understand the numerical long-time conservation of energy (or the failure of conserving energy in certain cases). It turns out, symmetry of the methods is still essential, but symplecticity plays no role in the analysis and in the numerical experiments, and new conditions of an apparently non-geometric nature come into play.
Ernst Hairer, Gerhard Wanner, Christian Lubich
Chapter XIV. Dynamics of Multistep Methods
Abstract
Multistep methods are the basis of important codes for nonstiff differential equations (Adams methods) and for stiff problems (BDF methods). We study here their applicability to long-time integrations of Hamiltonian or reversible systems.
Ernst Hairer, Gerhard Wanner, Christian Lubich
Backmatter
Metadaten
Titel
Geometric Numerical Integration
verfasst von
Ernst Hairer
Gerhard Wanner
Christian Lubich
Copyright-Jahr
2002
Verlag
Springer Berlin Heidelberg
Electronic ISBN
978-3-662-05018-7
Print ISBN
978-3-662-05020-0
DOI
https://doi.org/10.1007/978-3-662-05018-7