Лемма Римана-Лебега

Эта статья находится в разработке!

Утверждение (Лемма Римана-Лебега):

Пусть [math]f \in L_1[/math], тогда [math]a_n \to 0[/math], [math]b_n \to 0[/math], при [math]n \to \infty[/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}^{m-1}(c_k\cos{kx}+d_k\sin{kx})[/math], то по свойству тригонометрических функций выполняется: [math]\int\limits_{Q}T_{n-1}(f,x)\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 = \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| = \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]