Fourier 变换

Fourier 变换是一种积分变换, 它把函数 变成函数这么做的目的是把 写成形如 的函数的线性组合, 其中 取遍所有实数, 就是这个线性组合中 的系数: 我们有

一般来说, Fourier 变换可以推广到某些拓扑群上. 我们可以将拓扑群上的复值函数写成该拓扑群的连续特征的线性组合, 从而建立拓扑群上函数到它 Pontryagin 对偶上函数的对应.

研究 Fourier 变换及其推广的学科叫做调和分析 (或 Fourier 分析).

1定义

定义 1.1 ( 上的 Fourier 变换). 函数 Fourier 变换是函数(如果这个积分存在).

这个定义可以推广到一般的拓扑群上.

定义 1.2 (群上的 Fourier 变换). 假设 局部紧 Abel 群, 上的 Haar 测度. 设 Pontryagin 对偶, 即 上所有连续特征构成的拓扑群. 设绝对可积函数. 则 Fourier 变换定义为函数

2性质

命题 2.1. 是局部紧 Abel 群, 设 Pontryagin 对偶.

连续有界函数.

.

(Fourier 反演公式) 上有唯一的 Haar 测度 , 使得只要 绝对可积, 就有几乎处处成立. 由 Pontryagin 对偶, 上式也可以写为

(...)

3特例

离散 Fourier 变换

参见: 离散 Fourier 变换

离散 Fourier 变换是有限 Abel 群上的 Fourier 变换.

(...)

Fourier 级数

参见: Fourier 级数

Fourier 级数可以看做圆周 上函数到 上函数的变换. 这是局部紧交换群的特例.

(...)

局部域上 Fourier 变换

非 Archimedes 局部域上同样可以做 Fourier 变换.

定义 3.1. 是一个非 Archimedes 局部域, 令 的非平凡加法特征. 上绝对可积函数, 上 Haar 测度, 定义 的 Fourier 变换为

引理 3.2. 的整数环, 为极大理想, 导子. 则 .

证明. 由定义, ; 由紧群上的 Schur 引理可知, 当 上平凡时, 即 时, , 否则为 .

命题 3.3. 由上面例子可知, 紧支局部常值函数的 Fourier 变换还是紧支局部常值.

命题 3.4. 满足 时, Fourier 反演公式对任意局部紧支函数成立.

证明. 只用对 验证即可, 计算过程类似.

4相关概念

调和分析

Fourier 级数

Pontryagin 对偶

术语翻译

Fourier 变换英文 Fourier transform德文 Fourier-Transformation法文 transformation de Fourier