Изменения
Новая страница: «Ранее была установлена теорема Джексона, показывающая, что {{TODO|t=????}} связано с её структу...»
Ранее была установлена теорема Джексона, показывающая, что {{TODO|t=????}} связано с её структурными свойствами.
Чеи более гладкая функция, тем быстрее стремятся к ней её наилучшие приближения. Бернштейн обнаружил, что верно и обратное: скорость приближения определяет структурные свойства функции. Установим одну из теорем Бернштейна, потом приведём общие формулировки.
{{Теорема
|author=Бернштейн
|statement=<tex>E_n(f) \le \frac{A}{n^2} \Rightarrow \exists f'</tex>
|proof=
<tex>T_n(f) \rightrightarrows f</tex> на <tex>\mathbb{R}</tex>
<tex>T_{2^n} \rightrightarrows f</tex>
<tex>U_{2^n} = T_{2^n} - T_{2^{n-1}}</tex>
<tex>T_1 + U_{2^1} + U_{2^2} + \ldots = f</tex>
<tex>\|U'_{2^n}\| \le 2^n\|U_{2^n}\|</tex> [по неравенству Бернштейна] <tex>\le 2^n(\|T_{2^n} - f\| + \|T_{2^{n-1}} - f\|)</tex> [наилучшее прибижение] <tex>2^n(E_{2^n}(f) + E_{2^{n-1}}(f))</tex> <tex>\le 2 \cdot 2^nE_{2^{n-1}}(f)</tex> <tex>\le 2\cdot2^n\frac{1}{2^{2n-2}}</tex> <tex>= B\cdot \frac1{2^n}</tex>
Ряд из производных мажорируется сходящейся геометрической прогрессией <tex>\Rightarrow</tex> по признаку Вейерштрасса, он равномерно сходится <tex>\Rightarrow</tex> ряд можно почленно дифференцировать <tex>\Rightarrow</tex> у <tex>f</tex> есть производная
''Примечание'': можно было бы попросить <tex>E_n(f) \le \frac1{n^{\alpha + 1}}</tex>, где <tex>\alpha > 0</tex>
}}
Чеи более гладкая функция, тем быстрее стремятся к ней её наилучшие приближения. Бернштейн обнаружил, что верно и обратное: скорость приближения определяет структурные свойства функции. Установим одну из теорем Бернштейна, потом приведём общие формулировки.
{{Теорема
|author=Бернштейн
|statement=<tex>E_n(f) \le \frac{A}{n^2} \Rightarrow \exists f'</tex>
|proof=
<tex>T_n(f) \rightrightarrows f</tex> на <tex>\mathbb{R}</tex>
<tex>T_{2^n} \rightrightarrows f</tex>
<tex>U_{2^n} = T_{2^n} - T_{2^{n-1}}</tex>
<tex>T_1 + U_{2^1} + U_{2^2} + \ldots = f</tex>
<tex>\|U'_{2^n}\| \le 2^n\|U_{2^n}\|</tex> [по неравенству Бернштейна] <tex>\le 2^n(\|T_{2^n} - f\| + \|T_{2^{n-1}} - f\|)</tex> [наилучшее прибижение] <tex>2^n(E_{2^n}(f) + E_{2^{n-1}}(f))</tex> <tex>\le 2 \cdot 2^nE_{2^{n-1}}(f)</tex> <tex>\le 2\cdot2^n\frac{1}{2^{2n-2}}</tex> <tex>= B\cdot \frac1{2^n}</tex>
Ряд из производных мажорируется сходящейся геометрической прогрессией <tex>\Rightarrow</tex> по признаку Вейерштрасса, он равномерно сходится <tex>\Rightarrow</tex> ряд можно почленно дифференцировать <tex>\Rightarrow</tex> у <tex>f</tex> есть производная
''Примечание'': можно было бы попросить <tex>E_n(f) \le \frac1{n^{\alpha + 1}}</tex>, где <tex>\alpha > 0</tex>
}}
