傅里叶变换
傅里叶变换(法語:,英語:,缩写:FT)是一种线性变换,通常定义为一种积分变换。其基本思想是一个函数可以用(可数或不可数,可数的情况对应于傅里叶级数)无穷多个周期函数的线性组合来逼近,从而这些组合系数在保有原函数的几乎全部信息的同时,还直接地反映了该函数的“頻域特征”。
因其基本思想首先由法国学者约瑟夫·傅里叶系统地提出,所以以其名字来命名以示纪念。在现代数学理论中,傅里叶积分变换可以得到各种推广,并在分析学中有广泛应用,构成了調和分析这一数学领域。
经过傅里叶变换生成的函数 称作原函数 的傅里叶变换,应用意义上称作频谱。在特定情況下,傅里叶变换是可逆的,即将 通过逆变换可以得到其原函数 。通常情况下, 是一个实函数,而 则是一个复数值函数,其函数值作为复数可同时表示振幅和相位。
定义
对于不同种类的函数,有一些不同版本的傅里叶变换的定义。对于定义在欧几里得空间 上的函数,可给出通常的连续傅里叶变换;对于定义在 维环面 上的函数,或者说周期函数,就给出傅里叶级数。进行傅里叶变换的函数的定义域可以推广到拓扑群,如局部紧交换群。
若「傅里叶变换」一词不加任何限定语,则往往是指所谓「连续傅里叶变换」,下文我们默认讨论连续傅里叶变换。其他的常见变种列于傅里叶变换的其他变种一节。
傅里叶积分变换
对于一个多实变量的复函数 ,其傅里叶变换的结果(记作 或 )最广为人知的定义方式是下面的傅里叶积分
称为傅里叶积分变换。值得一提的是,不同的作者可能在定义中对积分号前的系数 和指数上的系数 进行调整,不同领域有不同的惯用约定[1],参见变换参数的常见约定。
许多情况下,还可以定义另一个积分变换 :
且如记号所暗示的那样,它称作傅里叶积分逆变换,也就是说满足 。
以上的定义并不总是有效。
比如,若某函数的傅里叶积分不收敛,则这一版本的傅里叶变换对其就无法定义;即便傅里叶积分收敛,所得的函数的积分逆变换也可能不收敛;或者这两个变换不是上面所希望的互逆关系。所以须了解对于什么样的函数可进行傅里叶变换,并且满足不同假定的函数的傅里叶变换可能有不同性质。
另外,可以进行上述积分变换的函数太少,如 这样的常值函数或各种多项式函数都无法使用上面的积分定义,这些情况对于信号频域分析等直接应用而言也是十分重要的,因而希望推广其定义。这就是下面几个小节的主题。
收敛性
对于一个 上的连续函数 而言,要使其黎曼积分收敛,主要需限制其在趋向无穷远时的衰减速度。为使前述傅里叶积分收敛,可以考虑使得 有界的连续函数 ,其中 。容易验证这些函数在通常加法和数乘下构成一个向量空间,记作 。这些函数都是黎曼可積的[2],并且乘上模为1的指数函数所得函数仍在 中,也就是说其傅里叶积分也是收敛的。
速降函数
上的傅里叶变换已具备许多良好的性质。然而,由于未必有 ,所以 可能不具可逆性。一些分析表明, 趋向无穷远时的衰减行为与 的连续性与可微性有关:为使 更快地衰减, 应具有更好的光滑性,反过来也一样[2]。这启发我们研究所谓速降函数,其任意阶导数的衰减速度都快于任意负幂次函数,其构成的向量空间称为速降函数空间,记作 。速降函数的傅里叶变换仍是速降函数,那么上面的积分逆变换可以定义在整个 上。可以证明该积分确实是逆变换,于是傅里叶积分变换是 上的一个自同构。
勒贝格积分与勒贝格可积函数
上述积分变换是基于黎曼积分的。然而相比之下,使用基于测度的勒貝格積分来定义傅里叶积分变换有许多的优势。下文提到傅里叶积分变换时都默认是勒贝格积分意义上的。
上全体勒贝格可积的函数构成的向量空间记作 或此处省略地记为 ,其是Lp空间的一种。对于勒贝格可积函数 而言,由于 , 也是勒贝格可积的,也就是说傅里叶积分变换在 上有定义。
一般来说可积函数 的傅里叶变换 未必是可积的。但对于其中可积的 可以证明[3],积分逆变换
对于 幾乎處處收敛于 。
平方可积函数
对于勒贝格积分定义的傅里叶积分变换而言,它仍是速降函数空间 上的自同构。更具体地说,这是一个連續线性等距自同构(可查阅连续线性算子以了解可能导出的其他性质;另,这里所涉及的范数是L2范数)。
一个重要的事实是, 在平方可積函數空间 中稠密,而 是一个希尔伯特空间。这意味着 上的任一连续线性算子可以扩张到 上且保持连续性,且这样的扩张唯一。也就是说,若可找到速降函数序列 收敛于一个平方可积函数 ,那么 的傅里叶变换可定义为序列 的极限,而不产生收敛性与对 选择的依赖问题。
更进一步地,这个扩张还可以保持等距同构性质,在 上满足这一性质意味着傅里叶变换是一个幺正算子,这就是普朗歇尔定理的内容。
这一变换并不对于所有的平方可积函数都具有一个积分定义式,对于补集 中的函数则需要通过极限来定义。故不再称其为积分变换,而是称为傅里叶-普朗歇尔变换或简单称为傅里叶变换或普朗歇尔变换。
缓增分布
如前面所提到的,非零多项式函数不是可积或平方可积的,从而无法使用上面的方法来定义傅里叶变换。这一点可以通过考虑缓增分布来解决。
分布(也称为是一种广义函数)是测试函数空间上的连续线性泛函(即,该空间的連續對偶空間的成员)。而缓增分布则是以速降函数为测试函数的情况。[註 1]而缓增分布则是以速降函数为测试函数的情况。
缓增分布 的傅里叶变换 定义为[5]
也就是说,若记 上的傅里叶变换为 、 的连续对偶空间为 ,则 的共轭算子 在 上的限制就是缓增分布的傅里叶变换。
这个变换也是可逆的,并且在某种意义上是 的扩张,也就是说可以用它来变换的函数比 中的更多。为说明这一点,下面在一维情况下举些例子。
例子
对于速降函数 ,其有这样唯一一个由积分定义的连续线性泛函 与之对应(这一点实际上只需局部可积函数):
现在对其做傅里叶变换,得到
其中第二个等号源于 的如下性质(由富比尼定理易证):
由此可看出线性泛函 以前述的方式唯一对应于函数 (唯一性在这样意义上理解:对应相同线性泛函的函数几乎处处相等)。在这个意义上它对于 是与 的定义相重合的。
然而并非所有连续线性泛函都有这样的积分表示,如所谓求值泛函。0处的求值泛函作用于每个函数时,都给出该函数在0处的值:
它正是所谓狄拉克δ函数,其傅里叶变换满足
而这正是常值函数 如前述方式对应的线性泛函 。也就是说在这个意义上,狄拉克δ“函数”的傅里叶变换是 。从频谱意义上理解,这意味着常值函数的频谱集中在零频率处(或者说周期无穷大) 的情况。
变换参数的常见约定
如前面提到的,傅里叶积分变换中有可调整的参数,对它们的调整不会造成变换性质的显著变化,而仅仅是对变换结果的定义域或值域进行了放缩。通过显式地引入参数 ,傅里叶积分变换的通式可以写为[1]
相应的满足 的逆变换定义为
编号 | 选择 | 特性 |
---|---|---|
1 | 变换与逆变换有相同的前置因子,且变换是幺正的 | |
2 | 正变换没有前置因子 | |
3 | 逆变换没有前置因子 | |
4 | 变换的自变量 对应于角频率 | |
5 | 变换的自变量 对应于频率 | |
6 | 贡献正频率部分的谱 | |
7 | 贡献正频率部分的谱 |
一些选择组合因同时满足上面多个特性或在特定领域中自然出现而变得常见,列在下表。
编号 | a | b | 满足特性 | 场景 |
---|---|---|---|---|
1 | 0 | 1 | 1、4、7 | 现代物理 |
2 | 1 | -1 | 2、4、6 | 纯数学、系统工程 |
3 | -1 | 1 | 3、4、7 | 传统物理 |
4 | 0 | 1、2、3、5、6 | 信号处理 |
本节中使用的约定是 。
基本性质
下面性质的更直观的写法可参见常用傅里叶变换表。
线性性质
傅里叶变换是线性映射。也就是说对于 也存在
平移性质
可定义函数间的映射 满足
称为平移算子。其可以推广到缓增分布上,定义为共轭算子 ,也就是说对于
其中省略了表示平移算子作用于函数所需的括号。下文不再区分函数与分布的平移,采用相同记号。
傅里叶变换与平移算子满足如下关系:
反过来,对于函数 ,也有 。
也就是说平移与相移相关联。
放缩性质
的情况即给出所谓反射性质。
导数关系
傅里叶变换与导数算子满足如下关系:
其中 是高阶导数,多元情况则一般化为多重指标。
反过来,对于函数 ,也有 。
也就是说求导在乘上频率是相关联的。
这里的导数算子也可以是缓增分布的导数算子,同样由共轭算子定义为 。
卷积定理
若函数 有傅里叶变换,且存在卷积 ,则该卷积的傅里叶变换即 。
也可以推广地定义分布 与测试函数 的卷积,这时同样有 。
帕塞瓦尔定理
上的傅里叶变换是等距映射。或者说,若函数 平方可積,则 。
黎曼-勒贝格定理
傅里叶变换的其他变种
傅里叶级数
连续形式的傅里叶变换其实是傅里叶级数(Fourier series)的推广,因为积分其实是一种极限形式的求和算子而已。对于周期函数,其傅里叶级数是存在的:
其中为复振幅。对于实值函数,函数的傅里叶级数可以写成:
其中an和bn是实频率分量的振幅。
傅里叶分析最初是研究周期性现象,即傅里叶级数的,后来通过傅里叶变换将其推广到了非周期性现象。理解这种推广过程的一种方式是将非周期性现象视为周期性现象的一个特例,即其周期为无限长。
离散时间傅里叶变换
离散傅里叶变换是离散时间傅里叶变换(DTFT)的特例(有时作为后者的近似)。DTFT在时域上离散,在频域上则是周期的。DTFT可以被看作是傅里叶级数的逆轉換。
离散傅里叶变换
为了在科学计算和数字信号处理等领域使用计算机进行傅里叶变换,必须将函数xn定义在离散点而非连续域内,且须满足有限性或周期性条件。这种情况下,使用离散傅里叶变换,将函数xn表示为下面的求和形式:
其中是傅里叶振幅。直接使用这个公式计算的计算复杂度为,而快速傅里叶变换(FFT)可以将复杂度改进为。计算复杂度的降低以及数字电路计算能力的发展使得DFT成为在信号处理领域十分实用且重要的方法。
常用傅里叶变换表
下面的表记录了一些封闭形式的傅立叶变换。对于函数, 和,它们的傅立叶变换分别表示为, 和。只包含了三种最常见的形式。注意条目105给出了一个函数的傅里叶变换与其原函数,这可以看作是傅里叶变换及其逆变换的关系。
函数关系
下表列出的常用的傅里叶变换对可以在Erdélyi (1954)或Kammler (2000,appendix)中找到。
函数 | 傅立叶变换 么正,普通的频率 | 傅立叶变换 么正,角频率 | 傅立叶变换 非么正,角频率 | 注释 | |
---|---|---|---|---|---|
|
|
|
基本定义 | ||
101 | 线性性质 | ||||
102 | 时域平移 | ||||
103 | 频域平移,变换102的频域对应 | ||||
104 | 在时域中定标。如果值较大,则会收缩到原点附近,而会扩散并变得扁平。当趋向无穷时,成为狄拉克δ函数。 | ||||
105 | 傅里叶变换的二元性性质。这里的计算需要运用与傅里叶变换那一列同样的方法。通过交换变量和或或得到。 | ||||
106 | 傅里叶变换的微分性质 | ||||
107 | 变换106的频域对应 | ||||
108 | 记号表示和的卷积—这就是卷积定理 | ||||
109 | 变换108的频域对应。 | ||||
110 | 当是实变函数 | 埃尔米特对称。表示复共轭。 | |||
111 | 当是实偶函数 | , 和都是实偶函数。 | |||
112 | 当是实奇函数 | , 和都是虚奇函数。 | |||
113 | 复共轭,110的一般化 |
平方可积函数
时域信号 | 角频率表示的 傅里叶变换 | 弧频率表示的 傅里叶变换 | 注释 | |
---|---|---|---|---|
10 | 矩形脉冲和归一化的sinc函数 | |||
11 | 变换10的频域对应。矩形函数是理想的低通滤波器,sinc函数是这类滤波器对反因果冲击的响应。 | |||
12 | tri是三角形函数 | |||
13 | 变换12的频域对应 | |||
14 | 高斯函数的傅里叶变换是其本身;只有当时,该函数可积的 | |||
15 | 光学领域应用较多 | |||
16 | ||||
17 | ||||
18 | a>0 | |||
19 | 变换本身就是一个公式 | |||
20 | J0(t)是0阶第一类贝塞尔函数。 | |||
21 | 上一个变换的推广形式; Tn (t)是第一类切比雪夫多项式。 | |||
22 |
|
|
Un (t)是第二类切比雪夫多项式。 |
分布
时域信号 | 角频率表示的 傅里叶变换 | 弧频率表示的 傅里叶变换 | 注释 | |
---|---|---|---|---|
基本定义 | ||||
23 | 代表狄拉克δ函数分布.这个变换展示了狄拉克δ函数的重要性:该函数是常函数的傅立叶变换 | |||
24 | 变换23的频域对应 | |||
25 | 由变换103和23得到 | |||
26 | 由变换101和25得到,应用了欧拉公式: | |||
27 | 由变换101和25得到 | |||
28 | 这里, 是一个自然数. 是狄拉克δ函数分布的阶微分。这个变换是根据变换107和24得到的。将此变换与101结合使用,我们可以变换所有多項式函数。 | |||
29 | 此处为符号函数;注意此变换与变换107和24是一致的. | |||
30 | 变换29的推广 | |||
31 | 变换29的频域对应 | |||
32 | 此处是单位阶跃函数;此变换根据变换101和31得到. | |||
33 | 是单位阶跃函数,且. | |||
34 | 狄拉克梳状函数——有助于解释或理解从连续到离散时间的转变. |
二元函数
时域信号 | 傅立叶变换 单一,普通频率 |
傅立叶变换 么正,角频率 |
傅立叶变换 非么正,角频率 | |
---|---|---|---|---|
400 | |
|
| |
401 | ||||
402 |
- 注释
400: 变量、、、、、为实数。二重积分是对整个平面积分。
401: 这两个函数都是高斯函数,而且可能不具有单位体积。
402: 此圆有单位半径,如果把 认作阶梯函数 ; Airy分布用 (一阶第一类贝塞尔函数)表达。(Stein & Weiss 1971,Thm. IV.3.3)
三元函数
时域信号 | 角频率表示的 傅里叶变换 | 弧频率表示的 傅里叶变换 | 注释 |
---|---|---|---|
此球有单位半径;fr是频率矢量的量值{fx,fy,fz}. |
參考資料
引用
- . Wolfram Language Documentation.
- Stein, Elias M.; Shakarchi, Rami; Stein, Elias M. . 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. . 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. . Princeton lectures in analysis. Princeton: Princeton university press. 2011: 108–108. ISBN 978-0-691-11387-6.
- Weinberg, Steven. 1. Cambridge: Cambridge University. 2005-05-09. ISBN 978-0-521-67053-1.
注释
- 测试函数空间所要求的收敛性与前文提及的由范数诱导的收敛性都不同,实际上作为测试函数空间的 的这种收敛性无法由任何范数诱导,它构成一个可数范数空间[4]。
来源
- Ronald Newbold Bracewell. [傅里叶变换及其应用] 3. Boston: McGraw Hill. 2000 (英语).
- 陳錫冠, 曾致煌. . 高立出版社. ISBN 957-584-377-0 (中文(臺灣))..
- Erdélyi, Arthur (编), [积分变换表] 1, New York: McGraw-Hill, 1954 (英语)
- Kammler, David, [傅立叶分析入门课程], Prentice Hall, 2000, ISBN 0-13-578782-3 (英语)
- Stein, Elias; Weiss, Guido, [欧几里得空间上的傅立叶分析导论], Princeton, N.J.: Princeton University Press, 1971 [2014-10-31], ISBN 978-0-691-08078-9, (原始内容存档于2014-03-28) (英语).
- Stein, Elias; Rami, Shakarchi, [傅立叶分析:导论], Princeton Lectures in Analysis 1, Princeton University Press, 2003, ISBN 0-691-11384-X (英语).
- Stein, Elias; Rami, Shakarchi, [傅立叶分析导论], 数学经典英文教材系列 1, 中国世界图书出版公司, 2006, ISBN 9787506272872 (英语) (影印版).