Skip to main content
Engineering LibreTexts

7.4: Parseval's Theorem

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)

    Learning Objectives
    • Information about Parseval's Theorem.

    Properties of the Fourier transform and some useful transform pairs are provided in this table. Especially important among these properties is Parseval's Theorem, which states that power computed in either domain equals the power in the other.

    \[\int_{-\infty }^{\infty }s^{2}(t)dt=\int_{-\infty }^{\infty }\left ( \left | S(f) \right | \right )^{2}df \nonumber \]

    Of practical importance is the conjugate symmetry property: When s(t) is real-valued, the spectrum at negative frequencies equals the complex conjugate of the spectrum at the corresponding positive frequencies. Consequently, we need only plot the positive frequency portion of the spectrum (we can easily determine the remainder of the spectrum).

    Exercise \(\PageIndex{1}\)

    How many Fourier transform operations need to be applied to get the original signal back:

    \[\mathfrak{F}(...(\mathfrak{F}(s)))=s(t) \nonumber \]


    \[\mathfrak{F}(\mathfrak{F}(\mathfrak{F}(\mathfrak{F}(s(t)))))=s(t) \nonumber \]

    We know that

    \[\mathfrak{F}(S(f))=\int_{-\infty }^{\infty }S(f)e^{-(i2\pi ft)}df=\int_{-\infty }^{\infty }S(f)\overline{e^{i2\pi f(-t)}}df=s(-t) \nonumber \]

    Therefore, two Fourier transforms applied to s(t) yields s(-t). We need two more to get us back where we started.

    This page titled 7.4: Parseval's Theorem is shared under a CC BY 1.0 license and was authored, remixed, and/or curated by Don H. Johnson via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.