`mes de Mathe

matiques
Proble
nome
`ne de Gibbs
Phe

Enonc
e

Ph
enom`
ene de Gibbs

On definit une application f , 2-periodique et impaire par :

x ]0, [, f (x) = 1
f (0) = f () = 0

1. Montrer que le developpement en serie de Fourier de f est : f (x) =

+
4 X sin(2n + 1)x
. [S]
n=0
2n + 1

n1
4 X sin(2k + 1)x
2. Pour tout entier n 1, on pose : x IR, fn (x) =
.
k=0
2k + 1

On sait donc que la suite (fn )n1 est simplement convergente vers f sur IR.
(a) La convergence de la suite (fn )n1 est-elle uniforme sur IR ? [ S ]
n1
X

sin2 nx
. [S]
(b) Montrer que si x IR ZZ, et n IN , Tn (x) =
sin(2k + 1)x =
sin x
k=0
i h
(c) On se donne un reel a de 0, . Preciser un majorant de |Tn (x)| sur [a, a]. [ S ]
2
4
.
(d) Montrer que pour n dans IN et x dans [a, a], on a : |f (x) fn (x)|
n sin a
Indication : considerer fn+p (x) fn (x) (o`
u p 2), remarquer que sin(2k + 1)x =
Tk+1 (x) Tk (x), majorer en valeur absolue et faire tendre p vers +. [ S ]

(e) En deduire que (fn )n1 converge uniformement vers f sur tout compact de ]0, [. [ S ]
3. Dans cette question, on etudie les variations de fn .

(a) Montrer que pour letude de fn , on peut se ramener `a lintervalle I = [0, ]. [ S ]

2
2
sin
2nx
(b) Montrer que : x IR ZZ, n IN , fn0 (x) =
. [S]
sin x

(c) Montrer que fn presente un premier maximum sur I en xn =

. [S]
2n
Z
2 sin t
(d) Montrer que lim fn (xn ) =
dt.
n+
0
t
sin t
Indication : utiliser une somme de Riemann pour lapplication (t) =
. [S]
t

c
Page 1
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
nome
`ne de Gibbs
Phe
Corrige

Corrig
e du probl`
eme
1. Lapplication f est 2-periodique et de classe C 1 par morceaux.
1
En chaque discontinuite x0 , on a f (x0 ) = (lim
f + lim
f ) : f est sa propre regularisee.
2 x0
x+
0
Dapr`es le theor`eme de Dirichlet, f est la somme sur IR de sa serie de Fourier.
Lapplication f etant impaire, sa serie de Fourier est une serie de sinus.
Z
+
X
2
On a donc, pour tout x de IR : f (x) =
bn (f ) sin nx, o`
u bn (f ) =
f (t) sin nt dt.

0
 n=1

Z
2
2
1
2
n 1, bn (f ) =
sin nt dt =
cos nt =
(1 (1)n ).
0

n
n
0
4
Autrement dit : n 1, b2n (f ) = 0 et n 0, b2n+1 (f ) =
.
(2n + 1)
+
4 X sin(2n + 1)x
On en deduit : x IR, f (x) =
. [Q]
n=0
2n + 1
2. (a) La reponse `a cette question est negative, car les applications fn sont continues sur
IR alors que f presente des discontinuites. [ Q ]
(b) On constate effectivement que, pour tout n de IN et tout x de IR :
n1
n1
X
1X
(cos 2kx cos(2k + 2)x))
Tn (x) sin x =
sin x sin(2k + 1)x =
2
k=0
k=0
1 cos 2nx
= sin2 nx
2
Si x appartient `a IR ZZ, le resultat sen deduit par division par sin x. [ Q ]
=

sin2 nx
1

. [Q]
sin x
sin a
(d) Pour tous entiers n et p, et pour tout reel x :
(c) Pour tout x de [a, a], on a |Tn (x)| =

n+p1
X sin(2k + 1)x n+p1
X

1
(fn+p (x) fn (x)) =
=
(Tk+1 (x) Tk (x))
4
2k + 1
2k + 1
k=n
k=n
n+p1

n+p
n+p1
X Tk+1 (x) n+p1
X Tk (x)
X
X Tk (x)
Tk (x)
=

2k + 1
2k + 1 k=n+1 2k 1
2k + 1
k=n
k=n
k=n
n+p1

X
k=n+1


Tk (x)

1
1 
Tn+p (x)
Tn (x)

2k 1 2k + 1
2(n + p) 1 2n + 1

c
Page 2
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
nome
`ne de Gibbs
Phe
Corrige

On en deduit, pour tous entiers n et p, et pour tout reel x de [a, a] :

n+p1
 1
X
1 
|Tn+p (x)|
|Tn (x)|

|fn+p (x) fn (x)|

|Tk (x)|

+
+
4
2k 1 2k + 1
2(n + p) 1 2n + 1
k=n+1
!
n+p1
X
1
1 
1
1
1

+
+

sin a k=n+1 2k 1 2k + 1
2(n + p) 1 2n + 1

1
2
1
|fn+p (x) fn (x)|

.
4
sin a 2n + 1
n sin a
4
.
Cette inegalite secrit |fn+p (x) fn (x)|
n sin a
On fait enfin tendre p vers + (lentier n et le reel x restant fixe).
4
On trouve : n 1, x [a, a], |f (x) fn (x)|
. [Q]
i nsin
h a
(e) Soit K un compact inclus dans ]0, [. Il existe a de 0,
tel que K [a, a].
2
Le resultat precedent montre alors que sup |f (x) fn (x)| tend vers 0 quand n .
Apr`es simplification :

xK

Autrement dit la suite (fn )n1 est uniformement convergente vers f sur K. [ Q ]
3. (a) Lapplication fn est 2-periodique et impaire.
Letude de ses variations peut donc etre ramenee `a lintervalle [0, ].
Mais dautre part, pour tout x de [0, ], fn ( x) = fn (x).

.
2h
i
Cette derni`ere propriete permet de ramener letude de f `a lintervalle I = 0, .
2
[Q]
n1
4X
2 sin 2nx
(b) Il faut prouver
cos(2k + 1)x =
. Cela resulte du calcul suivant :
k=0
sin x
La courbe representative de f est donc symetrique par rapport `a laxe x =

2 sin x

n1
X

cos(2k + 1)x =

k=0

n1
X

2 sin x cos(2k + 1)x =

k=0

n
X
k=1

n1
X

(sin(2k + 2)x sin 2kx)

k=0

sin 2kx

n1
X

[Q]

sin 2kx = sin 2nx.

k=0

i i
4n
> 0. Sur lintervalle 0, , on a :

2
sin
2nx
k
fn0 (x) = 0
= 0 x = xn,k =
, avec 1 k n.
sin x
2n
En chacun de ces n points, fn0 sannule en changeant de signe : fn presente donc
extremum relatif en chacun deux.

En particulier, f presente un premier extremum (un maximum) en xn =

. [Q]
2n

(c) On observe que fn0 (0) =

c
Page 3
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
nome
`ne de Gibbs
Phe
Corrige

n1
n1
(2k + 1)
2X
2n
(2k + 1)
4X 1
(d) n 1, fn (xn ) =
sin
=
sin
.
k=0 2k + 1
2n
n k=0 (2k + 1)
2n



k (k + 1)
sin t
1
On pose (t) =
( est continue sur IR) et xk = k +

,
.
t
2 n
n
n
n1
n1
2X
2X
(xk ) =
(xk+1 xk )(xk ).
On constate que fn (xn ) =
n k=0
k=0
Z
On reconnait une somme de Riemann dont la limite est
(t) dt quand n +.
0
Z
2 sin t
dt. [ Q ]
Conclusion : lim fn (xn ) =
n+
0
t
Remarques :
On montre que la suite des maximums n = fn (xn ) est decroissante. On trouverait :
1 1.273239544, 5 1.182328209, 10 1.179814019 et 20 1.179188137.
On montre que = lim n 1.178979744.
n+

Ce resultat (cest-`a-dire cette sorte de resonance qui ne sattenue pas au voisinage de

la discontinuite de f ) est connu sous le nom de phenom`ene de Gibbs.
Pour lillustrer, voici les courbes representatives des fn , pour n {1, 2, 5, 10, 15, 20} sur
lintervalle [0, 2 ]. Sur chaque trace on a egalement represente la fonction f (constante 1)
et la valeur constante (le trait en pointilles.)

c
Page 4
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
nome
`ne de Gibbs
Phe
Corrige

c
Page 5
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.