Relations entre les polynomes de Jacobi, Laguerre et Hermite. (Q2580675)

Gegenstand der vorliegenden Arbeit sind die Polynome \(P_n^{(\alpha, \beta)}(x)\) von Jacobi, die ultrasphärischen \(P_n^{(\lambda)}(x)\), die Laguerreschen \(L_n^{(\alpha )}(x)\) und die Hermiteschen \(H_n(x)\), für die teilweise bekannte, teilweise neue Beziehungen sowohl zwischen den Polynomen der verschiedenen Systeme als auch zwischen denen desselben Systems abgeleitet werden. Die Polynome von Laguerre und Hermite lassen sich bekanntlich aus denen von Jacobi bzw. aus den ultrasphärischen Polynomen bzw. die Hermiteschen aus den Laguerreschen Polynomen durch Grenzübergang erhalten: \[ L_n^{(\alpha )}(x) = \lim_{\beta = \infty} P_n^{(\alpha, \beta)}\left( 1 - \frac {2x}\beta\right), \qquad H_n (x) = n! \lim_{\lambda = \infty} \lambda^{- \tfrac n2} P_n^{(\lambda)} \left( \frac {x}{\sqrt{\lambda}}\right) \] \[ H_n(x) = 2^n n! \lim_{\omega= \infty }\omega^{-n} L_n^{\left(\tfrac {\omega^2}2 + k\right)} \left( \frac {\omega^2}2 - \omega x\right) \qquad (k \text{ beliebig}). \] Indem Verf. nun die an anderer, noch nicht veröffentlichter, Stelle abgeleitete Formel \[ \sum_{r=0}^\infty \frac{(h)_r}{r!} F(-r, a; c; x)z^r = (1-z)^{-h} F\left( a,h; c; -\frac {xz}{1-z}\right) \qquad (|z| < 1) \] anwendet, erhält er durch Grenzübergang für die Jacobischen Polynome die erzeugenden Funktionen \[ \sum_{n=0}^\infty P_n^{(\alpha, \beta - n )}(x) t^n = (1-t)^\beta \left(1 - t \frac {1+x}2 \right)^{-\alpha - \beta - 1} \qquad (|t|<1), \] \[ \sum_{r=0}^\infty \frac {t^n}{\varGamma (n+\alpha + 1)}P_n^{(\alpha, \beta - n )}(x) = \frac {1}{\varGamma (\alpha + 1)} e^{t \tfrac {1+x}2}\cdot{}_1F_1 \left(-\beta; \alpha + 1; t \frac {1-x}2 \right) \qquad (\alpha > -1) \] und zwei analoge Formeln für die ultrasphärischen Polynome. Aus der Funktionalgleichung \[ F(a,b;c; x) = \frac {\varGamma (c)}{\varGamma (\gamma ) \varGamma (c-\gamma )} \int\limits_0^1 v^{\gamma - 1}(1-v)^{c-\gamma - 1} F(a, b;\gamma; vx)\, dv \] mit \(\Re (c) > \Re (\gamma) > 0\) (vgl. \textit{Erdélyi}, Quart. J. Math. (Oxford. Ser.) 8 (1937), 200-213; F. d. M. 63, 320 (JFM 63.0320.*)) leitet er Beziehungen zwischen den Jacobischen und ultrasphärischen Polynomen ab wie z. B.: \[ \begin{multlined} P_n^{(\alpha, \beta)}(x) \\ = (-1)^n \frac { (\alpha + 1)}{\varGamma (\frac 12)\varGamma (\alpha + \frac 12)} \frac {(\alpha + 1)_n}{(\alpha + \beta + 1)_n} \int\limits_{-1}^{+1} (1 - v^2)^{\alpha - \tfrac 12} P_{2n}^{(\alpha + \beta + 1)} \left(v \sqrt{\dfrac {1-x}{2}} \right)\, dv, (\alpha > -\tfrac 12), \end{multlined} \] welche die Uspensky-Formel verallgemeinert, die \(L_n\) und \(H_n\) miteinander verbindet; indem er die Funktionalgleichungen zwischen den hypergeometrischen Funktionen von Gauß \(F (a, b; c; x)\) und Kummer \({}_1F_1( b; c; x)\) \[ F(a,b;c;x) = \frac 1{\varGamma (a)} \int\limits_{0}^{\infty} u^{a-1} e^{-u} {}_1F_1(b;c; ux) \,d u, \;\Re (a) > 0,\;x \not = 1 \] und die dazu inverse, heranzieht, erhält er eine Gleichung zwischen den ultrasphärischen und Laguerreschen Polynomen \[ P_n^{(\lambda)}(x) = \frac 1{\varGamma (2\lambda)(\lambda + \frac 12)_n} \int\limits_{0}^{\infty} u^{n + 2\lambda -1} e^{-u} L_n^{(\lambda - \frac 12 )} \left( u \frac {1-x}2\right) \, du \qquad (\lambda > -\tfrac 12), \] die für \(\lambda = \frac 12\) die Relation ergibt: \[ P_n (x) = \frac 1{n!} \int\limits_{0}^{\infty} u^{n } e^{-u} L_n \left( u \frac {1-x}2\right) \, du. \] Mit Reihenentwicklungen für \(P_n^{(\alpha, \beta)}(x)\), \(P_n^{(\lambda )}(x)\) und \(H_{2n+1} (x)\) wird der erste Teil abgeschlossen. Im zweiten Teil werden Beziehungen zwischen den Polynomen desselben orthogonalen Systems aufgestellt. Im letzten Teile werden erzeugende Funktionen für Produkte von Polynomen abgeleitet (vgl. die Arbeiten des Verf., Mat. fizik. Lapok 48 (1941), 453-504; Atti Accad. Sci. Torino Cl. I 76 (1941), 541-555; F. d. M. 67, 238 (JFM 67.0238.*), 248).