Die Entwicklung des vollständigen elliptischen Integrales erster Art in der Nähe von \(k=1\). I, II, III. (Q2580178): Difference between revisions

\textbf{I.} Verf. leitet mit ganz elementaren Hilfsmitteln (einmaligem Gebrauch der Landenschen Transformation, Reihenentwicklung des Integranden) zunächst für reelle \(k\) zwischen 0 und 1 die Formel her \[ \begin{multlined} K(k)=\frac 2{1+k} \log \frac{\sqrt 2+\sqrt{1+k}}{\sqrt{1-k}} \cdot F\left(\frac 12, \frac 12, 1;\left(\frac{1-k}{1+k}\right)^2\right) \\ +\left(\frac 2{1+k}\right)^{\frac 32}\sum_1^\infty (-1)^nA_n\left(\frac{1-k}{1+k}\right)^n. \end{multlined} \] Die bekannten \(A_n\) sind positiv und beschränkt. Die Gültigkeit der Formel für alle \(k\) mit \(\mathfrak R(k)>0\), ausgenommen die reellen \(k\geqq 1\), folgt aus dem Identitätssatz der Funktionentheorie. Die Herleitung der Formel des Verf. ist elementarer, die Konvergenz der in ihr auftretenden Reihen besser als bei der für die Umgebung von \(k=1\) gebräuchlichen Entwicklung von \(K(k)\) (vgl. z. B. \textit{Fricke}, Elliptische Funktionen I (1916; F. d. M. 46, 599), S. 466, Formel (13)). \textbf{II.} Für reelle \(k\) zwischen 0 und 1 werden durch Abschätzen des Integranden nach einmaliger Anwendung der Landenschen Transformation zwei Schranken für \(K(k)\) bestimmt, deren arithmetisches Mittel als Näherungswert für \(K\) dient. Der Fehler dieser Näherung wird auf dem gleichen Weg wie die Schranken ermittelt. Es ergibt sich \[ \begin{multlined} \frac{(1-k)^2}{128}<\frac 1{2\sqrt k}\log \frac{\sqrt{1+k}+\sqrt{2k}}{\sqrt{1-k}}+ \frac 1{1+k} \log \frac{\sqrt{1+k}+\sqrt 2}{\sqrt{1-k}}-K(k) \\ <\frac{(1-k)^2}{128}\cdot \left(\frac 2{1+k}\right)^{\frac 52}. \end{multlined} \] \textbf{III.} Verf. beweist mit elementaren Hilfsmitteln (Landenscher Transformation) folgende Verschärfung einer von Poincaré mit Thetafunktionen bewiesenen Abschätzung: Für reelles \(k\) (\(0\leqq k < 1\)) ist \[ \begin{multlined} \int\limits_0^{\tfrac \pi 2} \frac{d\varphi}{\sqrt{1-k^2\sin^2\varphi}} = \frac 2{(1+\sqrt k)^2} \log 2\frac{1+\sqrt k}{1-\sqrt k}\\ +\frac 1{4(1+\sqrt k)^2} \left(\frac {1-\sqrt k} {1+\sqrt k}\right)^4 \left\{2\log 2 \left(\frac {1+\sqrt k} {1-\sqrt k}\right) -1 + \frac{11}8\theta \left(\frac {1-\sqrt k} {1+\sqrt k}\right)\right\} \end{multlined} \] mit \(|\theta| < 1\).