对于不同种类的函数,有一些不同版本的傅里叶变换的定义。对于定义在欧几里得空间 上的函数,可给出通常的连续傅里叶变换;对于定义在 维环面 上的函数,或者说周期函数,就给出傅里叶级数。进行傅里叶变换的函数的定义域可以推广到拓扑群,如局部紧交换群。
若“傅里叶变换”一词不加任何限定语,则往往是指所谓“连续傅里叶变换”,下文我们默认讨论连续傅里叶变换。其他的常见变种列于傅里叶变换的其他变种一节。
对于实轴上的速降函数 ,其有这样唯一一个由积分定义的连续线性泛函 与之对应(这一点实际上只需局部可积函数):
现在对其做傅里叶变换,得到
其中第二个等号源于 的如下性质(由富比尼定理易证):
由此可看出线性泛函 以前述的方式唯一对应于函数 (唯一性在这样意义上理解:对应相同线性泛函的函数几乎处处相等)。在这个意义上它对于 是与 的定义相重合的。
然而并非所有连续线性泛函都有这样的积分表示,如所谓求值泛函。0处的求值泛函作用于每个函数时,都给出该函数在0处的值:
它正是所谓狄拉克δ函数,其傅里叶变换满足
而这正是常值函数 如前述方式对应的线性泛函 。也就是说在这个意义上,狄拉克δ“函数”的傅里叶变换是 。从频谱意义上理解,这意味着常值函数的频谱集中在零频率处(或者说周期无穷大) 的情况。
如前面提到的,傅里叶积分变换中有可调整的参数,对它们的调整不会造成变换性质的显著变化,而仅仅是对变换结果的定义域或值域进行了放缩。通过显式地引入参数 ,傅里叶积分变换的通式可以写为[1]
相应的满足 的逆变换定义为
一些选择组合因同时满足上面多个特性或在特定领域中自然出现而变得常见,列在下表。
More information ...
一些常见选择[1]
编号
|
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
|
信号处理
|
Close
本节中使用的约定是 。
- 傅里叶变换可用于将索伯列夫空间 上的范数从 的情况推广至为 的情况。
- 一个随机变量的特征函数是概率密度函数的傅里叶变换 ,尽管技术上往往使用傅里叶-斯蒂尔切斯变换的形式。
在处理具有波动方程背景的函数时,频域的信息处理起来通常更为方便,且信号的滤波等频域操作在器件方面有简单的实现。
除了力学振动、振荡电路等有明显波动方程背景的问题外,也有一些其他情况使得傅里叶变换在理论中自然地出现,如:
傅里叶变换是线性映射。也就是说对于 也存在
可定义函数间的映射 满足
称为平移算子。其可以推广到缓增分布上,定义为共轭算子 ,也就是说对于
其中省略了表示平移算子作用于函数所需的括号。下文不再区分函数与分布的平移,采用相同记号。
傅里叶变换与平移算子满足如下关系:
反过来,对于函数 ,也有 。
也就是说平移与相移相关联。
的情况即给出所谓反射性质。
傅里叶变换与导数算子满足如下关系:
其中 是高阶导数,多元情况则一般化为多重指标。
反过来,对于函数 ,也有 。
也就是说求导在乘上频率是相关联的。
这里的导数算子也可以是缓增分布的导数算子,同样由共轭算子定义为 。
连续形式的傅里叶变换其实是傅里叶级数(Fourier series)的推广,因为积分其实是一种极限形式的求和算子而已。对于周期函数,其傅里叶级数是存在的:
其中为复振幅。对于实值函数,函数的傅里叶级数可以写成:
其中an和bn是实频率分量的振幅。
傅里叶分析最初是研究周期性现象,即傅里叶级数的,后来通过傅里叶变换将其推广到了非周期性现象。理解这种推广过程的一种方式是将非周期性现象视为周期性现象的一个特例,即其周期为无限长。
离散傅里叶变换是离散时间傅里叶变换(DTFT)的特例(有时作为后者的近似)。DTFT在时域上离散,在频域上则是周期的。DTFT可以被看作是傅里叶级数的逆变换。
以上的傅里叶变换都可以被统一描述为任意局部紧致的阿贝尔群上的傅里叶变换。这一问题属于调和分析的范畴。在调和分析中,一个变换从一个群变换到它的对偶群。此外,将傅里叶变换与卷积相联系的卷积定理在调和分析中也有类似的结论。傅里叶变换的广义理论基础参见庞特里亚金对偶性中的介绍。
主条目:时频分析变换
小波变换,Chirplet变换和分数傅里叶变换的都是为了得到时间信号的频率信息。同时解析频率和时间的能力在数学上受不确定性原理的限制。
下表列出了傅里叶变换家族的成员。容易发现,函数在时(频)域的离散对应于其像函数在频(时)域的周期性。反之连续则意味着在到达域的信号的非周期性。下表给出详细的情形:
More information 变换, 时间 ...
Close
下表列出的常用的傅里叶变换对可以在Erdélyi (1954)或Kammler (2000,appendix)中找到。
More information , ...
|
函数 |
傅立叶变换 幺正,普通的频率 |
傅立叶变换 幺正,角频率 |
傅立叶变换 非幺正,角频率 |
注释
|
|
|
|
|
|
基本定义
|
101
|
|
|
|
|
线性性质
|
102
|
|
|
|
|
时域平移
|
103
|
|
|
|
|
频域平移,变换102的频域对应
|
104
|
|
|
|
|
在时域中定标。如果值较大,则会收缩到原点附近,而会扩散并变得扁平。当趋向无穷时,成为狄拉克δ函数。
|
105
|
|
|
|
|
傅里叶变换的二元性性质。这里的计算需要运用与傅里叶变换那一列同样的方法。通过交换变量和或或得到。
|
106
|
|
|
|
|
傅里叶变换的微分性质
|
107
|
|
|
|
|
变换106的频域对应
|
108
|
|
|
|
|
记号表示和的卷积—这就是卷积定理
|
109
|
|
|
|
|
变换108的频域对应。
|
110
|
当是实变函数
|
|
|
|
埃尔米特对称。表示复共轭。
|
111
|
当是实偶函数
|
, 和都是实偶函数。
|
|
112
|
当是实奇函数
|
, 和都是虚奇函数。
|
|
113
|
|
|
|
|
复共轭,110的一般化
|
Close
More information , ...
|
时域信号 |
角频率表示的 傅里叶变换 |
弧频率表示的 傅里叶变换 |
注释
|
|
|
|
|
|
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)是第二类切比雪夫多项式。
|
Close
More information , ...
|
时域信号 |
角频率表示的 傅里叶变换 |
弧频率表示的 傅里叶变换 |
注释
|
|
|
|
|
基本定义
|
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
|
|
|
|
狄拉克梳状函数——有助于解释或理解从连续到离散时间的转变.
|
Close
More information , ...
|
时域信号
|
傅立叶变换 单一,普通频率
|
傅立叶变换 幺正,角频率
|
傅立叶变换 非幺正,角频率
|
400
|
|
|
|
|
401
|
|
|
|
|
402
|
|
|
|
|
Close
- 注释
400: 变量、、、、、为实数。二重积分是对整个平面积分。
401: 这两个函数都是高斯函数,而且可能不具有单位体积。
402: 此圆有单位半径,如果把 认作阶梯函数 ; Airy分布用 (一阶第一类贝塞尔函数)表达。(Stein & Weiss 1971,Thm. IV.3.3) harv模板错误: 无指向目标: CITEREFSteinWeiss1971 (帮助)
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.
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 (英语) (影印版).