On the expansion of hyperelliptic ontegrals of the first and second kind as series. (Q1556212): Difference between revisions

Herr Hermite hat (Sur le développement en série des intégrales elliptiques de première et de seconde espèce, Brioschi Ann. (2) II.) gezeigt, dass wenn \[ \frac{1}{\sqrt{(1 - x^2)\; (1 - k^2 x^2)}} \int_0^x \frac{dx}{\sqrt{(1 - x^2) \; (1 - k^2 x^2)}} = \varSigma \alpha_{n} x^{2n + 1}, \] \[ \frac{1}{\sqrt{(1 - x^2) \; (1 - k^2 x^2)}} \int_0^x \frac{x^2 dx}{\sqrt{(1 - x^2) \; (1 - k^2 x^2)}} = \varSigma \beta_{n} x^{2n + 1}, \] zwischen den Coefficienten \(\alpha_{n}, \beta_{n}\) und den Coefficienten \(A, B\) in der Reductionsformel \[ \int_{0}^{x} \frac{(k^2 x^2)^{n + 1}dx}{\sqrt{(1-x^2)\; (1 - k^2 x^2)}} = P \sqrt{(1 - x^2)\; (1 - k^2 x^2)} \] \[ - A \int_0^x \frac{dx}{\sqrt{(1- x^2)\; (1 - k^2 x^2)}} + B \int_0^x \frac{x^2 dx}{\sqrt{(1-x^2) \; (1 - k^2 x^2)}} \] die Relationen \[ A = \beta_{n}, \quad B = \alpha_{n} \] bestehen. Herr Königsberger bemerkt, ohne dies weiter auszuführen, dass die Richtigkeit dieses Satzes sofort erhellt, wenn man die elliptischen Integrale in der von Herrn Weierstrass aufgestellten Form nimmt, indem man die Entwickelung um den unendlich entfernten Punkt in die Entwickelung um den Nullpunkt überträgt und die Beziehung \[ \int \frac{dx}{x^2 \sqrt{(1 - x^2) \; (1 - k^2 x^2)}} = \int \frac{k^2 x^2 dx}{\sqrt{(1 - x^2) \; (1 - k^2 x^2)}} - \frac{1}{x} \sqrt{(1 - x^2) \; (1 -k^2 x^2)} \] berücksichtigt. Dass dieser Weg der naturgemässe zur Auffindung der obigen Relation ist, ergiebt sich aus dem ähnlichen Resultat, das Herr Königsberger für die hyperelliptischen Integrale herleitet. Die analogen Relationen lauten: \[ \begin{multlined} \int \left( \frac{2p - r - 1}{2} B_{r-1}u^{p-1} + \frac{2p - r - 2}{2} B_{r - 2} u^{p - 2} + \cdots \right. \\ \left.+ \; \frac{2p - 2r}{2} B_{0} u^{p - r} + \frac{2p - 2r - 1}{2} Au^{p-r-1} \right) \frac{du}{\sqrt{R_{1}(u)}}\end{multlined} \] \[ = (u^{p-r-1} + M_0 u^{p-r} + \cdots + M_{r-1} u^{p-1} ) \sqrt{R_{1}(u)} \] \[ + \; \sqrt{R_{1}(u)} \cdot \sum_{\nu = 0}^{\infty} l_{2p + \nu}^{(z)} u^{p + \nu}, \quad (r = 0,1,2, \ldots p - 1), \] und \[ \begin{multlined} \int_0 \left( (r - 2p + \tfrac 12)B_{2p - 1}u^{3p - r - 1} + (r - 2p + 1) B_{2p - 2} u^{3p - r - 2} + \cdots\right.\\ \left.+ \; \frac{2p - r}{2}B_{r}u^p \right)\frac{du}{\sqrt{R_{1}(u)}}\end{multlined} \] \[ \begin{multlined} = (N_0 u^{p-r} + N_{1}u^{p-r+1} + \cdots + N_{r-1}u^{p-1})\;\sqrt{R_{1}(u)}+ \,\sqrt{R_{1}(u)}\;\sum_{\nu =0}^{\infty} k_{2p + \nu}^{(r)} u^{p + \nu},\\ (r = p, p+1, \ldots 2p - 1),\end{multlined} \] wo \[ R(z) = Az^{2p + 1} + B_0 z^{2p} + B_{1}z^{2p - 1} + \cdots + B_{2p - 1}z, \] und für \(\frac{1}{z} = u\), \[ R_{1}(u) = B_{2p - 1}u^{3p + 1} + B_{2p-2} u^{2p} + \cdots + B_{1}u^3 + B_0 u^2 + Au, \] und \(l_{n}^{(r)}, k_{n}^{(\nu)}\) die Coefficienten der Integrale zweiter und erster Gattung \[ \left[ \frac{t^n}\;{\sqrt{R \;(t)}} \int_{\infty} \frac{F_{r}(t)\;dt}\;{\sqrt{R \;(t)}} \right]_{t-1} \] sind.