If you are familiar with the basic
sinusoid signal and with
complex exponentials then you should not have any problem understanding this
section. In most texts, you will see the the discrete-time,complex sinusoid noted as:
The complex sinusoid can be directly mapped onto our
complex plane , which
allows us to easily visualize changes to the complexsinusoid and extract certain properties. The absolute
value of our complex sinusoid has the followingcharacteristic:
which tells that our complex sinusoid only takes values onthe unit circle. As for the angle, the following
statement holds true:
For more information, see the section on the
Discrete Time Complex Exponential to learn about
Aliasing ,
Negative Frequencies , and the formal definition of the
Complex Conjugate .
Now that we have looked over the concepts of complex
sinusoids, let us turn our attention back to finding a basisfor discrete-time, periodic signals. After looking at all the
complex sinusoids, we must answer the question of whichdiscrete-time sinusoids do we need to represent periodic
sequences with a period
.
Find a set of vectors
such that
are a
basis for
In answer to the above question, let us try the "harmonic"
sinusoids with a fundamental frequency
:
Harmonic sinusoid
is periodic with period
and has
"cycles"
between
and
.
If we let
where the exponential term is a vector in
, then
is an
orthonormal basis for
.
First of all, we must show
is orthonormal,
i.e.
If
,
then
If
,
then we must use the "partial summation formula" shownbelow:
where in the above equation we can say that
, and thus we can see how this is in the form
needed to utilize our partial summation formula.
So,
Therefore:
is an orthonormal set.
is also a
basis , since there
are
vectors which are
linearly independent (orthogonality
implies linear independence).
And finally, we have shown that the harmonic sinusoids
form an orthonormal basis for
Periodic extension to dtfs
Now that we have an understanding of the
discrete-time Fourier series
(DTFS) , we can consider the
periodic
extension of
(the Discrete-time Fourier coefficients).
[link] shows a simple illustration of how we can represent
a sequence as a periodic signal mapped over an infinite numberof intervals.
Why does a
periodic extension to the DTFS coefficients
make sense?
Aliasing:
→ DTFS coefficients are also periodic with
period
.
Using the steps shown above in the derivation and our
previous understanding of
Hilbert Spaces and
Orthogonal Expansions , the rest of the
derivation is automatic. Given a discrete-time, periodicsignal (vector in
)
, we can write:
Note: Most people collect both the
terms into the expression for
.
Here is the common form of the DTFS with the above note
taken into account:
This is what the
fft command in MATLAB does.