Fismat 371 380
Fismat 371 380
Fismat 371 380
16. Let f(x) = sin2 x, 0 < x < π. Sketch (or computer plot) the even function fc o f
period 2π, the odd function fs o f period 2π, and the function fp of period π, each of
which is equal to f(x) on (0, π). Expand each of these functions in an appropriate
Fourier series.
In Problems 17 to 22 you are given f(x) on an interval, say 0 < x < b. Sketch several
periods of the even function fc of period 2b, the odd function fs of period 2b, and the
function fp of period b, each of which equals f(x) on 0 < x < b. Expand each of the three
functions in an appropriate Fourier series.
17. f( x) =
(
1, 0 < x < 1
2 ,
−1, 1
2 < x < 1.
18. f( x) =
(
1, 0 < x < 1 ,
0, 1 < x < 3 .
19. f( x) = | cos x|, 0 < x < π. 20. f(x) = x2 , 0 < x < 1.
21. f( x) =
(
x, 0 < x < 1 ,
2 − x, 1 < x < 2 .
22. f( x) =
(
10, 0 < x < 1 0,
20, 1 0 < x < 20.
23. If a violin string is plucked (pulled aside and let
go), it is possible to find a formula f(x, t) for
the displacement at time t of any point x of the
vibrating string from its equilibrium position. It
turns out that in solving this problem we need
to expand the function f(x, 0), whose graph is the initial shape of the string, in a
Fourier sine series. Find this series if a string of length l i s pulled aside a small
distance h a t its center, as shown.
24. If, in Problem 23, the string is stopped at the
center and half of it is plucked, then the function
to be expanded in a sine series is shown
here. Find the series. Caution: Note that
f(x, 0 ) = 0 for l/2 < x< l.
25. Suppose that f(x) and its derivative f
_
(x) are both expanded in Fourier series on
(−π ,π) . Call the coefficients in the f(x) series an a
nd bn a
nd the coefficients in the
f
_
(x) series a
_
na nd b
_
Write the integral for an [equation (5.9)] and integrate it
n.
by parts to get an integral of f
_
(x) sinnx. Recognize this integral in terms of b
_
n
[equation (5.10) for f
_
(x)] and so show that b
_
n=
−nan. (In the integration by
parts, the integrated term is zero because f(π) = f(−π) since f is continuous—
sketch several periods.). Find a similar relation for a
_
na
nd bn. Now show that this
is the result you get by differentiating the f( x) series term by term. Thus you have
shown that the Fourier series for f
_
(x) is correctly given by differentiating the f( x)
series term by term (assuming that f
_
(x) is expandable in a Fourier series).
In Problems 26 and 27, find the indicated Fourier series. Then differentiate your result
repeatedly (both the function and the series) until you get a discontinuous function. Use a
computer to plot f( x) and the derivative functions. For each graph, plot on the same axes
one or more terms of the corresponding Fourier series. Note the number of terms needed
for a good fit (see comment at the end of the section).
26. f( x) =
(
3x2 +2x3, −1 < x < 0 ,
3x2 − 2x3 , 0
< x < 1 .
27. f( x) = (x2 − π2)2 , −π < x < π.
−
cos nπ
2
− 1
524nπ
+
7
8
cos nπ − cos n
π
2
524nπ
=
2
nπ
_−1 5
8
cos nπ
2
+1+
7
8
cos nπ
_
.
From this we can compute the values of bn for the first few values of n
:
(10.2)
b1 =
2
π
_1 − 7
8
_ =
2
π
_1
8
_ =
1
π
・1
4 b5 =
1
5π
・1
4
b2 =
2
2π
_15
8
+1+
7
8
_ =
1
2π
_15
2
_
b6 =
1
6π
_15
2
_
b3 =
2
3π
_1 − 7
8
_ =
1
3π
・1
4 b7 =
1
7π
・1
4
b4 =
2
4π
_−1 5
8
+1+
7
8
_ = 0 b8 = 0, etc.
1
−1
_
=
1
3.
By Parseval’s theorem (11.5), this is equal to _
∞
n|2,
−∞ |c so we have
1
3
=
∞
_
−∞
|c n| 2 =
1
π2 (1 + 1 +
1
4
+
1
4
+
1
9
+
1
9
+ ・ ・ ・ =
2
π2
∞
_
1
1
n2 .
Then we get the sum of the series
1 +
1
4
+
1
9
+ ・ ・ ・ =
∞
_
1
1
n2 = π2
2
・ 1
3
= π2
6 .
We have seen that a function given on (0, l) can be expanded in a sine series by
defining it on (−l , 0) to make it odd, or in a cosine series by defining it on (−l, 0)
to make it even. Here is another useful example of defining a function to suit our
purposes. (We will need this in Chapter 13.) Suppose we want to expand a function
defined on (0, l) in terms of the basis functions sin(n + 1
2 )π x
l=
sin ( 2n+1)πx
2l . Can
we do it, that is, do these functions make up a complete set for this problem? Note
that our proposed basis functions have period 4l, say (−2 l, 2l ) (observe the 2l in
the denominator where you are used to l). So given f( x) on (0, l), we can define it
as we like on (l, 2l) and on (−2 l, 0). We know (by the Dirichlet theorem) that the
functions sin n πx
2l a nd cos nπx
2l , all n, make up a complete set on (−2 l , 2l ). We need
to see how, on (0, l) we can use just the sines (that’s easy—make the function odd)
and only the odd values of n. It turns out (see Problem 11) that if we define f (x )
on (l, 2l ) to make it symmetric around x = l , then all the b n ’ s for even n
are equal
to zero. So our desired basis set is indeed a complete set on (0, l). Similarly we can
show (Problem 11) that the functions cos (2n+ 1)πx
2l m ake up a complete set on (0, l).
PROBLEMS, SECTION 11
1. Prove (11.4) for a function of period 2l e xpanded in a sine-cosine series.
2. Prove that if f(x) =
P∞
−∞ c n e inx, then the average value of [f( x) ]2 is
P∞
−∞ c n c − n .
Show by Problem 7.12 that for real f(x) this becomes (11.5).
3. If f(x) is complex, we usually want the average of the square of the absolute value
of f( x) . Recall that |f(x)|2 = f(x) ・ f(x), where ¯ f( x) means the complex conjugate
¯
of f( x) . Show that if a complex f( x) =
P∞
−∞ c n e inπx/l, then (11.5) holds.
4. When a current I f lows through a resistance R, the heat energy dissipated per second
is the average value of RI2. Let a periodic (not sinusoidal) current I( t) be expanded
in a Fourier series I(t) =
P∞
−∞ c ne 120inπt. Give a physical meaning to Parseval’s
theorem for this problem.
Use Parseval’s theorem and the results of the indicated problems to find the sum of the
series in Problems 5 to 9.
5. The series 1 +
1
32 +
1
52 + ・ ・ ・, using Problem 9.6.
6. The series
∞X
n=1
1
n4 , using Problem 9.9.