Конечная или бесконечная система функций

интегрируемых на отрезке , называется ортогональной системой на этом же отрезке, если для любых номеров таких, что выполняется равенство

Теорема №1.

Тригонометрическая система

ортогональна на отрезке .

Доказательство

При любом целом имеем

С помощью известных формул тригонометрии

для любых натуральных находим:

Наконец, в силу формулы

для любых целых получаем

При имеем

Что и требовалось доказать.

Тригонометрический ряд Фурье

Поставим себе задачей вычислить коэффициенты тригонометрического ряда (1), зная функцию

Теорема №2.

(1)

(2)

Пусть равенство

имеет место для всех значений x, причем ряд в правой части равенства сходится равномерно на отрезке . Тогда справедливы формулы:

Доказательство

Из равномерной сходимости ряда (1) вытекает непрерывность, а значит, и интегрируемость функции . Поэтому равенства (2) имеют смысл. Более того, ряд (1) можно почленно интегрировать.

Имеем

или

откуда и следует первая из формул (2) для

Умножим теперь обе части равенства (1) на функцию произвольное натуральное число:

Ряд (3), как и ряд (1), сходится равномерно. Поэтому его можно интегрировать почленно,

Все интегралы в правой части, кроме одного, который получается при , равны нулю в силу ортогональности тригонометрической системы. Поэтому

откуда

Аналогично, умножая обе части равенства (1) на и интегрируя от , получим

откуда

Что и требовалось доказать.

Пусть дана произвольная периодическая функция периода 2π, интегрируемая на отрезке . Можно ли её представить в виде суммы некоторого сходящегося тригонометрического ряда, заранее неизвестно. Однако по формулам (2) можно вычислить постоянные и .

Тригонометрический ряд

Коэффициенты которого определяется через функцию по формулам

Называется тригонометрическим рядом Фурье функции , а коэффициенты , определяемые по этим формулам, называются коэффициентами Фурье функции

Каждой интегрируемой на отрезке функции можно поставить в соответствие ее ряд Фурье

Т.е. тригонометрический ряд, коэффициенты которого определяются по формулам (2). Однако если от функции не требовать ничего, кроме интегрируемости на отрезке , то знак соответствия в последнем соотношении, вообще говоря, нельзя заменить знаком равенства.

Замечание.Часто требуется разложить в тригонометрический ряд функцию , определенную только на отрезке и, следовательно, не являющуюся периодической. Так как в формулах (2) для коэффициентов Фурье интегралы вычисляются по отрезку то такой функции тоже можно написать тригонометрический ряд Фурье. Вместе с тем, если продолжить функцию периодически на всю ось Оx, то получим функцию на интервале :

Эту функцию называют периодическим продолжением функции . При этом функции не имеет однозначного определения в точках

Ряд Фурье для функции тождественен ряду Фурье для функции . К тому же, если ряд Фурье для функции с отрезка на всю ось Ox . В этом смысле говорить о ряде Фурье для функции , определенной на отрезке , равносильно тому, что говорить о ряде Фурье для функции , являющейся периодическим продолжением функции на всю ось Ox. Отсюда следует, что признаки сходимости рядов Фурье достаточно сформулировать для периодических функций.

Достаточные условия