403
правки
Изменения
м
{{TODO|t=особенно тут, бред какой-то}}Если <tex>f\in C</tex>, то по [[теорема Фейера|теореме Фейера]], в <tex>L_p</tex>, суммы Фейера <tex>\sigma_n(f) \rightrightarrows f</tex>.
Мы оцениваем Применим прошлую теорему. Получим, что сходится к числу <tex>\sum r_n^frac{f(x+0)+f(x-0)}{2}</tex>. Так как функция непрерывна, которое не зависит от <tex>f(x+0)=f(x-0)</tex>. Соединим прошлые результаты параграфа с ограниченной вариацией.{{TODO|t=Типа, вот оно и было?}}{{TODO|t=эм, надо как-то прокомментировать, чтоли}}{{TODO|t=Похоже, Николай Юрьевич забил на доказательство этой теоремы.}}
→Пример
{{В разработке}}
{{Определение
|definition=<tex>\|f\|_C = \sup |f(x)|</tex>
}}
{{Утверждение
|statement=Пусть <tex>E_n(tf)_C\ln n \xrightarrow[n \to \infty]{} 0 </tex>. Тогда <tex>\sigma(f)</tex> равномерно сходится к <tex>f</tex>.
|proof=
Другими словами, ряд Фурье будет сходиться к <tex>f</tex> равномерно в смысле средних арифметических.
Теперь рассмотрим случай <tex> f \notin C </tex>. Пусть <tex>T_n(x)</tex> {{---}} полином степени не выше <tex>n</tex> наилучшего приближения <tex> f </tex> в <tex>C</tex>, то:
<tex>E_n(f)_C = \|f - T_n\|_C</tex>, <tex>s_n(T_n, x) = T_n(x)</tex>
Значит, <tex>s_n(f, x) - f(x) = (s_n(f,x)-T_n(x)) + (T_n(x) - f_nf(x))</tex>
<tex>= s_n(f - T_n, x) + T_n(x) - f(x) = </tex> (применяя интеграл Дирихле)
<tex>= \int\limits_Q (f(x + t) - T(x + t))D_n(t) dt + T_n(x) - f(x)</tex>.
Поэтому, <tex>|s_n(f, x) - f(x)| \le \int\limits_Q |f(x+t) - T_n(x+t)| \cdot |f_nD_n(t)| dt + |T_n(x) - f(x)|</tex>
Итого: <tex>\|s_n(tf) - f\|_C \le \int\limits_Q |D_n(t)| dt \|f-T_n\| _C + \|f-T_n\|_C = \left(\int\limits_Q \|D_n(t)\| dt + 1\right) E(f)_C</tex>
Пусть <tex> \int\limits_Q \|D_n(t)\| dt = l_n </tex>.
Тогда <tex>\|s_n(f)-f\|_C \le (l_n + 1) E_n(f)_C</tex>, <tex>E_n(f)_C \xrightarrow[n \to \infty]{} 0</tex> (по теореме Вейерштрасса)
<tex>\frac{f(x-0)+f(x+0)}2</tex>
|proof=
Пусть <tex>\sigma(f, x) = \frac{a_0}2 + \sum\limits_{n=1}^\infty (a_n \cos n\alpha nx + b_n \sin n\alphanx)</tex>.
Можно представить <tex>a_n \cos nx + b_n\sin nx </tex> как <tex> r_n \cos(nx + \phi_n)</tex>, где <tex>r_n=\sqrt{a_n^2 + b_n^2}</tex>.
Пусть <tex>f\in CV </tex> (<tex> f </tex> — непрерывная, ограниченной вариации). Тогда <tex> \forall x: f</tex> раскладывается в равномерно сходящийся ряд Фурье.
|proof=
}}
Значение в <tex>\frac\pi2</tex>:
<tex>\sigma(f, \frac\pi2) = \sum\limits_{n=0}^\infty \frac4{\pi(2m+1)} \sin \frac{(2m+1)\pi}{2}</tex>
<tex>= \frac4\pi\sum\limits_{n=0}^\infty (-1)^m \frac1{2m+1}</tex><tex>= \frac{\pi}{4}1</tex>
===Пример===
