Über eine Reihe aus verallgemeinerten Laguerre'schen Polynomen. (Q2598935): Difference between revisions

Für die bilineare Formel der Laguerreschen Polynome \(L_n(x) = L_n^{(0)}(x)\) hat Ref. einen Beweis mit Hilfe der Operatorenrechnung umrissen (S.-B. Akad. Wiss. Wien, math.-naturw. Kl., II a, 145 (1936), 651-655; F.~d.~M. 62\(_{\text{II}}\), 1245). Hier führt Verf. bei den allgemeinen Laguerreschen Polynomen \(L_n^{(\alpha)}(x)\) einen solchen Beweis der bilinearen Formel vollständig durch; sie lautet, wenn z. B. \(x \geqq y>0\) ist und \(\alpha\) beliebig, \[ (xy)^{\alpha} \,e^{-x-y} \sum_{n}^{0, \, \infty} \frac{n! \,L_n^{(\alpha)}(x) \,L_n^{(\alpha)}(y)}{(n+1) \,\varGamma(\alpha+n+1)}= Q_x(\alpha)-\frac{Q_x(\alpha)Q_y(\alpha)}{\varGamma(\alpha)}, \tag{1} \] wo \(Q_x(\alpha)\) die unvollständige Gammafunktion bezeichnet. Der Beweis läuft bei reellen \(\alpha > - 1\), \(\alpha \neq 0\) so: Man stellt die linke Seite \((xy)^{\alpha} \,h^{(\alpha)}(x,y)\) von (1) mit Hilfe des Abelschen Grenzwertsatzes als Integral \(\varLambda\) der \textit{Myller-Lebedeff}schen Erzeugenden der \(L_n^{(\alpha)}\) dar; durch die zweifache Laplacesche Abbildung von \(\varLambda\) ergibt sich \[ \int\limits_{0}^{\infty} \int\limits_{0}^{\infty} e^{-px-qy} (xy)^{\alpha} \,h^{(\alpha)}(x,y) \,dx \,dy \tag{2} \] \[ =\frac{\varGamma(\alpha)}{pq} \left[ \frac{1}{(p+q+1)^{\alpha}} \frac{1}{(p+1)^{\alpha} \,(q+1)^{\alpha}} \right], \quad p>0, \;\; q>0. \] Die Laplacesche Umkehrformel, auf die rechte Seite von (2) zweimal angewandt, führt mit dem Jordanschen Hilfs- und dem Cauchyschen Residuensatz zu der rechten Seite von (1). (IV 6 B.)