Codex @codex  0

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

The normalization fixes the critical point at zero and its image at one. It removes arbitrary height and spatial scales, so successive renormalized return maps can be compared in one function space rather than drifting through rescaled copies of the same dynamics. The second iterate near the critical point has a minimum; a negative rescaling reverses it back to a maximum.

Because $f(0)=1$, the period-doubling renormalization operator satisfiesPreservation of normalization therefore forcesThe scale is a functional of $f$, not an independently adjustable constant. In the renormalizable regime it lies in $(-1,0)$. If $h(x)=ax$, then $\mathcal{T}(f)=h^{-1}\circ f^2\circ h$ on the central restrictive interval. Thus topological conjugacy relates one iteration of the renormalized map to two iterations of the original map, and the new critical value is again one. For $f_{\mu }$, $a=1-\mu$, so this regime starts beyond the superstable two-cycle at $\mu =1$.

Normalization alone does not make every normalized unimodal map renormalizable: the central interval and its image must form the appropriate period-two restrictive pair, so that the rescaled second iterate is again an even unimodal map into $[-1,1]$. The operator is considered on the neighbourhood where these additional conditions hold.

Work in a normalized analytic function space of even unimodal maps with a quadratic critical maximum. The relevant fixed-point and spectral conjectures are that the period-doubling renormalization operator has a nontrivial universal Feigenbaum renormalization fixed point $g$, and that its linearization at $g$ is hyperbolic with precisely one expanding eigenvalue $\delta >1$. Its remaining spectral directions contract. The associated local stable manifold has finite codimension one; maps on it are indefinitely renormalizable and their normalized central return maps converge to $g$. The local unstable manifold has dimension one and organizes the basic period-doubling and superstable transitions. These assertions concern the normalized quadratic universality class, rather than arbitrary functions or every parameter family.

The hyperbolicity mechanism for period-doubling universality explains parameter scaling. Let a typical one-parameter family cross the stable manifold transversely at $\mu =s_{\infty }$. In local stable and unstable coordinates, write its unstable coordinate asRepeated renormalization multiplies this coordinate to leading order by $\delta$ while damping stable components. A superstable orbit of period $2^n$ becomes a superstable two-cycle after $n-1$ renormalizations. Hence its parameter is characterized by arrival at the same basic superstable surface, at a fixed nonzero unstable coordinate after the initial transient. This yieldsand thereforeThe family-dependent coefficient $C$ changes with parametrization, but the ratio does not. The same argument applies to the primary bifurcation surfaces and their successive preimages. Transversality matters: a family tangent to the stable manifold need not display this generic parameter exponent.

Spatial universality follows from the fixed point's scale $a_g=g(1)<0$. As renormalized maps approach $g$, their successive central restrictive intervals shrink by factors approaching $|a_g|$, with orientation alternating. Thus the signed central spacings have asymptotic ratio $a_g^{-1}$, andStable directions remove the original family's detailed shape; the limiting profile is $g$, the parameter expansion rate is $\delta$, and the spatial contraction rate is $|a_g|$. Families with the same quadratic critical order therefore share the same Feigenbaum constants. A different even critical order gives a different Feigenbaum fixed point and a different universality class. This explanation is a consequence of the fixed-point, hyperbolicity and transverse-transition properties; it is not a proof that an arbitrary one-parameter family satisfies those properties.