New proofs of the existence of the Feigenbaum functions (Q1086385): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Created claim: Wikidata QID (P12): Q29391602, #quickstatements; #temporary_batch_1706331283219
Property / Wikidata QID
 
Property / Wikidata QID: Q29391602 / rank
 
Normal rank

Revision as of 05:56, 27 January 2024

scientific article
Language Label Description Also known as
English
New proofs of the existence of the Feigenbaum functions
scientific article

    Statements

    New proofs of the existence of the Feigenbaum functions (English)
    0 references
    0 references
    1986
    0 references
    The following problem is considered: find real constants \(\lambda\in (0,1)\) and \(r>1\), and an even solution g of the Cvitanović-Feigenbaum functional equation \[ \lambda g(x)=-g(g(-\lambda x)),\quad x\in (-1,1), \] with the following properties: (i) there exists a function f, analytic with \(f'<0\) on [0,1] such that \(g(x)=f(x^ r)\) for all \(x\in (0,1)\), \(f(0)=1\). (ii) The inverse function U of f extends to an anti-Herglotz function, i.e. -U is holomorphic in the upper (lower) half-plane and maps it into itself. Solutions are sought as fixed points of suitable maps and the Schauder-Tikhonov theorem is applied. The existence of solutions is obtained for all \(\lambda\in (0,1)\), and the existence of the Eckmann- Wittwer functions is recovered. The method also provides the existence of solutions for certain given values of r, and in particular, for \(r=2\), a proof requiring no computer.
    0 references
    period-doubling
    0 references
    holomorphic dynamical systems
    0 references
    Cvitanović-Feigenbaum functional equation
    0 references
    Eckmann-Wittwer functions
    0 references

    Identifiers