Rigorous computer-assisted bounds on the period doubling renormalization fixed point and eigenfunctions in maps with critical point of degree 4

DOI10.1063/5.0054823zbMath1486.37024arXiv2006.13127OpenAlexW3210177238MaRDI QIDQ5015514

Andrew Burbanks, Andrew H. Osbaldestin, Judi A. Thurlby

Publication date: 9 December 2021

Published in: Journal of Mathematical Physics (Search for Journal in Brave)

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

zbMATH Keywords

unimodal mapsspace of analytic functionsrenormalization fixed point

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20) Universality and renormalization of dynamical systems (37E20) Dynamical systems involving maps of trees and graphs (37E25)

Related Items

Existence of the FS-type renormalisation fixed point for unidirectionally-coupled pairs of maps ⋮ A computer-assisted proof of dynamo growth in the stretch-fold-shear map

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Forty years of unimodal dynamics: on the occasion of Artur Avila winning the Brin Prize
• The full renormalization horseshoe for unimodal maps of higher degree: exponential contraction along hybrid classes
• On Feigenbaum's functional equation gg(lambdax)+lambdag(x)=0
• The universal metric properties of nonlinear transformations
• Computer methods and Borel summability applied to Feigenbaum's equation
• New proofs of the existence of the Feigenbaum functions
• Feigenbaum-Coullet-Tresser universality and Milnor's hairiness conjecture
• A complete proof of the Feigenbaum conjectures
• Quantitative universality for a class of nonlinear transformations
• Generalized dimensions of Feigenbaum's attractor from renormalization-group functional equations
• Renormalization for unimodal maps with non-integer exponents
• Global hyperbolicity of renormalization for \(C^r\) unimodal mappings
• Julia: A Fresh Approach to Numerical Computing
• A computer-assisted proof of universality for area-preserving maps
• On the dynamics of polynomial-like mappings
• A computer-assisted proof of the Feigenbaum conjectures
• A Precise Calculation of the Feigenbaum Constants
• Existence of the Siegel disc renormalization fixed point
• Renormalization and 3-Manifolds Which Fiber over the Circle
• Analytic Solutions of the Cvitanović–Feigenbaum and Feigenbaum–Kadanoff–Shenker Equations