Lec 3 - Continuous-Time Fourier Series
Lec 3 - Continuous-Time Fourier Series
Part 53
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 121
Introduction
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 122
Section 5.1
Fourier Series
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 123
Harmonically-Related Complex Sinusoids
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 124
CT Fourier Series
■ A periodic (complex-valued) function x with fundamental period T and
fundamental frequency ω0 = 2πT can be represented as a linear
combination of harmonically-related complex sinusoids as
∞
x(t) = ∑ cke jkω0t.
k=-∞
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 125
CT Fourier Series (Continued)
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 126
Section 5.2
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 127
Remarks on Equality of Functions
■ The equality of functions can be defined in more than one way.
■ Two functions x and y are said to be equal in the pointwise sense if
x(t) = y(t) for all t (i.e., x and y are equal at every point).
■ (MSE)
Two sense ifx ∫and
functions y are said2 dt
|x(t)-y(t)| to be
= 0equal in the
(i.e., the mean-squared
energy in x-y is zero).
error
■ Again, let xN denote the Fourier series for the periodic function x truncated
after the Nth harmonic components as given by
N
xN(t) = ∑ ckejkω0t.
k=−N
■ If limN→∞ xN(t) = x(t) for all t (i.e., limN→∞ xN is equal to x in the
pointwise sense), the Fourier series is said to converge pointwise to x.
■ If convergence is pointwise and the rate of convergence is the same
everywhere, the convergence is said to be uniform.
T1 ∫
■ If lim sense),
MSE T |xN(t)−x(t)|2 dt = 0 (i.e., limN→∞ xN is equal to x in the
N→∞
the Fourier series is said to converge to x in the MSE sense.
■ Pointwise convergence is a stronger condition than MSE convergence
(i.e., pointwise convergence implies MSE convergence, but the converse
is not true).
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 130
Convergence of Fourier Series: Continuous Case
■ If absolutely
representation
area periodic summable
of x converges
function x is continuous
(i.e.,uniformly
∑ |ck|(its
and <Fourier
∞),
i.e., pointwise
thenseries
theatFourier
the seriesck
coefficients
same
∞
k=−∞
rate
everywhere).
■ Since, in practice, we often encounter functions with discontinuities (e.g.,
a square wave), the above result is of somewhat limited value.
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 131
Convergence of Fourier Series: Finite-Energy Case
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 132
Dirichlet Conditions
■ The Dirichlet conditions for the periodic function x are as follows:
∫
1
2 over a single period, x is
hasabsolutely integrable
a finite number |x(t)|dt
(i.e., Tand
of maxima minima< ∞);
(i.e., x is
t−1
t
1 2
x(t)1······12···−101
14
···
t
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 133
Convergence of Fourier Series: Dirichlet Case
[
(x(ta ) = 12 x(t-a)+x(t+
a )] ,
where x(t-
a ) and x(t+a ) denote the values of the function x on the left- and
right-hand sides of the discontinuity, respectively.
■ Since most functions tend to satisfy the Dirichlet conditions and the above
convergence result specifies the value of the Fourier series at every point,
this result is often very useful in practice.
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 134
Gibbs Phenomenon
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 135
Gibbs Phenomenon: Periodic Square Wave Example
1.5 1.5
1 1
0.5 0.5
0 0
-1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1
-0.5 -0.5
-1 -1
-1.5 -1.5
Fourier series truncated after the Fourier series truncated after the
3rd harmonic components 7th harmonic components
1.5 1.5
1 1
0.5 0.5
0 0
-1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1
-0.5
-0.5
-1 -1
-1.5 -1.5
Fourier series truncated after the Fourier series truncated after the
11th harmonic components 101st harmonic components
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 136
Section 5.3
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 137
Properties of ( CT) Fourier Series
CTFS CTFS
x(t) + так and y(t) bk
Property
Parseval's Relation + ST | x (t) |² dt = [k= -∞•Tak12
Even Symmetry x is even a is even
Odd Symmetry x is odda is odd
Real / Conjugate Symmetry x is real ↔ a is conjugate symmetric
Copyright © 2013-2022 Michael D. Adams || Signals and Systems || Edition 5.0 || 138
Linearity
CTFS
■ andxy(t)
Let and←→CTFS
y bebktwo periodic functions with the same period. If x(t) ←→ ak
, then
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 139
Time Shifting (Translation)
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 140
Frequency Shifting (Modulation)
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 141
Time Reversal (Reflection)
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 142
Conjugation
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 143
Periodic Convolution
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 144
Multiplication
CTFS
■ Let x and y be two periodic functions with the same period. If x(t) ←→ ak
CTFS
and y(t) ←→ bk , then
∞
CTFS
x(t)y(t) ←→ ∑ anbk−n
n=−∞
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 145
Parseval’s Relation
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 146
Even and Odd Symmetry
x is even
x is odd
⇔⇔ c isceven;
is odd. and
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 147
Real Functions
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 148
Trigonometric Forms of a Fourier Series
■ Consider the periodic function x with the Fourier series coefficients ck.
■ If x is real, then its Fourier series can be rewritten in two other forms,
known as the combined trigonometric and trigonometric forms.
■ The combined trigonometric form of a Fourier series has the
appearance
∞
x(t) = c0 +2 ∑ |ck|cos(kω0t +θk ),
k=1
where θk = argck .
■ The trigonometric form of a Fourier series has the appearance
∑
∞
x(t) = c0 + [αk cos(kω0t)+βk sin(kω0t)],
k=1
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 149
Other Properties of Fourier Series
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 150
Section 5.4
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 151
A New Perspective on Functions: The Frequency Domain
■ The Fourier series provides us with an entirely new way to view functions.
■ Instead of viewing a function as having information distributed with respect
to time (i.e., a function whose domain is time), we view a function as
having information distributed with respect to frequency (i.e., a function
whose domain is frequency).
■ This so called frequency-domain perspective is of fundamental
importance in engineering.
■ Many engineering problems can be solved much more easily using the
frequency domain than the time domain.
■ The Fourier series coefficients of a function x provide a means to quantify
how much information x has at different frequencies.
■ The distribution of information in a function over different frequencies is
referred to as the frequency spectrum of the function.
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 152
Motivating Example
■ Consider the real 1-periodic function x having the Fourier series
representation
x(t) = -10j e-j14πt - 2j e-j10πt - 4j10 e-j6πt - 13j e-j2πt
10 10
+ 13j ej2πt + 4j e j6πt + 102jej10πt +j10ej14πt .
10 10
1
1
2
t
-1 -1 1 1
2 -1 2
2
-1
■ The terms that make the most dominant contribution to the overall sum
are the ones with the largest magnitude coefficients.
■ To illustrate this, we consider the problem of determining the best
approximation of x that keeps only 4 of the 8 terms in the Fourier series.
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 153
Motivating Example (Continued)
approximation
1 x(t)
12
t
-1 -1 1 1
2 -1 2
2
-1
approximation
1 x(t)
1
2
t
-1 -1 1 1
2 -1 2
2
-1
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 154
Fourier Series and Frequency Spectra
■ To gain further insight into the role played by the Fourier series coefficients
ck in the context of the frequency spectrum of the function x, it is helpful to
write the Fourier series with the ck expressed in polar form as follows:
x(t) = ∑
∞ ckejkω0t = ∑
∞
|ck|ej(kω0t+argck ).
k=−∞ k=−∞
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 155
Fourier Series and Frequency Spectra (Continued)
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 156
Frequency Spectra of Real Functions
■ Recall that, for a real function x, the Fourier series coefficient sequence c
satisfies
ck = c∗−k
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 158
Frequency Response
■ Recall that a LTI system H with impulse∫ response h is such that
exponentials are eigenfunctions
H1estl(t) = HL(s)est , where HL(s) = ∞-∞ h(t)e-stdt. (That is, complex
of LTI
systems.)
■ Since a complex sinusoid is a special case of a complex exponential, we
can reuse the above result for the special case of complex sinusoids.
■ For a LTI system H with impulse response h,
H1ejωtl(t) = H(ω)ejωt,
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 159
Fourier Series and LTI Systems
■ Thus, if the input x to a LTI system is a Fourier series, the output y is also
a Fourier series. More specifically, if x(t) ←→CTFS ck then y(t) ←→CTFS H(kω0)ck .
■ The above formula can be used to determine the output of a LTI system
from its input in a way that does not require convolution.
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 160
Filtering
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 161
Ideal Lowpass Filter
■ An ideal lowpass filter eliminates all frequency components with a
frequency whose magnitude is greater than some cutoff frequency, while
leaving the remaining frequency components unaffected.
■ Such a filter has a frequency response of the form
(
1 |ω| ≤ ωc
H(ω) =
0 otherwise,
ω
−ωc ωc
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 162
Ideal Highpass Filter
■ An ideal highpass filter eliminates all frequency components with a
frequency whose magnitude is less than some cutoff frequency, while
leaving the remaining frequency components unaffected.
■ Such a filter has a frequency response of the form
(
1|ω| ≥ ωc
H(ω) =
0 otherwise,
where ωc is the cutoff frequency.
■ A plot of this frequency response is given below.
H(ω)
1
··· ···
ω
−ωc ωc
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 163
Ideal Bandpass Filter
■ An ideal bandpass filter eliminates all frequency components with a
frequency whose magnitude does not lie in a particular range, while
leaving the remaining frequency components unaffected.
■ Such a filter has a frequency response of the form
(
1 ωc1 ≤ |ω|≤ ωc2
H(ω) =
0 otherwise,
where the limits of the passband are ωc1 and ωc2.
■ A plot of this frequency response is given below.
H(ω)
ω
−ωc2 −ωc1 ωc1 ωc2
Copyright © 2013–2022 Michael D. Adams Signals and Systems Edition 5.0 164