The parameterization method for invariant manifolds. From rigorous results to effective computations (Q266342)

In this monograph, the authors present a unified formulation of the parametrization method applied in some specific contexts, namely: invariant manifolds associated with fixed points, invariant tori in quasi-periodically forced systems, invariant tori in Hamiltonian systems and normally hyperbolic invariant manifolds. They also give efficient and reliable algorithms for the numerical computation of invariant manifolds based on the parametrization method, and provide some methodology for computer-assisted proofs. The book contains 12 detailed examples, some of which with computer-aided proofs, and with practical details of their implementation. The book is divided into five chapters. Chapter 1 provides an overview of the literature and introduces unified formulations of the parametrization method for invariant manifolds of fixed points and for invariant tori in various contexts. Chapter 2 is devoted to the computation of invariant manifolds of fixed points for vector fields. The authors give some algorithms for the computation of semi-local expansions, by using expansions of parametrizations as formal power series and automatic differentiation techniques. The detailed examples given in this chapter are the 2D stable manifold of the origin of the Lorenz system, the 4D center manifold of the \(L_1\) equilibrium point of the Earth-Moon circular, spatial restricted three-body problem, and a 6D reparametrization of the neighborhood of \(L_1\) that provides a change of variables to adapted coordinates from which Conley's transit and non-transit trajectories can be easily generated. Chapter 3 contains a complete review of the application of the parametrization method for invariant tori in quasi-periodic systems which includes a detailed version of a Newton-Kantorovich-type theorem, leading to several algorithms of computation of invariant tori. The authors also explain a computer-assisted methodology for the validation of numerical results. They give three examples, namely: a quasi-periodically forced standard map for which they compute saddle invariant tori on the verge of the hyperbolicity breakdown, the computation of invariant bundles in quasi-periodically forced linear skew-products with the establishment of rigorous upper bounds of the measure of Cantor-like spectra of a discrete Schrödinger operator, and the validation of an attracting invariant curve looking like a strange nonchaotic attractor. Chapter 4 is focused on the parametrization method in KAM (Kolmogorov-Arnold-Moser) theory for the study of Lagrangian invariant tori of fixed frequency for exact symplectic maps, by reviewing both the geometrical and analytical tools. A KAM theorem in a posteriori format with explicit bounds suitable to be applied in an effective and quantitative way is proved. Applications of the theorem are also presented, such as: the persistence of the golden invariant curve of the standard map for very small values of the perturbation parameter, the computation of the Lagrangian invariant tori with the implementation of the algorithm for computing the golden invariant curve up to the values very close to the breakdown, and the computation of 2D tori in the Froeschlé map. Chapter 5 deals with a Newton-like method for solving the invariance equations arising from a parametrization method for computing normally hyperbolic invariant manifolds modeled by the standard torus. This algorithm is applied to the computation of invariant curves in 2D and 3D ``fattened'' extensions of the Arnold standard circle map, and the computation of a normally hyperbolic invariant cylinder for the Froeschlé map. The monograph contains an extensive bibliography and is recommended to researchers specialized in the theoretical and computational methods for the study of dynamical systems.