傅里叶变换
| |
---|---|
傅里叶变换
| |
傅里叶变换(法语:Transformation de Fourier、英语:Fourier transform)是一种线性的积分变换,常在将信号在时域(或空域)和频域之间变换时使用,在物理学和工程学中有许多应用。因其基本思想首先由法国学者约瑟夫·傅里叶系统地提出,所以以其名字来命名以示纪念。
经过傅里叶变换而生成的函数 称作原函数 的傅里叶变换、亦或其频谱。傅里叶变换是可逆的,即可通过 确定其原函数 。通常情况下, 是实数函数,而 则是复数函数,用一个复数来表示振幅和相位。
“傅里叶变换”一词既可以指变换操作本身(将函数 进行傅里叶变换),又可以指该操作所生成的复数函数( 是 的傅里叶变换)。
目录
[隐藏]
定义[编辑]
一般情况下,若“傅里叶变换”一词不加任何限定语,则指的是“连续傅里叶变换”(连续函数的傅里叶变换)。定义傅里叶变换有许多不同的方式。本文中采用如下的定义:(连续)傅里叶变换将可积函数表示成复指数函数的积分或级数形式。
- , ξ为任意 实数。
当自变量x表示时间(以秒为单位),变换变量ξ表示频率(以赫兹为单位)。在适当条件下,可由逆变换(inverse Fourier transform)由下式确定:
- , x为任意实数。
傅里叶逆定理提出可由确定,傅立叶在《热分析理论》(Analytical Theory of Heat)中首次引入这个定理。虽然现在标准下的证明直到很久以后才出现。和常常被称为傅立叶积分对 或傅立叶变换对。
简介[编辑]
傅里叶变换源自对傅里叶级数的研究。在对傅里叶级数的研究中,复杂的周期函数可以用一系列简单的正弦、余弦波之和表示。傅里叶变换是对傅里叶级数的扩展,由它表示的函数的周期趋近于无穷。
中文译名[编辑]
英语:Fourier transform 或 法语:Transformée de Fourier 有多个中文译名,常见的有“傅里叶变换”、“傅立叶变换”、“付立叶变换”、“傅利葉轉換”、“傅氏轉換”及“傅氏變換”等等。为方便起见,本文统一写作“傅里叶变换”。
应用[编辑]
傅里叶变换在物理学、声学、光学、结构动力学、量子力学、数论、组合数学、概率论、统计学、信号处理、密码学、海洋学、通讯、金融等领域都有着广泛的应用。例如在信号处理中,傅里叶变换的典型用途是将信号分解成振幅分量和频率分量。
基本性质[编辑]
线性性质[编辑]
两函数之和的傅里叶变换等于各自变换之和。数学描述是:若函数和的傅里叶变换和都存在,和为任意常系数,则;傅里叶变换算符可经归一化成为幺正算符。
平移性质[编辑]
若函数存在傅里叶变换,则对任意实数,函数也存在傅里叶变换,且有。式中花体是傅里叶变换的作用算子,平体表示变换的结果(复函数),为自然对数的底,为虚数单位。
微分关系[编辑]
若函数当时的极限为0,而其导函数的傅里叶变换存在,则有,即导函数的傅里叶变换等于原函数的傅里叶变换乘以因子。更一般地,若,且存在,则,即k阶导数的傅里叶变换等于原函数的傅里叶变换乘以因子。
卷积特性[编辑]
若函数及都在上绝对可积,则卷积函数(或者)的傅里叶变换存在,且。卷积性质的逆形式为,即两个函数卷积的傅里叶逆变换等于它们各自的傅里叶逆变换的乘积乘以。
帕塞瓦尔定理[编辑]
若函数可积且平方可积,则。其中是的傅里叶变换。
更一般化而言,若函数和皆为平方可积方程(Square-integrable function),则。其中和分别是和的傅里叶变换, 代表复共轭。
傅里叶变换的不同变种[编辑]
傅立叶变换也可以写成在角频率形式: ω = 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转换和分数傅里叶变换试图得到时间信号的频率信息。同时解析频率和时间的能力在数学上受不确定性原理的限制。
傅里叶变换家族[编辑]
主条目:傅立叶变换家族中的关系
下表列出了傅里叶变换家族的成员。容易发现,函数在时(频)域的离散对应于其像函数在频(时)域的周期性.反之连续则意味着在对应域的信号的非周期性.
变换 | 时间 | 频率 |
---|---|---|
连续傅里叶变换 | 连续,非周期性 | 连续,非周期性 |
傅里叶级数 | 连续,周期性 | 离散,非周期性 |
离散时间傅里叶变换 | 离散,非周期性 | 连续,周期性 |
离散傅里叶变换 | 离散,周期性 | 离散,周期性 |
常用傅里叶变换表[编辑]
下面的表记录了一些封闭形式的傅立叶变换。对于函数f(x), g(x)和h(x),它们的傅立叶变换分别表示为, 和。只包含了三种最常见的形式。注意条目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 | 由变换3和24得到. | |||
26 | 由变换1和25得到,应用了欧拉公式: | |||
27 | 由变换1和25得到 | |||
28 | 这里, 是一个自然数. 是狄拉克δ函数分布的阶微分。这个变换是根据变换7和24得到的。将此变换与1结合使用,我们可以变换所有多项式。 | |||
29 | 此处为符号函数;注意此变换与变换7和24是一致的. | |||
30 | 变换29的推广. | |||
31 | 变换29的频域对应. | |||
32 | 此处是单位阶跃函数;此变换根据变换1和31得到. | |||
33 | 是单位阶跃函数,且. | |||
34 | 狄拉克梳状函数(Dirac comb)——有助于解释或理解从连续到离散时间的转变. |
二元函数[编辑]
时域信号 | 傅立叶变换 单一,普通频率 | 傅立叶变换 酉,角频率 | 傅立叶变换 非酉,角频率 | |
---|---|---|---|---|
400 | ||||
401 | ||||
402 |
-
注释
400: 变量ξx、ξy、ωx、ωy、νx和νy为实数。 对整个平面积分。
401: 这两个函数都是高斯分布,而且可能不具有单位体积。
402: 此圆有单位半径,如果把circ(t)认作阶梯函数u(1-t); Airy分布用J1(1阶第一类贝塞尔函数)表达。(Stein & Weiss 1971,Thm. IV.3.3)
三元函数[编辑]
时域信号 | 角频率表示的 傅里叶变换 | 弧频率表示的 傅里叶变换 | 注释 |
---|---|---|---|
此球有单位半径;fr是频率矢量的量值{fx,fy,fz}. |