傅里叶变换
此条目需要补充更多来源。 (2019年10月29日) |
此条目阅读起来类似评论,需要清理。 (2019年10月29日) |
傅里叶变换(法语:Transformation de Fourier,英语:Fourier transform,缩写:FT)是一种线性积分变换,用于函数(应用上称作“信号”)在时域和频域之间的变换。因其基本思想首先由法国学者约瑟夫·傅里叶系统地提出,所以以其名字来命名以示纪念。
傅里叶变换在物理学和工程学中有许多应用。傅里叶变换的作用是将函数分解为不同特征的正弦函数的和,如同化学分析来分析一个化合物的元素成分。对于一个函数,也可对其进行分析,来确定组成它的基本(正弦函数)成分。[1]
经过傅里叶变换生成的函数 称作原函数 的傅里叶变换,应用意义上称作频谱。在特定情况下,傅里叶变换是可逆的,即将 通过逆变换可以得到其原函数 。通常情况下, 是一个实函数,而 则是一个复数值函数,其函数值作为复数可同时表示振幅和相位。高斯函数是傅里叶变换的本征函数。
定义
一般情况下,若“傅里叶变换”一词不加任何限定语,则指的是“连续傅里叶变换”(连续函数的傅里叶变换)。定义傅里叶变换有许多不同的方式。本文中采用如下的定义:(连续)傅里叶变换将可积函数 表示成复指数函数的积分形式或级数形式。
- , 为任意实数。 的定义域为频域。
若约定自变量 表示时间(以秒为单位),变换变量 表示频率(以赫兹为单位)。在适当条件下, 可由逆傅里叶变换(inverse Fourier transform)由下式得到 :
- , 为任意实数。 的定义域为时域。
傅里叶逆定理表明 可由 确定,傅里叶在其1822年出版的著作《热分析理论 (页面存档备份,存于互联网档案馆)》(法语:Théorie analytique de la chaleur)中首次引入这个定理。虽然现在标准下的证明直到很久以后才出现。 和 常常被称为傅里叶积分对 或傅里叶变换对。
简介
傅里叶变换源自对傅里叶级数的研究。在对傅里叶级数的研究中,复杂的周期函数可以用一系列简单的正弦或余弦波之和表示。傅里叶变换是对傅里叶级数的扩展,由它表示的函数的周期趋近于无穷。
应用
傅里叶变换在医学、数据科学、物理学、声学、光学、结构力学、量子力学、数论、组合数学、概率论、统计学、信号处理、密码学、大气科学、海洋学、通讯、金融等领域都有着广泛的应用。例如在信号处理中,傅里叶变换的典型用途是将复杂的信号分解成具有不同振幅的单一频率分量,并以此实现滤波等操作;进一步的,量子力学中位置空间的波函数的傅里叶变换是动量空间的波函数。
基本性质
线性性质
两函数之和的傅里叶变换等于各自变换之和。严格数学描述是:若函数 和 的傅里叶变换 和 都存在, 和 为任意常系数,则 ;傅里叶变换算符 可经归一化成为幺正算符。
平移性质
若函数 存在傅里叶变换,则对任意实数 ,函数 也存在傅里叶变换,且有 。式中花体 是傅里叶变换的作用算子,平体 表示变换的结果(复函数), 为自然对数的底, 为虚数单位 。
微分关系
若函数 当 时的极限为0,且其导函数 的傅里叶变换存在,则有 ,即导函数的傅里叶变换等于原函数的傅里叶变换乘以因子 。更一般地,若 ,且 存在,则 ,即函数k阶导函数的傅里叶变换等于原函数的傅里叶变换乘以因子 。
卷积特性
若函数 及 都在 上绝对可积,则卷积函数 (或者 )的傅里叶变换存在,且 。卷积性质的逆形式为 ,即两个函数的卷积的傅里叶逆变换等于两函数各自的傅里叶逆变换的乘积乘以 。
帕塞瓦尔定理
若函数 可积且平方可积,则 。其中 是 的傅里叶变换。
更一般化而言,若函数 和 皆为平方可积函数,则 。其中 和 分别是 和 的傅里叶变换, 代表复共轭。
傅里叶变换的不同变种
傅里叶变换也可以写成角频率形式: ω = 2πξ其单位是弧度每秒。
应用ξ=ω/(2π)到上述公式会成为下面的形式:
根据这一形式,(傅里叶)逆变换变为:
若不按照本文中使用的,而像这样定义傅里叶变换,那它将不再是L2(Rn)上的一个幺正变换 。另外这样的定义也使傅里叶变换与其逆变换显得不太对称。
另一个形式是把(2π)n均匀地分开给傅里叶变换和逆变换,即定义为:
根据这一形式,傅里叶变换是再次成为L2(Rn)上的一个幺正变换。它也恢复了傅里叶变换和逆变换之间的对称。
所有三种形式的变化可以通过对正向和反向变换的复指数核取共轭来实现。核函数的符号必须是相反的。除此之外,选择是习惯问题。
普通频率ξ( 赫兹) | 幺正变换 | |
---|---|---|
角频率ω( 弧度/秒) | 非幺正变换 | |
幺正变换 | |
如上所讨论的,一个随机变量的特征函数是相同的傅里叶变换斯蒂尔切斯其分布的测量,但在这种情况下它是典型采取不同的惯例为常数。通常情况下特征函数的定义
在上面“非统一角频率”形式的情况下,存在的2π无因子出现在任一积分的,或在指数。不同于任何约定的上面出现的,本公约采取的指数符号相反。
傅里叶级数
连续形式的傅里叶变换其实是傅里叶级数(Fourier series)的推广,因为积分其实是一种极限形式的求和算子而已。对于周期函数,其傅里叶级数是存在的:
其中 为复振幅。对于实值函数,函数的傅里叶级数可以写成:
其中an和bn是实频率分量的振幅。
傅里叶分析最初是研究周期性现象,即傅里叶级数的,后来通过傅里叶变换将其推广到了非周期性现象。理解这种推广过程的一种方式是将非周期性现象视为周期性现象的一个特例,即其周期为无限长。
离散时间傅里叶变换
离散傅里叶变换是离散时间傅里叶变换(DTFT)的特例(有时作为后者的近似)。DTFT在时域上离散,在频域上则是周期的。DTFT可以被看作是傅里叶级数的逆变换。
离散傅里叶变换
为了在科学计算和数字信号处理等领域使用计算机进行傅里叶变换,必须将函数xn定义在离散点而非连续域内,且须满足有限性或周期性条件。这种情况下,使用离散傅里叶变换,将函数xn表示为下面的求和形式:
其中 是傅里叶振幅。直接使用这个公式计算的计算复杂度为 ,而快速傅里叶变换(FFT)可以将复杂度改进为 。计算复杂度的降低以及数字电路计算能力的发展使得DFT成为在信号处理领域十分实用且重要的方法。
在阿贝尔群上的统一描述
以上的傅里叶变换都可以被统一描述为任意局部紧致的阿贝尔群上的傅里叶变换。这一问题属于调和分析的范畴。在调和分析中,一个变换从一个群变换到它的对偶群(dual group)。此外,将傅里叶变换与卷积相联系的卷积定理在调和分析中也有类似的结论。傅里叶变换的广义理论基础参见庞特里亚金对偶性(Pontryagin duality)中的介绍。
时频分析变换
小波变换,Chirplet变换和分数傅里叶变换的都是为了得到时间信号的频率信息。同时解析频率和时间的能力在数学上受不确定性原理的限制。
傅里叶变换家族
主条目:傅立叶变换家族中的关系
下表列出了傅里叶变换家族的成员。容易发现,函数在时(频)域的离散对应于其像函数在频(时)域的周期性。反之连续则意味着在到达域的信号的非周期性。下表给出详细的情形:
变换 | 时间 | 频率 |
---|---|---|
连续傅里叶变换 | 连续,非周期性 | 连续,非周期性 |
傅里叶级数 | 连续,周期性 | 离散,非周期性 |
离散时间傅里叶变换 | 离散,非周期性 | 连续,周期性 |
离散傅里叶变换 | 离散,周期性 | 离散,周期性 |
常用傅里叶变换表
下面的表记录了一些封闭形式的傅立叶变换。对于函数 , 和 ,它们的傅立叶变换分别表示为 , 和 。只包含了三种最常见的形式。注意条目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}. |
参见
参考资料
引用
- ^ 杨毅明. 数字信号处理(第2版). 北京: 机械工业出版社. 2017年: 第25、29页. ISBN 9787111576235.
来源
- 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 (英语) (影印版).
外部链接
- 维基共享资源上的相关多媒体资源:傅里叶变换
- Encyclopedia of Mathematics (页面存档备份,存于互联网档案馆)(英文)
- 埃里克·韦斯坦因. Fourier Transform. MathWorld.