A classification of generating functions. (Q2607889)

Mit Hilfe des von \textit{E.~L.~Post} eingeführten Operators \[ L_{k,t}[f(x)]= \frac{(-1)^k}{k!}\left(\frac kt\right)^{k+1}f^{(k)}\left(\frac kt\right) \] werden Bedingungen dafür abgeleitet, daß eine Funktion \(f(x)\) sich als \textit{Laplace-Stieltjes}-Integral \[ f(x)=\int\limits_0^\infty e^{-xt}\,d\alpha(t), \] bzw. als \textit{Laplace}-Integral \[ f(x)=\int\limits_0^\infty e^{-xt}\varphi(t)\,dt \] darstellen läßt, wobei von \(\alpha(t)\) bzw. \(\varphi(t)\) gewisse Klasseneigenschaften wie beschränkte Variation, Zugehörigkeit zu \(L^p\) usw. vorausgesetzt werden. Die Bedingungen für \(f(x)\) sind nicht funktionentheoretischer Art, sondern beziehen sich auf das Verhalten im Reellen. Die wichtigsten Resultate bezüglich einander entsprechender Klassen von \(f\) und \(\alpha\) bzw. \(\varphi\) lauten unter Weglassung nebensächlicher Bedingungen: \newline \(\alpha(t)\) in \((0,\infty)\) von beschränkter Variation: \[ \int\limits_0^\infty|L_{k,t}[f]|\,dt\leqq M \qquad (k=1,2,\dots). \] \(\alpha(t)\) in \((0,\infty)\) nicht abnehmend: \[ \begin{gathered} L_{k,t}[f]\geqq 0 \qquad (t>0;\;k=1,2,\dots),\\ f(x)\geqq 0 \qquad (x>0) \qquad \text{(Satz von \textit{S.~Bernstein}).} \end{gathered} \] \(|\varphi(t)|\leqq M\) in \((0,\infty)\): \[ L_{k,t}[f]\leqq M \qquad (t>0;\;k=1,2,\dots), \qquad f(\infty)=0. \] \(\varphi(t)\) gehört zu \(L^p\) (\(p>1\)) in \((0,\infty)\): \[ \int\limits_0^\infty|L_{k,t}[f]|^p\,dt\leqq M \qquad (k=1,2,\dots),\;f(\infty)=0. \] \(\varphi(t)\) gehört zu \(L\) in \((0,\infty)\): \[ \lim_{k\to\infty,l\to\infty}\int\limits_0^\infty|L_{k,t}[f]-L_{l,t}[f]|\,dt=0, \quad f(\infty)=0. \] \(f\) ist durch das allgemeinste (irgendwo konvergierende) \textit{Laplace-Stieltjes}-Integral darstellbar: \[ \begin{gathered} \left|\int\limits_0^R|L_{k,t}[f(x+\varepsilon)]\,dt\right|\leqq N_\varepsilon, \quad \int\limits_0^R\left|L_{k,t}[f(x+\varepsilon)]\,dt\right|\leqq N_\varepsilon(R),\\ \text{für \(R>0\); \(k=1,2,\cdots\).} \end{gathered} \] \(\alpha(t)\) ist eine Treppenfunktion, d.~h. \(f\) ist durch die allgemeinste \textit{Dirichlet}sche Reihe darstellbar: Die vorhergehende Bedingung und außerdem: \[ \lim_{k\to\infty}L_{k,t}[f]=0, \] gleichmäßig in jedem Teilintervall eines Konstanzintervalles von \(\alpha\). (IV~3~D.)