A computer-assisted proof of the Feigenbaum conjectures

DOI10.1090/S0273-0979-1982-15008-XzbMath0487.58017WikidataQ29035956 ScholiaQ29035956MaRDI QIDQ3948344

Oscar E. III Lanford

Publication date: 1982

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

zbMATH Keywords

Newton's methodnumerical estimatesmappings of an intervalexistence of Feigenbaum's fixed pointperiod doubling bifurcations of interval mappings

Mathematics Subject Classification ID

Fixed points and periodic points of dynamical systems; fixed-point index theory; local dynamics (37C25) Local and nonlocal bifurcation theory for dynamical systems (37G99)

Related Items (only showing first 100 items - show all)

Microscopic patterns in the 2D phase-field-crystal model ⋮ Validated Spectral Stability via Conjugate Points ⋮ Oscillating sequences, MMA and MMLS flows and Sarnak’s conjecture ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ A period-doubling cascade precedes chaos for planar maps ⋮ AN ALGORITHM FOR FINDING INVARIANT ALGEBRAIC CURVES OF A GIVEN DEGREE FOR POLYNOMIAL PLANAR VECTOR FIELDS ⋮ Dimension of invariant measures for maps with exponent zero ⋮ Feigenbaum Numbers for Certain Flat-Top Families ⋮ Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems ⋮ Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature ⋮ FORMAL SOLUTIONS OF THE CVITANOVIC–FEIGENBAUM EQUATION ⋮ A computer-assisted proof of dynamo growth in the stretch-fold-shear map ⋮ Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd ⋮ Asymptotically holomorphic methods for infinitely renormalizable unimodal maps ⋮ Computer‐assisted analysis of chaos in a three‐species food chain model ⋮ Scenarios for the creation of hyperchaotic attractors in 3D maps ⋮ Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems ⋮ Computer experiments and visualization in mathematics and physics: a subjective short walk among some historical examples ⋮ Square Coloring Planar Graphs with Automatic Discharging ⋮ A Posteriori Validation of Generalized Polynomial Chaos Expansions ⋮ Étude de la classification topologique des fonctions unimodales. (Study of the topological classification of unimodal functions) ⋮ Rigorous estimates for a computer-assisted KAM theory ⋮ RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS ⋮ NUMERICAL APPROXIMATION OF THE PERCENTAGE OF ORDER FOR ONE-DIMENSIONAL MAPS ⋮ Torus knot choreographies in the n-body problem ⋮ On the hyperbolicity of the period-doubling fixed point ⋮ PERIOD DOUBLING, INFORMATION ENTROPY, AND ESTIMATES FOR FEIGENBAUM'S CONSTANTS ⋮ PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE ⋮ Period-doubling cascades galore ⋮ Linear Independence of Iterates and Meromorphic Solutions of Functional Equations ⋮ Unnamed Item ⋮ Reducible expansions and related sharp crossovers in Feigenbaum’s renormalization field ⋮ Parameter renormalization of maps based on potential function ⋮ Period-doubling for two-dimensional non-invertible maps: Renormalization group analysis and quantitative universality ⋮ The real analytic Feigenbaum–Coullet–Tresser attractor in the disc ⋮ Numerical computation of orbits and rigorous verification of existence of snapback repellers ⋮ Chaotic period doubling ⋮ Towards understanding the theoretical challenges of numerical modeling of dynamical systems ⋮ NINETY PLUS THIRTY YEARS OF NONLINEAR DYNAMICS: LESS IS MORE AND MORE IS DIFFERENT ⋮ Linear Independence of Iterates and Entire Solutions of Functional Equations ⋮ Contributions to computational analysis ⋮ Bifurcations of Banach space operators ⋮ Geometry of the Feigenbaum map ⋮ On Lebesgue measure and Hausdorff dimension of Julia sets of real periodic points of renormalization ⋮ Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem ⋮ Rigorous computer-assisted bounds on the period doubling renormalization fixed point and eigenfunctions in maps with critical point of degree 4 ⋮ Geometry of Cantor Systems ⋮ Hyperbolicity of renormalization for dissipative gap mappings ⋮ Invariant manifolds for non-differentiable operators ⋮ The Feigenbaum functional equation and periodic points ⋮ On the concept of attractor ⋮ Transition to topological chaos for circle maps ⋮ A C^r unimodal map with an arbitrary fast growth of the number of periodic points ⋮ Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ Computer-assisted proofs in analysis ⋮ Metric universalities and systems of renormalization group equations for bimodal maps ⋮ On computer-assisted proving the existence of periodic and bounded orbits ⋮ Period-doubling in two-parameter families ⋮ Tensor RG approach to high-temperature fixed point ⋮ A general method for computer-assisted proofs of periodic solutions in delay differential problems ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Chaotic dynamical systems: An introduction ⋮ Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach ⋮ Knotted periodic orbits in suspensions of Smale's horseshoe: period multiplying and cabled knots ⋮ Mathematics and computing ⋮ Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra ⋮ A metric property of period doubling for nonisosceles trapezoidal maps on an interval ⋮ Computability and Dynamical Systems ⋮ Local study of a renormalization operator for 1D maps under quasiperiodic forcing ⋮ The entropy function for characteristic exponents ⋮ A non-Gaussian renormalization group fixed point for hierarchical scalar lattice field theories ⋮ Rigorous continuation of bifurcation points in the diblock copolymer equation ⋮ Shift-maximal sequences in function iteration: Existence, uniqueness and multiplicity ⋮ On constructing complete solution classes of the Cvitanović-Feigenbaum equation ⋮ Period doubling in maps with a maximum of order ⋮ Period doubling for \(C^{2+\epsilon}\) mappings ⋮ Complex bounds for real maps ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Homoclinic tangencies near cascades of period doubling bifurcations ⋮ Choptuik's critical spacetime exists ⋮ Rigorous computer-assisted application of KAM theory: a modern approach ⋮ On the Lebesgue measure of the Feigenbaum Julia set ⋮ 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 ⋮ Periodic orbits in Hořava-Lifshitz cosmologies ⋮ Fixed points indices and period-doubling cascades ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ Neural spike renormalization. I: Universal number 1 ⋮ Asymmetric unimodal maps with non-universal period-doubling scaling laws ⋮ On the behaviour of the spectral characteristic of Feigenbaum's map ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Analytic solutions of systems of functional equations. ⋮ Fractal boundary of domain of analyticity of the Feigenbaum function and relation to the Mandelbrot set ⋮ Analyticity properties of the Feigenbaum function ⋮ Poly-time computability of the Feigenbaum Julia set ⋮ Computer assisted proofs of two-dimensional attracting invariant tori for ODEs ⋮ On the exponentially self-regulating population model ⋮ Small random perturbations of dynamical systems and the definition of attractors

Cites Work

• On Feigenbaum's functional equation gg(lambdax)+lambdag(x)=0
• The universal metric properties of nonlinear transformations
• Universal properties of maps on an interval
• On the existence of Feigenbaum's fixed point
• Quantitative universality for a class of nonlinear transformations
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A computer-assisted proof of the Feigenbaum conjectures