Sur la meilleure approximation locale des fonctions. (Q2586512)

Verf. beweist folgenden Satz: Sei \(P_n(x)\) dasjenige unter allen Approximationspolynomen \(n\)-ten Grades der Funktion \(f(x)\), für das das Maximum von \(|f(x) - P_n(x)|\) im Intervall \((\alpha, \beta)\) am kleinsten ausfällt. Dieses kleinste Maximum werde mit \(E_n[f(x), (\alpha, \beta)]\) bezeichnet. Ferner sei die Funktion \(\lambda (x)\) definiert durch die Relation: \[ 2^{2n+1} (n + 1) !\, \lambda (x) = | f ^{(n+1)} (x) |. \] Dann lautet die notwendige und hinreichende Bedingung dafür, daß die Funktion \(f (x)\) im Intervall \((a,b)\) \((n + 1)\)-mal stetig differenzierbar ist: \[ \lim_{{\beta\to x_0\atop \alpha\to x_0}} \frac {E_n[f(x),(\alpha,\beta)]}{(\beta-\alpha)^{n+1}} =\lambda (x_0);\;\beta>\alpha;\;\text{gleichmäßig in}\;x_0\;(a\leqq x_0 \leqq b). \]