Über den Jacksonschen Approximationssatz. (Q2620345): Difference between revisions

Verf. zeigt, daß das beim Beweise des \textit{Jacksons}chen Approximationssatzes verwendete Integral \[ J_n(x) = \frac {3}{2\pi } \int _{-\infty }^\infty f\left (x + \frac {2t}{n}\right ) \left (\frac {\sin t}{t}\right )^4 dt \] gleich dem trigonometrischen Polynom \[ J_n(x) = \frac {1}{2} a_0 + \sum _{k=1}^{2n - 1} D\left (\frac {k}{n}\right )\;(a_k \cos kx + b_k \sin kx) \] ist, wo \(D\left (\frac {k}{n}\right )\) berechenbare Konstanten, \(a_k,\;b_k\) die \textit{Fourier}koeffizienten von \(f(x)\) sind. Bedeutet \(\omega (\delta )\) den Stetigkeitsmodul der Funktion \(f(x)\) mit der Periode \(2\pi \), so ist nach \textit{Jackson} \[ |f(x) - J_n(x)| < 2\omega \left (\frac {\pi }{2n}\right ). \] Verf. verallgemeinert nun die Summe \(J_n(x)\) für beliebiges ganzes \(r > 0\) in \[ J_{nr}(x) = \frac {a_0}{2} + \sum _{k=1}^{2n-1}\left \{1 - \left (1 - D\left (\frac {k}{n}\right )\right )^r\right \} (a_k \cos kx + b_k \sin kx) \] und zeigt: wenn \(f(x)\) eine stetige \(r\)-te Ableitung mit dem Stetigkeitsmodul \(\omega _r(\delta )\) besitzt, so gilt: \[ |f(x) - J_{nr}(x)| < 3, 5 \left (\frac {8}{3}\right )^{r-1}\frac {\omega _r\left (\frac {\pi }{2n}\right )}{(2n)^r}. \] Der Beweis wird durch Induktion aus dem \textit{Jacksons}chen Fall \(r=1\) gewonnen. Allgemeiner ist für ganzes \(s \geqq r\) und \(p = 0, 1, 2,\cdots,r\): \[ \left |\frac {d^p f(x)}{dx^p} - \frac {d^p}{dx^p}J_{n,s}(x)\right | < 2^{s+r+p} \cdot 3, 5 \left (\frac {8}{3}\right )^{r-p-1}\frac {\omega _r\left (\frac {\pi }{2n}\right )}{(2n)^{r-p}}. \]