Contributions à la théorie des polynomes de Jacobi. (Q2580192)

Mit der Bezeichnung \((\alpha)_n=\varGamma(\alpha+n) /\varGamma(\alpha)\) werde gesetzt \[ P_n^{(\alpha,\beta)}(x)=\frac{(\alpha+1)_n}{n!} F\left(n+\alpha+\beta+1, -n,\alpha +1; \frac{1-x}2\right), \;(|x|\leqq 1). \] Für diese Polynome leitet Verf. zunächst neue erzeugende Funktionen her, z. B. \[ \begin{multlined} \sum\limits_{n=0}^\infty \frac{(\alpha+\beta+1)_n}{(\alpha+1)_n} \cdot P_n^{(\alpha,\beta)}(x)\cdot t^n\\ =(1-t)^{-\alpha-\beta-1} \cdot F\left(\frac{\alpha+\beta+1}2,\frac{\alpha+\beta}2+1,\alpha +1; \frac{-2t}{(1-t)^2}(1-x)\right), \;(|t|<1) \end{multlined} \] und \[ \sum_{n=0}^\infty P_n^{(\alpha,\beta-n)}(x)\cdot t^n= (1-t)^\beta\cdot \left(1-t\cdot \frac {1+x}2\right)^{-\alpha-\beta-1}, (|t|< 1). \] Als Sonderfall führt die vorletzte Formel, da \[ \frac{(2\lambda)_n}{(\lambda+\frac 12)_n}\cdot P_n^{(\lambda-\frac 12,\lambda-\frac 12)}(x)= P_n^{(\lambda)}(x) \] die Gegenbauerschen Polynome sind, zu deren erzeugender Gleichung \[ \sum_{n=0}^\infty P_n^{(\lambda)}(x)t^n=(1-2xt+t^2)^{-\lambda}. \] Des weiteren leitet Verf. erzeugende Funktionen für das Produkt zweier Jacobischer Polynome her, von denen als Beispiel folgende diene: \[ \begin{multlined} \sum_{n=0}^\infty \frac{n!}{(\alpha+1)_n}\cdot P_n^{(\alpha,\beta-n)}(x)P_n^{(\alpha,\gamma-n)}(y) \cdot z^n \\ =\left(1-\frac{1+x}2\cdot z\right)^\gamma \left(1-\frac{1+y}2\cdot z\right)^\beta \left(1-\frac{1+x}2\cdot \frac{1+y}2\cdot z\right) ^{-\alpha-\beta-\gamma-1} \cdot \end{multlined} \] \[ \cdot F\left(-\beta,-\gamma,\alpha+1;\frac{(1-x)(1-y)z} {[2-(1+x)z] [2-(1+y)z]} \right); \;(|z|<1). \] Die wichtige Multiplikationsformel \[ \begin{multlined} P_n^{(\alpha,\beta)}[1-\mu(1-x)]=\sum_{r=0}^n \frac {(\alpha+1)_n\cdot (n+\alpha+\beta+1)_r\cdot (\gamma+\delta+1)_r}{(\alpha+1)_r\cdot (\gamma+\delta+1)_{2r}\cdot(n-r)!} \cdot \mu^r \\ \cdot {}_3F_2\left( \begin{matrix} -n+r,n+r+\alpha+\beta+1, r+\gamma+1;\\ r+\alpha+1, 2r+\gamma+\delta+2 \end{matrix} \mu \right) \cdot P_r^{(\gamma,\delta)}(x) \end{multlined} \] liefert Entwicklungen nach andern Jacobischen, speziell Gegenbauerschen, Polynomen. Es folgen Integralbeziehungen, wie \[ \begin{gathered} P_n^{(\alpha,\beta)}(x)=\frac{\varGamma(n+\alpha+1)} {\varGamma(n+\gamma+1)\varGamma(\alpha-\gamma)} \cdot \int\limits_0^1t^\gamma(1-t)^{\alpha-\gamma-1} P_n^{(\gamma,\alpha+\beta-\gamma)}(1-t(1-x))\,dt, \\ (\alpha> \gamma > -1) \end{gathered} \] und schließlich Relationen zwischen Jacobischen und Laguerreschen oder Hermiteschen Polynomen; deren wichtigste lautet \[ P_n^{(\alpha,\beta)}(x)=\frac 1{\varGamma(n+\alpha+\beta+1)}\cdot \int\limits_0^\infty t^{n+\alpha+\beta}e^{-t}L_n^{(\alpha)} \left(t\frac{1-x}2\right)\,dt, \quad (n+\alpha+\beta+1>0). \] Zum Schluß leitet Verf. die Entwicklungen hypergeometrischer Funktionen, von \(\exp\left(t\dfrac {1+x}2\right)\), \(\left(\dfrac {1-x}2\right)^\alpha\), u. ä. nach Jacobischen Polynomen her. Die Ergebnisse lassen sich weitgehend auf Jacobische Polynome in zwei Veränderlichen ausdehnen, die folgendermaßen definiert werden: \[ P_{m,n}^{(\alpha,\beta)}(x,y)= \frac{(\alpha+1)_{m+n}}{m!n!}\cdot F_1\left( m+n+\alpha+\beta+1, -m,-n,\alpha+1; \frac{1-x}2, \frac{1-y}2\right) \] mit \[ F_1(a,b,c,d; \, x,y)= \sum_{r=0}^\infty \sum_{s=0}^\infty \frac{(a)_{r+s}(b)_r(c)_s}{(d)_{r+s}r!s!}x^ry^s. \] Die Orthogonalitätsfrage ist noch nicht entschieden.