[http://mp.cpgedupuydelome.

fr] dD dit le 14 juin 2011

Ingalits et sries de Fourier

Exercice 1 [ 00965 ] [correction]
[Ingalit de Wirtinger]
Soit f : R C une fonction 2 priodique de classe C 1 telle que
Z 2
f =0
0
0

a) Relation entre cn (f ) et cn (f ) ?
b) Montrer que
Z 2
Z
2
|f (t)| dt 6
0

|f 0 (t)| dt

et prciser les cas dgalits.

Exercice 2 [ 00433 ] [correction]

[Ingalit de Poincar]
Soit f : [0, 1] R de classe C 1 vrifiant f (0) = f (1) = 0. Etablir
Z

f (t)2 dt 6

1
2

(f 0 (t)) dt

Observer que la constante de majoration ne peut tre amliore.

Exercice 3 [ 02752 ] [correction]

Soit f : R R une fonction 2-priodique de classe C 1 et vrifiant
Z 2
f (t) dt = 0
0

Montrer que
2

kf k 6

Z
0

(f 0 (t)) dt

Enoncs

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

Corrections

Corrections

Enfin, par imparit de g

g(x) dx = 0
Exercice 1 : [nonc]
a) Puisque f est C 1 , on a par intgration par parties cn (f 0 ) = incn (f ).
R 2
R 2
b) Puisque 0 f = 0, on a c0 (f ) = 0. Dautre part 0 f 0 = 0, donc c0 (f 0 ) = 0.
Par lgalit de Parseval :
2

+
X

|f (t)| dt = 2
0

En vertu de lingalit de Wirtinger

Z
Z
g(x)2 dx 6

|cn (f )|

+
X

|f 0 (t)| dt = 2

|cn (f 0 )|

n=

|cn (f )| =

+
X

n=

|cn (f )| + |cn (f )| 6

n=1

+
X

donc

+
X

|cn (f 0 )| + |cn (f 0 )| =

|cn (f 0 )|

n=

n=1
2

|f (t)| dt 6
0

|f 0 (t)| dt

g 0 (x)2 dx

Puis on obtient alors facilement

Z 1
Z 1
1
2
(f 0 (t)) dt
f (t)2 dt 6 2

0
0
Pour f (t) = sin(t) les hypothses sont vrifies avec
Z

g(x)2 dx 6

Or
+
X

Z
Z

g 0 (x)2 dx

Par parit, on en dduit

n=

et

1
f (t) dt = et
2
2

(f 0 (t)) dt =

2
2

avec galit si, et seulement si,

La constante de majoration ne peut donc tre amliore.

n Z? , |cn (f )| = |cn (f 0 )| = n |cn (f )|

Ceci implique cn (f ) = 0 pour tout n 6= 1 et, puisque la srie converge
normalement vers f , f est de la forme t 7 eit + eit .
La rciproque est immdiate.

Exercice 3 : [nonc]
Par le thorme de convergence normale, la fonction f est gale la somme de sa
srie de Fourier ce qui permet dcrire
f (t) =

Exercice 2 : [nonc]
Considrons la fonction g dfinie sur [, ] par

f (t/)
si t [0, ]
g(x) =
f (t/) si t [, 0[
La fonction g est continue en 0 car f (0) = 0.
Par construction la fonction g est impaire.
La fonction g est de classe C 1 sur [, ] car gd0 (0) = 1 f 0 (0) = gg0 (0).
Puisque g() = f (1) = 0 = g(), on peut prolonger la fonction g en une fonction
2-priodique et cette fonction est encore de classe C 1 car
gg0 () = 1 f 0 (1) = gd0 ().

+
X

cn (f )eint

n=

avec c0 (f ) = 0 car la fonction f est suppose dintgrale nulle.

Sachant cn (f 0 ) = incn (f ), on a encore
f (t) =

X 1
cn (f 0 )eint
in
?

nZ

Par lingalit de Cauchy-Schwarz

2

|f (t)| 6

X 1 X
2
|cn (f 0 )|
2
n
?
?

nZ

nZ

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

Or

Corrections

+
X
X 1
2
1
=
2
=
n2
n2
3
?
n=1

nZ

et par la formule de Parseval

+
X

1
|cn (f )| 6
|cn (f )| =
2
?
n=

nZ

On en dduit

|f (t)| 6
6
2

et lon peut donc conclure.

Z
0

(f 0 (t)) dt

(f 0 (t)) dt