Analyse hilbertienne et de Fourier, corrige de lexamen du 9 juin 2006

Exercice I
On xe un nombre reel s tel que 0 < s , et on designe par f la fonction paire et 2-periodique
sur R telle que f(x) = 1 x/s pour 0 x s, et f(x) = 0 si s x .
a. Tracer le graphe de la fonction f sur lintervalle [2, 2]. Calculer les coecients de
Fourier complexes c
n
(f), ainsi que les coecients de Fourier reels a
n
(f) et b
n
(f).
Preuve. Calculons c
n
pour n = 0. On a, en utilisant la periodicite, la possibilite de calculer
lintegrale sur la periode [, ] `a la place de [0, 2] ; ensuite, on decompose lexponentielle
complexe en cos et sin, et puisque f est paire, la partie en sinus a une integrale nulle. Donc :
c
n
=
1
2
_

f(x) e
i nx
dx =
1
2
_

f(x) cos(nx) dx.

Ensuite, en utilisant encore la parite, puis le fait que la fonction f est nulle sur [s, ],
c
n
=
1

_

0
f(x) cos(nx) dx =
1

_
s
0
(1 x/s) cos(nx) dx.
On continue en integrant par parties, on observe que le crochet est nul aux deux bornes,
c
n
=
_
(1 x/s)
sin(nx)
n
_
s
x=0
+
1
sn
_
s
0
sin(nx) dx =
1
sn
2
_
1 cos(ns)
_
.
Finalement,
n = 0, c
n
=
2 sin
2
(ns/2)
sn
2
.
On calcule c
0
`a part,
c
0
=
1
2
_

f(x) dx =
1

_
s
0
(1 x/s) dx =
s
2
,
soit en terminant le calcul, soit en evaluant la surface du triangle forme par le graphe de f.
Pour les coecients reels, on a b
n
= 0 pour tout n 1 parce que la fonction f est paire, et
a
n
=
1

f(x) cos(nx) dx = 2 c
n
=
4 sin
2
(ns/2)
sn
2
.
b. Demontrer que pour tout x reel, on a
f(x) =
s
2
+
4
s
+

n=1
sin
2
(ns/2)
n
2
cos(nx).
Expliciter le resultat obtenu lorsque s = .
Preuve. Les coecients de Fourier de f sont absolument sommables, puisquon a vu que
|c
n
| Kn
2
(serie de Riemann convergente). De plus, la fonction f est continue. Dapr`es un
theor`eme du cours, on sait que f(x) est egal en tout point `a la somme de la serie de Fourier, ce
qui donne le resultat.
Lorsque s = , on voit que pour tout x [, ], on a
1
|x|

=
1
2
+
4

2
+

n=1
sin
2
(n/2)
n
2
cos(nx) =
1
2
+
4

2
+

j=0
cos
_
(2j + 1)x
_
(2j + 1)
2
.
1
Exercice II
1. Dans cette question H designe un espace de Hilbert complexe, v, w le produit scalaire de
deux vecteurs quelconques v, w H, et v = v, v
1/2
la norme de v H.
1.a. Si v et w sont dans H, calculer v + w
2
v w
2
en fonction du produit scalaire de
v et w. Exprimer v, w `a partir de v + w
2
, v w
2
, v + i w
2
et v i w
2
.
Preuve. On a vu en cours que
v + w
2
= v
2
+ 2 Re v, w +w
2
et on a aussi
v w
2
= v
2
2 Re v, w +w
2
par consequent
v + w
2
v w
2
= 4 Re v, w.
En rempla cant w par i w on obtient
v + i w
2
v i w
2
= 4 Re v, i w = 4 Re
_
i v, w
_
= 4 Imv, w.
On a nalement
v, w = Re v, w + i Imv, w =
1
4
_
v + w
2
v w
2
+ i v + i w
2
i v i w
2
_
.
1.b. Si U est une application lineaire isometrique de H dans H, cest-` a-dire que Uv = v
pour tout v H, montrer que U conserve le produit scalaire : on a Uv, Uw = v, w pour tous
v, w H. En deduire que la transformation de Fourier F sur L
2
(R) verie
f, g L
2
(R),

c Ff, c Fg
_
= f, g
pour une constante c > 0 quon determinera.
Preuve. On a en utilisant la question precedente (deux fois : au debut et `a la n) et la linearite
de U (sur le corps des complexes)
Uv, Uw =
1
4
_
Uv + Uw
2
Uv Uw
2
+ i Uv + i Uw
2
i Uv i Uw
2
_
=
1
4
_
U(v + w)
2
U(v w)
2
+ i U(v + i w)
2
i U(v i w)
2
_
=
1
4
_
v + w
2
v w
2
+ i v + i w
2
i v i w
2
_
= v, w.
Dapr`es la relation de Parseval, pour tout c > 0 et toute fonction f L
2
(R), on a
c Ff
2
= c Ff
2
= c

2 f
2
.
Si on choisit c = (2)
1/2
, on a c

2 = 1, donc
f L
2
(R), (2)
1/2
Ff
2
= f
2
.
Puisque (2)
1/2
F est une isometrie, on en deduit que
(2)
1/2
Ff, (2)
1/2
Fg = f, g
pour toutes les fonctions f, g L
2
(R). En particulier, si deux fonctions f et g sont orthogonales
dans L
2
(R), leurs images de Fourier sont encore orthogonales.
2
2. On denit la fonction g sur R par g(x) = 1 2 |x| pour 0 |x| 1/2 et g(x) = 0 si |x| 1/2.
2.a. Calculer la transformee de Fourier g de g.
Preuve. On va retrouver les memes calculs que dans le premier exercice ; pour y = 0, on a
g(y) =
_
R
g(x) e
i xy
dx =
_
R
g(x) cos(xy) dx = 2
_
1/2
0
(1 2x) cos(xy) dx
= 2
__
(1 2x)
sin(xy)
y
_
1/2
x=0
+
2
y
_
1/2
0
sin(xy) dx
_
=
4
y
2
_
1 cos(y/2)
_
=
8 sin
2
(y/4)
y
2
.
Pour y = 0, on peut calculer directement, ou passer `a la limite quand y 0 (ou faire les deux
pour verier quon ne sest pas trompe !) ; on trouve
g(0) =
_
R
g(x) dx =
1
2
.
2.b. Pour tout n Z on denit la fonction g
n
sur R en posant g
n
(x) = g(x n) pour tout
reel x. Verier que pour tous m = n, on a
_
R
g
m
(x)g
n
(x) dx = 0. Montrer que les transformees
de Fourier ( g
n
) sont deux `a deux orthogonales dans L
2
(R).
Preuve. On voit que g est nulle en dehors de lintervalle ouvert (1/2, 1/2) ; par translation,
la fonction g
n
est nulle en dehors de lintervalle ouvert I
n
= (n1/2, n+1/2) ; lorsque m = n, on
voit que les deux intervalles ouverts I
m
et I
n
nont aucun point commun, donc g
m
(x)g
n
(x) = 0
pour tout x R : en eet, si g
m
(x) = g(x m) = 0, on a |x m| < 1/2, et dans ce cas
|x n| |n m| |x m| 1 |x m| > 1/2 donc g
n
(x) = 0. Il en resulte evidemment que
_
R
g
m
(x)g
n
(x) dx =
_
R
g
m
(x)g
n
(x) dx = g
m
, g
n
= 0 ;
dapr`es la question precedente, les transformees de Fourier g
n
= Fg
n
sont deux `a deux orthogo-
nales, puisque
c
2
g
m
, g
n
= g
m
, g
n
= 0.
3. On reprend la fonction g et les fonctions (g
n
)
nZ
de la question 2.
3.a. Calculer g
n
pour tout n Z, et montrer que
_
R
| g(y)|
2
e
i ny
dy = 0 quand n = 0.
Preuve. On a par le changement de variable u = x n
g
n
(y) =
_
R
g(x n) e
i xy
dx =
_
R
g(u) e
i (u+n)y
du = e
i ny
g(y).

Ecrivons lorthogonalite de g
n
et de g
0
= g, quand n = 0
0 = g
n
, g =
_
R
g
n
(y) g(y) dy =
_
R
e
i ny
g(y) g(y) dy =
_
R
| g(y)|
2
e
i ny
dy.
3
3.b.Montrer que la formule
y R, G(y) =

kZ
| g(y + 2k)|
2
denit une fonction 2-periodique G sur R, continue sur [0, 2]. Demontrer que
_
2
0
G(y)(y) dy =
_
R
| g(y)|
2
(y) dy
pour toute fonction continue et 2-periodique sur R. Montrer que
_
2
0
G(y) e
i ny
dy = 0 pour
tout n entier relatif = 0. En deduire que la fonction G est constante.
Preuve. On remarque tout dabord que la serie numerique

kZ
| g(y + 2k)|
2
=

kZ
8 sin
2
(y/4 + k/2)
(y + 2k)
2
converge pour tout y (comparaison avec la serie de Riemann

k
2
). Pour tout k 0, considerons
la fonction u
k
sur [0, 2] denie par
u
k
(y) = | g(y + 2k)|
2
=
8 sin
2
(y/4 + k/2)
(y + 2k)
2
.
Puisque y [0, 2], on a y 0 et pour k 1,
0 u
k
(y)
8
(2k)
2
=
2

2
k
2
.
La serie de fonctions

k1
u
k
admet sur lintervalle [0, 2] une serie numerique majorante con-
vergente, `a savoir

k1
2
2
k
2
. Il y a donc convergence normale de la serie de fonctions sur
[0, 2], et il en resulte que la fonction somme de la serie, y

+
k=0
u
k
(y), est continue sur [0, 2].
On proc`ede de meme avec les indices negatifs, en posant pour k > 0
v
k
(y) = | g(y 2k)|
2
=
8 sin
2
(y/4 k/2)
(y 2k)
2
.
On montre de meme que y

+
k=1
v
k
(y) est continue sur [0, 2], et pour nir
y G(y) =
+

k=0
u
k
(y) +
+

k=1
v
k
(y)
est continue sur [0, 2]. De plus il est clair par changement dindice que G(y + 2) = G(y) : en
posant = k + 1, qui decrit Z quand k decrit Z,
G(y + 2) =

kZ
| g(y + 2 + 2k)|
2
=

Z
| g(y + 2)|
2
= G(y) ;
la fonction G est donc 2-periodique.
Si est une fonction 2-periodique continue, elle est bornee par un nombre M; la fonction
y G(y)(y) est la somme de deux series normalement convergentes de fonctions,

u
k
(y)(y),
pour laquelle
|u
k
(y)| M
2

2
k
2
,
4
et

v
k
(y)(y) qui est aussi normalement convergente. Il en resulte quon peut intervertir serie
et integrale,
_
2
0
G(y)(y) dy =

kZ
_
2
0
| g(y + 2k)|
2
(y) dy =

kZ
_
2(k+1)
2k
| g(z)|
2
(z 2k) dz ;
Comme est 2-periodique,
_
2
0
G(y)(y) dy =

kZ
_
2(k+1)
2k
| g(z)|
2
(z) dz = lim
N
N1

k=N
_
2(k+1)
2k
| g(z)|
2
(z) dz.
Pour chaque entier N > 0,
N1

k=N
_
2(k+1)
2k
| g(z)|
2
(z) dz =
_
2N
2N
| g(z)|
2
(z) dz =
_
R
1
[2N,2N]
(z) | g(z)|
2
(z) dz.
La suite des fonctions (f
N
) denies par f
N
(z) = 1
[2N,2N]
(z) | g(z)|
2
(z) converge simplement
vers la fonction z | g(z)|
2
(z), en etant dominee par la fonction integrable xe z M| g(z)|
2
;
dapr`es le theor`eme de convergence dominee,
_
2
0
G(y)(y) dy = lim
N
_
R
1
[2N,2N]
(z)| g(z)|
2
(z) dz =
_
R
| g(z)|
2
(z) dz.
Si on choisit la fonction 2-periodique (y) = e
i ny
, on obtient que
_
2
0
G(y) e
i ny
dy =
_
R
| g(y)|
2
e
i ny
dy
qui est nul pour tout n entier = 0 dapr`es la question precedente.
On voit que les coecients de Fourier (c
n
(G))
nZ
sont absolument sommables, puisquils
sont tous nuls sauf c
0
(G) ; comme G est continue, on en deduit quelle est egale en tout point `a
la somme de sa serie de Fourier,
y [0, 2], G(y) = c
0
(G).
La fonction G est bien constante.
3.c. Montrer que la valeur constante de la fonction G est C =
1
2
_
R
| g(y)|
2
dy ; en deduire
que C = 1/3. Verier que 1/3 = | g(0)|
2
+ 2

+
k=1
| g(2k)|
2
et montrer que
+

j=0
1
(2j + 1)
4
=

4
96
.
Preuve. On a vu que la valeur constante de la fonction G est
C = c
0
(G) =
1
2
_
2
0
G(y) dy ;
en appliquant la question precedente avec = 1, puis Parseval, on obtient
C =
1
2
_
2
0
G(y) dy =
1
2
_
R
| g(y)|
2
dy =
_
R
|g(x)|
2
dx
et
C =
_
R
|g(x)|
2
dx = 2
_
1/2
0
(1 2x)
2
dx = 2
_
1/2
0
(2u)
2
du = 8
_
1/2
0
u
2
du = 1/3.
5
En ecrivant la valeur de G au point y = 0 on obtient
C = G(0) =

kZ
| g(2k)|
2
.
Comme g() = g(), il en resulte bien que
C = | g(0)|
2
+ 2
+

k=1
| g(2k)|
2
.
En rempla cant par les valeurs,
1
3
=
1
4
+ 2
+

k=1
_
8 sin
2
(k/2)
(2k)
2
_
2
=
1
4
+ 8
+

k=1
sin
4
(k/2)
(k)
4
,
et
1
12
= 8
+

k=1
sin
4
(k/2)

4
k
4
= 8
+

j=0
1

4
(2j + 1)
4
do` u nalement

4
96
=
+

j=0
1
(2j + 1)
4
.
6