Über ganzwertige ganze Funktionen. (Q5909735)

Eine ganze Funktion \(g(x)\) heißt \textit{ganzwertig,} wenn die Werte \(g(n)\) \((n=0, \pm 1, \pm 2, \dots )\) ganz und rational sind. Für das Wachstum einer solchen Funktion gelten Sätze, wie die folgenden. Es habe \(M(r)\) die übliche Bedeutung und es sei \[ \lim_{r=\infty}\;\frac {\log \log M (r)}{\log r} = \varrho \] (Wachstum von \(g(x)).\) Ist dann \(\varrho = 0,\) so reduziert sich \(g(x)\) notwendigerweise auf ein Polynom. Es tritt dies sogar ein, wenn \[ \lim_{r=\infty} \frac { r^{\frac 32} M (r) }{ \left( \frac {3+\sqrt 5}2 \right)^r } = 0 \] ist. (Die Konstante \(\frac {3+\sqrt 5}2\) kann dabei nicht verbessert werden. ) Es gibt also keine ganzwertige Funktion mit \(0 < \varrho < 1.\) Zu jedem \(\varrho \geqq 1\) läßt sich aber eine solche angeben; es können sogar ihre Werte \[ g (n) = y_n\quad (n = 0, \pm 1, \pm 2, \dots ) \] bis auf die Bedingung \[ \overline {\lim_{n=\infty}} \frac {\log \log | y_n| }{\log | n| }=\varrho \] beliebig vorgeschrieben werden. Ist \(g(x)\) eine ganze Funktion und \(g(n)\) \textit{nur für nichtnegative ganzahlige \(n\)} ganzwertig, so folgt aus \[ \lim_{r=\infty}\;\frac {r^{\frac 12} M(r) }{2^r} = 0, \] daß\ \(g(x)\) ein Polynom ist. -- Die Funktion \(2^x\) hat somit das kleinstmögliche Wachstum unter allen solchen ganzen Funktionen.