Indefinitely differentiable functions with prescribed least upper bounds. (Q2586445)

I. Ist in einem Intervall der Länge \(a\) die Funktion \(F (x)\) zweimal differentiierbar und \[ |F (x)|\leqq M_0,\;\;\;|F'(x)|\leqq M_1,\;\;\;|F''(x)|\leqq M_2,\tag{\(^*\)} \] so ist \[ M_1\leqq \frac {2}{a}M_0 + \frac {2}{a}M_2. \] Diese Ungleichung verschärft in einem Spezialfall ein Ergebnis von \textit{O. Ore} (Trans. Amer. math. Soc. 43 (1938), 321-326; JFM 64.0209.*) über Funktionen mitbeschränkten Ableitungen. Gelten die Ungleichungen \((^*)\) in dem unendlichen Intervall \((0,\infty )\), so ist \[ M_1\leqq 2\sqrt {M_0M_2}. \] II. Ist \(a> 0\) und die Folge nicht negativer Zahlen \(M_k\) so gewählt, daß die Folge der Zahlen \(M{}_ka^k\) nicht steigt, so ist die Funktion \[ F(x) = \sum _{k=0}^\infty \frac {M_k}{k!}\,(x-a)^k = \sum _{k=0}^\infty \frac {S_k}{k!}\,x^k, \] wo \[ S_k = \sum _{j=0}^\infty (-1)^j\frac {M_{k+j}\,a^j}{j!}\quad (k=0,1,2,\ldots ), \] eine ganze Funktion und hat die Eigenschaft, daß \[ |F^{(k)}(x)| \leqq F^{(k)}(a) =M_k\quad (k=0,1,2,\ldots ) \] im Intervall \(0\leqq x\leqq a\) gilt.