689
правок
Изменения
м
пофиксил опечатки/недочеты
{{В разработке}}
Здесь будем рассматривать <tex>f \in L_1</tex>, <tex>\sigma(f, x) = \frac{a_0}2 + \sum\limits_{n=1}^\infty (a_n \cos nx + b_n \sin nx)</tex>
Пусть <tex>F(x) = \int\limits_0^x \left(f(t) - \frac{a_0}2\right) dt</tex>.
Докажем, что <tex> F(x) \in \bigvee </tex>:
1) '''Органиченность вариации'''
<tex>\bigvee\limits_{-\pi}^\pi (F, \tau) </tex>
<tex>\le \sum\limits_{k=0}^{p-1} \int\limits_{x_k}^{x_{k+1}} \left|f(t) - \frac{a}2 \right| dt= </tex><tex>= \int\limits_Q \left|f(t) - \frac{a_0}2 \right| dt < +\infty</tex>.
Так как это выполняется для любого разбиения, <tex>\bigvee\limits_{-\pi}^\pi(F) \le \int\limits_Q \left|f(t) - \frac{a_0}2 \right| < +\infty</tex>. Итак, <tex>F</tex> имеет ограниченную вариацию на <tex>Q</tex>.
а также, <tex>\sigma(F, x) = F(x)</tex>
Теперь вычислим коэффициенты Фурье <tex>F</tex>. <tex>a_0(F)</tex> считать пока не будем. Также предположим (докажем это позже), что <tex>F</tex> для почти всех <tex>x</tex> дифференцируема по верхнему пределу интегрирования , и значение производной равно <tex>f(x)</tex>.
<tex>a_n(F) = \frac1\pi\int\limits_{-\pi}^\pi F(x) \cos nx dx = \frac1{\pi n} \int\limits_{-\pi}^\pi F(x) d(\sin nx) = </tex>
<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 \pi}{\pi n} = -\frac{b_n}{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>b_n(f) = \int \frac1{\ln n}</tex> и ряд <tex>\sum \frac1{n\ln n}</tex> должен был бы сходиться. Но по интегральному признаку Коши :<tex>\sum \frac1{n\ln n} \sim \int \frac{dx}{n\ln n} = \ln \ln x \big|^\infty_0 = +\infty</tex>. Значит, это не ряд Фурье.
Вернёмся ещё раз к формуле <tex>F(x) = \frac{a_0(F)}2 + \sum\limits_{n=1}^\infty \left(\frac{-b_n(f)}n \cos nx + \frac{a_n(f)}n \sin nx\right)</tex>. Рассмотрим <tex>A_n(f, x) = a_n(f) \cos nx + b_n(f) \sin nx</tex>
Значит, если составить ряд из интегралов <tex>\sum\limits_{n=1}^\infty \int\limits_0^x A_n(f, x) dx</tex>
<tex>= \sum\limits_{n=1}^\infty \frac{b_n(f)}n + \sum\limits_{n=1}^\infty\left(-\frac{b_n(f)}n \cos nx + \frac{a_n(f)}n\sin nx \right)= </tex> <tex>= \int\limits_0^x \left(f(x) - \frac{a_0}2 \right) dt </tex><tex>= \int\limits_0^x f(t) dt - \int\limits_0^x A_0(f, t) dt</tex>.
Получаем, <tex>\int\limits_0^x f(t) dt = \sum\limits_{n=0}^\infty \int\limits_0^x A_n(f, t) dt</tex>.
Ряд Фурье всегда можно интегрировать, несмотря на то, что сам ряд может расходиться в каждой точке. Но ряд из интегралов обязательно сойдётся.
