An application of Laguerre polynomials. (Q2612381)

Definitionen: Das \textit{Laguerre}sche Polynom \(n\)-ter Ordnung lautet: \[ L_n (x) =\sum_{k=0}^n \binom nk \frac{(-x)^k}{k!}. \] \(f (x)\) heißt vollmonoton in \(0 \leqq x < \infty\), wenn \[ (-1)^kf^{(k)}(x)\geqq 0\quad\text{für}\quad x>0,\;k=0,\,1,\,2,\,\ldots \] und \[ f(0) = \lim_{x\to+0} f (x). \] Der zentrale Satz der Arbeit lautet (Theorem 5 und 6): Ist \(f(x)\) vollmonoton, so ist die Funktion \[ A_t(y)=\sum_{n=0}^\infty t^n L_n(y) \sum_{k=0}^n \binom nk\frac{f^{(k)}(1)}{k!} \] für \(0 \leqq y < \infty\), \(0\leqq t<1\) nichtnegativ, und \(f(x)\) kann aus \(A_t(y)\) folgendermaßen gewonnen werden: \[ f(x)= \lim_{t\to1-0} \int\limits_0^\infty e^{-xy}A_t(y)\,dy\qquad (1<x<2). \] (Der Beweis von \(A_t(y) \geqq 0\) beruht auf der durch \textit{Hardy} (Journ. London Math. Soc. 7 (1932), 138-139; F. d. M. 58) und \textit{Watson} (Journ. London Math. Soc. 8 (1933), 189-192; F. d. M. \(59_{\text{I}}\), 362) bekannten Tatsache, daß \[ K(x,y,t) = \sum_{n=0}^\infty L_n(x)L_n(y)t^n \] für \(0\leqq x<0\), \(0\leqq y<\infty\), \(0\leqq t<1\) nichtnegativ ist.) Mit Hilfe des \textit{Helly}schen Auswahlsatzes (Sitzungsber. Akad. Wien 121 (1912), 265-297; F. d. M. 43, 418 (JFM 43.0418.*)) wird hieraus der Satz von \textit{S. Bernstein} gewonnen: Eine in \(0\leqq x < \infty\) vollmonotone Funktion \(f (x)\) läßt sich für \(x\geqq 0\) als \textit{Laplace}-Integral \[ f(x) = \int\limits_0^\infty e^{-xt}\,d\alpha(t) \] mit beschränktem, nichtabnehmendem \(\alpha (t)\) darstellen. Gleichzeitig ergibt sich unter diesen Voraussetzungen eine Umkehrformel für die \textit{Laplace}-Transformation: \[ \alpha(x) = \sum_{n=0}^\infty\int\limits_0^x L_n(y)\,dy \sum_{k=0}^n \binom nk \frac{f^{(k)}(1)}{k!}. \] (Vgl. hierzu die oben referierte Note von \textit{F. Tricomi}, Ancora sull'inversione della trasformazione di Laplace; Rend. Accad. d. L. Roma (6) 21 (1935), 420-426; F. d. M. \(61_{\text{I}}\), 451.)