Computer methods and Borel summability applied to Feigenbaum's equation (Q1079858)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computer methods and Borel summability applied to Feigenbaum's equation |
scientific article |
Statements
Computer methods and Borel summability applied to Feigenbaum's equation (English)
0 references
1985
0 references
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.
0 references
computer-assisted proofs
0 references
Borel summability
0 references
Feigenbaum's equation
0 references
singular perturbations
0 references
Ecalle's theory of resurgent functions
0 references