I polinomi di Hermite e di Laguerre come autosoluzioni. (Q5922704)

Es ist bekannt, daß die \textit{Hermite}schen Polynome \(y = H_n(x)\) die Eigenfunktionen des Randwertproblems \(y'' - 2xy' + \lambda y = 0\)\quad(\(-\infty< x<+\infty\)) mit den Rand\-bedingungen \(|y|<M\cdot|x|^\alpha\) für \(|x|\to\infty\) (\(\alpha\), \(M > 0\)) sind; die zugehörigen Eigen\-werte lauten \(\lambda = 2n\) (\(n\) ganzzahlig und \(\geqq0\)). Dieses Eigenwertproblem charakterisiert die \textit{Hermite}schen Polynome bis auf konstante Faktoren eindeutig. In ähnlicher Weise sind die \textit{Laguerre}schen Polynome \(y = L_n(x)\) bis auf konstante Faktoren durch das Eigenwertproblem \(xy'' + (1 - x) y' + \lambda y = 0\) (\(0\leqq x<\infty\)) mit den Randbedingungen \(|y|<M\cdot x^\alpha\) für \(x\to\infty\) und Endlichbleiben von \(y\) für \(x=0\) vollständig festgelegt; die Eigenwerte sind \(\lambda= n\) (\(n\) ganzzahlig und \(> 0\)). Verf. beweist nun, daß diese Charakterisierung der \textit{Hermite}schen Polynome auch dann noch in Geltung bleibt, wenn die Wachstumsbeschränkung im Unendlichen durch die wesentlich schwächere Forderung \(|y|<M\cdot e^{\tfrac{x^2}2}\cdot|x|^\alpha\) ersetzt wird, und daß das gleiche bei den \textit{Laguerre}schen Polynomen der Fall ist, wenn für \(x\to\infty\) bloß \(|y|< M\cdot e^{\tfrac x2}\cdot x^\alpha\) und für \(x\to0\) \(\lim\limits_{x\to0}(xy')=0\) gefordert wird.