Polynomes et fonctions de Legendre. (Q2594249)

1. \textit{Legendresche Polynome.} Erklärung aus der Orthogonalitätseigenschaft. Erzeugende Funktion. Legendresche Differentialgleichung. Integraldarstellungen. Die Behandlung erfolgt für komplexe Werte des Argumentes unter genauer Angabe der Gültigkeitsgrenzen. 2. \textit{Legendresche (Kugel-)Funktionen.} Einführung der Kugelfunktionen erster Art für komplexe Ordnung als Losung der Legendreschen Differentialgleichung durch \[ P_n(z)=\frac1{\pi i}\int\limits_{+\infty}^{(z+,1+)} (t^2-1)^n(2t-2z)^{-n-1}dt= F\left(-n,n+1,1;\frac{1-z}2\right). \] Erklärung der Kugelfunktionen zweiter Art für \(\mathfrak R(n) > - 1\) durch \[ Q_n(z)=\int\limits_{-1}^{+1}(1-t^2)^n(2z-2t)^{n+1}dt. \] Andere Integraldarstellungen von \(P_n(z)\), \(Q_n(z)\); gegenseitige Beziehungen. Christoffelsche Formel und Neumannsche Entwicklung einer in einer Ellipse holomorphen Funktion \(f(z)\) in der Form \(f(z)=\sum\limits_{n=0}^\infty a_nP_n(z)\). Erzeugende Funktion der \(Q_n(z)\). 3. \textit{Verallgemeinerte Legendresche Funktionen.} Die Hobsonschen Funktionen \(P^{(m)}_n(z)\), \(Q^{(m)}_n(z)\) bei beliebigem \(m\), \(n\). Relationen zwischen ihnen, Zusammenhang mit hypergeometrischen und Eulerschen Betafunktionen. Ihr Ausdruck als Funktion von \(z+\sqrt{z^2-1}\). Integraldarstellungen verschiedenster Art und Gültigkeitsgebiete, wobei eine weitverzweigte Literatur einheitliche Verarbeitung findet. Besondere Eigenschaften für ganzzahliges \(m\). Rücklaufformeln. 4. \textit{Additionstheoreme.} Hauptsächlich nach eigenen Arbeiten des Verf. (vgl. z. B. C. R. Acad. Sci., Paris, 203 (1936), 915-918, 1225-1227; F. d. M. \(62_{\text I}\), 413) werden Entwicklungssätze nach den \(P^{(m)}_n\), \(Q^{(m)}_n\) samt Konvergenzeigenschaften untersucht, z. B. der folgende: \[ P_n(ab+\sqrt{a^2-1}\;\sqrt{b^2-1}\;\mathfrak{Cof}z)= \sum_{m=-\infty}^{+\infty} P_n^{(m)}(a)P_n^{(-m)}(b)e^{mz}, \] gültig, wenn \[ \left|\frac{a+1}{a-1}\cdot\frac{b+1}{b-1}\right|>1,\quad \text{im Streifen}\quad |\mathfrak R(z)|<\frac12\log \left|\frac{a+1}{a-1}\cdot\frac{b+1}{b-1}\right|. \] 5. \textit{Asymptotische Ausdrücke für \(P_n^{(m)}(\cos\theta)\) und \(Q_n^{(m)}(\cos\theta)\).} Hobsons Verallgemeinerung der Ungleichungen \[ \sqrt{\frac\pi2}|P_n(\cos\theta)|\qquad \text{und}\qquad \sqrt{\frac2\pi}|Q_n(\cos\theta)|<\frac1{\sqrt{n\sin\theta}},\;n>0, \;0<\theta<\pi \] auf die \(P_n^{(m)}\), \(Q_n^{(m)}\) und anschließende Abschätzungen. 6. \textit{Reihen nach Legendreschen Funktionen.} Konvergenzfragen bezüglich der Entwicklung einer willkürlichen reellen Funktion \(f(x)\) in der Form (1) \(\sum\limits_{m=1}^\infty \lambda_m P_m(x)\). Ist \(s_n(x)\) die \(n\)-te Abschnittssumme, so konvergiert \(s_n(\cos\theta)\) in jedem inneren Punkt des Konvergenzgebietes der Fourierreihe von \(f(\cos\theta)\sqrt{\sin\theta}\), falls \(f(x)(1-x^2)^{-\frac14}\) in \((-1,+1)\) summierbar ist. Ist \(f(x)\) in \((-1,+1)\) summierbar, so ist (1) \((C, r)\)-summierbar (\(r>\tfrac12\)) zum Werte \(\frac12\{f(x+0)+f(x-0)\}\) für \(|x|<1\); in \(x=\pm1\) ist sie \((C,1)\)-summierbar zu \(f(\pm 1\mp 0)\), falls diese Werte existieren, und zu den gleichen Werten \((C, r)\)-summierbar (\(\frac12< r < 1\)), wenn \[ \lim_{\varepsilon\to 0}\left\{\int\limits_{\mp1\pm\varepsilon}^{\pm1} |f(x)|(1\pm x)^{-\tfrac14}dx: \left(\int\limits_{\mp1}^{\pm1\pm\varepsilon} |f(x)|dx\right)^{\tfrac{1-2r}{2-2r}}\right\}=0 \] gilt. Sätze bezüglich der Größenordnung der \(\lambda_m\). 7. \textit{Schrifttumsverzeichnis.} Im ganzen eine dankenswerte saubere Verarbeitung neueren und alteren einschlägigen Schrifttums mit Ableitung und Zusammenstellung vieler wichtiger Formeln und Sätze.