A computer-assisted proof of universality for area-preserving maps

DOI10.1090/memo/0289zbMath0528.58033OpenAlexW1995676005MaRDI QIDQ3308752

Hans Koch, Peter Wittwer, Jean-Pierre Eckmann

Publication date: 1984

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/memo/0289

zbMATH Keywords

Newton iterationconservative dynamical systemFeigenbaum universality relationperiod-doubling universality

Mathematics Subject Classification ID

Measure-preserving transformations (28D05) Numerical methods for ordinary differential equations (65L99) Dynamical systems and ergodic theory (37-XX) Probabilistic methods, stochastic differential equations (65C99)

Related Items

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations, On computer-assisted proving the existence of periodic and bounded orbits, Asymptotic scaling and universality for skew products with factors in SL(2,), Period-doubling in two-parameter families, Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation, Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra, Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence, Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits, The Lorenz Renormalization Conjecture, A non-Gaussian renormalization group fixed point for hierarchical scalar lattice field theories, Convergence analysis of Taylor models and McCormick-Taylor models, A rigorous implicit \(C^1\) Chebyshev integrator for delay equations, Chebyshev model arithmetic for factorable functions, On the invariant Cantor sets of period doubling type of infinitely renormalizable area-preserving maps, A computer-assisted proof of dynamo growth in the stretch-fold-shear map, Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem, Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds, Validated numerics for continuation and bifurcation of connecting orbits of maps, Validated numerical approximation of stable manifolds for parabolic partial differential equations, Computation of maximal local (un)stable manifold patches by the parameterization method, Combination laws for scaling exponents and relation to the geometry of renormalization operators, Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity, Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds, Torus knot choreographies in the n-body problem, Automatic differentiation for Fourier series and the radii polynomial approach, Finite resolution dynamics, Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence, Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach, A renormalization approach to invariant circles in area-preserving maps, On hyperbolicity in the renormalization of near-critical area-preserving maps, Rigidity for infinitely renormalizable area-preserving maps, Topological invariants, multivalued maps and computer assisted proofs in dynamics, A complete proof of the Feigenbaum conjectures, Bifurcations of Banach space operators, Rigorous computer-assisted bounds on the period doubling renormalization fixed point and eigenfunctions in maps with critical point of degree 4, Spectral properties of renormalization for area-preserving maps, Living with a new mathematical species