{"entities":{"Q5915305":{"pageid":8031087,"ns":120,"title":"Item:Q5915305","lastrevid":97731920,"modified":"2026-06-05T15:18:57Z","type":"item","id":"Q5915305","labels":{"en":{"language":"en","value":"On iterated functions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2721330"}},"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":"Q5915305$B6F5A288-B686-42D1-9508-87B05120777F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b9f4ef91e47e6396166b9645aa84ac7c496a881","datavalue":{"value":{"text":"On iterated functions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5915305$292B6647-F7CF-407B-A2B1-7D5B81FD912B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a41090a066246eddfb2e5373272e59d29d110f6c","datavalue":{"value":"02.0200.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915305$190F0C34-8B62-43B0-A59A-F700011028DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2373f46d8a2b6a5f2b8b252caacd29f8b5b266cc","datavalue":{"value":"10.1007/BF01443992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915305$2FF0DCA4-987C-4BB7-8B30-7376E6089D8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915305$87CB60CB-7E56-4DEE-8422-776F3CEA082B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b82a5f45b555e3a444af59330e26a23b61418818","datavalue":{"value":{"time":"+1871-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":"Q5915305$657F3C67-8864-434B-93A2-FB156A53A72E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a6f1aa637b4b401a35890a8478b7d9c8970e5c0","datavalue":{"value":"https://eudml.org/doc/156489","type":"string"},"datatype":"url"},"type":"statement","id":"Q5915305$9E95E85B-091A-4E16-8768-743474398E39","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"65240d9b94470b78cd3752d015473ea82478323f","datavalue":{"value":"Ist \\(F (z)\\) eine beliebige eindeutig gegebene Funktion von \\(z\\), so wird die \\(r\\) fach iterite Funktion \\(F^r (z)\\) durch die recurrenten Gleichungen definirt:  \\[ F^1 (z) = F(z),\\quad F^2 (z) = FF(z) \\dots F^r (z) = F^{r-1} F(z), \\]  woraus die Relationen hervorgehen:  \\[ F^{r_1} F^{r_2} (z) = F^{r_1 + r_2} (z) = F^{r_2} F^{r_1} (z) \\]   \\[ \\{F^{r_1}\\}^{r_2} (z) = F^{r_1 r_2} (z) = \\{F^{r_2}\\}^{r_1} (z). \\]  Durch diese Fundamentalgleichungen ist auch die Ausdehnung des Begriffes iterirter Funktionen f\u00fcr beliebige (reelle und complexe) Werthe von \\(r\\) gegeben. Insbesondere bedeutet  \\[ w = F^{-r}(z)\\text{ die Aufl\u00f6sung der Gleichung }F^r (w) = z, \\]   \\[ w = F^{\\frac{p}{q}} (z)\\text{ die der Gleichung }F^q (w) = F^p (z). \\]  Fasst man \\(F^r (z)\\) als Funktion zweier Argumente \\(r\\) und \\(z\\) auf, so kann sie auch durch die Differenzengleichung:  \\[ \\varPhi (r, z) = \\varPhi (r - 1 , F (z)) \\]  mit der Anfangsbedingung \\(\\varPhi (1, z) = F (z)\\) definirt werden, zu deren n\u00e4herer Bestimmung die Forderung hinzugef\u00fcgt wird, dass die Funktion einen analytischen Ausdruck habe. Es wird nun zun\u00e4chst f\u00fcr die iterirten Funktionen der von Hoppe (Schl\u00f6milch Z. V. 136) und Serret (Cours d'alg\u00e9bre sup\u00e9rieure t. II. p. 329) bereits behandelten linear gebrochenen Funktionen \\(F (z) = \\frac{\\alpha_0 z + \\alpha_1} {\\beta_0 z + \\beta_1}\\), der einzigen, von der bisher die Wiederholungen untersucht sein sollen, eine neue Darstellung gegeben und die Curve, auf welcher sich der Punkt \\(F^r (z)\\) bewegt, wenn \\(r\\) von \\(-\\infty\\) bis \\(+ \\infty\\) w\u00e4chst, discutirt. Zur Auffindung neuer iterabler Funktionen wird folgendes Princip aufgestellt: Ist \\(\\varPhi (z)\\) eine Funktion, deren Iteration \\(\\varPhi^r (z)\\) bekannt ist, ist ferner \\(z = \\psi (\\zeta)\\), mithin \\(\\zeta = \\psi^{-1} (z)\\), dann ist, wenn man die Funktion bildet:  \\[ F (z) = \\psi \\{\\varPhi (\\psi^{-1} (z))\\}, \\]  ihre Wiederholung:  \\[ F^r (z) = \\psi \\{\\varPhi^r (\\psi^{-1} (z))\\}. \\]  Daraus werden die beiden Folgerungen gezogen: 1) Besteht f\u00fcr die Funktion \\(\\psi (\\zeta)\\) ein Additionstheorem, so dass  \\[ \\psi (\\zeta + h) = F\\{\\psi (\\zeta)\\} \\text{ oder } \\psi \\{\\psi^{-1} (z) + h\\} = F(z), \\]  dann nehme man \\(\\varPhi (\\zeta) = \\zeta + h\\), und man erh\u00e4lt, da \\(\\varPhi^r (\\zeta) = \\zeta + rh\\), f\u00fcr die Wiederholung von \\(F (z)\\):  \\[ F^r (z) = \\psi\\{\\psi^{-1} (z) + rh\\}. \\]  2) Besteht f\u00fcr \\(z = \\psi (\\zeta)\\) ein Multiplikationstheorem, so dass  \\[ \\psi (m \\zeta) = F(\\psi (\\zeta)),\\text{ oder }\\psi\\{m \\psi^{-1} (z)\\} = F(z), \\]  dann erh\\\"lt man unter der Annahme \\(\\varPhi (\\zeta) = m \\zeta\\), woraus \\(\\varPhi^r (\\zeta) = m^r \\zeta\\) f\u00fcr die Wiederholung von \\(F (z)\\):  \\[ F^r (z) = \\psi \\{m^r \\psi^{-1} (z)\\}. \\]  Unter den Anwendungen, die von vorstehenden Theoremen gemacht werden, heben wir die Iteration derjenigen rationalen Funktionen hervor, welche erhalten werden, wenn man f\u00fcr \\(\\psi (\\zeta)\\) die elliptischen Funktionen \\((\\sin \\text{am\\,} \\zeta)^2\\), \\(\\cos \\text{am\\,} \\zeta\\), \\(\\varDelta \\text{\\,am\\,} \\zeta\\) mit dem Modul \\(k\\) w\u00e4hlt, und das Multiplikationstheorem f\u00fcr den speciellen Fall \\(m = 2\\) anwendet. Es ergiebt sich als Iteration der Funktionen:  \\[ F (z) = \\frac{4z(1 - z)(1 - k^2 z)}{1 - k^2 z^2 },\\quad F(z) = \\frac{z^2 - (1 - z^2)(1 - k^2 + k^2 z^2)}{1 - k^2 (1 - z^2)^2} , \\]  respective:  \\[ F^r(z) = \\left\\{ \\sin \\text{am\\,} \\left(2^r \\int^{\\sqrt{z}}_{0} \\frac{dx}{\\sqrt{(1 - x^2)(1 - k^2 x^2)}}\\,, k \\right) \\right\\}^2 \\]   \\[ F^r (z) = \\cos \\text{am\\,} \\left(2^r \\int^{\\sqrt{1 - z^2}}_{0} \\frac{dx}{\\sqrt{(1-x^2) (1 - k^2 x^2)}}\\,, k \\right) \\]  \\((\\psi (\\zeta) = \\varDelta \\text{\\,am\\,} \\zeta\\) liefert eine Funktion, die aus der \\(2^{\\text{ten}}\\) durch Vertauschung von \\(k\\) mit \\(\\frac{1}{k}\\) hervorgeht).   Das oben erw\u00e4hnte Princip liefert ferner, indem f\u00fcr \\(\\psi\\) eine linear gebrochene Funktion, f\u00fcr \\(\\varPhi (z)\\) die Funktion \\(\\frac{2z}{1_z^2}\\) gesetzt wird, deren Wiederholungen unter den Beispielen zu den vorhergehenden Theoremen bereits angegeben sind, die Iteration einer Klasse gebrochener Funktionen \\(2^{\\text{ten}}\\) Grades, zwischen deren 5 Coefficientenverh\u00e4ltnissen 2 Relationen bestehen.   Darauf wird die Iteration solcher Funktionen \\(F(z)\\), die sich durch eine Maclaurin'sche Potenzreihe mit dem Terme \\(z\\) als Anfangsglied darstellen lassen, eingehend betrachtet, und mit Benutzung der Coefficientenausdr\u00fccke in der Entwickelung der verschiedenen Potenzen von \\(F(z)\\) nach steigenden Potenzen von \\(z\\) f\u00fcr die Coefficienten der Reihenentwickelung der iterirten Funktion \\(F^r (z)\\) ein Bildungsgesetz aufgestellt, in Folge dessen dieselben als ganze Funktionen von \\(r\\) erscheinen, und welches f\u00fcr \\(r = -1\\) das Umkehrungsproblem der Funktion \\(F (z)\\) enth\u00e4lt. Zum Schluss wird unter Bezugnahme auf eine fr\u00fchere Arbeit des Verfassers [``Ueber unendlich viele Algorithmen zur Aufl\u00f6sung der Gleichungen.'' Clebsch Ann. II. 317--365 (1870; JFM 02.0042.02)] mit Hilfe der erlangten Ergebnisse der Nachweis geliefert, dass die gebr\u00e4uchlichen N\u00e4herungs-Algorithmen zur Aufl\u00f6sung der Gleichungen:  \\[ z' = z - \\frac{f}{f'} \\text{ und } z' = z - \\frac{ff'}{f^{\\prime 2} - ff''}, \\]  f\u00fcr eine quadratische Gleichung gegen eine der beiden Wurzeln convergiren.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915305$8F59CE7A-3B1C-4568-B0E1-A1C8EC5B3AAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57fb6dee0ec25417ec63d5bfddf5d40a836c3d28","datavalue":{"value":"37F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915305$9FC5CF44-5229-4E5E-8271-B44C6A21ADC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"945ee79fcdb1951ae3e62a61572222ddcb9d834f","datavalue":{"value":"2721330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915305$C3A8E019-D852-4C07-A5E4-FEEC91E9190B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23dcf8bb309d14d72d934b5d60338d1098d2a5eb","datavalue":{"value":"Iterations of real or complex functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915305$D6B35492-EBA5-477F-9983-EDF52046F818","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ea5d429cf113708f4fc9c78be9ade0369752512b","datavalue":{"value":"Q29399317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915305$49852B1A-389E-4FB7-9FDE-F2DBEE7ED3F8","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":"Q5915305$FE2B5329-C0D8-429F-9B43-CA4C1B2C06D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"632de05e9a22ad26640c2b20c3744fe9657f14ea","datavalue":{"value":{"entity-type":"item","numeric-id":6480420,"id":"Q6480420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915305$D44CE5B9-2129-4431-B31A-F754FBE5B474","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On iterated functions.","badges":[]}}}}}