Oscar Lanford - Proof of The Rigidity Conjectures

Proof of The Rigidity Conjectures

Lanford gave the first proof that the Feigenbaum-Cvitanovic functional equation has an even analytic solution g and that this fixed point g of the Feigenbaum renormalisation operator T is hyperbolic with a one dimensional unstable manifold.This provided the first mathematical proof of the rigidity conjectures of Feigenbaum. The proof was computer assisted. The hyperbolicity of the fixed point is essential to explain the Feigenbaum universality observed experimentally by Mitchell Feigenbaum and Coullet-Tresser. Feigenbaum has studied the logistic family and looked at the sequence of Period doubling bifurcations. Amazingly the asymptotic behavior near the accumulation point appeared universal in the sense that the same numerical values would appear. The logistic family of maps on the interval for example would lead to the same asymptotic law of the ratio of the differences between the bifurcation values a(n) than . The result is that converges to the Feigenbaum constants which is a "universal number" independent of the map f. The bifurcation diagram has become an icon of chaos theory. Campanino and Epstein also gave a proof of the fixed point without computer assistance but did not establish its hyperbolicity. They cite in their paper Lanfords computer assisted proof. There are also lecture notes of Lanford from 1979 in Zurich and announcements in 1980. The hyperbolicity is essential to verify the picture discovered numerically by Feigenbaum and independently by Coullet and Tresser. Lanford later gave a shorter proof using the Leray-Schauder fixed point theorem but establishing only the fixed point without the hyperbolicity. Lyubich published in 1999 the first not computer assisted proof which also establishes hyperbolicity. Work of Sullivan later showed that the fixed point is unique in the class of real valued quadratic like germs.

Read more about this topic:  Oscar Lanford

Famous quotes containing the words proof of the, proof of, proof, rigidity and/or conjectures:

    Sculpture and painting are very justly called liberal arts; a lively and strong imagination, together with a just observation, being absolutely necessary to excel in either; which, in my opinion, is by no means the case of music, though called a liberal art, and now in Italy placed even above the other two—a proof of the decline of that country.
    Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

    A short letter to a distant friend is, in my opinion, an insult like that of a slight bow or cursory salutation—a proof of unwillingness to do much, even where there is a necessity of doing something.
    Samuel Johnson (1709–1784)

    a meek humble Man of modest sense,
    Who preaching peace does practice continence;
    Whose pious life’s a proof he does believe,
    Mysterious truths, which no Man can conceive.
    John Wilmot, 2d Earl Of Rochester (1647–1680)

    [University students] hated the hypocrisy of adult society, the rigidity of its political institutions, the impersonality of its bureaucracies. They sought to create a society that places human values before materialistic ones, that has a little less head and a little more heart, that is dominated by self-interest and loves its neighbor more. And they were persuaded that group protest of a militant nature would advance those goals.
    Muriel Beadle (b. 1915)

    Our conjectures pass upon us for truths; we will know what we do not know, and often, what we cannot know: so mortifying to our pride is the base suspicion of ignorance.
    Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)