Über die Darstellung willkürlicher Funktionen durch Charliersche Differenzreihen. (Q2580644)

Es bedeute \(v(x)\) eine beliebige, nur für \(x = 0\), 1, 2,\dots definierte Funktion. Die Entwicklungsfunktion \(\theta (x)\) verschwinde für \(x< 0\), ihre erzeugende Funktion \[ g(z)=\textstyle \sum\limits_{x=0}^{\infty }\theta (x)\,z^x \] sei regulär für \(z = 0\) und, bis auf eventuelle Pole, analytisch fortsetzbar und ungleich null für \(|\,z-1\,|\leqq 1\). Ist dann \[ \lim_{x\to\infty }\kern-4pt x^k2^xv(x)=0 \] für jedes \(k > 0\), so kann \(v(x)\), \(x= 0,\) 1, 2,\dots durch die absolut konvergente allgemeine Charlier-Reihe \[ v(x)=\textstyle \sum\limits_{n=0}^{\infty }c_n\varDelta ^n\theta (x),\;\;c_n=\sum\limits_{x=0}^{\infty }G_n(x)\,v(x) \] dargestellt werden, wo \(G_n(x)\) das Polynom \[ G_n(x)=\frac{(-1)^n}{n!}\frac{d^n}{dz^n} \biggl(\frac{z^x}{g(z)}\biggr)_{z=1} \] bedeutet. Ist \(v(x)\geqq 0\) und \(g(z)\) noch regulär im Kreise \(|\,z-1\,|\leqq 1\), so ist die Entwicklung von \(v(x)\) umgekehrt nur gültig, wenn die Limesbeziehung für jedes \(k > 0\) erfüllt ist. Mit diesem Hauptsatz verallgemeinert Verf. ein Resultat von \textit{Erhard Schmidt} (Z. angew. Math. Mech. 13 (1933), 139-142; JFM 59.0310.*), das den Fall \(\theta (x)=\dfrac{e^{-\lambda }\lambda ^x}{x!}\), \(x = 0\), 1, 2,\dots betrifft. Weitere Verallgemeinerungen und Folgerungen schließt Verf. an das mitgeteilte schöne Ergebnis an.