Feigenbaum renormalization fixed point ($g=\mathcal{T}(g)$)

A Feigenbaum fixed point is an even analytic unimodal interval map $g$ with $g(0)=1$, a critical maximum of even order $d$, $a=g(1)\in (-1,0)$ andIn the quadratic class $g^{\prime \prime }(0)<0$. Its spatial scaling uses the Feigenbaum constants convention $\alpha =-1/a$; the values depend on the critical order. The central restrictive intervals are successively reduced by $|a|$ under renormalization. This fixed point describes the limiting shape of repeatedly renormalized maps at a period-doubling accumulation.

// Target: dynamical-systems.bigb

An approximate analytic fixed point of the period-doubling renormalization operator can be certified by a frozen Newton correction for a fixed-point equation. A coefficient Banach space, rigorous residual and derivative bounds, and an a posteriori contraction ball give existence and local uniqueness in the full function space. Interval arithmetic controls finite computations; analytic estimates control the infinite coefficient tail.

// Target: dynamical-systems.bigb

Suppose $g(x)=1+c{x}^d+O(x^{d+2})$, with even $d$ and $c<0$. Expanding the period-doubling renormalization operator exactly at zero gives $a^{d-1}{g}^{\prime }(1)=1$. Approximating globally by $1+c{x}^d$ gives $c\approx a-1$ and $g^{\prime }(1)\approx dc$, hence $d(a-1)a^{d-1}\approx 1$. For $d=2$, $a\approx (1-\sqrt{3})/2$, $g(x)\approx 1-(1+\sqrt{3})x^2/2$ and $\alpha \approx 1+\sqrt{3}$. The coefficient relation is a polynomial-truncation approximation, not an exact identity for the full analytic fixed point.

// Target: numerical-analysis.bigb

At the normalized quadratic fixed point $g$, one expanding eigenvalue $\delta >1$ of $D\mathcal{T}(g)$ and a contracting complement give a stable manifold of finite codimension one. A generic one-parameter family crosses that manifold transversely at its cascade accumulation. Its unstable coordinate is initially proportional to parameter distance and multiplies by $\delta$ per renormalization, yielding $s_{\infty }-s_n\sim C{\delta }^{-n}$. Stable components disappear, while the fixed point's orientation-reversing scale $a$ yields signed spatial ratios $a^{-1}=-\alpha$.

// Target: dynamical-systems.bigb