Although the function to be expanded is defined only over a specific
finite region, the series converges to a function that is defined over thereal line and is periodic. It is equal to the original function over the
region of definition and is a periodic extension outside of the region.Indeed, one could artificially extend the given function at the outset and
then the expansion would converge everywhere.
A geometric view
It can be very helpful to develop a geometric view of the Fourier series
where
is considered to be a vector and the basis functions are the
coordinate or basis vectors. The coefficients become the projections of
on the coordinates. The ideas of a measure of distance, size, and
orthogonality are important and the definition of error is easy topicture. This is done in
[link] ,
[link] ,
[link] using Hilbert space
methods.
Properties of the fourier series
The properties of the Fourier series are important in applying it to signal
analysis and to interpreting it. The main properties are given hereusing the notation that the Fourier series of a real valued function
over
is given by
and
denotes the periodic extensions of
.
- Linear:
Idea of superposition. Also scalability:
- Extensions of
:
is periodic.
- Even and Odd Parts:
and
|
|
|
|
|
|
even |
0 |
even |
0 |
even |
0 |
odd |
0 |
0 |
odd |
even |
0 |
0 |
even |
0 |
even |
even |
|
0 |
odd |
odd |
0 |
even |
|
- Convolution: If continuous cyclic convolution is defined by
then
- Multiplication: If discrete convolution is defined by
then
This property is the inverse of
property 4 and vice versa.
- Parseval:
This property says the energy calculated in the time domain is the same as
that calculated in the frequency (or Fourier) domain.
- Shift:
A shift in the time domain results in a linear phase shift in the frequency domain.
- Modulate:
Modulation in the time domain results in a shift in the frequency domain. This
property is the inverse of property 7.
- Orthogonality of basis functions:
Orthogonality allows the calculation of coefficients using inner products in
[link] and
[link] . It also allows Parseval's Theorem in
property 6 .
A relaxed version of orthogonality is called “tight frames" and is importantin over-specified systems, especially in wavelets.
Examples