Аналитичность преобразования Фурье

 

Гладкость функции зависит от скорости стремления к нулю при . Пусть интегрируемым является произведение – фиксированная постоянная.

По определению для . Определим этим же равенством функцию комплексного аргумента :

Этот интеграл сходится в полосе , так как и для всех действительных .

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

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

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

Отсюда следует, в частности, что последовательности функций , сходящейся по отвечает последовательность , равномерно сходящаяся во всей полосе .

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

,

поскольку числитель полученного выражения ограничен при (). К общему случаю можно перейти обычным предельным переходом от ступенчатых функций.

Утверждение доказано.

Отметим, что в силу последнего свойства в формуле обращения можно произвести интегрирование не только по вещественной оси, но по любой параллельной прямой, лежащей в указанной полосе -плоскости, так что

В приложениях иногда приходится применять преобразования Фурье к функциям, имеющим разное асимптотическое поведение при и .

Теорема. Пусть – локально абсолютно интегрируемая функция вещественного аргумента такая, что при и при , причём . Тогда интеграл

определяет аналитическую функцию от в полосе . При любом имеет место формула обращения

,

если только она имеет место хотя бы для одного .

Замечание. В приведенной ниже теореме доказано, что формула обращения имеет место для любого .

Доказательство. Сходимость интегралов от и от в полосе следует из локальной интегрируемости и оценок при и :

при , так как ,

при так как .

Стремление к нулю при сохраняется при умножении экспонент на .

Убедимся в справедливости формулы обращения, для чего подставим в неё

Возможность обращения преобразования Фурье на функции при любом вытекает из предположения о его обратимости при , так как в силу теоремы Коши и равномерного по стремления к нулю функции .

Теорема доказана.

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