Computer methods and Borel summability applied to Feigenbaum's equation

From MaRDI portal





This book considers the Feigenbaum universality for functions of \(| x|^{2N}\) with \(N\) very large, i.e. the functional equation \[ f_N(z)=\frac{1}{\lambda_N} f_N \left(\left[f_N(| \lambda_N|^{2N}z)\right]^{2N}\right),\quad f_N(0)=1. \] For large \(N\) this problem is viewed as a perturbation of the case \(N=\infty\), which turns out to be singular. The main parts of the book are: 1. Feigenbaum's universality, 2. Ecalle's theory of resurgent functions, 3. constructive aspects of Borel summation, 4. techniques for computer-assisted proofs. Of particular interest is the chapter dealing with computer-assisted proofs. Here the intention is to prove a theorem by invoking the contraction mapping principle in Banach space. The computer is used to give rigorous bounds for \(\| f_0-Kf_0\|\) and \(\| DK_f\|\), where \(K\) is the operator defining the equation of interest \(Kf=f\) and \(DK_f\) the tangent map of \(K\) at \(f\). The book includes many FORTRAN subroutines and programs, which may be helpful also for other problems. For the readers it might be useful to have the programs available in machine-readable form.




Cited in
(31)








This page was built for publication: Computer methods and Borel summability applied to Feigenbaum's equation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1079858)