對於不同種類的函數,有一些不同版本的傅里葉變換的定義。對於定義在歐幾里得空間
R
d
{\displaystyle \mathbb {R} ^{d}}
上的函數,可給出通常的連續傅里葉變換 ;對於定義在
d
{\displaystyle d}
維環面
T
d
{\displaystyle \mathbb {T} ^{d}}
上的函數,或者說周期函數 ,就給出傅里葉級數 。進行傅里葉變換的函數的定義域可以推廣到拓撲群 ,如局部緊交換群 。
若「傅里葉變換」一詞不加任何限定語,則往往是指所謂「連續傅里葉變換」,下文我們默認討論連續傅里葉變換。其他的常見變種列於傅里葉變換的其他變種 一節。
對於一個多實變量的複函數
f
:
R
d
→
C
{\displaystyle f:\mathbb {R} ^{d}\to \mathbb {C} }
,其傅里葉變換的結果(記作
f
^
:
R
d
→
C
{\displaystyle {\hat {f}}:\mathbb {R} ^{d}\to \mathbb {C} }
或
F
(
f
)
{\displaystyle {\mathcal {F}}(f)}
)最常見的定義方式是下面的傅里葉積分
F
(
f
)
(
k
)
=
f
^
(
k
)
=
∫
R
d
f
(
x
)
e
−
2
π
i
k
⋅
x
d
x
,
{\displaystyle {\mathcal {F}}(f)(\mathbf {k} )={\hat {f}}(\mathbf {k} )=\int _{\mathbb {R} ^{d}}f(\mathbf {x} )\ e^{-2\pi i\mathbf {k} \cdot \mathbf {x} }\ \mathrm {d} \mathbf {x} ,}
稱為傅里葉積分變換 ,其中粗體的
x
,
k
∈
R
d
{\displaystyle \mathbf {x} ,\mathbf {k} \in \mathbb {R} ^{d}}
是
d
{\displaystyle d}
維實向量 ,點乘號
⋅
{\displaystyle \cdot }
則表示歐幾里得 內積 。值得一提的是,不同的作者可能在定義中對積分號前的係數
1
{\displaystyle 1}
和指數上的係數
−
2
π
i
{\displaystyle -2\pi i}
進行調整,不同領域有不同的慣用約定[ 1] ,參見變換參數的常見約定 。
常可定義另一積分變換
F
−
1
{\displaystyle {\mathcal {F}}^{-1}}
:
F
−
1
(
f
)
(
x
)
=
f
ˇ
(
x
)
=
∫
R
d
f
(
k
)
e
2
π
i
x
⋅
k
d
k
,
{\displaystyle {\mathcal {F}}^{-1}(f)(\mathbf {x} )={\check {f}}(\mathbf {x} )=\int _{\mathbb {R} ^{d}}f(\mathbf {k} )\ e^{2\pi i\mathbf {x} \cdot \mathbf {k} }\ \mathrm {d} \mathbf {k} ,}
它稱作傅里葉積分逆變換 ,滿足
F
∘
F
−
1
=
i
d
{\displaystyle {\mathcal {F}}\circ {\mathcal {F}}^{-1}=\mathrm {id} }
。
若某函數的傅里葉積分不收斂,則這一版本的傅里葉變換對其就無法定義;即便傅里葉積分收斂,所得的函數的積分逆變換也可能不收斂;或者這兩個變換非互逆關係。所以須了解什麼樣的函數是可變換的,而且滿足不同假設的函數的傅里葉變換可能性質不同。
另外,可行上述變換的函數太少,如各種多項式函數都無法用上面的積分定義,這些情況對於信號頻域分析等直接應用而言也十分重要,從而有必要進行推廣,這就是下面幾小節的主題。
對於一個
R
d
{\displaystyle \mathbb {R} ^{d}}
上的連續函數
f
{\displaystyle f}
而言,要使其黎曼積分 收斂,主要需限制其在趨向無窮遠時的衰減速度。為使前述傅里葉積分收斂,可以考慮使得
|
x
d
+
ϵ
|
|
f
(
x
)
|
{\displaystyle |x^{d+\epsilon }||f(x)|}
有界 的連續函數
f
{\displaystyle f}
,其中
ϵ
>
0
{\displaystyle \epsilon >0}
。容易驗證這些函數在通常加法和數乘下構成一個向量空間 ,記作
M
ϵ
{\displaystyle {\mathcal {M}}_{\epsilon }}
。這些函數都是黎曼可積 的[ 2] ,並且乘上模為1的指數函數所得函數仍在
M
ϵ
{\displaystyle {\mathcal {M}}_{\epsilon }}
中,也就是說其傅里葉積分也是收斂的。
M
ϵ
{\displaystyle {\mathcal {M}}_{\epsilon }}
上的傅里葉變換已具備許多良好的性質。然而,由於未必有
f
∈
M
ϵ
⟹
f
^
∈
M
ϵ
{\displaystyle f\in M_{\epsilon }\implies {\hat {f}}\in M_{\epsilon }}
,所以
F
:
M
ϵ
→
M
ϵ
{\displaystyle {\mathcal {F}}:{\mathcal {M}}_{\epsilon }\to {\mathcal {M}}_{\epsilon }}
可能不具可逆性。一些分析表明,
f
^
{\displaystyle {\hat {f}}}
趨向無窮遠時的衰減行為與
f
{\displaystyle f}
的連續性與可微性有關:為使
f
^
{\displaystyle {\hat {f}}}
更快地衰減,
f
{\displaystyle f}
應具有更好的光滑性 ,反過來也一樣[ 2] 。這啟發我們研究所謂速降函數 ,其任意階導數的衰減速度都快於任意負冪次函數,其構成的向量空間稱為速降函數空間 ,記作
S
{\displaystyle {\mathcal {S}}}
。速降函數的傅里葉變換仍是速降函數,那麼上面的積分逆變換可以定義在整個
S
{\displaystyle {\mathcal {S}}}
上。可以證明該積分確實是逆變換,於是傅里葉積分變換是
S
{\displaystyle {\mathcal {S}}}
上的一個自同構 。
上述積分變換是基於黎曼積分 的。然而相比之下,使用基於測度 的勒貝格積分 來定義傅里葉積分變換有許多的優勢。下文提到傅里葉積分變換時都默認是勒貝格積分意義上的。
R
d
{\displaystyle \mathbb {R} ^{d}}
上全體勒貝格可積 的函數構成的向量空間記作
L
1
(
R
d
)
{\displaystyle L^{1}(\mathbb {R} ^{d})}
或此處省略地記為
L
1
{\displaystyle L^{1}}
,其是Lp空間 的一種。對于勒貝格可積函數
f
∈
L
1
{\displaystyle f\in L^{1}}
而言,由於
|
f
(
x
)
e
2
π
i
k
⋅
x
|
=
|
f
(
x
)
|
|
e
2
π
i
k
⋅
x
|
=
|
f
(
x
)
|
{\displaystyle |f(x)e^{2\pi i\mathbf {k} \cdot \mathbf {x} }|=|f(x)||e^{2\pi i\mathbf {k} \cdot \mathbf {x} }|=|f(x)|}
,
f
(
x
)
e
2
π
i
k
⋅
x
{\displaystyle f(x)e^{2\pi i\mathbf {k} \cdot \mathbf {x} }}
也是勒貝格可積的,也就是說傅里葉積分變換在
L
1
{\displaystyle L^{1}}
上有定義。
一般來說可積函數
f
∈
L
1
{\displaystyle f\in L^{1}}
的傅里葉變換
f
^
{\displaystyle {\hat {f}}}
未必是可積的。但對於其中可積的
f
^
∈
L
1
{\displaystyle {\hat {f}}\in L^{1}}
可以證明[ 3] ,積分逆變換
∫
R
d
f
^
(
k
)
e
2
π
i
x
⋅
k
d
k
{\displaystyle \int _{\mathbb {R} _{d}}{\hat {f}}(\mathbf {k} )\ e^{2\pi i\mathbf {x} \cdot \mathbf {k} }\ \mathrm {d} \mathbf {k} }
對於
x
∈
R
d
{\displaystyle \mathbf {x} \in \mathbb {R} ^{d}}
幾乎處處 收斂於
f
(
x
)
{\displaystyle f(\mathbf {x} )}
。
對于勒貝格積分定義的傅里葉積分變換而言,它仍是速降函數空間
S
{\displaystyle {\mathcal {S}}}
上的自同構。更具體地說,這是一個連續 線性等距 自同構(可查閱連續線性算子 以了解可能導出的其他性質;另,這裡所涉及的範數 是L2 範數 )。
一個重要的事實是,
S
{\displaystyle {\mathcal {S}}}
在平方可積函數 空間
L
2
{\displaystyle L^{2}}
中稠密 ,而
L
2
{\displaystyle L^{2}}
是一個希爾伯特空間 。這意味着
S
{\displaystyle {\mathcal {S}}}
上的任一連續線性算子可以擴張 到
L
2
{\displaystyle L^{2}}
上且保持連續性,且這樣的擴張唯一。也就是說,若可找到速降函數序列
f
n
{\displaystyle f_{n}}
收斂於一個平方可積函數
f
{\displaystyle f}
,那麼
f
{\displaystyle f}
的傅里葉變換可定義為序列
f
n
^
{\displaystyle {\hat {f_{n}}}}
的極限 ,而不產生收斂性與對
f
n
{\displaystyle f_{n}}
選擇的依賴問題。
更進一步地,這個擴張還可以保持等距同構性質,在
L
2
{\displaystyle L^{2}}
上滿足這一性質意味着傅里葉變換是一個幺正算子 ,這就是普朗歇爾定理 的內容。
這一變換並不對於所有的平方可積函數都具有一個積分定義式,對於補集
L
2
∖
L
1
{\displaystyle L^{2}\setminus L^{1}}
中的函數則需要通過極限來定義。故不再稱其為積分變換,而是稱為傅里葉-普朗歇爾變換 或簡單稱為傅里葉變換 或普朗歇爾變換 。
如前面所提到的,非零多項式函數不是可積或平方可積的,從而無法使用上面的方法來定義傅里葉變換。這一點可以通過考慮緩增分布 來解決。
分布 (也稱為是一種廣義函數 )是測試函數空間 上的連續線性泛函 (即,該空間的連續對偶空間 的成員)。而緩增分布則是以速降函數為測試函數的情況。[ 註 1]
緩增分布
f
{\displaystyle f}
的傅里葉變換
f
^
{\displaystyle {\hat {f}}}
定義為[ 5]
f
^
:
S
→
C
:
φ
↦
f
(
φ
^
)
.
{\displaystyle {\hat {f}}:{\mathcal {S}}\to \mathbb {C} :\varphi \mapsto f({\hat {\varphi }}).}
也就是說,若記
S
{\displaystyle {\mathcal {S}}}
上的傅里葉變換為
F
0
{\displaystyle {\mathcal {F}}_{0}}
、
S
{\displaystyle {\mathcal {S}}}
的連續對偶空間為
S
′
{\displaystyle {\mathcal {S}}'}
,則
F
0
{\displaystyle {\mathcal {F}}_{0}}
的共軛算子
F
0
∗
{\displaystyle {\mathcal {F}}_{0}^{*}}
在
S
′
{\displaystyle {\mathcal {S}}'}
上的限制 就是緩增分布的傅里葉變換。
這個變換也是可逆的,並且在某種意義上 是
F
0
{\displaystyle {\mathcal {F}}_{0}}
的擴張,也就是說可以用它來變換的函數比
S
{\displaystyle {\mathcal {S}}}
中的更多。為說明這一點,下面在一維情況下舉些例子。
對於實軸上的速降函數
g
∈
S
(
R
)
{\displaystyle g\in {\mathcal {S}}(\mathbb {R} )}
,其有這樣唯一一個由積分定義的連續線性泛函
g
′
{\displaystyle g'}
與之對應(這一點實際上只需局部可積函數 ):
g
′
:
φ
↦
∫
R
φ
(
x
)
g
(
x
)
d
x
,
{\displaystyle g':\varphi \mapsto \int _{\mathbb {R} }\varphi (x)g(x)\ \mathrm {d} x,}
現在對其做傅里葉變換,得到
g
′
^
(
φ
)
=
∫
R
φ
^
(
x
)
g
(
x
)
d
x
=
∫
R
φ
(
x
)
g
^
(
x
)
d
x
,
{\displaystyle {\hat {g'}}(\varphi )=\int _{\mathbb {R} }{\hat {\varphi }}(x)g(x)\ \mathrm {d} x=\int _{\mathbb {R} }\varphi (x){\hat {g}}(x)\mathrm {d} x,}
其中第二個等號源於
F
0
{\displaystyle {\mathcal {F}}_{0}}
的如下性質(由富比尼定理 易證):
∫
R
d
ψ
^
(
x
)
ϕ
(
x
)
d
x
=
∫
R
d
ψ
(
x
)
ϕ
^
(
x
)
d
x
.
{\displaystyle \int _{\mathbb {R} ^{d}}{\hat {\psi }}(\mathbf {x} )\phi (\mathbf {x} )\mathrm {d} \mathbf {x} =\int _{\mathbb {R} ^{d}}\psi (\mathbf {x} ){\hat {\phi }}(\mathbf {x} )\mathrm {d} \mathbf {x} .}
由此可看出線性泛函
g
′
^
{\displaystyle {\hat {g'}}}
以前述的方式唯一對應於函數
g
^
{\displaystyle {\hat {g}}}
(唯一性在這樣意義上理解:對應相同線性泛函的函數幾乎處處相等)。在這個意義上它對於
g
∈
S
{\displaystyle g\in {\mathcal {S}}}
是與
F
0
{\displaystyle {\mathcal {F}}_{0}}
的定義相重合的。
然而並非所有連續線性泛函都有這樣的積分表示,如所謂求值泛函。0處的求值泛函作用於每個函數時,都給出該函數在0處的值:
δ
0
:
S
→
C
:
φ
↦
φ
(
0
)
,
{\displaystyle \delta _{0}:{\mathcal {S}}\to \mathbb {C} :\varphi \mapsto \varphi (0),}
它正是所謂狄拉克δ函數 ,其傅里葉變換滿足
δ
0
^
(
φ
)
=
δ
0
(
φ
^
)
=
φ
^
(
0
)
=
∫
R
φ
(
x
)
d
x
,
{\displaystyle {\hat {\delta _{0}}}(\varphi )=\delta _{0}({\hat {\varphi }})={\hat {\varphi }}(0)=\int _{\mathbb {R} }\varphi (x)\ \mathrm {d} x,}
而這正是常值函數
1
{\displaystyle 1}
如前述方式對應的線性泛函
1
′
{\displaystyle 1'}
。也就是說在這個意義上,狄拉克δ「函數」的傅里葉變換是
1
{\displaystyle 1}
。從頻譜意義上理解,這意味着常值函數的頻譜 集中在零頻率處(或者說周期無窮大)
exp
(
i
k
x
)
|
k
=
0
=
1
{\displaystyle \exp \left(ikx\right)|_{k=0}=1}
的情況。
如前面提到的,傅里葉積分變換中有可調整的參數,對它們的調整不會造成變換性質的顯著變化,而僅僅是對變換結果的定義域或值域進行了放縮。通過顯式地引入參數
a
,
b
{\displaystyle a,b}
,傅里葉積分變換的通式可以寫為[ 1]
f
^
(
k
)
:=
(
|
b
|
(
2
π
)
1
−
a
)
d
/
2
∫
R
d
f
(
x
)
e
i
b
k
⋅
x
d
x
,
{\displaystyle {\hat {f}}(\mathbf {k} ):=\left({\frac {|b|}{(2\pi )^{1-a}}}\right)^{d/2}\int _{\mathbb {R} ^{d}}f(\mathbf {x} )e^{ib\mathbf {k} \cdot \mathbf {x} }\mathrm {d} \mathbf {x} ,}
相應的滿足
F
∘
F
−
1
=
i
d
=
F
∘
F
−
1
{\displaystyle {\mathcal {F}}\circ {\mathcal {F}}^{-1}=\mathrm {id} ={\mathcal {F}}\circ {\mathcal {F}}^{-1}}
的逆變換定義為
f
ˇ
(
x
)
:=
(
|
b
|
(
2
π
)
1
+
a
)
d
/
2
∫
R
d
f
(
k
)
e
−
i
b
k
⋅
x
d
k
.
{\displaystyle {\check {f}}(\mathbf {x} ):=\left({\frac {|b|}{(2\pi )^{1+a}}}\right)^{d/2}\int _{\mathbb {R} ^{d}}f(\mathbf {k} )e^{-ib\mathbf {k} \cdot \mathbf {x} }\mathrm {d} \mathbf {k} .}
特殊參數選擇的特性
編號
選擇
特性
1
a
=
0
{\displaystyle a=0}
變換與逆變換有相同的前置因子,且變換是幺正 的
2
(
2
π
)
1
−
a
=
|
b
|
{\displaystyle (2\pi )^{1-a}=|b|}
正變換沒有前置因子
3
(
2
π
)
1
+
a
=
|
b
|
{\displaystyle (2\pi )^{1+a}=|b|}
逆變換沒有前置因子
4
|
b
|
=
1
{\displaystyle |b|=1}
變換的自變量
k
{\displaystyle k}
對應於角頻率
5
|
b
|
=
2
π
{\displaystyle |b|=2\pi }
變換的自變量
k
{\displaystyle k}
對應於頻率
6
b
<
0
{\displaystyle b<0}
exp
(
i
x
)
{\displaystyle \exp(ix)}
貢獻正頻率部分的譜
7
b
>
0
{\displaystyle b>0}
exp
(
−
i
x
)
{\displaystyle \exp(-ix)}
貢獻正頻率部分的譜
一些選擇組合因同時滿足上面多個特性或在特定領域中自然出現而變得常見,列在下表。
一些常見選擇[ 1]
編號
a
b
滿足特性
場景
1
0
1
1、4、7
現代物理
2
1
-1
2、4、6
純數學、系統工程
3
-1
1
3、4、7
傳統物理
4
0
−
2
π
{\displaystyle -2\pi }
1、2、3、5、6
信號處理
本節中使用的約定是
(
a
,
b
)
=
(
0
,
−
2
π
)
{\displaystyle (a,b)=(0,-2\pi )}
。
傅里葉變換在醫學 、數據科學 、物理學 、聲學 、光學 、結構力學 、量子力學 、數論 、組合數學 、概率論 、統計學 、信號處理 、密碼學 、大氣科學 、海洋學 、通訊 、金融 等領域都有着廣泛的應用。
傅里葉變換可用於將索伯列夫空間
W
s
,
p
{\displaystyle W^{s,p}}
上的範數從
s
∈
Z
{\displaystyle s\in \mathbb {Z} }
的情況推廣至為
s
∈
R
{\displaystyle s\in \mathbb {R} }
的情況。
一個隨機變量的特徵函數 是機率密度函數 的傅里葉變換
E
(
e
i
t
⋅
X
)
=
∫
e
i
t
⋅
x
d
μ
X
(
x
)
{\displaystyle E(e^{it\cdot X})=\int e^{it\cdot x}d\mu _{X}(x)}
,儘管技術上往往使用傅里葉-斯蒂爾切斯變換 的形式。
在處理具有波動方程 背景的函數時,頻域的信息處理起來通常更為方便,且信號的濾波 等頻域操作在器件方面有簡單的實現。
除了力學振動、振盪電路等有明顯波動方程背景的問題外,也有一些其他情況使得傅里葉變換在理論中自然地出現,如:
下面性質的更直觀的寫法可參見常用傅里葉變換表 。
傅里葉變換是線性映射 。也就是說對於
∀
α
,
β
∈
R
,
∀
f
,
g
∈
Dom
(
F
)
,
{\textstyle \forall \alpha ,\beta \in \mathbb {R} ,\quad \forall f,g\in \operatorname {Dom} ({\mathcal {F}}),}
也存在
F
(
α
f
+
β
g
)
=
α
F
(
f
)
+
β
F
(
g
)
.
{\displaystyle {\mathcal {F}}(\alpha f+\beta g)=\alpha {\mathcal {F}}(f)+\beta {\mathcal {F}}(g).}
可定義函數間的映射
τ
α
{\displaystyle \tau _{\alpha }}
滿足
τ
α
(
f
)
(
x
)
=
f
(
x
−
α
)
,
{\displaystyle \tau _{\alpha }(f)(x)=f(x-\alpha ),}
稱為平移算子 。其可以推廣到緩增分布 上,定義為共軛算子
τ
~
α
=
τ
−
α
∗
{\displaystyle {\tilde {\tau }}_{\alpha }=\tau _{-\alpha }^{*}}
,也就是說對於
∀
ϕ
∈
S
′
,
φ
∈
S
,
ϕ
(
τ
−
α
φ
)
=
τ
~
α
f
(
φ
)
,
{\displaystyle \forall \phi \in {\mathcal {S}}',\varphi \in {\mathcal {S}},\quad \phi (\tau _{-\alpha }\varphi )={\tilde {\tau }}_{\alpha }f(\varphi ),}
其中省略了表示平移算子作用於函數所需的括號。下文不再區分函數與分布的平移,採用相同記號。
傅里葉變換與平移算子滿足如下關係:
τ
α
f
^
(
k
)
=
exp
(
−
2
π
i
α
k
)
f
^
(
k
)
,
{\displaystyle {\widehat {\tau _{\alpha }f}}(k)=\exp(-2\pi i\alpha k){\hat {f}}(k),}
反過來,對於函數
g
(
x
)
:=
exp
(
2
π
i
α
x
)
f
(
x
)
{\displaystyle g(x):=\exp(2\pi i\alpha x)f(x)}
,也有
g
^
(
k
)
=
τ
α
f
^
(
k
)
{\displaystyle {\hat {g}}(k)=\tau _{\alpha }{\hat {f}}(k)}
。
也就是說平移與相移 相關聯。
f
(
a
x
)
⟺
F
1
|
a
|
f
^
(
ξ
a
)
,
a
≠
0
{\displaystyle f(ax)\ \ {\stackrel {\mathcal {F}}{\Longleftrightarrow }}\ \ {\frac {1}{|a|}}{\widehat {f}}\left({\frac {\xi }{a}}\right),\quad \ a\neq 0}
a
=
−
1
{\displaystyle a=-1}
的情況即給出所謂反射性質 。
傅里葉變換與導數算子 滿足如下關係:
∂
α
(
f
)
^
(
k
)
=
exp
(
2
π
i
k
)
α
f
^
(
k
)
,
{\displaystyle {\widehat {\partial ^{\alpha }(f)}}(k)=\exp(2\pi ik)^{\alpha }{\hat {f}}(k),}
其中
α
{\displaystyle \alpha }
是高階導數,多元情況則一般化為多重指標 。
反過來,對於函數
g
(
x
)
:=
(
−
2
π
i
x
)
α
f
(
x
)
{\displaystyle g(x):=(-2\pi ix)^{\alpha }f(x)}
,也有
g
^
(
k
)
=
∂
α
(
f
^
)
(
k
)
{\displaystyle {\hat {g}}(k)=\partial ^{\alpha }({\hat {f}})(k)}
。
也就是說求導在乘上頻率是相關聯的。
這裡的導數算子也可以是緩增分布的導數算子,同樣由共軛算子定義為
∂
~
α
=
(
−
1
)
α
(
∂
α
)
∗
{\displaystyle {\tilde {\partial }}^{\alpha }=(-1)^{\alpha }(\partial ^{\alpha })^{*}}
。
若函數
f
,
g
{\displaystyle f,g}
有傅里葉變換,且存在卷積
f
∗
g
:
x
↦
∫
R
f
(
x
−
ξ
)
g
(
ξ
)
d
ξ
{\displaystyle f*g:x\mapsto \int _{\mathbb {R} }f(x-\xi )g(\xi )\,\mathrm {d} \xi }
,則該卷積的傅里葉變換即
f
^
g
^
{\displaystyle {\hat {f}}{\hat {g}}}
。
也可以推廣地定義分布
ϕ
{\displaystyle \phi }
與測試函數
φ
{\displaystyle \varphi }
的卷積,這時同樣有
ϕ
∗
φ
^
=
φ
^
ϕ
^
{\displaystyle {\widehat {\phi *\varphi }}={\hat {\varphi }}{\hat {\phi }}}
。
L
2
{\displaystyle L^{2}}
上的傅里葉變換是等距映射。或者說,若函數
f
(
x
)
{\displaystyle f\left(x\right)}
平方可積 ,則
∫
−
∞
+
∞
|
f
(
x
)
|
2
d
x
=
∫
−
∞
+
∞
|
f
^
(
ω
)
|
2
d
ω
{\displaystyle \int _{-\infty }^{+\infty }|f(x)|^{2}dx=\int _{-\infty }^{+\infty }|{\hat {f}}(\omega )|^{2}d\omega }
。
連續形式的傅里葉變換其實是傅里葉級數(Fourier series)的推廣,因為積分其實是一種極限形式的求和算子而已。對於周期函數,其傅里葉級數是存在的:
f
(
x
)
=
∑
n
=
−
∞
∞
F
n
e
i
n
x
,
{\displaystyle f(x)=\sum _{n=-\infty }^{\infty }F_{n}\,e^{inx},}
其中
F
n
{\displaystyle F_{n}}
為復振幅。對於實值函數,函數的傅里葉級數可以寫成:
f
(
x
)
=
a
0
2
+
∑
n
=
1
∞
[
a
n
cos
(
n
x
)
+
b
n
sin
(
n
x
)
]
{\displaystyle f(x)={\frac {a_{0}}{2}}+\sum _{n=1}^{\infty }\left[a_{n}\cos(nx)+b_{n}\sin(nx)\right]}
其中a n 和b n 是實 頻率分量的振幅。
傅里葉分析 最初是研究周期性 現象,即傅里葉級數的,後來通過傅里葉變換將其推廣到了非周期性現象。理解這種推廣過程的一種方式是將非周期性現象視為周期性現象的一個特例,即其周期 為無限長。
離散傅里葉變換是離散時間傅里葉變換 (DTFT)的特例(有時作為後者的近似)。DTFT在時域上離散,在頻域上則是周期的。DTFT可以被看作是傅里葉級數的逆轉換。
為了在科學計算和數字信號處理 等領域使用計算機進行傅里葉變換,必須將函數x n 定義在離散 點而非連續域內,且須滿足有限性 或周期性 條件。這種情況下,使用離散傅里葉變換,將函數x n 表示為下面的求和形式:
X
k
=
∑
n
=
0
N
−
1
x
n
e
−
i
2
π
N
k
n
k
=
0
,
…
,
N
−
1
{\displaystyle X_{k}=\sum _{n=0}^{N-1}x_{n}e^{-i{\frac {2\pi }{N}}kn}\qquad k=0,\dots ,N-1}
其中
X
k
{\displaystyle X_{k}}
是傅里葉振幅。直接使用這個公式計算的計算複雜度 為
O
(
n
2
)
{\displaystyle {\mathcal {O}}(n^{2})}
,而快速傅里葉變換 (FFT)可以將複雜度改進為
O
(
n
log
n
)
{\displaystyle {\mathcal {O}}(n\log n)}
。計算複雜度的降低以及數字電路計算能力的發展使得DFT成為在信號處理領域十分實用且重要的方法。
以上的傅里葉變換都可以被統一描述為任意局部緊緻 的阿貝爾群 上的傅里葉變換。這一問題屬於調和分析 的範疇。在調和分析中,一個變換從一個群變換到它的對偶群 。此外,將傅里葉變換與卷積相聯繫的卷積定理在調和分析中也有類似的結論。傅里葉變換的廣義理論基礎參見龐特里亞金對偶性 中的介紹。
小波變換 ,Chirplet變換 和分數傅里葉變換 的都是為了得到時間信號的頻率信息。同時解析頻率和時間的能力在數學上受不確定性原理 的限制。
下表列出了傅里葉變換家族的成員。容易發現,函數在時(頻)域的離散對應於其像函數在頻(時)域的周期性。反之連續則意味着在對應域的信號的非周期性。下表給出詳細的情形:
下面的表記錄了一些封閉形式的傅立葉變換。對於函數
f
(
x
)
{\displaystyle f(x)}
,
g
(
x
)
{\displaystyle g(x)}
和
h
(
x
)
{\displaystyle h(x)}
,它們的傅立葉變換分別表示為
f
^
{\displaystyle {\hat {f}}}
,
g
^
{\displaystyle {\hat {g}}}
和
h
^
{\displaystyle {\hat {h}}}
。只包含了三種最常見的形式。注意條目105給出了一個函數的傅里葉變換與其原函數,這可以看作是傅里葉變換及其逆變換的關係。
下表列出的常用的傅里葉變換對可以在Erdélyi (1954) 或Kammler (2000 ,appendix)中找到。
函數
傅立葉變換 么正,普通的頻率
傅立葉變換 么正,角頻率
傅立葉變換 非么正,角頻率
注釋
f
(
x
)
{\displaystyle \displaystyle f(x)\,}
f
^
(
ξ
)
=
{\displaystyle \displaystyle {\hat {f}}(\xi )=}
∫
−
∞
∞
f
(
x
)
e
−
2
π
i
x
ξ
d
x
{\displaystyle \displaystyle \int _{-\infty }^{\infty }f(x)e^{-2\pi ix\xi }\,dx}
f
^
(
ω
)
=
{\displaystyle \displaystyle {\hat {f}}(\omega )=}
1
2
π
∫
−
∞
∞
f
(
x
)
e
−
i
ω
x
d
x
{\displaystyle \displaystyle {\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }f(x)e^{-i\omega x}\,dx}
f
^
(
ν
)
=
{\displaystyle \displaystyle {\hat {f}}(\nu )=}
∫
−
∞
∞
f
(
x
)
e
−
i
ν
x
d
x
{\displaystyle \displaystyle \int _{-\infty }^{\infty }f(x)e^{-i\nu x}\,dx}
基本定義
101
a
⋅
f
(
x
)
+
b
⋅
g
(
x
)
{\displaystyle \displaystyle a\cdot f(x)+b\cdot g(x)\,}
a
⋅
f
^
(
ξ
)
+
b
⋅
g
^
(
ξ
)
{\displaystyle \displaystyle a\cdot {\hat {f}}(\xi )+b\cdot {\hat {g}}(\xi )\,}
a
⋅
f
^
(
ω
)
+
b
⋅
g
^
(
ω
)
{\displaystyle \displaystyle a\cdot {\hat {f}}(\omega )+b\cdot {\hat {g}}(\omega )\,}
a
⋅
f
^
(
ν
)
+
b
⋅
g
^
(
ν
)
{\displaystyle \displaystyle a\cdot {\hat {f}}(\nu )+b\cdot {\hat {g}}(\nu )\,}
線性性質
102
f
(
x
−
a
)
{\displaystyle \displaystyle f(x-a)\,}
e
−
2
π
i
a
ξ
f
^
(
ξ
)
{\displaystyle \displaystyle e^{-2\pi ia\xi }{\hat {f}}(\xi )\,}
e
−
i
a
ω
f
^
(
ω
)
{\displaystyle \displaystyle e^{-ia\omega }{\hat {f}}(\omega )\,}
e
−
i
a
ν
f
^
(
ν
)
{\displaystyle \displaystyle e^{-ia\nu }{\hat {f}}(\nu )\,}
時域平移
103
e
2
π
i
a
x
f
(
x
)
{\displaystyle \displaystyle e^{2\pi iax}f(x)\,}
f
^
(
ξ
−
a
)
{\displaystyle \displaystyle {\hat {f}}\left(\xi -a\right)\,}
f
^
(
ω
−
2
π
a
)
{\displaystyle \displaystyle {\hat {f}}(\omega -2\pi a)\,}
f
^
(
ν
−
2
π
a
)
{\displaystyle \displaystyle {\hat {f}}(\nu -2\pi a)\,}
頻域平移,變換102的頻域對應
104
f
(
a
x
)
{\displaystyle \displaystyle f(ax)\,}
1
|
a
|
f
^
(
ξ
a
)
{\displaystyle \displaystyle {\frac {1}{|a|}}{\hat {f}}\left({\frac {\xi }{a}}\right)\,}
1
|
a
|
f
^
(
ω
a
)
{\displaystyle \displaystyle {\frac {1}{|a|}}{\hat {f}}\left({\frac {\omega }{a}}\right)\,}
1
|
a
|
f
^
(
ν
a
)
{\displaystyle \displaystyle {\frac {1}{|a|}}{\hat {f}}\left({\frac {\nu }{a}}\right)\,}
在時域中定標。如果
|
a
|
{\displaystyle \displaystyle |a|\,}
值較大,則
f
(
a
x
)
{\displaystyle \displaystyle f(ax)\,}
會收縮到原點附近,而
1
|
a
|
f
^
(
ω
a
)
{\displaystyle \displaystyle {\frac {1}{|a|}}{\hat {f}}\left({\frac {\omega }{a}}\right)\,}
會擴散並變得扁平。當
|
a
|
{\displaystyle \displaystyle |a|\,}
趨向無窮時,
f
(
a
x
)
{\displaystyle \displaystyle f(ax)\,}
成為狄拉克δ函數 。
105
f
^
(
x
)
{\displaystyle \displaystyle {\hat {f}}(x)\,}
f
(
−
ξ
)
{\displaystyle \displaystyle f(-\xi )\,}
f
(
−
ω
)
{\displaystyle \displaystyle f(-\omega )\,}
2
π
f
(
−
ν
)
{\displaystyle \displaystyle 2\pi f(-\nu )\,}
傅里葉變換的二元性性質。這裡
f
^
{\displaystyle {\hat {f}}}
的計算需要運用與傅里葉變換那一列同樣的方法。通過交換變量
x
{\displaystyle x}
和
ξ
{\displaystyle \xi }
或
ω
{\displaystyle \omega }
或
ν
{\displaystyle \nu }
得到。
106
d
n
f
(
x
)
d
x
n
{\displaystyle \displaystyle {\frac {d^{n}f(x)}{dx^{n}}}\,}
(
2
π
i
ξ
)
n
f
^
(
ξ
)
{\displaystyle \displaystyle (2\pi i\xi )^{n}{\hat {f}}(\xi )\,}
(
i
ω
)
n
f
^
(
ω
)
{\displaystyle \displaystyle (i\omega )^{n}{\hat {f}}(\omega )\,}
(
i
ν
)
n
f
^
(
ν
)
{\displaystyle \displaystyle (i\nu )^{n}{\hat {f}}(\nu )\,}
傅里葉變換的微分性質
107
x
n
f
(
x
)
{\displaystyle \displaystyle x^{n}f(x)\,}
(
i
2
π
)
n
d
n
f
^
(
ξ
)
d
ξ
n
{\displaystyle \displaystyle \left({\frac {i}{2\pi }}\right)^{n}{\frac {d^{n}{\hat {f}}(\xi )}{d\xi ^{n}}}\,}
i
n
d
n
f
^
(
ω
)
d
ω
n
{\displaystyle \displaystyle i^{n}{\frac {d^{n}{\hat {f}}(\omega )}{d\omega ^{n}}}}
i
n
d
n
f
^
(
ν
)
d
ν
n
{\displaystyle \displaystyle i^{n}{\frac {d^{n}{\hat {f}}(\nu )}{d\nu ^{n}}}}
變換106的頻域對應
108
(
f
∗
g
)
(
x
)
{\displaystyle \displaystyle (f*g)(x)\,}
f
^
(
ξ
)
g
^
(
ξ
)
{\displaystyle \displaystyle {\hat {f}}(\xi ){\hat {g}}(\xi )\,}
2
π
f
^
(
ω
)
g
^
(
ω
)
{\displaystyle \displaystyle {\sqrt {2\pi }}{\hat {f}}(\omega ){\hat {g}}(\omega )\,}
f
^
(
ν
)
g
^
(
ν
)
{\displaystyle \displaystyle {\hat {f}}(\nu ){\hat {g}}(\nu )\,}
記號
f
∗
g
{\displaystyle \displaystyle f*g\,}
表示
f
{\displaystyle f}
和
g
{\displaystyle g}
的卷積—這就是卷積定理
109
f
(
x
)
g
(
x
)
{\displaystyle \displaystyle f(x)g(x)\,}
(
f
^
∗
g
^
)
(
ξ
)
{\displaystyle \displaystyle ({\hat {f}}*{\hat {g}})(\xi )\,}
(
f
^
∗
g
^
)
(
ω
)
2
π
{\displaystyle \displaystyle ({\hat {f}}*{\hat {g}})(\omega ) \over {\sqrt {2\pi }}\,}
1
2
π
(
f
^
∗
g
^
)
(
ν
)
{\displaystyle \displaystyle {\frac {1}{2\pi }}({\hat {f}}*{\hat {g}})(\nu )\,}
變換108的頻域對應。
110
當
f
(
x
)
{\displaystyle \displaystyle f(x)}
是實變函數
f
^
(
−
ξ
)
=
f
^
(
ξ
)
¯
{\displaystyle \displaystyle {\hat {f}}(-\xi )={\overline {{\hat {f}}(\xi )}}\,}
f
^
(
−
ω
)
=
f
^
(
ω
)
¯
{\displaystyle \displaystyle {\hat {f}}(-\omega )={\overline {{\hat {f}}(\omega )}}\,}
f
^
(
−
ν
)
=
f
^
(
ν
)
¯
{\displaystyle \displaystyle {\hat {f}}(-\nu )={\overline {{\hat {f}}(\nu )}}\,}
埃爾米特對稱。
z
¯
{\displaystyle \displaystyle {\overline {z}}\,}
表示復共軛 。
111
當
f
(
x
)
{\displaystyle \displaystyle f(x)}
是實偶函數
f
^
(
ω
)
{\displaystyle \displaystyle {\hat {f}}(\omega )}
,
f
^
(
ξ
)
{\displaystyle \displaystyle {\hat {f}}(\xi )}
和
f
^
(
ν
)
{\displaystyle \displaystyle {\hat {f}}(\nu )\,}
都是實偶函數 。
112
當
f
(
x
)
{\displaystyle \displaystyle f(x)}
是實奇函數
f
^
(
ω
)
{\displaystyle \displaystyle {\hat {f}}(\omega )}
,
f
^
(
ξ
)
{\displaystyle \displaystyle {\hat {f}}(\xi )}
和
f
^
(
ν
)
{\displaystyle \displaystyle {\hat {f}}(\nu )}
都是虛 奇函數 。
113
f
(
x
)
¯
{\displaystyle \displaystyle {\overline {f(x)}}}
f
^
(
−
ξ
)
¯
{\displaystyle \displaystyle {\overline {{\hat {f}}(-\xi )}}}
f
^
(
−
ω
)
¯
{\displaystyle \displaystyle {\overline {{\hat {f}}(-\omega )}}}
f
^
(
−
ν
)
¯
{\displaystyle \displaystyle {\overline {{\hat {f}}(-\nu )}}}
復共軛 ,110的一般化
時域信號
角頻率表示的 傅里葉變換
弧頻率表示的 傅里葉變換
注釋
g
(
t
)
≡
{\displaystyle g(t)\!\equiv \!}
1
2
π
∫
−
∞
∞
G
(
ω
)
e
i
ω
t
d
ω
{\displaystyle {\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }\!\!G(\omega )e^{i\omega t}\mathrm {d} \omega \,}
G
(
ω
)
≡
{\displaystyle G(\omega )\!\equiv \!}
1
2
π
∫
−
∞
∞
g
(
t
)
e
−
i
ω
t
d
t
{\displaystyle {\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }\!\!g(t)e^{-i\omega t}\mathrm {d} t\,}
G
(
f
)
≡
{\displaystyle G(f)\!\equiv }
∫
−
∞
∞
g
(
t
)
e
−
i
2
π
f
t
d
t
{\displaystyle \int _{-\infty }^{\infty }\!\!g(t)e^{-i2\pi ft}\mathrm {d} t\,}
10
r
e
c
t
(
a
t
)
{\displaystyle \mathrm {rect} (at)\,}
1
2
π
a
2
⋅
s
i
n
c
(
ω
2
π
a
)
{\displaystyle {\frac {1}{\sqrt {2\pi a^{2}}}}\cdot \mathrm {sinc} \left({\frac {\omega }{2\pi a}}\right)}
1
|
a
|
⋅
s
i
n
c
(
f
a
)
{\displaystyle {\frac {1}{|a|}}\cdot \mathrm {sinc} \left({\frac {f}{a}}\right)}
矩形脈衝 和歸一化的sinc函數
11
s
i
n
c
(
a
t
)
{\displaystyle \mathrm {sinc} (at)\,}
1
2
π
a
2
⋅
r
e
c
t
(
ω
2
π
a
)
{\displaystyle {\frac {1}{\sqrt {2\pi a^{2}}}}\cdot \mathrm {rect} \left({\frac {\omega }{2\pi a}}\right)}
1
|
a
|
⋅
r
e
c
t
(
f
a
)
{\displaystyle {\frac {1}{|a|}}\cdot \mathrm {rect} \left({\frac {f}{a}}\right)\,}
變換10的頻域對應。矩形函數是理想的低通濾波器,sinc函數 是這類濾波器對反因果 衝擊的響應。
12
s
i
n
c
2
(
a
t
)
{\displaystyle \mathrm {sinc} ^{2}(at)\,}
1
2
π
a
2
⋅
t
r
i
(
ω
2
π
a
)
{\displaystyle {\frac {1}{\sqrt {2\pi a^{2}}}}\cdot \mathrm {tri} \left({\frac {\omega }{2\pi a}}\right)}
1
|
a
|
⋅
t
r
i
(
f
a
)
{\displaystyle {\frac {1}{|a|}}\cdot \mathrm {tri} \left({\frac {f}{a}}\right)}
tri 是三角形函數
13
t
r
i
(
a
t
)
{\displaystyle \mathrm {tri} (at)\,}
1
2
π
a
2
⋅
s
i
n
c
2
(
ω
2
π
a
)
{\displaystyle {\frac {1}{\sqrt {2\pi a^{2}}}}\cdot \mathrm {sinc} ^{2}\left({\frac {\omega }{2\pi a}}\right)}
1
|
a
|
⋅
s
i
n
c
2
(
f
a
)
{\displaystyle {\frac {1}{|a|}}\cdot \mathrm {sinc} ^{2}\left({\frac {f}{a}}\right)\,}
變換12的頻域對應
14
e
−
α
t
2
{\displaystyle e^{-\alpha t^{2}}\,}
1
2
α
⋅
e
−
ω
2
4
α
{\displaystyle {\frac {1}{\sqrt {2\alpha }}}\cdot e^{-{\frac {\omega ^{2}}{4\alpha }}}}
π
α
⋅
e
−
(
π
f
)
2
α
{\displaystyle {\sqrt {\frac {\pi }{\alpha }}}\cdot e^{-{\frac {(\pi f)^{2}}{\alpha }}}}
高斯函數
exp
(
−
α
t
2
)
{\displaystyle \exp(-\alpha t^{2})}
的傅里葉變換是其本身;只有當
R
e
(
α
)
>
0
{\displaystyle \mathrm {Re} (\alpha )>0}
時,該函數可積的
15
e
i
a
t
2
=
e
−
α
t
2
|
α
=
−
i
a
{\displaystyle e^{iat^{2}}=\left.e^{-\alpha t^{2}}\right|_{\alpha =-ia}\,}
1
2
a
⋅
e
−
i
(
ω
2
4
a
−
π
4
)
{\displaystyle {\frac {1}{\sqrt {2a}}}\cdot e^{-i\left({\frac {\omega ^{2}}{4a}}-{\frac {\pi }{4}}\right)}}
π
a
⋅
e
−
i
(
π
2
f
2
a
−
π
4
)
{\displaystyle {\sqrt {\frac {\pi }{a}}}\cdot e^{-i\left({\frac {\pi ^{2}f^{2}}{a}}-{\frac {\pi }{4}}\right)}}
光學 領域應用較多
16
cos
(
a
t
2
)
{\displaystyle \cos(at^{2})\,}
1
2
a
cos
(
ω
2
4
a
−
π
4
)
{\displaystyle {\frac {1}{\sqrt {2a}}}\cos \left({\frac {\omega ^{2}}{4a}}-{\frac {\pi }{4}}\right)}
π
a
cos
(
π
2
f
2
a
−
π
4
)
{\displaystyle {\sqrt {\frac {\pi }{a}}}\cos \left({\frac {\pi ^{2}f^{2}}{a}}-{\frac {\pi }{4}}\right)}
17
sin
(
a
t
2
)
{\displaystyle \sin(at^{2})\,}
−
1
2
a
sin
(
ω
2
4
a
−
π
4
)
{\displaystyle {\frac {-1}{\sqrt {2a}}}\sin \left({\frac {\omega ^{2}}{4a}}-{\frac {\pi }{4}}\right)}
−
π
a
sin
(
π
2
f
2
a
−
π
4
)
{\displaystyle -{\sqrt {\frac {\pi }{a}}}\sin \left({\frac {\pi ^{2}f^{2}}{a}}-{\frac {\pi }{4}}\right)}
18
e
−
a
|
t
|
{\displaystyle \mathrm {e} ^{-a|t|}\,}
2
π
⋅
a
a
2
+
ω
2
{\displaystyle {\sqrt {\frac {2}{\pi }}}\cdot {\frac {a}{a^{2}+\omega ^{2}}}}
2
a
a
2
+
4
π
2
f
2
{\displaystyle {\frac {2a}{a^{2}+4\pi ^{2}f^{2}}}}
a>0
19
1
|
t
|
{\displaystyle {\frac {1}{\sqrt {|t|}}}\,}
1
|
ω
|
{\displaystyle {\frac {1}{\sqrt {|\omega |}}}}
1
|
f
|
{\displaystyle {\frac {1}{\sqrt {|f|}}}}
變換本身就是一個公式
20
J
0
(
t
)
{\displaystyle J_{0}(t)\,}
2
π
⋅
r
e
c
t
(
ω
2
)
1
−
ω
2
{\displaystyle {\sqrt {\frac {2}{\pi }}}\cdot {\frac {\mathrm {rect} \left({\frac {\omega }{2}}\right)}{\sqrt {1-\omega ^{2}}}}}
2
⋅
r
e
c
t
(
π
f
)
1
−
4
π
2
f
2
{\displaystyle {\frac {2\cdot \mathrm {rect} (\pi f)}{\sqrt {1-4\pi ^{2}f^{2}}}}}
J0 (t) 是0階第一類貝塞爾函數 。
21
J
n
(
t
)
{\displaystyle J_{n}(t)\,}
2
π
(
−
i
)
n
T
n
(
ω
)
r
e
c
t
(
ω
2
)
1
−
ω
2
{\displaystyle {\sqrt {\frac {2}{\pi }}}{\frac {(-i)^{n}T_{n}(\omega )\mathrm {rect} \left({\frac {\omega }{2}}\right)}{\sqrt {1-\omega ^{2}}}}}
2
(
−
i
)
n
T
n
(
2
π
f
)
r
e
c
t
(
π
f
)
1
−
4
π
2
f
2
{\displaystyle {\frac {2(-i)^{n}T_{n}(2\pi f)\mathrm {rect} (\pi f)}{\sqrt {1-4\pi ^{2}f^{2}}}}}
上一個變換的推廣形式; Tn (t) 是第一類切比雪夫多項式 。
22
J
n
(
t
)
t
{\displaystyle {\frac {J_{n}(t)}{t}}\,}
2
π
i
n
(
−
i
)
n
⋅
U
n
−
1
(
ω
)
{\displaystyle {\sqrt {\frac {2}{\pi }}}{\frac {i}{n}}(-i)^{n}\cdot U_{n-1}(\omega )\,}
⋅
1
−
ω
2
r
e
c
t
(
ω
2
)
{\displaystyle \cdot \ {\sqrt {1-\omega ^{2}}}\mathrm {rect} \left({\frac {\omega }{2}}\right)}
2
i
n
(
−
i
)
n
⋅
U
n
−
1
(
2
π
f
)
{\displaystyle {\frac {2\mathrm {i} }{n}}(-i)^{n}\cdot U_{n-1}(2\pi f)\,}
⋅
1
−
4
π
2
f
2
r
e
c
t
(
π
f
)
{\displaystyle \cdot \ {\sqrt {1-4\pi ^{2}f^{2}}}\mathrm {rect} (\pi f)}
Un (t) 是第二類切比雪夫多項式 。
時域信號
角頻率表示的 傅里葉變換
弧頻率表示的 傅里葉變換
注釋
g
(
t
)
≡
{\displaystyle g(t)\!\equiv \!}
1
2
π
∫
−
∞
∞
G
(
ω
)
e
i
ω
t
d
ω
{\displaystyle {\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }\!\!G(\omega )e^{i\omega t}d\omega \,}
G
(
ω
)
≡
{\displaystyle G(\omega )\!\equiv \!}
1
2
π
∫
−
∞
∞
g
(
t
)
e
−
i
ω
t
d
t
{\displaystyle {\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }\!\!g(t)e^{-i\omega t}dt\,}
G
(
f
)
≡
{\displaystyle G(f)\!\equiv }
∫
−
∞
∞
g
(
t
)
e
−
i
2
π
f
t
d
t
{\displaystyle \int _{-\infty }^{\infty }\!\!g(t)e^{-i2\pi ft}dt\,}
基本定義
23
1
{\displaystyle 1\,}
2
π
⋅
δ
(
ω
)
{\displaystyle {\sqrt {2\pi }}\cdot \delta (\omega )\,}
δ
(
f
)
{\displaystyle \delta (f)\,}
δ
(
ω
)
{\displaystyle \delta (\omega )}
代表狄拉克δ函數 分布.這個變換展示了狄拉克δ函數的重要性:該函數是常函數的傅立葉變換
24
δ
(
t
)
{\displaystyle \delta (t)\,}
1
2
π
{\displaystyle {\frac {1}{\sqrt {2\pi }}}\,}
1
{\displaystyle 1\,}
變換23的頻域對應
25
e
i
a
t
{\displaystyle e^{iat}\,}
2
π
⋅
δ
(
ω
−
a
)
{\displaystyle {\sqrt {2\pi }}\cdot \delta (\omega -a)\,}
δ
(
f
−
a
2
π
)
{\displaystyle \delta (f-{\frac {a}{2\pi }})\,}
由變換103和23得到
26
cos
(
a
t
)
{\displaystyle \cos(at)\,}
2
π
δ
(
ω
−
a
)
+
δ
(
ω
+
a
)
2
{\displaystyle {\sqrt {2\pi }}{\frac {\delta (\omega \!-\!a)\!+\!\delta (\omega \!+\!a)}{2}}\,}
δ
(
f
−
a
2
π
)
+
δ
(
f
+
a
2
π
)
2
{\displaystyle {\frac {\delta (f\!-\!{\begin{matrix}{\frac {a}{2\pi }}\end{matrix}})\!+\!\delta (f\!+\!{\begin{matrix}{\frac {a}{2\pi }}\end{matrix}})}{2}}\,}
由變換101和25得到,應用了歐拉公式 :
cos
(
a
t
)
=
(
e
i
a
t
+
e
−
i
a
t
)
/
2.
{\displaystyle \cos(at)=(e^{iat}+e^{-iat})/2.}
27
sin
(
a
t
)
{\displaystyle \sin(at)\,}
2
π
δ
(
ω
−
a
)
−
δ
(
ω
+
a
)
2
i
{\displaystyle {\sqrt {2\pi }}{\frac {\delta (\omega \!-\!a)\!-\!\delta (\omega \!+\!a)}{2i}}\,}
δ
(
f
−
a
2
π
)
−
δ
(
f
+
a
2
π
)
2
i
{\displaystyle {\frac {\delta (f\!-\!{\begin{matrix}{\frac {a}{2\pi }}\end{matrix}})\!-\!\delta (f\!+\!{\begin{matrix}{\frac {a}{2\pi }}\end{matrix}})}{2i}}\,}
由變換101和25得到
28
t
n
{\displaystyle t^{n}\,}
i
n
2
π
δ
(
n
)
(
ω
)
{\displaystyle i^{n}{\sqrt {2\pi }}\delta ^{(n)}(\omega )\,}
(
i
2
π
)
n
δ
(
n
)
(
f
)
{\displaystyle \left({\frac {i}{2\pi }}\right)^{n}\delta ^{(n)}(f)\,}
這裡,
n
{\displaystyle n}
是一個自然數 .
δ
(
n
)
(
ω
)
{\displaystyle \delta ^{(n)}(\omega )}
是狄拉克δ函數分布的
n
{\displaystyle n}
階微分。這個變換是根據變換107和24得到的。將此變換與101結合使用,我們可以變換所有多項式 函數。
29
1
t
{\displaystyle {\frac {1}{t}}\,}
−
i
π
2
sgn
(
ω
)
{\displaystyle -i{\sqrt {\frac {\pi }{2}}}\operatorname {sgn}(\omega )\,}
−
i
π
⋅
sgn
(
f
)
{\displaystyle -i\pi \cdot \operatorname {sgn}(f)\,}
此處
sgn
(
ω
)
{\displaystyle \operatorname {sgn}(\omega )}
為符號函數 ;注意此變換與變換107和24是一致的.
30
1
t
n
{\displaystyle {\frac {1}{t^{n}}}\,}
−
i
π
2
⋅
(
−
i
ω
)
n
−
1
(
n
−
1
)
!
sgn
(
ω
)
{\displaystyle -i{\begin{matrix}{\sqrt {\frac {\pi }{2}}}\cdot {\frac {(-i\omega )^{n-1}}{(n-1)!}}\end{matrix}}\operatorname {sgn}(\omega )\,}
−
i
π
(
−
i
2
π
f
)
n
−
1
(
n
−
1
)
!
sgn
(
f
)
{\displaystyle -i\pi {\begin{matrix}{\frac {(-i2\pi f)^{n-1}}{(n-1)!}}\end{matrix}}\operatorname {sgn}(f)\,}
變換29的推廣
31
sgn
(
t
)
{\displaystyle \operatorname {sgn}(t)\,}
2
π
⋅
1
i
ω
{\displaystyle {\sqrt {\frac {2}{\pi }}}\cdot {\frac {1}{i\ \omega }}\,}
1
i
π
f
{\displaystyle {\frac {1}{i\pi f}}\,}
變換29的頻域對應
32
u
(
t
)
{\displaystyle u(t)\,}
π
2
(
1
i
π
ω
+
δ
(
ω
)
)
{\displaystyle {\sqrt {\frac {\pi }{2}}}\left({\frac {1}{i\pi \omega }}+\delta (\omega )\right)\,}
1
2
(
1
i
π
f
+
δ
(
f
)
)
{\displaystyle {\frac {1}{2}}\left({\frac {1}{i\pi f}}+\delta (f)\right)\,}
此處
u
(
t
)
{\displaystyle u(t)}
是單位階躍函數 ;此變換根據變換101和31得到.
33
e
−
a
t
u
(
t
)
{\displaystyle e^{-at}u(t)\,}
1
2
π
(
a
+
i
ω
)
{\displaystyle {\frac {1}{{\sqrt {2\pi }}(a+i\omega )}}}
1
a
+
i
2
π
f
{\displaystyle {\frac {1}{a+i2\pi f}}}
u
(
t
)
{\displaystyle u(t)}
是單位階躍函數 ,且
a
>
0
{\displaystyle a>0}
.
34
∑
n
=
−
∞
∞
δ
(
t
−
n
T
)
{\displaystyle \sum _{n=-\infty }^{\infty }\delta (t-nT)\,}
2
π
T
∑
k
=
−
∞
∞
δ
(
ω
−
k
2
π
T
)
{\displaystyle {\begin{matrix}{\frac {\sqrt {2\pi }}{T}}\end{matrix}}\sum _{k=-\infty }^{\infty }\delta \left(\omega -k{\begin{matrix}{\frac {2\pi }{T}}\end{matrix}}\right)\,}
1
T
∑
k
=
−
∞
∞
δ
(
f
−
k
T
)
{\displaystyle {\frac {1}{T}}\sum _{k=-\infty }^{\infty }\delta \left(f-{\frac {k}{T}}\right)\,}
狄拉克梳狀函數 ——有助於解釋或理解從連續到離散時間 的轉變.
時域信號
傅立葉變換 單一,普通頻率
傅立葉變換 么正,角頻率
傅立葉變換 非么正,角頻率
400
f
(
x
,
y
)
{\displaystyle \displaystyle f(x,y)}
f
^
(
ξ
x
,
ξ
y
)
=
{\displaystyle \displaystyle {\hat {f}}(\xi _{x},\xi _{y})=}
∬
f
(
x
,
y
)
e
−
2
π
i
(
ξ
x
x
+
ξ
y
y
)
d
x
d
y
{\displaystyle \displaystyle \iint f(x,y)e^{-2\pi i(\xi _{x}x+\xi _{y}y)}\,dx\,dy}
f
^
(
ω
x
,
ω
y
)
=
{\displaystyle \displaystyle {\hat {f}}(\omega _{x},\omega _{y})=}
1
2
π
∬
f
(
x
,
y
)
e
−
i
(
ω
x
x
+
ω
y
y
)
d
x
d
y
{\displaystyle \displaystyle {\frac {1}{2\pi }}\iint f(x,y)e^{-i(\omega _{x}x+\omega _{y}y)}\,dx\,dy}
f
^
(
ν
x
,
ν
y
)
=
{\displaystyle \displaystyle {\hat {f}}(\nu _{x},\nu _{y})=}
∬
f
(
x
,
y
)
e
−
i
(
ν
x
x
+
ν
y
y
)
d
x
d
y
{\displaystyle \displaystyle \iint f(x,y)e^{-i(\nu _{x}x+\nu _{y}y)}\,dx\,dy}
401
e
−
π
(
a
2
x
2
+
b
2
y
2
)
{\displaystyle \displaystyle e^{-\pi \left(a^{2}x^{2}+b^{2}y^{2}\right)}}
1
|
a
b
|
e
−
π
(
ξ
x
2
/
a
2
+
ξ
y
2
/
b
2
)
{\displaystyle \displaystyle {\frac {1}{|ab|}}e^{-\pi \left(\xi _{x}^{2}/a^{2}+\xi _{y}^{2}/b^{2}\right)}}
1
2
π
⋅
|
a
b
|
e
−
(
ω
x
2
/
a
2
+
ω
y
2
/
b
2
)
4
π
{\displaystyle \displaystyle {\frac {1}{2\pi \cdot |ab|}}e^{\frac {-\left(\omega _{x}^{2}/a^{2}+\omega _{y}^{2}/b^{2}\right)}{4\pi }}}
1
|
a
b
|
e
−
(
ν
x
2
/
a
2
+
ν
y
2
/
b
2
)
4
π
{\displaystyle \displaystyle {\frac {1}{|ab|}}e^{\frac {-\left(\nu _{x}^{2}/a^{2}+\nu _{y}^{2}/b^{2}\right)}{4\pi }}}
402
c
i
r
c
(
x
2
+
y
2
)
{\displaystyle \displaystyle \mathrm {circ} ({\sqrt {x^{2}+y^{2}}})}
J
1
(
2
π
ξ
x
2
+
ξ
y
2
)
ξ
x
2
+
ξ
y
2
{\displaystyle \displaystyle {\frac {J_{1}\left(2\pi {\sqrt {\xi _{x}^{2}+\xi _{y}^{2}}}\right)}{\sqrt {\xi _{x}^{2}+\xi _{y}^{2}}}}}
J
1
(
ω
x
2
+
ω
y
2
)
ω
x
2
+
ω
y
2
{\displaystyle \displaystyle {\frac {J_{1}\left({\sqrt {\omega _{x}^{2}+\omega _{y}^{2}}}\right)}{\sqrt {\omega _{x}^{2}+\omega _{y}^{2}}}}}
2
π
J
1
(
ν
x
2
+
ν
y
2
)
ν
x
2
+
ν
y
2
{\displaystyle \displaystyle {\frac {2\pi J_{1}\left({\sqrt {\nu _{x}^{2}+\nu _{y}^{2}}}\right)}{\sqrt {\nu _{x}^{2}+\nu _{y}^{2}}}}}
注釋
400: 變量
ξ
x
{\displaystyle \xi _{x}}
、
ξ
y
{\displaystyle \xi _{y}}
、
ω
x
{\displaystyle \omega _{x}}
、
ω
y
{\displaystyle \omega _{y}}
、
ν
x
{\displaystyle \nu _{x}}
、
ν
y
{\displaystyle \nu _{y}}
為實數。二重積分是對整個平面積分。
401: 這兩個函數都是高斯函數 ,而且可能不具有單位體積。
402: 此圓有單位半徑,如果把
circ
(
t
)
{\displaystyle {\text{circ}}(t)}
認作階梯函數
u
(
1
−
t
)
{\displaystyle u(1-t)}
; Airy分布用
J
1
{\displaystyle J_{1}}
(一階第一類貝塞爾函數 )表達。(Stein & Weiss 1971 ,Thm. IV.3.3) harv error: no target: CITEREFSteinWeiss1971 (help )
時域信號
角頻率表示的 傅里葉變換
弧頻率表示的 傅里葉變換
注釋
c
i
r
c
(
x
2
+
y
2
+
z
2
)
{\displaystyle \mathrm {circ} ({\sqrt {x^{2}+y^{2}+z^{2}}})}
2
π
⋅
sin
[
ω
]
−
2
π
f
r
cos
[
ω
]
ω
3
{\displaystyle {\sqrt {\frac {2}{\pi }}}\cdot {\frac {\sin[\omega ]-2\pi f_{r}\cos[\omega ]}{\omega ^{3}}}}
4
π
sin
[
2
π
f
r
]
−
2
π
f
r
cos
[
2
π
f
r
]
(
2
π
f
r
)
3
{\displaystyle 4\pi {\frac {\sin[2\pi f_{r}]-2\pi f_{r}\cos[2\pi f_{r}]}{(2\pi f_{r})^{3}}}}
此球有單位半徑;fr 是頻率矢量的量值{fx ,fy ,fz }.
^ 1.0 1.1 1.2 FourierParameters - Wolfram Language Documentation . Wolfram Language Documentation. [2024-03-02 ] . (原始內容存檔 於2024-04-20).
^ 2.0 2.1 Stein, Elias M.; Shakarchi, Rami; Stein, Elias M. Fourier analysis: An introduction. Princeton lectures in analysis / Elias M. Stein & Rami Shakarchi. Princeton Oxford: Princeton University Press. 2003: 132–134. ISBN 978-0-691-11384-5 .
^ Stein, Elias M.; Shakarchi, Rami. Real Analysis: Measure theory, Integration, and Hilbert spaces. Princeton lectures in analysis. Princeton University Press: Princeton university press. 2005: 87–87. ISBN 978-0-691-11386-9 .
^ 張, 恭慶. 泛函分析讲义(上册) 2021年5月第1次印刷. 北京: 北京大學出版社. 2021: 284–284. ISBN 978-7-301-00489-0 .
^ Stein, Elias M.; Shakarchi, Rami. Functional analysis: introduction to further topics in analysis. Princeton lectures in analysis. Princeton: Princeton university press. 2011: 108–108. ISBN 978-0-691-11387-6 .
^ Weinberg, Steven. The quantum theory of fields 1 . Cambridge: Cambridge University. 2005-05-09. ISBN 978-0-521-67053-1 .
Ronald Newbold Bracewell. The Fourier Transform and Its Applications [傅里葉變換及其應用] 3. Boston: McGraw Hill . 2000 (英語) .
陳錫冠, 曾致煌. 工程數學. 高立出版社. ISBN 957-584-377-0 (中文(臺灣)) . .
Erdélyi, Arthur (編), Tables of Integral Transforms [積分變換表] 1 , New York: McGraw-Hill, 1954 (英語)
Kammler, David, A First Course in Fourier Analysis [傅立葉分析入門課程], Prentice Hall , 2000, ISBN 0-13-578782-3 (英語)
Stein, Elias ; Weiss, Guido, Introduction to Fourier Analysis on Euclidean Spaces [歐幾里得空間上的傅立葉分析導論] , Princeton, N.J.: Princeton University Press , 1971 [2014-10-31 ] , ISBN 978-0-691-08078-9 , (原始內容存檔 於2014-03-28) (英語) .
Stein, Elias; Rami, Shakarchi, Fourier Analysis: An Introduction [傅立葉分析:導論], Princeton Lectures in Analysis 1, Princeton University Press, 2003, ISBN 0-691-11384-X (英語) .
Stein, Elias; Rami, Shakarchi, Fourier Analysis: An Introduction [傅立葉分析導論], 數學經典英文教材系列 1, 中國世界圖書出版公司 , 2006, ISBN 9787506272872 (英語) (影印版).