Docsity
Docsity

Prepare for your exams
Prepare for your exams

Study with the several resources on Docsity


Earn points to download
Earn points to download

Earn points by helping other students or get them with a premium plan


Guidelines and tips
Guidelines and tips

Fourier Series: Theory and Applications in Differential Equations, Slides of Fourier Transform and Series

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

2021/2022

Uploaded on 09/27/2022

little_rachel
little_rachel ๐Ÿ‡ฌ๐Ÿ‡ง

4.7

(6)

217 documents

1 / 53

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Chapter 10
Fourier Series
10.1 Periodic Functions and Orthogonality Relations
The differential equation
๐‘ฆโ€ฒโ€ฒ +๐›ฝ2๐‘ฆ=๐นcos ๐œ”๐‘ก
models a mass-spring system with natural frequency ๐›ฝwith a pure cosine
forcing function of frequency ๐œ”. If ๐›ฝ2โˆ•=๐œ”2a particular solution is easily
found by undetermined coefficients (or by using Laplace transforms) to be
๐‘ฆ๐‘=๐น
๐›ฝ2โˆ’๐œ”2cos ๐œ”๐‘ก.
If the forcing function is a linear combination of simple cosine functions, so
that the differential equation is
๐‘ฆโ€ฒโ€ฒ +๐›ฝ2๐‘ฆ=
๐‘
โˆ‘
๐‘›=1
๐น๐‘›cos ๐œ”๐‘›๐‘ก
where ๐›ฝ2โˆ•=๐œ”2
๐‘›for any ๐‘›, then, by linearity, a particular solution is obtained
as a sum
๐‘ฆ๐‘(๐‘ก) =
๐‘
โˆ‘
๐‘›=1
๐น๐‘›
๐›ฝ2โˆ’๐œ”2
๐‘›
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
pf3
pf4
pf5
pf8
pf9
pfa
pfd
pfe
pff
pf12
pf13
pf14
pf15
pf16
pf17
pf18
pf19
pf1a
pf1b
pf1c
pf1d
pf1e
pf1f
pf20
pf21
pf22
pf23
pf24
pf25
pf26
pf27
pf28
pf29
pf2a
pf2b
pf2c
pf2d
pf2e
pf2f
pf30
pf31
pf32
pf33
pf34
pf35

Partial preview of the text

Download Fourier Series: Theory and Applications in Differential Equations and more Slides Fourier Transform and Series in PDF only on Docsity!

Chapter 10

Fourier Series

10.1 Periodic Functions and Orthogonality Relations

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

๐›ฝ^2 โˆ’ ๐œ”^2

cos ๐œ”๐‘ก.

If the forcing function is a linear combination of simple cosine functions, so that the differential equation is

๐‘ฆโ€ฒโ€ฒ^ + ๐›ฝ^2 ๐‘ฆ =

X^ ๐‘

๐‘›=

๐น๐‘› cos ๐œ”๐‘›๐‘ก

where ๐›ฝ^2 โˆ•= ๐œ”^2 ๐‘› for any ๐‘›, then, by linearity, a particular solution is obtained as a sum

๐‘ฆ๐‘(๐‘ก) =

X^ ๐‘

๐‘›=

๐›ฝ^2 โˆ’ ๐œ”^2 ๐‘›

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

Periodic Functions

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.

  1. cos 2๐‘ก
  2. sin 32 (๐‘ก โˆ’ ๐œ‹)
  3. 1 + cos ๐‘ก + cos 2๐‘ก
  4. sin 2๐œ‹๐‘ก + sin 3๐œ‹๐‘ก

โ–ถ Solution. 1. ๐‘ƒ = 2๐œ‹/2 = ๐œ‹.

  1. sin 32 (๐‘ก โˆ’ ๐œ‹) = sin( 32 ๐‘ก โˆ’ 32 ๐œ‹) = sin 32 ๐‘ก cos 32 ๐œ‹ โˆ’ cos 32 ๐‘ก sin 32 ๐œ‹ = cos 32 ๐‘ก. Thus, ๐‘ƒ = 2๐œ‹/(3/2) = 4๐œ‹/ 3.

10.1 Periodic Functions and Orthogonality Relations 727

  1. The constant function 1 is periodic with any period ๐‘, the fundamental period of cos ๐‘ก is 2 ๐œ‹ and all the periods are of the form 2 ๐‘›๐œ‹ for a positive integer ๐‘›, and the fundamental period of cos 2๐‘ก is ๐œ‹ with ๐‘š๐œ‹ being all the possible periods. Thus, the smallest number that works as a period for all the functions is 2 ๐œ‹ and this is also the smallest period for the sum. Hence ๐‘ƒ = 2๐œ‹.
  2. The fundamental period of sin 2๐œ‹๐‘ก is 2 ๐œ‹/ 2 ๐œ‹ = 1 so that all of the periods have the form ๐‘› for ๐‘› a positive integer, and the fundamental period of sin 3๐œ‹๐‘ก is 2 ๐œ‹/ 3 ๐œ‹ = 2/ 3 so that all of the periods have the form 2 ๐‘š/ 3 for ๐‘š a positive integer. Thus, the smallest number that works as a period for both functions is 2 and thus ๐‘ƒ = 2. โ—€

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

Z ๐ฟ

โˆ’๐ฟ

sin

Z ๐ฟ

โˆ’๐ฟ

cos

๐‘ก sin

Z ๐ฟ

โˆ’๐ฟ

cos

๐‘ก cos

๐ฟ, if ๐‘› = ๐‘š, 0 if ๐‘› โˆ•= ๐‘š.

Z ๐ฟ

โˆ’๐ฟ

sin

๐‘ก sin

๐ฟ, if ๐‘› = ๐‘š, 0 if ๐‘› โˆ•= ๐‘š.

10.1 Periodic Functions and Orthogonality Relations 729

  1. Since ๐‘”(โˆ’๐‘ก) = 3(โˆ’๐‘ก) โˆ’ (โˆ’๐‘ก)^2 sin 3(โˆ’๐‘ก) = โˆ’ 3 ๐‘ก + ๐‘ก^2 sin 3๐‘ก = โˆ’๐‘”(๐‘ก) for all ๐‘ก, it follows that ๐‘” is an odd function.
  2. Since โ„Ž(โˆ’๐‘ก) = (โˆ’๐‘ก)^2 + (โˆ’๐‘ก) + 1 = ๐‘ก^2 โˆ’ ๐‘ก + 1 = ๐‘ก^2 + ๐‘ก + 1 = โ„Ž(๐‘ก) โ‡โ‡’ โˆ’๐‘ก = ๐‘ก โ‡โ‡’ ๐‘ก = 0, we conclude that โ„Ž is not even. Similarly, โ„Ž(โˆ’๐‘ก) = โˆ’โ„Ž(๐‘ก) โ‡โ‡’ ๐‘ก^2 โˆ’๐‘ก+1 = โˆ’๐‘ก^2 โˆ’๐‘กโˆ’ 1 โ‡โ‡’ ๐‘ก^2 +1 = (โˆ’๐‘ก^2 +1) โ‡โ‡’ ๐‘ก^2 +1 = 0, which is not true for any ๐‘ก. Thus โ„Ž is not odd, and hence it is neither even or odd. โ—€

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 โˆ’๐ฟ โ‰ค ๐‘ก โ‰ค ๐ฟ.

  1. If both ๐‘“ and ๐‘” are even then ๐‘“ + ๐‘” and ๐‘“ ๐‘” are even.
  2. If both ๐‘“ and ๐‘” are odd, then ๐‘“ + ๐‘” is odd and ๐‘“ ๐‘” is even.
  3. If ๐‘“ is even and ๐‘” is odd, then ๐‘“ ๐‘” is odd.
  4. If ๐‘“ is even, then (^) Z ๐ฟ

โˆ’๐ฟ

Z ๐ฟ

0

  1. If ๐‘“ is odd, then (^) Z ๐ฟ

โˆ’๐ฟ

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

Exercises

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

  1. ๐‘“ (๐‘ก) = sin ๐‘ก, 0 < ๐‘ก โ‰ค ๐œ‹; ๐‘“ (๐‘ก + ๐œ‹) = ๐‘“ (๐‘ก).

0 if โˆ’๐œ‹ โ‰ค ๐‘ก < 0 sin ๐‘ก if 0 < ๐‘ก โ‰ค ๐œ‹

โˆ’๐‘ก if โˆ’ 1 โ‰ค ๐‘ก < 0 1 if 0 โ‰ค ๐‘ก < 1

8. ๐‘“ (๐‘ก) = ๐‘ก^2 , โˆ’ 1 < ๐‘ก โ‰ค 1 ; ๐‘“ (๐‘ก + 2) = ๐‘“ (๐‘ก).

9. ๐‘“ (๐‘ก) = ๐‘ก^2 , 0 < ๐‘ก โ‰ค 2 ; ๐‘“ (๐‘ก + 2) = ๐‘“ (๐‘ก).

10โ€“17. Determine if the given function is periodic. If it is periodic find the fundamental period.

  1. 1
  2. sin 2๐‘ก
  3. 1 + cos 3๐œ‹๐‘ก
  4. cos 2๐‘ก + sin 3๐‘ก
  5. ๐‘ก + sin 2๐‘ก
  6. sin^2 ๐‘ก
  7. cos ๐‘ก + cos ๐œ‹๐‘ก
  8. sin ๐‘ก + sin 2๐‘ก + sin 3๐‘ก

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

Z ๐ฟ

โˆ’๐ฟ

cos

= 0

X^ โˆž

๐‘›=

h ๐‘Ž๐‘›

Z ๐ฟ

โˆ’๐ฟ

cos

๐‘ก cos

=

โŽง ๏ฃดโŽจ ๏ฃดโŽฉ

0 if ๐‘› โˆ•= ๐‘š ๐ฟ if ๐‘› = ๐‘š

Z ๐ฟ

โˆ’๐ฟ

sin

๐‘ก cos

= 0

i = ๐‘Ž๐‘š๐ฟ.

Thus,

๐‘Ž๐‘š =

Z ๐ฟ

โˆ’๐ฟ

๐‘“ (๐‘ก) cos

or, replacing the index ๐‘š by ๐‘›,

Z ๐ฟ

โˆ’๐ฟ

๐‘“ (๐‘ก) cos

To compute ๐‘Ž 0 , integrate both sides of (1) from โˆ’๐ฟ to ๐ฟ to get Z (^) ๐ฟ

โˆ’๐ฟ

Z ๐ฟ

โˆ’๐ฟ

=2๐ฟ

X^ โˆž

๐‘›=

h ๐‘Ž๐‘›

Z ๐ฟ

โˆ’๐ฟ

cos

=

Z ๐ฟ

โˆ’๐ฟ

sin

= 0

i

Thus,

๐‘Ž 0 =

Z ๐ฟ

โˆ’๐ฟ

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

Z ๐ฟ

โˆ’๐ฟ

๐‘“ (๐‘ก) 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

Z ๐ฟ

โˆ’๐ฟ

sin

= 0

X^ โˆž

๐‘›=

h ๐‘Ž๐‘›

Z ๐ฟ

โˆ’๐ฟ

cos

๐‘ก sin

= 0

Z ๐ฟ

โˆ’๐ฟ

sin

๐‘ก sin

=

โŽง ๏ฃดโŽจ ๏ฃดโŽฉ

0 if ๐‘› โˆ•= ๐‘š ๐ฟ if ๐‘› = ๐‘š

i = ๐‘๐‘š๐ฟ.

Thus, replacing the index ๐‘š by ๐‘›, we find that

Z ๐ฟ

โˆ’๐ฟ

๐‘“ (๐‘ก) 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):

Z ๐ฟ

โˆ’๐ฟ

Z ๐ฟ

โˆ’๐ฟ

๐‘“ (๐‘ก) cos

Z ๐ฟ

โˆ’๐ฟ

๐‘“ (๐‘ก) 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

Z ๐ฟ

โˆ’๐ฟ

๐‘“ (๐‘ก) cos

Z 2 ๐ฟ

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

๐‘Ž๐‘› =

Z ๐ฟ

โˆ’๐ฟ

๐‘“ (๐‘ก) 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).

Z ๐ฟ

โˆ’๐ฟ

๐‘“ (๐‘ก) sin

Z 0

โˆ’๐ฟ

๐‘“ (๐‘ก) sin

Z ๐ฟ

0

๐‘“ (๐‘ก) sin

Z 0

โˆ’๐ฟ

(โˆ’1) sin

Z ๐ฟ

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

Z ๐ฟ

โˆ’๐ฟ

๐‘“ (๐‘ก) 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

  1. It remains to compute the coefficients ๐‘Ž๐‘› from (6) and (7). For ๐‘› = 0, ๐‘Ž 0 is twice the average of ๐‘“ (๐‘ก) over the period [โˆ’๐ฟ, ๐ฟ], which is easily seen to be 0 from the graph of ๐‘“ (๐‘ก). For ๐‘› โ‰ฅ 1 ,

Z ๐ฟ

โˆ’๐ฟ

๐‘“ (๐‘ก) cos

Z โˆ’๐ฟ/ 2

โˆ’๐ฟ

๐‘“ (๐‘ก) cos

Z ๐ฟ/ 2

โˆ’๐ฟ/ 2

๐‘“ (๐‘ก) cos

Z ๐ฟ

๐ฟ/ 2

๐‘“ (๐‘ก) cos

738 10 Fourier Series

Z ๐œ‹

โˆ’๐œ‹

Z ๐œ‹

0

Z ๐œ‹

0

๐‘ก^2

๐œ‹

0

For ๐‘› โ‰ฅ 1 , using the fact that ๐‘“ (๐‘ก) is even, and taking advantage of the integration by parts formula Z ๐‘ฅ cos ๐‘ฅ ๐‘‘๐‘ฅ = ๐‘ฅ sin ๐‘ฅ + cos ๐‘ฅ + ๐ถ,

Z ๐œ‹

โˆ’๐œ‹

๐‘“ (๐‘ก) cos ๐‘›๐‘ก ๐‘‘๐‘ก =

Z ๐œ‹

0

๐‘“ (๐‘ก) cos ๐‘›๐‘ก ๐‘‘๐‘ก

Z ๐œ‹

0

๐‘ก cos ๐‘›๐‘ก ๐‘‘๐‘ก

let ๐‘ฅ = ๐‘›๐‘ก so ๐‘ก =

and ๐‘‘๐‘ก =

Z ๐‘›๐œ‹

0

cos ๐‘ฅ

๐‘›^2 ๐œ‹

[๐‘ฅ sin ๐‘ฅ + cos ๐‘ฅ]๐‘ฅ๐‘ฅ==0๐‘›๐œ‹

๐‘›^2 ๐œ‹

[cos ๐‘›๐œ‹ โˆ’ 1] =

๐‘›^2 ๐œ‹

[(โˆ’1)๐‘›^ โˆ’ 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

X^ โˆž

๐‘˜=

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 ๐ฟ

Z

๐‘ฅ sin ๐‘ฅ ๐‘‘๐‘ฅ = sin ๐‘ฅ โˆ’ ๐‘ฅ cos ๐‘ฅ + ๐ถ,

Z ๐ฟ

โˆ’๐ฟ

๐‘“ (๐‘ก) sin

Z ๐ฟ

0

๐‘ก sin

let ๐‘ฅ =

๐‘ก so ๐‘ก =

๐‘ฅ and ๐‘‘๐‘ก =

Z ๐‘›๐œ‹

0

๐‘ฅ sin ๐‘ฅ

๐‘›^2 ๐œ‹^2

Z ๐‘›๐œ‹

0

๐‘ฅ sin ๐‘ฅ ๐‘‘๐‘ฅ

๐‘›^2 ๐œ‹^2

[sin ๐‘ฅ โˆ’ ๐‘ฅ cos ๐‘ฅ]๐‘ฅ๐‘ฅ==0๐‘›๐œ‹

๐‘›^2 ๐œ‹^2

(๐‘›๐œ‹ cos ๐‘›๐œ‹) = โˆ’

Therefore, the Fourier series is

sin

sin

sin

sin

X^ โˆž

๐‘›=

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

Z ๐‘›๐œ‹

0

sin ๐‘ฅ

๐‘›^2 ๐œ‹^2

Z ๐‘›๐œ‹

0

๐‘ฅ sin ๐‘ฅ ๐‘‘๐‘ฅ

๐‘›^2 ๐œ‹^2

[sin ๐‘ฅ โˆ’ ๐‘ฅ cos ๐‘ฅ]๐‘ฅ๐‘ฅ==0๐‘›๐œ‹

=

๐‘›^2 ๐œ‹^2

(โˆ’๐‘›๐œ‹ cos ๐‘›๐œ‹) = โˆ’

Thus,

๐‘๐‘› =

for all ๐‘› โ‰ฅ 1.

Therefore, the Fourier series is

๐œ‹^2

X^ โˆž

๐‘˜=

(2๐‘˜ + 1)^2

cos

X^ โˆž

๐‘›=

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,

Z 2 ๐œ‹

0

Z โ„Ž

0

Z โ„Ž

0

cos ๐‘›๐‘ก ๐‘‘๐‘ก = sin ๐‘›โ„Ž ๐œ‹๐‘›

, and

Z โ„Ž

0

sin ๐‘›๐‘ก ๐‘‘๐‘ก =

1 โˆ’ cos ๐‘›โ„Ž ๐œ‹๐‘›

742 10 Fourier Series

and the Fourier series is

X^ โˆž

๐‘›=

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

X^ โˆž

๐‘›=โˆ’โˆž

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^ โˆž

๐‘›=โˆ’โˆž

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.