• 1.摘要
  • 2.帕塞瓦尔定理的陈述
  • 3.物理学和工程学上使用的记号
  • 4.证明
  • 4.1.连续傅立叶变换(CTFT)的帕塞瓦尔定理
  • 4.2.离散时间傅立叶变换(DTFT)的帕塞瓦尔定理
  • 4.3.连续时间傅立叶级数(CTFS)的帕塞瓦尔定理
  • 4.4.离散时间傅里叶级数(DTFS)的帕塞瓦尔定理
  • 4.5.离散傅立叶变换(DFT)的帕塞瓦尔定理

帕塞瓦尔定理

在数学中,帕塞瓦尔定理(或称帕塞瓦尔等式),经常指“傅里叶转换是幺正算符”这一结论;简而言之,就是说函数平方的和(或积分)等于其傅里叶转换式平方之和(或者积分)。这个定理产生于Marc-Antoine Parseval在1799年所得到的一个有关级数的定理,该定理随后被应用于傅里叶级数。它也被称为瑞利能量定理瑞利恒等式,以物理学家约翰·斯特拉特,第三代瑞利男爵命名。

虽说帕塞瓦尔定理这一术语常用来描述任何傅里叶转换的幺正性,尤其是在物理学和工程学上,但这种属性最一般的形式还是称为Plancherel theorem而不是帕塞瓦尔定理才更合适。

该定理是勾股定理在希尔伯特空间或更广泛的内积空间中的推广。

帕塞瓦尔定理的陈述

在一般的欧氏平面几何中,勾股定理说明直角三角形的两个直角边之长度的平方加起来等于斜边的平方。从另一种角度来看,若在平面上定义了一个直角坐标系xOy(单位向量分别是image),那么一个向量和它在这两个坐标轴方向上的投影构成一个直角三角形,因此,向量的长度的平方等于它在两个坐标轴方向上的投影的长度的平方之和。

对于一个有限维的欧几里得空间image 以及其中的标准规范正交基image,空间中的一个向量image 的长度的平方等于它在各个基向量上的投影的长度的平方之和:

image

在一般的希尔伯特空间之中,也有类似的等式。设image是一个装备了内积:image 的希尔伯特空间。考虑image 中的一组规范正交基:image,那么image 中的每一个向量的范数的平方都等于它在各个基向量上的投影的平方之和。

image

假定A(x)和B(x)都是平方可积的(参照勒贝格测度)复变函数,且定义在R上周期为2π的区间上,分别写成傅里叶级数的形式:

image

image

然后

image

这里的i是虚数单位而上划线(horizontal bars)表示复共轭运算。

More generally, given an abelian topological group G with Pontryagin dual G^, Parseval's theorem says the Pontryagin–Fourier transform is a unitary operator between Hilbert spaces L2(G) and L2(G^) (with integration being against the appropriately scaled Haar measures on the two groups.) When G is the unit circle T, G^ is the integers and this is the case discussed above. When G is the real line R, G^ is also R and the unitary transform is the Fourier transform on the real line. When G is the cyclic group Zn, again it is self-dual and the Pontryagin–Fourier transform is what is called discrete-time Fourier transform in applied contexts.

物理学和工程学上使用的记号

在 物理学 和 工程学 中, 帕塞瓦尔定理通常描述如下:

image

其中image为 x(t) 的连续傅立叶变换(以归一化酉形式),而f代表x的频率分量(非角频率)

帕塞瓦尔定理的此表达形式解释了波形x(t)依时间域t累积的总能量与该波形的傅立叶变换X(f)在频率域f累积的总能量相等。