Sur les différences et sur les dérivées. (Q2586422)

Verf. gibt einen elementaren Beweis des folgenden Satzes: \(f (x)\) sei stetig in \(\langle a, b\rangle \) und es existiere eine Folge \(h_k\to 0\), so daß \[ |\,\varDelta _{hk}^n\,f(x)\,|\leqq C\,|h_k|^n \] ist für \(a\leqq x\leqq b\), \(a\leqq x + nh_k\leqq b\) (wo \(\varDelta _h^n\,f(x)\) die \(n\)-te Differenz von \(f (x)\) im Punkt \(x\) mit der Schrittweite h bezeichnet); dabei möge \(C\) weder von x noch von \(h_k\) abhängen. Dann besitzt \(f(x)\) in \(\langle a, b\rangle \) eine \((n-1)\)-te Ableitung, die für \(a\leqq x\leqq b\), \(a\leqq y\leqq b\) der Lipschitzbedingung \[ |\,f^{(n-1)}(y)- f^{(n-1)}(x)\,| \leqq C\,|y-x| \] genügt. Diesen Satz, der sich auch aus einem Ergebnis von \textit{A. Marchaud} (J. Math. pur. appl. (9) 6 (1927), 337-425; F. d. M. 53, 232 (JFM 53.0232.*)) folgern läßt, hat Verf. auf anderem Wege in einer früheren Note (C. R. Acad. Sci. USSR (2) 24 (1939), 653-656; F. d. M. 65) bewiesen. Der vorliegende Beweis stützt sich auf eine von \textit{S. Bernstein} (Math. Ann., Leipzig, 75 (1914), 449-468; F. d. M. 45, 635 (JFM 45.0635.*)) stammende Verallgemeinerung des Rolleschen Satzes, aus der Verf. einen Mittelwertsatz für dividierte Differenzen ableitet.