A computer-assisted proof of universality for area-preserving maps
From MaRDI portal
Publication:3308752
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
Newton iterationconservative dynamical systemFeigenbaum universality relationperiod-doubling universality
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 (37)
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
This page was built for publication: A computer-assisted proof of universality for area-preserving maps
