Sur les polynômes de Legendre. (Q1533374): Difference between revisions

In der ersten Arbeit (siehe JFM 22.0511.01) teilt der Verfasser folgende Reihe für \(P^n (\cos \vartheta)\) mit, mittels deren man jene Function für grosse Werte von \(n\) mit jeder beliebigen Näherung berechnen kann, und die daher eine wesentliche Erweiterung der bisher bekannten Näherungswerte von \(P^n\) bildet. Die Formel lautet: \[ \begin{aligned} (1) \quad P^n (\cos \vartheta)= & C_n \left[ \frac{\cos (n\vartheta + \frac 12 \alpha)}{\sqrt{2\sin \vartheta}} + \frac{1^2}{2. (2n+3)} \frac{\cos (n\vartheta + \frac 32 \alpha)}{\sqrt{(2\sin \vartheta)^3}} \right. \\ & \left. + \frac{1^2 . 3^2}{2.4.(2n+3) (2n+5)}\;\frac{\cos (n\vartheta + \frac 52 \alpha)}{\sqrt{(2\sin \vartheta)^5}} + \dots \right], \end{aligned} \] worin \[ C_n = \frac{4}{\pi}\;\frac{2.4.6 \dots (2n)}{3.5.7 \dots (2n+1)}, \quad \alpha = \vartheta - \frac{\pi}{2}, \quad 0< \vartheta <\pi \] ist. Die Reihe convergirt, falls \(\sin \vartheta >\frac 12\) ist. Man kann aber die unendliche Reihe auch durch eine endliche Reihe mit Restglied ersetzen, und dann ergiebt sich, mag die Reihe convergiren oder nicht, dass das Restglied, absolut genommen, kleiner ist als das Product aus dem ersten nicht berücksichtigten Gliede, darin 1 statt des Cosinus gesetzt, und einem Factor \(M\), dessen numerischer Wert zwischen 1 und 2 liegt. Die zweite Arbeit enthält die Ableitung der eben angeführten Resultate. Daraus, dass \(P^n(x)\) der Coefficient von \(z^{-(n+1)}\) bei der Entwickelung von \((z^2 - 2xz +1)^{-\frac 12}\) nach fallenden Potenzen von \(z\) ist, folgt, dass man \(P^n(x)\) durch das complexe Integral \[ \frac{1}{2\pi i} \int \frac{z^n dz}{\sqrt{z^2 - 2zx +1}} \] darstellen kann, falls man als Integrationsweg eine geschlossene, die Punkte \[ \xi = x+ \sqrt{x^2 -1} \quad \text{und} \quad \frac{1}{\xi}=x-\sqrt{x^2-1} \] umschliessende Curve wählt. Durch passende Wahl dieser Curve ergiebt sich: \[ (2) \quad P^n(x) = \frac{1}{\pi i} \left[\int_0^{\xi}\;\frac{z^n dz}{\sqrt{z^2 - 2zx +1}} - \int_0^{\frac{1}{\xi}}\;\frac{z^n dz}{\sqrt{z^2 - 2zx +1}} \right], \] wobei die rechts stehenden Integrale auf geradlinigem Wege von 0 bis \(\xi\) resp. von 0 bis \(\frac{1}{\xi}\) zu erstecken sind. Formt man die Integrale durch die Substitution \[ z= \xi(1-u) \quad \text{resp.} \quad z= \frac{1}{\xi}(1-u) \] um, entwickelt dann einen Ausdruck der Form \(\frac{1}{\sqrt{1-ku}}\) nach steigenden Potenzen von \(u\), integrirt gliedweise und setzt endlich \(x= \cos \vartheta\), so ergiebt sich die Reihe (1) nebst ihrem Convergenzbereich. Um die Reihe auch für den Fall, dass keine Convergenz stattfindet, benutzen zu können, wird \(\frac{1}{\sqrt{1-ku}}\) durch das Integral \[ \frac{1}{\pi} \int_0^{\pi} \frac{dv}{1-ku \sin^2 v} \] ersetzt und die unter dem Integral stehende Function in eine endliche Reihe mit Restglied entwickelt. Die Discussion des Restgliedes führt auf das zweite der obigen Resultate. Setzt man in Reihe \((1) \frac{\vartheta}{n}\) statt \(\vartheta\) und geht zur Grenze für \(n=\infty\) über, so ergiebt sich die semiconvergente Reihe für die Bessel'sche Function \(J_0 (\vartheta)\). Aus der Reihe mit Restglied werden noch mehrere bekannte Resultate abgeleitet, z. B., dass die \(k^{\text{te}}\) Wurzel der Gleichung \(P^n(\cos \vartheta) =0\) zwischen \(\frac{(2k-1)\pi}{2n+1}\) und \(\frac{2k\pi}{2n+1}\) liegt. Aus der Integraldarstellung (2) lässt sich ferner die Entwickelung von \(P^n(\cos \vartheta)\) nach Sinus der Vielfachen von \(\vartheta\) ableiten. Betrachtet man jedes der beiden in (2) auftretenden Integrale für sich, nachdem man dieselben rational gemacht hat, so ergiebt sich: \[ (3) \quad \begin{cases} \int_0^{\xi} \frac{z^n dz}{\sqrt{z^2 - 2zx +1}} = 2S^n (x) + \pi i P^n (x), \\ \int_0^{\frac{1}{\xi}} \frac{z^n dz}{\sqrt{z^2 - 2zx +1}} = 2S^n(x) -\pi iP^n(x), \end{cases} \] wo \[ S^n(x) = \tfrac 12 P^n (x) \log \left(\frac{1+x}{1-x} \right) -R^n(x) \] die Kugelfunctionen zweiter Art ist. Man kann also \(S^n\) durch die Summe derselben Integrale ausdrücken, deren Differenz nach (2) \(P^n(x)\) darstellt. Entwickelt man dann die Integrale auf dieselbe Art wie oben, so erhält man eine Reihe für \(S^n (\cos \vartheta)\), die analog der Reihe (1) ist und sich nur dadurch von letzterer unterscheidet, dass rechts der Factor \(-\frac{\pi}{2}\) hinzuzufügen, und dass an Stelle von cosinus überall sinus in den Zählern der einzelnen Glieder zu setzen ist. Die Reihe für \(S^n(\cos \vartheta)\) giebt nun zu ähnlichen Folgerungen Anlass, wie die Reihe (1). So ergiebt sich aus ihr eine semiconvergente Reihe für die Bessel'sche Function zweiter Art \(K_0 (\vartheta)\); ferner folgt, dass die \(n+1\) Wurzeln der Gleichung \(S^n(x)=0\) so liegen, dass zwischen je zweien dieser Wurzeln eine Wurzel von \(P^n(x)=0\) enthalten ist. Nebenbei werden in der Arbeit noch mehrere bekannte Formeln aus der Theorie der Kugelfunctionen auf neue Art abgeleitet.