In an earlier module, we showed that a
square wave could be expressed as a superposition of pulses. As useful as
this decomposition was in this example, it
does not generalize well to other periodic signals:
How can a
superposition of pulses equal a smooth signal like a sinusoid?
Because of the importance of sinusoids to linear systems, you
might wonder whether they could be added together to represent a
large number of periodic signals. You would be right and in good
company as well.
Euler
and
Gauss
in particular worried about this problem, and
Jean Baptiste Fourier
got the credit even though tough mathematical issues were not
settled until later. They worked on what is now known as the
Fourier series:
representing any periodic signal as a superposition
of sinusoids.
But the Fourier series goes well beyond being
another signal decomposition method.
Rather, the Fourier series begins our journey to appreciate how a signal
can be described in either the time-domain or the frequency-domain with
no compromise.
Let
st
st
be a periodic signal with period
TT.
We want to show that periodic signals, even those that have
constant-valued segments like a square wave, can be expressed as
sum of harmonically related sine waves:
sinusoids having frequencies that are integer multiples of the
fundamental frequency.
Because the signal has period
TT,
the fundamental frequency is
1T
1T.
The complex Fourier series expresses the signal as a superposition of
complex exponentials having frequencies
kT
kT,
k=…−101…
k
…
1
0
1
…
.
st=∑k=−∞∞ckei2πktT
s
t
k
ck
2k
t
T
(1)
with
ck=12(ak
−ibk
)
ck
1
2
ak
bk
.
The real and imaginary parts of the
Fourier coefficients
c
k
c
k
are written in this unusual way for convenience in defining the classic
Fourier series.
The zeroth coefficient equals the signal's average value and is real-
valued for real-valued signals:
c0=a0
c0
a0
.
The family of functions
ei2πktT
2
k
t
T
are called
basis functions and
form the foundation of the Fourier series. No matter what the
periodic signal might be, these functions are always present and
form the representation's building blocks. They depend on the
signal period
T
T,
and are indexed by
k
k.
Assuming we know the period, knowing the Fourier coefficients
is equivalent to knowing the signal.
Thus, it makes no difference if we have a time-domain or a frequency-
domain characterization of the signal.
What is the complex Fourier series for a sinusoid?
Because of Euler's relation,
sin2πft=12iei2πft−12ie−(i2πft)
2
f
t
1
2
2
f
t
1
2
2
f
t
(2)
Thus,
c
1
=12i
c
1
1
2
,
c
−
1
=−12i
c
−
1
1
2
,
and the other coefficients are zero.
To find the Fourier coefficients, we note the orthogonality property
∫0Tei2πktTe(−i)2πltTd
t
={T if k=l0 if k≠l
t
0
T
2
k
t
T
2
l
t
T
T
k
l
0
k
l
(3)
Assuming for the moment that the complex Fourier series "works," we can
find a signal's complex Fourier coefficients, its
spectrum, by
exploiting the orthogonality properties of harmonically related complex
exponentials.
Simply multiply each side of
Equation 1 by
e−(i2πlt)
2
l
t
and integrate over the interval
0
T
0
T
.
c
k
=1T∫0Tste−(i2πktT)dt
c
0
=1T∫0Tstdt
c
k
1
T
t
0
T
st
2
k
t
T
c
0
1
T
t
0
T
st
(4)
Finding the Fourier series coefficients for the
square wave
sqTt
sqT
t
is very simple.
Mathematically, this signal can be expressed as
sqTt={1 if 0<t<T2−1 if T2<t<T
sqT
t
1
0
t
T2
1
T2
t
T
The expression for the Fourier coefficients has the form
ck=1T∫0T2e−(i2πktT)dt−1T∫T2Te−(i2πktT)dt
ck
1
T
t
0
T2
2 k
t
T
1
T
t
T2
T
2 k
t
T
(5)
When integrating an expression containing i,
treat it just like any other constant.
The two integrals are very similar, one equaling the negative of the
other.
The final expression becomes
bk=−2i2πk(−1k−1)={2iπk if k odd0 if k even
bk
2
2 k
1
k
1
2
k
k odd
0
k even
(6)
Thus, the complex Fourier series for the square wave is
sqt=∑k∈…-3-113…2iπke(i)2πktT
sq
t
k
k
…
-3
-1
1
3
…
2
k
2
k
t
T
(7)
Consequently, the square wave equals a sum of complex exponentials, but
only those having frequencies equal to odd multiples of the
fundamental frequency
1T
1
T
. The coefficients decay slowly as the frequency
index
kk increases. This index
corresponds to the
kk-th harmonic
of the signal's period.
A signal's Fourier series spectrum
c
k
c
k
has interesting properties.
If
st
s
t
is real,
c
k
=
c
−
k
¯
c
k
c
−
k
(real-valued periodic signals have conjugate-symmetric
spectra).
This result follows from the integral that calculates
the
c
k
c
k
from the signal. Furthermore, this result means that
ℜ
c
k
=ℜ
c
−
k
c
k
c
−
k
:
The real part of the Fourier coefficients for real-valued
signals is even. Similarly,
ℑ
c
k
=−ℑ
c
−
k
c
k
c
−
k
:
The imaginary parts of the Fourier coefficients have odd
symmetry. Consequently, if you are given the Fourier
coefficients for positive indices and zero and are told the
signal is real-valued, you can find the negative-indexed
coefficients, hence the entire spectrum. This kind of symmetry,
c
k
=
c
−
k
¯
c
k
c
−
k
,
is known as conjugate symmetry.
If
s−t=st
s
t
s
t
,
which says the signal has even symmetry about the origin,
c
−
k
=
c
k
c
−
k
c
k
.
Given the previous property for real-valued signals, the Fourier
coefficients of even signals are real-valued. A real-valued
Fourier expansion amounts to an expansion in terms of only
cosines, which is the simplest example of an even signal.
If
s−t=−st
s
t
s
t
,
which says the signal has odd symmetry,
c
−
k
=−
c
k
c
−
k
c
k
.
Therefore, the Fourier coefficients are purely imaginary. The
square wave is a great example of an odd-symmetric signal.
The spectral coefficients for a periodic signal
delayed by
ττ,
st−τ
s
t
τ
,
are
c
k
e−i2πkτT
c
k
2
k
τ
T
,
where
c
k
c
k
denotes the spectrum of
st
s
t
.
Delaying a signal by
τ
τ
seconds results in a spectrum having a linear phase
shift of
−2πkτT
2
k
τ
T
in comparison to the spectrum of the undelayed signal. Note
that the spectral magnitude is unaffected. Showing this
property is easy.
1T∫0Tst−τe(−i)2πktTd
t
=1T∫−τT−τste(−i)2πk(t+τ)Td
t
=1Te(−i)2πkτT∫−τT−τste(−i)2πktTd
t
1
T
t
0
T
s
t
τ
2
k
t
T
1
T
t
τ
T
τ
s
t
2
k
t
τ
T
1
T
2
k
τ
T
t
τ
T
τ
s
t
2
k
t
T
(8)
Note that the range of integration extends over a
period of the integrand. Consequently, it should not matter
how we integrate over a period, which means that
∫−τT−τ
·
d
t
=∫0T
·
d
t
t
τ
T
τ
·
t
0
T
·
,
and we have our result.
The complex Fourier series obeys Parseval's Theorem, one of the
most important results in signal analysis.
This general mathematical result says
you can calculate a signal's power in either the time domain or the frequency
domain.
Average power calculated in the time domain equals the power
calculated in the frequency domain.
1T∫0Ts2td
t
=∑
k
=−∞∞|
c
k
|2
1
T
t
0
T
s
t
2
k
c
k
2
(9)
This result is a (simpler) re-expression of how to
calculate a signal's power than with the real-valued
Fourier series expression for power.
Let's calculate the Fourier coefficients of the periodic
pulse signal
shown here.
The pulse width is
Δ
Δ,
the period
T
T,
and the amplitude
A
A.
The complex Fourier spectrum of this signal is given by
c
k
=1T∫0ΔAe−i2πktTd
t
=−(Ai2πk(e−i2πkΔT−1))
c
k
1
T
t
0
Δ
A
2
k
t
T
A
2
k
2
k
Δ
T
1
At this point, simplifying this expression requires knowing an
interesting property.
1−e−(iθ)=e−iθ2(eiθ2−e−iθ2)=e−iθ22isinθ2
1
θ
θ
2
θ
2
θ
2
θ
2
2
θ
2
Armed with this result, we can simply express the Fourier
series coefficients for our pulse sequence.
c
k
=Ae−iπkΔTsinπkΔTπk
c
k
A
k
Δ
T
k
Δ
T
k
(10)
Because this signal is real-valued, we find that the
coefficients do indeed have conjugate symmetry:
c
k
=
c
−
k
¯
c
k
c
−
k
.
The periodic pulse signal has neither even nor odd symmetry;
consequently, no additional symmetry exists in the spectrum.
Because the spectrum is complex valued, to plot it we need to
calculate its magnitude and phase.
|
c
k
|=A|sinπkΔTπk|
c
k
A
k
Δ
T
k
(11)
∠
c
k
=−πkΔT+πnegsinπkΔTπksignk
c
k
k
Δ
T
neg
k
Δ
T
k
sign
k
The function
neg·
neg
·
equals -1 if its argument is negative and zero otherwise.
The somewhat complicated expression for the phase results
because the sine term can be negative; magnitudes must be
positive, leaving the occasional negative values to be accounted
for as a phase shift of
π
.
Also note the presence of a linear phase term (the first term in
∠
c
k
c
k
is proportional to frequency
kT
k
T
).
Comparing this term with that predicted from delaying a signal,
a delay of
Δ2
Δ
2
is present in our signal. Advancing the signal by this amount
centers the pulse about the origin, leaving an even signal,
which in turn means that its spectrum is real-valued. Thus, our
calculated spectrum is consistent with the properties of the
Fourier spectrum.
What is the value of
c
0
c
0
?
Recalling that this spectral coefficient corresponds to the
signal's average value, does your answer make sense?
c
0
=AΔT
c
0
A
Δ
T
.
This quantity clearly corresponds to the periodic pulse
signal's average value.
The phase plot shown in Figure 2
requires some explanation as it does not seem to agree with what
Equation 11 suggests. There, the phase has
a linear component, with a jump of
π
every time the sinusoidal term changes sign. We must realize that
any integer multiple of
2π
2
can be added to a phase at each frequency without
affecting the value of the complex spectrum. We see
that at frequency index 4 the phase is nearly
−π
.
The phase at index 5 is undefined because the magnitude is zero
in this example. At index 6, the formula suggests that the
phase of the linear term should be less than
−π
(more negative).
In addition, we expect a shift of
−π
in the phase between indices 4 and 6. Thus, the phase value
predicted by the formula is a little less than
−(2π)
2
.
Because we can add
2π
2
without affecting the value of the spectrum at index 6, the
result is a slightly negative number as shown. Thus, the formula
and the plot do agree. In phase calculations like those made in
MATLAB, values are usually confined to the range
−π
π
by adding some (possibly negative) multiple of
2π
2
to each phase value.
"Electrical Engineering Digital Processing Systems in Braille."