1632
правки
Изменения
м
rollbackEdits.php mass rollback
<tex> \frac1{\pi n} (F(x) \sin x) \bigl |^\pi_{-\pi} - \int\limits_{-\pi}^\pi \sin nx dF(x) ) = </tex>
<tex> \frac1{\pi n} (0 - \int\limits_{-\pi}^\pi \sin x dF(x)) = -\frac1{\pi n} \int\limits_{-\pi}^\pi \sin nx dF(x) =</tex>
<tex> -\frac1{\pi n} \int\limits_{-\pi}^\pi f(x)\sin nx dx = -\frac{b_n (f) \pi}{\pi n} = -\frac{b_n(f)}{n} </tex>
Значит, <tex>a_n(F) = \frac{-b_n(f)}{n}</tex>. Аналогично, <tex>b_n(F) = \frac{a_n(f)}{n}</tex>. В силу сказанного выше,
При <tex>x = 0</tex> ряд сходится. При <tex>x \ne 0</tex>, <tex>\left|\sum\limits_{n=2}^\infty \sin nx \right| \le \frac{M(x)}{\sin x/2}</tex>, то есть, ограничен.
По признаку Абеля-Дирихле, ряд сходится. Мы имеем ряд, сходящийся в каждой точке (, но не может сходиться равномерно на Q, так как, иначе, он был бы рядом Фурье:. Пусть он сходится равномерно на <tex>Q</tex>. Тогда он сходится к непрерывной функции. Функция, непрерывная и <tex>2\pi</tex>-периодическая, следовательно, лежит в <tex>L_1</tex>. Значит, это {{---}} ряд Фурье этой функции (по определению). Но это не ряд Фурье. Противоречие.
Предположим, что это ряд Фурье. Тогда <tex>b_n(f) = \frac1{\ln n}</tex> и ряд <tex>\sum \frac1{n\ln n}</tex> должен был бы сходиться. Но по интегральному признаку Коши:
