Rigorous Numerics in Floquet Theory: Computing Stable and Unstable Bundles of Periodic Orbits

DOI10.1137/120873960zbMath1293.37033arXiv1112.4874OpenAlexW2023078666MaRDI QIDQ2871323

Jean-Philippe Lessard, Roberto Castelli

Publication date: 22 January 2014

Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1112.4874

zbMATH Keywords

periodic orbits Floquet theory contraction mapping theorem rigorous numerics tangent bundles fundamental matrix solutions

Mathematics Subject Classification ID

Periodic orbits of vector fields and flows (37C27) Asymptotic properties of solutions to ordinary differential equations (34D05) Topological dynamics of nonautonomous systems (37B55) Approximation methods and numerical treatment of dynamical systems (37M99) Error analysis and interval analysis (65G99)

Related Items (18)

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation ⋮ Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos ⋮ Stability and uniqueness of slowly oscillating periodic solutions to Wright's equation ⋮ Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation ⋮ Robust orbital stabilization: A Floquet theory–based approach ⋮ Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem ⋮ A functional analytic approach to validated numerics for eigenvalues of delay equations ⋮ Rapidly and slowly oscillating periodic solutions of a delayed van der Pol oscillator ⋮ Analytic enclosure of the fundamental matrix solution. ⋮ Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits ⋮ Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof ⋮ Rigorous continuation of periodic solutions for impulsive delay differential equations ⋮ Efficient representation of invariant manifolds of periodic orbits in the CRTBP ⋮ Rigorous numerics for NLS: bound states, spectra, and controllability ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach ⋮ Rigorous numerics for nonlinear operators with tridiagonal dominant linear part

Uses Software

INTLAB

This page was built for publication: Rigorous Numerics in Floquet Theory: Computing Stable and Unstable Bundles of Periodic Orbits