Theorems stated by Ramanujan. XIII. (Q572898)

Die vorliegende Note bezieht sich auf eine Reihe von Sätzen, die in \textit{Ramanujan}s ``Collected papers'' (1927; F. d. M. 53, 30 (JFM 53.0030.*)) auf p. XXVIII-XXIX und 352-353 unter den Nummern (4), (7), (8), (12), (13), (15) aufgeführt sind. Die Sätze (4) \[ \sum_{\nu=1}^{\infty}\dfrac1{\nu^3} \bigg(\operatorname{ctgh}\nu\pi x + x^2\operatorname{ctgh}\dfrac{\nu\pi}{x}\bigg) = \dfrac{\pi^3}{90x}(x^4+5x^2+1) \] und (7) \[ \sum_{\nu=0}^\infty \dfrac{(-1)^\nu}{(2\nu+1)\biggl[ \operatorname{ch}\dfrac{(2\nu+1)\pi}{2n} + \cos\dfrac{(2\nu+1)\pi}{2n}\biggr]} = \dfrac\pi8 \qquad (n\;\text{ganz, ungerade}) \] werden durch Anwendung des Residuensatzes auf \[ \dfrac{\pi\operatorname{ctg}\pi z\operatorname{ctgh}\pi xz}{z^3} \quad \text{bzw. auf} \quad \int\limits_{|z|=R}\dfrac{\pi}{\cos\pi nz}\dfrac{dz}{z(\operatorname{ch}\pi z + \cos\pi z)}, \] (wobei im letzteren Falle der Grenzübergang \(R\to\infty\) auszuführen ist, und zwar so, daß der Integrationsweg \(|z|=R\) nie durch einen Pol des Integranden geht) bewiesen. Über die Sätze (8) \[ \int\limits_0^\infty \dfrac{(1+ab^2x^2)(1+ab^4x^2)(1+ab^6x^2)\cdots} {(1+x^2)(1+b^2x^2)(1+b^4x^2)\cdots} dx \] \[ =\dfrac{\pi}{2(1+b+b^3+b^6+b^{10}+\cdots)}\cdot \dfrac{(1-ab^2)(1-ab^4)(1-ab^6)\cdots}{(1-ab)(1-ab^3)(1-ab^5)\cdots} \] und (12) \[ \bigg(\dfrac{1^1+\alpha^2}{1^2-\beta^2}\bigg)^1 \bigg(\dfrac{3^2-\beta^2}{3^2+\alpha^2}\bigg)^3 \bigg(\dfrac{5^1+\alpha^2}{5^2-\beta^2}\bigg)^5 \bigg(\dfrac{7^2-\beta^2}{7^2+\alpha^2}\bigg)^7 \ldots = e^{\frac12\pi\alpha\beta}, \;\text{falls} \;\frac12\pi \alpha = \log\operatorname{tg}\{\tfrac14\pi(1+\beta)\}, \] wird gesagt, daß sich der erstere als Spezialfall \((n = \frac12)\) eines \textit{Hardy}schen Resultats (1914; F. d. M. 45, 1288 (JFM 45.1288.*)) ergibt, und daß der letztere von \textit{Ramanujan} (Journal Indian M. S. 7 (1915), 93-96) bewiesen worden ist. Sodann beweist Verf. die Kettenbruchformel \[ \dfrac{a|}{|p+n} + \dfrac{pa^2|}{|p+n+2} + \dfrac{2(p+1)a^2|}{|p+n+4} + \cdots \] \[ =2^p a(1+a^2)^{\frac12(p-1)} \int\limits_0^1 \dfrac{z^{p-1+n/\sqrt{1+a^2}}dz}{\{[\sqrt{1+a^2}+1]+z^2[\sqrt{1+a^2}-1]\}^p}, \] aus der sich für \(p=1\) Satz (13) ergibt. Endlich wird Satz (15) \[ F(\alpha,\beta)+F(\beta,\alpha)=2F\{\tfrac12(\alpha+\beta),\sqrt{\alpha\beta}\} \;\text{mit}\;F(\alpha, \beta) = \dfrac{\alpha|}{|n} + \dfrac{\beta^2|}{|n} + \dfrac{(2\alpha)^2|}{|n} + + \dfrac{(3\beta)^2|}{|n} + \cdots \] durch Heranziehung der von \textit{Rogers} (Proceedings L. M. S. (2) 4 (1906), 72-89 (F. d. M. 37, 255 (JFM 37.0255.*)), insbesondere p. 77) gegebenen Kettenbruchentwicklungen für \(\int\limits_0^\infty \operatorname{dn}(t, k) e^{-t/x} dt\) und \(\int\limits_0^\infty \operatorname{cn}(t, k) e^{-t/x} dt\) sowie der \textit{Landen}schen Transformation bewiesen.