Académique Documents
Professionnel Documents
Culture Documents
_
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
,
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)
_
(1 t)u + tv
_
(1 t)(u) + t(v).
Demonstration. On pose m =
_
(af() + b) d()
_
(f()) d().
La fonction (f)
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|
_
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
= 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
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
(, /, ) 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
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
|f|
p
|g|
q
.
Les deux cas L
1
L
p
L
p
et L
p
L
q
L
. 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
) 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
= |(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
= f g
(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
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
(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
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
) =
_
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 / V et 1
V
(x
[
pour y
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|
_
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
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
= 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)
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