Vous êtes sur la page 1sur 22

Chapitre 3

Convolution et intgrales de
Fourier sur R
Universit dArtois
Facult des Sciences Jean Perrin
Analyse Fonctionnelle (Master 1 Mathmatiques-Informatique)
Daniel Li
On rdigera ce chapitre pour des fonctions dnies sur R, mais tout se
transcrit sur R
d
en remplaant le produit xy par le produit scalaire (x | y) =
x
1
y
1
+ +x
d
y
d
de R
d
.
1 Convolution
1.1 Introduction
La convolution permet de rgulariser les fonctions : la convole de deux fonc-
tions hrite des bonnes proprits de chacune de deux fonctions dont on est
parti ; elle peut mme en avoir de meilleures.
Si f, g : R C sont deux fonctions dnies sur R, on dit que la convole (ou
le produit de convolution) de f et g en x R existe si la fonction
R R ou C
t f(x t)g(t)
est intgrable sur R (pour la mesure de Lebesgue). On pose alors :
(f g)(x) =
_
R
f(x t)g(t) dt
On notera que, dans lintgrale, x et t sont lis par la relation (xt) +t = x.
En faisant le changement de variable u = x t, on a, grce linvariance de
la mesure de Lebesgue par translation :
(f g)(x) =
_
R
f(u)g(x u) du;
donc (f g)(x) existe si et seulement si (g f)(x) existe, et on a lgalit :
1
(f g)(x) = (g f)(x) .
Pour obtenir une nouvelle fonction f g, on va chercher des conditions pour
que (f g)(x) existe pour tout x R, ou au moins pour presque tout x R.
Il ny a pas vraiment de condition gnrale qui permette dassurer lexistence
de f g. Cela est d au fait que, si lon a :
L
p2
(0, 1) L
p1
(0, 1) L
1
(0, 1)
pour 1 p
1
p
2
, par contre aucun des espaces L
p
(R) nen contient un autre.
Nous allons regarder trois situations.
1.2 Existence dans le cas L
p
L
q

Thorme 1.1 Soit 1 < p < et


1
p
+
1
q
= 1 .
Si f L
p
(R) et g L
q
(R), alors (f g)(x) existe pour tout x R et de
plus f g C
0
(R) .
C
0
(R) est lespace des fonctions continues sur R qui tendent vers 0 linni.
Cela sapplique enparticulier lorsque p = q = 2.
La premire assertion rsulte de lingalit de Hlder :
_
R
|f(x t)g(t)| dt
__
R
|f(x t)|
p
dt
_
1/p
__
R
|g(t)|
q
dt
_
1/q
= f
p
g
q
< +;
cela entrane que la fonction f g est dnie sur R, et est borne, et :
f g

= sup
xR
|(f g)(x)| f
p
g
q
.
Pour la seconde assertion, on aura besoin de rsultats auxiliaires. Le premier
gnralise ce que lon a dj vu pour L
2
(R).
Thorme 1.2 Pour 1 p < , lespace K (R) est dense dans L
p
(R).
Preuve. On sait que lespace E t
p
(R) des fonctions tages qui sont dans L
p
(R)
est dense dans L
p
(R). Il sut donc de montrer que si (A) < +, alors 1I
A
peut tre approche par des fonctions de K (R).
2
Par rgularit de la mesure de Lebesgue, pour tout > 0, il existe un compact
K et un ouvert tels que :
_
K A
( \ K)
p
.
Soit N assez grand pour que K ] N, N[ ; alors les ferms K et F = (]
N, N[)
c
sont disjoints et la fonction :
(t) =
dist (t, F)
dist (t, F) + dist (t, K)
est continue, support compact (il est contenu dans [N, N]) et vrie :
_
_
_
0 (t) 1 ;
(t) = 1 si t K ;
(t) = 0 si t /
(cas particulier du Thorme dUrysohn). On a :
1I
A

p
p
( \ K)
p
.
Remarque. Soit K
n
(R) = {f K (R) ; suppf [n, n]} muni de la norme
f

= sup
tR
|f(t)|. Lapplication
K
n
(R) C([n, n])
f f
|[n,n]
est une isomtrie (non surjective). Puisque C([n, n]) est sparable, K
n
(R) lest
donc aussi. Par consquent :
Corollaire 1.3 Lespace L
p
(R) est sparable pour 1 p < .
En eet, si f L
p
(R), pour tout > 0, il existe g K (R) telle que
f g
p
/2.
Soit N 1 tel que suppg [N, N].
Soit
N
une partie dnombrable dense dans K
N
(R) ; il existe K
N
(R)
telle que :
g

= sup
tR
|g(t) (t)|

2(2N)
1/p

Alors :
g
p
=
__
R
|g(t) (t)|
p
dt
_
1/p
=
__
N
N
|g(t) (t)|
p
dt
_
1/p
/2 ,
et f
p
.
Lensemble dnombrable =

N1

N
est donc dense dans L
p
(R).
3
Le rsultat suivant est essentiel et sera souvent utilis par la suite.
Thorme 1.4 Soit 1 p < et f L
p
(R). On pose f
x
(t) = f(t x)
Alors lapplication

f
: R L
p
(R)
x f
x
est uniformment continue.
Preuve. Soit > 0.
On cherche > 0 tel que :
|x y| = f
x
f
y

p
.
a) Soit g K (R) telle que f g
p
/3.
Soit A > 0 tel que suppg [A, A].
Comme toute fonction continue support compact est uniformment conti-
nue (consquence du Thorme de Heine), on a :
( > 0) (x, y R) |x y| |g(x) g(y)|

3(4A)
1/p

Choisissons un tel > 0 de sorte que A.
Alors, pour |x y| , on a :
_
R
|g(t x) g(t y)|
p
dt =
_
R
|g(u) g(u +x y)|
p
du
=
_
A+
A
|g(u) g(u +x y)|
p
du
2(A+)

p
3
p
(4A)


p
3
p
,
cest--dire g
x
g
y

p
/3.
Cela montre que le thorme est vrai pour les fonctions g continues support
compact.
b) Il reste remarquer que, comme la mesure de Lebesgue est invariante par
translation, on a :
f L
p
(R) f
x
L
p
(R)
et f
x

p
= f
p
.
Alors, pour |x y| :
f
x
f
y

p
f
x
g
x

p
+g
x
g
y

p
+g
y
f
y

p
= (f g)
x

p
+g
x
g
y

p
+(g f)
y

p
= 2f g
p
+g
x
g
y

p

2
3
+

3
= .
4
Preuve du Thorme 1.1. La continuit vient du Thorme 1.4 et de ce que,
par lingalit de Hlder, la forme linaire
L
p
(R) R ou C
h
g
(h) =
_
R
h(t)g(t) dt
est, pour g L
q
(R) et
1
p
+
1
q
= 1, continue :
|
g
(h)| g
q
h
p
et que :
(f g)(x) =
g
(

f
x
) ,
o :

f(t) = f(t)
(de sorte que

f
x
(t) = f(x t)).
On a ensuite dj vu que :
f g

g
q
f
p
.
Il reste voir que :
(f g)(x)
|x|+
0.
Soit pour cela > 0, et choisissons K (R) telle que :
_
f
p

f
p
g
q
/2,
puis K (R) telle que :
g
q
(f
p
+) /2.
Alors :
f g

f g g

+ g

f
p
g
q
+
p
g
q


2
+ (f
p
+) g
q


2
+

2
= .
Soit maintenant A > 0 tel que (t) = 0 et (t) = 0 pour |t| A. Pour |x| 2A,
on a (t) = 0 si |t| A et (x t) = 0 si |t| A; donc ( )(x) = 0. Par
consquent, pour |x| 2A, on a |(f g)(x)| .
1.3 Existence dans le cas L
1
L

Commenons par dnir lespace L

.
Soit (X, T , m) un espace mesur.
5
On dit que lapplication mesurable f : X R ou C est essentiellement
borne sil existe un nombre M > 0 tel que :
|f(t)| M pour presque tout t X.
On appelle borne suprieure essentielle de f le nombre
f

d ef
= sup ess
tX
|f(t)| = inf{M > 0 ; |f| M mp.p.}.
Remarque. Si X R
d
est sans point isol et si m =
d
est la mesure de
Lebesgue
d
, alors, pour toute fonction continue et borne f : X R ou C, on
a supess
tX
|f(t)| = sup
tX
|f(t)| (exercice) ; ainsi la notation f

norira
en gnral pas dambigut.
Proposition 1.5 On a :
|f| f

mp.p.
En dautre termes, la borne infrieure de la dnition est atteinte.
Preuve. Par dnition :
N
n
= {t X ; |f(t)| f

+ 1/n}
est m-ngligeable. Donc
_
n1
N
n
= {t X ; |f(t) > f

}
aussi.
On note L

(X, T , m) lespace de toutes les fonctions mesurables f : X K


qui sont essentiellement bornes ;

est une semi-norme sur L

(X, T , m).
Lespace-quotient par le sous-espace des fonctions m-ngligeables (qui sont celles
pour lesquelles

= 0) est not par L

(X, T , m) ;

dnit une norme


sur L

(X, T , m), qui en fait un espace de Banach (exercice).


Si f L
1
(m) et g L

(m), on a :

_
R
f(t)g(t) dm(t)

f
1
(cest lanalogue de lingalit de Hlder pour p = 1 et q = ) ; lapplication

g
: L
1
(m) K
f
_
X
fg dm
est donc une forme linaire continue sur L
1
(m).
Thorme 1.6 Si f L
1
(R) et g L

(R), alors (f g)(x) existe pour tout


x R et f g C
b
(R).
6
C
b
(R) est lespace des fonctions continues bornes sur R.
Preuve. Elle est identique celle du Thorme 1.1, puisque le Thorme 1.4
est vrai pour p = 1.
On notera aussi que pour tout x R, on a |(f g)(x)| f
1
g

.
Remarque. On ne peut pas dire que f g tend vers 0 linni, car la preuve
donne dans le cas L
p
L
q
utilisait la densit de K (R) ; or K (R) nest pas
dense dans L

(R) : son adhrence est C


0
(R).
Ce nest dailleurs en gnral pas vrai, comme le montre lexemple suivant :
prenons g = 1I, la fonction constante gale 1, qui est dans L

(R) ; pour toute


f L
1
(R), on a :
(f 1I)(x) =
_
R
1I(x t)f(t) dt =
_
R
f(t) dt ;
f 1I est donc constante (et on nulle si lintgrale de f nest pas nulle).
1.4 Existence dans le cas L
1
L
1

Thorme 1.7 Si f et g sont dans L


1
(R), alors (f g)(x) existe pour presque
tout x R, et la fonction fg est dans L
1
(R). De plus f g
1
f
1
g
1
.
Preuve. Cela rsulte du Thorme de Fubini : on considre la fonction dnie
par :
F(t, x) = f(x t)g(t).
F est mesurable sur R
2
et, grce linvariance de la mesure de Lebesgue par
translation, on a :
__
R
2
|F(t, x)| dtdx =
_
R
_ _
R
|f(x t)| dx
_
|g(t)| dt
=
_
R
f
1
|g(t)| dt = f
1
g
1
< +;
donc F est intgrable sur R
2
, et il en rsulte que, pour presque tout x R:
_
R
|f(x t) g(t)| dt =
_
R
|F(t, x)| dt < +,
et par consquent
(f g)(x) =
_
R
f(x t)g(t) dt
existe pour ces x R, et donc presque partout. De plus, la fonction
x (f g)(x) ,
7
dnie presque partout, est intgrable sur R, et :
_
R
|(f g)(x)| dx
__
R
2
|F(t, x)| dtdx f
1
g
1
,
soit f g
1
f
1
g
1
.
Proposition 1.8 L
1
(R) est une algbre de Banach commutative pour la convo-
lution.
Preuve. On a dj vu la commutativit. Seule lassociativit nest pas vidente.
Pour la voir, soit f, g, h L
1
(R) et prenons x R tel que
_
(|f| |g| |h|

(x) <
+: cela a lieu pour presque tout x R, et alors [(f g) h](x) existe. On a :
[(f g) h](x) =
_
R
(f g)(x t) h(t) dt
=
_
R
_ _
R
f(x t u) g(u) du
_
h(t) dt
=
_
R
_ _
R
f(x v) g(v t) dv
_
h(t) dt
=
_
R
f(x v)
_ _
R
g(v t) h(t) dt
_
dv,
en utilisant le Thorme de Fubini, ce qui est possible car :
__
R
2
|f(x v) g(v t) h(t)| dtdv =
_
(|f| |g| |h|

(x) < +.
Donc :
[(f g) h](x) =
_
R
f(x v) (g h)(v) dv = [f (g h)](x),
ce que lon voulait montrer.
Remarque. On verra que cette algbre na pas dlment unit.
Il existe nanmoins une notion supplant ce manque, celle dunit approche.
8
Thorme 1.9 Soit p une densit de probabilit sur R telle que p 1, cest-
-dire que : p L
1
(R), 0 p 1 et
_
R
p(t) dt = 1.
Posons, pour a > 0 :
p
a
(t) =
1
a
p
_
t
a
_
, t R.
Alors :
a) Pour toute g C
b
(R), on a lim
a0
(g p
a
)(x) = g(x) , x R.
b) Pour 1 r < et pour toute f L
r
(R), on a :
lim
a0
(f p
a
) = f ,
la limite tant prise pour la norme de L
r
(R).
Remarque 1. Si les fonctions sont dnies sur R
d
, on a le mme rsultat,
condition de remplacer la dnition de p
a
par :
p
a
(t) =
1
a
d
p
_
t
a
_
, t R
d
.
Remarque 2. Si f L
1
(R), alors f p
a
C
b
(R) ; en eet, on a 0 p
a
1/a ;
donc p
a
L

(R), et on peut utiliser le Thorme 1.6.


Lorsque f L
r
(R), avec 1 < r < , on a f p
a
C
0
(R). En eet, comme
0 p 1, on a 0 p
s
p (avec
1
r
+
1
s
= 1)
Dnition 1.10 On appellera unit approche pour la convolution toute fa-
mille de fonction p
a
L
1
(R), indexe par des a > 0 vriant les conditions a)
et b) du Thorme 1.9
Parfois on ne considrera que les valeurs a = 1/n; lunit approche sera
alors not (p
n
)
n1
(au lieu de p
1/n
).
9
Preuve.
Remarquons dabord que
_
R
p
a
(t) dt =
_
R
p(t) dt = 1 ;
donc p
a
L
1
(R).
a) Par consquent g p
a
C
b
(R), puisque g C
b
(R) L

(R).
En particulier, g p
a
(x) existe pour tout x R. Comme
_
R
p
a
(t) dt = 1, on
a :
(g p
a
)(x) g(x) =
_
R
[g(x t) g(x)] p
a
(t) dt
=
_
R
[g(x t) g(x)]
1
a
p
_
t
a
_
dt
=
_
R
[g(x au) g(x)] p(u) du

a0
0,
par le Thorme de convergence domine, puisque :
|g(x au) g(x)| p(u) 2 g

p(u).
b) Daprs la Remarque 2 prcdente, (f p
a
)(x) existe pour tout x R.
Comme dans le a), crivons :
(f p
a
)(x) f(x) =
_
R
[f(x t) f(x)] p
a
(t) dt ;
en utilisant les ingalits de Hlder pour la mesure p
a
., on obtient :
|(f p
a
)(x) f(x)|
_ _
R
|f(x t) f(x)| d(p
a
.)(t)
_

_ _
R
|f(x t) f(x)|
r
d(p
a
.)(t)
_
1/r
=
_ _
R
|f(x t) f(x)|
r
p
a
(t) dt
_
1/r
;
do, en utilisant le Thorme de Fubini-Tonelli :
_
R
|(f p
a
)(x) f(x)|
r
dx
_
R
_ _
R
|f(x t) f(x)|
r
dx
_
p
a
(t) dt
=
_
R
f
t
f
r
r
p
a
(t) dt
=
_
R
g(t) p
a
(t) dt = (g p
a
)(0)
a0
g(0) = 0 ,
10
grce la partie a), puisque la fonction :
g : t f
t
f
r
r
est continue (car
f
: t R f
t
L
r
(R) lest, par le Thorme 1.4) et borne
(par 2
r
f
r
r
).
On notera que, au passage, on a obtenu f p
a
f
r
r
(g p
a
)(0) < +;
donc (f p
a
f) L
r
(R) et donc f p
a
L
r
(R).
1.5 Proprits de rgularit de la convolution
On ntudiera pas toutes les possibilits et lon se contentera du rsultat
suivant.
On note D
k
(R) (0 k ) lespace des fonctions k fois continment
drivables sur R support compact : D
0
(R) = K (R) et D
k
(R) = K (R)
C
k
(R).
Thorme 1.11 Si f L
r
(R) (1 r < ) et D
k
(R), alors f est k
fois continment drivable.
De plus (f )
(h)
= f
(h)
pour 0 h k.
Preuve. Cest une consquence des thormes de continuit et de drivabilit
sous le signe
_
: si x
0
R et supp [A, A], alors, pour |x x
0
| 1, on a
(f )(x) = (

f )(x), avec

f = f
|[A+x01,A+x0+1]
L
1
(R).
Application. Soit
(u) =
_
exp
_

1
1u
2
_
si |u| < 1
0 si |u| 1.
Il est facile de voir que est indniment drivable sur R.
Soit :
A =
_
R
(u) du.
Cest un nombre > 0. Posons :
p(t) = (At) =
_
exp
_

1
1A
2
t
2
_
si |t| < 1/A
0 si |t| 1/A.
On a 0 p 1,
_
R
p(t) dt = 1 et supp(p)
_
1/A, 1/A

. Alors, pour f L
r
(R)
(1 r < ), la fonction f p
a
L
r
(R), est indniment drivable, et converge
vers f dans L
r
(R) lorsque a 0. On en dduit :
Thorme 1.12 Pour 1 r < , lespace D = D

(R) des fonctions ind-


niment drivables sur R et support compact est dense dans L
r
(R).
11
Preuve. Soit f L
r
(R) et soit > 0. Il existe K (R) telle que f
r

/2.
Comme L
r
(R), p
a
est indniment drivable ; et elle est support
compact car :
supp ( p
a
) (supp) + (suppp
a
).
Si a > 0 est tel que p
a

r
/2, on a f p
a

r
.
2 Transformation de Fourier
2.1 Transformation de Fourier dans L
1
(R)
Dnition 2.1 1) On appelle transforme de Fourier, ou intgrale de
Fourier, de f L
1
(R
d
) la fonction Ff =

f : R
d
C dnie par :

f(y) =
_
R
d
f(x) e
2i(x|y)
dx , y R
d
.
2) La transformation de Fourier sur L
1
(R
d
) est lapplication linaire
F: L
1
(R
d
) C
R
d
f Ff =

f.
Pour des raisons de simplication dcriture, on supposera que d = 1 ; alors

f(y) =
_
R
f(x) e
2ixy
dx, y R ;
mais tous les rsultats pour d 2 se prouvent de la mme faon.
Thorme 2.2 On a :
f L
1
(R) = Ff C
0
(R).
Preuve. La continuit rsulte du Thorme de convergence domine, car :
|f(x) e
2ixy
| = |f(x)|
est intgrable et indpendante de y.
Il sagit maintenant de voir que lim
|y|+

f(y) = 0 (noter que cest lanalogue


du Lemme de Riemann-Lebesgue pour les sries de Fourier).
12
Pour cela, remarquons que e
i
= 1 ; cela permet dcrire :

f(y) =
_
R
f(x) e
2ixy
e
i
dx
=
_
R
f(x) e
2i
_
x+
1
2y
_
y
dx
=
_
R
f
_
t
1
2y
_
e
2ity
dt ;
do :
2

f(y) =
_
R
_
f(t) f
_
t
1
2y
__
e
2ity
dt ,
et :
2 |

f(y)| f f
1/2y

|y|+
0,
par le Thorme 1.4.
Thorme 2.3 Pour toutes f, g L
1
(R), on a :
F(f g) = (Ff).(Fg) .
Autrement dit, F est un homomorphisme dalgbres. De faon plus explicite,
cela scrit :

(f g)(y) =

f(y) g(y) , y R.
Cest lun des grands intrts de la transformation de Fourier. En eet, la
convolution rgularise les fonctions mais nest pas facile calculer ; un passage
du ct Fourier simplie souvent.
Preuve. Cela rsulte du Thorme de Fubini :

f g(y) =
_
R
__
R
f(x t)g(t) dt
_
e
2ixy
dx
=
_
R
__
R
f(x t) e
2i(xt)y
g(t), e
2ity
dt
_
dx.
Comme :
_
R
_
R
|f(x t) e
2i(xt)y
g(t), e
2ity
| dtdx = |f| |g|
1
< +,
13
on peut appliquer le Thorme de Fubini, et on obtient :

f g(y) =
_
R
__
R
f(x t), e
2i(xt)y
dx
_
g(t), e
2ity
dt
=
_
R
__
R
f(u) e
2iuy
du
_
g(t), e
2ity
dt
=
_
R

f(y) g(t) e
2ity
dt =

f(y) g(y)
Corollaire 2.4 Lalgbre L
1
(R) na pas dunit pour la convolution.
Preuve. Sil y en avait une, disons L
1
(R), on aurait f = f, donc

f =

f
pour toute f L
1
(R).
Prenons par exemple f = 1I
[0,1]
. On a :

1I
[0,1]
(y) =
_
1
0
e
2ixy
dx =
_
1 si y = 0
e
2iy
1
2iy
= e
iy
sin(y)
y
si y = 0.
Comme

1I
[0,1]
(y) = 0 pour y / Z

, on devrait avoir (y) = 1 pour y / Z

(et
donc en fait (y) = 1 pour tout y R, par continuit) ; mais cela contredit le
fait que (y) tend vers 0 quand |y| tend vers linni.
Remarque. Il existe en fait bien une unit pour la convolution, mais elle nest
pas dans L
1
(R) : on peut tendre la dnition de la convolution lespace de
toutes les mesures complexes sur R; dans cette algbre M(R), qui contient
L
1
(R), il y a une unit qui est la mesure de Dirac
0
en 0.
Corollaire 2.5 Lapplication linaire F: L
1
(R) C
0
(R) est continue et de
norme 1.
Preuve. De faon claire, F est linaire et Ff

f
1
; donc F est conti-
nue et de norme F 1.
Pour voir que F = 1, nous allons donner deux mthodes (dont lintrt
est bien plus grand que savoir que F = 1).
1
` ere
mthode. On va utiliser une unit approche p dnie comme dans le Tho-
rme 1.9. Nous avons vu que :
f p
a
L
1
(R)

a0
f ;
donc, puisque F est continue :

f p
a
= F(f p
a
)

a0
Ff =

f.
Alors :

= lim
a0

f p
a

liminf
a0

p
a

.
14
Soit f L
1
(R) telle que Ff ne soit pas identiquement nulle (par exemple
f = 1I
[0,1]
), de sorte que

> 0 ; en simpliant lingalit ci-dessus, on


obtient :
1 liminf
a0
Fp
a

.
Comme p
a

1
= p
1
= 1, cela donne :
F = sup
11
F

1.
2
` eme
mthode. On va montrer que si :
f
0
(x) = e
x
2
,
alors Ff
0
= f
0
(f
0
est un point xe pour F ; autrement dit : f
0
est un vecteur
propre pour F, associ la valeur propre 1).
On sait que :
_
R
f
0
(x) dx = 1
(passer en coordones polaires dans
__
R
2
e
(x
2
+y
2
)
dxdy). Ensuite :

f
0
(y) =
_
R
e
x
2
e
2ixy
dx
=
_
R
e
(x+iy)
2
y
2
dx
= e
y
2
_
R
e
(x+iy)
2
dx.
Considrons la fonction holomorphe
F(z) = e
z
2
, z C.
Par le Thorme de Cauchy, son intgrale sur le bord du rectangle ci-dessous
(pour y > 0) est nulle.

iy

+n
Sur les cts verticaux, on a :
|F(z)| = |e
(n+iv)
2
| = e
n
2
e
v
2
e
n
2
e
y
2
;
15
lintgrale de F sur ces cts tend donc vers 0 quand |y| tend vers linni. Il en
rsulte que :
_
R
e
(x+iy)
2
dx =
_
R+iy
F(z) dz =
_
R
F(x) dx =
_
R
f
0
(x) dx = 1.
Donc

f
0
(y) = e
y
2
= f
0
(y).
2.2 Le thorme dinversion
Thorme 2.6 (Thorme dinversion) Si f L
1
(R) et si sa transfor-
me de Fourier est intgrable : Ff =

f L
1
(R), alors f est (p.p.) gale la
fonction continue g dnie par :
g(x) =
_
R

f(y) e
+2ixy
dy.
Pour u L
1
(R), on appelle co-transforme de Fourier de u la fonction dnie
par :
_

Fu
_
(y) =
_
R
u(x) e
+2ixy
dx,
cest--dire que
_

Fu
_
(y) =
_
Fu
_
(y).
Le Thorme dinversion sexprime donc par :
f et Ff L
1
(R) = f =

F
_
Ff
_
.
Voyons tout de suite une consquence importante.
Thorme 2.7 La transformation de Fourier F: L
1
(R) C
0
(R) est
injective.
Preuve. F tant linaire, il sut de voir que ker F = {0}. Soit f L
1
(R)
telle que Ff = 0. Comme 0 L
1
(R) ( !), le Thorme dinversion assure que
f =

F
_
Ff
_
=

F(0) = 0.
La preuve du Thorme dinversion utilisera le lemme suivant.
Lemme 2.8 Soit P L
1
(R) telle que p =

FP soit une densit de probabilit
sur R. Alors, pour toute f L
1
(R), on a :
(f p
a
)(x) =
_
R

f(y) e
2ixy
P(ay) dy , x R.
16
Rappelons que :
p
a
(t) =
1
a
p
_
t
a
_
.
Remarque. Si P est elle-mme une densit de probabilit, on aura :
p

=

FP

P
1
= 1 ;
donc 0 p 1 et p vrie les conditions du Thorme 1.9 sur lexistence des
units approches pour la convolution dans L
1
(R).
Exemples.
1) Prenons P(x) = e
x
2
. Alors on a vu que p(y) = e
y
2
; on dit que p
est la densit de Gauss.
2) Si P(x) = e
2|x|
, on voit facilement que p(y) =
1
(1+y
2
)
; on dit que
p est la densit de Cauchy.
3) Si P(x) =
1
(1+x
2
)
, alors p(y) = e
2|y|
. Cela se voit, soit en intgrant
sur le chemin form du segment [R, R] union le demi-cercle de centre 0 et de
rayon R (dans le demi-plan suprieur si y > 0, et dans le demi-plan infrieur si
y < 0), soit en utilisant lexemple prcdent et le Thorme dinversion. On dit
que p est la densit de Poisson.
Preuve du Thorme dinversion partir du lemme. On utilisera la
fonction de lexemple 2) :
P(y) = e
2|y|
.
On a :
_
P(ay)
a0
1
0 P(ay) 1;
donc :
_

f(y) e
2ixy
P(ay)
a0

f(y) e
2ixy
, x R,
|

f(y) e
2ixy
P(ay)| |

f(y)| .
Le Lemme 2.8 et le Thorme de convergence domine donnent donc :
lim
a0
(f p
a
)(x) = g(x) , x R.
17
Mais, par ailleurs, comme on a :
f p
a
f
1

a0
0 ,
on peut trouver une suite de nombres a
n

n
0 telle que (f p
an
)
n
converge
presque partout vers f.
Il en rsulte que f = g presque partout.
Preuve du Lemme 2.8. Remarquons dabord que (f p
a
)(x) existe pour
tout x R (car p C
0
(R) entrane p
a
C
0
(R) L

(R)). Ensuite, on a, par


dnition :
p(y) =
_
R
P(x) e
2ixy
dx;
do :
p
a
(y) =
1
a
p
_
y
a
_
=
_
R
P(at) e
2ity
dt.
Le Thorme de Fubini donne alors :
(f p
a
)(x) =
_
R
f(x y)
__
R
P(at), e
2ity
dt
_
dy
=
_
R
__
R
f(x y), e
2ity
dy
_
P(at) dt
=
__
R
f(u), e
2i(xu)t
du
_
P(at) dt
=
_
R

f(t) e
2ixt
P(at) dt.
Proposition 2.9 FL
1
(R) est dense dans C
0
(R).
On verra plus tard que F: L
1
(R) C
0
(R) nest pas surjective.
Preuve. On va utiliser le Thorme de Stone-Weierstrass. Comme R nest pas
compact, on utilisera son compacti dAlexandrov K =

R = R {}.
C
0
(R) sidentie {h C(

R) ; h() = 0}.
Soit :
A = C.1I

R
FL
1
(R).
Alors :
(i) A est une sous-algbre de C(

R) car FL
1
(R) en est une de C
0
(R) ;
(ii) A spare les points de

R. En eet :
FL
1
(R) (donc a fortiori A) spare les points de R: si y
1
, y
2
R sont
tels que

f(y
1
) =

f(y
2
) pour toutes les f L
1
(R), on a :
0 =

f(y
1
)

f(y
2
) =
_
R
(e
2ixy1
e
2ixy2
) f(x) dx,
18
et, en appliquant ceci pour f(x) = (e
2ixy1
e
2ixy2
) u(x), avec u L
1
(R) telle
que u(x) > 0 pour presque tout x R, on obtient :
_
R
|e
2ixy1
e
2ixy2
|
2
u(x) dx = 0,
do :
e
2ixy1
= e
2ixy2
pour presque tout x R. Par continuit, cest en fait vrai pour tout x R. En
drivant, on obtient :
2iy
1
e
2ixy1
= 2iy
2
e
2ixy2
,
do y
1
= y
2
(faire x = 0).
FL
1
(R) (donc a fortiori A) spare chaque y
0
R de car on peut
trouver f L
1
(R) telle

f(y
0
) = 0 (on a mme vu que lon pouvait trouver f
L
1
(R) telle que

f(y) = 0 pour tout y R) ; do le rsultat car le prolongement
de

f

R est nul en .
(iii) A est stable par conjugaison, car FL
1
(R) lest ; en eet, on a

f =

f

,
avec f

(x) = f(x)).
Comme A contient les constantes, par dnition, le Thorme de Stone-
Weierstrass dit que A est dense dans C(

R). En particulier, pour toute h


C
0
(R) C(

R) et tout > 0, il existe f

L
1
(R) et

C tels que :
h

f

C(

R)
.
Mais alors |

| = |h()

f

()

| , et donc h

f

C0(R)
= h

f

C(

R)

|

| + 2.
2.3 Transformation de Fourier dans L
2
(R)
Comme L
2
(R) L
1
(R), la dnition de la transforme de Fourier des fonc-
tions de L
2
(R) ne peut pas se faire simplement en reprenant celle des fonctions
de L
1
(R). On utilisera pour cela un passage la limite, en utilisant la densit
de L
1
(R) L
2
(R) dans L
2
(R) (on notera que K (R) L
1
(R) L
2
(R)).
Linconvnient dune telle dnition indirecte (et le fait que, dans un certain
sens, considrer les fonctions de carr intgrable et non pas directement les
fonctions intgrables est moins naturel) est compens par le fait que, dune part
L
2
(R) est un espace de Hilbert, et, surtout, dautre part, que lon obtient ainsi
une transformation de Fourier (appele aussi transforme de Fourier-Plancherel )
qui envoie L
2
(R) dans lui-mme (alors que L
1
(R) est envoy dans C
0
(R)), et qui,
de plus, ralise un isomorphisme isomtrique de L
2
(R) sur lui-mme ; il conserve
donc aussi le produit scalaire.
19
Thorme 2.10 (Thorme de Plancherel, 1910) La transformation de
Fourier F, dnie sur L
1
(R) L
2
(R) , se prolonge, de faon unique, en un
isomorphisme despaces de Hilbert de L
2
(R) sur lui-mme.
Un isomorphisme despaces de Hilbert est une application linaire bijective
T : H
1
H
2
qui conserve le produit scalaire : (Tx | Ty) = (x | y) pour tous
x, y H
1
. Cest donc une isomtrie. Inversement, toute isomtrie (linaire)
entre espaces de Hilbert conserve le produit scalaire, grce lidentit de pola-
risation :
(x | y) =
1
4
__
x +y
2
x y
2
_
+i
_
x +iy
2
x iy
2
_
pour les espaces complexes, et :
(x | y) =
1
2
_
x +y
2
x y
2
_
pour les espaces rels.
Notation. On notera aussi ce prolongement par F :
F: L
2
(R) L
2
(R).
Preuve. Lunicit vient de la densit de L
1
(R) L
2
(R) dans L
2
(R).
Pour prouver lexistence, il sut de montrer que :

f
2
= f
2
, f L
1
(R) L
2
(R),
car alors, grce la densit, F se prolongera en une isomtrie de L
2
(R) dans
lui-mme (non surjectivement a priori).
Nous allons en fait utiliser un espace un peu plus petit que L
1
(R) L
2
(R),
sur lequel nous pourrons travailler plus facilement, mais qui reste dense dans
L
2
(R).
Soit :
A(R) = {f L
1
(R) ;

f L
1
(R)} .
Cest exactement lensemble des fonctions de L
1
(R) pour lesquelles le Thorme
dinversion sapplique :
f A(R) = f(x) =

f(x) pour presque tout x R.


Proposition 2.11 On a :
a) f A(R)

f A(R) ;
b) f A(R) f et

f L
2
(R) ;
c) A(R) L
1
(R) L
2
(R) ;
d) f A(R)

f
2
= f
2
;
e) A(R) est dense dans L
1
(R) L
2
(R), pour la norme
2
.
20
Preuve. a) rsulte du Thorme dinversion.
b) On a, dune part :

f C
0
(R), donc

f L

(R) ; dautre part, le Thorme


dinversion donne :

f C
0
(R) f C
0
(R) f L

(R).
Il reste remarquer que L
1
(R) L

(R) L
2
(R) car si h L
1
(R) L

(R), on
crit |h|
2
h

|h|, ce qui donne h


2
h

h
1
.
c) rsulte du b).
d) Pour cela, on utilisera le :
Lemme 2.12 Si f, g L
1
(R), alors :
_
R
f(x) g(x) dx =
_
R

f(y)g(y) dy.
Preuve. Il sut dutiliser le Thorme de Fubini :
_
R
f(x) g(x) dx =
_
R
f(x)
__
R
g(y) e
2ixy
dy
_
dx
=
_
R
__
R
f(x) e
2ixy
dx
b
igg) g(y) dy
=
_
R

f(y)g(y) dy.
e) Il reste voir que A(R) est dense dans L
1
(R) L
2
(R), pour la norme

2
(cest--dire dans L
2
(R)).
Soit P(y) = e
2|y|
la densit de Poisson et p =

FP = FP.
p vrie les conditions du Thorme 1.9 sur les units approches ; donc :
lim
a0
f p
a
f
2
= 0 , f L
2
(R).
Mais f p
a
A(R) car si f L
1
(R) L
2
(R), on a :
f, p
a
L
1
(R) f p
a
L
1
(R) ;

_

f C
0
(R) L

(R)
p
a
(y) = P(ay) p
a
L
1
(R)
=

f p
a
=

f p
a
L
1
(R).
et donc f p
a
A(R).
Fin de la preuve du Thorme de Plancherel. On prolonge lisomtrie
F: A(R) A(R) en une isomtrie F: L
2
(R) L
2
(R).
Comme F
_
A(R)

= A(R), par le Thorme dinversion, on a F


_
L
2
(R)


A(R), et donc F
_
L
2
(R)

= L
2
(R) car A(R) est dense dans L
2
(R) et parce que
F
_
L
2
(R)

est ferm (puisque F est une isomtrie).


Remarque. De mme

F se prolonge et

F = F
1
, puisque cest vrai sur A(R).
21
Comment exprimer la transforme de Fourier dune fonction de L
2
(R) ? Comme
F a t dni sur L
2
(R) par densit, le calcul de Ff pour f L
2
(R) doit faire
intervenir un passage la limite. On peut, par exemple, utiliser le rsultat
suivant.
Proposition 2.13 Pour f L
2
(R), posons :

A
(y) =
_
A
A
f(x) e
2ixy
dx.
On a :
lim
A+

A
Ff
2
= 0 .
Preuve. Notons f
A
= f.1I
[A,A]
; on a f
A
L
1
(R) L
2
(R) et
A
= F(f
A
). Le
Thorme de Plancherel donne :
Ff
A

2
= F(f f
A
)
2
= f f
A

2
;
or f f
A

A+
0 par le Thorme de convergence domine.
De mme, on a :
Proposition 2.14 Pour f L
2
(R), si lon pose :

A
(x) =
_
A
A
(Ff)(y) e
2ixy
dy ,
on a :
lim
A+

A
f
2
= 0.
Preuve. On a
A
=

F
_
(Ff).1I
[A,A]

; do, puisque f =

FFf :
f
A

2
=

F
_
Ff (Ff).1I
[A,A]

2
= Ff (Ff).1I
[A,A]

A+
0.

Une consquence intressante est :


Corollaire 2.15 Si f L
2
(R) et Ff L
1
(R), alors :
f(x) =
_
R
_
Ff
_
(y) e
2ixy
dy
pour presque tout x R.
Preuve. Puisque Ff L
1
(R), le Thorme de convergence domine donne,
pour tout x R:
lim
A+

A
(x) =
_
R
_
Ff
_
(y) e
2ixy
dy.
Dautre part, comme
A
f
2

A+
0, il existe une suite (A
n
)
n
telle que
A
n

n+
+ et telle que
An
(x)
n+
f(x) pour presque tout x R. Do le
rsultat.
22