Una nuova estensione delle funzioni sferiche. (Q1532243)

Der Verfasser betrachtet die durch die Gleichung \[ (1)\quad \frac{1}{\sqrt{t^3-3tx+1}}=\sum_{n=0}^\infty\;t^nP_n(x) \] definirte Function \(P_n(x)\). \(P_n(x)\) ist eine ganze rationale Function von \(x\), die der Differenzengleichung \[ (2)\quad 2(n+1)F(n+1)-3(2n+1)xF(n)+(2n-1)F(n-2)=0 \] genügt, und zwar ist \(P_{-2}=0\), \(P_{-1}=0\), \(P_0=1\). Der Differenzengleichung (2) genügen ausser \(P_n\) noch zwei andere Functionen \(Q_n\) und \(R_n\), die bei passender Fortsetzung von \(Q_{-1},Q_0,Q_1,R_{-1},R_0,R_1\) ganze Functionen von \(x\) vom Grade \(n-1\), resp. \(n-2\) sind. Der Differenzengleichung (2) genügt auch das elliptische Integral \[ (3)\quad \omega_n(x)=-\int_{e_3}^\infty \frac{dt}{t^{n+1}\sqrt{t^3-3tx+1}}, \] wo \(e_3\) die absolut grösste Wurzel der Gleichung \[ (4)\quad t(x)\equiv t^3-3tx+1=0 \] ist. \(\omega_n\) muss sich daher durch \(P_n\), \(Q_n\), \(R_n\) ausdrücken lassen, und zwar ergiebt sich \[ (5)\quad \omega_n=P_n(x)\int_0^\infty\;\frac{du}{\wp(u)}-\tfrac 12\,\eta Q_n(x)+\omega R_n(x), \] falls \(\wp(u)\) die Weierstrass'sche Function ist, \(\omega\) und \(\eta\) die Perioden der elliptischen Integrale erster und zweiter Gattung \[ [\wp(\omega)=e_3,\;\zeta(\omega)=\eta]. \] Neben dem elliptischen Integrale (3) spielt für die weitere Untersuchung noch das folgende eine Rolle: \[ (6)\quad \sigma_n=\int_0^{e_1}\frac{t^ndt}{\sqrt{t^3-3tx+1}}\,, \] in dem \(e_1\) die absolut kleinste Wurzel der Gleichung (4) ist. \(\sigma_n\) genügt der Differenzengleichung \[ (7)\quad (2n+1)F(n+1)-3x(2n-1)F(n-1)+2(n-1)F(n-2)=0. \] Die drei von einander unabhängigen Lösungen von (7) seien \( A_n(x),B_n(x),C_n(x)\); dieselben sind bei passender Bestimmung von \(A_0,A_1,A_2,B_0,B_1,B_2,C_0,C_1,C_2\) ganze Functionen von \(x\) von den Graden \(\frac n2-1,\frac n2,\frac n2-1\) für gerade \(n\), resp. von den Graden \(\frac{n-3}{2},\frac{n-1}{2},\frac{n-1}{2}\) für ungerade \(n\). Mittels derselben lässt sich das Integral (6) folgendermassen ausdrücken: \[ (8)\quad \sigma_n(x)=A_n(x)+B_n(x).\sigma_0+C_n(x).\sigma_1. \] Zwischen den Integralen der Differenzengleichungen (2) und (7) finden nun recurrente Relationen statt, von denen folgende hier Platz finden mögen. Es ist \[ (9)\quad A_n=(-1)^n\;\frac{4.6\dots 2n}{3.5\dots(2n-1)}\;(R_nQ_{n-1}-Q_nR_{n-1}), \] umgekehrt wird \[ (9^{\text a})\quad P_n=(-1)^n\;\frac{3.5\dots (2n+1)}{2.4\dots 2n}(B_nC_{n+1}-C_nB_{n+1}), \] und ähnliche Gleichungen bestehen für \(B_n\), \(C_n\), \(Q_n\), \(R_n\). Nach einem Excurs über die Wurzeln der Gleichung (4) und dem Nachweise, dass die Function \(\sigma_n(x)\) sich für gerade \(x\) in eine nach fallenden Potenzen von \(x\) fortschreitende Reihe entwickeln lässt, deren Anfangsglied \(\frac{1}{x^{n+1}}\) ist, wendet sich der Verfasser den Reihen zu, die nach den Functionen \(P_n(x)\), resp. \(\sigma_n(x)\) fortschreiten. Die Grundlage für die Entwickelung einer Function in eine derartige Reihe bildet die Gleichung: \[ (10)\quad \frac{1}{x-z}=\tfrac 32\sum_{n=0}^\infty (2n+1)\sigma_n(z)P_n(x). \] Aus derselben ergiebt sich, dass jede in der Nähe von \(x=0\) reguläre Function sich in eine Reihe der Form \[ (11)\quad f(x)=\sum a_nP_n(x) \] entwickeln lässt, die innerhalb einer einfach zusammenhängenden, von einer gewissen Curve \(C_\varrho\) begrenzten Fläche convergirt, und deren Coefficienten durch die Gleichung \[ (11^{\text a})\quad a_n=-\frac{3}{4\pi i}(2n+1)\int_{C_\varrho} \sigma_n(z)f(z)dz \] bestimmt sind. Dagegen lässt sich jede in der Umgebung von \(z=\infty\) reguläre Function in eine Reihe von der Form \[ (12)\quad f(z)=\sum b_n\sigma_n(z) \] entwickeln, die in dem Teil der complexen Ebene convergirt, der ausserhalb einer gewissen geschlossenen Curve \(C_\varrho\) (ohne Doppel- oder mehrfache Punkte) liegt. Die Coefficienten der Reihe (12) sind \[ (12^{\text a})\quad b_n=-\frac{3(2n+1)}{4\pi i}\int_{C_\varrho} f(x)P_n(x)dx. \] Es werden noch die Bedingungen der Convergenz der besprochenen Reihen, insbesondere der Reihe (10) erörtert, und sodann wird zum Schluss gezeigt, dass die Functionen \(P_n(x)\) und \(\sigma_n(x)\) je einer linearen Differentialgleichung dritter Ordnung genügen, und zwar den folgenden: \[ 4(4x^3-1)P^{\prime\prime\prime}_n+96x^2P^{\prime\prime}_n-x(12n^2+24n-91)P_n' -n(2n+3)(2n+9)P_n=0, \] \[ 4(4x^3-1)\sigma^{\prime\prime\prime}_n+144x^2\sigma^{\prime\prime}_n-x(12n^2+24n-291)\sigma_n' -(n-3)(2n-7)(2n+5)\sigma_n=0. \]