Validated enclosure of renormalization fixed points via Chebyshev series and the DFT

Maxime Breden, Jorge Gonzalez, J. D Mireles James

This work develops a computational framework for proving existence, uniqueness, isolation, and stability results for real analytic fixed points of $m$-th order Feigenbaum-Cvitanovi…