Über einige Abschätzungen der ``besten Näherung'', insbesondere über einen Vallée Poussinschen Hauptsatz. (Q2586513): Difference between revisions

Die Funktion \(f (x)\) sei für \(a \leqq x \leqq b\) definiert, \(P_n(x)\) sei ein Polynom höchstens \(n\)-ten Grades. Die Differenz \(\varDelta (x) = f (x) - P_n(x)\) möge in den aufeinanderfolgenden Punkten \(x_0 < x_1 < \cdots < x_{n+1}\) des Intervalls \(\langle a, b\rangle\) Werte mit abwechselnden Vorzeichen annehmen. Verf. zeigt in Verbesserung eines Satzes von \textit{de la Vallée Poussin} (Acad. Belgique, Bull. Cl. Sci. 1910, 808-844; F. d. M. 41, 296 (JFM 41.0296.*)), daß die ``beste Approximation'' von \(f (x)\) im Intervall \(\langle a, b\rangle\) vermittels eines Polynoms höchstens \(n\)-ten Grades nicht kleiner als das Minimum von \(\dfrac{|\varDelta(x_s)|+|\varDelta(x_{s+1})|}2\) (\(s = 0,\, 1,\, \ldots,\, n\)) ist. Zum Beweise verwendet Verf. die Darstellung der besten Approximation \(\varrho_0\) von \(f (x)\) auf der Menge der Punkte \(x_0,\, x_1,\,\ldots,\, x_{n+1}\) in der Form \[ \varrho_0=\pm\frac{f(x_0,x_1,\ldots, x_{n+1})}{\chi(x_0,x_1,\ldots,x_{n+1})}, \] wo im Zähler und Nenner die dividierten Differenzen \((n+1)\)-ter Ordnung der Funktionen \(f (x)\) und \(\chi(x_i) = (- 1)^i\) (\(i = 0,\, 1,\,\ldots,\, n + 1\)) stehen. Ferner ist \[ |\chi(x_0,x_1,\ldots,x_{n+1}| \geqq \frac{2^{2n+1}}{(b-a)^{n+1}}, \] wobei das Gleichheitszeichen nur für die ``Tschebyscheffschen Punkte der maximalen Abweichung'' \[ x_i=\frac{a+b}2+\frac{b-a}2\cos\frac{(n+1-i)\pi}{n+1}\qquad (i=0,\,1,\,\ldots,\,n+1) \] gilt. Mit Hilfe dieser Ungleichung gelingen Verf. einfache Beweise einiger Sätze von de la Vallée Poussin und S. Bernstein über ``beste Approximationen''. Weiterhin beweist Verf. eine Verallgemeinerung des eingangs erwähnten de la Vallée Poussinschen Satzes für den Fall eines Systems von unverträglichen linearen Gleichungen.