Formule di addizione e moltiplicazione sui polinomi di Laguerre. (Q2585294)

Verf. stellt der bekannten Erzeugung der verallgemeinerten Laguerreschen Polynome \(L_n^{(\alpha)}(x)\) vermöge \[ (1-t)^{-\alpha-1}\exp\left(-\dfrac{xt}{1-t}\right)= {\sum\limits_{n=0}^{\infty}}t^nL_n^{(\alpha)}(x) \tag{1} \] die folgende gegenüber \[ (1+t)^{\alpha}e^{-xt}= {\sum\limits_{n=0}^{\infty}}t^nL_n^{(\alpha-n)}(x). \tag{2} \] Er beweist sie einmal mittels der Lagrangeschen Reihenumkehrformel, dann mit Hilfe von nicht ganz an der Oberfläche liegenden Integralformeln der Theorie der Besselfunktionen; bequemer entnimmt man wohl (2) aus der Cauchyschen Koeffi\-zientendarstellung, indem man den Mittelpunkt des Integrationskreises nach dem Punkte \(x\) verschiebt (worauf dann umgekehrt leicht die genannten Integralformeln für Besselfunktionen folgen). Durch Bildung von (1) bzw. (2) für \(\alpha_\nu\), \(x_\nu\) (\(\nu = 1\), 2,\dots, \(r\)), Multiplikation und Koeffizientenvergleichung erhält man dann ein bekanntes und ein neues Additionstheorem, die nachher auch noch (auf wesentlich mühseligerem Wege) durch reine Differentiationsprozesse bewiesen werden. Die Spezialisierung für Hermitesche Polynome liefert kein eigentliches Additionstheorem, da die Über\-gangsformeln im Argument bekanntlich quadratisch sind; ein solches erhält man jedoch durch einen Grenzübergang an (allgemeinen) Laguerreschen Polynomen mit von einem Parameter \(a\) abhängigen Variablen \(\alpha\) und \(x\). -- Zu der bekannten Darstellung von \(L_n^{(\alpha)}(\lambda x)\) als Linearkombination der \(L_j^{(\alpha)}(x)\) (\(j = 1\), 2,\dots, \(n\)) (Multiplikationstheorem) wird weiter eine entsprechende vermöge der Funktionen \(x^j\cdot L_{n-j}^{(\nu+2j)}(x)\) gewonnen, wobei \(\nu\) einen willkürlichen Parameter bedeutet; die Koeffizienten werden dabei in Abhängigkeit von \(\lambda\) hypergeometrische (Jacobische) Polynome, bei geeigneter Wahl von \(\nu\) insbesondere ultrasphärische (Gegenbauersche) Polynome. Durch Spezialisierung der drei verfügbaren Parameter \(\alpha\), \(\nu\), \(\lambda\) entstehen zahlreiche Einzelformeln, insbesondere für trigonometrische Polynome \[ \left(\lambda=\dfrac{1+\cos\varphi}{2}=\cos^2\frac\varphi2;\;\alpha,\nu\;\;\text{geeignet}\right). \] Schließlich wird auch noch \(\varphi\) spezialisiert, wodurch dann Identitäten in \(x\) allein hervorgehen. Zum Schluß auch noch Entwicklungen von Produkten Laguerrescher Polynome.