Эта статья находится в разработке!
В теории интеграла мы доказали, что любое пространство [math]L_p[/math]-полное. С другой стороны, в
пространстве [math]L_2[/math] можно определить скалярное произведение:
[math]\langle f, g \rangle = \int\limits_Q f\cdot g[/math]
Он конечен в силу неравенства Гёльдера, так как [math]\int\limits_Q |fg| \le \sqrt{\int\limits_Q f^2} + \sqrt{\int\limits_Q g^2}[/math]
Эта операция обладает свойствами скалярного произведения:
- [math]\langle f; f \rangle \le 0[/math] и [math]\langle f; f\rangle = 0 \iff f = 0[/math] почти всюду
- Линейность. [math]\langle \alpha f_1 + \beta f_2 , g \rangle = \alpha\langle f_1, g \rangle + \beta \langle f_2, g\rangle[/math]
- Симметричность. [math]\langle f, g\rangle = \langle g, f \rangle[/math]
Введём норму [math]\|f\| = \sqrt{\langle f, f\rangle} = \sqrt{\int\limits_Q f^2}[/math]
В силу того, что пространство полное и норма порождает скалярное произведение, это пространство Гильберта.
| Определение: |
| [math]L_2[/math]-теория рядов Фурье — теория, в которой ряды Фурье рассматриваются как элементы
Гильбертовва пространства и исследуюеся их свойствва как таких объектов. |
Центральную роль в [math]L_2[/math]-теории играет ортонормированная система точек(ОНС)
| Определение: |
| [math]e_1, e_2, \ldots, e_n[/math] — ОНС [math]\iff[/math] [math]\langle e_i, e_j \rangle = \delta_{ij}[/math] |
Если в качестве модели взять [math]L_2[/math] и рассмотреть стандартную тригонометрическую систему функций [math]1, \sin x, \cos x, \sin 2x, \cos 2x, \ldots, \sin nx, \cos nx[/math], то окажется, что она — ортогональная.
Попарная ортогональность:
[math]\int\limits_Q \cos^2 nx dx = \pi[/math], [math]\int\limits_Q \sin^2 nx dx = \pi[/math], [math]\int\limits_Q 1 = 2\pi[/math].
Тогда ОНС будет:
[math]\frac1{\sqrt{2\pi}}, \frac{\sin x}{\sqrt\pi}, \frac{\cos x}{\sqrt\pi}, \ldots, \frac{\sin nx}{\sqrt\pi}, \frac{\cos nx}{\sqrt\pi}[/math]
По ортонормированной системе можно составлять формальные ряды в [math]\mathcal{H}[/math].
[math]\sum\limits_{j=1}^\infty \alpha_je_j[/math] в [math]\mathcal{H}[/math] ортогональна: [math]i\ne j \Rightarrow \langle \alpha_1 e_i, \alpha_2 e_j \rangle[/math] = 0
| Теорема: |
Пусть [math]\sum\limits_{j=1}^\infty a_j[/math] — ортогональный ряд. Он сходится тогда и только тогда, когда
[math]\sum\limits_{j=1}^\infty |a_j|^2[/math] сходится. И, если при этом, [math]\sum\limits_{j=1}^{\infty} a_j = a[/math], то
[math]\sum\limits_{j=1}^\infty |a_j|^2 = a^2 [/math] |
| Доказательство: |
| [math]\triangleright[/math] |
|
Возьмём [math]A_n = \sum\limits_{j=1}^n a_j[/math]. [math]a[/math] по определению сходятся, это существование предела [math]A_n[/math]. Так как пространство — Гильбертово, то [math]A[/math] сходится в себе. Значит,
[math]\lim\limits_{n, m \to \infty, m \gt n} \|A_n - A_m\| \to 0 \Rightarrow \|A_n - A_m\| \to 0 \Rightarrow [/math]
[math]\sum\limits_{j=n+1}^m a_j = A_m - A_n[/math].
[math]\|A_m - A_n\|^2 = \left\langle \sum\limits_{i=n+1}^m a_i, \sum\limits_{j=n+1}^m a_j \right\rangle[/math]
[math]= \sum\limits_{i, j = n+1}^m \langle a_i, a_j\rangle[/math]
[math]= \sum\limits_{j=n+1}^m \langle a_j, a_j \rangle[/math]
[math]= \sum\limits_{j=n+1}^m \|a_j\|^2[/math]
По критерию Коши сходимости числовых рядов [math]\sum\limits_{j=n+1}^m \|a_j\|^2 \to 0 \iff [/math] |
| [math]\triangleleft[/math] |
TODO: продолжить
