33. Теорема про повноту тригонометричної системи

- функції, квадрат яких інтегрований на будь-якому проміжку . Ці функції інтегровані на у власному або невласному сенсі.

Скалярний добуток (визначає міру відхилення):

, . Цій множині належать всі неперервні функції і не лише вони.

Теорема (про повноту тригонометричної системи)

Тригонометрична система (1) повна в .

Доведення

Система повна в множині функцію цієї множини можна якнайточніше наблизити лінійною комбінацією елементів системи. Це і треба довести.

можна знайти тригонометричний ряд, що наблизить функцію з точністю .

Проведемо доведення в 4 етапи.

може бути необмежена лише в точках . Але існує в невласному сенсі. Це означає, що

Тоді різниця між цими функціями :

Функція - обмежена

Існує проста функція , така що - проста має скінченне число розривів першого роду в деяких точках . , що всі інтервали не мають спільних точок . - співпадає з на інтервалі , i=1,2,3,....,n. На інтервалі - пряма , що поєднує кінці сходинок . Тоді відстань

- неперервно- диференційована, має неперервну похідну . для цієї функції виконано умови теореми Фейєра - тригонометричний поліном, такий що . - множина функцій , квадрат яких інтегрований.

. Можна підібрати так, щоб виконувалась остання нерівність. Тоді

Твердження (єдиність ряду Фур’є)

Нехай - періодичні функції квадрат яких інтегрований). Тоді

а) Якщо тригонометричний ряд збігається в середньому до f на періоді , то він є рядом Фур’є функції f.

б) Якщо f i g мають один і той самий ряд Фур’є, то вони співпадають в усіх точках неперервності.

Доведення

а) наслідок загального твердження про ряди Фур’є по ортогональній повній системі векторів.

б) Випливає з рівності Парсеваля. Ряд Фур’є (f –g) має нульові коефіцієнти

в усіх точках неперервності (f –g)=0 f =g.