对于不同种类的函数,有一些不同版本的傅里叶变换的定义。对于定义在欧几里得空间
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 (英语) (影印版).