Formal Definition
Let be a holomorphic endomorphism where is a Riemann surface, and let U be a connected component of the Fatou set . We say U is a Siegel disc of f around the point z_0 if there exists an analytic homeomorphism where is the unit disc and such that for some and .
Siegel's theorem proves the existence of Siegel discs for irrational numbers satisfying a strong irrationality condition (a Diophantine condition), thus solving an open problem since Fatou conjectured his theorem on the Classification of Fatou components.
Later A. D. Brjuno improved this condition on the irrationality, enlarging it to the Brjuno numbers.
This is part of the result from the Classification of Fatou components.
Read more about this topic: Siegel Disc
Famous quotes containing the words formal and/or definition:
“It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
—Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)