On the development of arbitrary functions in series of Hermite's and Laguerre's polynomials. (Q1447142)

Die im Folgenden besprochene Arbeit ist die Neuveröffentlichung der wesentlichen Resultate aus einer Arbeit, die Verf. über die Entwicklungen nach Laguerreschen Polynomen bereits 1916 publiziert hat [Petrograd. Bull. Acad. Sci. (6) 10, 1173--1202 (1916); 10, 1322 (1916); JFM 48.1385.01)]. Der erste Teil ist den Entwicklungen nach den ``normierten'' Hermiteschen Polynomen \(V_n(x)\) gewidmet, wobei die Hauptidee der angewendeten Methode auf die einfachste Weise erhellt. Bekanntlich können die letztgenannten Polynome durch die Formel \[ V_n(x) = \frac{e^{x^2}}{\sqrt{2\cdot 4\cdot 6 \cdots 2n}\sqrt{\pi}}\frac{d^n e^{-x^2}}{dx^n}\,,\quad V_0(x)=\frac1{\sqrt[4]{\pi}} \] definiert werden; danach genügen sie in bezug auf die Belegungsfunktion \(e^{-x^2}\) der Bedingung der Normiertheit und Orthogonalität: \[ \int\limits_{-\infty}^{+\infty}e^{-x^2} V_n^2(x)\, dx = 1, \qquad \int\limits_{-\infty}^{+\infty}e^{-x^2} V_n(x)V_m(x)\, dx = 0, \qquad (n\neq m). \] Nach Vorausschickung einiger Hilfssätze über die Eigenschaften der Polynome \(V_n(x)\), unter diesen über asymptotische Ausdrücke für \(V_n (x)\), beweist Verf. über die Entwicklung \[ \sum_{r=0}^\infty A_n V_n (x) = \sum_{n=0}^\infty V_n (x) \int\limits_{-\infty}^\infty f(x) V_n (x) e^{-x^2}\, dx \] der Funktion \(f (x)\) in Reihen nach den Hermiteschen Polynomen den Fundamentalsatz: \(f(x)\) genüge den Bedingungen: 1. \(f(x)\) absolut integrierbar über jedes endliche Intervall; 2. \(f (x)\) ist von beschränkter Schwankung im Intervall \((x_0 - \delta, x_0+ \delta)\), sobald \(\delta > 0\) genügend klein ist; 3. es existieren die Integrale \[ \int\limits_\alpha^\infty e^{-x^2}f^2 (x)\, dx,\qquad \int\limits_{-\infty}^{-\alpha} e^{-x^2}f^2 (x)\, dx \] für gewisses \(\alpha >0\); dann konvergiert die Reihe \(\sum\limits_{k=0}^\infty A_kV_k(x_0)\), und ihre Summe ist gleich \(\dfrac{f(x_0+0)+f(x_0-0)}2\). Der zweite Teil der Arbeit befaßt sich mit der Entwicklung nach den ``normierten'' Laguerreschen Polynomen \[ \varPi_n(x)=\frac1{\sqrt{\varGamma(n+1)\sqrt{\varGamma(n+\alpha+1)}}} \,x^{-\alpha}e^x\, \frac{d^nx^{n+\alpha}e^{-x}}{dx^n}\,,\quad \alpha>-1, \] die in bezug auf die Belegungsfunktion \(x^\alpha e^{-x}\) im Intervalle \((0, \infty )\) ein orthogonales und normiertes System bilden. Dem oben angeführten entsprechend beweist Verf. den Satz: Es genüge \(f(x)\) den Bedingungen: 1. \({\displaystyle\int\limits_\gamma^\infty} y^\alpha e^{-y}f^2(y)\,dy\) existiert für gewisses \(\gamma > 0\). 2. Ist \(-1 < \alpha \leqq - \frac12\), so existiert \({\displaystyle\int\limits_0^\beta} y^\alpha e^{-y}f^2(y)\, dy\) für gewisses \(\beta>0\); ist aber \(\alpha > - 1/2\), so existiert \({\displaystyle\int\limits_0^\beta} y^{\frac\alpha2-\frac14} |f(y)|\,dy\). 3. \(f(x)\) absolut integrierbar in jedem endlichen Intervall und von beschränkter Schwankung in \((x_0 -\delta, x_0 + \delta)\), sobald \(\delta > 0\) genügend klein ist. Dann konvergiert die Reihe \(\sum\limits_0^\infty A_n\varPi_n (x_0)\), wobei \(y_0 > 0\) und \(A_n ={\displaystyle\int\limits_0^\infty} y^\alpha e^{-y} \varPi_n(y)f(y)\,dy\), und ihre Summe ist gleich \(\dfrac{f(x_0+0)+f(x_0-0)}2\).