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. The second edition is substantially revised and enlarged, with many improvements in the presentation and additions concerning in particular non-canonical Hamiltonian systems, highly oscillatory mechanical systems, and the dynamics of multistep methods.

The term differential-algebraic equation was coined to comprise differential equations with constraints (differential equations on manifolds) and singular implicit differential equations. Such problems arise in a variety of applications, e.g. constrained mechanical systems, fluid dynamics, chemical reaction kinetics, simulation of electrical networks, and control engineering. From a more theoretical viewpoint, the study of differential-algebraic problems gives insight into the behaviour of numerical methods for stiff ordinary differential equations. These lecture notes provide a self-contained and comprehensive treatment of the numerical solution of differential-algebraic systems using Runge-Kutta methods, and also extrapolation methods. Readers are expected to have a background in the numerical treatment of ordinary differential equations. The subject is treated in its various aspects ranging from the theory through the analysis to implementation and applications.

This book covers numerical methods that preserve properties of Hamiltonian systems, reversible systems, differential equations on manifolds and problems with highly oscillatory solutions. It presents a

theory of symplectic and symmetric methods, which include various specially designed integrators, as well as discusses their construction and practical merits. The long-time behavior of the numerical solutions is studied using a backward error analysis combined with KAM theory.