Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

JFM 47.0921.02
Fatou, P.
Sur les équations fonctionnelles. (French)
[J] S. M. F. Bull. 47, 161-271 (1919); 48, 33-94, 208-314 (1920). ISSN 0037-9484

In der vorliegenden Arbeit studiert Verf. hauptsächlich das Verhalten (im Kleinen und im Gro\ss en) der Folge der Iterierten einer rationalen Funktion $R(z)$ der komplexen Variabeln $z$, d. h. der Folge $R_1(z) = R(z), R_2(z) = R(R(z)), \dots, R_n(z) = R(R_{n-1}(z)) = R_{n-1}(R(z)), \dots.$ Die hier auftretenden Fragen hängen nahe mit der Theorie der Funktionalgleichungen, insbesondere der Schröderschen und der Abelschen Funktionalgleichung und verwandter Gleichungen zusammen. Die Arbeit hat in Problemstellungen, Methoden und Ergebnissen mit den etwas früheren Untersuchungen von G. Julia (vgl. F. d. M. 46, 520 (JFM 46.0520.*), 1916-18) vieles gemein, doch vermag Verf. noch weitergehende Resultate zu gewinnen. \par Zunächst sei die Erklärung einiger Bezeichnungen vorausgeschickt. Ist $z_n = R_n(z_0),$ so hei\ss t $z_n$ Nachfolger $n$-ter Ordnung von $z_0,$ umgekehrt hei\ss t $z_0.$ Vorgänger $n$-ter Ordnung von $z_n.$ Ist $\zeta = R_n(\zeta),$ so ist auch $R(\zeta) = R_n(R(\zeta)),$ d. h. der Nachfolger eines Fixpunktes ist wieder ein Fixpunkt. Ein Fixpunkt $\zeta$ von $R_n(z)$ hei\ss t anziehend, absto\ss end oder indifferent, je nachdem $\vert R_n'(\zeta)\vert < 1, > 1$ oder =1 ist. Er bildet mit seinen $n -1$ Nachfolgern einen $n$-fachen Zyklus, da ja $\zeta_n=\zeta $ wird. $R_n'(\zeta)$ hei\ss t der Multiplikator; alle Punkte eines Zyklus haben den gleichen Multiplikator. \par Verf. teilt seine Arbeit in 7 Kapitel. \par Im ersten Kapitel untersucht er die Iteration der rationalen Funktionen mit rein algebraischen Mitteln. Er erhält den Satz, da\ss\ es stets unendlich viele Zyklen gibt, deren Multiplikator entweder gleich $+1$ oder dem absoluten Betrage nach grö\ss er als 1 ist. \par Kap. II behandelt die Iteration in der Umgebung eines Fixpunktes. Dabei wird besonders eingehend der interessante, zuerst ausführlich von Leau (siehe F. d. M. 28, 346 (JFM 28.0346.*), 1897) untersuchte Fall eines Fixpunktes behandelt, dessen Multiplikator eine Einheitswurzel ist. Diese Untersuchungen zeigen die Existenz einer Lösung der Abelschen Funktionalgleichung; die Eigenschaften dieser Lösung werden studiert. \par Kap. III handelt von den rationalen Funktionen, die einen Kreis in sich überführen. Die hier durchgeführten Untersuchungen hat Verf. z. T. bereits 1917 in den Comptes rendus veröffentlicht (C. R. 164, 806; F. d. M. 46, 519 (JFM 46.0519.*), 1916-18).\par Die Ergebnisse des dritten Kapitels können auch als Folgerungen aus den allgemeinen Resultaten des Kap. IV. gewonnen werden, in welchem die Montelschen Untersuchungen über Normalfolgen (Ann. de l'Éc. Norm. (3) 28 u. 33, vgl. F d. M. 43, 509, 1912, 46, 519,1916-18), die ja auch bei Julia die Grundlage der Theorie bilden, herangezogen werden, um das Verhalten der Folge der $R_n(z)$ in der ganzen Zahlenebene zu studieren. \par Eine Gesamtheit von in einem Bereich $D$ (in der Umgebung $D$ eines Punktes $P)$ meromorphen Funktionen nennen wir nach Montel normal im Bereiche $D$ (im Punkte $P),$ wenn sich aus jeder in ihr enthaltenen unendlichen Teilfolge $f_n(z)$ eine unendliche Teilfolge $f_{n_i}(s)$ auswählen lä\ss t, die in jedem abgeschlossenen Teilbereich $D'$ von $D$ gleichmä\ss ig konvergiert. Dann gilt der wichtige, im wesentlichen auf dem Schottkyschen Satze beruhende Satz: Wenn eine Folge $f_i(z)$ von analytischen Funktionen, die in $D$ meromorph sind, in $D$ mindestens drei Punkte auslä\ss t, d. h. wenn es drei Werte $a, b, c$ gibt, die in $D$ von keiner Funktion der Folge angenommen werden, so ist die Folge $f_i(z)$ normal in $D.$ Dieser Satz wird vom Verf. sowohl wie von Julia in erster Linie herangezogen. \par Verf. untersucht nun die Eigenschaften der Menge $F$ aller Punkte, in denen die Folge der $R_n(z)$ nicht normal ist. Wegen des eben erwähnten Montelschen Satzes häufen sich die Vorgänger aller Punkte mit höchstens zwei Ausnahmen in jedem Punkt von $F.$ U. a. wird bewiesen: $F$ ist perfekt; $F$ ist invariant gegenüber $R(z)$ und gegenüber der Umkehrungsfunktion $R_{-1}(z).$ Ist $D$ eine Umgebung eines Punktes von $F,$ so wird $F$ von jeder hinreichend hohen Iterierten $D_m$ von $D (m > m_0)$ überdeckt; der Durchschnitt $F^*$ von $D$ mit $F$ wird also durch $R_m$ auf $F$ abgebildet. Die Bildmenge $F$ besitzt also alle diejenigen Eigenschaften von $F^*,$ die eine Abbildung durch eine rationale Funktion bewahrt und in diesem Sinne ergibt sich, da\ss\ $F$ in allen Teilen gleiche ``Struktur'' hat. Hat $F$ z. B. einen inneren Punkt, so umfa\ss t es alle Punkte. Die angeführten Eigenschaften von $F$ kommen sämtlich auch der der Juliaschen Untersuchung zugrunde gelegten Menge $E',$ der Ableitung der Menge aller absto\ss enden Fixpunkte, zu. Verf. beweist die Identität beider Mengen, indem er einerseits zeigt, da\ss\ jeder Punkt von $F$ Häufungspunkt von Fixpunkten ist (dies gelingt ohne Mühe unter Benutzung des Montelschen Satzes), und indem er andererseits beweist, da\ss\ die Zahl der anziehenden und indifferenten Zyklen endlich ist. \par Im V. Kapitel werden die Bereiche untersucht, in welche $F$ die Ebene teilt. Zahlreiche Beispiele werden behandelt. Es sei hier bemerkt, da\ss\ die analytischen Funktionen, gegen die eine passend ausgewählte Teilfolge der $R_n(z)$ in einem, keinen Punkt von $F$ enthaltenden Gebiet konvergiert, in allen bisher behandelten Beispielen Konstanten sind; die Frage, ob es auch nicht konstante Grenzfunktionen gibt, vermag Verf. nicht zu entscheiden (vgl. Kap. IV, \S\,28 der vorl. Arbeit). \par Das VI. Kapitel befa\ss t sich eingehend mit den Eigenschaften von $F.$ Verf. erhält u. a.: Wenn $F$ weder ein Kreis oder eine Gerade noch ein Kreisstück oder ein Geradenstück ist, so kann es kein isoliertes analytisches Kurvenstück enthalten. Die Beweise dieses Kapitels benutzen au\ss er den Eigenschaften der Normalfolgen insbesondere die Theorie der konformen Abbildung. \par Das VII. Kapitel liefert Beiträge zur Theorie der Schröderschen, der Abelschen und verwandter Funktionalgleichungen.
(Data of JFM: JFM 47.0921.02; Copyright 2005 Jahrbuch Database used with permission)
[Cremer, H. (Berlin)]

Citations: JFM 46.0520.*; JFM 28.0346.*; JFM 46.0519.*

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Article Article Article Journal Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]