Power Theorem Next  |  Prev  |  Up  |  Top  |  Index  |  JOS Index  |  JOS Pubs  |  JOS Home  |  Search


Power Theorem



Theorem: For all $ x,y\in{\bf C}^N$,

$\displaystyle \zbox {\left<x,y\right> = \frac{1}{N}\left<X,Y\right>.}
$



Proof:

\begin{eqnarray*}
\left<x,y\right> &\isdef & \sum_{n=0}^{N-1}x(n)\overline{y(n)}...
...^{N-1}X(k)\overline{Y(k)}
\isdef \frac{1}{N} \left<X,Y\right>.
\end{eqnarray*}

Note that the power theorem would be more elegant if the DFT were defined as the coefficient of projection onto the normalized DFT sinusoid $ \tilde{s}_k(n) \isdeftext
s_k(n)/\sqrt{N}$. That, for the normalized DFT (defined in §6.10), the power theorem becomes simply

$\displaystyle \left<x,y\right> = \left<X,Y\right>$   (Normalized DFT case)$\displaystyle . \protect$

The power theorem is also sometimes called Parseval's theorem [51].

In the field of physics, much progress has been made by formulating physical laws such that they are invariant with respect to changes of coordinates. The inner product is an example of a coordinate-invariant relationship between two vectors $ x$ and $ y$ in $ {\bf C}^N$. In the present setting, as developed in Chapter 5, we are concerned only with two different coordinate systems, corresponding to time-domain signals and their spectra.


Next  |  Prev  |  Up  |  Top  |  Index  |  JOS Index  |  JOS Pubs  |  JOS Home  |  Search

[How to cite this work] [Order a printed hardcopy]

``Mathematics of the Discrete Fourier Transform (DFT), with Music and Audio Applications'', by Julius O. Smith III, W3K Publishing, 2003, ISBN 0-9745607-0-7.
Copyright © 2007-02-02 by Julius O. Smith III
Center for Computer Research in Music and Acoustics (CCRMA),   Stanford University
CCRMA  [Automatic-links disclaimer]