Перейти к содержанию

Преобразование Фурье

Материал из Мегавики — свободной энциклопедии

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

Преобразование Фурье функции f вещественной переменной является интегральным и задаётся следующей формулой:

f^(ω)=12πf(x)eixωdx.

Разные источники могут давать определения, отличающиеся от приведённого выше выбором множителя перед интегралом (так называемого нормировочного множителя, который относится к вопросу о нормировке преобразования Фурье), а также знака «−» в показателе экспоненты. Но вне зависимости от таких вариаций все свойства будут сохранять свою силу, хотя вид некоторых формул может измениться.

Общая формула всех вариантов определения преобразования Фурье с параметрами a и b выглядит как

f^(ω)=|b|(2π)1af(x)eibxωdx.

Обратное преобразование определяется так

f(x)=|b|(2π)1+af^(ω)eibωxdω.

При выборе a=0 и b=2π или b=2π формулы становятся особенно просты, в них исчезают нормировочные множители и формулы отличаются только знаком степени, вследствие чего большинство нижеприведенных формул упрощаются на постоянные константы.

Кроме того, существуют разнообразные обобщения данного понятия (см. ниже).

Свойства[править]

Хотя формула, задающая преобразование Фурье, имеет ясный смысл только для функций класса L1(), преобразование Фурье может быть определено и для более широкого класса функций и даже обобщённых функций. Это возможно благодаря ряду свойств преобразования Фурье:

(αf+βg)^=αf^+βg^.
|f(x)|2dx=|f^(w)|2dω.

Это свойство позволяет по непрерывности распространить определение преобразования Фурье на всё пространство L2(). Равенство Парсеваля будет при этом справедливо для всех fL2().

  • Формула обращения:
f(x)=12πf^(ω)eixωdω

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

Эта формула объясняет физический смысл преобразования Фурье: правая часть — (бесконечная) сумма гармонических колебаний eiωx с частотами ω, амплитудами 12π|f^(ω)| и фазовыми сдвигами argf^(ω) соответственно.

  • Теорема о свёртке: если f,gL1(), тогда
(fg)^=2πf^g^, где
(fg)(t)=f(ts)g(s)ds.

Эта формула может быть распространена и на случай обобщённых функций.

  • Преобразование Фурье и дифференцирование. Если f,fL1(), то
(f)^=iωf^.

Из этой формулы легко выводится формула для n-й производной:

(f(n))^=(iω)nf^.

Формулы верны и в случае обобщённых функций.

  • Преобразование Фурье и сдвиг.
f(xx0)^=eiωx0f^(ω).

Эта и предыдущая формула являются частными случаями теоремы о свёртке, так как сдвиг по аргументу — это свёртка со сдвинутой дельта-функцией δ(xx0), а дифференцирование — свёртка с производной дельта-функции.

  • Преобразование Фурье и растяжение.
f(ax)^=|a|1f^(ω/a).
k=+f(k)=n=+f^(n)
  • Преобразование Фурье обобщённых функций. Преобразование Фурье можно определить для широкого класса обобщённых функций. Определим вначале пространство гладких быстро убывающих функций (пространство Шварца):
S():={φC():n,mxnφ(m)(x)x0}.

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

Теперь определим его двойственное пространство S*(). Это некоторое подпространство в пространстве всех обобщённых функций — так называемые обобщённые функции медленного роста. Теперь для функции fS*() её преобразованием Фурье называется обобщённая функция f^S*(), действующая на основные функции по правилу

f^,φ=f,φ^.

Например, вычислим преобразование Фурье дельта-функции:

δ^,φ=δ,φ^=δ,12πφ(x)eiωxdx=12πφ(x)1dx=12π,φ.

Таким образом, преобразованием Фурье дельта-функции является константа 12π.

Принцип неопределенности[править]

Вообще говоря, чем больше концентрация f(x), тем более размазанным должно быть её преобразование Фурье (ω). В частности, свойство масштабирования преобразования Фурье можно представить так: если сжать функцию в x раз, то её преобразование Фурье растягивается в ω раз. Невозможно произвольно сконцентрировать как функцию, так и её преобразование Фурье.

Компромисс между уплотнением функции и её преобразованием Фурье можно формализовать в виде принципа неопределенности, рассматривая функцию и её преобразование Фурье как сопряжённые переменные относительно симплектической формы на время-частоту: c точки зрения линейного канонического преобразования, преобразование Фурье является поворотом на 90° во временно-частотной области и сохраняет симплектическую форму.

Предположим, что f(x) — интегрируемая и квадратично-интегрируемая функция. Тогда норма выражается как

f22=|f(x)|2dx.

Из теорема Планшереля следует, что (ω) также нормировано.

Разброс вокруг математического ожидания x0=1||f||22x|f(x)|2dx может быть измерен дисперсией, определяемой как

(Δf)2=1||f||22(xx0)2|f(x)|2dx..

В терминах вероятности это центральный второй момент функции |f(x)|2.

Принцип неопределённости гласит, что если f(x) абсолютно непрерывна, а функции x f(x) и f′(x) квадратично-интегрируемы, то

(Δf)2(Δf^)2116π2,

где нормировочный множитель перед преобразованием Фурье равен 1, при нормировочном множителе равном 12π правое выражение переходит в 14. Извлекая корни из обоих выражений правое выражение становится 14π и 12 соответственно, Δ определяет половину ширины окна (стандартное отклонение).

Равенство достигается только в случае

f(x)=C1eπx2σ2f^(ξ)=σC1eπσ2ω2

где σ > 0 произвольно и C1=24σ так, что f является L2-нормированным. Другими словами, где f — (нормированная) функция Гаусса с дисперсией σ2, центрированная на нуле, а её преобразование Фурье — гауссовская функция с дисперсией σ-2.

Фактически, из этого неравенства следует, что: (1||f||22(xx0)2|f(x)|2dx)(1||f^||22(ωω0)2|f^(ω)|2dω)116π2 для любого x0, ω0R.

В квантовой механике импульс и положение волновой функции являются парами преобразований Фурье с точностью до постоянной Планка. При правильном учёте этой постоянной, неравенство выше становится утверждением принцип неопределенности Гейзенберга.

Более сильным принципом неопределенности является принцип неопределенности Хиршмана, который выражается как:

H(|f|2)+H(|f^|2)ln(e2)

где H(p) — дифференциальная энтропия функции плотности вероятности p(x):

H(p)=p(x)ln(p(x))dx,

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

Применения[править]

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

Разновидности[править]

Многомерное преобразование[править]

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

f^(ω)=1(2π)n/2nf(x)eixωdx.

Здесь ω и x — векторы пространства n, xω — их скалярное произведение. Обратное преобразование в этом случае задается формулой

f(x)=1(2π)n/2nf^(ω)eixωdω.

Эта формула может быть интерпретирована как разложение функции f в линейную комбинацию (суперпозицию) «плоских волн» вида eixω с амплитудами 1(2π)n/2|f^(ω)|, частотами ω и фазовыми сдвигами argf^(ω) соответственно. Как и прежде, в разных источниках определения многомерного преобразования Фурье могут отличаться выбором константы перед интегралом.

Замечание относительно области задания преобразования Фурье и его основные свойства остаются справедливыми и в многомерном случае, со следующими уточнениями:

  • Взятие частных производных под действием преобразования Фурье превращается в умножение на одноимённую координату:
fxk^=iωkf^(ω).
  • Изменяется константа в теореме о свёртке:
(fg)^=(2π)n/2f^g^.
  • Преобразование Фурье и сжатие координат:
(f(x|a|))^=|a|nf^(ω|a|).
(f(Ax))^=|det(A)|1f^((AT)1ω).

Ряды Фурье[править]

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

f(x)=n=f^neinx.

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

Ряд Фурье является частным случаем преобразования Фурье, если последнее понимать в смысле обобщённых функций. Для любой 2π-периодической функции имеем

f^(ω)=2πn=f^nδ(ωn).

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

Дискретное преобразование[править]

Дискретное преобразование Фурье — преобразование конечных последовательностей (комплексных) чисел, которое, как и в непрерывном случае, превращает свёртку в поточечное умножение. Используется в цифровой обработке сигналов и в других ситуациях, где необходимо быстро выполнять свёртку, например, при умножении больших чисел.

Пусть x0,x1,,xn1 — последовательность комплексных чисел. Рассмотрим многочлен f(t)=x0+x1t+x2t2++xn1tn1. Выберем какие-нибудь n точек на комплексной плоскости z0,z1,,zn1. Теперь многочлену f(t) мы можем сопоставить новый набор из n чисел: f0:=f(z0),f1:=f(z1),,fn1:=f(zn1). Заметим, что это преобразование обратимо: для любого набора чисел f0,f1,,fn1 существует единственный многочлен f(t) степени не выше n1 с такими значениями в z0,,zn1 соответственно (см. Интерполяция).

Набор {fk} и называется дискретным преобразованием Фурье исходного набора {xk}. В качестве точек zk обычно выбирают корни n-й степени из единицы:

zk=e2πikn.

Такой выбор продиктован тем, что в этом случае обратное преобразование принимает простую форму, а также тем, что вычисление преобразования Фурье может быть выполнено особенно быстро. Так, в то время как вычисление свёртки двух последовательностей длины n напрямую требует порядка n2 операций, переход к их преобразованию Фурье и обратно по быстрому алгоритму может быть выполнен за O(nlogn) операций. Для преобразований Фурье свёртке соответствует покомпонентное умножение, которое требует лишь порядка n операций.

Оконное преобразование[править]

F(t,ω)=f(τ)W(τt)eiωτdτ,

где F(t,ω) даёт распределение частот (вообще говоря, несколько искажённое) части оригинального сигнала f(t) в окрестности момента времени t.

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

На практике дискретный спектральный анализ реализован в современных цифровых осциллографах и анализаторах спектра. Используется, как правило, выбор окна из 3—10 типов. Применение окон принципиально необходимо, поскольку в реальных приборах исследуется всегда некоторая вырезка из исследуемого сигнала. При этом разрывы сигнала вследствие вырезки резко искажают спектр из-за наложения спектров скачков на спектр сигнала.

Некоторые анализаторы спектра используют быстрое (или кратковременное) оконное преобразование. При нём сигнал заданной длительности разбивается на ряд интервалов с помощью скользящего окна того или иного типа. Это позволяет получать, исследовать и строить в виде спектрограмм динамические спектры и анализировать их поведение во времени. Спектрограмма строится в трёх координатах — частота, время и амплитуда. При этом амплитуда задаётся цветом или оттенком цвета каждого прямоугольника спектрограммы. Подобные анализаторы спектра называют анализаторами спектра реального времени. Основным их производителем является корпорация Keysight Technologies (США), Rohde & Schwarz (Германия), Tektronix (США). Такие анализаторы появились в конце прошлого века и ныне бурно развиваются. Частотный диапазон исследуемых ими сигналов достигает сотен гигагерц.

Указанные методы спектрального анализа реализуются и в системах компьютерной математики, например, Mathcad, Mathematica, Maple и MATLAB.

Другие варианты[править]

Дискретное преобразование Фурье является частным случаем (и иногда применяется для аппроксимации) дискретного во времени преобразования Фурье (DTFT), в котором xk определены на дискретных, но бесконечных областях, и таким образом спектр является непрерывным и периодическим. Дискретное во времени преобразование Фурье является по существу обратным для рядов Фурье.

Эти разновидности преобразования Фурье могут быть обобщены на преобразования Фурье произвольных локально компактных абелевых топологических групп, которые изучаются в гармоническом анализе; они преобразуют группу в её дуальную группу. Эта трактовка также позволяет сформулировать теорему свёртки, которая устанавливает связь между преобразованиями Фурье и свёртками. См. также дуализм Понтрягина.

Интерпретация в терминах времени и частоты[править]

В терминах обработки сигналов преобразование берёт представление функции сигнала в виде временны́х рядов и отображает его в частотный спектр, где ω — угловая частота. То есть оно превращает функцию времени в функцию частоты; это разложение функции на гармонические составляющие на различных частотах.

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

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

Важные формулы[править]

Следующая таблица содержит список важных формул для преобразования Фурье. F(ω) и G(ω) обозначают Фурье компоненты функций f(t) и g(t), соответственно. f и g должны быть интегрируемыми функциями или обобщёнными функциями.

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

Функция Образ Примечания
1 af(t)+bg(t) aF(ω)+bG(ω) Линейность
2 f(ta) eiωaF(ω) Запаздывание
3 eiatf(t) F(ωa) Частотный сдвиг
4 f(at) |a|1F(ωa) Если a большое, то f(at) сосредоточена около нуля, и |a|1F(ωa) становится плоским
5 dnf(t)dtn (iω)nF(ω) Свойство преобразования Фурье от n-й производной
6 tnf(t) indnF(ω)dωn Это обращение правила 5
7 (f*g)(t) 2πF(ω)G(ω) Запись f*g означает свёртку f и g. Это правило — теорема о свёртке
8 f(t)g(t) (F*G)(ω)2π Это обращение 7
9 δ(t) 12π δ(t) означает дельта-функцию Дирака
10 1 2πδ(ω) Обращение 9.
11 tn in2πδ(n)(ω) Здесь n — натуральное число, δ(n)(ω) — n-я обобщённая производная дельта-функции Дирака. Следствие правил 6 и 10. Использование его вместе с правилом 1 позволяет делать преобразования любых многочленов
12 eiat 2πδ(ωa) Следствие 3 и 10
13 cos(at) 2πδ(ωa)+δ(ω+a)2 Следствие 1 и 12 с использованием формулы Эйлера cos(at)=12(eiat+eiat)
14 sin(at) 2πδ(ωa)δ(ω+a)2i Также из 1 и 12
15 exp(at2) 12aexp(ω24a) Показывает, что функция Гаусса exp(t2/2) совпадает со своим изображением
16 W2πsinc(Wt) rect(ω2W) Прямоугольная функция — идеальный фильтр нижних частот, а функция sinc(x) — её временной эквивалент
17 1t iπ2sgn(ω) Здесь sgn(ω) — функция sgn. Это правило согласуется с 6 и 10
18 1tn iπ2(iω)n1(n1)!sgn(ω) Обобщение 17
19 sgn(t) 2π(iω)1 Обращение 17
20 2πθ(t) 1iω+πδ(ω) Здесь θ(t) — функция Хевисайда. Следует из правил 1 и 19

См. также[править]

Литература[править]

  • Зорич В. А. Математический анализ. — М.: Физматлит, 1984. — 544 с.
  • Афонский А. А., Дьяконов В. П. Цифровые анализаторы спектра, сигналов и логики / Под ред. проф. В. П. Дьяконова. — М.: СОЛОН-Пресс, 2009. — С. 248. — ISBN 978-5-913-59049-7.
  • Дьяконов В. П. MATLAB 6.5 SP1/7.0 + Simulink 5/6. Обработка сигналов и проектирование фильтров. — М.: СОЛОН-Пресс, 2005. — С. 576. — ISBN 5-980-03206-1.
  • Сергиенко А. Б. Цифровая обработка сигналов. — 2-е изд. — СПб.: Питер, 2006. — С. 751. — ISBN 5-469-00816-9.
  • М. А. Павлейно, В. М. Ромаданов. Спектральные преобразования в MatLab. — СПб., 2007. — С. 160. — ISBN 978-5-983-40121-1.

Ссылки[править]