Интеграл Фурье.

Пусть периодическая функция f(x) (период T=2l) на каждом отрезке [-l,l] (l – любое число) кусочно-гладкая или кусочно-монотонная, и, кроме того, f(x) – абсолютно интегрируемая функция на всей числовой оси, то есть несобственный интеграл с бесконечными пределами интегрирования от модуля функции - сходится.

При этих условиях функцию f(x)на каждом интервале (-l,l) можно разложить в ряд Фурье:

|x|<1

В точках х разрыва функции f(x)сумма ряда равна

n= 0, 1, 2, …,

n= 1, 2, …,

Для того, чтобы отличать х от переменной интегрирования, переменную интегрирования обозначили через t. Перейдем к пределу при . Для этого сначала преобразуем ряд, записанный в правой части равенства, подставляя в него вместо anиbnих выражения через интегралы в соответствии с вышеприведенными формулами. В результате получим:

Или:

(5.1)

Равенство (5.1) имеет место для всех значений х, удовлетворяющих условию |x|<l,гдеlлюбое фиксированное число. Пусть х – любая фиксированная точка, перейдем к пределу при .

Прежде всего при .

Так как интеграл сходится, то его частные интегралы ограничены, то есть при любом l.

Тогда или, что то же, при l→∞.

Таким образом, переходя в равенстве (5.1) к пределу при , получим:

(5.2)

Пусть (общий член последовательности { }), тогда и, следовательно, . При , и равенство (5.2) можно записать в следующем виде:

(5.3)

Интегралы, входящие под знак суммы, являются значениями функции , в точках последовательности { } при фиксированных х. Вследствие этого, сумма в правой части равенства внешне, в какой-то степени, напоминает интегральную сумму по переменной u, составленную для промежутка . Можно доказать, что предел суммы, записанный в правой части, равен интегралу:

Тогда в любой точке непрерывности функции будет выполняться равенство:

(5.4)

Преобразуем теперь правую часть равенства, используя формулу для косинуса разности двух углов:

Или, иначе:

, (5.5)

причем коэффициенты a(u) и b(u) соответственно равны:

(5.6)

Пусть – любая абсолютно интегрируемая на всей числовой оси функция, непрерывная или имеющая конечное число точек разрыва первого рода на каждом конечном отрезке. Интегралом Фурье для такой функции называется интеграл:

где a(u) и b(u) определяются равенствами (5.6), при этом записывают:

Если в каждой точке непрерывности функции интеграл Фурье этой функции равен значению функции , то знак соответствия заменяется знаком равенства и говорят, что функция представима интегралом Фурье. Двойным интегралом Фурье абсолютно интегрируемой на промежутке функции , непрерывной или имеющей конечное число точек разрыва первого рода на каждом конечном отрезке, называется интеграл:

Из приведенных выше рассуждений вытекает следующая теорема: если - абсолютно интегрируемая на промежутке функция, кусочно-гладкая или кусочно-монотонная на каждом отрезке [-l,l], то для этой функции справедливы равенства (5.5) и (5.6) или, что тоже, в этом случае функция представима соответственно интегралом Фурье или двойным интегралом Фурье.