3622
правки
Изменения
Нет описания правки
}}
Легко установить экстремальное свойство частичных сумм: пусть.
{{Утверждение|statement = Пусть <tex>x\in\mathcal{H}</tex>, <tex>\sum\limits_{j=1}^\infty \langle x, e_j\rangle e_j</tex> (причем он может быть расходящимся), <tex>s_n(x) = \sum\limits_{j=1}^n \langle x, e_j\rangle e_j</tex> тогда: <tex>\|x-s_n(x)\|^2 = \inf \|x - \sum\limits_{k=1}^n \alpha_ke_k\|^2</tex>, <tex>\alpha_k \in \mathbb{R}</tex> |proof = Можно сказать, что <tex>x</tex> раскладывается на сумму двух ортогональных друг другу компонент, причем одна из них равна <tex>\sum\limits_{j=1}^\infty \langle x, e_j \rangle</tex>, а вторая {{---}} '''экстремальное свойство частичных сумм'''все остальное.Тогда при взятии <tex>\|x - S_n\|</tex> из первого слагаемого будут целиком выкинуты первые <tex>n</tex> его составляющих, и понятно, что это будет указанным <tex>inf</tex>.}}
Из него получается [[Нормированные_пространства#теорема Бесселя|неравенство Бесселя]]: <tex>\sum\limits_{j=1}^\infty \langle x, e_j\rangle^2 \le \|x\|^2</tex>, которое можно доказать аналогичным рассуждением.
Раз ряд состоит из квадратов коэффициентов Фурье, то он всегда сходится. В любом случае, ряд Фурье будет сходиться в <tex>\mathcal{H}</tex>.
Для того, чтобы сгладить последствия этого, используют только ОНС со следующими дополнительными свойствами:
# ОНС {{---}} замкнутаполная: (<tex>\forall j : \langle x, e_j\rangle = 0) \Rightarrow x = 0</tex>.# ОНС {{---}} полнаязамкнутая: <tex>\operatorname{Cl} \mathcal{L}(e_1, \ldots, e_n, \ldots) = \mathcal{H}</tex> (замыкание линейной оболочки совпадает с самим пространством).
{{Теорема
Значит, из полноты вытекает замкнутость.
<tex>\Leftarrow</tex> Пусть система замкнута. <tex>\forall x \in \mathcal{H} : \sum\limits_{n=1}^\infty |\langle x, e_n\rangle|^2 < +\infty</tex>(по сказанному ранее). По теореме Рисса-Фишера, <tex>\exists y = \sum\limits_{k=1}^\infty \langle x, e_k\rangle e_k</tex>.
По свойствам ортогональных рядов, <tex>\langle y, e_k\rangle = \langle x, e_k\rangle</tex> <tex>\Rightarrow</tex> <tex>\langle y - x, e_k\rangle =0</tex>.
{{Теорема
|statement=<tex>f \in L_2</tex> <tex>\Rightarrow</tex> функция <tex>f</tex> разлагается в ряд Фурье по метрике <tex>L_2</tex>.
|proof=Возьмем ОНС <tex>1, \sin(x), \cos(x), \sin(2x), \cos(2x), \ldots</tex>. Заметим, что если мы докажем полноту этой системы, это приведет нас к доказательству теоремы. Вместо доказательства полноты докажем замкнутость. Пусть есть <tex>x \in H</tex>, для которого <tex> \forall k : \langle x, e_j \rangle = 0</tex>. В этом случае все коэффициенты ряда Фурье равны <tex>0</tex>. Значит, суммы Фейера также сходятся к <tex>0</tex>, а тогда, по теореме Фейера, сама функция тоже равна <tex>0</tex>.
}}
{{Утверждение
|author=Парсеваль
|statement=<tex>x, y \in \mathcal{H} \Rightarrow \langle x, y\rangle = \sum\limits_{j=1}^\infty \langle x, e_j\rangle \cdot \langle y, e_j\rangle</tex>.
}}
С другой стороны, экстремальное свойство частичных сумм показывает, что:
<tex>\|x-s_n(x)\| ^2 = E_n^2(x)_n</tex>
Итого: <tex>E_n^2(x)_n = \sum\limits_{k=n+1}^\infty |\langle x, e_k\rangle|^2</tex>
В <tex>L_2</tex>: <tex>E_n^2(x)_n = \pi\sum\limits_{k=n+1}^\infty (a_k^2(f) + b_k^2(f)) </tex>.
Финально: последнее равенство показывает исключительный характер <tex>L_2</tex>: в нём наилучшее приближение вычисляется точно с указанием экстремального полинома<tex>\sum\limits_{j=1}^{n} \langle x, e_j \rangle e_j</tex>.
[[О почленном интегрировании ряда Фурье|<<]][[Теорема Лузина-Данжуа|>>]]
[[Категория:Математический анализ 2 курс]]
