Аналитичность преобразования Фурье
Гладкость функции зависит от скорости стремления к нулю
при
. Пусть интегрируемым является произведение
– фиксированная постоянная.
По определению для
. Определим этим же равенством функцию комплексного аргумента
:
Этот интеграл сходится в полосе , так как
и
для всех действительных
.
Утверждение. – аналитическая функция комплексного переменного
в полосе
. При
эта функция стремится к нулю равномерно по
.
Доказательство. В каждой внутренней точке полосы эта функция комплексного аргумента дифференцируема: при формальном дифференцировании по
имеем
этот интеграл равномерно сходится в некоторой окрестности точки (не выходящей за пределы полосы) и представляет, следовательно, производную функции
. Функция
ограничена во всей указанной полосе:
Отсюда следует, в частности, что последовательности функций , сходящейся по
отвечает последовательность
, равномерно сходящаяся во всей полосе
.
Далее, можно утверждать, что функция стремится при
к нулю равномерно по
,
. Действительно, это имеет место для преобразования Фурье характеристической функции интервала
:
,
поскольку числитель полученного выражения ограничен при (
). К общему случаю можно перейти обычным предельным переходом от ступенчатых функций.
Утверждение доказано.
Отметим, что в силу последнего свойства в формуле обращения можно произвести интегрирование не только по вещественной оси, но по любой параллельной прямой, лежащей в указанной полосе -плоскости, так что
В приложениях иногда приходится применять преобразования Фурье к функциям, имеющим разное асимптотическое поведение при и
.
Теорема. Пусть – локально абсолютно интегрируемая функция вещественного аргумента
такая, что
при
и
при
, причём
. Тогда интеграл
определяет аналитическую функцию от
в полосе
. При любом
имеет место формула обращения
,
если только она имеет место хотя бы для одного .
Замечание.В приведенной ниже теореме доказано, что формула обращения имеет место для любого .
Доказательство. Сходимость интегралов от и от
в полосе
следует из локальной интегрируемости
и оценок при
и
:
при
, так как
,
при
так как
.
Стремление к нулю при сохраняется при умножении экспонент на
.
Убедимся в справедливости формулы обращения, для чего подставим в неё
Возможность обращения преобразования Фурье на функции при любом
вытекает из предположения о его обратимости при
, так как
в силу теоремы Коши и равномерного по
стремления к нулю функции
.
Теорема доказана.
Переход к комплексным значениям аргумента образа преобразования Фурье позволяет применять его к функциям вещественного аргумента, которые на всей вещественной оси могут быть неинтегрируемыми.