AdvMath (Unit 3)
AdvMath (Unit 3)
Fourier series are infinite series designed to represent general periodic functions in terms of cosines and
sines. They constitute a very important tool, in particular in solving problems that involve ODEs and PDEs.
The theory of Fourier series is complicated, but we shall see that the application of these series is rather
simple. Fourier series are in a certain sense more universal than Taylor series in calculus because many
discontinuous periodic functions of practical interest can be developed in Fourier series but do not have
Taylor series representations.
In the latter part, we extend the ideas and techniques of Fourier series to nonperiodic functions which give
rise to Fourier integrals and Fourier transforms. These have applications to solving PDEs.
applications. A function ft is called a periodic function if ft is defined for all real t (except perhaps for
Fourier series are the basic tool for representing periodic functions, which play an important role in
some points) and if there is some positive number p, called a period of ft such that
The graph of such a function is obtained by periodic repetition of its graph in any interval of length p.
If ft has period p, it also has the period 2p. Thus for any integer n = 1, 2, 3 …
Furthermore, if ft and gt have period p, then aft + bgt with any constants a and b also has
period p.
We will represent the periodic function ft of period 2π in terms of simple functions whose period is also
2π. The series to be obtained will be a trigonometric series of the form
provided the right term converges to ft. The constants a , a , b , a , b , etc., are called the coefficients
of the series or the Fourier coefficients given by the following Euler formulas
1
a = ft dt
2π
(3.4a)
!
1
a = ft cos nt dt
π
(3.4b)
!
1
b = ft sin nt dt
π
(3.4c)
!
where n = 1, 2, 3, ⋯ and the limits of the integral defined for the whole period of ft.
Example 3.1
−k − π < t < 0
Find the Fourier coefficients of the periodic function
ft = "
k 0 < t < π
Answer:
a = 0
Fourier coefficients:
a = 0
2k
b = '1 − −1 (
nπ
4k
b = b = 0
π
4k
b* = b+ = 0
3π
4k
b, = b. = 0
5π
4k
b/ = b1 = 0
7π
4k
b2 = b = 0
9π
⋮ ⋮
4k 1 1 1
Fourier series expansion:
f t = 5sin t + sin 3t + sin 5t + sin 7t + ⋯ 6
π 3 5 7
Figure 3.1. The given periodic function f(t). Periodic rectangular wave.
Figure 3.2. Partial sums of the Fourier series expansion for f(t)
Find the Fourier series expansion of the given ft which is assumed to have the period 2π. In the
Drill Problems 3.1
1.
2.
3.
4.
5.
6.
7.
8.
The functions considered so far had period 2π, for the simplicity of formulas. However, periodic functions of
πn πn
ft = a + 8a cos t + b sin t9
L L
(3.5)
1
a = ft dt
2L
(3.6a)
!
1 πn
a = ft cos t dt
L L
(3.6b)
!
1 πn
b = ft sin t dt
L L
(3.6c)
!
−k − 2 < t < 0
ft = "
k 0 < t < 2
Find the Fourier series expansion of the following periodic functions. Terms involving cos 5t and sin 5t
Drill Problems 3.2
must be included.
−1 − 2 < t < 0
1. ft = " ,p= 4
1 0 < t < 2
0 − 2 < t < 0
2. ft = " ,p =4
4 0 < t < 2
1 + t − 1 < t < 0
8. ft = " ,p =2
1 − t 0 < t < 1
0 − 2 < t < 0
10. ft = " ,p=4
t 0 < t < 2
A function ft is even if f−t = ft and is symmetric with respect to the vertical axis.
A function ft is odd if f−t = −ft and is symmetric with respect to the origin.
>
2 πn
a = ft cos t dt
L L
(3.8b)
with coefficients
>
2 πn
b = ft sin t dt
L L
(3.10)
The function in Examples 3.1 and 3.2 is an odd function. Therefore, it has a Fourier sine series expansion
given by 3.9 and coefficients given by 3.10.
Example 3.3
0 − 2 < t < −1
Find the Fourier series expansion of the function
whose period is p = 2L = 4
k 2k πt 1 3πt 1 5πt
Answer
ft = + 5cos − cos + cos − ⋯+ ⋯6
2 π 2 3 2 5 2
t − < t <
: :
3. ft = ?
π−t <t<
: *:
πe 0 < t < π
2 −2 < t < 0
5. ft = "
0 0 < t < 2
Fourier series are powerful tools for problems involving functions that are periodic or are of interest on a
finite interval only. Many problems involve functions that are nonperiodic and are of interest on the whole x-
axis, thus, we extend the method of Fourier series to such functions. This idea will lead to Fourier integrals.
We will start from a function whose period is p = 2L, derive its Fourier series expansion, and then let
L → ∞. For a rectangular pulse, Figure 3.6 illustrates the idea
For a periodic function f> t whose period is p = 2L, its Fourier series expansion is given by
ft = 'Aw cos wt + Bw sin wt(dw (3.12)
with
1
Aw = fv cos wv dv
π A
(3.13a)
1
B w = fv sin wv dv
π A
(3.13b)
Equation 3.12 is the Fourier integral representation of ft . It can be seen that this representation is
continuous, unlike the Fourier series for periodic function which is defined for integer values of n, and thus
the quantity w = becomes continuous also.
:
>
1
Aw = fv cos wv dv
π A
(3.13a)
and the Fourier integral then reduces to the Fourier cosine integral. Similarly if ft is an odd function,
Aw = 0 in 3.13a and
1
Bw = fv sin wv dv
π A
(3.13b)
The Fourier cosine and sine transforms are real. We now consider a third one, called the Fourier transform,
which is complex. From the real form of the Fourier integral
ft = 'Aw cos wt + Bw sin wt(dw (3.12)
with
1
Aw = fv cos wv dv
π A
(3.13a)
1
Bw = fv sin wv dv
π A
(3.13b)
1
ft = fv'cos wv cos wt + sin wv sin wt(dv dw
π A
(3.14)
The terms inside the bracket is the addition formula for cosine, or coswx − wv. Thus,
1
ft = I fv coswx − wv dv J dw
π
(3.15)
A
We shall call the term inside the bracket Fw since coswx − wv is an even function of w, and we
integrate with respect to v. We extend the limit of the integral of Fw from w = 0 to ∞ to w = −∞ to
+∞; thus a factor of is multiplied to the integral to account for this extension. Thus,
1
ft = I fv coswx − wv dv J dw
2π A A
(3.16)
We claim that the integral of 3.16 with sine instead of a cosine is zero,
1
I fv sinwx − wv dv J dw = 0
2π A A
(3.17)
This is true since sinwx − wv is an odd function of w, which makes the integral inside the bracket,
calling it Gw, equal to zero.
Taking the integrand of 3.16 plus j times the integrand of 3.17 and use the Euler’s formula
1
ft = fveNOPAQ dv dw
2π A A
(3.19)
1
1
ft = I fveANOQ dvJ eNO; dw
√2π A √2π A
(3.20)
1
F ω = fteANO; dt
√2π
(3.21)
A
1
ft = Fw eNO; dw
√2π
(3.22)
A
which is the inverse Fourier transform of Fw. We will use the notation
Find the Fourier transform of ft = 1 if |x| < 1 and ft = 0 otherwise.
Example 3.4
π sin ω
Answer:
F ω = U
2 ω
Find the Fourier transform of ft = eAV; for t > 0 and ft = 0 for t < 0.
Example 3.5
1
Answer:
F ω =
√2πa + jω
||
1. ft = X 1 − V t ≤ a
|;|
0 otherwise
2. ft = eAV|;|
0 otherwise
|t| − 1 ≤ t ≤ 1
4. ft = "
0 otherwise
1 0 ≤ t ≤ a/2
5. ft = ?−1 − a/2 ≤ t ≤ 0
0 otherwise
Linearity. Let ft and gt be two functions with Fourier transforms Fω and Gω respectively. Then,
for constants a and b,
Shift in the frequency domain. Let ft be a function with Fourier transform Fω. Then
If the function ft has the Fourier transform Fω, use the linearity and shifting in the frequency domain
Example 3.6
Fω − a Fω + a
Answer:
F ω = +
2 2
Time scaling. Let ft be a function whose Fourier transform is Fω. For a constant c,
ω
F8c9
ℱ 'fct( =
c
(3.26)
A special case of the scaling is called time-reversal, that is c = −1. Equation 3.26 becomes then,
1 − 1 ≤ t ≤ 1
Example 3.7
If ft = " , plot f2t and f 89and find their Fourier transform. Use the results of
;
0 otherwise
Example 3.4.
ω
Answer:
2 sin 2
ℱ 'f2t( = _
π ω
t 2 sin 2ω
ℱ `f 5 6a = _
2 π ω
Differentiation in time domain. Let ft be a continuously differentiable function with Fourier transform
Fω and assume that lim;→± ft = 0. Then,
This property of Fourier transform can be used in the same manner as the Laplace transform in solving
ordinary differential equations.
Differentiation in frequency domain. If the function ft has the Fourier transform Fω and if t ft is
absolutely integrable, then Fω is differentiable and
and in general
t − 1 ≤ t ≤ 1
Example 3.8
Find the Fourier transform of ft = "
0 otherwise
, using the results of Example 3.4 and the
differentiation property of the Fourier transform.
Answer:
2 ω cos ω − sin ω
F ω = _
π ω
Integration in time-domain. If ft is a continuous and absolutely integrable function with Fourier
transform Fω, and lim;→ gA fτ dτ = 0. Then
;
;
F ω
ℱ I fτ dτJ =
jω
(3.32)
A
for ω ≠ 0.
eANjk − eANlk
"1 b < t < c
0 otherwise jω√2π
3.1.2
1 π eAV|k|
a > 0 U
x + a 2 a
3.1.3
t 0 < t < b −1 + 2eNjk − eANjk
?2t − b b < t < 2b
0 otherwise ω √2π
3.1.4
1
" e t > 0
AV;
a > 0
0 otherwise √2π a + jω
3.1.5
e VANkl
− eVANkj
" e b < t < c
V;
2 sin bω − a
me − b < t < b
NV;
_
0 otherwise π ω − a
3.1.7
j eNjVAk − eNlVAk
m e b < t < c
NV;
The following table summarizes the Fourier transform of distributed functions, i.e. functions that are not
square-integrable but have Fourier transforms.
1 √2πδω
The transform of a constant
3.2.1 function is the Dirac delta
function.
1
δt
The dual of rule 3.2.1. The
√2π
3.2.2 transform of the Dirac delta
function is a constant.
eNV; √2π δω − a
Applying frequency shift to
3.2.3
δω − a + δω + a
3.2.1.
cos at √2π
2
Using rules 3.2.1, 3.2.3 and
3.2.4
δω + a + δω − a
the Euler’s formula for cosine
sin at j√2π
2
Using rules 3.2.1, 3.2.3 and
3.2.5
the Euler’s formula for sine
Table 3.2. Table of Fourier Transform for distributed functions