§ 1. Представление функции интегралом фурье

Всюду в дальнейшем подчиним функцию f(x) требованию аб­солютной интегрируемости на прямой , т. е. потребуем,чтобы сходился несобственный интеграл

. (9.1)

Определение 1. Будем говорить, что функция f(x) принадлежит на прямой классу L₁ и писать , если функция f(x) интегрируема (в собственном смысле Римана) на любом сегменте (говорят, что f(x) — локаль­но интегрируема) и если сходится несобственный интеграл (9.1).

1. Вспомогательные утверждения. Заметим, что в дальнейшем комплексная функция вещественного аргумента будет рас­сматриваться как пара вещественных функций и()и v ():g()-u ()+iv(). Непрерывность g()в данной точке пони­мается как непрерывность в этой точке каждой из функцийи()и v ().

Лемма 1. Если , то для любой точки число­вой прямой существует несобственный интеграл

, (9.2)

называемый преобразованием Фурье (или образом Фурье) функции f(x). Функция g() непрерывна по в каждой точке числовой прямой.

Доказательство. Из равенстваи изсходимости интеграла (9.1) вытекает существование несобствен­ного интеграла g():

.

Из признака Вейерштрасса (см. теорему 7.8) вытекает равно­мерная по сходимость интеграла (9.2); отсюда в силу непрерыв­ности е^Ях по легко следует непрерывность g() на каж­дом сегменте, т. е. в каждой точке числовой прямой.

Лемма 2 (лемма Римана). Пусть функции f (x) — локаль­но интегрируема на и [а, b] — произвольный фиксиро­ванный интервал числовой прямой; тогда

при ( — вещественное число).

Доказательство. Фиксируем произвольное число. Так как функцияf(x) по условию теоремы локально интегрируе­ма на числовой прямой, то f(x) интегрируема на заданном сегменте [а, b]. Поэтому для выбранного числа найдется такое раз­биение Т сегмента [а, b] на частичные сегменты

[х_к-1, х_к] (k=1, 2, ..., п, a=x₀<x₁<x₂< ... <х_п=b), что для нижней суммы Дарбу s_T справедливы неравенства

Напомним, что

,

где

,

Рассмотрим кусочно постоянную на сегменте [а, b] функцию p(x)=m_j, при ,,j=1, 2, …, n, p(x₀)=m₁. Очевидно, на [а, b] и для всех вещественных чисел

Но для фиксированного нами разбиения Т

при. Таким образом, приинтеграл

стремится к нулю. Лемма доказана.

Лемма 3. Преобразование Фурье g() функции стремится к нулю при , т.е.

Доказательство. Фиксируем произвольное число . В силу сходимости интеграла (9.1) можно выбрать числоA>0 такое, что

.

При таком А справедливо неравенство

Последний интеграл при достаточно большом || может быть, оценен сверху числом (см. лемму 2). Так какпроизволь­но, то . Лемма доказана. В качестве следствия из леммы 3 получаем ,