Corrige de lexercice 8 sur les series de Fourier

Exercice 8 (Le phenomene de Gibbs)

Soit f 2-periodique impaire, definie par
(
1 si x ]0, [
f (x) =
0 si x = k
1. Expliciter la serie de Fourier de f . Prouver quelle converge simplement
vers f .
2. Soit Sn la (2n 1)eme somme partielle de la serie de Fourier de f ,
n
4 X sin(2k 1)x
Sn (x) = .
k=1 2k 1

Demontrer que Sn est derivable, avec, pour tout x

2 sin 2nx


pour x R \ Z
0
sin x
Sn (x) =
(1)q 4n pour x = q.



En deduire que Sn presente (2n 1) extrema locaux sur lintervalle [0, ].
Montrer que le premier dentre eux est un maximum, quon notera an et

quil est atteint en x = .
2n
2 x sin 2nt
Z
3. Montrer que, pour tout x [0, [ Sn (x) = dt (en convenant
0 sin t
que, pour t = 0 la valeur de sin(2nt)/ sin t est 2n). En deduire que
2
Z
sin t
an = t dt
0 (2n) sin 2n
t
(en convenant que, pour t = 0 la valeur de sin(t)/(2n sin( 2n )) est 1).
Z
2 sin t
4. Montrer que lim an = dt.
n 0 t
5. Montrer que Z
sin t
dt = 1.85193 . . .
0 t
et en deduire que lim an = 1.1789 . . .
n

1
Universite Lyon 1 Capes Math. 2007-2008

Solution
1. La fonction f est impaire. Sa restriction a chaque intervalle ]k, (k + 1)[
se prolonge en la fonction constante t 7 (1)k sur [k, (k + 1)], qui est
evidemment de classe C 1 . La fonction f est donc de classe C 1 par morceaux.
Explicitons les coefficients an et bn de sa serie Fourier trigonometrique.
Puisque f est impaire les an sont tous nuls. Calculons bn pour n 1.
Z
2
Z
2 2
bn = f (t) sin(nt) dt = sin(nt) dt = [(1)n 1].
2 0 n

Il en resulte b2n = 0 et b2n1 = 4/(/(2n 1)). La serie de Fourier de f est

donc
4 X sin(2n 1)x

n=1 2n 1
Puisque f est de classe C 1 par morceaux, continue sur R \ Z, par le
theoreme de Dirichlet, sa serie de Fourier est simplement convergente, et
sa somme S satisfait

f (x)
pour x R \ Z

S(x) = +
f (x ) + f (x ) = 1 1 = 0 pour x Z


2 2
Puisque f (k) = 0, dans tous les cas S(x) = f (x), autrement dit f concide
avec la somme de sa serie de Fourier.
n n
4 X sin(2k 1)x 0 4X
2. Sn (x) = donne Sn (x) = cos(2k 1)x. Explicitons
k=1 2k 1 k=1
cette somme.
(a) Pour x = q, les entiers (2k 1)q sont tous de la parite de q, et donc
cos((2k 1)q) = (1)q . Il en resulte Sn0 (q) = (1)q 4n/, et en
particulier, lorsque q = 0, Sn0 (0) = 4n/.
(b) Pour x 6= k, en notant z = eix , (qui est different de 1) on a
n
4X 4
Sn0 (x) = cos(2k 1)x = Re z(1 + z 2 + + z 2n2 )
k=1
1 z 2n
    2inx 
4 4 e 1 2 sin 2nx
= Re z 2
= Re ix ix
=
1z e e sin x

Puisque S(0) = S() = 4n/ 6= 0, les 0 de Sn0 appartenant a lintervalle

[0, ] sont les k/(2n) avec k = 1, 2, . . . (2n 1). Le premier extremum de
Sn est atteint en /(2n), cest un maximum car sin(2nx) est positif sur
[0, /(2n)] et change de signe au passage en /(2n).

Exercices danalyse 2 M. Deleglise

Universite Lyon 1 Capes Math. 2007-2008

3. Puisque Sn (0) est nul, et Sn de classe C 1 , on a pour tout x

Z x
S(x) = Sn (x) Sn (0) = Sn0 (u) du.
0
Z
2n
En particulier an = Sn0 (u) du et, en ecrivant u = t/(2n),
0

2 sin t
Z   Z
t
1 0
an = S dt = t dt,
0 2n n
2n 0 2n sin 2n
 
1 0 t 2 sin t
car, par la question 2 on a Sn = t pour tout t [0, ]
2n 2n 2n sin 2n
sin t
en convenant que pour t = 0 on a t = 1.
2n sin 2n
 
sin t sin t
4. Demontrons que t converge uniformement vers pour t
2n sin 2n n t
[0, ].
Pour 0 < t on ecrit
 t t   t t 
     
sin t   sin t   2n sin 2n   2n sin 2n 
   
 sin t
=   (1)

 t t t   t t
 2n sin  sin   sin
    
2n 2n 2n
 

La formule de Taylor-Lagrange a lordre 2 appliquee a la fonction sin sur

x3
lintervalle [0, x] donne sin x x = cos(x) avec 0 < < 1. Il en resulte
6
   3 
 t
 sin   t  .
t   
t [0, ],  2n 3
(2)
2n   48n 

Sur lintervalle [0, /2] la fonction sinus est concave. Le graphe de sa res-
triction a [0, /2] est donc (( au dessus )) du graphe de la droite dequation
y = 2x/ reliant les points (0, 0 et (/2, sin /2). Cest a dire que lon a
2t
t [0, /2], sin t

et donc
t t
n 1, t [0, ],
sin
2n n
Avec (1) et (2) on en deduit pour n 1 et t ]0, ],
 t3 /(48n3 ) t2 3
 
 sin t sin t

 2n sin t  = ,
2n
t  t/(n) 48n2 48n

Exercices danalyse 3 M. Deleglise

Universite Lyon 1 Capes Math. 2007-2008

et cette majoration est encore verifiee lorsque t = 0 car dans ce cas le terme
sin t
gauche est 1 1 = 0. Ceci prouve la convergence uniforme de t vers
2n sin 2n
sin t
sur [0, ]. On peut donc ecrire
t
Z Z   Z
sin t sin t sin t
lim an = lim t dt = lim t dt = dt.
n n 0 2n sin
2n 0 n 2n sin
2n 0 t
5. On part de

X t2n+1
sin t = (1)n
n=0
(2n + 1)!
qui donne immediatement, pour t 6= 0,

sin t X t2n
= (1)n .
t n=0
(2n + 1)!

La somme de cette serie entiere de rayon de convergence infini, est donc le

prolongement par continuite en 0 de sin t/t. La convergence est uniforme
sur tout intervalle [0, a], en particulier sur lintervalle [0, ], et on peut ecrire
Z Z
sin t X n t2n X 2n+1
= (1) = (1)n (3)
0 t n=0 0 (2n + 1)! n=0
(2n + 1)(2n + 1)!

2n+1
Notons un = . Pour n 1,
(2n + 1)(2n + 1)!
un+1 2n + 1 2 2 2
= 1.
un (2n + 2)(2n + 3)2 (2n + 3)2 25
Pour n = 0 on verifie immediatement que u1 /u0 = 2 /18 1. La suite
(un ) est donc decroissante et le theoreme des series alternees sapplique
a la serie (3). Les sommes partielles successives sont alternativement des
valeurs approchees par exces et par defaut de la somme de cette serie. Le
calcul des premieres sommes partielles donne
5
X 6
X
(1)n un = 1.851902 . . . et (1)n un = 1.851938 . . .
n=0 n=0
Z
sin t
puis lencadrement 1.85190 < dt < 1.85194. Avec la question 4 on
0 t
en deduit
2 2
1.1789 < 1.85190 < lim an < 1.85194 < 1.1790,

et lim an = 1.1789 . . ..
n

Exercices danalyse 4 M. Deleglise