On the local approximation of differentiable functions. (Q2594208)

Verf. beweist zunächst \textit{Satz I}. Dafür, daß die reelle und beschränkte Funktion \(f (x)\) im Intervall \(\langle a, b\rangle \) eine Ableitung \(n\)-ter Ordnung besitzt, welche einer Lipschitzbedingung \[ |f^{(n)}(y)-f^{(n)}(x)|\leqq L\,|y-x|^\alpha \tag{1} \] mit einem Exponenten \(0<\alpha\leqq 1\) genügt, ist notwendig und hinreichend, daß für alle Teilintervalle \(\langle x_1, x_2\rangle \) von \(\langle a,b\rangle \) der Fehler \[ E_n\,[f;\,x_1,x_2]= \operatornamewithlimits{\text{Min}}_{P_n} \operatornamewithlimits{\text{fin sup}}_{x_1\leqq x\leqq x_2}\,|f(x)-P_n(x)| \] der besten Approximation von \(f(x)\) in \(\langle x_1, x_2\rangle \) durch Polynome \(P_n(x)\) höchstens \(n\)-ten Grades eine Ungleichung \[ E_n\,[f;\,x_1,x_2]\leqq C\,|x_1-x_2|^{n+\alpha } \] erfüllt, worin die Konstante \(C\) nicht von \(x_1\) und \(x_2\) abhängt. Der Beweis, daß die Bedingung notwendig ist, ist einfach, aber vom Verf. nicht einwandfrei dargestellt: Ist \(x_1\leqq x_0\leqq x_2\) und \[ T_n(x)=f(x_0) +\frac {f'(x_0)}{1!}\,(x-x_0)+\cdots +\frac {f^{(n)}(x_0)}{n!}\,(x-x_0)^n, \] so ist nach dem Taylorschen Lehrsatz mit Restglied in der Integralform \(f(x) = T_n(x) + R_n(x)\), wo \[ R_n (x) = \frac {1}{(n-1)!} \int\limits _{x_0}^x [f^{(n)}(t)-f^{(n)}(x_0)] \,(x-t)^{n-1}\,dt, \] also für \(x_1\leqq x\leqq x_2\) \[ \Bigl|R_n (x)\Bigr| = \frac {1}{(n-1)!}\,\Bigl| \int\limits _{x_0}^x L\,|t-x_0|^\alpha \,|x-t|^{n-1}\,dt\Bigr|\leqq C\,|x_1-x_2|^{n+\alpha }, \] also erst recht \[ E_n\,[f;\,x_1,x_2]\leqq \operatornamewithlimits{\text{fin sup}}_{x_1\leqq x\leqq x_2}\, |f(x)-P_n(x)| \leqq C\,|x_1-x_2|^{n+\alpha }. \] Der Beweis, daß die Bedingung \textit{hinreichend} ist, stützt sich auf zwei Hilfssätze: 1) Der absolute Betrag von \[ \varDelta _h^{n+1}\,f(x) =\sum _{\nu =0}^{n+1} (-1)^\nu\,\binom {n+1}{\nu } \,f\bigl(x+(n+1-\nu )\,h\bigr) \] ist höchstens gleich \(2^{n+1}\,E_n\,[f;\,x,x+(n+1)\,h].\) 2) Ist \[ \bigl|\varDelta _h^{n+1}\,f(x)\bigr| \leqq C_1\,|h|^{n+\alpha }\;\;\text{für}\;\;a\leqq x\leqq b,\;\;a\leqq x+(n+1)h\leqq b, \] so existiert in \(\langle a,b\rangle \) die Ableitung \(f^{(n)}(x)\) und genügt einer Lipschitzbedingung der Form (1). Beim Beweis dieses Hilfssatzes werden Ergebnisse von \textit{A. Marchaud} (J. Math. pur. appl. (9) 6 (1927), 337-425 (F. d. M. 53, 232 (JFM 53.0232.*)), bes. S. 384) benutzt. Die Voraussetzung, daß \(f (x)\) in \(\langle a,b\rangle \) beschränkt sein soll, fehlt beim Verf.; sie ist aber unentbehrlich, wenn die Existenz von \(E_n\) gesichert und die zitierten Ergebnisse von A. Marchaud anwendbar sein sollen. Sodann wird der Hilfssatz 2 in dem Spezialfall, daß \(f(x)\) in \(\langle a,b\rangle \) stetig und \(\alpha =1\) ist, verallgemeinert zu \textit{Satz II}. Ist \(f (x)\) in \(\langle a,b\rangle \) stetig und existiert eine Zahlenfolge \(h_1,h_2,\ldots \) mit \(h\to 0\), so daß wenigstens für die dieser Nullfolge entnommenen Spannen \(h_k\) die Ungleichung \[ \bigl|\varDelta _{h_k}^{n+1}\,f(x)\bigr| \leqq C\,|h_k|^{n+1}\;\;\;\text{für}\;\;\;a\leqq x\leqq b,\;\;a\leqq x+(n+1)h_k\leqq b \] gilt, wo die Konstante \(C\) nicht von \(x\) und \(h_k\) abhängt, so besitzt \(f (x)\) in \(\langle a,b\rangle \) eine Ableitung \(n\)-ter Ordnung, welche der Lipschitzbedingung \[ |f^{(n)}(x)-f^{(n)}(y)|\leqq C\,|x-y|,\quad a\leqq x\leqq b,\;\;a\leqq y\leqq b \] genügt. Ist \(0 <\alpha < 1\), so kann Hilfssatz 2 nicht in entsprechender Weise verallgemeinert werden. Mit Hilfe des Satzes II kann Verf. eine in \textit{S. Bernstein}s Leçons sur les propriétés extrémales et la meilleure approximation des fonctions analytiques d'une variable réelle (1926; F. d. M. 52, 256 (JFM 52.0256.*)), S. 171 aufgeworfene, die Kennzeichnung einer Funktion als quasianalytische Funktion betreffende Frage verneinen. Beiläufig teilt Verf. einen Mittelwertsatz der Form \[ \frac {\bigl[x_1,\ldots,x_{n+2}\bigr]_f}{\bigl[x_1,\ldots,x_{n+2}\bigr]_g} =\frac {f^{(n+1)} (\xi )}{g^{(n+1)} (\xi )} \] mit; dabei bedeutet \(\bigl[x_1,\ldots,x_{n+2}\bigr]_f\) die \((n + 1)\)-te dividierte Differenz von \(f\). \ Ferner gibt er einen daraus mittels seiner Formeln unmittelbar folgenden Beweis eines Satzes von \textit{S. Bernstein} an: Ist \[ |f^{(n+1)}(x)|< |g^{(n+1)}(x)| \text{ \;in \;\;}\langle a,b\rangle, \text{ \;so ist \;} E_n [f;\, a, b] < E_n [g;\, a, b]. \]