定義
對於不同種類的函數,有一些不同版本的傅立葉轉換的定義。對於定義在歐幾里得空間
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模板錯誤: 無指向目標: CITEREFSteinWeiss1971 (幫助 )
三元函數
時域信號
角頻率表示的 傅立葉轉換
弧頻率表示的 傅立葉轉換
註釋
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 (英語) (影印版).
外部連結