













































Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Community
Ask the community for help and clear up your study doubts
Discover the best universities in your country according to Docsity users
Free resources
Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors
This simple procedure can be extended to any function that can be repre- sented as a sum of cosine (and sine) functions, even if that summation is not.
Typology: Slides
1 / 53
This page cannot be seen from the preview
Don't miss anything!
The differential equation
๐ฆโฒโฒ^ + ๐ฝ^2 ๐ฆ = ๐น cos ๐๐ก
models a mass-spring system with natural frequency ๐ฝ with a pure cosine forcing function of frequency ๐. If ๐ฝ^2 โ= ๐^2 a particular solution is easily found by undetermined coefficients (or by using Laplace transforms) to be
cos ๐๐ก.
If the forcing function is a linear combination of simple cosine functions, so that the differential equation is
๐=
๐น๐ cos ๐๐๐ก
where ๐ฝ^2 โ= ๐^2 ๐ for any ๐, then, by linearity, a particular solution is obtained as a sum
๐ฆ๐(๐ก) =
๐=
cos ๐๐๐ก.
This simple procedure can be extended to any function that can be repre- sented as a sum of cosine (and sine) functions, even if that summation is not a finite sum. It turns out that the functions that can be represented as sums in this form are very general, and include most of the periodic functions that are usually encountered in applications.
723
724 10 Fourier Series
A function ๐ is said to be periodic with period ๐ > 0 if
๐ (๐ก + ๐) = ๐ (๐ก)
for all ๐ก in the domain of ๐. This means that the graph of ๐ repeats in successive intervals of length ๐, as can be seen in the graph in Figure 10.1.
๐ฆ
๐ (^2) ๐ 3 ๐ 4 ๐ 5 ๐
Fig. 10.1 An example of a periodic function with period ๐. Notice how the graph repeats on each interval of length ๐.
The functions sin ๐ก and cos ๐ก are periodic with period 2 ๐, while tan ๐ก is periodic with period ๐ since
tan(๐ก + ๐) = sin(๐ก + ๐) cos(๐ก + ๐)
โ sin ๐ก โ cos ๐ก
= tan ๐ก.
The constant function ๐ (๐ก) = ๐ is periodic with period ๐ where ๐ is any positive number since ๐ (๐ก + ๐) = ๐ = ๐ (๐ก).
Other examples of periodic functions are the square wave and triangular wave whose graphs are shown in Figure 10.2. Both are periodic with period 2.
1
โ 1 0 1 2 3 4
๐ฆ
๐ก
(a) Square wave sw(๐ก)
1
โ 2 โ 1 0 1 2 3 4 5
๐ฆ
๐ก
(b) Triangular wave tw(๐ก)
Fig. 10.
726 10 Fourier Series
Applying these observations to the functions sin ๐ก and cos ๐ก with funda- mental period 2 ๐ gives the following facts.
Theorem 1. For any ๐ > 0 the functions cos ๐๐ก and sin ๐๐ก are periodic with period 2 ๐/๐. In particular, if ๐ฟ > 0 then the functions
cos
๐ก and sin
are periodic with fundamental period ๐ = 2๐ฟ/๐.
Note that since the fundamental period of the functions cos ๐๐ ๐ฟ ๐ก and sin ๐๐ ๐ฟ ๐ก is ๐ = 2๐ฟ/๐, it follows that 2 ๐ฟ = ๐๐ is also a period for each of these functions. Thus, a sum
X^ โ
๐=
๐๐ cos
๐ก + ๐๐ sin
will be periodic of period 2 ๐ฟ. Notice that if ๐ is a positive integer, then cos ๐๐ก and sin ๐๐ก are periodic with period 2 ๐/๐. Thus, each period of cos ๐ก or sin ๐ก contains ๐ periods of cos ๐๐ก and sin ๐๐ก. This means that the functions cos ๐๐ก and sin ๐๐ก oscillate more rapidly as ๐ increases, as can be seen in Figure 10.3 for ๐ = 3.
1
โ 1
โ๐^ ๐
(a) The graphs of cos ๐ก and cos 3๐ก.
1
โ 1
โ๐^ ๐
(b) The graphs of sin ๐ก and sin 3๐ก.
Fig. 10.
Example 2. Find the fundamental period of each of the following periodic functions.
โถ Solution. 1. ๐ = 2๐/2 = ๐.
10.1 Periodic Functions and Orthogonality Relations 727
Orthogonality Relations for Sine and Cosine
The family of linearly independent functions 1 , cos
๐ก, cos
๐ก, cos
๐ก,... , sin
๐ก, sin
๐ก, sin
form what is called a mutually orthogonal set of functions on the interval [โ๐ฟ, ๐ฟ], analogous to a mutually perpendicular set of vectors. Two functions ๐ and ๐ defined on an interval ๐ โค ๐ก โค ๐ are said to be orthogonal on the interval [๐, ๐] if (^) Z ๐
๐
A family of functions is mutually orthogonal on the interval [๐, ๐] if any two distinct functions are orthogonal. The mutual orthogonality of the family of cosine and sine functions on the interval [โ๐ฟ, ๐ฟ] is a consequence of the following identities.
Proposition 3 (Orthogonality Relations). Let ๐ and ๐ be positive in- tegers, and let ๐ฟ > 0. Then
Z (^) ๐ฟ
โ๐ฟ
cos
โ๐ฟ
sin
โ๐ฟ
cos
๐ก sin
โ๐ฟ
cos
๐ก cos
๐ฟ, if ๐ = ๐, 0 if ๐ โ= ๐.
โ๐ฟ
sin
๐ก sin
๐ฟ, if ๐ = ๐, 0 if ๐ โ= ๐.
10.1 Periodic Functions and Orthogonality Relations 729
The graph of an even function is symmetric with respect to the ๐ฆ-axis, while the graph of an odd function is symmetric with respect to the origin, as illustrated in Figure 10.4.
โ๐ก ๐ก
๐ (โ๐ก) ๐ (๐ก)
(a) The graph of an even function.
๐ก
โ๐ก
๐ (๐ก)
๐ (โ๐ก) = โ๐ (๐ก)
(b) The graph of an odd function.
Fig. 10.
Here is a list of basic properties of even and odd functions that are useful in applications to Fourier series. All of them follow easily from the definitions, and the verifications will be left to the exercises.
Proposition 5. Suppose that ๐ and ๐ are functions defined on the interval โ๐ฟ โค ๐ก โค ๐ฟ.
โ๐ฟ
0
โ๐ฟ
Since the integral of ๐ computes the signed area under the graph of ๐ , the integral equations can be seen from the graphs of even and odd functions in Figure 10.4.
730 10 Fourier Series
1โ9. Graph each of the following periodic functions. Graph at least 3 periods.
3 if 0 < ๐ก < 3 โ 3 if โ 3 < ๐ก < 0
โ 3 if โ 2 โค ๐ก < โ 1 0 if โ 1 โค ๐ก โค 1 3 if 1 < ๐ก < 2
0 if โ๐ โค ๐ก < 0 sin ๐ก if 0 < ๐ก โค ๐
โ๐ก if โ 1 โค ๐ก < 0 1 if 0 โค ๐ก < 1
10โ17. Determine if the given function is periodic. If it is periodic find the fundamental period.
18โ26. Determine if the given function is even, odd, or neither.
732 10 Fourier Series
where the coefficients ๐ 0 , ๐ 1 ,.. ., ๐ 1 , ๐ 2 ,.. ., are to be determined. Since the individual terms in the series (1) are periodic with periods 2 ๐ฟ, 2 ๐ฟ/ 2 , 2 ๐ฟ/ 3 ,
.. ., the function ๐ (๐ก) determined by the sum of the series, where it converges, must be periodic with period 2 ๐ฟ. This means that only periodic functions of period 2 ๐ฟ can be represented by a series of the form (1). Our first problem is to find the coefficients ๐๐ and ๐๐ in the series (1). The first term of the series is written ๐ 0 / 2 , rather than simply as ๐ 0 , to make the formula to be derived below the same for all ๐๐, rather than a special case for ๐ 0. The coefficients ๐๐ and ๐๐ can be found from the orthogonality relations of the family of functions cos(๐๐๐ก/๐ฟ) and sin(๐๐๐ก/๐ฟ) on the interval [โ๐ฟ, ๐ฟ] given in Proposition 3 of Sect. 10.1. To compute the coefficient ๐๐ for ๐ = 1, 2 , 3 ,.. ., multiply both sides of the series (1) by cos(๐๐๐ก/๐ฟ), with ๐ a positive integer and then integrate from โ๐ฟ to ๐ฟ. For the moment we will assume that the integrals exist and that it is justified to integrate term by term. Then using (1), (2), and (3) from Sect. 10.1, we get
Z (^) ๐ฟ
โ๐ฟ
๐ (๐ก) cos
โ๐ฟ
cos
= 0
๐=
h ๐๐
โ๐ฟ
cos
๐ก cos
=
โง ๏ฃดโจ ๏ฃดโฉ
0 if ๐ โ= ๐ ๐ฟ if ๐ = ๐
โ๐ฟ
sin
๐ก cos
= 0
i = ๐๐๐ฟ.
Thus,
๐๐ =
โ๐ฟ
๐ (๐ก) cos
or, replacing the index ๐ by ๐,
โ๐ฟ
๐ (๐ก) cos
To compute ๐ 0 , integrate both sides of (1) from โ๐ฟ to ๐ฟ to get Z (^) ๐ฟ
โ๐ฟ
โ๐ฟ
=2๐ฟ
๐=
h ๐๐
โ๐ฟ
cos
=
โ๐ฟ
sin
= 0
i
Thus,
๐ 0 =
โ๐ฟ
10.2 Fourier Series 733
Hence, ๐ 0 is two times the average value of the function ๐ (๐ก) over the interval โ๐ฟ โค ๐ก โค ๐ฟ. Observe that the value of ๐ 0 is obtained from (2) by setting ๐ = 0. Of course, if the constant ๐ 0 in (1) were not divided by 2, we would need a separate formula for ๐ 0. It is for this reason that the constant term in (1) is labeled ๐ 0 / 2. Thus, for all ๐ โฅ 0 , the coefficients ๐๐ are given by a single formula
โ๐ฟ
๐ (๐ก) cos
To compute ๐๐ for ๐ = 1, 2 , 3 ,.. ., multiply both sides of the series (1) by sin(๐๐๐ก/๐ฟ), with ๐ a positive integer and then integrate from โ๐ฟ to ๐ฟ. Then using (1), (2), and (4) from Sect. 10.1, we get
Z (^) ๐ฟ
โ๐ฟ
๐ (๐ก) sin
โ๐ฟ
sin
= 0
๐=
h ๐๐
โ๐ฟ
cos
๐ก sin
= 0
โ๐ฟ
sin
๐ก sin
=
โง ๏ฃดโจ ๏ฃดโฉ
0 if ๐ โ= ๐ ๐ฟ if ๐ = ๐
i = ๐๐๐ฟ.
Thus, replacing the index ๐ by ๐, we find that
โ๐ฟ
๐ (๐ก) sin
We have arrived at what are known as the Euler Formulas for a function ๐ (๐ก) that is the sum of a trigonometric series as in (1):
โ๐ฟ
โ๐ฟ
๐ (๐ก) cos
โ๐ฟ
๐ (๐ก) sin
The numbers ๐๐ and ๐๐ are known as the Fourier coefficients of the func- tion ๐. Note that while we started with a periodic function of period 2 ๐ฟ, the formulas for ๐๐ and ๐๐ only use the values of ๐ (๐ก) on the interval [โ๐ฟ, ๐ฟ].
10.2 Fourier Series 735
โ๐ฟ
๐ (๐ก) cos
0
๐ (๐ก) cos
We now consider some examples of the calculation of Fourier series.
Example 2. Compute the Fourier series of the odd square wave function of period 2 ๐ฟ and amplitude 1 given by
See Figure 10.5 for the graph of ๐ (๐ก).
๐ฆ
๐ก
1
โ 1
โ 3 ๐ฟ โ 2 ๐ฟ โ๐ฟ^ ๐ฟ^2 ๐ฟ^3 ๐ฟ
Fig. 10.5 The odd square wave of period 2 ๐ฟ
โถ Solution. Use the Euler formulas for ๐๐ (Equations (6) and (7)) to con- clude
๐๐ =
โ๐ฟ
๐ (๐ก) cos
for all ๐ โฅ 0. This is because the function ๐ (๐ก) cos ๐๐ ๐ฟ ๐ก is the product of an odd and even function, and hence is odd, which implies by Proposition 5 (Part 5) of Section 10.1 that the integral is 0. It remains to compute the coefficients ๐๐ from (8).
โ๐ฟ
๐ (๐ก) sin
โ๐ฟ
๐ (๐ก) sin
0
๐ (๐ก) sin
โ๐ฟ
(โ1) sin
0
(+1) sin
cos
โ๐ฟ
cos
0
[(1 โ cos(โ๐๐)) + (1 โ cos(๐๐))]
=
(1 โ cos ๐๐) =
Therefore,
736 10 Fourier Series
0 if ๐ is even, 4 ๐๐ if^ ๐^ is odd,
and the Fourier series is
sin
sin
sin
sin
Example 3. Compute the Fourier series of the even square wave function of period 2 ๐ฟ and amplitude 1 given by
See Figure 10.6 for the graph of ๐ (๐ก).
๐ฆ
๐ก
1
โ 1
๐ฟ 2 3 ๐ฟ 2 5 ๐ฟ โ (^2) ๐ฟ โ (^2) 3 ๐ฟ โ (^2) 5 ๐ฟ 2
Fig. 10.6 The even square wave of period 2 ๐ฟ
โถ Solution. Use the Euler formulas for ๐๐ (Equation (8)) to conclude
โ๐ฟ
๐ (๐ก) sin
for all ๐ โฅ 1. As in the previous example, this is because the function ๐ (๐ก) sin ๐๐ ๐ฟ ๐ก is the product of an even and odd function, and hence is odd, which implies by Proposition 5 (Part 5) of Section 10.1 that the integral is
โ๐ฟ
๐ (๐ก) cos
โ๐ฟ
๐ (๐ก) cos
โ๐ฟ/ 2
๐ (๐ก) cos
๐ฟ/ 2
๐ (๐ก) cos
738 10 Fourier Series
โ๐
0
0
๐
0
For ๐ โฅ 1 , using the fact that ๐ (๐ก) is even, and taking advantage of the integration by parts formula Z ๐ฅ cos ๐ฅ ๐๐ฅ = ๐ฅ sin ๐ฅ + cos ๐ฅ + ๐ถ,
โ๐
๐ (๐ก) cos ๐๐ก ๐๐ก =
0
๐ (๐ก) cos ๐๐ก ๐๐ก
0
๐ก cos ๐๐ก ๐๐ก
let ๐ฅ = ๐๐ก so ๐ก =
and ๐๐ก =
0
cos ๐ฅ
[๐ฅ sin ๐ฅ + cos ๐ฅ]๐ฅ๐ฅ==0๐๐
[cos ๐๐ โ 1] =
Therefore,
๐๐ =
0 if ๐ is even, โ (^) ๐^42 ๐ if ๐ is odd
and the Fourier series is
cos ๐ก 12
cos 3๐ก 32
cos 5๐ก 52
cos 7๐ก 72
๐=
cos(2๐ + 1)๐ก (2๐ + 1)^2
Example 5. Compute the Fourier series of the sawtooth wave function of period 2 ๐ฟ given by
๐ (๐ก) = ๐ก for โ๐ฟ โค ๐ก < ๐ฟ; ๐ (๐ก + 2๐ฟ) = ๐ (๐ก).
See Figure 10.8 for the graph of ๐ (๐ก).
โถ Solution. As in Example 2, the function ๐ (๐ก) is odd, so the cosine terms ๐๐ are all 0. Now compute the coefficients ๐๐ from (8). Using the integration by parts formula
10.2 Fourier Series 739
๐ฆ
๐ก
๐ฟ
โ๐ฟ
โ 3 ๐ฟ โ 2 ๐ฟ โ๐ฟ ๐ฟ 2 ๐ฟ 3 ๐ฟ
Fig. 10.8 The sawtooth wave of period 2 ๐ฟ
๐ฅ sin ๐ฅ ๐๐ฅ = sin ๐ฅ โ ๐ฅ cos ๐ฅ + ๐ถ,
โ๐ฟ
๐ (๐ก) sin
0
๐ก sin
let ๐ฅ =
๐ก so ๐ก =
๐ฅ and ๐๐ก =
0
๐ฅ sin ๐ฅ
0
๐ฅ sin ๐ฅ ๐๐ฅ
[sin ๐ฅ โ ๐ฅ cos ๐ฅ]๐ฅ๐ฅ==0๐๐
(๐๐ cos ๐๐) = โ
Therefore, the Fourier series is
sin
sin
sin
sin
๐=
sin
All of the examples so far have been of functions that are either even or odd. If a function ๐ (๐ก) is even, the resulting Fourier series will only have cosine terms, as in the case of Examples 3 and 4, while if ๐ (๐ก) is odd, the resulting Fourier series will only have sine terms, as in Examples 2 and 5. Here are some examples where both sine an cosine terms appear.
Example 6. Compute the Fourier series of the function of period 4 given by
10.2 Fourier Series 741
0
sin ๐ฅ
0
๐ฅ sin ๐ฅ ๐๐ฅ
[sin ๐ฅ โ ๐ฅ cos ๐ฅ]๐ฅ๐ฅ==0๐๐
=
(โ๐๐ cos ๐๐) = โ
Thus,
๐๐ =
for all ๐ โฅ 1.
Therefore, the Fourier series is
๐=
cos
๐=
sin
Example 7. Compute the Fourier series of the square pulse wave function of period 2 ๐ given by
See Figure 10.10 for the graph of ๐ (๐ก).
0
1
โ 4 ๐ โ 2 ๐ โ 2 ๐ 4 ๐
Fig. 10.10 A square pulse wave of period 2 ๐.
โถ Solution. For this function, it is more convenient to compute the ๐๐ and ๐๐ using integration over the interval [0, 2 ๐] rather than the interval [โ๐, ๐]. Thus,
0
0
0
cos ๐๐ก ๐๐ก = sin ๐โ ๐๐
, and
0
sin ๐๐ก ๐๐ก =
1 โ cos ๐โ ๐๐
742 10 Fourier Series
and the Fourier series is
๐=
sin ๐โ ๐
cos ๐๐ก + 1 โ cos ๐โ ๐
sin ๐๐ก
If the square pulse wave ๐ (๐ก) is divided by โ, then one obtains a function whose graph is a series of tall thin rectangles of height 1 /โ and base โ, so that each of the rectangles with the bases starting at 2 ๐๐ has area 1, as in Figure 10.11. Now consider the limiting case where โ approaches 0. The
0
1 โ
โ 4 ๐ โ 2 ๐ โ 2 ๐ 4 ๐
Fig. 10.11 A square unit pulse wave of period 2 ๐.
graph becomes a series of infinite height spikes of width 0 as in Figure 10.12. This looks like an infinite sum of Dirac delta functions, which is the regular delta function extended to be periodic of period 2 ๐. That is,
lim โโ 0
๐=โโ
Now compute the Fourier coefficients ๐๐/โ and ๐๐/โ as โ approaches 0.
sin ๐โ ๐๐โ
and
๐๐ =
1 โ cos ๐โ ๐๐โ
โ 0 as โ โ 0
Also, ๐ 0 /โ = 1/๐. Thus, the 2 ๐-periodic delta function has a Fourier series
X^ โ
๐=โโ
๐=
cos ๐๐ก. (12)
It is worth pointing out that this is one series that definitely does not converge for all ๐ก. In fact it does not converge for ๐ก = 0. However, there is a sense of convergence in which convergence makes sense. We will discuss this in the next section.