Vous êtes sur la page 1sur 5

Analyse hilbertienne et de Fourier, seance 10

Series de Fourier 3
Rappel : noyau de Dirichlet
Si on note e
n
(x) = e
i nx
, on a vu que la convolution periodique avec la fonction e
n
dune
fonction 2-periodique f, integrable sur chaque periode, est egale `a
f e
n
= c
n
(f) e
n
;
par consequent, la somme de Fourier S
n
f =

n
k=n
c
k
(f) e
k
est obtenue par convolution
de f avec le noyau de Dirichlet
D
n
=
n

k=n
e
k
.
Il est clair que
_
2
0
D
n
(x)
dx
2
= 1
puisque les e
k
sont dintegrale nulle pour tout k = 0, alors que la fonction e
0
= 1 donne
la valeur 1. On a vu que
D
n
(x) =
sin
_
(n +
1
2
) x

sin(x/2)
.
Noyau de Fejer
Il existe des fonctions continues 2-periodiques f dont la serie de Fourier diverge en
certains points : pour un certain point t
0
, la suite (S
n
f)(t
0
) ne converge pas (par trans-
lation, on peut se ramener au cas o` u t
0
= 0). Il nest pas facile dexhiber ce phenom`ene
desagreable ; cela a ete fait vers 1900 (cest-`a-dire longtemps apr`es les debuts de la theorie
des series de Fourier), et peu de temps apr`es Fejer a trouve un moyen pour attenuer cette
diculte.
Quand une suite numerique (x
n
) est convergente vers une limite , la suite des
sommes de Ces`aro, qui sont les moyennes de la suite (x
n
),
y
n
=
1
n + 1
(x
0
+ + x
n
)
converge vers la meme limite . Mais il existe des suites (x
n
) qui ne convergent pas,
mais telles que la suite des sommes de Ces`aro (y
n
) converge : on dit alors que (x
n
)
converge au sens de Ces`aro. Par exemple, la suite x
n
= (1)
n
nest pas convergente,
mais |y
n
| 1/(n + 1), donc (y
n
) tend vers 0.
Lorsque la suite des sommes de Fourier (S
n
f)(t
0
) ne converge pas, on peut se de-
mander si elle converge au sens plus faible de Ces`aro. On introduit donc les sommes de
Fejer (
n
f), qui sont les moyennes des sommes de Fourier,
(
n
f)(x) =
1
n + 1
_
(S
0
f)(x) + (S
1
f)(x) + + (S
n
f)(x)
_
.
1
Comme on a vu que
(S
k
f)(x) = (f D
k
)(x)
(convolution periodique), on deduit
(
n
f)(x) =
1
n + 1
_
(f D
0
)(x) + (f D
1
)(x) + + (f D
n
)(x)
_
= (f K
n
)(x)
o` u on a pose
K
n
=
1
n + 1
n

k=0
D
k
,
fonction appelee noyau de Fejer. Comme lintegrale de chaque D
k
est egale `a 1, il en
resulte que
_
2
0
K
n
(x)
dx
2
= 1.
On a calcule K
n
avec une somme de sinus :
K
n
(x) =
1
n + 1
sin
2
_
n+1
2
x

sin
2
(x/2)
.
On remarque que K
n
est une fonction positive, donc la norme L
1
de K
n
est egale `a son
integrale, K
n

1
= 1. On en deduit une propriete importante
()
n
f

.
En eet, pour tout x
|(
n
f)(x)|
_

|f(x t)| K
n
(t)
dt
2
f

K
n
(t)
dt
2
= f

.
On appelle somme de Fejer de la fonction f lexpression

n
f = K
n
f =
1
n + 1
n

k=0
D
k
f =
1
n + 1
n

k=0
S
k
f ;
ainsi, la somme de Fejer
n
f est la moyenne des sommes de Fourier S
k
f de la fonction
f, lorsque k varie de 0 `a n. On remarque aussi que
K
n
=
n

k=n
_
1
|k|
n + 1
_
e
k
donc

n
f =
n

k=n
_
1
|k|
n + 1
_
c
k
(f)e
k
.
Theor`eme de Fejer. Si f est continue 2-periodique, les sommes de Fejer (
n
f) conver-
gent uniformement vers f. Si f L
p
([0, 2]) avec 1 < p < , la suite (
n
f) converge
vers f en norme L
p
.
2
Preuve. Pour tout polynome trigonometrique
g =
N

k=N
c
k
e
k
,
il est clair que S
n
g = g pour n N ; il en resulte que la suite des moyennes
n
g tend
uniformement vers g, puisque

n
g g

=
1
n + 1
_
_
_
N1

k=0
(D
k
g g)
_
_
_

C(N)
n + 1
qui tend vers 0 quand n tend vers linni. Si f est continue, on peut lapprocher par un
polynome trigonometrique g, et dapr`es linegalite ()

n
f
n
g

=
n
(f g)

f g

< /3.
Pour n assez grand, on a
n
g g

< /3 et le resultat en decoule par linegalite


triangulaire. Le theor`eme dans L
p
se montre de fa con analogue.
Remarque. On peut montrer que si 1 < p < + et f L
p
, les sommes de Fourier
(S
n
f) convergent vers f dans L
p
. On la vu si p = 2, mais les autres cas ne sont pas
evidents.
Pour p = 1 et f L
1
, les sommes de Fourier ne convergent pas toujours vers f dans
L
1
, mais les sommes de Fejer convergent toujours.
Fonctions `a valeurs reelles
On va exprimer la somme de Fourier
S
n
f =
n

k=n
c
k
(f)e
k
avec les fonctions reelles cos et sin. Pour chaque k > 0, regroupons les deux termes
correspondant `a k et k,
c
k
e
i kx
+c
k
e
i kx
= (c
k
+ c
k
) cos(kx) + i (c
k
c
k
) sin(kx)
et ecrivons le resultat sous la forme traditionnelle a
k
cos(kx) + b
k
sin(kx), o` u
a
k
= c
k
+ c
k
=
_

f(x)(e
i kx
+e
i kx
)
dx
2
=
_

f(x)(2 cos(kx))
dx
2
et
b
k
= i (c
k
c
k
) = i
_

f(x)(e
i kx
e
i kx
)
dx
2
=
_

f(x)(2 sin(kx))
dx
2
donc pour tout k 1
a
k
=
1

f(x) cos(kx) dx, b


k
=
1

f(x) sin(kx) dx.


3
Par raison de coherence, on pose aussi
a
0
=
1

f(x) dx.
De cette fa con on obtient
(S
n
f)(x) =
a
0
2
+
n

k=1
_
a
k
cos(kx) + b
k
sin(kx)
_
.
Il est clair que les coecients a
k
, b
k
sont reels lorsque f est reelle. De plus, les b
k
sont
nuls pour une fonction paire, et les a
k
sont nuls pour une fonction impaire.
Proposition. Les fonctions 1, x

2 cos(kx), x

2 sin(kx) pour k = 1, 2, . . .
forment une base hilbertienne de lespace reel L
2
R
([0, 2]).
Preuve. Les formules daddition de trigonometrie permettent de montrer que la suite
est orthonormee. Si f L
2
([0, 2]) est une fonction reelle, on sait dapr`es le cas complexe
que f est limite de la suite (S
n
(f)) ; mais on a vu que S
n
f est une combinaison lineaire
`a coecients reels des fonctions proposees. On a bien une base hilbertienne de lespace
reel L
2
R
([0, 2]).
Exemple. Considerons la fonction f = 1
[,]
o` u 0 < < . Cette fonction est paire,
donc tous les coecients b
k
sont nuls. Pour tout k 1,
a
k
=
2

_

0
f(t) cos(kt) dt =
2

_

0
cos(kt) dt =
2 sin(k)
k
.
On voit que a
0
= /, et le theor`eme de Dirichlet au point x = donne
1
2
=

+
+

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

+
+

k=1
sin(2k)
k
;
si on pose y = 2, on voit que si 0 < y < 2,
+

k=1
sin(ky)
k
=
1
2
( y).
Cordes vibrantes, base de sinus
`
A chaque fonction f L
2
([0, ]) on associe la fonction impaire F L
2
([, ]) qui est
egale `a f sur [0, ]. La fonction impaire F se represente comme serie de sinus, convergente
dans L
2
([, ])
lim
n
_

F(x)
n

k=1
b
k
sin(kx)

2
dx = 0.
Il en resulte immediatement, en limitant lintegrale `a [0, ], que
lim
n
_

0

f(x)
n

k=1
b
k
sin(kx)

2
dx = 0.
4
Par ailleurs
_

sin(kx) sin(x) dx = 2
_

0
sin(kx) sin(x) dx
ce qui montre que les fonctions sin(kx), restreintes `a [0, ], sont orthogonales. Si on
choisit de denir la norme par
f
2
2
=
_

0
|f(x)|
2
dx

on voit que les fonctions x

2 sin(kx), k = 1, 2, . . . forment une base hilbertienne de


lespace (reel) L
2
([0, ]).
Si f est continue sur [0, ], de classe C
1
par morceaux, avec f(0) = f() = 0, alors
la fonction impaire F sur [, ] verie les memes hypoth`eses, donc ses coecients de
Fourier sont absolument sommables et legalite
F(x) =
+

k=1
b
k
sin(kx)
est vraie pour tout x dans [, ] ; en particulier pour tout x dans [0, ], on a
f(x) =
+

k=1
b
k
sin(kx).
Cette representation est bien adaptee `a la description du phenom`ene des cordes vibrantes.
Si la position dune corde est donnee par f(x, t) o` u x varie entre les limites de la
corde, t represente le temps et f lecart du point x de la corde par rapport `a la position
de repos, on a

2
f
t
2
=
T
m

2
f
x
2
,
lequation des ondes : le param`etre T est la tension de la corde, et m la masse de la corde
par unite de longueur.
5