MVA101 - ED8 - Sries de Fourier (deuxime partie)

Rappels de cours :
1- Lespace L2
a) Dfinition
Une fonction f priodique de priode T est dite de carr intgrable si et seulement si lintgrale
est finie. On note alors f L2 (0, T ) o L2 est lespace des fonctions de carr intgrable.

|f (t)|2 dt
0

b) L2 est un espace vectoriel

Lespace L2 (0, T ) des fonctions de carr intgrable est un espace vectoriel, cest dire que :
La somme de deux fonctions de carr intgrable est elle aussi de carr intgrable :
f, g L2 (0, T ) = (f + g) L2 (0, T )
Le produit dune fonction de carr intgrable par un scalaire est lui aussi de carr intgrable :
f L2 (0, T ), R = f L2 (0, T )
c) Produit scalaire et ses proprits
Si f et g appartiennent L2 (0, T ), le nombre complexe

f (t)g(t) dt dfinit le produit scalaire de f par g

0

dans lespace L2 (0, T ). Ce produit scalaire est alors not (f |g) (ou encore parfois (f, g) ou hf, gi) et on a :
Z T
f (t)g(t) dt
(1)
(f |g) =
0

1
Remarque : Dans le contexte des sries de Fourier, on utilise souvent le produit scalaire normalis par . Dans
T
ce cas on a alors :
Z
1 T
(f |g) =
f (t)g(t) dt
T 0
Quelques proprits du produit scalaire :
Soient f, g, h L2 (0, T ) et C :
(f |f ) 0,

(f |g) = (f |g)

f L2 (0, T )

(f |f ) = 0 = f est nulle.

(f |g) = (f |g)

(f + g|h) = (f |h) + (g|h)

(g|f ) = (f |g)

(f |g + h) = (f |g) + (f |h)
d) Norme
Pour f L (0, T ), on pose kf k =
2

(f, f ) =

sZ

|f (t)|2 dt. Lapplication de L2 (0, T ) valeurs dans R dfinie

0

par f L2 (0, T ) 7 kf k est une norme sur lespace L2 (0, T ).

Quelques proprits de la norme :

La norme est positive : kf k 0.
Si kf k = 0, alors f = 0.
Pour f et g dans lespace L2 (0, T ), on a lingalit triangulaire : kf + gk kf k + kgk.
Pour f et g dans lespace L2 (0, T ), on a lingalit de Cauchy-Schwarz : |(f |g)| kf k kgk.
f ) Thorme de Pythagore
Si (f |g) = 0 alors kf + gk2 = kf k2 + kgk2 .

2- Ingalit de Bessel-Parseval
a) Proposition
Soit f L2 (0, 2) une fonction 2-priodique et soit SN f EN (rappel : EN est lespace des polynmes
trigonomtriques de degr infrieur ou gal N ) o SN f est la srie de Fourier exponentielle de f avec
N
X
cn eint .
SN f (t) =
n=N

On a alors les formules suivantes :

1.

kSN f k22

N
X

|cn |2 (preuve : se rfrer aux proprits du produit scalaire et de la norme dans L2 )

n=N

2. (f SN f | SN f ) = 0 (preuve : se rfrer lED 6 "Projecteur sur les polynmes trigonomtriques")

3. kf k22 = kf SN f k22 + kSN f k22 (preuve : appliquer le thorme de Pythagore sur la proprit 2 ci-dessus)
a) Ingalit de Bessel-Parseval
Soit f L2 (0, 2) une fonction 2-priodique et soit SN f EN , alors, daprs la proposition ci-dessus, on a :
(2)

kSN f k22

kf k22

+
X

1
|cn |
2
n=
2

|f (t)|2 dt
0

Si f est une fonction valeurs relles, alors on utilise la srie de Fourier trigonomtrique SN f (t) = a0 +

N 
X
an cos(nt) + bn sin(nt) et dans ce cas lingalit de Bessel-Parseval est donne par :
n=1

a20

(3)


Z 2

1
1X 2
2
a + bn
+
f (t)2 dt
2 n=1 n
2 0

3- galit de Parseval
Soit f L2 (0, 2) une fonction 2-priodique et continue par morceaux, alors SN f converge vers f en norme
L2 , cest dire : kSN f f k22 tend vers 0 quand N tend vers +.
Ainsi, SN f et f ont la mme norme et on a lgalit suivante :
(4)

kSN f k22

kf k22

Lgalit de Parseval affirme donc que la srie

+
X

n=

+
X

1
|cn | =
2
n=
2

|cn |2 converge.

|f (t)|2 dt
0

Si f est une fonction valeurs relles, alors on utilise la srie de Fourier trigonomtrique et dans ce cas lgalit
de Parseval prend la forme :
a20 +

(5)


Z 2

1
1X 2
f (t)2 dt
an + b2n =
2 n=1
2 0

4- Retour sur la convergence des sries de Fourier

a- Convergence simple
Thorme de Dirichlet (rappel) : Soit f : R C une fonction priodique de priode T , continue par
morceaux (C 0 par morceaux) et lisse par morceaux (C 1 par morceaux), cest dire :
1. priodique : f (t + T ) = f (t), t R
2. C 0 par morceaux : f est continue sur R sauf en un nombre fini de points t0 R (appels points de
discontinuits) pour lesquels les limites de f gauche et droite de t0 existent (et ne sont pas forcment
gales), cad :
limtt f (t) existe et limtt+ f (t) existe.
0

3. C 1 par morceaux : f est continue par morceaux, cest dire f admet des drives gauche et droite des
f (t) f (t
f (t) f (t+
0)
0)
points de discontinuit t0 , cad : limtt
existe et limtt+
existe. (les limites
0
0
t t0
t t0
du taux daccroissement de f gauche et droite de t0 existent et ne sont pas forcment gales).
= Si ces 3 hypothses sont vrifies, alors, pour tout t R, la srie de Fourier SN f (t) converge simplement,
quand N +, vers :
f (t) si f est continue en t.

f (t+ ) + f (t )
si f est discontinue en t.
2

b- Convergence normale et uniforme

Thorme : Soit f : R C une fonction priodique de priode T , continue et lisse par morceaux (C 1
par morceaux).
= Alors pour tout t R, la srie de Fourier SN f (t) converge normalement (et donc uniformment), vers
f (t) quand N +.

Exercice 1 : Srie de Fourier

Soit f : R 7 R la fonction 2-priodique, paire dfinie par :
f (x) = x,

x [0, ]

1. Reprsenter graphiquement la fonction f .

2. Calculer les coefficients de Fourier trigonomtriques de f et en dduire la srie de Fourier Sf de f .
3. tudier la convergence simple, normale et uniforme de la srie de Fourier de f .
4. En dduire la valeur des sries

+
X

k=0

1
(2k + 1)2

et

+
X

k=0

1
.
(2k + 1)4

Exercice 2 : Dmonstration du thorme sur la convergence normale

Soit f une fonction 2-priodique de L2 (0, 2), continue et C 1 par morceaux.
On souhaite dmontrer que la srie de Fourier de f , SN f , converge normalement vers f .
1. Dmontrer lassertion suivante
: " Montrer la convergence normale de SN f est quivalent montrer la
P
convergence de la srie n= |cn | ", o cn sont les coefficients exponentiels de la srie de Fourier SN f .
2. Exprimer les coefficients de Fourier complexes cn en fonction des coefficients de Fourier cn de la drive
de f .
3. P
En utilisant lingalit de Cauchy-Schwarz et le rsultat de la question ci-dessus, montrer que la srie

n= |cn | converge.

Chlo Mimeau, 16 novembre 2016.