3.

Convolution, inegalites, approximation et regularisation

Contenu du chapitre
3.1. Convolution dans L
1
(R
d
)
Autres cadres pour la convolution : le cadre periodique
3.2. Densite des fonctions continues
3.3. Inegalites
3.3.a. Inegalite de Jensen
3.3.b. Inegalite de Minkowski
3.3.c. Inegalite de Holder
3.3.d. Isometrie dans le dual de L
q
3.3.e. Convolutions L
1
L
p
lorsque 1 p < +
3.3.f. Convolutions L
p
L
q
lorsque 1/p + 1/q = 1
3.4. Regularisation et approximation
3.4.a. Continuite, operateurs de translation
Continuite des translations sur L
p
(R
d
), ou bien L
p
(T
d
)
3.4.b. Convolution et derivees
La classe T de Schwartz
Fonctions plateaux
3.4.c. Approximations de lunite
Densite de la classe T(R
d
)
Une approximation de lunite utile
Deux exemples
3.4.d. Theor`eme dapproximation de Weierstrass
Des polynomes aux polynomes trigonometriques
Series de Fourier
Base hilbertienne de L
2
(T)
3.1. Convolution dans L
1
(R
d
)
On se place sur R
d
muni de la mesure de Lebesgue. On commence par denir le produit
de convolution f g de deux fonctions f et g mesurables 0, en posant
x R
d
, (f g)(x) =
_
R
d
f(x y)g(y) dy.
Le resultat est `a valeurs dans [0, +] ; la fonction f g est mesurable dapr`es les resultats
de la section 2.2 (theor`eme de Fubini). Les proprietes dinvariance de la mesure de
Lebesgue entranent que
(f g)(x) =
_
R
d
f(x y)g(y) dy =
_
R
d
f(z)g(x z) dz = (g f)(x)
pour tout x. On veut ensuite montrer que lintegrale ci-dessus est nie pour presque tout
x R
d
, lorsque f et g ont des integrales nies. On va obtenir ce resultat en montrant
que
_
(f g)(x) dx < +. La fonction h : (x, y) f(x y)g(y) est mesurable 0 sur
1
le produit R
d
R
d
, ce qui permet dappliquer le theor`eme de Fubini positif. Lintegrale
double sur R
d
R
d
de cette fonction h(x, y) est donc
_
R
d
_
_
R
d
f(x y)g(y) dy
_
dx =
_
R
d
(f g)(x) dx =
_
R
d
_
_
R
d
f(x y)g(y) dx
_
dy.
Par linvariance de la mesure de Lebesgue par translation on a
_
f(xy) dx =
_
f(x) dx
pour tout y, de sorte que
()
_
R
d
_
_
R
d
f(x y)g(y) dx
_
dy =
_
_
R
d
f(x) dx
__
_
R
d
g(y) dy
_
< +.
Lemme 3.1.1. Si f et g sont deux fonctions mesurables positives sur R
d
, la fonction
f g est mesurable `a valeurs dans [0, +], et
_
R
d
f g =
_
_
R
d
f
__
_
R
d
g
_
.
Supposons maintenant que f et g soient integrables, reelles ou complexes. On vient
de voir dans le lemme precedent que
_
R
d
_
_
R
d
[f(x y)[ [g(y)[ dy
_
dx =
_
_
R
d
[f(x)[ dx
__
_
R
d
[g(y)[ dy
_
< +,
ce qui implique que
_
[f(xy)[ [g(y)[ dy est ni pour presque tout x ; ceci montre que la
fonction y f(x y)g(y) est integrable pour presque tout x. On peut donc poser pour
presque tout x
(f g)(x) =
_
R
d
f(x y)g(y) dy
et les calculs obtenus en majorant par les modules montrent que f g est integrable ;
plus precisement on obtient linegalite de normes
|f g|
1
|f|
1
|g|
1
.
Si on reprend avec Fubini le calcul qui menait `a la formule (), on obtient pour deux
fonctions integrables reelles ou complexes f et g que
_
R
d
(f g)(x) dx =
_
_
R
d
f(x) dx
__
_
R
d
g(x) dx
_
.
On note en passant que pour des fonctions integrables positives, on a |fg|
1
= |f|
1
|g|
1
.
2
Exercice. Soient f, g L
1
(R
d
) ; calculer la transformee de Fourier de f g.
Solution. On vient de voir que si f
1
et g
1
sont deux fonctions integrables sur R
d
, alors
f
1
g
1
est integrable et
_
f
1
g
1
= (
_
f
1
)(
_
g
1
). On applique ceci, pour t R
d
xe, avec
f
1
(x) = f(x) e
i xt
et g
1
(x) = g(x) e
i xt
. On obtient
(f
1
g
1
)(x) =
_
f(x y) e
i (xy)t
g(y) e
i yt
dy = e
i xt
(f g)(x)
et
(

f g)(t) =
_
(f
1
g
1
)(x) dx =
_
_
f
1
(x) dx
__
_
g
1
(x) dx
_
=

f(t) g(t).
Quand f =
1
2a
1
[a,a]
, a > 0, on calcule facilement

f(t) = sin(at)/at (pour t ,= 0,
et

f(0) = 1). On obtient donc sans calculs supplementaires que
_
sin(at)/at
_
2
est la
transformee de Fourier de g = f f, la fonction en triangle telle que g(2a) = g(2a) = 0,
g(0) = 1/(2a), et ane sur [2a, 0] et [0, 2a], nulle hors de [2a, 2a].
Exercice. Si f, g L
1
(R
d
), si f est nulle en dehors du compact A et g nulle en dehors
du compact B, montrer que f g est nulle hors de la somme de Minkowski
A + B = a + b : a A, b B.
Reprendre le meme resultat si A et B sont deux boreliens tels que

_
x R
d
: f(x) ,= 0 et x / A
_
= 0,
_
x R
d
: g(x) ,= 0 et x / B
_
= 0,
o` u designe la mesure de Lebesgue sur R
d
.
Autres cadres pour la convolution : le cadre periodique
Dans le cas periodique, on soccupera en general ici de fonctions 2-periodiques sur R;
une fonction f est dite integrable dans ce contexte si elle est integrable sur une periode.
Dans ce cas, on verie facilement que
_
a+2
a
f(t) dt =
_
2
0
f(t) dt pour tout reel a. Si f et
g sont deux fonctions 2-periodiques integrables, on denira leur convolution periodique
en posant
(f
per
g)(s) =
_
2
0
f(s t)g(t)
dt
2
=
_
a+2
a
f(s t)g(t)
dt
2
pour tout a. On peut generaliser au cas periodique en plusieurs variables ; on peut aussi
changer de langage et dire quon est en train de travailler avec le groupe compact abelien
R/2Z et sa probabilite invariante par translation. La convolution se generalise dans le
cadre plus general des groupes abeliens localement compacts, munis de leur mesure de
Haar.
Un mod`ele pour le groupe topologique quotient T = R/2Z est le groupe multipli-
catif U des nombres complexes de module 1. Si est un nombre reel, il est clair que
e
i
U ne depend que de la classe

de dans R/2Z, et lapplication

e
i
ainsi
denie est un isomorphisme du groupe additif R/2Z sur le groupe multiplicatif U. Mu-
nissons le cercle U de son unique probabilite invariante par rotation. La formule de
3
convolution prend alors la forme suivante, pour deux fonctions F et G integrables sur le
cercle unite U,
x U, (F G)(x) =
_
U
F(xy
1
)G(y) d(y).
Cest la forme quil faut utiliser pour denir la convolution sur les groupes non commu-
tatifs, o` u la loi est toujours notee multiplicativement.
Si on parametrise le cercle par x = e
i
, [0, 2] et si on pose en plus f() = F(e
i
),
g() = G(e
i
) on retrouve lecriture
(f
per
g)() =
_
2
0
f( t)g(t)
dt
2
.
Les fonctions f et g sont deux fonctions 2-periodiques denies sur R, mais on peut aussi
les considerer simplement comme deux elements de L
1
(0, 2).
Quand on parlera de T ou T
d
, on choisira selon les besoins lune des trois presenta-
tions precedentes. On regardera R
d
ou T
d
comme un groupe note additivement, avec
element neutre note 0, et muni dune distance d ; cest si on veut la distance euclidienne
pour R
d
, et pour R
d
/(2Z)
d
, d(x, y) designera la plus courte distance (euclidienne) entre
deux representants x
1
, y
1
R
d
des classes x, y R
d
/(2Z)
d
.
Exemple. Si on pose e
n
(t) = e
i nt
, pour n Z, on a
(f
per
e
n
) = c
n
(f) e
n
,
o` u c
n
(f) est le ni`eme coecient de Fourier complexe de f,
c
n
(f) =
_
2
0
f(t) e
i nt
dt
2
.
3.2. Densite des fonctions continues
Denition. Le support dune fonction continue f denie sur R
d
est ladherence de
lensemble des points o` u f est non nulle,
supp(f) = x R
d
: f(x) ,= 0.
Theor`eme 3.2.1. Les fonctions continues `a support compact sont denses dans L
p
(R
d
),
pour tout p [1, +[.
Il est evident que le resultat ne peut pas etre vrai dans L

: une suite de Cauchy dans L

,
formee de fonctions continues, est une suite de Cauchy uniforme, et la limite sera toujours
continue. Le cas de tous les espaces L
p
(R
d
), pour 1 p < + est essentiellement le
meme et on ecrira la preuve dans le cas p = 1.
Demonstration. Il est clair que les fonctions etagees sont denses dans L
1
: pour toute
fonction f L
1
(R
d
), il existe une suite de fonctions etagees (f
n
) telle que [f
n
[ [f[ et
f
n
f simplement (remarque 1) ; par convergence dominee, f est limite dans L
1
des
f
n
. Pour montrer le theor`eme, il sut de voir que toute indicatrice de borelien peut etre
4
approchee par des fonctions continues `a support compact : par linearite on obtiendra que
toute fonction etagee peut etre approchee par une fonction continue `a support compact,
do` u le resultat puisque les fonctions etagees sont denses dans L
1
(R
d
).
Soit A un borelien de R
d
; alors 1
A
est limite dans L
1
(R
d
) dune suite (1
A
n
) cor-
respondant `a des boreliens bornes (intersections de A avec des boules de rayon n par
exemple), et pour n assez grand on aura
_
R
d
[1
A
(x) 1
A
n
(x)[ dx < .
Finalement, il sut pour montrer le theor`eme dapprocher, pour la norme de L
1
(R
d
),
toute indicatrice de borelien borne par une fonction continue `a support compact. Si A est
un borelien borne, on peut le placer dans un ouvert borne de la forme W =]a, a[
d
, qui est
de mesure nie pour la mesure de Lebesgue. Dapr`es le theor`eme dapproximation 1.2.3
applique `a X = R
d
, il existe une fonction continue sur R
d
, nulle hors de W et telle que
_
R
d

1
A
(x) (x)

dx < ,
ce qui termine la preuve, car le support de est contenu dans [a, a]
d
, qui est compact.
Remarque. Les fonctions en escalier sont denses aussi (en plusieurs dimensions, on ap-
pelle ainsi toute combinaison lineaire de fonctions indicatrices de produits dintervalles).
Pour montrer cette densite, on peut constater quune fonction continue `a support
compact peut etre approchee dans L
1
par des fonctions en escalier (utiliser la continuite
uniforme).
3.3. Inegalites
3.3.a. Inegalite de Jensen
Proposition 3.3.1 : inegalite de Jensen. On suppose que (, /, ) est un espace de
probabilite, f une fonction reelle -integrable sur et une fonction convexe sur R.
On a

_
_

f() d()
_

_

(f()) d().
Il est possible que (f) ne soit pas -integrable, mais lintegrale a toujours un sens (en
admettant la valeur +) parce que (f)

= max((f), 0) est integrable.

Si la fonction f ne prend que deux valeurs u et v sur lespace , avec probabilites
1 t et t, linegalite de Jensen se reduit `a la denition de la convexite de , `a savoir

_
(1 t)u + tv
_
(1 t)(u) + t(v).
Demonstration. On pose m =
_

f() d() R (cest la valeur moyenne de f). On

consid`ere une fonction ane dappui h `a la fonction convexe au point m, h(x) = ax+b,
avec h(m) = (m) et h partout. On a ensuite, compte tenu du fait que
_
d = 1,
(m) = h(m) = am + b =
_

(af() + b) d()
_

(f()) d().
La fonction (f)

= max((f), 0) est integrable ; en eet, on a (f) af b

[a[ [f[ +[b[, donc max((f), 0) [a[ [f[ +[b[ est integrable.
5
Remarque. Si on consid`ere la fonction convexe (t) = [t[
p
, 1 p < + et une mesure
nie sur , on a

f() d()

p
()
p1
_

[f()[
p
d().
Pour obtenir cette inegalite dans le cas non trivial o` u () ,= 0, il sut de raisonner sur
la probabilite d() = ()
1
d() et dutiliser lhomogeneite de la fonction puissance.
3.3.b. Inegalite de Minkowski
Lemme. Si est une mesure -nie non nulle sur un espace mesurable (Y, B), on peut
trouver une fonction mesurable k strictement positive en tout point de Y, et telle que
_
Y
k d = 1.
Preuve. Il existe une suite (A
n
) B densembles de mesure nie > 0 qui recouvre Y ; on
pose
k =
+

n=0
2
n1
(A
n
)
1
A
n
.
On a k(y) > 0 pour tout y Y, et
_
Y
k(y) d(y) = 1.
Theor`eme 3.3.2. Si f(x, y) est mesurable sur un espace produit (X Y, / B), si
et sont -nies sur X et Y respectivement, et si p 1, on a
_
_
X
_
_
Y
[f(x, y)[ d(y)
_
p
d(x)
_
1/p

_
Y
_
_
X
[f(x, y)[
p
d(x)
_
1/p
d(y).
Il faut comprendre linegalite de Minkowski de la facon suivante : si f
y
1
, . . . , f
y
n
est
une famille nie de fonctions dans L
p
(X, ), linegalite triangulaire dans L
p
(X, ) nous
donne pour la fonction F =

n
j=1
f
y
j
L
p
(X, )
_
_
X

j=1
f
y
j
(x)

p
d(x)
_
1/p
= |F|
p

n

j=1
|f
y
j
|
p
=
n

j=1
_
_
X
[f
y
j
(x)[
p
d(x)
_
1/p
.
Dans linegalite de Minkowski, on a une famille (f
y
) de fonctions de L
p
(X, ), qui depend
dun param`etre continu y Y, famille denie par f
y
(x) = [f(x, y)[, et on consid`ere son
integrale F L
p
(X, ) par rapport au param`etre y, au lieu de la somme nie consideree
precedemment. Cette fonction de la variable x est egale `a
F(x) =
_
Y
f
y
(x) d(y) =
_
Y
[f(x, y)[ d(y).
Linegalite de Minkowski dit que la norme de F dans L
p
(X, ) est majoree par lintegrale
par rapport au param`etre y des normes dans L
p
(X, ) des morceaux f
y
. Il sagit donc
dune version continue de linegalite triangulaire.
Demonstration. Clairement on peut se limiter au cas f 0. Posons
M =
_
Y
_
_
X
f(x, y)
p
d(x)
_
1/p
d(y).
6
Si M = +, la relation `a demontrer est evidente. Soit t < 1 xe, et supposons M t < 1 ;
posons
g(y) =
_
_
X
f(x, y)
p
d(x)
_
1/p
.
On a
_
Y
g(y) d(y) = M < 1 ; lensemble N des y Y tels que g(y) = + est donc
-negligeable, et on peut se ramener `a N = en modiant f sur X N : si on pose

f(x, y) = 0 lorsque y N et

f(x, y) = f(x, y) quand y / N, la fonction g correspondante
est nie partout, et les deux membres de linegalite de Minkowski sont inchanges. On
supposera donc que g(y) < + pour tout y Y.
On va suivre une demarche analogue `a celle qui nous a permis de voir que la norme
de L
p
est bien une norme. Dans linterpretation donnee avant la demonstration, g(y) est
la norme de la fonction f
y
. Puisque est -nie, on peut trouver h > g 0 telle que
_
h(y) d(y) = 1 (prendre h = g + (1 M)k, avec k donnee par le lemme).

Ecrivons
_
_
Y
f(x, y) d(y)
_
p
=
_
_
Y
h(y)
1
f(x, y) h(y) d(y)
_
p

_
Y
_
h(y)
1
f(x, y)
_
p
h(y) d(y) =
_
Y
f(x, y)
p
h(y)
1p
d(y),
o` u on a utilise Jensen pour la probabilite h(y) d(y), puis avec Fubini on obtient
_
X
_
_
Y
f(x, y) d(y)
_
p
d(x)
_
X
_
Y
f(x, y)
p
h(y)
1p
d(y)d(x) =
=
_
Y
_
_
X
f(x, y)
p
d(x)
_
h(y)
1p
d(y) =
_
Y
g(y)
p
h(y)
1p
d(y)
_
Y
h(y) d(y) = 1.
Par homogeneite, on voit quon a prouve que
_
_
X
_
_
Y
[f(x, y)[ d(y)
_
p
d(x)
_
1/p

1
t
_
Y
_
_
X
[f(x, y)[
p
d(x)
_
1/p
d(y)
pour tout t < 1, do` u le resultat voulu en faisant tendre t vers 1.
Exercice. On suppose 0 < r < p < +. Montrer que
_
_
X
_
_
Y
[f(x, y)[
r
d(y)
_
p/r
d(x)
_
1/p

_
_
Y
_
_
X
[f(x, y)[
p
d(x)
_
r/p
d(y)
_
1/r
.
3.3.c. Inegalite de Holder
On dit que deux nombres p, q de [1, +] forment un couple dexposants conjugues sils
verient la relation
1
p
+
1
q
= 1.
Cette relation est `a prendre au sens etendu : (1, +) est un cas particulier de couple
dexposants conjugues. Dans le cas 1 < p < +, on notera que q(p 1) = p.
7
Theor`eme 3.3.3 : inegalite de Holder. Soient p, q [1, +] tels que 1/p + 1/q = 1 ; si
f L
p
(, /, ) et g L
q
(, /, ), la fonction produit fg est integrable et

fg d

|f|
p
|g|
q
.
Demonstration. Si p = , alors q = 1 ; la fonction f est (presque-s urement) bornee par
M = |f|

et g est integrable ; le produit fg est mesurable et [fg[ M[g[, donc fg est

integrable et

_
fg

_
[fg[ M
_
[g[ = |f|

|g|
1
.
Supposons maintenant 1 < p < +. Pour tous nombres reels t, u 0, on a la relation
tu
1
p
t
p
+
1
q
u
q
;
cette relation resulte immediatement de la convexite de lexponentielle : on pose t
p
= e
x
,
u
q
= e
y
, et on obtient que
tu = exp
_
1
p
x +
1
q
y
_

1
p
e
x
+
1
q
e
y
=
1
p
t
p
+
1
q
u
q
.
Il en resulte que pour tout s
[f(s)g(s)[
1
p
[f(s)[
p
+
1
q
[g(s)[
q
,
ce qui montre que fg est integrable, et que

_
fg

1
p
_
[f[
p
+
1
q
_
[g[
q
.
Linegalite cherchee est positivement homog`ene par rapport `a f et `a g, donc il sut de
la demontrer lorsque |f|
p
= |g|
q
= 1. Mais dans ce cas,
_
[f[
p
= 1 et
_
[g[
q
= 1, donc
linegalite precedente donne [
_
fg[ 1/p + 1/q = 1, ce qui est le resultat voulu.
Corollaire. Soient p [1, +[ et q tels que 1/p + 1/q = 1 ; si f L
p
(, /, ),
|f|
p
= sup
_

fg d

: |g|
q
1
_
.
Dans le cas p = +, le resultat reste vrai si tout ensemble B / tel que (B) = +
contient un A / tel que 0 < (A) < +.
Demonstration. Linegalite de Holder nous dit dej` a que
|f|
p
sup
_

fg d

: |g|
q
1
_
,
le probl`eme est de montrer lautre direction. On va voir quen fait le maximum est atteint
pour une certaine fonction g L
q
, |g|
q
1, lorsque 1 p < +. Si f = 0, le resultat est
8
evident, on supposera donc f ,= 0, et par homogeneite on peut se ramener `a |f|
p
= 1. En
choisissant un representant de la classe f, on se permettra de raisonner sur une

vraie

fonction mesurable f ; denissons une fonction mesurable g sur lensemble en posant

g(s) = [f(s)[
p
/f(s) sur lensemble mesurable A = f ,= 0, et g(s) = 0 lorsque s / A.
Alors [g(s)[ = [f(s)[
p1
pour tout s A; pour p > 1, on a [g[
q
= [f[
q(p1)
= [f[
p
, donc
_
[g[
q
=
_
[f[
p
= 1, soit encore |g|
q
= 1 ; pour p = 1, g(s) est de module 1 quand s A,
nul sinon, donc |g|

= 1. Dautre part
_

fg d =
_
A
[f(s)[
p
d(s) =
_

[f[
p
d = 1 = |f|
p
.
Dans le cas p = +, le maximum nest pas necessairement atteint ; cependant, si on
suppose |f|

= 1, lensemble mesurable B

= [f[ > 1 est de mesure > 0 pour

tout ]0, 1[. On prendra g(s) = (A)
1
[f(s)[/f(s) si s A, g(s) = 0 sinon, o` u A est
un sous-ensemble de B

tel que 0 < (A) < +. Alors |g|

1
= 1 et
_

fg d > 1 .
3.3.d. Isometrie dans le dual de L
q
Soient (, /, ) un espace mesure quelconque, et p, q [1, +] un couple dexposants
conjugues. Par Holder, on peut denir pour toute f L
p
(, /, ) une forme lineaire
continue j
p
(f) sur L
q
(, /, ) en posant
g L
q
, j
p
(f)(g) =
_

f(t)g(t) d(t).
Le corollaire ci-dessus indique que lapplication j
p
qui associe `a une fonction f L
p
la
forme lineaire g L
q

_
fg d est une isometrie lineaire de L
p
dans le dual de L
q
(ici,
nous entendons par dual dun espace norme X le dual topologique, forme de toutes les
formes lineaires continues sur X). On sait en fait que
lorsque 1 < p < +, lapplication j
p
precedente est une bijection isometrique de
L
p
(, /, ) sur le dual de L
q
(, /, ).
Le resultat precedent est valable pour toute mesure 0. En revanche, le cas p = +
demande une hypoth`ese minimale,
lorsque p = +, et si la mesure est -nie, lapplication j

est une bijection

isometrique de L

(, /, ) sur le dual de L
1
(, /, ).
La condition -nie nest pas une condition necessaire pour la validite de lenonce
precedent, mais une condition minimale est necessaire. En eet, pour la mesure patho-
logique qui vaut toujours + sauf pour , on a L
1
= 0, alors que L

,= 0 (il
contient les fonctions bornees) ne peut pas etre le dual de cet espace L
1
. Pour terminer
cette discussion sur lidentication des duaux (topologiques) des espaces L
p
, rappelons
que L
1
nest pas le dual de L

, sauf circonstance extraordinaire (quand L

est de
dimension nie, parce que lensemble est ni par exemple).
9
3.3.e. Convolutions L
1
L
p
lorsque 1 p < +
Si f L
1
et g L
p
, on va voir que la convolution f g a un sens ; dans le cas de R
d
,
ce resultat nest pas contenu dans ce qui a ete fait avec L
1
L
1
; en revanche, ce resultat
nest pas nouveau dans le cas periodique o` u la mesure est nie, car L
p
(T) L
1
(T).
On commence avec f L
1
, g L
p
positives et on ecrit, avec valeur innie admise
pour les integrales, linegalite de Minkowski pour la fonction h(x, y) = f(y)g(x y),
_
(f g)(x)
p
dx =
_
_
_
_
f(y)g(x y) dy
_
p
dx
_
1/p

_
_
_
f(y)
p
g(x y)
p
dx
_
1/p
dy =
=
_
f(y)
_
_
g(x y)
p
dx
_
1/p
dy = |f|
1
|g|
p
.
Si f et g sont `a valeurs reelles ou complexes, on utilise dabord le resultat obtenu pour [f[
et [g[, qui garantit que (f g)(x) existe pour presque tout x, et on obtient que f g L
p
,
avec la majoration de norme
|f g|
p
|f|
1
|g|
p
obtenue en majorant les modules dintegrales par les integrales de modules.
3.3.f. Convolutions L
p
L
q
lorsque 1/p + 1/q = 1
Ce cas est une consequence immediate de linegalite de Holder et des proprietes dinva-
riance de la mesure de Lebesgue : si f est dans L
p
, la fonction y f(x y) est aussi
dans L
p
et a la meme norme que f, donc pour tout x
[(f g)(x)[ =

_
f(x y)g(y) dy

|f|
p
|g|
q
.
On a donc L
p
L
q
L

quand les exposants p, q sont conjugues, et |f g|

|f|
p
|g|
q
.
Les deux cas L
1
L
p
L
p
et L
p
L
q
L

sont deux cas particuliers dans une

echelle continue de resultats du meme type :
si 1/p + 1/q = 1 + 1/r, avec p, q, r 1, alors L
p
L
q
L
r
et |f g|
r
|f|
p
|g|
q
.
Ce resultat sappelle linegalite de convolution de Young.
3.4. Regularisation et approximation
3.4.a. Continuite, operateurs de translation
Commencons par les proprietes de continuite des convolees. Elles resultent du theor`eme
de convergence dominee de Lebesgue.
Proposition. Si f L
1
(R
d
) et si g est continue bornee sur R
d
, la convolee f g est
continue bornee sur R
d
.
Preuve. Posons M = |g|

. Soient x un point de R
d
et (x
n
) une suite tendant vers
x ; on obtient pour tout y R
d
linegalite [f(y)g(x
n
y)[ M[f(y)[, qui donne la
majoration par une fonction integrable xe, et h
n
(y) = f(y)g(x
n
y) tend simplement
vers h(y) = f(y)g(x y). La convergence des integrales, justiee par le theor`eme de
convergence dominee, donne (f g)(x
n
) (f g)(x).
10
Notons
v
loperateur de translation par un vecteur v R
d
: si f est une fonction
sur R
d
, on posera
x R
d
, (
v
f)(x) = f(x v) ;
on denit aussi les translations
v
sur T
d
, par la meme formule. On emploiera aussi
la notation f
v
=
v
f pour gagner de la place. Il est important de remarquer que les
translations commutent avec les convolutions, (f g)
v
= f g
v
= f
v
g.
Une fonction denie sur R
d
est uniformement continue si et seulement si |f
v
f|

tend vers 0 lorsque la norme [v[ du vecteur v de la translation tend vers 0. Le module de
continuite
f
de la fonction f, deni par

f
() = sup[f(x) f(x

)[ : [x x

[
est aussi egal `a sup|f
v
f|

: [v[ : en eet, on a [x x

[ si et seulement si
on peut ecrire x

= x v avec [v[ . Alors

[f(x

) f(x)[ = [(f
v
f)(x)[ |f
v
f|

.
Proposition. Si f L
1
(R
d
) et si g est uniformement continue bornee sur R
d
, f g est
uniformement continue bornee.
Preuve. On a [g
v
g[
g
([v[) et (f g)
v
(f g) = f (g
v
g), il sut dappliquer la
plus simple des majorations : |f (g
v
g)|

|f|
1
|g
v
g|

.
Remarque. Plus precisement, on vient dobtenir lestimation

fg
() |f|
1

g
()
pour les modules de continuite. De plus cette inegalite subsiste si g est uniformement
continue, non necessairement bornee, mais telle que f g soit denie en tout point : par
exemple, si f L
1
(R
d
) est nulle hors dun borne, et g uniformement continue sur R
d
.
Continuite des translations sur L
p
(R
d
), ou bien L
p
(T
d
)
On consid`ere la famille des translations
v
, v R
d
, agissant sur L
p
(R
d
) ; il est clair que
les translations denissent des isometries de tous les espaces L
p
(`a cause de linvariance
de la mesure de Lebesgue par translation).
Proposition 3.4.1. On suppose 1 p < +. Pour toute fonction f L
p
(R
d
) on a
lim
v0
|
v
f f|
p
= 0.
Le meme resultat est vrai pour T
d
.
Demonstration. Les translations
v
sont des isometries de L
p
, donc |
v
| = 1 pour tout
v R
d
; le sous-espace vectoriel / = /(R
d
) des fonctions continues `a support compact
est dense dans L
p
(R
d
) (theor`eme 3.2.1) et pour toute fonction g / on a |
v
g g|
p
0
lorsque v 0 (continuite uniforme plus considerations de support, voir plus loin). On en
deduit que ce resultat est vrai pour toute fonction de L
p
: en eet, on approche f L
p
par g /, disons |f g|
p
< /3 ; pour [v[ < t
0
on aura |
v
g g|
p
< /3 dapr`es ce qui
11
prec`ede, et dautre part |
v
f
v
g|
p
= |f g|
p
< /3, do` u le resultat |
v
f f|
p
<
par linegalite triangulaire.
Justions plus precisement la convergence L
p
dans le cas g /(R
d
). Supposons
que le support de g soit contenu dans la boule B(0, R), et supposons [v[ 1. Les deux
fonctions g et
v
g sont alors nulles en dehors de lensemble A = B(0, R+1), par consequent
|
v
g g|
p
p
=
_
A
[g(x v) g(x)[
p
dx (A)
g
([v[)
p
,
qui tend vers 0 quand [v[ 0.
On vient dutiliser un principe dequicontinuite bien connu.
Lemme. Si une suite (T
n
) dapplications lineaires continues entre deux espaces normes
X et Y, telle que sup |T
n
| < + (cest lequicontinuite de la suite) tend simplement
vers une application continue T L(X, Y) sur un sous-ensemble dense X
0
de X, alors on
a convergence de la suite (T
n
(x)) Y vers T(x) pour tout x X.
On a vu que L
p
L
q
L

quand p et q sont conjugues. De plus, la fonction f g

est uniformement continue dans ce cas.
Proposition. On suppose que 1 p +, 1/p+1/q = 1 ; si f L
p
(R
d
) et g L
q
(R
d
),
la convolee f g est uniformement continue sur R
d
(meme resultat sur T
d
).
Demonstration. Lun au moins de p ou q est ni, par exemple p < +. On a
|(f g)
v
f g|

= |(f
v
f) g|

|f
v
f|
p
|g|
q
par Holder, et |f
v
f|
p
0 dapr`es ce qui prec`ede. Pour tout > 0, il existe donc
t
0
> 0 tel que la condition [v[ < t
0
entrane |(f g)
v
f g|

< .
Exercice. Soit A un borelien de mesure > 0 dans R
d
; montrer que lensemble AA =
a b : a, b A est un voisinage de 0 dans R
d
.
3.4.b. Convolution et derivees
En une variable, si f L
1
et si g L

a une derivee bornee, alors f g est derivable et

(f g)

= f g

(derivation sous lintegrale `a la Lebesgue). On a des resultats analogues

pour les derivees partielles ; il existe un grand nombre de variantes de ces resultats. On
va considerer un cas simple. Soit u une direction dans R
d
; notons D
u
la derivee dans la
direction u,
(D
u
g)(x) = lim
t0
g(x + tu) g(x)
t
;
supposons que g L

(R
d
), que D
u
g existe sur R
d
et soit une fonction bornee par M;
en appliquant le theor`eme des accroissements nis aux fonctions dune variable t R
g(x + tu), on voit que ces fonctions sont M-lipschitziennes ; alors
(f g)(x + tu) (f g)(x)
t
=
_
f(y)
g(x + tu y) g(x y)
t
dy.
En posant (pour x xe) G(y, t) = t
1
_
g(x + tu y) g(x y)
_
on aura linegalite
[f(y)G(y, t)[ M[f(y)[ qui donne la majoration par une fonction integrable xe inde-
pendante du param`etre t, pendant que G(y, t) tend simplement vers D
u
g(x y) quand
12
t 0, pour tout y ; le theor`eme de convergence dominee montre que D
u
(f g)(x) existe,
et
D
u
(f g)(x) =
_
f(y)(D
u
g)(x y) dy = (f D
u
g)(x).
Si D
u
g est de plus continue, la derivee directionnelle f D
u
g de f g est aussi continue.
Si toutes les derivees partielles de g sont des fonctions continues bornees, il en resulte
que f g admet des derivees partielles continues. Autrement dit : si g est bornee et de
classe C
1
, `a derivees bornees sur R
d
, et si f L
1
, la convolution f g est de classe C
1
sur R
d
.
Si g est C

`a support compact, il resulte de tout ceci que f g est C

lorsque
f L
1
(R
d
). En eet, toutes les derivees partielles de g sont continues `a support compact,
donc bornees ; dapr`es ce qui prec`ede toutes les derivees partielles D
i
, i = 1, . . . , d de la
convolee f g existent, et sont donnees par les f D
i
g ; mais chacune de ces f D
i
g est
`a nouveau une convolution dune fonction f de L
1
par une fonction D
i
g qui est C

`a
support compact. On voit de proche en proche que f g admet des derivees partielles de
tous les ordres, donc f g est C

. Pour tout multi-indice , on a D

(f g) = f D

g.
Exercice. Montrer que la fonction f denie sur R par f(x) = 0 si x 0 et f(x) =
exp(1/x) si x > 0 est de classe C

sur R.
La classe T de Schwartz
Cest la classe T(R
d
) formee de toutes les fonctions sur R
d
, de classe C

et `a support
compact ; il nest pas totalement evident de donner un element non nul de cet espace.
`
A partir de la fonction f de lexercice precedent, on peut construire des fonctions C

`a
support compact sur R, par exemple la fonction denie par
x R, (x) = f
_
2(1 + x)
_
f
_
2(1 x)
_
.
Cette fonction est `a support dans [1, 1], et pour [x[ < 1 on a
(x) = exp
_

1
2(1 + x)

1
2(1 x)
_
= exp
_

1
1 x
2
_
.
`
A partir de cette fonction C

`a support compact, 0 et non identiquement nulle,

on construit des exemples en toute dimension d, par exemple
(x
1
, . . . , x
d
) =
d

j=1
(x
j
) ou bien
_
_
d

j=1
x
2
j
_
1/2
_
.
En utilisant les changements dechelle denis par

a
(x) = (ax),
et en prenant a > 0 grand, on pourra trouver des fonctions dans T(R
d
), non identique-
ment nulles 0, et avec un support dans une boule B(0, ) de rayon arbitrairement petit.
Retenons le fait essentiel suivant :
si T(R
d
) et si f L
1
(R
d
), la convolee f est C

et bornee sur R
d
.
13
Fonctions plateaux
Lemme. Si K est un compact non vide de R
d
et U un ouvert contenant K, il existe une
fonction T(R
d
) telle que 0 1, = 1 sur K et = 0 hors de U.
Preuve. On pose
= mindist(x, U
c
) : x K = min|x x

| : x K, x

/ U > 0,
puis
V = x R
d
: dist(x, K) < /2,
et on choisit une fonction T(R
d
) `a support dans la boule B(0, /2), 0 et
dintegrale egale `a 1. On va montrer que = 1
V
convient. On a pour x xe
(x) =
_
R
d
1
V
(x y)(y) dy ;
il est clair sur cette formule que 0 1. Supposons que x

/ U, et montrons que la
fonction h : y 1
V
(x

y)(y) est identiquement nulle, ce qui donnera bien s ur

(x

) =
_
R
d
1
V
(x

y)(y) dy = 0 ;
si [y[ /2, on a (y) = 0, donc h(y) = 0 ; puisque x

/ U, on a dist(x

, K) . Si
[y[ < /2, on aura dist(x

y, K) /2 = /2 par linegalite triangulaire, donc

x

y / V et 1
V
(x

y) = 0 = h(y). Ainsi, h(y) = 0 pour tout y.

Si x K, on va montrer que y 1
V
(x y)(y) est egale `a la fonction y (y), ce
qui donnera
(x) =
_
R
d
1
V
(x y)(y) dy =
_
R
d
(y) dy = 1 ;
si (y) = 0, les deux fonctions sont nulles, donc egales au point y ; sinon, on aura
[y[ < /2, dist(x y, K) [y[ < /2, donc x y V et 1
V
(x y) = 1.
3.4.c. Approximations de lunite
Une approximation de lunite est une suite (
k
) dans L
1
(R
d
) ou L
1
(T
d
) telle que
(a) sup
k
_
[
k
[ < +,
(b)
_

k
= 1 pour tout k 1,
(c) > 0, lim
k
_
{y:d(y,0)>}
[
k
[ = 0.
On rappelle que d(y, 0) est egal `a la norme [y[ dans le cas R
d
, et au minimum des [y

[
pour y

appartenant `a la classe y, dans le cas du quotient R

d
/(2Z)
d
.
14
Theor`eme 3.4.2. On se place dans R
d
ou T
d
, et on suppose que la suite (
k
) est une
approximation de lunite, veriant les proprietes (a), (b) et (c) ci-dessus. Pour toute
fonction uniformement continue bornee g, la suite (
k
g) converge uniformement vers
g. Pour toute fonction g L
p
, 1 p < +, la suite (
k
g) converge vers g dans L
p
.
Demonstration. Soit g une fonction uniformement continue et bornee sur R
d
; considerons
d
k
(x) = (g
k
)(x) g(x) =
_
_
g(x y) g(x)
_

k
(y) dy ;
il faut montrer que d
k
(x) tend vers 0, uniformement en x R
d
. On a pour tout x
[d
k
(x)[
_

g(x y) g(x)

[
k
(y)[ dy
_
|
y
g g|

[
k
(y)[ dy.
Posons M = sup
k
|
k
|
1
. Puisque g est uniformement continue, on peut trouver > 0 tel
que |
y
g g|

< /(2M) pour tout y R

d
tel que [y[ < . On decoupe alors lintegrale
ci-dessus en integrale sur B = B(0, ) et complementaire et on obtient
|d
k
|

_
B
|
y
g g|

[
k
(y)[ dy +
_
B
c
|
y
g g|

[
k
(y)[ dy
M

2M
+ 2|g|

_
B
c
[
k
(y)[ dy.
Pour k assez grand on obtiendra avec (c) que |d
k
|

/2 + /2 ; on obtient ainsi la
convergence uniforme de
k
g vers g.
Demontrons la deuxi`eme partie. On doit montrer que |d
k
|
p
0 ; on utilise linegalite
de Minkowski (theor`eme 3.3.2) pour la mesure [
k
(y)[ dy pour obtenir que
|d
k
|
p
=
_
_

_
_
g(x y) g(x)
_

k
(y) dy

p
dx
_
1/p

_
_
_

g(x y) g(x)

p
dx
_
1/p
[
k
(y)[ dy =
_
|
y
g g|
p
[
k
(y)[ dy.
`
A partir de ce point la demonstration est identique `a celle du cas precedent, si on rappelle
quon peut choisir > 0 tel que |
y
g g|
p
< /(2M) pour tout vecteur y tel que [y[ <
(proposition 3.4.1). On obtient alors par un decoupage identique `a celui de la premi`ere
partie, o` u B = B(0, )
|d
k
|
p

_
B
|
y
g g|
p
[
k
(y)[ dy +
_
B
c
|
y
g g|
p
[
k
(y)[ dy
M

2M
+ 2|g|
p
_
B
c
[
k
(y)[ dy.
Pour k assez grand on obtiendra avec (c) que |d
k
|
p
; on obtient ainsi la convergence
L
p
de
k
g vers g.
15
Une methode utile pour construire des approximations de lunite est la suivante. On
se donne une fonction integrable sur R
d
telle que
_
(x) dx = 1 et on consid`ere la suite
(
k
) denie par

k
(x) = k
d
(kx)
pour k entier 1. Par le changement de variable y = kx on obtient les proprietes a, b,
c voulues. En eet,
_
R
d
[
k
(x)[ dx =
_
R
d
[(kx)[ k
d
dx =
_
R
d
[(y)[ dy,
_
R
d

k
(x) dx =
_
R
d
(kx) k
d
dx =
_
R
d
(y) dy = 1
et
_
|x|
[
k
(x)[ dx =
_
|y|k
[(y)[ dy
tend vers 0 quand k +, par convergence dominee.
Densite de la classe T(R
d
)
`
A partir dune T(R
d
), positive et dintegrale 1, on peut construire par la methode
precedente une approximation de lunite (
k
) formee de fonctions de T(R
d
). Les fonctions
continues `a support compact peuvent etre approchees uniformement par des fonctions
C

qui ont

presque

le meme support : si g est continue `a support compact, la suite

g
k
converge uniformement vers g, et elle est formee de fonctions de T(R
d
) qui ont un
support `a peine plus grand que celui de g.
Pour toute fonction g L
p
, la suite
k
g est formee de fonctions C

et converge
vers g dans L
p
. Mentionnons une derni`ere methode dapproximation, la methode de
troncature ; on se donne une fonction T(R
d
), egale `a 1 dans un voisinage de 0, et
on consid`ere la suite des fonctions x (x/k), qui tend vers 1 (uniformement sur tout
compact). En associant regularisation et troncature, on voit que T(R
d
) est dense dans
tous les L
p
(R
d
), pour 1 p < +.
Une approximation de lunite utile
Lemme. Si est une fonction continue 0 `a support compact sur R
d
(ou bien une
fonction continue sur R/2Z), telle que
x ,= 0 (x) < (0),
la suite (
n
) construite `a partir des puissances
n
de la fonction par la formule

n
(x) =
_
_
(y)
n
dy
_
1
(x)
n
est une approximation de lunite.
Preuve. On a
_

n
> 0 puisque est continue 0 et (0) > 0. Il est clair que
_

n
= 1,
et
n
0, ce qui donne immediatement que la suite (
n
) verie les conditions (a) et (b)
16
pour une approximation de lunite. Soit > 0 xe et soit (t
k
) une suite croissante de
nombres tendant vers (0), tels que 0 < t
k
< (0) ; on note que
A
k
= x : d(x, 0) et (x) t
k

est compact, puisque cest un ferme contenu dans le support de , et la suite decroissante
des compacts (A
k
) a pour intersection

k
A
k
= x : d(x, 0) et (x) (0) =
dapr`es lhypoth`ese, donc lun de ces compacts A
k
est vide. En posant = t
k
pour un k
choisi assez grand, on aura donc A
k
= , cest-`a-dire que < sur le complementaire
de la boule B(0, ). En designant par M le volume du support de , on aura donc
_
{d(x,0)}
(x)
n
dx M
n
;
dun autre cote, choisissons
1
tel que <
1
< 1 ; louvert V = >
1
nest pas vide,
donc [V[ > 0, o` u [V[ designe le volume de louvert V ; on a de plus
c
1
n
=
_
(x)
n
dx
_
V
(x)
n
dx [V[
n
1
.
On en deduit pour
n
= c
n

n
linegalite
_
{d(x,0)}

n
(x) dx = c
n
_
{d(x,0)}
(x)
n
dx M[V[
1
_

1
_
n
qui tend vers 0 quand n +.
Deux exemples
1. Considerons la fonction 2-periodique f(t) = 1 + cos(t) ; il sagit dune fonction 0,
qui atteint sur lintervalle [, ] un unique maximum au point 0. Dapr`es le lemme
precedent, on obtient une approximation de lunite dans L
1
(T) en posant pour tout
n 0
I
n
=
_

(1 + cos(t))
n
dt
2
et
n
(t) = I
1
n
_
1 + cos(t)
_
n
,
qui est bien 0 dintegrale 1 pour la probabilite dt/(2). Linteret de cet exemple est
que les fonctions de la suite sont des polynomes trigonometriques. On voit en eet que
1 + cos(t) =
1
2
e
i t
+1 +
1
2
e
i t
=
1
2
(e
i t/2
+e
i t/2
)
2
ce qui implique que
_
1 + cos(t)
_
n
est un polynome trigonometrique pour tout n 0,
_
1 + cos(t)
_
n
= 2
n
(e
i t/2
+e
i t/2
)
2n
= 2
n
n

k=n
C
n+k
2n
e
i kt
.
17
2. Si on consid`ere sur R
d
la fonction
(x) = max
_
1 [x[
2
/4, 0
_
,
on aura le meme phenom`ene. Linteret ici est que les fonctions (
n
) sont polynomiales
sur la boule de rayon 2.
3.4.d. Theor`eme dapproximation de Weierstrass
Lemme. Si f est une fonction reelle continue sur un compact K contenu dans la boule
unite ouverte de R
d
, on peut trouver une fonction g continue sur R
d
, `a support dans la
boule unite et telle que [f g[ < sur K.
Preuve. Introduisons le ferme F reunion de K et du complementaire B
c
de la boule unite
ouverte B, et la fonction f
1
sur F, egale `a f sur K et `a 0 sur B
c
. On verie facilement
que f
1
est uniformement continue sur F. Soit > 0, soit > 0 tel que [f
1
(y) f
1
(y

)[ <
pour tout couple (y, y

) delements de F tels que [y y

[ < ; supposons aussi que

< min[x y[ : x K, y B
c
;
choisissons ensuite N assez grand pour que N > 2|f|

= 2|f
1
|

, et posons
g(x) = min
yF
f
1
(y) + N[x y[.
On va montrer que la fonction g convient : cette fonction g est lipschitzienne de constante
N sur R
d
, comme inf de la famille des fonctions x N[x y[ + f
1
(y) dependant du
param`etre y F, qui sont toutes N-lipschitziennes sur R
d
. Fixons y
0
F quelconque ;
on a evidemment f
1
(y
0
) g(y
0
) (en prenant y = y
0
comme constituant du min). Si
[y y
0
[ ,
f
1
(y) + N[y
0
y[ |f|

+ N > |f|

f
1
(y
0
),
et si [y y
0
[ < luniforme continuite de f
1
donne
f
1
(y) + N[y
0
y[ f
1
(y) f
1
(y
0
) ;
il en resulte que g(y
0
) f
1
(y
0
) . La fonction g approche donc f sur K `a moins de ;
de plus, g est nulle hors de B : si x est hors de la boule unite et y K, on a [x y[
et
f
1
(y) + N[x y[ = f(y) + N[x y[ |f|

+ N 0 ;
si y F K, on a f
1
(y) + N[x y[ = N[x y[ 0, cest-`a-dire que g 0 hors de la
boule unite, mais on a vu aussi que g(x) f
1
(x) = 0, donc g est bien nulle hors de B.
Une autre approche, qui utilise lidee de partition de lunite, fonctionne ainsi : soit
B
i
= B(x
i
, ), pour i = 1, . . . , N, une famille nie de boules ouvertes, centrees en des
points x
i
K et recouvrant K, et telles que [f(x) f(x
j
)[ < pour tout x B
j
; pour
chaque i, soit
i
une fonction continue telle que
i
> 0 sur B
i
et
i
= 0 hors de B
i
; la
fonction continue =

N
j=1

j
est > 0 sur K, donc il existe > 0 tel que sur le
compact K. On pose ensuite

i
=

i
+

N
j=1

j
et g =
N

i=1
f(x
i
)
i
.
18
On note que (x) =

N
j=1

j
(x) verie
0 1 (x) =

+ (x)
.
donc [f(x) (x)f(x)[ |f|

, et
[g(x) (x)f(x)[ =

j=1
(f(x) f(x
j
))
j
(x)

(x) .
Remarque. En fait, on peut prolonger la fonction continue f denie sur K, en une
fonction continue sur R
d
(cest lobjet de lexercice qui suit), que lon peut choisir `a
support compact si on veut.
Exercice. Si (X, d) est un espace metrique, si Y est un sous-ensemble ferme de X et si
f une fonction continue de Y dans [1, 1], il existe un prolongement de f `a X, continu
sur X.
La premi`ere etape est de trouver une fonction continue g
0
de X dans [1, 1], telle
que [f g
0
[ 2/3 sur Y. On recommence ensuite avec f
1
denie sur Y par (3/2)(f g
0
),
quon approche par g
1
denie sur X, `a valeurs dans [1, 1], telle que [f
1
g
1
[ 2/3 sur
Y, ce qui donne sur Y
[f g
0
(2/3)g
1
[ (2/3)
2
,
etc. . . La fonction g egale `a

+
n=0
(2/3)
n
g
n
est continue sur X et prolonge f. Pour
construire g
0
, on introduira les deux fermes F
0
et F
1
de X, respectivement formes des
points de Y o` u f 1/3 et o` u f 1/3, on prendra g
0
egale `a 1/3 sur F
0
, `a 1/3 sur
F
1
, et 1/3 g
0
1/3 partout, par exemple
g
0
(x) =
dist(x, F
0
) dist(x, F
1
)
3(dist(x, F
0
+ dist(x, F
1
))
.
Theor`eme 3.4.3. Si f est une fonction reelle continue sur un compact K de R
d
, on peut
trouver une fonction P polynomiale sur R
d
telle que [f P[ < sur K.
Preuve. On peut supposer que le compact K est contenu dans la boule unite ouverte,
et remplacer f par g, continue sur R
d
, `a support dans la boule unite, et qui soit telle
que [f g[ < /2 sur K. On utilise lapproximation de lunite (
n
) fabriquee avec les
puissances ((4 [x[
2
)
+
)
n
. On sait que g
n
converge uniformement vers g sur R
d
, donc
aussi sur K. On ecrit
g
n
(x) =
_
g(t)
n
(x t) dt.
Fixons x tel que [x[ 1. Puisque [x[ 1 et que le support de g est contenu dans la boule
unite, lexpression sous lintegrale nest non nulle que si [t[ 1, donc [x t[ 2, ce qui
montre que g
n
concide sur la boule unite avec la fonction P
n
denie par
P
n
(x) = c
n
_
g(t)(4 [x t[
2
)
n
dt,
19
qui est une fonction polynomiale de x, comme on le verie facilement en developpant la
puissance par la formule du binome : on trouve ainsi que P
n
est combinaison lineaire de
fonctions de la forme
Q(x) =
_
g(t) [x t[
2k
dt =
_
g(t)
_
d

j=1
(x
j
t
j
)
2
_
k
dt.
Continuons lexplication dans le cas d = 2 pour simplier ; par la formule du binome,
chaque puissance
_
(x
1
t
1
)
2
+(x
2
t
2
)
2
_
k
est une combinaison lineaire dexpressions qui
sont de la forme (x
1
t
1
)
2n
1
(x
2
t
2
)
2n
2
, avec n
1
, n
2
N, elles-memes combinaisons de
monomes t
k
1
1
t
k
2
2
x

1
1
x

2
2
; nalement, on decompose P
n
en combinaison lineaire de fonctions
monomiales de deux variables
R(x) =
_
g(t)(t
k
1
1
t
k
2
2
x

1
1
x

2
2
) dt
1
dt
2
=
_
_
g(t)t
k
1
1
t
k
2
2
dt
1
dt
2
_
x

1
1
x

2
2
= a

1
,
2
x

1
1
x

2
2
.
Des polynomes aux polynomes trigonometriques
Pour tout entier n Z, on consid`ere la fonction exponentielle complexe e
n
denie par
e
n
(x) = e
i nx
. Un polynome trigonometrique est une combinaison lineaire de ces fonctions
(e
n
). On notera T
N
lespace engendre par les e
k
, [k[ N.
Theor`eme. Les polynomes trigonometriques sont denses dans lespace des fonctions
continues 2-periodiques.
Ce resultat, analogue au theor`eme de Weierstrass, peut etre demontre par convolu-
tion periodique avec une approximation de lunite periodique convenable (par exemple de
la forme c
n
(1+cos t)
n
), mais on peut aussi passer de Weierstrass `a Weierstrass periodique,
et inversement. Cette approche a le merite de mettre en evidence les polynomes de
Tchebychev.
Supposons dabord que f soit une fonction continue sur [1, 1]. On lui associe une
fonction periodique continue g en posant
R, g() = f(cos()).
Si on connat le theor`eme de Weierstrass periodique, on sait quon peut trouver un
polynome trigonometrique Q, de la forme Q =

N
k=N
a
k
e
k
, tel que [Qg[ < ; comme
on a g() = g() pour tout , on peut remplacer Q par le polynome trigonometrique
P deni par P() =
1
2
(Q() + Q()), qui est un polynome de cosinus,
P() =
N

k=0
c
k
cos(k),
et satisfait la meme approximation [Pg[ < . La relation entre x et est = arccos x ;
on introduit la fonction t
k
denie par
x [1, 1], t
k
(x) = cos(k arccos(x)),
20
qui est polynomiale en x (voir plus loin ; son degre est k) ; le polynome p deni par
p(x) =

N
k=0
c
k
t
k
(x) approche uniformement la fonction f : tout point x de [1, 1] peut
secrire sous la forme x = cos(), et
[f(x) p(x)[ =

g()
N

k=0
c
k
t
k
(cos())

g()
N

k=0
c
k
cos(k)

= [g() P()[ < .

Pour voir que t
k
est un polynome en x = cos , on ecrit
2 cos(k) = e
i k
+e
i k
= (cos + i sin )
k
+ (cos i sin )
k
,
on utilise la formule du binome et la disparition des puissances impaires de sin ,
t
k
(x) = cos(k) =

02jk
C
2j
k
(cos )
k2j
(i sin )
2j
, =

02jk
(1)
j
C
2j
k
x
k2j
(1 x
2
)
j
.
Inversement, supposons connu le theor`eme de Weierstrass, et soit g une fonction 2-
periodique paire continue ; on peut introduire une fonction f continue sur [1, 1] telle
que f(cos ) = g() pour tout ; par Weierstrass, on peut approcher f par un polynome
p(x) =
N

k=0
c
k
x
k
et P() = p(cos()) est un polynome trigonometrique qui approche g. Si g est impaire,
on voit que g(0) = g() = 0. On peut approcher g par une fonction impaire g
1
nulle au
voisinage de 0 et ; alors
g
2
() =
g
1
()
sin
denit une fonction periodique paire continue, quon peut approcher par un polynome
trigonometrique P dapr`es ce qui prec`ede, et P
1
() = P() sin est un autre polynome
trigonometrique qui approche g
1
, donc g. Comme toute fonction periodique continue
g est la somme dune fonction paire et dune fonction impaire, le resultat est etabli :
le theor`eme de Weierstrass pour les polynomes implique le

theor`eme de Weierstrass
trigonometrique

.
Series de Fourier
On va travailler avec des series de Fourier complexes sur lintervalle [0, 2], muni de la
mesure normalisee dx/(2). Si f L
1
(T), on denit les coecients de Fourier (com-
plexes) de la fonction f par
n Z, c
n
(f) =
_
2
0
f(x) e
i nx
dx
2
.
Il est clair que [c
n
(f)[ |f|
1
pour tout n. Pour tout n Z, posons e
n
(x) = e
i nx
; on
a f e
n
= c
n
(f)e
n
pour tout n ; ceci entrane que pour tout polynome trigonometrique
K =

N
k=M
a
k
e
k
(avec M N et M, N Z), on a
K f =
N

k=M
a
k
c
k
(f)e
k
,
21
ce qui montre que la convolution de f L
1
(T) par un polynome trigonometrique donne
un polynome trigonometrique K f.
Lapproximation de lunite (
n
) construite avec les puissances de 1 + cos(t) permet
de montrer que les polynomes trigonometriques sont denses dans C
per
(0, 2), donc aussi
dans tous les L
p
(on peut aussi utiliser le passage de Weierstrass `a Weierstrass periodique
explique ci-dessus). Les resultats generaux sur la convolution donnent la proposition
suivante.
Proposition. Les polynomes trigonometriques sont denses dans C(T) (fonctions conti-
nues 2-periodiques) ; pour tout p tel que 1 p < +, les polynomes trigonometriques
sont denses dans L
p
(0, 2).
Base hilbertienne de L
2
(T)
Le produit scalaire de deux fonctions f et g de L
2
(T) = L
2
([0, 2], dx/(2)) sera donne
par
f, g) =
_
2
0
f(t)g(t)
dt
2
.
Pour ce produit scalaire, la suite (e
n
) des exponentielles complexes est orthonormee. Si
f L
2
(T), on consid`ere pour tout entier N 0
f
N
=
N

k=N
f, e
k
) e
k
=
N

k=N
c
k
(f) e
k
T
N
;
la dierence f f
N
est orthogonale `a T
N
: en eet, pour tout j tel que [j[ N on a
f f
N
, e
j
) = f, e
j
)
N

k=N
f, e
k
) e
k
, e
j
) = f, e
j
) f, e
j
) e
j
, e
j
) = 0,
donc f f
N
est orthogonale `a Vect(e
j
: [j[ N) = T
N
. Si g est un element quelconque
de T
N
, on a f
N
g T
N
, donc f f
N
lui est orthogonal et
|f g|
2
2
= |(f f
N
) + (f
N
g)|
2
2
= |f f
N
|
2
2
+|f
N
g|
2
2
|f f
N
|
2
2
.
Dapr`es le theor`eme de Weierstrass trigonometrique et la densite des fonctions continues
dans L
2
(T), il existe pour tout > 0 un polynome trigonometrique g tel que |fg|
2
< ;
cette fonction g est dans un certain espace T
N
0
, donc aussi dans T
N
pour tout N N
0
;
il en resulte que pour tout N N
0
,
|f f
N
|
2
|f g|
2
< ,
ce qui signie precisement que la suite (f
N
) converge vers f dans L
2
(T). On en deduit
que
|f|
2
2
= lim
N
|f
N
|
2
2
=

kZ
[c
k
(f)[
2
.
et on a aussi
f =

nZ
c
n
(f)e
n
,
o` u la serie converge au sens de L
2
. Ceci ne donne a priori aucune convergence ponctuelle
de la serie de Fourier. Cette question de la convergence ponctuelle sera envisagee au
chapitre suivant.
22