[EE261学习笔记] 8.Parseval定理

有关傅里叶变换有一个重要的定理，Parseval定理：

$${\int }_{-\infty }^{\infty }|\mathcal{F}f(s){|}^{2}ds={\int }_{-\infty }^{\infty }|f(t){|}^{2}dt\text{\hspace{1em}(1)}$$

Parseval定理是能量守恒的一种体现，即能量在时域和频域内总是相同的

证明如下：

设 $f$，$g$ 为给定的两个可积函数，则

$$g(x)={\mathcal{F}}^{-1}(\mathcal{F}g(s))={\int }_{-\infty }^{\infty }{e}^{2\pi isx}\mathcal{F}g(s)ds$$

那么

$$\overline{g(x)}={\int }_{-\infty }^{\infty }{e}^{-2\pi isx}\overline{\mathcal{F}g(s)}ds$$

于是

$$\begin{array}{rl}{\int }_{-\infty }^{\infty }f(x)\overline{g(x)}dx& ={\int }_{-\infty }^{\infty }f(x)\left({\int }_{-\infty }^{\infty }{e}^{-2\pi isx}\overline{\mathcal{F}g(s)}ds\right)dx\\ & ={\int }_{-\infty }^{\infty }\left({\int }_{-\infty }^{\infty }{e}^{-2\pi isx}f(x)dx\right)\overline{\mathcal{F}g(s)}ds\\ & ={\int }_{-\infty }^{\infty }\mathcal{F}f(s)\overline{\mathcal{F}g(s)}ds\end{array}$$

即：

$${\int }_{-\infty }^{\infty }f(x)\overline{g(x)}dx={\int }_{-\infty }^{\infty }\mathcal{F}f(s)\overline{\mathcal{F}g(s)}ds\text{\hspace{1em}(2)}$$

令$(2)$式中的$g=f$，即为$(1)$式的另一种写法。得证。