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
Spectral properties of renormalization for area-preserving maps
On computer-assisted proving the existence of periodic and bounded orbits
On hyperbolicity in the renormalization of near-critical area-preserving maps
Period-doubling in two-parameter families
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
Rigorous computer-assisted bounds on the period doubling renormalization fixed point and eigenfunctions in maps with critical point of degree 4
Rigidity for infinitely renormalizable area-preserving maps
Finite resolution dynamics
A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
Bifurcations of Banach space operators
Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
A computer-assisted proof of dynamo growth in the stretch-fold-shear map
Topological invariants, multivalued maps and computer assisted proofs in dynamics
The Lorenz renormalization conjecture
Automatic differentiation for Fourier series and the radii polynomial approach
Computer assisted Fourier analysis in sequence spaces of varying regularity
Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
Asymptotic scaling and universality for skew products with factors in SL(2,)
Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
Torus knot choreographies in the \(n\)-body problem
Computation of maximal local (un)stable manifold patches by the parameterization method
Validated numerics for continuation and bifurcation of connecting orbits of maps
Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
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
Convergence analysis of Taylor models and McCormick-Taylor models
Validated numerical approximation of stable manifolds for parabolic partial differential equations
A complete proof of the Feigenbaum conjectures
Living with a new mathematical species
Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
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)