{"entities":{"Q1470934":{"pageid":1481674,"ns":120,"title":"Item:Q1470934","lastrevid":43135399,"modified":"2025-07-21T19:04:38Z","type":"item","id":"Q1470934","labels":{"en":{"language":"en","value":"M\u00e9moire sur l'it\u00e9ration des fonctions rationnelles."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2611173"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1470934$A46FF85E-0A67-446C-A703-88F75E22AAFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e56288e0a8803ef224d5a3e1096084277ba4845","datavalue":{"value":{"text":"M\u00e9moire sur l'it\u00e9ration des fonctions rationnelles.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1470934$7521C1EB-45DA-4AFD-BCEE-58DEFF724C8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f0b71b1c75185d1fa687c471cf839e8c2ab0c18","datavalue":{"value":"46.0520.06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1470934$7F5A85D1-1610-459C-AA45-F47572675617","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8339104f7a269cc58712a69b23b831882c79bd1","datavalue":{"value":{"entity-type":"item","numeric-id":1461536,"id":"Q1461536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1470934$CE5D70B2-F8A5-4934-B17C-2FCAC8FC6829","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"863d143a918267c44bf3cbe1bcb18903d66ad414","datavalue":{"value":{"time":"+1918-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1470934$56B77256-201A-43AD-9049-20F97A4ADC86","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3f53ccd2e3730d4562cea3d39f399d969d922e00","datavalue":{"value":"Das Problem der Iteration einer rationalen Funktion \\(\\varphi(z)\\) besteht in dert Bildung der Folge \\(z_1=\\varphi(z),z_2=\\varphi(z_1),\\dots(z_n=\\varphi_n(z_{n-1});\\;z_n\\) ist ``Nachfolger'' \\(n\\)-ter Ordnung von \\(z\\), \\(z\\) ist ``Vorg\u00e4nger'' \\(n\\)-ter Ordnung von \\(z_n\\)) und der Untersuchung der H\u00e4ufungspunkte \\(\\zeta\\) der Menge \\(z_1,z_2,\\dots,z_n,\\dots\\) (auch als Funktion von \\(z_4\\)). \u00dcber diese Frage lagen bisher in der Literatur nur Einzelresultate [\\textit{P. Fatou}, C. R. 143, 546--548 (1907; JFM 37.0347.02)]; vgl. ferner das zweitletzte Ref. [l'A., C. R. 166, 599--601 (1918; JFM 46.0520.05)] insbesondere die folgenden elementaren S\u00e4tze vor:   1. Ein \\textit{regul\u00e4rer Konvergenzpunkt} \\(\\zeta\\) ist eine Wurzel von \\(\\varphi(x)-z=0\\), f\u00fcr welche \\(| \\varphi'(\\zeta)| <1\\) ist. In seiner gen\u00fcgend kleinen Umgebung ist stets \\(\\lim_{n=\\infty}\\varphi_n(z)=\\zeta\\).   2. Unter einer ``\\textit{zyklischen Gruppe von Konvergenzpunkten}'' wird eine Gruppe von Punkten \\(\\zeta,\\zeta_1,\\dots,\\zeta_{p-1}\\) verstanden mit der Eigenschaft \\(\\zeta_1=\\varphi(\\zeta),\\zeta_2=\\varphi(\\zeta_1),\\dots,\\zeta= \\varphi(\\zeta_{p-1})\\) und \\(| \\varphi'(\\zeta)|,| \\varphi'(\\zeta_1)|,\\dots,| \\varphi'(\\zeta_{p- 1})| <1\\). In einer gen\u00fcgend kleinen Umgebung von \\(\\zeta_i\\) ist dann \\(\\lim_{k=\\infty}z_{ki}=\\zeta_i,\\lim_{k=\\infty}z_{ki+1}=\\zeta_{i+1} \\) usw. [\\textit{G. Koenigs}, Ann. \u00c9c. Norm. (3) 1, Suppl\u00e9m., 1--41 (1884; JFM 16.0376.01)].   Im ersten Teil der Arbeit betrachtet der Verf. zun\u00e4chst die abz\u00e4hlbare Menge \\(E\\) aller Wurzeln von \\(z=\\varphi_n(z) (n=1,2,3,\\dots)\\), f\u00fcr welche \\(| \\varphi_n'(z)| >1\\) ist. (In einem Nachtrage wird gezeigt, da\u00df\\ es entweder eine Wurzel von \\(\\zeta=\\varphi(\\zeta)\\) gibt, f\u00fcr welche \\(| \\varphi'(\\zeta)| >1\\), oder eine solche, f\u00fcr die \\(| \\varphi'(\\zeta)| =1\\) ist. Im ersten Falle ist die Existenz von \\(E\\) klar. Im zweiten Falle l\u00e4\u00dft sich zeigen, da\u00df\\ es Punkte \\(\\zeta_n\\) gibt, die zu \\(\\zeta\\) konvergieren und f\u00fcr welche \\(| \\varphi_n'(\\zeta_n)| >1\\) ist.) Mit Heranziehung der Untersuchungen von \\textit{Montel} \u00fcber Normalfolgen Funktionen (vgl. das Ref. auf S. 519) wird f\u00fcr diese Menge folgendes gezeigt: \\textit{In jedem Kreis, dessen Mittelpunkt in} \\(E\\) \\textit{liegt, nehmen die Funktionen} \\(\\varphi(z)\\) (von einem gewissen Index an), mit \\textit{eventueller Ausnahme von zwei Werten, jeden komplexen Wert} an. Es lassen sich sogar die F\u00e4lle, wo zwei oder ein Wert nicht angenommen wird, genau charakterisieren. In dem ersten Falle ist, wenn als Ausnahmewerte \\(a\\) und \\(\\infty\\) festgelegt werden (dies l\u00e4\u00dft sich durch eine lineare Transformation stets erreichen), \\(z_1-1=(z- a)^k\\;(k>0\\) ganz); der zweite Fall tritt dann und nur dann ein, wenn (Ausnahmewert gleich \\(\\infty)\\;\\varphi(z)\\) ein Polynom ist. Daraus wird geschlossen, da\u00df\\ \\(E\\) in sich dicht und \\(E'\\) perfekt ist. Die Punkte von \\(E'\\) sind ferner durch die oben erw\u00e4hnte Eigenschaft \\textit{vollst\u00e4ndig charakterisiert}.   Es wird dann die Struktur von \\(E'\\) weiter untersucht. \\(E'\\) kann eine perfekte Menge sein oder auch die ganze Ebene umfassen. F\u00fcr den ersten Fall werden auch Beispiele angegeben. (Da\u00df der zweite auch eintreten kann, wurde erst durch \\textit{Latt\u00e9s} -- vgl. das nachst. Ref. -- best\u00e4tigt.) Endlich wird das Haupttheorem des ersten Teiles im folgenden zusammengefa\u00dft:   In jedem Bereiche \\(D\\), der keinen Punkt von \\(E'\\) enth\u00e4lt, ist die Folge \\(\\varphi(z)\\) normal. Konvergiert eine Teilfolge von \\(\\{\\varphi(z)\\}\\) in einem einzigen Punkte von \\(D\\), so konvergiert sie somit \u00fcberall in \\(D\\). Die Grenzfunktion einer solchen Teilfolge verh\u00e4lt sich regul\u00e4r in \\(D\\). Die Menge \\(E'\\) stellt genau die Menge der (wesentlichen) Singularit\u00e4ten s\u00e4mtlicher Grenzfunktionen der Folge \\(\\{\\varphi_n(z)\\}\\) dar. Mit R\u00fccksicht auf die obige Charakterisierung von \\(E'\\) merkt man hier eine auffallende Analogie zu dem Picardschen Satze.   Im zweiten Teile werden ``regul\u00e4re Konvergenzpunkte'' und ``zyklische Gruppen von Konvergenzpunkten'' (vgl. oben) betrachtet. (Solche Punkte brauchen nicht notwendigerweise zu existieren.) Die Menge aller Punkte, deren Nachfolger gegen einen regul\u00e4ren Konvergenzpunkt \\(\\zeta\\) konvergieren, besteht aus einfach zusammenh\u00e4ngenden und durch Punkte von \\(E'\\) begrenzten Bereichen \\(R\\). Sie enth\u00e4lt nat\u00fcrlich auch \\(\\zeta\\) selbst. Jeder solche Bereich \\(R\\) enth\u00e4lt f\u00fcr sich stets einen kritischen Punkt der inversen Funktion \\(\\psi(z)\\) von \\(\\varphi(z)\\) (und zwar wird hier unter \\(\\psi'(z)\\) der Zweig verstanden, der f\u00fcr \\(z=\\zeta\\) gleich \\(\\zeta\\) ist). Dieser Punkt ist Nachfolger eines in \\(R\\) liegenden Punktes, wo \\(\\varphi'(z)=0\\) ist. Analoge Ergebnisse gelten f\u00fcr zyklische Gruppen von Konvergenzpunkten. Daraus folgt der wichtige Satz:   F\u00fcr eine vorgegebene rationale Funktion ist die der regul\u00e4ren Konvergenzpunkte (sowie die der zyklischen Gruppen von Konvergenzpunkten) stets endlich.   Damit ist eine Vermutung von \\textit{Koenigs} (a. a. O. 401) widerlegt. Die einzelnen Bereiche \\(R\\) k\u00f6nnen auch in unendlicher Anzahl vorhanden sein; sie h\u00e4ngen dann \\textit{nicht} miteinander zusammen und die Menge ihrer Randpunkte ist genau mit \\(E'\\) identisch. (Im Falle der regul\u00e4ren Konvergenz ist jedoch diese Anzahl entweder 1 oder \\(\\infty\\).) Einige interessante Beispiele bilden den Schlu\u00df\\ des zweiten Teiles.   Im dritten Teile werden Beispiele konstruiert, in welchen \\(E'\\) eine einfache \\textit{Jordan}sche Kurve ist, die an einer \u00fcberall dicht liegenden Teilmenge keine Tangente besitzt, oder eine stetige, geschlossene Kurve mit \u00fcberall dicht liegenden durch einfache Vereinigung von (unendlich vielen) gew\u00f6hnlichen \\textit{Jordan}schen Kurven erzeugt wird.   Der vierte Teil enth\u00e4lt die Untersuchung der Konvergenz gegen einen Punkt \\(\\zeta\\), f\u00fcr welchen  \\[ \\zeta=\\varphi(\\zeta)\\quad\\text{ und }\\quad\\vert \\varphi'(\\zeta)\\vert =1,\\quad\\text{ d. h. }\\varphi'(\\zeta)=e^{i\\alpha} \\]   ist, sowie das entsprechende Problem f\u00fcr eine Gruppe von Konvergenzpunkten: Ist \\(\\alpha\\) kommensurabel zu \\(2\\pi\\), dann geh\u00f6rt \\(\\zeta\\) zu \\(E'\\) und die fr\u00fcher erhaltenen S\u00e4tze gelten im wesentlichen auch in diesem Falle. Viel schwieriger gestalten sich die Verh\u00e4ltnisse, wenn \\(\\alpha\\) zu \\(2\\pi\\) inkommensurabel ist. In diesem Falle erh\u00e4lt der Verf. keine abgeschlossenen Resultate.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1470934$57858F4D-3207-4614-B47D-5CBBC155164A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"afccb817138c7c3a19d522725db910b0af06ed5f","datavalue":{"value":"30D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1470934$881275B1-6699-4955-B363-039E057EB498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d0f0243ee97063d48782e80b81d461dad92db60","datavalue":{"value":"37F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1470934$031066CF-2545-4B18-919C-3A4A1E3B45BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fb8dcacf27547284c2beea686243c1c81ad6a58","datavalue":{"value":"2611173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1470934$9F93751D-D6EF-4357-965C-C4F5F79B096F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1234cb7bc3bb83a1fe2d4a472548dc4b54a96633","datavalue":{"value":{"entity-type":"item","numeric-id":1353149,"id":"Q1353149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1470934$948622B0-316E-4068-B56E-EF3BEACAC7F4","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1470934$78C4AA60-BA82-4349-8E03-BFA216B9D71B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1470934","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1470934"}}}}}