Stark konvergente Entwicklungen für die vollständigen elliptischen Integrale erster und zweiter Art. I, II, III. (Q2580176)

\textbf{I.} Bildet man ausgehend von \(a_0=1+k\), \(b_0=1-k\) mit \(0\leqq k < 1\) nach dem Algorithmus des arithmetisch-geometrischen Mittels die Zahlenfolgen \(a_n\), \(b_n\), und setzt man \(k_n=\dfrac{a_{n-1}-b_{n-1}}{a_{n-1}+b_{n-1}}\), so liefert die wiederholte Anwendung der Landenschen Transformation auf das Legendresche vollständige elliptische Normalintegral erster Gattung \(K(k)\) die Gleichung \(K(k)=\dfrac 1{a_n}K(k_n)\). Benutzt man die bekannte Entwicklung von \(K(k)\) in eine hypergeometrische Reihe, so erhält man damit \[ K(k)=\frac \pi{2a_n}F(\tfrac 12,\tfrac 12,1;k_n^2). \] Diese Entwicklung konvergiert außer für \(k\) nahe bei 1 schon für kleine \(n\) so rasch, daß das erste Reihenglied \(K(k)\) auf viele Dezimalen gibt. Eine bekannte Transformationsformel für die hypergeometrische Reihe liefert die für \(0\leqq k_n\leqq \frac 12\) konvergente neue Entwicklung \[ K(k)=\frac \pi{2b_n}F\left(\tfrac 12,\tfrac 12,1;-\left( \frac{k_na_n}{b_n}\right)^2\right). \] Eine weitere solche Reihenentwicklung am Schluß ordnet eine Näherungsformel von Ignatowski ein. Die Einleitung der Arbeit gibt ohne Beweis noch die den Fortsetzungen vorbehaltenen weiteren Entwicklungen für \(K(k)\) bei \(k\approx 1\) und für das vollständige Legendresche Normalintegral zweiter Gattung \(E(k)\). \textbf{II.} Verf. gibt hier die schon in Teil I angekündigten Entwicklungen von \(K(k)\) für \(k\approx 1\). Mit dem zu \(k\) komplementären Modul \(l\) werden ausgehend von \(c_0=1+l\), \(d_0=1-l\) nach dem Algorithmus des arithmetisch-geometrischen Mittels die Zahlenfolgen \(c_n\), \(d_n\) gebildet. Setzt man \(l_n=\dfrac{c_{n-1}-d_{n-1}}{c_{n-1}+d_{n-1}}\), so erhält man durch wiederholte Anwendung der Landenschen Transformation \[ \frac{K(k)}2=\frac{K(\sqrt{1-l^2})}2=\frac{K(\sqrt{1-l_q^2})} {2^qc_q}=\frac \pi{2^{q+1}c_q}F(\tfrac 12,\tfrac 12,1;(1-l_q^2)). \] Hierauf wendet Verf. die von ihm als Hilfssatz im Anschluß an Gauß hergeleitete Entwicklung von \(F(\alpha,\beta,\gamma;z)\) in der Umgebung von \(z=1\) für den Fall, daß \(\alpha+\beta+\gamma\) ganzzahlig ist, an. Er erhält damit außerordentlich stark konvergente Darstellungen von \(K(k)\). \textbf{III.} Herleitung von Reihenentwicklungen und Näherungsformeln für das vollständige elliptische Integral zweiter Gattung in der Legendreschen Normalform auf dem in den beiden ersten Teilen für das Integral erster Gattung benutzten Weg.