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

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

Cited In (37)

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

This page was built for publication: A computer-assisted proof of universality for area-preserving maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3308752)