Homepage › Solution manuals › Stephen Abbott › Understanding Analysis › Exercise 8.5.10
Exercise 8.5.10
- (a)
-
Show that
- (b)
- Graph the function for several values of . Where is large, and where is it close to zero? Compare this function to the Dirichlet kernel . Now, prove that uniformly on any set of the form , where is fixed (and is restricted to the interval .)
- (c)
- Prove that .
- (d)
-
To finish the proof of Fejér’s Theorem, first choose a
so that
Set up a single integral that represents the difference and divide this integral into sets where and . Explain why it is possible to make each of these integrals sufficiently small, independently of the choice of .
Answers
- (a)
-
Note that
. We have
- (b)
-
is large when
is close to zero, and close to zero everywhere else. In contrast,
continues to oscillate with large amplitude away from
. To show
uniformly when
, note that under this condition,
which approaches zero as ; hence uniformly when .
- (c)
-
Recall Fact 3 from earlier stating
.
- (d)
-
For the set where ,
and since is chosen freely, this part of the integral can be made arbitrarily small.
For the set where , let be a bound on . Then
Now since uniformly, we can choose large enough so that
again bringing the integral arbitrarily small.