Functions with positive derivatives. (Q2580077): Difference between revisions

Verf. beweist auf elementarem Wege folgendes schon von \textit{S. Bernstein} (Leçons sur les propriétés extrémales et la meilleure approximation des fonctions analytiques d'une variable réelle, Paris (1926; F. d. M. 52, 256 (JFM 52.0256.*)), 196-197) ohne ausführlichen Beweis angegebene Theorem: Sei \(\{n_p\}\) \((p = 1, 2, \ldots)\) eine monoton wachsende Folge ganzer positiver Zahlen, für die \(\dfrac{n_{p+1}}{n_p}\) beschränkt ist. Ist dann \(f(x)\) im Intervall \(a < x < b\) unbeschränkt differenzierbar, und hat \(f^{(n_p)}(x)\) für jedes \(p\) in diesem Intervall dasselbe Vorzeichen, so ist \(f(x)\) in \(a < x < b\) analytisch. Um zu zeigen, daß dieses Resultat schon das bestmögliche ist, konstruiert Verf. unter der Voraussetzung \(\lim\limits_{p\to\infty}\dfrac{n_{p+1}}{n_p}=\infty \) eine Funktion \(f(x)\), welche die übrigen Voraussetzungen des obigen Satzes erfüllt, aber nicht analytisch ist. (Der Fall \(\varlimsup\limits_{p\to\infty}\dfrac{n_{p+1}}{n_p}=\infty\), \(\varliminf\limits_{p\to\infty}\dfrac{n_{p+1}}{n_p}<\infty\) bleibt noch offen.)