Exercise 8.5.10

(a)
Show that
σ N ( x ) = 1 π π π f ( u + x ) F N ( u ) du
(b)
Graph the function F N ( u ) for several values of N . Where is F N large, and where is it close to zero? Compare this function to the Dirichlet kernel D N ( u ) . Now, prove that F N 0 uniformly on any set of the form { u : | u | δ } , where δ > 0 is fixed (and u is restricted to the interval ( π , π ] .)
(c)
Prove that π π F N ( u ) du = π .
(d)
To finish the proof of Fejér’s Theorem, first choose a δ > 0 so that
| u | < δ    implies     | f ( x + u ) f ( x ) | < 𝜖 .

Set up a single integral that represents the difference σ N ( x ) f ( x ) and divide this integral into sets where | u | δ and | u | δ . Explain why it is possible to make each of these integrals sufficiently small, independently of the choice of x .

Answers

(a)
Note that D 0 ( u ) = 1 2 . We have
σ N ( x ) = 1 N + 1 n = 0 N S n ( x ) = 1 N + 1 n = 0 N 1 π π π f ( u + x ) D N ( u ) du = 1 π π π f ( u + x ) ( 1 N + 1 ) ( 1 2 + n = 1 N D N ( u ) ) du = 1 π π π f ( u + x ) F N ( u ) du
(b)
F N ( u ) is large when u is close to zero, and close to zero everywhere else. In contrast, D N ( u ) continues to oscillate with large amplitude away from u = 0 . To show F N 0 uniformly when | u | δ , note that under this condition,
| F N ( u ) | = | 1 2 ( N + 1 ) ( sin ( ( N + 1 ) u 2 ) sin u 2 ) | | 1 2 ( N + 1 ) sin δ 2 |

which approaches zero as N ; hence F N ( u ) 0 uniformly when | u | δ .

(c)
Recall Fact 3 from earlier stating π π D N ( 𝜃 ) d𝜃 = π .
π π F N ( u ) du = 1 N + 1 π π n = 0 N D n ( u ) du = 1 N + 1 ( N + 1 ) π = π
(d)
σ N ( x ) f ( x ) = 1 π π π f ( u + x ) F N ( u ) du 1 π π π f ( x ) F N ( u ) du = 1 π π π ( f ( u + x ) f ( x ) ) F N ( u ) du

For the set where | u | δ ,

| σ N ( x ) f ( x ) | 1 π π π | f ( u + x ) f ( x ) | F N ( u ) du 𝜖 π π π F N ( u ) = 𝜖

and since 𝜖 is chosen freely, this part of the integral can be made arbitrarily small.

For the set where | u | δ , let M be a bound on f ( x ) . Then

| σ N ( x ) f ( x ) | 1 π π π | f ( u + x ) f ( x ) | F N ( u ) du 2 M π π π F N ( u ) du

Now since F N 0 uniformly, we can choose N large enough so that

π π F N ( u ) < 𝜖π 2 M

again bringing the integral arbitrarily small.

User profile picture
2022-01-27 00:00
Comments