Validated Enclosure of Renormalization Fixed Points Via Chebyshev Series and the DFT
摘要
This work develops a computational framework for proving existence, uniqueness, isolation, and stability results for degree d, real analytic, unimodal functions fixed by m-th order Feigenbaum–Coullet–Tresser–Cvitanović renormalization operators using Chebyshev series approximation. Here the order m of the operator refers to the number of function compositions involved in its definition, and the degree d of the fixed function is the number of derivatives vanishing at its (unique) critical point. The advantage of Chebyshev series is that they are naturally adapted to spaces of real analytic functions, in the sense that they converge on ellipses containing real intervals rather than on disks in