Изменения

Пусть тригонометрический ряд абсолютно сходится на множестве положительной меры. Тогда ряд из <tex> r_n = \sqrt{a_n^2 + b_n^2} </tex> сходится, следовательно, исходный тригонометрический ряд будет абсолютно сходящимсяна всей числовой оси.

<tex> \sum\limits_{n=1}^{\infty} r_n |\cos (nx + \varphi_n)| </tex> — сходится для любого <tex> x </tex> в <tex> A </tex>по условию теоремы, где <tex> \lambda A > 0 </tex>.

Пусть <tex> \alpha(x) = \sum\limits_{n=1}^{\infty} r_n \cos^2(nx + \varphi_n) </tex> — измерима и конечна на <tex> A </tex>, так как <tex> r_n \cos^2(nx + \varphi_n) \le r_n |\cos(nx + \varphi_n)| </tex>.

Тогда <tex> \exists A_0 \subset A: \lambda A_0 > 0, \alpha(x) </tex> — ограничена на <tex> A_0 </tex>. <tex> A = \sumbigcup\limits_{n=1}^{\infty} r_n A(0 \cos^2le \alpha(nx + x) \varphi_nle n) , \lambda A > 0 \Rightarrow \lambda A_n \to \lambda A \Rightarrow \exists n_0 : \lambda A_{n_0} > 0 </tex>, обозначим такой <tex>A_{n_0} </tex> — измеримо и конечно на за <tex> A A_0 </tex>.

Тогда На <tex> \exists A_0 \subset A: \lambda A_0 > 0, \alpha(x) </tex> — ограничено на <tex> A_0 \alpha </tex>— суммируема, по [[теореме Б. Леви]] ряд можно почленно интегрировать.

<tex> A \int\limits_{A_0} \alpha(x) dx = \bigcupsum\limits_{n = 1}^{\infty} A(0 r_n \int\le limits_{A_0} \alphacos^2(x) nx + \le varphi_{n, x}), = </tex>{{TODO|t=какого фига зависимость \lambda A phi от x появилась?}} <tex> 0 = \Rightarrow sum\lambda A_n limits_{n=1}^{\to infty} r_n \lambda A int\rightarrow limits_{A_0} \exists n_0 : frac{1 + \lambda A_cos(2nx + 2\varphi_{n, x})}{n_02} > 0 = </tex>

На <tex> A_0 \alpha </tex> — суммируема, по [[теореме Б. Леви]] ряд можно почленно интегрировать.  <tex> \int\limits_{A_0} \alpha(x) dx = \sum\limits_{n=1}^{\infty} r_n \int\limits_{A_0} \cos^2(nx + \varphi_{n, x}) </tex> = {{TODO|t=какого фига зависимость \phi от x появилась?}} <tex> = \sum\limits_{n=1}^{\infty} r_n \int\limits_{A_0} \frac{1 + \cos(2nx + 2\varphi_{n, x}}{2}) = </tex> <tex> = \sum\limits_{n=1}^{\infty} \frac12 r_n \left( \lambda A_0 + \int\limits_{A_0} \cos(2\varphi_{n,x}) \cos (2nx) - \int\limits_{A_0} \sin(2\varphi_{n,x}) \sin (2nx) \right) </tex>. Оба интеграла стремятся к нулю по [[лемме Римана-Лебега]], следовательно, разность этих интегралов с некоторого номера больше - <tex> -\frac12 \lambda A_0 </tex> , а значит, <tex> n </tex>-е слагаемое ряда больше <tex> \frac12 r_n \frac12 \lambda A_0 </tex>. Значит, из сходимости исходного ряда по признаку сравнения следует сходимость <tex> \sum\limits_1limits_{n=1}^{\infty} r_n </tex>.

Таким образом, отождествили сходимость рядов <tex> \sum\limits_1limits_{n=1}^{\infty} (a_n \cos nx + b_n \sin nx) </tex> и <tex> \sum\limits_1limits_{n=1}^{\infty} (|a_n| + |b_n|) </tex>.

<tex> f \in L_2, \sum\limits_1limits_{n=1}^{\infty} \frac{E_n(f)_{L_2}}{\sqrt n} < + \infty </tex>

<tex> E_n^2(f)_2 = \pi \sum\limits_{k=n+1}^{\infty} (a_k^2 (f) + b_k^2 (f)) </tex>. ДокажемДля абсолютной сходимости достаточно доказать, что <tex> \sum \sqrt{a_k^2 + b_k^2} < + \infty </tex> в условиях теоремы <tex> \sum\limits_{nk=1}^{\infty} \sum\limits{k = n}^{\infty} \frac{\sqrt{a_k^2 (f) + b_k^2 (f)}}{k} = < + \infty </tex>в условиях теоремы.

<tex> \sum\limits_{k=1}^{\infty} \sqrt{a_k^2 + b_k^2} =</tex> <tex> \sum\limitslimits_{n = 1}^{\infty} \sum\limits_{k= n}^{\infty} \frac{\sqrt{a_k^2 (f) + b_k^2 (f)}}{k} \le </tex> (используем [[неравенство Коши для сумм]])<tex> \le \sum\limits_{n=1}^{\infty} \left( \sum\limits_{k=n}^{\infty}(a_k^2 + b_k^2) \right)^{\frac12} \left( \sum\limits_{k=n}^{\infty} \frac1{k^2} \right)^{\frac12} </tex>

<tex> \le \sum\limits_{n=1}^{\infty} \left( \sum\limits_{k=n}^{\infty}(a_k^2 + b_k^2) \right)^{\frac12} \sum\limits_</tex> равно <tex> c E_{k=n-1}^{\infty} \left( \frac1{k^2} \rightf)^{\frac12} _2 </tex>

Выражение под первой суммой равно <tex> E_{n-1}(f)_{L_2} </tex>, вторая сумма <tex> \sum\limits_{k=n}^{\infty} \left( \frac1{k^2} \right)^{\frac12} \le \sum\limits_{k=n}^{\infty} \left( \frac1{k}\frac1{k-1} \right)^{\frac12} \le \sum\limits_{k=n}^{\infty} \left( \frac1{k-1} - \frac1k \right)^{\frac12} \xrightarrow[k \to le \infty]frac{1} ({\frac1n)^sqrt{\frac12n-1}} </tex>

Таким образом, получили, что <tex> < \sum\limits_{k=1}^{\infty} \sqrt{a_k^2 + b_k^2} \le \sqrt{a_1^2 + b_1^2} + \sum\limits_{n=12}^{\infty} \frac{E_ncE_{n-1}(f)_{L_2}}{\sqrt {n-1}} < + \infty </tex>, таким образом, ряд из <tex> r_n </tex> сходится.