<<>>
Эта статья находится в разработке!
| Лемма (Риман-Лебег): |
Пусть [math]f \in L_1[/math], тогда при [math] n \to \infty [/math] коэффициенты ряда Фурье [math]a_n \to 0[/math], [math]b_n \to 0[/math]. |
| Доказательство: |
| [math]\triangleright[/math] |
|
[math]|a_n(f)| = \frac{1}{\pi}|\int\limits_{Q}f(x)\cos{nx}dx|[/math].
Пусть [math]T_{n-1}(f)_1[/math] — полином наилучшего приближения функции [math]f[/math], степени, не большей [math]n-1[/math], в пространстве [math]L_1[/math].
Так как это сумма вида [math]\frac{c_0}{2}+\sum\limits_{k=1}^{n-1}(c_k\cos{kx}+d_k\sin{kx})[/math], то, по свойству тригонометрических функций, выполняется:
[math]\int\limits_{Q}T_{n-1}(f,x)_1 \cos{nx}dx = 0[/math].
[math]\int\limits_{Q}f(x)\cos{nx}dx = \int\limits_{Q}(f(x)-T_{n-1}(f,x)_1)\cos{nx}dx + \int\limits_{Q}T_{n-1}(f,x)_1\cos{nx}dx [/math]
[math] = \int\limits_{Q}(f(x)-T_{n-1}(f,x)_1)\cos{nx}dx[/math].
Тогда [math]|a_n(f)| \le \frac{1}{\pi}\int\limits_{Q}|f(x)-T_{n-1}(f)_1||\cos nx|dx \le \frac{1}{\pi}\int\limits_{Q}|f(x)-T_{n-1}(f)_1|dx = [/math]
[math] = \frac{1}{\pi}||f-T_{n-1}(f)_1|| = \frac{1}{\pi}E_{n-1}(f)_1[/math], то есть [math]|a_n(f)|\le \frac{1}{\pi}E_{n-1}(f)_1[/math].
По обобщенной теореме Вейерштрасса, [math]E_{n-1}(f)_1 \to 0[/math], следовательно, [math]a_n(f) \to 0[/math].
Доказательство для [math]b_n[/math] аналогично приведенному выше. |
| [math]\triangleleft[/math] |
Следует иметь в виду, что [math]\int\limits_{Q}|f(x)||\cos{nx}|dx[/math] не стремится к 0, поэтому грубая оценка, что [math]|a_n(f)| \le \frac{1}{\pi} \int\limits_{Q}|f(x)||\cos{nx}|dx[/math] ни к чему не ведет. То, что лемма Римана-Лебега была написана для [math]2\pi[/math]-периодичных функций не имеет принципиального значения, так как на самом деле справедлив общий факт:
| Лемма (Риман-Лебег): |
Пусть [math]\int\limits_{\mathbb{R}}|f| \lt +\infty[/math], тогда [math]\int\limits_{\mathbb{R}}f(x)\cos(px) \to 0[/math] при [math]p \to \infty[/math]. |
| Доказательство: |
| [math]\triangleright[/math] |
|
На самом деле обе леммы равносильны.
- Первая получается из второй, если подставить [math]f = 0[/math] вне отрезка [math]Q[/math].
- В обратную сторону: вне конечного отрезка функция стремится к нулю, а на конечном можно сжать интервал интегрирвания в [math] [-\pi; \pi] [/math].
|
| [math]\triangleleft[/math] |
Из леммы Римана-Лебега получается важный результат, называемый принципом локализации Римана рядов Фурье.
| Теорема (Риман, Принцип локализации): |
Пусть [math]f,g \in L_1[/math], [math]0 \lt \delta \lt \pi[/math], [math]x \in \mathbb{R}[/math].
Пусть также в [math]\delta[/math]-окрестности точки [math]x[/math] выполняется [math]f = g[/math], тогда [math]\lim\limits_{n \to \infty}(S_n(f,x)-S_n(g,x))=0[/math] |
| Доказательство: |
| [math]\triangleright[/math] |
|
[math] S_n(f, x) = \frac1{2\pi} \int\limits_{-\pi}^{\pi} f(x+t) \frac{\sin (n+\frac12)t}{\sin \frac{t}2}dt [/math].
[math] S_n(g, x) = \frac1{2\pi} \int\limits_{-\pi}^{\pi} g(x+t) \frac{\sin (n+\frac12)t}{\sin \frac{t}2}dt [/math].
Разобьем данные интегралы на три части: [math] \int\limits_{-\pi}^{\pi} = \int\limits_{-\pi}^{-\delta} + \int\limits_{-\delta}^{\delta} + \int\limits_{\delta}^{\pi} [/math].
Рассмотрим разность двух сумм:
[math] S_n(f, x) - S_n(g, x) = \frac1{2\pi} (\int\limits_{-\pi}^{-\delta} - \int\limits_{-\pi}^{-\delta} + \int\limits_{\delta}^{\pi} - \int\limits_{\delta}^{\pi}) [/math] (интегралы по участку [math] [-\delta; \delta] [/math] равны).
Рассмотрим, например, первый из четырех интегралов:
[math] \frac1{2\pi} (\int\limits_{-\pi}^{-\delta} f(x+t) \frac1{\sin \frac{t}2} (\cos \frac{t}2 \sin nt + \sin \frac{t}2 \cos nt) dt = [/math]
[math] = \frac1{2\pi} (\int\limits_{-\pi}^{-\delta} f(x +t) ctg \frac{t}2 \sin t dt + \frac1{2\pi} \int\limits_{-\pi}^{-\delta} f(x + t) \cos nt dt )[/math].
Так как функции [math] f(x+t) ctg \frac{t} 2 [/math] и [math] f(x+t) [/math] суммируемы на [math] (-\pi; -\delta) [/math], то, по только что доказанной лемме, оба интеграла стремятся к нулю при [math] n \to \infty [/math]. Аналогично поступаем с тремя остальными частями разности. |
| [math]\triangleleft[/math] |
<<>>
