Schon C.G.J. JACOBI hat in [Jac29] nachgewiesen, daß Lösungen der Differentialgleichung 70 algebraische Funktionen der Form sein können [Tri48, IV], [Hur00, II-5, § 4 ff.]. Für die implizite Darstellung solcher Funktionen wiefolgt
| (72) |
wobei Polynome in sind, kann bekanntermaßen in bestimmten Spezialfällen eine explizite Lösungsformel ermittelt werden. Bei dem gesuchten Integral handelt es sich in den einfachsten Fällen um eine irrationale () oder rationale Funktion (), wobei sich Letztere als
| (73) |
mit den Polynomen
darstellen läßt.24
Um für diesen Funktionstyp den Nachweis zu erbringen, daß es sich um eine Lösung von Differentialgleichung 70 handelt, folgen wir [Cay76, § 218 ff.] und setzten zuerst bzw. und bilden dann sowie die Ableitung .
Dividiert man die Ableitung durch entsteht der Ausdruck
welcher ja letztlich der rechten Seite von Gleichung 69 (multipliziert mit ) entsprechen soll.
Notwendige Voraussetzung dafür ist zuerst einmal, daß für den Grad der Polynome und die Einschränkung gilt, d. h. entweder beide Polynome sind vom Grad (bzw. ) oder eines ist vom Grade , das andere aber .25
Beweis. Der Nachweis basiert auf der letzten Gleichung in folgender Darstellung
und vergleicht einfach den Grad von links- und rechtsseitigem Polynom (mit entsprechender Fallunterscheidung).
Eine Funktion ist also vom Grad , die andere vom Grad und deshalb die Differenz . Allerdings ergeben sich dieselben Verhältnisse auch für (also ), denn in diesem Fall verschwindet der höchstwertige Koeffizient (mit Wert ) in . Verringert man entsprechend den linksseitigen Grad in Gleichung 75 um Eins (auf der rechten Seite bleibt alles wie gehabt), dann wird sofort erkennbar, daß auch eine Lösungsmöglichkeit ist. __
Nimmt man nun an, daß sich in Gleichung 74 ein Faktor vom Ausdruck abspalten läßt, dann ist der Term in ebenfalls als Faktor enthalten.
Beweis. Ist ein Faktor ( eine doppelte Nullstelle) von oder , dann ist auch ein Faktor von oder bzw. oder . Betrachten wir im weiteren nur den Fall, daß der Faktor in enthalten ist (gleiches gilt für die anderen Fälle). Es ergeben sich dann die Darstellungen
mit den Ableitungen nach
Bildet man jetzt
dann bestätigt das gemeinsame Vorkommen des Faktors in allen Summanden unsere Annahme. __
Setzt man eine solche Abspaltung für alle Wurzeln von fort, dann bleibt in , dessen Grad ja ist, ein Produktterm vom Grad übrig, der nicht mehr gekürzt werden kann. Mit den konstanten Koeffizienten ergibt sich demzufolge die Darstellung:26
Kehrt man mit diesen Formeln zurück zur Ausgangsgleichung 74
und berücksichtigt außerdem, daß eine Überführung des besagten Produktterms in die Form immer möglich ist (siehe [Tri48, II, § 3], [WW27, § , §]), dann ist mit einer rationalen Polynomfunktion die elliptische Transformation nach Gleichung 70 möglich.27 Aus dieser Feststellung heraus kann man bezüglich der Bestimmung der Koeffizienten von und noch die Bedingung
formulieren.