Ряды Фурье

В пространстве кусочно-непрерывных на $[-\pi ;\pi ]$ функций рассмотрим так называемую тригонометрическую систему функций

$(1):1,\cos x,\sin x,\cos 2x,sin2x,\dots ,cosnx,sinnx,\dots$

Система $(1)$ является ортогональной в пространстве кусочно-непрерывных на $[-\pi ;\pi ]$ функций. Докажем это:

$(1,cosnx)=\underset{-\pi }{\overset{\pi }{\int }}\cos nxdx={\frac{\sin nx}{n}|}_{-\pi }^{\pi }=0$

$(1,sinnx)=\underset{-\pi }{\overset{\pi }{\int }}\sin nxdx=-{\frac{\cos nx}{n}|}_{-\pi }^{\pi }=0$

$n=m:(\cos nx,\cos mx)=\frac{1}{2}\underset{-\pi }{\overset{\pi }{\int }}[\cos (n+m)x+\cos (n-m)x]dx=\frac{1}{2}{(\frac{\sin (n+m)x}{n+m}+\frac{\sin (n+m)x}{n+m})|}_{-\pi }^{\pi }=0$

$n=m:(sinnx,sinmx)=\frac{1}{2}\underset{-\pi }{\overset{\pi }{\int }}[\cos (n-m)x-\cos (n+m)x]dx=\frac{1}{2}{(\frac{\sin (n-m)x}{n-m}-\frac{\sin (n+m)x}{n+m})|}_{-\pi }^{\pi }=0$

$(sinnx,cosmx)=\frac{1}{2}\underset{-\pi }{\overset{\pi }{\int }}[\sin (n+m)x+\sin (n-m)x]dx=-\frac{1}{2}{(\frac{\cos (n-m)x}{n-m}+\frac{\cos (n+m)x}{n+m})|}_{-\pi }^{\pi }=0$

Коэффициенты тригонометрического ряда Фурье функции $f$ находятся по формулам

$(1,1)=\underset{-\pi }{\overset{\pi }{\int }}dx=2\pi$

$(\cos kx,\cos kx)=\underset{-\pi }{\overset{\pi }{\int }}{\cos }^{2}kxdx=\underset{-\pi }{\overset{\pi }{\int }}\frac{1+\cos 2kx}{2}dx=\frac{1}{2}\underset{-\pi }{\overset{\pi }{\int }}dx+\frac{1}{2}\underset{-\pi }{\overset{\pi }{\int }}\cos 2kxdx=\pi$

$(\sin kx,\sin kx)=\pi$

$c_0=\frac{(f,1)}{(1,1)}=\frac{1}{2\pi }\underset{-\pi }{\overset{\pi }{\int }}f(x)dx=\frac{a_0}{2}$ (обозначение) $(2)$

$c_{2k-1}=\frac{(f,\cos kx)}{(\cos kx,\cos kx)}=\frac{1}{\pi }\underset{-\pi }{\overset{\pi }{\int }}f(x)\cos kxdx=a_k,k=1,2,\dots (3)$

$c_{2k}=\frac{(f,\sin kx)}{(\sin kx,\sin kx)}=\frac{1}{\pi }\underset{-\pi }{\overset{\pi }{\int }}f(x)\sin kxdx=b_k,k=1,2,\dots (4)$

Формальный ряд $\frac{a_0}{2}+\sum _{k=1}^{\mathrm{\infty }}(a_{k}coskx+b_{k}sinkx)(5)$, где коэффициенты $a_0,a_k,b_k$ вычисляются по формулам $(2),(3),(4)$ называется тригонометрическим рядом Фурье функции $f$. Формулы $(2),(3),(4)$ называются формулами Эйлера-Фурье.

Вопросы: при каких условиях на функцию $f$ ряд $(5)$ сходится? сходится к функции $f$?

Шаблон:Определение Обозначим: $f(x_0-0)=\lim {\mathrm{\backslash limits}}_{x\to x_0-0}f(x)$ и $f(x_0+0)=\lim {\mathrm{\backslash limits}}_{x\to x_0+0}f(x)$

Пусть $L$ - бесконечномерное Евклидово пространство (например непрерывных на $[a,b]$ функций) $\Rightarrow (f,g)=\underset{a}{\overset{b}{\int }}f(x)g(x)dx$ - скалярное произведение.

Шаблон:МатТеорема Частные случаи:

1. Пусть $f(x)$ - нечетная функция $\Rightarrow \{f(x)\cos kx\}$ - нечетная функция. $\underset{-\pi }{\overset{\pi }{\int }}f(x)dx=0\Rightarrow a_0=0,\underset{-\pi }{\overset{\pi }{\int }}f(x)\cos kxdx=0\Rightarrow a_k=0$. Тогда тригонометрический ряд Фурье нечетный функции имеет вид $\sum _{k=1}^{\mathrm{\infty }}{b}_k\sin kx$
2. Пусть $f(x)$ - четная функция $\Rightarrow \{f(x)\sin kx\}$ - нечетная функция. $\underset{-\pi }{\overset{\pi }{\int }}f(x)\sin kxdx=0\Rightarrow b_k=0$. Тогда тригонометрический ряд Фурье нечетный функции имеет вид $\frac{a_0}{2}+\sum _{k=1}^{\mathrm{\infty }}{a}_k\cos kx$