Стандартная практика преобразования Фурье для физики

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

ф ( т ) "=" ф ~ ( ю ) е я ю т д ю 2 π ф ~ ( ю ) "=" ф ( т ) е я ю т д т .

В других источниках, таких как «Квантовая теория многих тел в физике конденсированных сред» Брууса и Фленсберга или в этих конспектах лекций , вместо этого они определяются следующим образом:

ф ( т ) "=" ф ~ ( ю ) е я ю т д ю 2 π ф ~ ( ю ) "=" ф ( т ) е я ю т д т .

Почему существуют эти два разных определения? Я думал, может быть, они имеют в виду одно и то же, но, похоже, это относится только к ф ~ ( ю ) "=" ф ~ ( ю ) и я не понимаю, почему это должно быть правдой в целом.

Действительно, я изначально заметил это несоответствие, когда пытался рассчитать импеданс конденсатора, используя второе определение выше, и получил:

Z "=" 1 я ю С ,
и когда я посмотрел решение, обнаружил, что оно общепринято:
Z "=" 1 я ю С ,
это то, что я получаю, используя второе определение выше. Я не понимаю, как эти две функции могут иметь одинаковую физическую интерпретацию. Вот почему я спросил здесь вместо математического обмена стеками, потому что я уверен, что они могут быть определены в любом случае формально, но похоже, что если мы хотим физически думать о времени и частоте, нужно быть правильным.

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

В дикой природе существует множество различных вариантов преобразования Фурье, больше, чем те, которые вы перечислили. Все они работают. Нет никакого соглашения. Вы должны взять условность автора и работать с ней.
Не только согласно комментарию @garyp, во многих текстах по квантовой механике принято иметь коэффициент 1 / 2 π разделить на два фактора 1 / 2 π к прямому и обратному преобразованиям более «симметричны».
Единственное (ха!) место, где разница в соглашениях вызывает проблемы, заключается в попытке сравнить или объединить результаты, полученные или заявленные в соответствии с разными соглашениями. То есть это королевская боль, но не очень важная.

Ответы (2)

Существует много возможных вариантов относительно общих коэффициентов масштабирования, а также времени и частоты преобразования коэффициентов масштабирования. Можно кратко суммировать эти соглашения, используя два числа. а и б . Я использую те же обозначения, что и в функции преобразования Фурье Mathematica.

Определим преобразование Фурье:

Ф Т а , б [ ф ( т ) ] ( ю ) "=" | б | ( 2 π ) 1 а + е + я б ю т ф ( т ) д т

И обратное преобразование Фурье

Ф Т а , б 1 [ ф ~ ( ю ) ] ( т ) "=" | б | ( 2 π ) 1 + а + е я б ю т ф ~ ( ю ) д ю

Позволять

ф ~ а , б ( ю ) "=" Ф Т а , б [ ф ( т ) ] ( ю )
ф ˇ а , б ( т ) "=" Ф Т а , б 1 [ ф ~ а , б ( ю ) ] ( т )

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

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

Первое соглашение в OP - ( а , б ) "=" ( 1 , 1 ) который обычно используется в физике примерно так же часто, как ( а , б ) "=" ( 1 , + 1 ) что является вторым соглашением, которое вы показали.

Кроме того, вы также увидите соглашения, в которых ( а , б ) "=" ( 0 , ± 1 ) где коэффициент 2 π делится поровну между преобразованием и обратным преобразованием, отображаемым с квадратным корнем.

Кроме того, обычно в математике или обработке сигналов вы столкнетесь с ( а , б ) "=" ( 0 , ± 2 π ) соглашение, в котором нет префактора 2 π либо на преобразовании, либо на обратном преобразовании, но теперь вместо угловой частоты ю представляет циклическую частоту и 2 π появляется во всех экспонентах.

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

Вернемся к основному вопросу ОП. На языке, указанном в этом ответе, ОП в основном спрашивает, имеет ли значение б "=" + 1 или б "=" 1 . Краткий ответ заключается в том, что это не имеет значения. В любом случае работает и преобразует исходный сигнал как функцию времени в функцию частоты. Разница связана с тем, как мы интерпретируем положительные и отрицательные частоты. Учитывать

ф 1 ( т ) "=" е + я ю 0 т
ф 2 ( т ) "=" е я ю 0 т

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

Если мы выберем б "=" 1 конвенция тогда ф ~ 1 , 1 1 ( ю ) будет иметь ненулевой вклад при + ю 0 тогда как ф ~ 1 , 1 2 ( ю ) будет иметь ненулевой вклад при ю 0 . Мы могли бы сказать ф 1 является сигналом положительной частоты, в то время как ф 2 отрицательно.

Однако если мы выберем б "=" + 1 потом все наоборот. ф ~ 1 , + 1 1 ( ю ) будет иметь ненулевой вклад при ю 0 пока ф ~ 1 , + 1 2 ( ю ) будет иметь вклад в + ю 0 . сейчас ф 1 отрицательная частота и ф 2 положительная частота!

Таким образом, мы видим, что оба б "=" + 1 и б "=" 1 дайте ответ, который мы можем интерпретировать как частоты, с той лишь разницей, что между ними есть то, что мы называем положительными и отрицательными частотами. В качестве примечания я лично предпочитаю ( а , б ) "=" ( 1 , + 1 ) потому что это делает формулу преобразования Фурье (которую я использую чаще, чем обратное преобразование) максимально простой. Без префактора и без знака минус в показателе степени.

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

Я действительно думаю, что это очень хороший вопрос. Оба соглашения правильны, и здесь я пытаюсь объяснить, почему. Итак, преобразование Фурье выводится из основного ряда Фурье. Для апериодических сигналов мы не можем определить законное реальное значение периодичности и пойти на преобразование, позволив периоду простираться до бесконечности.

Ряд Фурье определяется как

ф ( Икс ) "=" 0 + { А к потому что 2 π к Икс Икс 0 + Б к грех 2 π к Икс Икс 0 } А 0 "=" 1 Икс 0 Икс 0 ф ( т ) д т , А к "=" 2 Икс 0 Икс 0 ф ( т ) потому что 2 π к т Икс 0 д т , Б к "=" 2 Икс 0 Икс 0 ф ( т ) грех 2 π к т Икс 0 д т
Преобразовывая синус и косинус первого уравнения в экспоненциальные формы, получаем
ф ( Икс ) "=" к "=" 0 { ( А к я Б к 2 е я 2 π к Икс / Икс 0 ) + ( А к + я Б к 2 е я 2 π к Икс / Икс 0 ) } "=" к "=" 0 { ( С к е я 2 π к Икс / Икс 0 ) + ( Д к е я 2 π к Икс / Икс 0 ) }

Теперь понятно, что С к "=" Д к Итак, я могу написать

ф ( Икс ) "=" к "=" + С к е я 2 π к Икс / Икс 0 "=" к "=" + Д к е я 2 π к Икс / Икс 0
Так что, на мой взгляд, отсюда и начинается расхождение дорог. Когда я начал выводить его с первого ( С к ) соглашение, я закончил с
Ф ( ю ) "=" + ф ( Икс ) е я ю Икс д Икс
И когда я использовал вторую конвенцию( Д к ), я в итоге получил
Ф ( ю ) "=" + ф ( Икс ) е я ю Икс д Икс

Ваше определение ряда Фурье, по-видимому, предполагает, что ф ( Икс ) является вещественнозначной функцией. Часто это не так, и определение ф ( Икс ) "=" С к е 2 π я к Икс / Икс 0 где С к сложный более естественный. Если потом написать С к "=" п к + я Вопрос к где п к и Вопрос к реальны, у вас есть еще один источник различных соглашений о знаках.
да, но вы также можете использовать Д к договориться и написать Д к "=" п к + я Вопрос к