Chapitre VII

S
eries et int
egrales de Fourier

1
1.1

S
eries de Fourier
Motivation

Series et integrales de Fourier constituent la technique permettant dexploiter la linearite

dune equation differentielle, ordinaire ou partielle, grace au principe de superposition
(Daniel Bernoulli) :
Etant donne une equation differentielle, lineaire en la fonction inconnue
et ses derivees, toute combinaison lineaire de solutions est encore une
solution, et la solution la plus generale est une combinaison lineaire de
solutions particuli`eres.
Prenons dabord le cas le plus simple, celui de loscillateur harmonique, dont lamplitude
f (t) verifie lequation :
f 00 (t) + 2 f (t) = 0

(1.1)

f (t) = A sin t + B cos t

(1.2)

La solution generale

152

est bien combinaison lineaire dune solution f1 (t) = sin t, avec f1 (0) = 0, et dune
solution f2 (t) = cos t, avec f20 (0) = 0.
Passons au cas dune equation aux derivees partielles, par exemple lequation de la
corde vibrante
2 F (x, t)
1 2 F (x, t)

= 0.
(1.3)
x2
c2
t2
Cherchons une solution particuli`ere factorisee : F (x, t) = f (x)g(t). Il est clair quune telle
solution est fournie par tout couple de fonctions f (x), g(t) qui verifient les deux equations
differentielles suivantes, avec la meme constante k 2 :
f 00 (x) + k 2 f (x) = 0

(1.4)

g 00 (t) + c2 k 2 g(t) = 0

(1.5)

Comme plus haut, la solution generale de ces deux equations est une superposition de
fonctions trigonometriques. Ainsi, par exemple, on obtient
une famille de solutions par
F 
ticuli`eres de (??), verifiant en outre la condition
= 0, sous la forme :
t t=0
Fk (x, t) = (A sin kx + B cos kx) cos ckt.

(1.6)

Si la variable x est limitee a` un intervalle fini, nous verrons plus loin que la fonction Fk
nest une solution admissible que si k concide avec lun des nombres dune suite infinie
k1 , k2 , (par ex., on nobtiendra une solution periodique, (x + 2, t) = (x, t) que pour
k Z). On aura donc une infinite de solutions particuli`eres Fn (x, t) Fkn (x, t), si bien
que, en vertu du principe de superposition, on ecrira la solution generale sous la forme :
F (x, t) =

(An sin kn x + Bn cos kn x) cos ckn t,

(1.7)

n=1

et en particulier
F (x, 0) =

(An sin kn x + Bn cos kn x).

(1.8)

n=1

Mais ceci soul`eve plusieurs probl`emes :

Quel sens peut on donner a` la somme infinie dans (??) ou (??) ?
Considerons une solution tronquee : FN (x, t) =

PN

n=0

Fn (x, t).

Pour N assez grand, on sattend que FN approxime la solution generale (??), mais
quel sens donner a` ce concept ?
153

 Si FN approxime correctement F , on aimerait que cette approximation devienne

arbitrairement bonne quand N , c-`a-d. limN FN = F . Dans quel sens
faut-il considerer cette limite ?
La reponse a` toutes ces questions est donnee par la theorie des series de Fourier, que nous
allons esquisser. Rappelons que cette theorie sapplique au cas dun intervalle fini. Pour
un intervalle infini, il faut recourir aux integrales de Fourier, que nous etudierons dans la
Section 2.
1.2

Approximation en moyenne quadratique sur un intervalle fini

Nous travaillerons desormais sur lintervalle [`, +`], dont les deux extremites sont identifiees (ce qui est equivalent a` un cercle de rayon `/). Considerons la famille de fonctions
suivantes :
u0 (x) =

1
2`

un (x) =

1
`

cos(n ` x)

n = 1, 2,

vn (x) =

1
`

sin(n ` x)

n = 1, 2,

(1.9)

Toutes ces fonctions sont periodiques de periode 2`, et il en sera donc de meme de toute
combinaison lineaire de celles-ci. Remarquons aussi quune fonction quelconque definie
sur [`, `] peut toujours etre prolongee en une fonction periodique sur R de periode 2`,
eventuellement discontinue, simplement par translation. Ainsi, p.ex. :

Ceci dit, lobjet de la theorie des series de Fourier est lapproximation de fonctions
periodiques (de periode 2`) par des combinaisons lineaires des fonctions trigonometriques
(??). Nous supposerons toujours des fonctions de carre sommable sur [`, `] (voir plus
bas).
154

Nous commencons par verifier les relations suivantes, appelees relations dorthogonalite
:
`

un (x)um (x)dx = mn

(1.10)

vn (x)vm (x)dx = mn

(1.11)

un (x)vm (x)dx = 0

(1.12)

Pour (??), on a (n 6= 0, m 6= 0) :
Z
Z `

1 `
2 cos(n x) cos(m x) dx
un (x)um (x)dx =
2` `
`
`
`
Z ` h
i
h
1

i
=
cos (n + m) x + cos (n m) x dx
2` `
`
`
Pour n 6= m, les deux integrales sont nulles ; pour n = m, la seconde vaut 1. On montre de
meme la relation (??) pour n ou m nul, et la relation (??) en utilisant une autre identite
trigonometrique. Quant `a (??), elle resulte dej`a du fait que un est paire et vm impaire.
Comme on la dit plus haut, toute combinaison lineaire
f (x) =

n un (x) +

n=0

m vm (x)

(1.13)

m=1

est une fonction periodique, de periode 2`. Mais ceci pose les deux questions soulevees au
1.1 :
quel sens peut-on donner aux sommes infinies ?
quelle classe de fonctions periodiques f peut-on representer par de telles sommes ?
Pour repondre a` ces questions, introduisons les sommes tronquees :
N
X

fN =

m um +

m=0

N
X

m vm

(1.14)

m=1

et convenons de mesurer lecart entre f et fN par la quantite suivante, appelee ecart

quadratique moyen :
Z

N =

|f (x) fN (x)|2 dx

155

(1.15)

Pour N fixe, approximer f en moyenne quadratique consistera alors a` trouver les coefficients m , m dans (??) qui rendent lecart N le plus petit possible. Il est bien clair
R`
que ceci na de sens que si la quantite ` |f (x)|2 dx est finie : on dit alors que f est une
fonction de carre sommable (pour le moment nous considerons seulement des integrales
de Riemann).
Ces coefficients optimaux se calculent aisement, en utilisant les relations dorthogonalite
(??)-(??) :
Z

(f fN )(f fN )dx

N =
`

(|f |2 fN f f fN + |fN |2 )dx

=
`

Z
=

|f | dx

N
X

Z
um f dx

N
X

N
X

Z
m

f um dx +

N
X

Z
vm f dx

N
X

|m |2

Z
m

f vm dx +

N
X

|m |2 .

Definissons :
Z

Am =

Z
um f dx,

Bm =

vm f dx.

(1.16)

Il vient :
Z

|f | dx

N =

N
X

m Am

Z
=

|f |2 dx +

m Am +

m Bm

1
N
X

N
X

N
X

|m |2

m Bm +

|Am m |2

N
X

0
N
X

N
X

N
X

|m |2

1
N
X

|Am |2

|Bm m |2

N
X

|Bm |2 0,

do`
u il resulte que N atteint sa valeur minimale si lon choisit n = An , n = Bn . Ces
coefficients optimaux Am , Bm sont appeles coefficients de Fourier de f . La meilleure

156

approximation de f au sens de la moyenne quadratique, est donc, pour chaque N ,

f fN =

N
X

A m um +

N
X

Bm vm .

On remarquera que :
(i) pour chaque N , lapproximation optimale est unique;
(ii) pour passer de N a` N + 1, il suffit de calculer les nouveaux coefficients AN +1 , BN +1 ,
les precedents A1 AN , B1 BN restant inchanges.
Ces deux proprietes decoulent uniquement des relations dorthogonalite !
Une forme equivalente aux developpements (??), (??) sobtient en remplacant les sinus
et cosinus par des exponentielles; le lien entre les deux versions est evidemment donne
par les relations dEuler :
1
cos A = (eiA + eiA ),
2

sin A =

1 iA
(e eiA )
2i

On definit les fonctions :

1
wm (x) = eim ` x
2`

m = 0, 1, 2

qui verifient les relations dorthogonalite :

Z `
wn (x)wm (x)dx = nm

(1.17)

(1.18)

et on utilise le developpement
f (x) =

+
X

m wm (x).

(1.19)

m=

Par un raisonnement identique a` celui fait ci-dessus, on montre que lapproximation optimale est obtenue en choisissant pour m les coefficients de Fourier de f :
Z `
Cm =
wm (x)f (x)dx
`

On a, dans ce cas comme dans lautre :

Z `
Z
2
N (f ) =
|f (x) fN (x)| dx =
`

|f (x)

|f (x)|2 dx

N
X

|Cm |2 0

157

N
X
N

Cm wm (x)|2 dx

(1.20)

Quelle que soit la fonction f de carre sommable, on a donc, pour tout N , linegalite de
Bessel :

N
X

|f (x)|2 dx

|Cm |

(1.21)

m=N

Nous dirons que f est compl`etement approximable si elle verifie lune des conditions
equivalentes suivantes :
(i) (f ) = 0
(ii)

|Cm | =

|f (x)|2 dx

(egalite de Parseval)

(iii) f = limN fN en moyenne quadratique, ce qui signifie

Z

|f

lim

N
X

Cm wm |2 dx = 0

Dans ce cas on ecrira (le symbole de sommation est defini par (iii) !) :
f (x) =

Cm wm (x)

(1.22)

m=

Nous pouvons maintenant repondre aux questions posees plus haut.

Th
eor`
eme 1.1 (Th
eor`
eme des s
eries de Fourier) .
(i) Toute fonction de carre sommable est compl`etement approximable.
(ii) Soit f =

Cm wm avec

|Cm |2 < . Alors f est de carre sommable :

|f (x)|2 dx <

mais lintegrale doit etre prise au sens de Lebesgue (en particulier f est mesurable
pour la mesure de Lebesgue dx).
Ces resultats se simplifient si lon introduit lespace de Hilbert L2 ([`, `]; dx) de classes
dequivalence de fonctions (mesurables) de carre sommable (on trouvera en appendice a` ce
chapitre un bref resume de la theorie des espaces de Hilbert). La relation dequivalence devient ici : f g f (x) = g(x), sauf sur un ensemble de mesure nulle, c-`a-d. un ensemble
158

denombrable de points. Lespace L2 est alors lespace vectoriel des classes dequivalence
R`
de fonctions de carre sommable au sens de Lebesgue : ` |f (x)|2 dx < . Cet espace est
un espace de Hilbert par rapport `a la norme :
Z `
2
|f (x)|2 dx
kf k =

(1.23)

et au produit scalaire
Z

hf |gi =

f (x)g(x)dx

(1.24)

Les relations dorthogonalite (??)-(??) et (??) signifient que {um , vm } et {wm } sont deux
syst`emes orthonormaux dans L2 . Lenonce (i) du theor`eme dit en outre que ces deux
syst`emes sont des bases orthornormales dans L2 : tout element f L2 peut se developper
univoquement en fonction des vecteurs de base :
f=

Cm wm ,

f=

m=

Am um +

m=0

Bm vm

(1.25)

m=1

De fait la demonstration de (i) repose sur le fait quune fonction orthogonale a` tous les
wm est nulle :
Cm = hwm |f i = 0, m f = 0,
ce qui signifie que {wm } est un syst`eme total ou une base (hilbertienne).
Enfin, la partie (ii) du theor`eme repose sur lexistence dun isomorphisme (operateur
unitaire) entre lespace L2 et lespace `2 des suites de carre sommable, C = {Cm }, avec
P
P
2
m |Cm | < . Si f =
m Cm wm , lisomorphisme est lapplication f {Cm }. Cest
en effet une bijection, et lon a :
kf k2 =

hf |gi =

|Cm |2

Cm Dm , o`
ug=

Dm wm

Revenant au point de depart, nous pouvons exprimer le principe de superposition sous

la forme suivante :
Si {wm } sont les solutions dune equation differentielle, alors la solution generale de

X
2
celle-ci est un element arbitraire de L , c-`a-d. f =
Cm w m .
m=

159

1.3

Convergence ponctuelle de la s
erie de Fourier

Au 1.2 nous avons decrit la convergence de la serie de Fourier (??) au sens de lespace
de Hilbert L2 (convergence en moyenne quadratique), mais on peut aussi en etudier la
convergence ponctuelle, comme pour nimporte quelle serie infinie. La clef ici est la
regularite de la fonction f : plus reguli`ere elle sera, plus vite ses coefficients de Fourier
Cm ou Am , Bm decrotront en m. Pour fixer les idees, nous traitons la serie dexponentielles
(??), avec f (x) une fonction periodique de periode 2`.
(1) Soit f de classe C 1 : f et f 0 sont continues, donc bornees. D`es lors :
Z `

eim ` x f (x)dx
2`Cm =
(m 6= 0)
`
im ` x

1
f (x) `
|` +
=

im
im `
| {z ` }
e

eim ` x f 0 (x)dx

=0

et donc :
1 1

|Cm |
m

r Z `
1
`
|f 0 (x)|dx = M1
2 `
m

o`
u M1 est independant de m. Il sensuit que la suite des coefficients Cm est de carre
sommable :

|Cm |

2M12

m=

X
1
< .
m2
m=1

(2) Soit maintenant f de classe C 2 . On a de meme, apr`es une deuxi`eme integration par
parties :
1
|Cm |
2`

`
m

2 Z

|f 00 (x)|dx =

1
M2 .
m2

Dans ce cas, la suite (Cm ) est sommable (a fortiori de carre sommable) et la serie
de Fourier converge absolument :

X
m=

| Cm e

im ` x

X
1
|=
| Cm | |C0 | + 2M2
<
2
m
m=
m=1

(3) On montre de meme que si f C k , les coefficients Cm verifient lestimation :

| Cm |

160

1
Mk
mk

En particulier, si la fonction est de classe C , les coefficients Cm decroissent plus

vite en m que nimporte quelle puissance inverse de m. On dit alors que (Cm ) est
une suite `a decroissance rapide, et on denote par s lespace vectoriel de toutes ces
suites. Cet espace joue un role important dans la theorie des distributions.
(4) Par contre si f est seulement continue (classe C ), elle ne poss`ede pas necessairement
une serie de Fourier convergente ! Des pathologies peuvent se produire, qui necessitent
une analyse mathematique beaucoup plus fine. Nous renvoyons le lecteur pour ce
point au cours MATH 1190.
(5) A fortiori, on doit sattendre a` des pathologies dans la convergence de la serie de
Fourier dune fonction discontinue ! La plus cel`ebre est le phenom`ene de Gibbs : en
un point de discontinuite x0 , la somme tronquee `a n termes de la serie de Fourier
ne tend pas vers la valeur f (x0 ) de la fonction en ce point, mais vers Af (x0 ), avec
A > 1.17. Par exemple, pour la fonction en dents de scie f (x) = x ( < x <
), f () = 0, on a le resultat suivant, o`
u Sn (f, x) designe la somme des n premiers
termes de la serie de Fourier de f :

) A,
(n )
n

Sn (f, + ) A, avec A > 1.17

n
Sn (f,

c.-`a-d. que la limite du graphe nest pas le graphe de la limite !

161

2
2.1

Int
egrales de Fourier
La transformation de Fourier

Soit f (x) une fonction periodique, de periode 2`, de carre sommable sur lintervalle [`, `].
Dapr`es les resultats du 1.2, cette fonction poss`ede un developpement de Fourier, convergent au sens L2 :
f (x) =

Cn wn (x)

n=

Z
X

n=

ein `
f ()d
2`

ein ` x

2`

(2.1)

Que se passe-t-il si on fait ` ? A la limite, nous aurons une fonction non periodique
(periodique de periode infinie !), de carre sommable sur R, mais que devient la representation
(??) ?
Posons kn = n ` . Le param`etre kn varie de a` +, par sauts de longueur kn =
kn+1 kn = ` , et donc 1` = k n . D`es lors, quand ` :
Z
Z `
devient
lintegrale

kn tend vers une variable continue k.

La relation (??) devient donc :
f (x)

Z
X

n=

eikn
f ()d
2

eikn x
kn
2

eikn x
fb(kn ) kn
2
n=

1

2

fb(k)eikx dk

(en supposant que la limite existe pour ` ).

Nous obtenons ainsi les deux relations suivantes, que lon appelle la transformation de

162

Fourier et son inverse :

fb(k) =

1
2

f (x) =

1
2

f (x)eikx dx

(2.2)
fb(k)eikx dk

Remarque : on rencontre aussi dautres conventions, telles que lechange entre eikx et
eikx , ou des facteurs numeriques differents, mais dont le produit est toujours
et

1
2

1
,
2

p.ex. 1

(la convention (??) est la plus symetrique).

La definition setend immediatement en dimension n > 1, avec la notation (~k|~x) =

Pn
1

kj xj :
fb(~k) = (2)n/2
f (~x) = (2)n/2

f (~x)ei(k|~x ) dn~x

~
fb(~k)ei(k|~x ) dn~k

(2.3)

La question evidente est de determiner pour quelle classe de fonctions f la transformation

(??) est valable.

f S

Pour ce faire, on definit la classe S de L. Schwartz comme suit :

f C
f et toutes ses derivees sont `a decroissance rapide, c-`a-d. que, m, j, on a :
|x|m |f (j) (x)| 0, pour |x| .

Pour une fonction f S, lintegrale definissant sa transformee de Fourier converge absolument, et en outre f L2 , c-`a-d. S L2 . Mais on a plus :
f S fb S

(2.4)

En effet :
(i) f C = fb est `a decroissance rapide, c-`a-d. m, |k|m |fb(k)| 0 pour |k| .
Il suffit de faire une integration par parties sur lintegrale definissant fb(k); puisque
f S, le terme tout integre est nul, et lon a :
Z
1
eikx 0
fb(k) =
dx
f (x)
ik
2
et de meme
1
fb(k) =
2

dx

et ainsi de suite.
163

eikx 00
f (x)
(ik)2

(ii) f a` decroissance rapide fb C .

On peut en effet deriver sous le signe dintegration, ce qui donne
Z
d b
1
dx eikx (ix)f (x)
f (k) =
dk
2
Z
dn b
1
f (k) =
dx eikx (ix)n f (x)
n
dk
2

(2.5)

Toutes ces integrales etant absolument convergentes, la fonction fb est bien de classe
C .
Combinant les deux resultats, on trouve donc que fb S si et seulement si f S. Au
passage, nous avons prouve les deux relations :
fc0 = ik fb
c = i d fb
xf
dk

(2.6)

et par iteration :
nf
dd
= (ik)n fb
n
dx

n
d
n
d
x f =
i
fb
dk

(2.7)

Ces derni`eres relations sont bien definies, car f S entrane que fb, xn f et f (n) appartiennent toutes trois a` S.
Reste a` determiner le domaine de definition de la transformation de Fourier. Soient
f, g S et donc fb, gb S. On a donc

Z
Z 
Z
1
ikx

fb(k) gb(k) dk =
e f (x)dx gb(k) dk
2



Z
Z
1
ikx
=
f (x)
e gb(k) dk dx
2

Z
f (x) g(x) dx.
=

On peut en effet permuter les integrations en x et en k, puisque f, g, fb, gb sont dans S.

Faisant en particulier f = g, on a ainsi prouve les relations de Plancherel :
Z
Z
fb(k) gb(k) dk =
f (x) g(x) dx

Z
Z
2
|fb(k)| dk =
|f (x)|2 dx

164

(2.8)

Comparant avec (??), (??), on reconnat dans (??) le produit scalaire et la norme de L2 ,
et donc :
hfb|b
g i = hf |gi
kfbk2 = kf k2

(2.9)

Autrement dit, la transformation de Fourier f 7 fb est une application unitaire (isomorphisme) de L2 sur lui-meme. Il suit en effet de la theorie de lespace de Hilbert que les
relations (??), initialement definies sur S L2 , setendent par continuite a` L2 tout entier.
Remarquons cependant que lintegrale (??) definissant fb est bien definie (converge) si f
est integrable. Si f nest pas integrable, tout en appartenant a` L2 , sa transformee de
Fourier fb doit etre definie par un passage a` la limite (p. ex. en tronquant le domaine
dintegration).
2.2

Le th
eor`
eme de convolution

Etant donne deux fonctions f, g S, leur produit de convolution est la fonction f g

definie par lintegrale suivante :
Z

(f g)(x) =

f (x y)g(y)dy.

(2.10)

On verifie aisement (car on peut multiplier par x et deriver sous le signe dintegration)
que f g S si f, g S. On a en outre le theor`eme suivant :

2 fcg = fb gb

ou encore

f[
g =

2 fbgb

La demonstration se fait a` nouveau par lechange de deux integrales :

Z
fb(k k 0 ) gb(k 0 ) dk 0
(fb gb) (k) =


Z
Z

1
0
0
i(kk0 )x
=
dk gb(k )
dx e
f (x)
2



Z
Z
1
ikx
0 ik0 x
0
=
dx e
f (x)
dk e
gb(k )
2

Z
=
dx eikx f (x) g(x)

=
2 fcg (k)
165

(2.11)

Ce theor`eme de convolution a de nombreuses applications en physique et en traitement

du signal, en particulier dans la description mathematique du processus de mesure, si lon
tient compte des incertitudes statistiques sur les resultats mesures.
2.3

Signification intuitive de la transformation de Fourier; fonction

Pour nous rendre compte du role de la transformation de Fourier, en particulier dans

lanalyse statistique des resultats de mesure, nous allons calculer deux cas particuliers :
une impulsion carree et une gaussienne.
(i) Impulsion carree
Soit f` (x) une impulsion carree, de largeur 2` et de hauteur 1 :

0,
x < `

f` (x) =
1, ` x `

0,
x>`
Calculons sa transformee de Fourier :
r
Z `
ik`
ik`
sin k`
1
1
e

e
2
ikx
=
`
,
fb` (k) =
e
dx =
ik

k`
2 `
2
q

Do`
u fb` (k) presente un pic prononce autour de 0, de hauteur 2 `, car sint t t=0 = 1,
et essentiellement concentre entre k =
2
.
`

et k = ` . Le pic a donc une largeur de

On a en outre :
Z

r Z
2
sin t
fb` (k)dk =
dt
t

=
2

166

(t = k`)

Faisons maintenant tendre ` vers linfini.

f` (x) tend vers une impulsion infinie, c-`a-d. f` (x) 1.
fb` (k) tend vers un pic infiniment haut et infiniment etroit; nous le denoterons

par 2(k), o`
u est ce que lon appelle la fonction de Dirac. Ce nest
evidemment pas une fonction au sens usuel du terme, car elle doit etre nulle
partout, sauf en 0 o`
u elle est infinie. De plus :
Z
Z
1
(k) dk = lim
fb` (k) dk = 1
`
2

(puisque lintegrale vaut 2, `).

En fait la fonction de Dirac peut se definir correctement comme une mesure ou
une distribution. Nous nous contenterons ici de la definition par limite :
(k) = lim

` sin k`
.
k`

(ii) Gaussienne
Soit fa (x) = e

a2 x2
2

une gaussienne de hauteur 1 et de largeur 1/a. Sa transformee

de Fourier, calculee ci-dessous, a la forme suivante :

Z
a2 x2
1
fba (k) =
e 2 eikx dx
2
1 k22
=
e 2a
a
167

Cest donc egalement une gaussienne, mais de hauteur 1/a et de largeur a.

Z
2 2

1
a 2x +ikx
dx
e
fba (k) =
2
k2
Z
2
ax
e 2a2

+ ik
2
a
2
=
e
dx
2
k2
Z +
k
e 2a2
ax
2
e(+ib) dx ,
=
= ,b =
2
2
a 2

k2
Z
+
e 2a2
2
2

e(+ib) d
a
2
{z
}
|

1
e
a

2
k2
2a

Le calcul de la derni`ere integrale se fait dans le plan complexe ; cest en effet lintegrale
2

de ez sur la ligne z = + ib, de = a` = +, c-`a-d. la limite pour L de

lintegrale sur le troncon L L. Pour L fixe, considerons le contour rectangulaire

168

 indique sur la figure.

La fonction ez est holomorphe `a linterieur de ce contour, son integrale sur le contour

est donc nulle par le theor`eme de Cauchy. On a donc :
Z Z
Z
Z 
2
+
+
+
ez dz = 0
I

II

III

IV

Evaluons les contributions sur les segments verticaux II et IV :

Z
Z 
Z b


2
2
z 2
+
e
dz = i
d e(L+i) e(L+i)
II
IV
0
Z b


L2
2iL+ 2
2iL+ 2
= ie
d e
e
0
Z b
2
L2
d e sin 2L.
= 2 e
0
2

Lintegrale en est bornee par beb , et donc la contribution de II et IV tend vers zero
quand L . Il vient donc :
Z
Z
z 2
e
dz =
I

z 2

(+ib)2

e d

dz =
L

III

et donc a` la limite L :
Z

e d

d =

Pour evaluer cette derni`ere integrale, on utilise lastuce suivante :

Z
Z
2
2
K =
e
d = 2
e d


K
2

2

Z
=

0
x2

e
0

Z
dx

y 2

e
0

dy =
0

169

dx dy e(x

2 +y 2 )

ce qui est lintegrale de e(x

2 +y 2 )

dans le quart de plan x 0, y 0. On passe en

coordonnees polaires (r, ) :

 2
Z
Z /2
Z
K
t

r2
=
rdr
d e
=
e dt =
2
4 0
4
0
0

et donc K = .
Faisons maintenant a 0. Cela donne :
fa (x) 1, c-`a-d. une gaussienne de hauteur 1 et de largeur infinie
fba (k) tend vers une gaussienne infiniment haute (1/a) et infiniment etroite; nous

ecrirons donc : fba (k) 2 .

Il resterait a` verifier que est bien la meme fonction de Dirac que dans le premier cas,
mais cela resulte de la normalisation, car on a comme precedemment :
Z

(k) dk = lim

a0

k2

e 2a2
dk = 1
a 2

(lintegrale est independante de a !).

La conclusion de ces deux calculs est tr`es importante pour les applications. En effet,
on peut considerer, dans chaque cas, que la largeur du pic represente lincertitude sur la
variable. Si on denote cette largeur par x, k respectivement, on a dans les deux cas :
1er cas : x `, k 1` ,
2e cas : x 1/a, k a,

et donc x k 1, `
et donc x k 1, a

Ces relations, exprimees dans les bonnes unites, sont a` la base du principe dincertitude
de Heisenberg de la mecanique quantique !
Revenons pour terminer `a la fonction de Dirac ; nous lavons en fait introduite
comme transformee de Fourier de la fonction constante f0 (x) =
ment) cette definition dans le theor`eme de convolution (2.11) :

b b
2 fc
0 g = f0 g

c-`a-d. :
gb = gb
170

1 .
2

Utilisons (formelle-

ou encore :
Z
gb(k) =

(k `)b
g (`) d`

(2.12)

Cette relation est la definition usuelle de la fonction . Elle est equivalente `a la relation
suivante, tout aussi symbolique :
1
(k) =
2

eikx dx.

En fait, toutes ces relations formelles peuvent se justifier rigoureusement a` laide de la

theorie des distributions ; en particulier, (2.12) signifie que est lapplication qui a` chaque
fonction gb associe sa valeur en un point k.
2.4

Lemme de Riemann

Nous terminerons ce chapitre par un resultat simple, mais fort important, le lemme de
Riemann, qui senonce comme suit :
Z b
Z b
Si
|f (x)|dx < , alors lim |
f (x)eikx dx | = 0
a

Sous la meme condition, on a aussi :

Z
Z b
f (x) sin kx dx | = 0 , lim |
lim |
k

f (x) cos kx dx | = 0

Dans le cas o`
u (a, b) = R, le lemme de Riemann dit simplement que la transformee de
Fourier dune fonction integrable tend vers 0 a` linfini. Intuitivement, le resultat signifie
que, si f (x) ne fluctue pas trop vite sur (a, b), les oscillations de plus en plus rapides
de la fonction trigonometrique quand k se compensent mutuellement (interferences
destructives). Cette propriete a de tr`es nombreuses applications.

171

Demonstration du lemme :
Soit (a, b) fini et f constante sur (a, b) : f (x) = c, x (a, b); alors le resultat est
evident :
Z

lim | c

ikx


dx | = lim c |
k

eikb eika
k


| = 0.

Si f est une fonction en escalier, c-`a-d. somme dun nombre fini de fonctions du
type precedent, on a le meme resultat.
Soit f integrable au sens de Riemann, c-`a-d. quil existe deux suites {En (x)} et
{En+ (x)} de fonctions en escalier telles que En (x) f (x) En+ (x) et
Z b
Z b

lim
En (x)dx =
f (x) dx.
n

Soit  > 0 assez petit; il existe donc N > 0 tel que n > N , on ait :
Z b
(f (x) En (x))dx .
a

On a alors :
Z b
Z
ikx
|
f (x) e dx | |
a

En (x)

ikx

Z
dx | |
Z

(f (x) En (x)) eikx dx |

a
b

| (f (x) En (x)) | dx 

et donc
Z
|

f (x)e

ikx

Z
dx |  + |

En (x) eikx dx |

Pour k assez grand, le deuxi`eme terme du membre de droite est arbitrairement petit,
ce qui demontre le resultat.

172

Appendice : Lespace de Hilbert

3.1

Espace pr
ehilbertien

3.1.1 Definitions
Soit V un espace vectoriel complexe. On appelle produit scalaire sur V une fonction
h | i : V V C qui verifie les conditions suivantes, f, g, h V, C :
(P 1) hf | g + hi = hf | gi + hf | hi
(P 2)

hf | gi = hf | gi

(P 3)

hf | gi = hg | f i

(P 4)

hf | f i 0 et hf | f i = 0 ssi f = 0.

Autrement dit, un produit scalaire est une forme hermitienne, definie positive et non
degeneree.
Un espace vectoriel muni dun produit scalaire est appele espace prehilbertien.
3.2

Exemples

(1) Cn avec le produit scalaire h~x | ~y i =

n
X

xj y j .

j=1

(2) C 0 [a, b], lespace vectoriel des fonctions continues sur un intervalle [a, b], avec le
produit scalaire
Z
hf | gi =

f (t) g(t) dt.

a

3.2.1 Proprietes
Dans tout espace prehilbertien V , on a, f, g, h V , C :
hf + g | hi = hf | hi + hg | hi

hf | gi = hf | gi
si hf | hi = hg | hi pour tout h V, alors f = g.

Remarque : on definit de facon analogue un espace prehilbertien reel avec un produit

scalaire reel h | i : V V R.

173

Demonstration :
(i) par (P1) et (P3) on a :
hf + g | hi = hh | f + gi = hh | f i + hh | gi = hf | hi + hg | hi.
(ii) par (P2) et (P3).
(iii) si hf | hi = hg | hi, h, alors hf g | hi = 0, h, et en particulier,
hf g | f gi = 0, ce qui implique f g = 0 par (P4).
3.2.2 Norme
Dans un espace prehilbertien, on appelle norme de f le nombre reel positif
kf k = hf | f i1/2 (ceci a un sens par (P4)).
On verifie immediatement que :
(1) kf k = | | kf k (par (P2) et 1.3 (ii))
(2)

kf k

= 0 ssi f = 0 (par (P4)).

Exemples
Avec les produits scalaires definis en 1.2, on a :
!1/2
n
X
. dans Cn : k~xk =
| xj |2
j=1

Z

. dans C [a, b] : kf k =

1/2
.
| f (t) | dt
2

3.2.3 Theor`emes
(1) Loi du parallelogramme
Dans un espace prehilbertien, on a :
kf + gk2 + kf gk2 = 2kf k2 + 2kgk2 .

174

(2) Loi de polarisation

Dans un espace prehilbertien complexe, on a :
hf | gi =

1
kf + gk2 kf gk2 + ikf igk2 ikf + igk2 .
4

(simple verification)
(3) Inegalite de Schwarz ( - Cauchy - Bunjakowski)
Dans un espace prehilbertien, on a :
| hf | gi | kf k kgk avec egalite ssi f = g.
sl Demonstration : Par (P4) on a , C :
0 kf gk2 = | |2 kf k2 hg | f i hf | gi+ | |2 kgk2 .
Choisissons :
= kgk2
= hg | f i.
Il vient :
0 kgk4 kf k2 kgk2 hf | gihg | f i kgk2 hg | f ihf | gi+ | hg | f i |2 kgk2
= kgk2 (kgk2 kf k2 | hf | gi |2 ).
D`es lors :
. si kgk = 0, c`ad g = 0, linegalite est satisfaite identiquement
. si kgk =
6 0, on a linegalite en divisant par kgk2 .
Enfin, on a legalite ssi f = g, c-`a-d. f = g.

175

(4) Inegalite de Minkowski

Dans un espace prehilbertien, on a :
kf + gk kf k + kgk.
Demonstration :
kf + gk2 = hf + g | f + gi = kf k2 + kgk2 + 2Rehf | gi
kf k2 + kgk2 + 2 | hf | gi |
kf k2 + kgk2 + 2kf kkgk par Schwarz
= (kf k + kgk)2 .
(5) Inegalite du triangle
Dans un espace prehilbertien on a :
kf gk kf hk + kh gk
(par substitution f 7 f h, g 7 h g dans linegalite de Minkowski).
Remarque importante :
Nous avons defini la norme `a partir du produit scalaire, mais on peut definir une norme
directement comme une fonction k k : V R+ qui verifie les proprietes 1.4 (1), 1.4 (2)
et linegalite de Minkowski. Le resultat est que :
. tout produit scalaire definit une norme;
. toute norme ne derive pas necessairement dun produit scalaire.
Le resultat fondamental, d
u a` J. von Neumann, est le suivant : une norme derive dun
produit scalaire ssi elle verifie la loi du parallelogramme 1.5 (1).
Exemples
Sur C [a, b]; considerons les normes suivantes.
Rb
kf k2 ( a | f (t) |2 dt)1/2
Rb
kf k1 a | f (t) | dt
kf k

sup |f (t)|
t[a,b]

176

Alors on voit facilement que k k2 vient dun produit scalaire (norme hilbertienne), tandis
que k k1 et k k ne viennent pas dun produit scalaire, et ne verifient pas la loi du
parallelogramme.
On appelle espace norme un espace vectoriel muni dune norme. Le resultat ci-dessus
senonce encore :
Tout espace prehilbertien est un espace norme, mais tout espace norme nest pas un
prehilbertien.
3.3

Espace de Hilbert

3.3.1 Distance et topologie

Dans un espace prehilbertien, on appelle distance de f a` g la quantite :
d(f, g) = kf gk.
En vertu des theor`emes du 1.5, cette quantite poss`ede les proprietes suivantes :
(D1) d(f, g) 0 et d(f, g) = 0 ssi f = g
(D2) d(f, g) = d(g, f )
(D3) d(f, g) d(f, h) + d(h, g),
caracteristiques de la notion usuelle de distance dans Rn .
Remarque importante :
Toute norme definit une distance, et on a d(f, 0) = kf k. Mais si on definit une distance
directement par (D1) - (D3), linverse est faux ! Ainsi, par ex. sur C (a, b), la quantite
suivante est une distance, c-`a-d. verifie (D1)-(D3) :

()
X
1 sup
(x) g () (x) |
x | f
d(f, g) =
,
() (x) g () (x) |
2 1+ sup
x | f
=0

mais elle ne derive pas dune norme, car on a d(f, 0) 6= d(f, 0)

Disposant de la notion de distance, on peut commencer a` faire de lanalyse sur un
espace prehilbertien; on peut definir les concepts de boule ouverte ou fermee, de continuite,
etc. On sait en particulier ce que signifie lexpression f est voisin de g, ou encore, la
suite fn converge vers f , c-`a-d. on a une topologie definie par la distance (un espace
vectoriel muni dune distance est appele espace metrique). On definira en effet :
177


la suite {fn } converge vers f si d(fn , f ) n
0

la suite {fn } est convergente, sil existe f (dans lespace considere) tel que fn f
la suite {fn } est une suite de Cauchy si d(fn , fm ) 0 quels que soient n, m .
Dans le cas dun espace norme, et en particulier dun espace prehilbertien, on parlera
de convergence forte ou convergence en norme, de topologie forte ou de la norme :
fn f lim kfn f k = 0.
n

3.3.2 Espaces complets, espace de Hilbert

On verifie immmediatement que toute suite convergente dans un espace prehilbertien est
une suite de Cauchy : si fn f , alors
d(fn , fm ) d(fn , f ) + d(fm , f ) 0.
Mais linverse nest pas vrai. Do`
u les definitions :
un espace metrique dans lequel toute suite de Cauchy est convergente est appele
complet.
un espace prehilbertien complet est appele espace de Hilbert.
3.3.3 Contre-exemples
(1) Considerons dabord lespace de toutes les suites complexes, de longueur finie (mais
arbitrairement grande), note . Etant donne x = (xk ), y = (yk ) , on definit le
produit scalaire :
hx | yi =

xk y k .

k=1

Lespace devient ainsi un espace prehilbertien, et il nest pas complet. Nous allons
construire explicitement une suite de Cauchy {x(n) } qui na pas de limite dans
. Considerons les suites finies suivantes :
x(1) = (1, 0, 0...)
178

1
x(2) = (1, , 0, 0...)
2
1 1
(3)
x
= (1, , , ...)
2 3
..
.
1 1 1
x(n) = (1, , ... , 0, 0...).
2 3 n
On peut alors verifier que :
(i) La suite {x(n) } appartient a` , et elle est de Cauchy.
(ii) La suite {x(n) } poss`ede bien un element limite, x = ( k1 ), car on a
limn kx(n) xk2 = 0, mais lelement limite x nappartient pas `a ,
c-`a-d. que nest pas complet.
Autrement dit, lespace incomplet est en quelque sorte trop petit, on sest
restreint artificiellement en imposant `a toutes les suites detre de longueur finie, on
a ainsi exclu, notamment, la suite limite x ci-dessus.
(2) Considerons `a present lespace C [1, 1] des fonctions continues sur lintervalle [1, 1].
Avec la metrique derivee du produit scalaire
Z 1
hf | gi =
f (t)g(t)dt
1

c-`a-d. :
Z

d(f, g) = kf gk =

1/2
,
| f (t) g(t) | dt
2

C [1, 1] est un espace prehilbertien incomplet.

Considerons en effet la suite de fonctions {fn } definie par :

0 pour 1 t 0

fn (t) =
nt pour 0 < t < n1 (n = 1, 2...).

1 pour 1 t 1
n

179

Ces fonctions ont lallure que voici :

La suite {fn } est de Cauchy, et converge vers une fonction f , mais celle-ci nappartient
pas `a C . En effet, on a :

0 pour 1 t 0
f (t) =
1 pour 0 < t 1
ce qui contredit lhypoth`ese de continuite de f . Lespace C est donc bien incomplet.
Par contre la fonction-limite f existe, est de carre sommable sur [1, 1], mais nest pas
continue : comme , lespace C est trop petit pour contenir les elements-limite de
toutes ses suites de Cauchy.
3.3.4 Lespace de Hilbert l2
On appelle l2 lensemble de toutes les suites x = (xk ) de nombres complexes de carre
sommable :

| xk |2 < .

k=1
2

Cet espace l est un espace de Hilbert pour les operations suivantes :

(i) structure despace vectoriel :
x + y = (xk + yk ),
x = (xk ).
(ii) produit scalaire :
hx | yi =

X
k=1

(iii) l2 est complet.

180

xk y k .

3.3.5 Lespace de Hilbert L2 ()

Soit une partie mesurable de R pour la mesure de Lebesgue. Soit M () lensemble
des fonctions definies sur , mesurables et de carre sommable, au sens de lintegrale de
Lebesgue :
Z

| f (x) |2 dx < .

Cet ensemble M () est un espace vectoriel, sur lequel on definit la relation dequivalence :
f g f (x) = g(x) presque partout.
On denote par L2 () lespace quotient M ()/ : un element de L2 () est donc une
classe dequivalence de fonctions, egales presque partout (on identifie parfois M () et
L2 () , mais cela peut creer des confusions).
Lexpression suivante :
Z
hf | gi =

f (x)g(x)dx

definit un produit scalaire sur M (), et aussi sur L2 (). Celui-ci est d`es lors un espace
prehilbertien. On montre en outre (theor`eme de Riesz-Fischer) que L2 () est complet,
c-`a-d. un espace de Hilbert, pour autant que lon utilise lintegrale de Lebesgue. Lespace
L2R () des fonctions de carre sommable `a la Riemann nest pas complet !
On definit de meme les espaces de Hilbert suivants :
Z
2
n
|f (~x)|2 d~x <
(1) L (), avec R , mesurable :

(2) L2 (, ), avec Rn et une mesure arbitraire, par exemple (d~x) = (~x)d~x, o`

u
est une fonction mesurable > 0 :
Z
|f (~x)|2 (d~x) <

3.4

Bases hilbertiennes

3.4.1 Orthogonalite
Dans un prehilbertien K, f et g sont dits orthogonaux (f g) si hf |gi = 0. On a dans ce
cas la relation de Pythagore :
kf + gk2 = kf k2 + kgk2 .
181

Une suite de vecteurs {ej } est dit orthonormale si

1 pour i = j
hei |ej i = ij =
0 pour i =
6 j.
Une telle suite est necessairement lineairement independante.
Exemples :
(i) Dans l2 : e1 = (1, 0, 0...), e2 = (0, 1, 0...) ...

(ii) Dans L [, ] : la suite

ou encore la suite


1 cos t sin t cos 2t sin t
, , , , ...

2
 imt 
e

, m = 0, 1, 2...
2

Th
eor`
eme 3.1 (In
egalit
e de Bessel) .
Soit {ej } une suite orthonormale dans un prehilbertien K. Alors, pour tout f K, on a :

|hej |f i|2 kf k2

j=1

D
emonstration. Par Pythagore on a, j C k

Pn

j=1

j ej k2 =

Pn

j=1

|j |2 . D`es lors,

pour n fixe, on a, j C :
kf

n
X

j ej k2 = kf k2

j=1

= kf k2

n
X
j=1
n
X

n
X

j hej |f i

j=1
n
X

|hej |f i|2 +

j=1

j hf |ej i +

j=1

|hej |f i j |2 .

j=1

Posons j = hej |f i. Il vient :

kf

n
X

hej |f iej k = kf k

j=1

et donc :

n
X

|hej |f i|2 0,

j=1

n
X

|hej |f i|2 kf k2 .

j=1

182

n
X

|j |2

Le membre de droite etant independant de n, on peut passer a` la limite n (qui

existe donc !), ce qui donne bien :

|hej |f i|2 kf k2 .

j=1

Remarque : Les nombres hej |f i sont appeles coefficients de Fourier de f par rapport `a
P
la suite {ej } : ce sont les valeurs de j qui minimisent la norme kf nj=1 j ej k , pour
chaque n. Ceci est le point de depart du probl`eme dapproximation dun vecteur f par
P
une combinaison lineaire
j ej , et, en particulier, de la theorie des series de Fourier.
Corollaire 3.2 . Tout espace prehilbertien de dimension finie est complet.
En effet, si dim K = n < , K poss`ede une base orthonormale {ej , j = 1...n}. Par la
correspondance :
f=

n
X

j ej {j , j = 1...n},

j=1

on peut identifier K a` Cn , qui est manifestement complet.

3.4.2 Suites infinies
Dans l2 , considerons la suite orthonormale e1 = (1, 0, 0 ), e2 = (0, 1, 0, ), etc. Si
x = (1 , k , 0, 0 ) est une suite finie, on a la representation
x=

k
X
j=1

j ej =

j ej

(j = 0, j > k).

j=1

Si x l2 nest plus de longueur finie, peut-on aussi le representer de cette facon ?

Plus generalement, soit {ej } une suite orthonormale dans un espace prehilbertien.
P
Peut-on donner un sens `a lexpression
esultat
j=1 j ej ? La clef est fournie par le r
suivant.
Lemme 3.3 . Soit {ej } une suite orthonormale dans un espace prehilbertien K. Alors, si
P
(j ) l2 , la suite {fn }, o`
u fn = nj=1 j ej , est une suite de Cauchy dans K.

183

La demonstration est immediate :

2

kfn+p fn k = k

n+p
X

j ej k =

j=n+1

pour n , puisque

j=1

n+p
X

| j |2 0,

j=n+1

| j |2 < . Il suffit donc dimposer a` K detre complet :

Th
eor`
eme 3.4 .
(1) Soit H un espace de Hilbert, {ej } une suite orthonormale dans H. Alors, pour
P
(k ) l2 , la suite {fn }, o`
u fn = nj=1 j ej , converge vers un element f , que lon
denote :
f=

j ej = lim

j=1

n
X

j ej .

j=1

(2) On a en outre :
2

kf k =
et si g =

| j |2 ,

j = hej | f i

j=1

j e j ,

j=1

hf | gi =

j j .

j=1

3.4.3 Bases hilbertiennes

Soit {ej } une suite orthonormale dans un Hilbert H . Etant donne f H, on peut definir
j = hej | f i

X
g =
j ej
j=1

Il sensuit que hej | gi = j = hej | f i, mais pas necessairement que f = g ! On peut

seulement conclure que f g est orthogonal `a tous les ej . On aura donc f = g seulement
si h ej , j implique h = 0. Ceci motive la definition suivante.
Definition
(1) Une famille de vecteurs dans un Hilbert H est appelee totale ou une base si le vecteur
nul est le seul vecteur orthogonal `a tous les vecteurs de la famille.
184

(2) Une base orthogonale est encore appelee base hilbertienne.

Il est important de remarquer quune base hilbertienne nest pas necessairement denombrable.
Do`
u la definition : un espace de Hilbert est dit separable sil poss`ede une suite totale.
Remarque : Certains auteurs utilisent le terme famille compl`ete pour designer une base,
mais cela peut preter a` confusion. On peut en effet definir de la meme facon une base
dans un prehilbertien non complet !
Exemples
(1) Dans l2 , la suite e1 = (1, 0, 0 ), e2 = (0, 1, 0 ), e3 = (0, 0, 1 ), et la suite
f1 = (1, 0, 0 ), f2 = (1, 1, 0 ), f3 (1, 1, 1, 0 ) sont totales.
(2) Dans L2 [a, b] la suite {1, t, t2 , } est totale (ceci nest pas evident !)
Ces deux espaces sont donc separables.
(3) Lespace des fonctions presque periodiques defini par :
Z T
1
2
| f (t) |2 dt < .
kf kpp = lim
T 2T T
Avec le produit scalaire
hf | gipp

1
= lim
T 2T

f (t)g(t)dt,
T

on verifie que la famille non denombrable {eikt , k R} est orthonormale

0

heikt | eik t i = kk0 . Cet espace de Hilbert (il est complet) nest donc pas separable.
Les proprietes des bases hilbertiennes sont resumees dans le theor`eme suivant :
Th
eor`
eme 3.5 (Th
eor`
eme des bases hilbertiennes) . Soit {ej } une suite orthonormale dans un Hilbert H. Alors les enonces suivants sont equivalents :
(i) {ej } est une base hilbertienne de H ;
(ii) pour tout f H, on a : kf k2 =
(iii) pour tout f H, f =

j=1 hej

j=1

| hej | f i |2 (egalite de Parseval) ;

| f iej (serie convergente en norme).

185

Pour exploiter lidentification f {hej | f i}, introduisons la terminologie suivante :

Definition : deux espaces de Hilbert H1 , H2 sont isomorphes ou unitairement equivalents
sil existe une application U : H1 H2 telle que :
(i) U est lineaire : U (f + g) = U f + U g
(ii) U est une bijection,
(iii) hU f | U gi = hf | gi,

f, g H1 .

Une telle application est appelee operateur unitaire.

Alors le theor`eme du 3.2 donne immediatement :
Th
eor`
eme 3.6 . Soit H un espace de Hilbert separable. Alors :
(i) Toutes les bases hilbertiennes de H ont le meme nombre de vecteurs, appele dimension (hilbertienne) de H.
(ii) Si dim H = n < , H est isomorphe `a Cn .
(iii) Si dim H = (denombrable), H est isomorphe `a l2 .

Remarque :
Le theor`eme setend a` tous les espaces de Hilbert, separables ou non : deux espaces
de Hilbert de meme dimension sont toujours isomorphes (pour le cas non separable, ceci
demande la theorie des nombres transfinis).

186

Table des mati`

eres

187