You are on page 1of 65

Universit Ibn Zohr

Facult des sciences Agadir


Dpartement de Mathmatiques
Projet de n dtudes
Section sciences mathmatiques
Sujet :Les espaces de Sobolev
Participants
AABIDA Mbarek BOUNACER Hamza
MAZID Sehail WAHROUR Rachid
Encadrant
Prof : EL MENNAOUI Omar
JUIN2012
Projet de n dtude SM6 1 Facult des sciences Agadir
Table des matires
1 Prliminaires 2
1.1 Espaces vectoriels topologiques . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.1 Notation et rappels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.2 Suites rgularisantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.3 Semi-normes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.4 Topologie dnie par une une famille de semi-normes . . 4
1.1.5 Existance des fonction de classe C

. . . . . . . . . . . . . . . . 6
1.2 Les espaces D et D
k
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.1 Lespace des fonctions tests D() . . . . . . . . . . . . . . . . . . 8
1.2.2 Lespace D
K
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.3 Systme fondamental de voisinage de 0 dans D
K
(s.f.v) . . . 8
1.2.4 La topologie de D=D() . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.5 Convergence dans D . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2 Distributions et Transformation de Fourier 12
2.1 Espace de distribution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.1.1 La convergence dans D
/
() . . . . . . . . . . . . . . . . . . . . . . . 13
2.1.2 La topologie de D
/
() . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Proprits topologiques de D
/
() . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2.1 Ensembles borns et Ensembles compacts dans D
/
() . . . 14
2.3 Oprations Sur Les Distributions . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3.1 Produit dune distribution par une fonction (

. . . . . . . 15
2.3.2 Support dune distribution . . . . . . . . . . . . . . . . . . . . . . . 16
2.3.3 Derive dune distribution : . . . . . . . . . . . . . . . . . . . . . . 16
2.3.4 Les distributions rgulires . . . . . . . . . . . . . . . . . . . . . . . 17
2.4 Transformation de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.4.1 Transformation de Fourier dans L
1
(
d
) . . . . . . . . . . . . . . 19
2
TABLE DES MATIRES TABLE DES MATIRES
2.4.2 Transformation de Fourier dans L
2
(
d
) . . . . . . . . . . . . . . 25
2.5 Espace de Schwartz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.6 Lespace
/
des distributions tempres . . . . . . . . . . . . . . . . . . 29
2.6.1 Transformation de Fourier dans
/
. . . . . . . . . . . . . . . . 30
3 Espace de Sobolev W
1,p
() 32
3.1 Dnition et proprits lmentaires . . . . . . . . . . . . . . . . . . . . . 32
3.2 Lespace W
1,p
0
() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.3 Lespace dual de W
1,p
0
() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.4 Thorme de densit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.5 Les injections de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.5.1 Cas o ` u =
N
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.5.2 Cas o ` u
N
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.6 Probleme de Dirichlet homogne . . . . . . . . . . . . . . . . . . . . . . . 39
3.7 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.8 Indications et solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4 Les espaces W
m,p
46
4.1 Les espaces de Sobolev en dimention 1 . . . . . . . . . . . . . . . . . . . 46
4.2 Lespace W
m,p
0
(I ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.3 Les espaces de Sobolev en dimention N . . . . . . . . . . . . . . . . . . . 49
4.3.1 Dnition et Proprites lmentaires . . . . . . . . . . . . . . 49
4.3.2 Proprites lmentaires . . . . . . . . . . . . . . . . . . . . . . . . 50
4.4 Lespace H
m
() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.5 Lespace H
s
() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.6 Injections de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.7 Exemple dapplications des espaces de sobolev . . . . . . . . . . . . . 57
4.8 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.8.1 Solution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Projet de n dtude SM6 3 Facult des sciences Agadir
Rsum
Nous introduisons ici les principaux rsultats concernant les
espaces de Sobolev dans lespace euclidien . Nous commencerons
par dfinir formellement les espaces de Sobolev. Nous aborderons
ensuite les rsultats concernant les plongements et les injection
de Sobolev.
Chapitre 1
Prliminaires
1.1 Espaces vectoriels topologiques
1.1.1 Notation et rappels
Etant donn unentier n 1,les lments de N
n
sont appels multi-indices.Pour
=(
1
,
2
,.....,
n
) N
n
le nombre || =
1
+
2
+..... +
n
est appel longeur du
multi-indice .pour k compris entre 1 et n, on note loprateur de drivation
par rapport la k-ime variable par

k
=

x
k
et

1
1
......

n
n
=

||
x

1
1
x

2
2
..... x

n
n
Soit k un entier suprieur 1.On dit que f : " et de classe C
k
si toutes
les drives partielles de f existent et sont continues jusqu lordre k.Lordre
dans lequel sont effectues les drivation est indiffrent daprs le thorme de
Schwarz.on note C
k
() lensemble des fonctions de classe C
k
sur .
On dit que f : " et de classe C

si elle est de classe C


k
sur pour chaque
k 1.On pose
C

() lensemble des fonctions de classe C

sur . Not dprs Lauran


Schwartz () =C

(). On a : C

() ... C
k
() ... C
(
) C
0
() .Nous rap-
pelons que () =C

() =

k0
C
k
().
2
1.1. ESPACES VECTORIELS TOPOLOGIQUES WAHROUR Rachid
On dsigne par L
p
() lespace des fonctions de puissance p integrable
valeurs dans ".Muni de la norme |f |
p
=[
_

| f (x)|
p
]
1
p
,Lespace L
p
() est
un espace de Banach.si p 1,on dsigne par L
p
l oc
() lespace des fonc-
tions appartenant L
p
(K)
pour tout compact K de .
Dnition : soit f une fonction relle dnie sur un ouvert

n
,on appelle support de f lensemble s upp( f ) =|x : f (x) ,=0]
1.1.2 Suites rgularisantes
Dnition 1.1.1. soit f L
1
l oc
(
n
) une fonction localement integrable sur
n
la
fonction
f (x) =
_
R
n
f (x y )

(y )dy =
_
R
n
f (x)

(x y )dy est dite la convolution de f par

note par f

ou

f . On appelle suite rgularisante ,toute suite(


n
) de
fonction telle que,pour tout n N on ait

n
D(
m
), s upp(
n
) B(0,1),
_
R
n

n
=1,
n
0 sur
n
.
Exemple : soit la fonction suivante
f (x) =
_
exp(
1
|x|
2
1
) si|x| 1
0 si|x| >1
est C

support la boule ferme de centre 0 et de


rayon 1 dans
n
.En divisant par lintegrale de sur
n
,on obtient une autre
fonction C

de support B
1
(0),note telle que
_
R
n
(x)dx =1.Pour tout >0,on dnit

(x) =
1

n
(
x

).On voit clairement que :


1)

C
c
(
n
).
2) Le support de

est B

(0).
3)
_
R
n

(x)dx =1.
Proposition 1.1.1. :soit f C(
m
),alors
n
f f uniformement sur tout com-
pact de
m
.
Thorme 1.1.1. soit f L
p
(
m
) avec 1<p <,alors
n
f f dans L
p
(
m
).
Preuve 1.1.1. Soit >0.Daprs le thorme de densit,il existe f
1
C
0
0
(R
m
) telle
que |f f
1
|
L
p
<.Daprs la proposition au dessus on sait que
n
f
1
f
1
uni-
formement sur tout compact.Dautre part on a :
s upp(
n
f
1
) B(0,
1
n
) +s upp( f
1
) K

(K compact x).Par consquent on en


Projet de n dtude SM6 3 Facult des sciences Agadir
1.1. ESPACES VECTORIELS TOPOLOGIQUES WAHROUR Rachid
dduit que :
lim
n+
|
n
f
1
f
1
|
L
p
(R
m
)
=0.
Enn on crit :

n
f f =[
n
( f f
1
)]+(
n
f
1
f
1
)+( f
1
f ) . do il rsulte que :
|
n
f f |
L
p
(R
m
)
2|f f
1
|
L
p
(R
m
)
+|
n
f
1
f
1
|
L
p
(R
m
)
. on a donc :
lim
n+
sup|
n
f f |
L
p
(R
m
)
2, >0
i.e lim
n+
sup|
n
f f |
L
p
(R
m
)
=0.
1.1.3 Semi-normes
Dnition1.1.2. Ondit quune applicationp : E est une semi-norme si pour
chaque x,y E et ", on a :
- p(x +y ) p(x)+p(y ).
p() =||p(x).
Proposition 1.1.2. : soit E un " espace vectoriel. si p est une semi-norme sur E
alors :
1- p(0) =0.
2- p(x) 0.
3- |p(x)p(y )| p(x y ).
Exemple : soit

lensemble des parties compactes de .


1- considrons lespace C() des fonctions continues sur .pour chaque com-
pact K

,lapplication
K
: C() dnie,pour chaque f C(),par

K
( f ) =sup
xK
| f (x)| e s t une s e mi nor me.
2soi t kN

.Pour chaque K

.lapplication

K
: C
k
() Dnie pour chaque f C
k
(),

K
( f ) =sup
xK,||k
|

f (x)| e s t une s e mi nor me.


3pour chaque kN

et chaque K

. lapplication
k,K
: C

() d-
nie pour chaque f C

(),par

k,K
( f ) =sup
xK,||k
|

f (x)| e s t une s e mi nor me.


df i ni t ion : on di t qu
/
une f ami l l e (p
i
)
i I
de semi-normes sur un espace
E est sparante si, pour chaque x E non nul,il existe iI tel que p
i
(x) >1
1.1.4 Topologie dnie par une une famille de semi-normes
Soit E un espace vectoriel et (p
i
)
i
I une famille sparnte de semi-normes
sur E.Etant donns un lment x
0
E,un sous-ensemble ni non vide I
n
I et
Projet de n dtude SM6 4 Facult des sciences Agadir
1.1. ESPACES VECTORIELS TOPOLOGIQUES WAHROUR Rachid
un reel r >0,on note
V
n
(x
0
,r ) =|y E : max
i I
p
i
(x
0
y )<r}
Dnition 1.1.3. : On dit quun sous-ensemble O de E est ouvert sil est vide ou
bien si,pour chaque x
0
O,il existe un sous-ensemble I
n
I ni,non vide et un
reel r >0 tels que V
n
(x
0
,r ) O Les ensembles de la forme V
n
(x
0
,r ) sonts des ou-
verts et jouent un role analogue celui des boules ouverts dans les espaces m-
triques.
Les sous-ensemble de E de la formeV
n
(x
0
,r ) sont des ferms et jouentun role
analogue celui des boules fermes dans les espaces mtriques.
Dnition 1.1.4. On appelle topologie sur E dtermine par la famille (p
i
)
i
I
celle dont les ouverts sont dnis prcdement.
Proposition 1.1.3. La topologiee dtermine par une famille sparante de semi-
normes(p
i
)
i
I est spare.
Dnition 1.1.5. Un espace vectoriel muni dune topologieT est un espace vec-
toriel topologique (E.v.t) si :
1) (x,y ) x +y est une application continue de E E dans E.
2) (,x) x est application continue de K E dans E.
3 - La sructure despace vectoriel de E est dite compatible avec la topologie T si
les axiomes 1) et 2) sont vries.
Thorme 1.1.2. un espace vectoriel E muni de la topologie engendre par une
famille sparente de semi-normes est un espace vectoriel topologique.
*-Etablissons la continuit en un point (a,b).Fixons un indice i
0
I et un reel
>0.Pour(x,y ) (E E) nous avons :
p
i
0
(x +y ) (a +b)p
i
0
(x a) +p
i
0
(y b). Il sen suit que p
i
0
(x +y ) (a +b)
ds que p
i
0
(x a)

2
et p
i
0
(y b)

2
Do la continuit de laddition au point (a,b)
*-Pour la multiplicationexterne (,x) x.Etablissons sa continuit enunpoint
(,a).Fixons un indice i
0
I et un reel >0.Pour (,x) K E,nous avons :
p
i
0
(x)(a)||p
i
0
(x)+||p
i
0
(x a)
Fixons un rel r >0 tel que ||r

2
.Nous observons que pour x vriant p
i
0
(x
a) r ,nous avons p
i
0
(x) p
i
0
(a)+r et donc ||p
i
0
(x) ||(p
i
0
(a)+r ).Fixons
Projet de n dtude SM6 5 Facult des sciences Agadir
1.1. ESPACES VECTORIELS TOPOLOGIQUES WAHROUR Rachid
alors un rel tel que (p
i
0
(a) +r )

2
.Pour (,x) K E vriant || et
p
i
0
(x a) r nous avons p
i
0
(x a) .
Do la continuit de la multiplication au point (,a).
On en dduit ainsi que :
1- Les translations et les homothties ,de rapport ,=0 ,sont des homomorphismes.
2- Lensemble V(a) des voisinages dun point a E est limage par la translation
T
a
de lensemble des voisinages V(0) de O.La topologie dun espace vectoriel est
connue ds que lon connait les voisinage de 0 ; V(a) =T
a
(V(0))
1.1.5 Existance des fonction de classe C

Si R
n
est un ensemble ouvert.Nous rappelons que : C

() =
_
k0
C
k
().
Proposition 1.1.4. si u C(),si x s upp(u) alors il existe une suite (x
n
)
telle que u(x
n
) ,=0,n N et lim
n
x
n
=x.
Lobjectif est de construire des fonctions de classe C

support compact ou
ayant dautres proprits qui permet,en particulier de sparer deux ferms dis-
joints.Ces fonctions seront utilises dans les techniques de convolution et de r-
gularisation de fonctions et de distributions.
Dnition 1.1.6. Si k N
_
|] lespace C
k
0
() est form par toutes les fonctions
u C
k
() ayant comme support unsous-ensemble compact de .Les lments de
C

0
() nots dans la suite par D(), sont dits fonctions test/ou fonctions dessai.
Toute fonction u C
k
0
() peut tre tendue une fonction de C
k
0
(R
n
).On peut
donc voir C
k
0
() comme un sous-espace de C
k
0
(R
n
).
Si M R
n
est un ouvert on peut dnir C
k
0
(M) comme lensemble des lments
de C
k
0
(R
n
) ayant le support dans M.
Lemme 1. : Il existe une fonction D(R
n
) telle que (0) >0 et (x) 0 pour
tout x R
n
.
Preuve 1.1.2. on a la fonction : f (x) =
_
0 si t 0
e
1
t
si t >0
est de classe C

sur R On
en dduit que la fonction
Projet de n dtude SM6 6 Facult des sciences Agadir
1.2. LES ESPACES D ET D
K
WAHROUR Rachid
(x) = f (1|x|
2
) a les proprits demandes.
Par translation et changment dechelle on obtient que,pour tout >0 la fonc-
tion x (
xx
0

) est positive sur R,strictement positive en x


0
et support dans la
boule de rayon centre en x
0
.Lexistance dune telle fonction permet, en parti-
culier de prouver unrsultat classique qui est utilis dans le calcul des variations.
Lemme 2. Il existe une fonction croissante C

(R) telle que


(x) =
_
o si x 0
1 s i x 1
Preuve 1.1.3. on a vu que la fonction f (x) =
_
0 si x 0
e
1
x
si x 0
est de classe C

sur
R. De plus nous savons videment que s upp( f ) =[0,[ et 0< f (x) 1 pour tout
x R.
Dnissons alors g (x) = f (x) f (1x) et G(x) =
_
x
0
g (t )dt on a 0 g (x) 1 pour
tout x R et s upp(g ) [0,1].De plus g ,=0 car g (
1
2
) =[ f (
1
2
)]
2
,=0.
La fonction (x) =
G(x)
G(1)
est donc de classe C

sur R,elle est croissante et vrie les


conditions
(x) =
_
0 si x 0
1 si x 1
Proposition 1.1.5. soit a <b <c <d des rels.Alors il existe D(R) telle que
1)(x) =1x ]c,d[.
2)s upp() ]a,b[.
3)0(x) 1x R
Preuve 1.1.4. Posons (x) =(
xa
ca
)(
bx
bd
) o est la fonction constuite aupa-
ravant.
Corollaire 1. soient 0<r <R et n N

.Il existe C

(R
n
) telle que
_
(x) =1 si |x| <r
(x) =0 si |x| >R
Preuve 1.1.5. on peut prendre (x) =(|x|
2
) o a t constuite auparavant
avec
a =b =R
2
et c =d =r
2
1.2 Les espaces D et D
k
Soit un ouvert de R
n
,K un compact de R
n
Projet de n dtude SM6 7 Facult des sciences Agadir
1.2. LES ESPACES D ET D
K
WAHROUR Rachid
1.2.1 Lespace des fonctions tests D()
On appelle D() lespace vectoriel des fonctions de classe C

sur support
compact dans .
i e :D() =|: R
n
C : s upp() ce t C

().]
soit R
n
un ouvert quelconque.Alors D() est dense dans L
P
() pour
0<p <.
Preuve 1.2.1. soit f L
p
(),>0et f
1
C
0
0
(R) tels que |f f
1
|
L
p
()
<.on consi-
dre la fonction f
1
dnie par :
f
1
=
_
f (x) si x
0 si x R
m
\
de sorte que f
1
L
p
(R
m
).Daprs le thorme 1.1.3 ona : lim
n
|
n
f
1
f
1
| =0.Dautre
part
s upp(
n
f
1
) B(0,
1
n
)+s upp( f
1
) pour n assez grand.
soit u
n
=(
n
f
1
)
|
.Alors pour nassez grand,u
n
C
0
0
() et de plus |u
n
f
1
|
L
p
()

0 donc pour n assez grand,|u


n
f |
L
p
()
<2.
1.2.2 Lespace D
K
Dnition 1.2.1. On appelle D
K
l e sous e s pac e de D() form des fonctions
ayant leurs supports dans le compact K de R
n
.
Dnition 1.2.2. (Convergence dans D
K
)Soi t (
n
) D
K
,on dit que
n
converge
vers 0 dans D
K
si les fonctions
n
convergent vers 0 uniformement sur R
n
,ainsi
que chacune de leurs drives.
i.e : sup
xR
n
|D
p
(x)|
x+
0, p N
n
avec : D
p
(x) =

p
1
+...+pn
( x
1
)
p
1
...( x
n
)
pn
(x
1
,...,x
n
).
Remarque 1. cette topologie est dnie par la famille des semi-normes N
p
:N
p
() =
sup
xR
n
|D
p
(x)|, p=(p
1
+... +p
n
).
1.2.3 Systme fondamental de voisinage de 0 dans D
K
(s.f.v)
Uns.f.v de la fonction0 dans D
K
e s t de f i ni par l e s V(m,, K) avec mN,>
0
Projet de n dtude SM6 8 Facult des sciences Agadir
1.2. LES ESPACES D ET D
K
WAHROUR Rachid
V(m,, K) =|D
K
: N
p
() ,|p| m] avec |p| =p
1
+... +p
n
.
D
K
e s t bas e dnombr abl e d
/
ouve r t s , l ocal e me nt convexe s e t compl e t s.
1.2.4 La topologie de D=D()
Pour dnir la topologie de D,on aura besoin des ensembles V(|m],|],|]).
- Soit =|
0
=,
1
,...,
k
,...] une suite innie douverts de R
n
telle que :
i-
k1

k
.
ii-K compact de R
n
,k
0
N tel que : k k
0
on ait :
k
K.
- Soit (
k
)
k0
une suite de nombre >0 dcroissante telle que
k
0(k +).
- Soit (m
k
)une s ui t e de nombr e s 0, croissante telle que :m
k
+(k
+).
Alors : V(|m],|],|]) =|D : k N,x -
k
,|D
p
(x)| m
k
].
Lorsque les suites (m
k
),(
k
),(
k
) varient de toutes les faons possibles,les en-
sembles V(|m],|],|]) dnissent un s.f.v de 0 dans une topologie compatible
avecla structure despace vectoriel de D.- La topologie ainsi dnie est base non
dnombrable(les suites des nombres ne forment pas un ensemble dnombrable).
-Si Kest uncompact xe de R
n
,cette topologie induit sur D
K
l a t opol og i e dj a df i ni e.
On pe ut s ans modi f i e r l a t opol og i e de Dpr e ndr e une f oi s pour t out e s une mme s ui t e (
k
)
conditionque
k
soient compacts,par exemple onpeut prendre
k
=
_
B(0,k)
_
k
.(|x|<
k)
- Unsystme fondamental de semi-normes dnissant la topologie de Dest consti-
tu par les N
_
|m],|]
_
dnie par N
_
|m],|]
_
() =sup
k
_
sup
|x|k,|p|m
k
|D
p
(x)|

k
_
.
Onchoisissant
k
=
_
B(0,k)
_
k
V
_
|m],|],|]
_
est dnie par : N
_
|m],|]
_
()
1.
En effet :
V(m,) k,x - = B(0,k) on a : |D
p
(x)|
k
pour |p| m
k
. k :
sup
|x|k,|p|m
k
|D
p
(x)|

k
1
En passant au sup sur k on obtient : N
_
|m],|],|]
_
1.
1.2.5 Convergence dans D
Soit (
j
)
j 0
une suite dlment de D,posons K
j
=s upp
j
.Ondit que (
j
)
j 0
converge dans D vers D si :
1) Tous les K
j
sont cont e nus dans l e mme compact K.
Projet de n dtude SM6 9 Facult des sciences Agadir
1.3. EXERCICES WAHROUR Rachid
2)|D

j
D

|
j +
0,dans C,N
n
1.3 Exercices
Exercice 1. Soit une fonction continue sur R telle que 0 (x) 1.(x) =1 si
|x| 1 et (x) =0 si |x| 2.on pose
n
(x) =(
x
n
),pour n =1,2,.... on munit R de
la mesure de Lebesgue.Soit f L
1
(R).on pose f
n
=
n
f .
i) Montrer que le support de
n
est contenu dans [2n,2n].
ii) Montrer que f
n
L
1
(R),
_
n =1,2,n....
_
iii) Montrer que
_
R
f
n
(x)dx
_
R
f (x)dx.
Exercice 2. Soit ( f
n
) la suite de fonctions de D(R) dnie par :
f
n
(t ) =
1
2
n
exp
_

1
1
|t |
2
n
2
_
si |t | <n ,o sinon.
- Montrer que,pour chaque k 0,la suite de fonctions ( f
(k)
n
) converge unifor-
mment sur tout compact vers une fonction g D(R) que lon prcisera.A-t-on
convergence dans D(R) ?
Exercice 3. i)- Soit D(R
n
) et h R
n
\|0].Pour t R\|0],on pose :

t
(x) =
(x+t h)(x)
t
.
Montrer que
t
D(R
n
) pour t ,=0.
ii)- Montrer que lorsque t tend vers 0,
t
converge dans D(R
n
) vers une fonction
que lon dterminera.
SOLUTIONS DES EXERCICES
Solution 1 :
i)- Rappelons que le support dune fonction et le complmentaire du plus grand
ouvert o cette fonction est nulle.Si x - [2n,2n].On a |
x
n
| >2 ;par consequent

n
(x) =(
x
n
) =0.ce qui implique par dnition que :
s upp(
n
) [2n,2n]
ii)- | f
n
(x)| =|
n
(x) f (x)| | f (x)| dou le rsultat demand.
iii)- f
n
L
1
(R) et | f
n
| f , n 1,avec f L
1
(R).Il reste montrer que f
n
(x)
f (x) pour tout x R.En effet ,soit x R et p N tels que |x| p.Pour tout n p
on a (x) =1,
_
car |x| n
_
et par suite f
n
(x) = f (x) pour tout n p.Autrement
dit,x tant x,il existe p N tel que | f
n
(x)f (x)| =0 pour tout n p cest dire
que f
n
(x) f (x) pour tout x R.
Alors daprs le thorme de la convergence domine :
_
R
f
n
(x)dx
n+
_
R
f (x)dx.
Solution 2 :
Projet de n dtude SM6 10 Facult des sciences Agadir
1.3. EXERCICES WAHROUR Rachid
Introduisons la fonction (t ) =exp(
1
1t
2
) si |t | <1,0 si non, qui est un lment
de D().On a f
n
(t ) =
1
2
n
(
t
n
).On en dduit que
f
(k)
n
(t ) =
1
2
n

1
n
k

(k)
(
t
n
).
En particulier,si K est nimporte quel compact de R,on a
sup
xK
| f
(k)
n
(x)|
|
(k)
|

2
n
n
k
.
Ceci prouve que f
(k)
n
converge uniformment sur tous les compacts de R vers
la fonction nulle (le terme en
1
2
n
nest donc utile que pour k=0).En revanche,la
convergence na pas lieu dans D(R) : si tel tait le cas ,les supports de ( f
n
) seraient
tous inclus dans un mme compact K.Et il est clair que s upp( f
n
) =[n,n].
Solution 3 :
i)- Il suft de remarquer que
t
est support compact :si le support de est
contenu dans la boule B(0,M) alors le support de
t
est contenu dans la boule
B(0,M+|t ||h|).
ii)- Observons dabord que pour |t | 1,le support de toutes les fonctions
t
est
contenu dans un mme compact savoir K = B(0,M +|t ||h|).Nous allons en-
suite appliquer la formule de Taylor avec reste integral pour trouver la limite de

t
.Pour un multi-indice,on applique cette formule lordre 2 pour la fonc-
tion g =

entre les points x et x+th.Ontrouve :


(

)(x +t h)

(x) =t
n

i =1
h
i

x
i
(

)(x)+t
2
h
i
h
j
n

i =1
_
1
0
(1u)h
i
h
j
_
2
x
i
x
j
_
(

)(x +ut h)du.


En notant M =sup
||||+2
sup
y R
n
|

(y )|,on obtient que pour tout x dans R


n
on
a
_
_
_
_
_
(

)(x)

_
n

i =1
h
i

x
i
_
(x)
_
_
_
_
_
M|t ||h|
2
n

i ,j =1
_
1
0
(1u)du.
Ceci prouve la convergence uniforme de

t
vers

n
=1
h
i

x
i
).Ainsi,
t
converge
dans D(R
n
) vers la fonction x

n
i =1
h
i

x
i
(x).
Projet de n dtude SM6 11 Facult des sciences Agadir
Chapitre 2
Distributions et Transformation de
Fourier
2.1 Espace de distribution
Dans tout les paragraphes qui suivent dsigne un ouvert de
d
.
Dnition 2.1.1. Une distribution T est une forme linaire sur D(), dont la res-
triction chaque D
K
(), K compact de
d
, est continue. O encore une forme
linaire continue sur D() .
Remarque 2. : 1-Une application
T : D() C
<T,>=T()
est une distribution si :
i- T est linaire :
_
<T,
1
+
2
>=<T,
1
>+<T,
2
> ,
1
,
2
D()
<T,>=<T,> C
ii-T est continue : Si (
n
) est une suite delements de D() telle que :
_
Il existe K compact xe de
d
tel que :Supp(
n
) K,n
| D
P

n
|

n
0 p multi-indice dans N
d
12
2.2. PROPRITS TOPOLOGIQUES DE D
/
() BOUNACER Hamza
Alors <T,
n
> converge vers 0 (dans C).
2- Les distributions sur unouvert forment unespace vectoriel quondsigne
par D
/
(), plus prcisment D
/
() est le dual toplogique de D().
2.1.1 La convergence dans D
/
()
Dnition 2.1.2. Soit (T
n
) une suite de distributions, on dit que (T
n
) converge
vers 0 dans D
/
() si
D(), lim
n
<T
n
,>=0
Remarque 3. Si B est born dans D() et si T est une distirbution alors T est
born sur B, et parsuite T(B) :=Sup
B
| T() | a bien un sens, de plus on a la
caractrisation suivante de la convergence dans D
/
() :
(T
n
) converge vers 0 dans D
/
() si T
n
(B) converge vers 0 quel que soit B ensemble
born de D() .
2.1.2 La topologie de D
/
()
Le critre de convergence prcdent dnie sur D
/
() une topologie ayant
pour systme fondamental de semi-normes les
N
B
(T) :=T(B) =Sup
B
| T() | .
Un systme fondamental de voisinages de 0 pour cette topologie est form par les
V(B,) dnies par
V(B,) =|T D
/
() : N
B
(T) ]
avec B ensemble born de D() et rel 0.
On admet le rsultat suivant :
D
/
() muni de cette topologie est un espace vectoriel topologique localement
convexe, base non dnombrabele douverts .
2.2 Proprits topologiques de D
/
()
Thorme 2.2.1. Le dual topologique D() est complet .
Projet de n dtude SM6 13 Facult des sciences Agadir
2.2. PROPRITS TOPOLOGIQUES DE D
/
() BOUNACER Hamza
Preuve 2.2.1. soit (T
n
) une suite de Cauchy dans D().
B ensemble born dans D(), rel strictement positif, n
0
N tel que :
i, j n
0
on ait :
|T
i
()T
i
()| B
Alors la suite des nombres complexes (T
n
()) est de Cauchy, donc elle converge
vers une limite note T().
On construit ainsi une forme linaire sur D() veriant |T()-T
n
()| , or T
n
est une distribution donc elle est born sur tout borne B de D(), et par suite T
est borne sur B.
Do T D
/
().
(T
n
) converge vers T dans D() car
Sup
B
|T
N
T|
Conclusion D() est complet.
2.2.1 Ensembles borns et Ensembles compacts dans D
/
()
Dnition 2.2.1. On dit quun ensemble de distributions est borne, si ces l-
ments prennent des valeurs bornes sur tout borne de D().
Thorme 2.2.2. Dans D
/
(), il y a identit entre ensembles bornes et ensembles
relativement compacts. (D
/
() est un espace de Montel).
Preuve 2.2.2(Indications). La preuve duthorme dcoule des deux rsultas sui-
vants :
- D() est le dual de D(), qui est aussi un espace de Montel
- le dual dun espace de Montel est un espace de Montel .
voir L.SCHWARTZ [1],P73
Thorme 2.2.3. D() et D() sont rexifs, chacun est le dual fort de lautre.
Preuve 2.2.3 (Indications). D() est un espace vectoriel topologique localement
convexe, o les ensembles borns sont relativement compacts donc, daprs un
thorme de MM.MAKEY et ARENS, il est semi-rexif. Un espace semi-rexif et
tonnel est rexif.
Projet de n dtude SM6 14 Facult des sciences Agadir
2.3. OPRATIONS SUR LES DISTRIBUTIONS BOUNACER Hamza
Thorme 2.2.4 (dapproximation ). D() est un sous-espace vectoriel dense, de
D
/
().
Cela revient dire que tout distributiont est limite dune suite de fonctions indi-
niment dribvables a supports compacts.
Preuve 2.2.4. Il rsulte de la rixivit de D
/
().En effet :
Toute forme linaire continue sur D() est dnie par une fonction de D() .Si
D(), cest--dire si elle vrie
_

d
f (x)(x)dx =0 f D()
Ceci est vraie en particulier pour f = donc =0 (pp), et cela entrane bien que
D() soit un sous-espace dense de D
/
()
2.3 Oprations Sur Les Distributions
2.3.1 Produit dune distribution par une fonction (

Dnition 2.3.1. Soient f (

() et T D()
La forme linaire dnie par
D() <T, f .>
est une distirbution sur , note f .T.
ainsi :
< f .T,>=<T, f >, f (

(), D()
Preuve 2.3.1. i-<T, f .> est bien dnie car f . D().
En effet :La formule de Leibniz (de drivation dun produit) entraine que
f .(

()
De plus on a
Supp( f .) Supp( f )Supp() Supp() c.
ii- La linarit est evidente .
iii- La continuit :Soit (
n
) une suite dlments de D(), convegente vers 0 .
Alors il existe K compact de
d
tel que Supp(
n
) K, n N et
Projet de n dtude SM6 15 Facult des sciences Agadir
2.3. OPRATIONS SUR LES DISTRIBUTIONS BOUNACER Hamza
| D
P

n
|

n
0=(1,...,d) N
d
.
On a Supp(f .
n
) Supp(
n
) c, et daprs la formule de Leibniz :
D

f .
n
=

. f
()
.
()
n
o C

=
i =d

i =1
C

i
,
i

i
, i
| D

n
|

[C

.Sup
K
| f
()
|]. | D

n
|

n0
0Donc f .T D
/
().
2.3.2 Support dune distribution
Dnition 2.3.2. Le support dune distribution T est le complmentaire du plus
grand ouvert o T est nulle.
Supp(T) =(
i I

i
)
c
oT,

i
=0.
Remarque 4. x / Supp(T) ssi V voisinage de x dans
d
tel que T,
V
=0
x Supp(T) ssi V voisinage de x dans
d
on a T,
V
,=0
Supp(T) =|x
d
,V (x),D(V)t q : T() ,=0]
2.3.3 Derive dune distribution :
Cas des distributions sur :
Dnition 2.3.3. Soit T D
/
(), on appelle derive de T la fonctionnelle dfenie
par :
T
/
: <T,
/
>,D
/
()
T
/
est une distribution.
En effet :
. La linarit de T
/
decoule de celle de la drivation dans .
. T
/
est continue :soit (
n
) une suite dlments de D(), convergeante vers 0 .
K compact de tel que Supp(
n
)K.
comme Supp(
/
) Supp(), drivable alors :
Supp(
/
n
) K (1)n
Dautre part on a :
|
()
n
|

n
0 N
Projet de n dtude SM6 16 Facult des sciences Agadir
2.3. OPRATIONS SUR LES DISTRIBUTIONS BOUNACER Hamza
Donc :
|
/
n
|

n
0 (2).
(1) et (2) entraine que (
/
n
) converge vers 0 dans D(),
et par suite <T
/
,
n
>=<T,
/
n
> converge vers 0 dans D
/
().
Do T
/
est continue .
Cas des distributions sur
d
:
Dnition 2.3.4. Soit T D
/
(
d
), on appelle derive de T par rapport la va-
riable x
k
, 1k d , la fonctionnelle dnie par :
T
x
k
: (1)
1
<T,

x
k
>,D
/
(
d
)
De la mme faon quau dimension 1,on tablit que
T
x
k
est une distribution .
Pour tout =(
1
,...,
d
) multi-indice de N
d
, on dnit la drive partielle de T
dordre par
<D

T,>=(1)
||
<T,D

>,D(
d
)
avec
D

1
...

1
1
... x

d
d
et | |=
i =d

i =1

i
2.3.4 Les distributions rgulires
Dnition 2.3.5. 1-Une fonction f dnie de
d
valeur dans C est dite lo-
calment intgrable sur
d
si pour tout compact K de
d
on a
_
K
| f (x) | dx <
Lensemble des fonctions localment intgrables sur
d
est not L
1
l oc
(
d
).
2-Pour f L
1
l oc
(
d
), on appelle distribution associ f la forme linaire dnie
par
_
f
_
: D(
d
) C

d
f (x)(x)dx
Projet de n dtude SM6 17 Facult des sciences Agadir
2.3. OPRATIONS SUR LES DISTRIBUTIONS BOUNACER Hamza
[ f ]est bien dnie car
|
_

d
f (x)(x)dx || |

_
K
| f (x) | dx < K =s upp()
Montrons que [ f ] D
/
(
d
) .
i - la linarit : decoule de la linarit de lintgrale .
i i - la continuit :
Soit (
n
) une suite dlment de D(
d
) telle que
n
0, alors
K compact de
d
tel que Supp(
n
) K,n N
et
| D

n
|

n0
0,N
d
mul t i i ndi c e ()
on a, dune part
|
_

d
f (x)
n
(x)dx ||
n
|

_
K
| f (x) | dx <
et dautre part, daprs () pour=(0,0,...,0) on a
| D
0

n
|

=|
n
|

n0
0
Donc
<[ f ],
n
>=
_

d
f (x)
n
(x)dx
n0
0 dans C
Do
[ f ] D
/
(
d
).
Remarque 5. Si f , g L
1
l oc
(
d
), alors [ f ] =[g ] f =g presque partout
Pour la preuve on utilise le lemme de la theorie dintgration suivant
Lemme 3. :Soit un ouvert de
d
et soit f L
1
l oc
() telle que
_

f (x)(x)dx =0 D
/
()
alors f =0 presque partout sur .
En particulier L
1
l oc
(
d
) D
/
(
d
)
Projet de n dtude SM6 18 Facult des sciences Agadir
2.4. TRANSFORMATIONDE FOURIER BOUNACER Hamza
2.4 Transformation de Fourier
La transformation de Fourier est un outil particulirement important en ma-
thmatiques, que ce soit du point de vue fondamental, ou de celui des appli-
cations. Dans cette section on va introduire la transformation de Fourier dans
L
1
(
d
) puis dans S(
d
) et enn, grace la densit de S(
d
) dans L
2
(
d
), on va
montrer que la transformation de Fourier stend en un isomorphisme iso-
mtrique de L
2
(
d
) sur lui-mme. Ce dernier rsultats permet de dnir les-
pace de Sobolev H
s
,s .
2.4.1 Transformation de Fourier dans L
1
(
d
)
Dnition 2.4.1. Pour f L
1
(
d
), la transforme de Fourier de f est la fonction,
not

f (ou parfois ( f )) dnie par

f (t ) =( f )(t ) =
_

d
f (x)e
2i <t ,x>
dx , t
d
o <.,.> est le produit scalaire usuelle de
d
.
Remarque 6. Lintgrale intervenant dans la dnition de

f a un sens en tout
point de
d
puisque f L
1
(
d
) et | e
2i <t ,x>
f (x) || f (x) | x,t
d
.
Pour tout t
d
, on note e
t
la fonction dnie sur
d
par
e
t
(x) =e
2i <t ,x>
, x
d
Cette famille de fonctions vrient :
e
t
(x +y ) =e
t
(x)e
t
(y )
e
t
(x) =e
x
(t )
Lemme 4. Pour f L
1
(
d
) et t
d
on a

f (t ) =( f e
t
)(0).
Preuve 2.4.1. On a pour tout t
d
( f e
t
)(0) =
_

d
f (x)e
t
(0x)dx =
_

d
f (x)e
2i <t ,x>
dx =

f (t )
Soit x
d
, on note
x
loperateur de translation par x . Pour toute fonction
f dnie sur
d
on a, pour presque tout y
d

x
( f )(y ) = f (y x)
Projet de n dtude SM6 19 Facult des sciences Agadir
2.4. TRANSFORMATIONDE FOURIER BOUNACER Hamza
Thorme 2.4.1. Soit f , g L
1
(
d
),x
d
,>0 on a :
i-
(
x
f ) =e
x
( f )
i i -
(e
x
f ) =
x
(( f ))
i i i -
( f g ) =( f )(g )
i v-
Si on notef

(x) = f (
x

), alors ( f

)(t ) =
n
( f )(t ) pour tout t
d
Preuve 2.4.2. i ) et i i ) dcoule de la dnition de et de linvariance par trans-
lation, de la mesure de Lebesgue et de la tribu de Borel 0(
d
).
i i i ) Soit t
d
( f g )(t ) =
_

d
( f g )(x)e
2i <t ,x>
dx =
_

d
e
2i <t ,x>
__

d
f (x y )g (y )dy
_
dx
La fonction intgrer est sommable car
| e
2i <t ,x>
f (x y )g (y ) || f (x y )g (y ) |
On peut donc appliquer le thorme de Fubini, et on obtient
( f g )(t ) =
_

d
g (y )e
2i <t ,y >
__

d
f (x y )e
2i <t ,xy >
dx
_
dy =( f )(g )
i v ) Soit t
d
, on a

(t ) =
_

d
f

(x)e
2i <t ,x>
dx =
_

d
f (
x

)e
2i <t ,x>
dx
=()
n
_

d
f (
x

)e
2i <t ,
x

>
dx =()
n

f (t )
Lemme 5. Pour f L
p
(
d
), 1p , lapplication
:
d
L
p
(
d
)
x
x
( f ) : y f (y x)
est uniformment continue.
Projet de n dtude SM6 20 Facult des sciences Agadir
2.4. TRANSFORMATIONDE FOURIER BOUNACER Hamza
Preuve 2.4.3. Soit >0, f L
p
(
d
).
comme (
c
est dense dans L
p
(
d
), alors il existe g continue support compact
telle que :| f g |
L
p

On suppose que Supp(g)B(0,r ), la continuit uniforme de g implique lexis-


tence de ]0,r [ tel que :
|x y | <| g (x)g (y ) |<(B(0,3r ))
1
p

et par consquent :
_

d
| g (t x)g (t y ) |
p
dt

(B(0,r ))
(b(0,3r ))

p
par suite on obtient :
|
x
g
y
g |
L
p

3
La norme L
p
, prise par rapport la mesure de Lebesgue, est invariante par trans-
lation i .e : |
x
g |
L
p
=| g |
L
p
x
d
Donc | x y |<|
x
f
y
f |
L
p
=|
x
f
x
g +
x
g
y
g +
y
g
y
f |
L
p
|
x
( f g ) |
L
p
+|
x
g
y
g |
L
p
+|
y
(g f ) |
L
p

Thorme 2.4.2. [Riemann-Lebesgue]
i) -L application : f

f est linaire continue de L
1
(
d
) dans (
0
(
d
)
ii) - Si f L
1
(
d
) alors

f est uniformement continue.
Preuve 2.4.4. i)- Il est clair que est linaire, pour la continuit on a
f L
1
(
d
),hs pac e 1mmx
d
|

f (x) || f |
L
1
donc
|

f |

| f |
L
1
comme ceci est vraie pour toute f L
1
(
d
), et on tenant compte de la linarit de
on obtient la continuit . Montrons maintenant que

f (
0
(
d
). Dune part,
si f L
1
(
d
), alors

f est continue sur
d
.En effet :
Comme pour tout x
d
,t
0

d
on a :
e
t
(x)e
t
0
(x) =e
2i <x,t >
e
2i <x,t
0
>

t t
0
0
Projet de n dtude SM6 21 Facult des sciences Agadir
2.4. TRANSFORMATIONDE FOURIER BOUNACER Hamza
Il en resulte, daprs le thorme de la convergence domine de Lebesgue (avec le
contrle | f (x)(e
t
(x)e
t
0
(x)) |2| f (x) |), que

f (t )

f (t
0
) =
_

d
f (x)(e
t
(x)e
t
0
(x))dx
t t
0
0
Do la continuit de

f sur
d
.
Dautre part :lim
|x|0

f (t ) =0 .En effet :
Comme e
i
=1, alors

f (t ) =
_

d
f (x)e
2i <x+
t
2|t |
2
,t >
dx,ave c | t |=
_
<t ,t >
On posant z =
t
2|t |
2
on obtient

f (t ) =
_

d
f (z
t
2| t |
2
)e
2i <z,t >
dz
Donc 2

f (t ) =
_

d
( f (x)f (x
t
2|t |
2
))e
2i <x,t >
dx
Do pour tout t
d
, on a
|

f (t ) ||
0
f
h
f |
L
1,h =
t
2| t |
2
le lemme 2.4.5 imlique que |
0
f
h
f |
L
10 quand h 0
Do
lim
|t |0

f (t ) =0
Conclusion (L
1
(
d
)) (
0
(
d
)
ii)-Soient Montrons maintant que f est uniformment continuef L
1
(
d
), et
>0
alors x,y B(0,) on a
_
_
_

f (x)

f (y )
_
_
_ =
_
_
_
_
_
_

d
f (t )(e
2i <t ,x>
e
2i <t ,y >
)dt
_
_
_
_
_
=
_
_
_
_
_
_

d
f (t )e
2i <t ,y >
(e
2i <t ,xy >
1)dt
_
_
_
_
_
Le thorme de la convergence domine de Lebesgue permet de conclure .
Projet de n dtude SM6 22 Facult des sciences Agadir
2.4. TRANSFORMATIONDE FOURIER BOUNACER Hamza
Proposition2.4.1 (Formule dchange). Soient f et g deux fonctions de L
1
(
d
),
alors f g et

f g sont dans L
1
(
d
), et on a
_

d
f (t ) g (t )dt =
_

f (t )g (t )dt
Preuve 2.4.5. On vient de voir que | g (x) || g |
L
1 donc f g est dans L
1
(
d
) .De
mme

f g est dans L
1
(
d
) .Lgalit resulte du thorme de Fubini car (x,y )
e
2i <t ,x>
f (t )g (x) est sommable sur
2d
. En effet on a
_

d
f (t ) g (t )dt =
_

d
f (t )
_
g (x)e
2i <t ,x>
dx
_
dt
=
_

d
g (x)
_
f (t )
2i <t ,x>
dt
_
dx =
_

d
g (x)

f (x)dx
Thorme 2.4.3. (Inversion de Fourier dans L
1
(
d
)) Si f et

f sont dans L
1
(
d
)
alors f (t ) =
_

f
_
(t ) en tout point de continuit de f .
Preuve 2.4.6. admise
Corollaire 2. :
i)Si f et g sont dans L
1
(
d
) et si

f (t ) = g (t )t
d
alors f (x) =g (x) pp
ii) Supposons que f L
1
(
d
) et

f 0.Si f est continue en 0 alors

f est intgrable
et on a
f (0) =
_

f (x)dx
Transformation de Fourier et drivation
La Transformation de Fourier et la drivation sont lies de la faon suivante :
Thorme 2.4.4. Soit f L
1
(
d
) .on suppose que x x
i
f (x) est sommable.
Alors

f est de classe (
1
et on a


f
x
i
=2i
_
x
i
f (x))
Projet de n dtude SM6 23 Facult des sciences Agadir
2.4. TRANSFORMATIONDE FOURIER BOUNACER Hamza
Preuve 2.4.7. On pose g (x,t ) =e
2i <t ,x>
f (x) alors
g (x,t )
t
i
=2i x
i
e
2<x,t >
f (x)
Cette drive partielle est continue pour tout x et
|
g (x,t )
t
i
|=2| x
i
f (x) |L
1
Les conditions du thorme de drivation sous le signe dintgration sont satis-
faites, et par suite on obtient


f
t
i
(t ) =

t
i
_

d
e
2i <t ,x>
f (x)dx
=2i
_

d
e
2i <t ,x>
x
i
f (x)dx
=2i (x
i
f (x))(t )
Do le thorme.
Pour N
d
nous crivons
| |=
i =d

i =1

i
; x

=
i =d

i =1
x

i
i
et si f est de classe (
||
:
D

f =

||
x

1
1
... x

d
d
f
Corollaire 3. Soit f :
d
Ctelle que x (1+| x |)
k
f (x) est intgrable .Alors

f
est de calsse (
k
et pour N
d
tel que | |k on a
D


f =(2i )
||
(x

f (x))
Thorme 2.4.5. Soit f :
d
C. On suppose que f et la drive partielle
f
x
i
son intgrables. Alors

_
f
x
i
_
(t ) =2i t
i

f (t )
Projet de n dtude SM6 24 Facult des sciences Agadir
2.4. TRANSFORMATIONDE FOURIER BOUNACER Hamza
Preuve 2.4.8. Pour simplicit de notation nous considrons le cas d= 1.
Fixons M
1
<M
2
rels positifs,en intgrant par parties on obtient
_
M
2
M
1
e
2i t .x
d f (x)
dx
dx =e
2i t .M
2
f (M
2
)e
2i t .M
1
f (M
1
)+2i t
_
M
2
M
1
e
2i t .x
f (x)dx
Comme f et
d f
dx
sont intgrables, on obtient par convergence domine
lim
M
1

_
M
2
M
1
e
2i t .x
d f (x)
dx
dx =
_
M
2

e
2i t .x
d f (x)
dx
dx
lim
M
1

_
M
2
M
1
e
2i t .x
f (x)dx =
_
M
2

e
2i t .x
f (x)dx
Il en dcoule que lim
M
1

e
2i t .M
1
f (M
1
) existe, et comme f est intgrable
alors la seule limite possible est zero. De mme lim
M
2

e
2i t .M
2
f (M
2
) =0.
Do

_
d f
dx
_
(t ) = lim
M
2
M
1

_
M
2
M
1
e
2i t .x
d f (x)
dx
dx
= lim
M
2
M
1

2i t
_
M
2
M
1
e
2i t .x
f (x)dx =2i t

f (t )
Corollaire 4. Soit f (
k
.On suppose que f et toutes ses drives partielles jus-
qu lordre k sont intgrables.Alors
lim
|t |
| t |
k

f (t ) =0
Et pour N
d
, tel que | |k, on a
(D

f ) =(2i )
||
t


f (t ) avec t

=
i =d

i =1
t

i
i
2.4.2 Transformation de Fourier dans L
2
(
d
)
La dnition de la transform de Fourier pour les fonctions intgrables nest
pas directement applicable une fonction quelcolque de L
2
(
d
) .Toutefois cette
dnition convient lorsque f L
1
(
d
)L
2
(
d
) et on dmontre que

f L
2
(
d
) et
Projet de n dtude SM6 25 Facult des sciences Agadir
2.4. TRANSFORMATIONDE FOURIER BOUNACER Hamza
que | f |
2
=|

f |
2
. Grce densit de L
1
L
2
dans L
2
(
d
) cette isomtrie stend
en une isomtrie de L
2
(
d
) sur lui mme, cette extension permet de dnir la
transforme de Fourier (oencore transforme de Fourier-Plancharel) pour toute
fonction f de L
2
(
d
).
Thorme 2.4.6. (thorme de Plancherel) Soient f et g deux fonctions de L
1
(
d
)
L
2
(
d
) on a :
i-( f , g )
2
=(

f , g )
2
ii-| f |
2
=|

f |
2
Preuve 2.4.9. i-En posant h(x) = g (x), on obtient
h(x) =
_

d
g (t )e
2i <t ,x>
dt =
_

d
g (t )e
2i <t ,x>
dt =(g )(x)
donc

h =(g ) =g La formule dchange appliquer f et h donne
_

d
f (t )

h(t )dt =
_

f (t )h(t )dt
ce qui est quivalent
_

d
f (t )g (t ) =
_

f (t ) g (t )
ii-Il suft de prendre f =g pour aboutir au rsultat.
Lextension de la transformation de Fourier L
2
(
d
) se fait en utilisant la
densit de (L
1
(
d
) L
2
(
d
),| . |
2
) dans L
2
(
d
) et la complition de L
2
(
d
).Cest
une application du rsultat de topologie suivant :
Lemme 6. Soient E et F deux espaces vectoriels norms, F banach et G un sous-
espace dense de E. Soit T un oprateur linaire continu de Gdans F. Alors il existe
un prolongement unique

T de T, linaire continu de E dans F et la norme de

T
est gale la norme de T.
Daprs le thorme de PLancherel , est une isomtrie de L
1
(
d
) L
2
(
d
)
de dans L
2
(
d
) .En appliquant le lemme ci-dessus avec E =F =L
2
(
d
) et G =
L
1
(
d
)L
2
(
d
), on obtient le thorme suivant :
Projet de n dtude SM6 26 Facult des sciences Agadir
2.5. ESPACE DE SCHWARTZ BOUNACER Hamza
Thorme 2.4.7. (thorme de Plancherel-Riesz)
Il existe un unique automorphisme, quon note aussi , de L
2
(
d
) qui prolonge
canoniquement lisomtrie
L
1
(
d
)L
2
(
d
) L
2
(
d
)
f

f
De plus pour tout ( f , g ) L
2
(
d
)L
2
(
d
), on a
1-(( f )) =(( f )) = f p.p;
2-( f , g )
2
=(

f , g )
2
;
3-| f |
2
=| ( f ) |
2
.
Preuve 2.4.10. Il suft dapprocher, chaque fois, f et g par des suites de L
1
(
d
)
L
2
(
d
), puis appliquer la formule dinversion de Fourier pour 1), et le thorme
Plancherel dans L
1
(
d
) L
2
(
d
) pour 2) et 3).Le passage la limite permet de
conclure.
Remarque 7. Il faut prendre garde au fait que dsormais dsigne deux appli-
cations distinctes :dune part celle de L
1
(
d
) dans (
0
(
d
), dautre part celle de
L
2
(
d
) sur lui mme, et que ces deux applications ne concident que sur L
1
(
d
)
L
2
(
d
).
2.5 Espace de Schwartz
Dnition 2.5.1. On appelle espace de Scwartz (
d
), lespace des fonctions de
classe (

sur
d
dcroissance rapide ainsi que toutes leurs drives.
Autrement dit, une fonction (

(
d
) est un lment de (
d
) si,p 0
N
p
() = sup
0||,||p
| x

(x) |
L

< , N
d
, x

=x

1
1
... x

d
d
En pratique on utilise la caractrisation suivante :soit (

(
d
)
(
d
) s i lim
|x|
x

(x) =0 , , mul t i i ndi c e s


Evidemment, (
d
) est un espace vectoriel sur , ou sur C quand les fonc-
tions que lon considre sont valeurs complexes, ce qui sera le cas, puisquon
parlera beaucoup de transformation de Fourier.
Projet de n dtude SM6 27 Facult des sciences Agadir
2.5. ESPACE DE SCHWARTZ BOUNACER Hamza
Proposition2.5.1. La fonctionx e
|x|
2
2
est une fonctionde lespace de Schwartz.
Preuve 2.5.1. Rappelons ici que | x |
2
2
=

i =d
i =1
x
2
i
est le carr de la norme eucli-
dienne sur
d
. Pour tablir que la proposition est vraie, il suft de dmontrer
que u(x) =e
|x|
2
2
et toutes ses drives dcroissent plus vite que tout polynme en
linni. Cest vrai pour u, en vertu de ladage qui afrme que lexponentielle lem-
porte sur tout polynme. On dmontre ensuite par rcurrence sur la longueur du
multi-indice que : D

u(x) =P

(x)u(x) o P

est un polynme.
Proposition2.5.2. Lespace de Schwartz est invariant par drivation et par mul-
tiplication par un polynme.
Preuve 2.5.2. Cette proposition veut dire que si u (
d
) , alors x x

u(x)
et D

u est dans (
d
).En effet
x

.D

(x

u(x)) =x

(D

(x

)u(x)+x

u(x))
=[x

]u(x)+x
+
D

u(x)
Ceci est vraie pour tout multi-indices , N
d
.
donc x x

u(x) est dans (


d
)
Pour etablir que D

u (
d
),il suft de remarquer que
x

u(x) =x

D
+
u(x)
Dnition2.5.2. Soit (
n
) une suite dlments de (
d
).Ondit que (
n
) converge
vers 0 dans (
d
) si , multi-indices (x

n
(x)) converge uniformment
vers 0 sur
d
.
Thorme 2.5.1. D(
d
) (
d
) est une injection continue, et dense.
Preuve 2.5.3. Ceci veut dire deux choses :
Si dune part (
n
) est une suite de fonctions tests convergeant vers 0 au sens des
fonctions tests, alors (
n
) converge vers 0 dans (
d
) (continuit).
Dautre part, pour toute fonction dans lespace de Schwartz, on peut exhiber
une suite de fonctions tests (
n
) qui converge vers dans (
d
) (densit).
Montrons la premire assertion :
Si (
n
) converge vers 0 dans D(
d
) cela veut dire quil existe un compact xe K
de
d
contenant les supports des
n
, et que
n
et toutes ces drives convergent
uniformment vers 0 sur K. la convergence dans (
d
) est alors vraie a fortiori.
Pour la densit, on introduit une fonction plateau qui a son support dans
Projet de n dtude SM6 28 Facult des sciences Agadir
2.6. LESPACE
/
DES DISTRIBUTIONS TEMPRES BOUNACER Hamza
_
x
d
,| x |2
_
et qui vaut sur le compact
_
x
d
,| x |1
_
ceci est garantit grce
au prolongemnt dUrysohn
Soit maintenant, pour u dans lespace de Schwartz, la suite des fonctions tests

n
(x) =u(x)(
x
n
)
Soit un multi-indice, on calcule D

(
n
u)(x) et on montre(en utilisant la
formule de Leibniz ) que ceci converge uniformment vers 0.
Dou la convergence dans .
Thorme 2.5.2. 1- (
d
) est stable par trasformation de Fourier, en plus elle
existe une constante C
p
telle que

p
(

f ) C
p

p+d+1
( f )
2-Si on munit (
d
) de la topologie induite par celle de L
2
(
d
), alors la trans-
formation de Fourier est un isomorphisme isomtrique dinverse

1
( f )(x) =( f )(x)
2.6 Lespace
/
des distributions tempres
Dnition 2.6.1. Soit T D
/
(
d
). On dit que T est une distribution tempr, ce
quon note T
/
(
d
), sils exitent p N et C 0 tels que
|<T,>|C
p
() D(
d
)
Thorme 2.6.1. (Extension de la dualit) Soit u
/
(
d
).
Lapplication <u,>dnie sur D(
d
), se prolonge de manire unique en
une forme linaire sur (
d
) qui verie
|<T,>|C
p
() (
d
)
Preuve 2.6.1. La preuve de ce thorme repose sur le thorme de Hahn-Banach,
et la densit de D(
d
) dans (
d
)
Dnition 2.6.2. (La convergence dans
/
) On dit que la suite (u
n
) dlment
de
/
(
d
) converge vers u dans
/
(
d
), si on a
lim
n
<u
n
,>=<u,> (
d
)
Projet de n dtude SM6 29 Facult des sciences Agadir
2.6. LESPACE
/
DES DISTRIBUTIONS TEMPRES BOUNACER Hamza
Remarque 8. Il est clair que, si (u
n
) u dans
/
alors (u
n
) u dans D
/
.
Dautre part, si les u
n
ont leur support dans un mme K , la convergence dans D
/
est quivalente la convergence dans
/
. La diffrence entre les deux notions de
convergence napparat donc qu linni.
Thorme 2.6.2. Soit u
/
(
d
) alors toutes ces drives sont dans
/
(
d
).De
plus si u
n
u dans
/
alors pour tout multi-indice , on a D

u
n
D

u
dans
/
Preuve 2.6.2. Soit u
/
, alors u est un lment de D
/
tel que pour p Net C 0
on a
|<T,>|C
p
() D(
d
)
Daprs le thorme de drivation des ditributions on a, pour tout multi-indice
N
d
et D(
d
), D

u D
/
et
|<D

u,>|=| (1)
||
<u,D

>|C
p
(D

) C
/

p
/ ()
Donc D

/
.
On suppose que u
n
u dans
/
, on a pour N
d
<D

u
n
,>=(1)
||
<u
n
,D

>
Or est stable par drivation, alors D

, il sensuit que
lim
n
<D

u
n
,>= lim
n
(1)
||
<u
n
,D

>
=(1)
||
lim
n
<u
n
,D

>
=(1)
||
<u,D

>=<D

u,>
Do D

u
n
D

u dans
/
2.6.1 Transformation de Fourier dans
/
Soit f L
1
l oc
, on a
|<[ f ],>|| |
L

d
| f (x) | dx C
0
(), C =| |
L

Projet de n dtude SM6 30 Facult des sciences Agadir


2.6. LESPACE
/
DES DISTRIBUTIONS TEMPRES BOUNACER Hamza
Donc [ f ]
/
Dautre part on a
<[ f ], >=
_

d
f (x) (x)dx =
_

d
f (x)
__

d
e
2i <x,t >
(t )dt
_
dx
La fonction (x,t ) f (x)e
2i <x,t >
est sommable sur
2d
car elle est domine
par | f (x)(t ) |L
1
On peut donc appliquer le thorme de Fubini, et on obtient
_
[ f ],
_
=
_

d
(t )
__

d
e
2i <x,t >
f (x)dx
_
dt =
__

f
_
,
_
Dnition 2.6.3. (Thorme) Soit u une lment de
/
(
d
) .La transfome de
Fourier de u est une ditribution tempre dnie par :
_
u,
_
=
_
u,
_
, (
d
)
Remarque 9. On doit montrer que u est bien une ditribution tempre.
Il est claire que u est une forme linaire sur (
d
).
En plus on a pour p N , C 0 et (
d
)
|
_
u,
_
| =|
_
u,
_
| C
p
( ) C.C
p

p+d+1
()
Donc ils existent p N et C
/
0 tels que
|
_
u,
_
| C
/

p
/ (), (
d
)
Do u
/
(
d
)
Thorme 2.6.3. La transformation de Fourier est un isomorphisme de
/
(
d
)
sur lui mme, dinverse
1
=
Preuve 2.6.3. On a pour u
/
et
_
u,
_
=
_
u,
_
=
_
u,
_
=
_
u,
_
On en deduit que (et pour la mme raison ) concide avec lidentit.
Thorme 2.6.4. (continuit )Si (u
n
) converge vers u dans
/
(
d
), alors ( u
n
)
converge vers u dans
/
(
d
) .
Preuve 2.6.4. immediate, pour tout S(R
d
) on a
_
u
n
,
_
=
_
u
n
,
_

n
_
u,
_
=
_
u,
_
Projet de n dtude SM6 31 Facult des sciences Agadir
Chapitre 3
Espace de Sobolev W
1,p
()
3.1 Dnition et proprits lmentaires
Soit
N
un ouvert et soit p avec 1p .
Dnition 3.1.1. Lespace de Sobolev W
1,p
() est dni par
_
u L
p
()|g
1
, g
2
,..., g
N
L
p
() tels que
_

u

x
i
=
_

g
i
,C

c
(),i =1,2..N
_
Pour u W
1,p
() on note
u
x
i
=g
i
et u =(
u
x
1
.........,
u
x
N
)
Lespace W
1,p
() est muni de la norme
||u||
W
1,p =||u||
L
p
+
N

i =1
||
u
x
i
||
L
p
ou parfoit de la norme quivalente
||u||
1,p
=(||u||
p
L
p
+
N

i =1
||
u
x
i
||
p
L
p
)
1
p
H
1
() =W
1,2
() est un espace de Hilbert muni de produit scalaire
u,v
H
1 =u,v
L
2 +
N

i =1

u
x
i
,
v
x
i

L
2
32
3.1. DFINITIONET PROPRITS LMENTAIRES MAZID Sehail
O ` u
u,v
L
2 =
_

u(x)v(x)dx
La norme associe
|u|
1
H
=(|u|
2
L
2
+
N

i =1
|
u
x
i
|
2
L
2
)
1
2
Proposition 3.1.1. .
(W
1,p
,|.|
W
1,p ) est un espace de Banach pour 1p +
(W
1,p
,|.|
W
1,p ) est un espace rexif pour 1<p <+
(W
1,p
,|.|
W
1,p ) est un espace sparable pour1p <+
Preuve
Soit (u
n
) une suite de Cauchy dans W
1,p
() alors (u
n
),(
u
n
x
1
),(
u
n
x
2
)........(
u
n
x
n
)
sont des suites de Cauchy dans L
p
().
Or L
p
est complet alors on obtient lexistance de u,
u
x
1
.......
u
x
n
L
p
() tq
u
n
u ,
u
n
x
1

u
x
1
......
u
n
x
n

u
x
n
, comme
|u
n
u|
W
1,p =|u
n
u|
L
p
+|
u
n
x
1

u
x
1
|
L
p
+....... +|
u
n
x
n

u
x
n
|
L
p
Alors
u
n
u dans W
1,p
Soit
E =
n +1 fois
.
L
p
()L
p
() L
p
()
on considre lapplication
T : W
1,p
E u (u,u)
on munit de la norme || (u , u)|| =||u||
L
p
+

N
i =1
||
u
x
i
||
L
p
.
Soit u W
1,p
, on a
|Tu|
E
= |[u,u]|
= |u|
L
p
+|u|
L
p
= |u|
W
1,p (3.1)
Donc T est isomotrie continue.
Soit X =T(W
1,p
) E, et soit (x
n
) X une suite converge vers x E
Projet de n dtude SM6 33 Facult des sciences Agadir
3.1. DFINITIONET PROPRITS LMENTAIRES MAZID Sehail
x
n
T(W
1,p
) x
n
=Tu
n
u
n
W
1,p
on veut montrer que x X .
La suite Tu
n
est de Cauchy dans E car elle converge ,
donc (u
n
) est de Cauchy dans W
1,p
,
donc
|Tu
n
Tu|
E
= |T(u
n
u)|
E
= |Tu
n
Tu|
W
1,p 0. (3.2)
Alors Tu
n
Tu =x x X =T(W
1,p
).
Do ` u X est un sous espace ferm de E,
comme E est Banach rexif , alors X est rexif.
Donc W
1,p
est rexif
Lespace
E =
n +1 fois
.
L
p
()L
p
() L
p
()
est sparable et T(W
1,p
) E T(W
1,p
) est sparable
Donc W
1,p
est sparable.
Soit 1p
Si u C
1
() L
p
() et si
u
x
i
L
p
() pour i = 1.....N ( ici
u
x
i
dsigne la driv
partielle de u au sens usuel).
Alors u W
1,p
()
Si est born , alors C
1
c
() W
1,p
() .Inversement si u W
1,p
() C() et si
u
x
i
C() pour tout i =1,2,.....,N(
u
x
i
dsigne ici la driv au sens de W
1,p
).
Alors u C
1
() ,
Soit (u
n
) W
1,p
() telle que u
n
u dans L
p
et (Vu
n
) converge vers une limite
dans (L
p
)
N
.
Alors u W
1,p
() et |u
n
u|
W
1,p 0.
Lorsque 1<p il suft de savoir que u
n
u dans L
p
et que (Vu
n
) reste borne
dans (L
p
)
N
pour conclure que u W
1,p
.
Thorme 3.1.1. ( Friedrichs)
Soit u W
1,p
() avec 1 p <+, alors il existe une suite (u
n
) de C

c
(
N
) telle
que
u
n|
u dans L
p
() e t p.p s ur
u
n|
u dans (L
p
())
N
pour
Projet de n dtude SM6 34 Facult des sciences Agadir
3.1. DFINITIONET PROPRITS LMENTAIRES MAZID Sehail
Notation : signie que est un ouvert tel que et est compact
Proposition 3.1.2. .
Drivation dun produit
Soient u,v W
1,p
()L

() avec 1p +, alors
uv W
1,p
()L

() et

x
i
(uv) =
u
x
i
v +u
v
x
i
i =1,2.......N
Drivation dun produit de composition
Soit G C
1
() tq G(0) =0 et |G
/
(s )| M s .
Soit u W
1,p
(),al or s
G u W
1,p
() e t

x
i
(G u) =(G
/
u)
u
x
i
Preuve
(1) On a daprs le thorme de Friedrichs il existe des suites (u
n
) , (v
n
) dans
C

c
(
N
)) telles que
U
n
u v
n
v dans L
p
() e t p.p s ur
u
n
u v
n
v dans (L
p
())
N
pour
Et on a aussi
|u
n
|
L

|u|
L

e t |v
n
|
L

|v|
L

Par ailleurs on a
_

u
n
v
n

x
i
=
_

(
u
n
x
i
v
n
+u
n
v
n
x
i
) C
1
c
()
Passant ` a la limite , par convergence domine , il vient
_

uv

x
i
=
_

(
u
x
i
v +u
v
x
i
) C
1
c
()
(2) On a |G(s )| <M|s | s .
Projet de n dtude SM6 35 Facult des sciences Agadir
3.2. LESPACE W
1,P
0
() MAZID Sehail
Donc |G u| M|u| G u L
p
(), de m e me (G
/
u)
u
x
i
L
p
().
Il reste ` a vrier que
_

(G u)

x
i
=
_

(G
/
u)
u
x
i
Lorsque 1p <, daprs le thorme de Friedrichs , on choisit une suite
(u
n
) dans C

c
(
n
) telle que
u
n
u dans L
p
() et u
n
u dans(L
p
())
N

On a
_

(G u
n
)

x
i
=
_

(G
/
u
n
)
u
n
x
i

Or G u
n
G u dans L
p
() et (G
/
u
n
)
u
n
x
i
(G
/
u)
u
x
i
dans L
p
(), par
convergence domine
(G u)
x
i
=(G
/
u)
(u)
x
i
3.2 Lespace W
1,p
0
()
Dnition 3.2.1. Soit 1p <+
On dsigne par W
1,p
0
() la fermeture de C
1
c
() dans W
1,p
() , muni de la norme
induite par W
1,p
.
C ` a d
W
1,p
0
() =C
1
c
()
W
1,p
()
Soit p [1,]
W
1,p
0
() est un espace de Banach sparable , il est rexif pour 1<p <
Lorsque =
N
on sait que C
1
c
(
N
) est dense dans W
1,p
(
N
) et par consquent
W
1,p
0
(
N
) =W
1,p
(
N
)
Lemme 7. Soit u W
1,p
() et 1p <+, avec supp u compact inclus
dans .
Alors u W
1,p
0
()
preuve
On xe un ouvert tel que supp u et on choisi C
1
c
() tel que =1
sur supp u .
Donc u = u . Dautre part daprs le thorme de Friedrichs il existe une suite
Projet de n dtude SM6 36 Facult des sciences Agadir
3.3. LESPACE DUAL DE W
1,P
0
() MAZID Sehail
(u
n
) dans C

c
(
N
) telle que u
n,
u dans L
p
() et u
n,
u, dans
(L
p
())
N
.
Donc u
n
u dans W
1,p
() et u W
1,p
0
()
On en rsulte que u W
1,p
0
().
Thorme 3.2.1. On suppose que de classe C
1
soit
u W
1,p
()C() ave c 1p <+
Alors les Proprits suivantes sont quivalentes :
(i ) u =0 sur =
(i i ) u W
1,p
0
()
3.3 Lespace dual de W
1,p
0
()
Dnition 3.3.1. On dsigne par W
1,p
/
0
lespace dual de W
1,p
0
avec 1p <+
et par H
1
() le dual de H
1
0
()
si est born on a
W
1,p
0
() L
2
() W
1,p
/
0
()
Si
2N
N +2
p <+
Avec injections continues et denses
Si nest pas born
W
1,p
0
() L
2
() W
1,p
/
0
()
s i
2N
N +2
p 2
3.4 Thorme de densit
Thorme 3.4.1. (thorme de prolongement)
Soit 1p . On suppose que est de classe C
1
avec born
il existe un oprateur de prolongement
P : W
1,p
() W
1,p
(
N
)
telle que Pu
|
=u
Projet de n dtude SM6 37 Facult des sciences Agadir
3.5. LES INJECTIONS DE SOBOLEV MAZID Sehail
Thorme 3.4.2. (Thorme de densit de densit dans lespace de Sobolev )
Soit un ouvert de classe C
1
dont la frontire est borne alors lespace :() est
dense dans W
1,p
()
Dmonstration
Soit u W
1,p
() . On a W
1,p
0
(
N
) =W
1,p
(
N
) , donc il existe une suite
(v
n
) :(
N
) qui tend vers Pu dans W
1,p
(
N
).
Ds alors u
n
=v
n
/

tend vers u dans W


1,p
()
3.5 Les injections de Sobolev
Dnition 3.5.1. Un operateur T '(E, F) est compact si et seulement si T(B
E
)
est relativement compacte
3.5.1 Cas o ` u =
N
Thorme 3.5.1. (Sobolev , Gagliardo, Nirenberg)
Soit 1p <N,alors
W
1,p
(
N
) L
p
(
N
) o ` u p

est donn par


1
p
=
1
p

1
N
et il existe une constante C = C (p,N) telle que
|u|
L
p C|u|
L
p
u W
1,p
(
N
)
Soit 1p <N alors
W
1,p
(
N
) L
q
(
N
) q [p,p]
avec injection continue
Si p = N ona
W
1,N
(
N
) L
q
(
N
) q [N,+]
avec injection continue
Projet de n dtude SM6 38 Facult des sciences Agadir
3.6. PROBLEME DE DIRICHLET HOMOGNE MAZID Sehail
3.5.2 Cas o ` u
N
Thorme 3.5.2. (Rellich - Kondrachov)
On suppose born de classe C
1
, on a
si 1p <N alors W
1,p
() L
q
() q [1,p [
si p = N alors W
1,p
() L
q
() q [p,+[
Si p > N alors W
1,p
() C()
avec injection compactes
3.6 Probleme de Dirichlet homogne
Soit
N
un ouvert born . On cherche une fonction u : veriant
(1)
_
u +u = f s ur
u =0 s ur =
O
u =


2
u

2
x
i
= l apl aci e n de u
et f une fonction donn sur , la condition u = 0 sur sappelle la condition de
Dirichlet.
Une solution classique de (1) est une fonction u C
2
() veriant (1)
une solution faible de (1) est une fonction u H
1
0
vriant
_

uv +
_

uv =
_

f v v H
1
0
Proposition 3.6.1. Toute solution classique est une solution faible.
Preuve 3.6.1. On a u H
1
()C().
Donc u H
1
0
().
Dautre part si v C
1
c
() on a
_

uv +
_

uv =
_

f v
et par densit cette galit reste vraie pour v H
1
0
()
Projet de n dtude SM6 39 Facult des sciences Agadir
3.6. PROBLEME DE DIRICHLET HOMOGNE MAZID Sehail
Thorme 3.6.1. (Dirichlet , Riemann , Hilbert)
Pour toute f L
2
() il existe u H
1
0
() unique solution faible de (1) .
De plus u sobtient par
Mi n|
1
2
_

(|u| +v
2
)
_

f v]
Cest le princip de dirichlet.
Preuve 3.6.2. On applique le thorme de Lax-Milgram dans lespace de Hilbert
H= H
1
0
() avec la forme biliniaire
a(u,v) =
_

(uv +uv)
et la forme biliniaire
: v
_

f v
Projet de n dtude SM6 40 Facult des sciences Agadir
3.7. EXERCICES MAZID Sehail
3.7 Exercices
Exercice 1
Soit u dnie sur ]-1,1[ par
u(x) =
_
1 si x>0
0 sinon
Montrer que u ,H
1
(]1,1[ )
Exercice 2
Montre que si I est born , linclusion suivante
W
1,p
(I ) C(I )
est continue et compacte
Exercice 3
Soit u L
2
().
Montrer que si u H
1
() , alors il existe une constante C telle que
|
_

u

x
i
dx| C||
L
2 :() i =1,2.......N
Exercice 4 (formule de changement de variables)
Soient ,
/
deux ouverts de
n
et soit H :
/
une application bijective ,
x =H(y ) , telle que
H C
1
(
/
), H
1
C
1
(
/
), J ac H L

(
/
), J ac H
1
L

(
/
)
Soit u W
1,p
(), montrer que u H W
1,p
(
/
) et
(u H)
y
j
(y ) =

i
u
x
i
(H(y ))
H
i
y
j
(y ) i =1,2,......,N
Exercice 5
Montrer que les fonctions continues, C
1
par morceaux ` a support compact bor-
nes dans appartient ` a H
1
()
Exercice 6
Soit B la boule unit ouverte de
N
, si N =2 , montrons que la fonction
u(x) =|l og (|
x
2
|)|

Appartient a H
1
(B) pour 0<<
1
2
, mais nest pas born auvoisinage de lorigine.
Projet de n dtude SM6 41 Facult des sciences Agadir
3.7. EXERCICES MAZID Sehail
Exercice 7 (Ingalit de poincar)
Montre que si u W
1,p
(]a,b[),a,b +
|u|
W
1,p (1+b a)|u
/
|
p
L
Exercice 8
Soit V =H
1
0
() ( tant un ouvert de
N
) que lon munit du produit scalaire
u,v =
_

(u.v +uv)dx
On pose
J (u) =
1
2
a(u,u)L(u)
o ` u a(u,v) =
_

u . vdx une forme biliniaire symetrique continue


sur V V , et L(u) =
_

f udx une forme liniaire continue sur V avec f L


2
() .
1) Montrer ( au moins formellement ) que J
/
(u) =u f dans V
/
=H
1
0
()
2) Montre que , si on identie V et V
/
, alors J
/
(u) =u
0
o ` u u
0
est lunique solution
dans H
1
0
() de
(1)
_
u +u = f s ur
u =0 s ur =
Projet de n dtude SM6 42 Facult des sciences Agadir
3.8. INDICATIONS ET SOLUTIONS MAZID Sehail
3.8 Indications et solutions
Exercice 1
u L
2
(] 1,1[) mais u
/
=
0
(la mesure de dirac en 0 ) qui ne peut pas tre iden-
tie avec une fonction de L
2
(] 1,1[) ( la dmonstration en faisant un raisone-
ment par labsurde)
Exercice 2
Soit B la boule unit de W
1,p
(I ) avec 1p +.
Pour u B on a
|u(x)u(y )| = |
_
y
x
u
/
(t )dt |
|u
/
|
L
p
|x y |
1
p
/
|x y |
1
p
/
x,y I (3.3)
On rsult alors du torme dAscoli que B est relativement compact dans C(I )
Exercice 3
Soit u H
1
() , par dnition de H
1
() , pour tout 1 i N , il exist g
i
(=
u
x
i

L
p
(=)) unique tel que , quelque soit :()
_

u

x
i
dx =
_

u g
i
dx
Alors , en appliquant lingalit de Cauchy-Schwartz
On obtient
|
_

u

x
i
dx ||g
i
|
L
2||
L
2
Ainsi la relation est vrie avec
C = max
1i N
|g
i
|
L
2 = max
1i N
|
u
x
i
|
L
2
Exercice 4
Soit 1p +daprs le thorme de Friedrichs on choisit une suite (u
n
) dans
C

c
(
N
) telle que u
n
u dans L
p
() et u
n
u dans (L
p
())
N
pour
Alors u
n
H u H dans L
p
() et
(
u
n
x
i
H)
H
i
y
j
(
u
x
i
H)
Hi
y
j
dans L
p
(
/
) pour
/

/
Etant donne C
1
c
(
/
) on a
Projet de n dtude SM6 43 Facult des sciences Agadir
3.8. INDICATIONS ET SOLUTIONS MAZID Sehail
_

/
(u
n
H)

y
j
=
_

i
(
u
n
x
i
H)
H
i
y
j
dy
Par passage la limite on obtient le rultat dsir.
Exercice 5
On a pour toute fonction C

c
()
_
f (x)

x
k
dx =
_

k
(x)xdx
O
k
(x) =
f
i
(x)
x
k
pour tout x
i
. le suport de f tant born et
k
est continue
suport born , donc appartient L
2
() . Ainsi f admet une driv faible dans
L
2
() et appartient H
1
()
Exercice 6
Soit 0
1
2
et u la fonction dnie sur la boule unit de
2
par
u(x) =|l og (|
x
2
|)|

Tout dabord , on vr que u est un lment de L


2
(B) . En effet
_
B
|u|
2
dx =2
_
1
0
|l og (
r
2
)|
2
r dr +
Prouver que u admet une driv faible L
2
(B)
O
(x) =
x
|x|
2
|l og (|
x
2
|)|
1
Exercice 7
Marche suivre : utiliser lingalit de hlder et le fait que u est une primitive de
u
/
Exercice 8
1) La fonction J est drivable et pour tout H
1
0
() on a
J
/
(u), =
_

u.f dx
Projet de n dtude SM6 44 Facult des sciences Agadir
3.8. INDICATIONS ET SOLUTIONS MAZID Sehail
Si u appartient ` a L
2
() alors J
/
(u) appartient au dual de L
2
() . Suite ` a une
intgration par partie , on obtient
J
/
(u), =
_

(u +f )dx
Aussi , si on identie L
2
() et son dual L
2
() laide du produit scalaire , on
obtient
J
/
() =u f
2) Si on utilise le produit scalaire H
1
() pour associer une fonction ` a J
/
(u), on
obtient vidamment un autre rsultat . Soit v llment de H
1
0
() associ ` a J
/
(u)
par identication de H
1
0
() et son dual ` a laide du produit sclaire H
1
() .
En dautres termes , v est lunique lment de H
1
0
() tel que pour tout H
1
0
()
_

v.+vdx =J
/
(u),v =
_

u.+f dx
Par intgration par partie , on en dduit que v est solution du problme aux
limites vrie par u
0
. Ainsi v =u
0
et , si on identie H
1
0
() et son dual H
1
()
laide du produit scalaire , J
/
(u) =u
0
.
Projet de n dtude SM6 45 Facult des sciences Agadir
Chapitre 4
Les espaces W
m,p
4.1 Les espaces de Sobolev en dimention 1
Soit I un intervalle de , born ou non. Et soient m N tels que m 2 et p
[1,+].
Dnition 4.1.1. On appelle espace de Sobolev dordre m et dexposant p len-
semble des fonctions de L
p
(I ) telles que leurs drives au sens de distributions
dordre 1,2,...,m appartiennent L
p
(I ). On note cet espace W
m,p
(I ). Et on le d-
nit par :
W
m,p
(I ) =
_
u L
p
(I )|g
1
,..g
m
L
p
(I )t .q.
_
I
uD
j
=(1)
j
_
I
g
j
,j =1,..,mD(I )
_
O D
j
=

j

x
j
, et on note g
j
=D
j
u j =1,2,..,m.
Une fonction u appartient W
m,p
(I ) si toutes ses drives jusqu lordre m
y appartiennent aussi. Plus pcisment, u W
m,p
(I ) si et seulement sil existe m
fonctions :g
1
...g
m
L
p
(I ) telle que
_
I
uD
j
=(1)
j
_
I
g
j
D(I ), j =1,2...m
Ainsi on a
W
m,p
(I ) =
_
u W
m1,p
(I ),u
/
W
m1,p
(I )
_
46
4.1. LES ESPACES DE SOBOLEV ENDIMENTION1 AABIDA Mbarek
et on le munit de norme
||u||
W
m,p
(I )
=

nm
||u
(n)
||
L
p
(I )
si 1p <+
Et
||u||
W
m,
(I )
=max
nm
||u
(n)
||
L

si p =+
Si p=2 , on note H
m
(I ) =W
m,2
(I ) et on prend pour la norme
||u||
H
m
(I )
=
_
nm
||u
(n)
||
2
L
p
(I )
_
1/2
qui est associe au produit hermitien :
<u,v >
H
m
=

nm
_
I
u
(n)
(x)v
(n)
(x)dx
Proposition 4.1.1. tant donns un entier m 2 et un rel 1 p , alors
lespace W
m,p
(I ) vrie :
(i) p [1,+], W
m,p
(I ) est un espace de Banach.
(ii) p ]1,+[, W
m,p
(I ) est un espace rexif.
(iii) p [1,+[, W
m,p
(I ) est un espace sparable.
Preuve
(i)
On a lapplication ||.||
W
m,p
(I )
est bien dnie une norme sur W
m,p
(I ), comme
somme nie des normes. Montrons maintenant que lespace (W
m,p
(I ),||.||
W
m,p
(I )
)
est complet.
Soit (u
n
)
n
W
m,p
(I ) une suite de Cauchy. Alors k m la suite (D
k
u
n
)
n
est de
Cauchy dans L
p
(I ), qui est complet pour la norme ||.||
L
p
(I )
.
Donc u, g
1
,..., g
m
L
p
(I ) telles que
u
n
u et D
k
u
n
g
k
k =1,2,...m. lorsque n +. Et on a D(I )
_
I
uD
k
= lim
n+
_
I
u
n
D
k
= lim
n+
(1)
k
_
I
D
k
u=(1)
k
_
I
g
k

Projet de n dtude SM6 47 Facult des sciences Agadir


4.1. LES ESPACES DE SOBOLEV ENDIMENTION1 AABIDA Mbarek
Do D
k
u =g
k
, pour tout k=1,2,...,m.
donc lespace W
m,p
(I ) est complet pour la norme ||.||
W
m,p
(I )
.
(ii)
Soit p ]1,+[
Soit loprateur
T : W
m,p
(I ) -u (u,D
1
u,..,D
m
u) (L
p
(I ))
m+1
On a T est une isomtrie, en effet :
||Tu||
(L
p
(I ))
m+1 =||(u,D
1
u,..,D
m
u)||
(L
p
(I ))
m+1 =||u||
L
p
(I )
+
m

k=1
||D
k
u||
L
p
(I )
=||u||
L
p
(I )
On pose

T: W
m,p
(I ) -u

Tu =Tu T(W
m,p
(I ))
Donc

T est une isomtrie surjective, alors cest unisomorphisme de W
m,p
(I ) dans
T(W
m,p
(I )). Or le sous espace T(W
m,p
(I )) est un ferm de (L
p
(I ))
m+1
, en effet :
Si (u
n
)
n
T(W
m,p
(I )) converge vers u, alors (x
n
)
n
W
m,p
(I ) telle que Tx
n
=
u
n
. Donc (x
n
)
n
converge vers x dans W
m,p
(I ) (puisquil est complet). Do
||u
n
u||
(L
p
(I ))
m+1 =||Tx
n
Tx||
(L
p
(I ))
m+1 =||T(x
n
x)||
(L
p
(I ))
m+1 =||x
n
x||
W
m,p
(I )
0
lorsque n +.
Alors T(W
m,p
(I )) est rexif. (car il est un sous espace ferm dans un espace de
Banach rexif ).
nalement W
m,p
(I ) est un espace rexif.(puisque

T est un isomorphisme de
W
m,p
(I ) dans T(W
m,p
(I ))).
(iii)
Or lespace (L
p
(I ))
m+1
est sparable, alors T(W
m,p
(I )) lest aussi comme un sous
ensemble dun espace mtrique sparable.
Do lespace W
m,p
(I ) est aussi sparable, car il est isomorphe T(W
m,p
(I )) qui
est sparable.
Thorme 4.1.1. (de densit)
Soit I un intervalle born de frontire lipschitzienne et soit p [1,[ alors :
Lensemble C

(I ) des restrictions des fonctions C

() I est dense dans W


m,p
(I )
pour tout m N.
Projet de n dtude SM6 48 Facult des sciences Agadir
4.2. LESPACE W
M,P
0
(I ) AABIDA Mbarek
4.2 Lespace W
m,p
0
(I )
Dnition 4.2.1. Soit m un entier 2 et p un rel tel que 1 p . On dnit
lespace W
m,p
0
(I ) comme tant la fermeture de D(I ) dans W
m,p
(I ).
Thorme 4.2.1.
W
m,p
0
(I ) =
_
u W
m,p
(I );u =0,D
1
u =0,..,D
m1
u =0 s ur I
_
Preuve

Soit u W
m,p
0
(I ). Il existe une suite (u
n
)
n
D(I ) telle que u
n
u dans W
m,p
(I )
quand n +.
Par le choix de reprsentant continu on peut supposer que u C(I ).Par cons-
quent ,on voit que la convergence est uniforme, et comme u
n
=0 sur I n N,
u=0 sur I .

Soit u W
m,p
(I ) telle que u=0 sur I . On xe une fonction
G(t ) =
_
0 si |t | 1
t si |t | 2
et
|G(t )| |t |,t .
On pose ensuite u
n
:=
1
n
G(nu). Ainsi u
n
W
m,p
(I ).
Dautre part
s upp(u
n
) |x I ,|u
n
(x)|
1
n
]
Par consquent s upp(u
n
) est un compact de I. En effet, il est born car u=0 sur
I et u(x) 0 quand |x| +,x I . Or u
n
W
m,p
0
(I ) (car elle est support
compact n N), alors on constate que u
n

n
u dans W
m,p
(I ) .
4.3 Les espaces de Sobolev en dimention N
4.3.1 Dnition et Proprites lmentaires
Soient
N
un ouvert, m un entier 2 , p un rel [1,+] et N
N
un
multi-indice.
Projet de n dtude SM6 49 Facult des sciences Agadir
4.3. LES ESPACES DE SOBOLEV ENDIMENTIONN AABIDA Mbarek
Dnition 4.3.1. On dnit lespace de Sobolev sur louvert par :
W
m,p
() =
_
u L
p
(),|| m,g

L
p
()t .q.
_
uD

=(1)
||
_
g

,D()
_
On peut aussi le dnir par la formule de rcurrence suivante :
W
m,p
() =
_
u W
m1,p
();
u
x
j
W
m1,p
(),j =1,2,...N
_
On note g

=D

. Il est vident que lespace W


0.p
() concide avec lespace de
Lebesgue L
p
().
4.3.2 Proprites lmentaires
Proposition 4.3.1. On munit lespace W
m,p
() par la norme ||.||
W
m,p
, telle que
||u||
W
m,p
=
_
0||m
||D

u||
L
p
si p <+
max
0||m
||D

u||
L

si p =+
qui lui donne une structure despace de Banach.
Preuve
Loprateur D

est linaire et comme lapplication ||.||


L
p
est une norme sur L
p
()
alors lapplication ||u||
W
m,p
dnie une norme sur W
m,p
().
Montrons que W
m,p
() est complet.
soit (u
n
)
n
une suite de Cauchy dans W
m,p
(). Alors (D

)
n
est une suite de Cau-
chy dans L
p
(), puor tout multi-indice avec 0|| m.
Et comme L
p
() est complet alors u,u

L
p
() telles que u
n
u et D

u
n
u

.
Or L
p
() L
1
l oc
() donc u
n
dtermine une distribution T
u
n
D
/
(), et ona :
D()
|T
u
n
()T
u
()|
_

|u
n
u|.|| ||||
q
.||u
n
u||
p
(Daprs lingalit de Hlder avec
1
p
+
1
q
=1)
Do
Tu
n
() Tu() D()
Projet de n dtude SM6 50 Facult des sciences Agadir
4.4. LESPACE H
M
() AABIDA Mbarek
De mme TD

u
n
() Tu

() D(). Et comme D()


Tu

() = lim
n+
TD

u
n
() = lim
n+
(1)
||
Tu
n
(D

) =(1)
||
Tu(D

)
Alors u

=D

, N
N
avec 0|| m. Donc
u W
m,p
() et |u
n
u| 0 quand n +
Finalement W
m,p
() est complet, donc lespace (W
m,p
(),||.||
W
m,p
) est un espace
de Banach.
Proposition 4.3.2. Etant doone m N et p [1+[
1. pour tout p ]1+[, W
m,p
() est rexif.
2. pour tout p [1+[, W
m,p
() est sparable.
4.4 Lespace H
m
()
Dnition 4.4.1. Un cas particulier de ces espaces de Sobolev est celui o p=2.
Soit m un entier positif . On note H
m
() lespace des fonctions u de L
2
() dont
toutes les drives dordre infrieur ou gal m appartenant L
2
().
Et on a m N
H
m
() =W
m,2
() =
_
u L
2
()t .q.D

u L
2
(),N
N
avec ,|| m
_
Par rapport aux espaces de Sobolev W
m,p
() les espaces H
m
() possdent une
proprit supplmentaire fort agrable : ce sont des espaces de Hilbert, pour le
produit scalaire :
<u,v >
m,
=

0||m
_

u.D

v
La norme associe est :
||u||
m,
=
_
0||m
_

|D

u|
2
_
1/2
Projet de n dtude SM6 51 Facult des sciences Agadir
4.5. LESPACE H
S
() AABIDA Mbarek
Thorme 4.4.1. (de Sobolev) Si est born de frontire rgulire c
1
par mor-
ceaux, alors toute fonctionv H
m+[N/2]+1
(), avec mN[N/2]=la partie entire
de n/2, concide p.p. dans avec une fonction de C
m
(), cest dire une fonc-
tion de C
m
() qui se prolonge continment sur C
m
() avec ses drives dordre
|| m, et
C >0v H
m+[N/2]+1
() sup
||m
sup
x
|

v| C||v||
m+[N/2]+1
de sorte linjection de H
m+[N/2]+1
() dans C
m
() est linaiire continue.
En particulier, pour N=1 il vient H
1
(]a,b[) C
0
([a,b]) et por N=2 il vient
H
2
() C
0
().
Thorme 4.4.2. (de Rellich) Soit born de frontire rgulire c
1
par mor-
ceaux. Si (v
j
)
j
est une suite borne dans H
m
(), on peut en extraire une sous-
suite (v
j
k
)
j
k
convergente dans H
m1
(), autrement dit linjection de H
m
() dans
H
m1
() est compacte.
4.5 Lespace H
s
()
Dnition 4.5.1. Plus gnralement, on utilise la transforme de Fourier pour
dnir lespace de Sobolev lorsque p=2.
Pour tout s on dnit
H
s
(
N
) =
_
u S
/
(
N
) t.q (t (1+|t |
2
)
s /2
u(t )) L
2
(
N
)
_
Proposition 4.5.1. Soit s
1. la forme sesquilinaire <u,v >
H
s
=
_

N
(1+|t |
2
)
s
u(t ) v(t )dt dnie un
produit scalaire sur H
s
(
N
)
2. Les normes ||.||
m,
et ||u||
H
m
sont quivalentes.
Thorme 4.5.1.
pour tout rel s lespace (H
s
(
N
),<u,v >
s
) est un espace de Hilbert
Projet de n dtude SM6 52 Facult des sciences Agadir
4.5. LESPACE H
S
() AABIDA Mbarek
Preuve
Comme la transforme de Fourier est linaire et comme L
2
(
N
) est unespace vec-
toriel, il est clair que H
s
(
N
) est unespace vectoriel. Montrons maintenant que la
forme <u,v >
s
dnie un produit scalaire. Tout dabord <u,v >
s
est bien d-
nie sur H
s
(
N
)H
s
(
N
) et y sesquilinaire continue. Dautre part si u H
s
(
N
)
telle que <u,v >
s
=0. Alors
_

N
(1+|t |
2
)
s
| u(t )|
2
=0. Donc(1+|t |
2
)
s
| u(t )|
2
=0 p.p
(car cest une fonction positive dont lintgrale est nulle). Alors u =0, donc u(t)=0
(puisque la ransforme de Fourier est inversible dans S
/
(
N
)). Do <u,v >
s
est
dnie un produit scalaire sur H
s
(
N
)H
s
(
N
). Il reste dmonrer que H
s
(
N
)
est complet.
Soit (u
k
)
k
H
s
(
N
) de Cauchy.
Alors
_

N
(1+|t |
2
)
s
| u
p
(t ) u
q
(t )|
2
dt
p,q+
0
On en dduit que la suite de fonctions
(t (1+|t |
2
)
s /2
u
k
(t ))
k
est aussi de Cauchy dans L
2
(
N
) qui est complet. Donc elle coverge vers
g L
2
(
N
), et ona g S
/
(
N
)
(car L
2
(
N
) S
/
(
N
)). Et comme lapplication
t (1+|t |
2
)
s /2
est croissace lente
alors (1+|t |
2
)
s /2
g (t ) est aussi dans S
/
(
N
)).Donc S
/
(
N
),telle que
u(t ) =(1+|t |
2
)
s /2
g (t )
donc u H
s
(
N
).
Ceci prouve bien que lespace H
s
(
N
) est complet pour la norme associe.
Proposition 4.5.2. tant donns un entier m et un rel s, alors
les normes |||u|||
H
m
e t ||u||
H
s
sont quivalentes
Projet de n dtude SM6 53 Facult des sciences Agadir
4.5. LESPACE H
S
() AABIDA Mbarek
Preuve Soit (m,s ) N, alors
|||u|||
H
m
=
_

0||m
||D

u||
2
L
2
et
||u||
H
s
=
_

0||m
_

|D

u|
2
Donc il existe une constante C >0 telle que t
N
C
1

0||m
|t |
2||
(1+|t |
2
)
m
C

0||m
|t |
2||
Comme la transforme de Fourier est, une constante prs , une isomtrie de
L
2
(
N
) sur lui mme , alors on a
D

u L
2
(
N
) t

u L
2
(
N
)
Donc, on en dduit que
u H
m
(
N
) N
N
tel que || m,D

u L
2
(
N
)
do on a lquivalence de ces deux normes.
Proposition 4.5.3. s
1
,s
2
, si s
1
s
2
, alors
H
s
1
(
N
) H
s
2
(
N
) avec une injetion continue
Preuve
si s
1
s
2
donc (1+|t |
2
)s
1
(1+|t |
2
)s
2
, t
N
.
Et on a ||.||
s
1
||.||
s
2
.
Proposition 4.5.4. tant donn un rel s, alors on a
H
s
(
N
) est isomtriquement isomorphe (H
s
(
N
))
/
O (H
s
(
N
))
/
est le dual topologique de H
s
(
N
).
Projet de n dtude SM6 54 Facult des sciences Agadir
4.5. LESPACE H
S
() AABIDA Mbarek
Preuve
soit lapplication
: H
s
(
N
) -(H
s
(
N
))
/
o est une forme linaire continue sur H
s
(
N
) dnie par
() =<,>
H
s
(
N
)
Daprs la reprsentation de Riesz, lapplication est un isomorhisme isom-
trique. Soit lapplication
T : H
s
(
N
) -(((1+|t |
2
)
s /2

))
1
H
s
(
N
)
Par dnition mme de H
s
(
N
) et de ||.||
H
s
(
N
)
, on a T est une application li-
naire, il est vident que T est un isomorphisme isomtrique . On pose

f
=
T
1
f
lapplication
f
est un isomorphisme de H
s
(
N
) dans (H
s
(
N
))
/
.
Thorme 4.5.2. (de Meyer-Serrin)
Soit un ouvert de
N
, alors on a m N
lespace C

()H
m
() est dense dans lespace H
m
()
Proposition 4.5.5. (s ,m) N, on a :
D(
N
) est dense dans H
s
(
N
)
Preuve
On a
D(
N
) S(
N
) H
s
(
N
)
avec les injections sont continues.
Or la premire injection tant de plus dense , alors il suft de montrer que S(
N
)
est dense dans H
s
(
N
).
Soit u H
s
(
N
), alors
(1+|t |
2
)
s /2
u(t ) L
2
(
N
)
Comme S(
N
) est dense dans L
2
(
N
), alors
(
n
)
n
H
s
(
N
) telle que
n

n
(1+|t |
2
)
s /2
u(t ) L
2
(
N
) dans L
2
(
N
)
Projet de n dtude SM6 55 Facult des sciences Agadir
4.6. INJECTIONS DE SOBOLEV AABIDA Mbarek
Soit

n
=(1+|t |
2
)
s /2

n
(t )
on a
n
est encore dans S(
N
) ( par dnition de S(
N
)).
Et comme la transforme de Fourier tant bijection bicontinue (elle est continue
de rcproque aussi continue) de S(
N
) dans lui mme. On peut donc choisir
(u
n
)
n
S(
N
) telle que u
n
=
n
on a alors
||u
n
u|| C||(1+|t |
2
)
s /2
u
n
u||
L
2 =||
n
(1+|t |
2
)
s /2
u||
L
2
n
0
Do
u
n
u dans H
s
(
N
)
Alors S(
N
) est dense dans H
s
(
N
).
Ce qui acheve preuve .
4.6 Injections de Sobolev
Dnition4.6.1. Soient (E,||.||
E
),(F,||.||
F
) deux espaces norms tels que E F, on
dit que (E,||.||
E
) sinjecte continuement dans (F,||.||
F
) sil existe une injection de E
dans F et tant continue ( C >0 , x E ona a ||x||
E
C||x||
F
). Et on note
(E,||.||
E
) (F,||.||
F
)
Les espaces de Sobolev W
m,p
() mlangent les notions de rgularit (rle de
m) et dintgrabilit (rle de p). On va voir quen ralit ces deux aspects sont lis,
et quen imposant sufsamment dintgrabilit aux drives au sens de distribu-
tions dune fonction, on peut obtenir de la rgularit. Les injections de Sobolev
font apparatre des conditions critiques et dlicates sur la rgularit de la fron-
tire de louvert sur lequel on travaille. Dans le cas de lespace tout entier on a des
injections continues mais jamais dinjections compactes.
Proposition 4.6.1. Soit s un rel strictement positif, alors on a
H
s
(
N
) L
2
(
N
) H
s
(
N
)
Proposition 4.6.2. Soit (s ,m) N
Si s m alors W
s ,p
() W
m,p
()
Si p q et born alors W
s ,q
() W
m,p
()
Projet de n dtude SM6 56 Facult des sciences Agadir
4.7. EXEMPLE DAPPLICATION AABIDA Mbarek
4.7 Exemple dapplication
Le problme de Dirichlet pour lquation de Poisson.
Revenons au problme initial : Soit un domaine de
N
de classe C
1
born et
de bord . Considrons le problme (1) de Dirichlet suivant
_
u = f , dans;
u =0, sur .
o f est donne sur et u : est linconnue. Une solution classique de (1) est
une solution u C
2
() vriant (1). Une solution faible de (1) est une fonction
u H
1
0
() vriant
v H
1
0
()
_

u.v =
_

f v
A) Toute solution classique est une solution faible. En effet,
u H
1
0
()C
1
()
et donc u H
1
0
() Dautre part, si v D(), on a
_

u.v =
_

f v
et cette galit reste vraie pour v H
1
0
() par densit.
B) Lexistence et lunicit de la solution faible. Cest le principe de Dirichlet. Pour
tout f L2(), il existe u H
1
0
() unique solution faible de. De plus u sobtient
par
1
2
_

||u||
2

f u = min
vH
1
0
()
_
1
2
_

||v||
2

f v
_
(2)
Cest une consquence directe du thorme de Lax-Milgram.
C) La solution faible est sufsamment rgulire.
D) Admettons que la solution faible u H
1
0
()de (2) appartienne C
2
() et sup-
posons que de classe C
1
. Alors u = 0 sur . Dautre part, on a
_

||uv|| =
_

uv, v D().
et donc lquation : u = f presque partout sur . En fait, on a alors galit
partout sur car u C
2
() et donc u est une solution classique.
Projet de n dtude SM6 57 Facult des sciences Agadir
4.8. EXERCICES AABIDA Mbarek
Thorme 4.7.1. (de Lax-Milgram) Nous considrons
V un espace de Hilbert rel.
une forme bilinaire continue sur V V et V-elliptique
(i .e : >0v V (v,v) ||v||
2
)
une fonctionnelle linaire continue sur V.
Alors il existe un et un seul u V vriant
v V (u,v) =(v)
Et lapplication u est linaire continue de V dans V .
Thorme 4.7.2. Nous considrons
V un espace de Hilbert rel et V
0
un sous-espace ferm de V, une forme bili-
naire et continue sur V V et V
0
e l l i pt i que , une fonctionnelle linaire
continue sur V , u
0
un lment de V. Alors il existe un et un seul u V solution
du problme
(P) trouver u u
0
+V
0
tel que v V
0
(u,v) =(v).
Preuve 4.7.1. Remarquons quew =u u
0
doit vrier
w V
0
e t v V
0
(u,v) =(v)(u
0
,v)
et w existe et est unique par le thorme de Lax-Milgram 1.7.1, do lexistence et
lunicit de la solution du problme (P).
4.8 Exercices
Exercice 4. Etant donn un ouvert de
N
.
1)
Soit lespace H
s
(
N
) Montrer que lapplication I est unisomorphisme de H
s +2
(
N
)
dans H
s
(
N
).
b) justier pourquoi D
k
(
N
) H
s
(
N
)k N.
c) prouver que H
s
(
N
) C
k
(
N
)s >k +
N
2
,k N.
d) Montrer que : H
s
(
N
) H
s 1
(
N
) et que si u H
s
(
N
) et D
k
(
N
),alors
uH
s
(
N
).
2)Soit un ouvert. On note
H
s
() =|u D
/
(),D();uH
s
(
N
)]
Projet de n dtude SM6 58 Facult des sciences Agadir
4.8. EXERCICES AABIDA Mbarek
Montrer que toute distribution est localements dans H
s
() ; ie : T D
/
(),
ouvert tel que , =(T,) tel que T H
s
(
N
).
3)Soit f D
/
() et u D
/
() une solution de -u = f au sens de D
/
(). On sup-
pose que f H
s
(
N
), avec un ouvert de tel que
a) Montrer que u H
r +2
().
b) En dduire que si f C

(), alors u C

().On dit que loprateur est


hypoliptique.
4.8.1 Solution
1) - On rappelle que
H
s
(
N
) =
_
u S
/
(
N
) t.q (t (1+|t |
2
)
s /2
u(t )) L
2
(
N
)
_
a) - Pour tout T S
/
(
N
), on a
(
x
j
T) =i t
j

T
puisque pour tout D()
(
x
j
T) , =
t
j
T , (4.1)
= T ,
t
j
(4.2)
= T , i (x) (4.3)
= i t
j

T , (4.4)
Donc
((I )T) =(1+|t |
2
)

T
et pour tout T S
/
(
N
) on a
T H
s +2
(
N
)
si et seulement si
(1+|t |
2
)
s /2+1

T L
2
(
N
)
si et seulement si
(1+|t |
2
)
s /2
((I )T) L
2
(
N
)
si et seulement si
(I )T H
s
(
N
)
Il est alors clair que lapplication
H
s +2
(
N
) -T :=
1
((1+|t |
2
)

T) H
s
(
N
)
Projet de n dtude SM6 59 Facult des sciences Agadir
4.8. EXERCICES AABIDA Mbarek
est un isomorphisme.
En particulier, si H
s
(
N
) alors
T :=
1
(

(1+|t |
2
)
) H
s +2
(
N
)
b) pour tout u C
k
c
(
N
), on a

u C
c
(
N
) L
2
(
N
) , || k.i
||
t

u =(

u) L
2
(
N
)
car est une isomtrie de L
2
(
N
).
En particulier,
(1+|x|
2
)
k/2
| u| C(1+|x
1
| +|x
2
| +... +|x
k
| )| u| L
2
(
N
)
et donc
u H
k
(
N
)
c) On rappelle que
H
s
(
N
) C
0
(
N
)
si s >
N
2
alors
u L
1
(
N
)
daprs lingalit de Cauchy- Schwarz et le fait que

1
: L
1
(
N
) C
0
(
N
))
Comme loprateur
j
est dnie de H
s +1
(
N
) valeurs dans H
s
(
N
) , cest juste
lingalit
|t |(1+|t |
2
)
k/2
C(1+|t |
2
)
(k+1)/2
on a

u C
0
(
N
) pour tout u H
s
(
N
) , || [s
N
2
]
O [.] dsigne la partie entire. Enn, on remarque que
(1+|t |
2
)
k/2
16
k/2
(1+|y |
2
)
k/2
(1+|t y |
2
)
k/2
t ,y
N
En effet por tout y
N
tel que |y | |t |/4 on a
(1+|y |
2
)(1+|t y |
2
) 1+|y |
2
(4.5)
1+|t |
2
/16 (4.6)
Projet de n dtude SM6 60 Facult des sciences Agadir
4.8. EXERCICES AABIDA Mbarek
et pour tout y
N
tel que |y | |t |/4 on a
(1+|y |
2
)(1+|t y |
2
) 1+|t y |
2
(4.7)
1+|t |
2
/2|y |
2
(4.8)
1+|t |
2
/16 (4.9)
on a utilis lingalit de Young.
Do
| <t ,y >

N | |t |
2
/4+|y |
2
Ainsi en notant
u=(1+|t |
2
)
k/2
u
et
=16
k/2
(1+|t |
2
)
k/2
u
on obtient
|(u)|(1+|t |
2
)
k/2
|u |(1+|t |
2
)
k/2
(4.10)
u (4.11)
et donc
||u||
H
k || u||
L
2 || u||
L
2||||
L
2 C
N
||u||
H
k+N+1||u||
H
k < (4.12)
2) Soit ouvert tel que Ome g a
D(
N
) tel que 1s ur
. Onalors T

/
()), et donc on peut considrer T

comme un lment de S
/
(
N
)
(en posant <T

,>=<T,>pour tout S(
N
). Par dnition dune distri-
bution, il existe m N, C >0 tels que
D(), s upp() s upp(), | <T, >| sup
||m
sup
x
|(

)(x)|.
On en dduit
S(
N
)| <T,>| C||||
W
m,
C||||
H
s C||||
H
s
Projet de n dtude SM6 61 Facult des sciences Agadir
4.8. EXERCICES AABIDA Mbarek
o on a pos -s := m + N/2 + 1. Par ailleurs, (T) C

C1pui sque T
(
N
). Ainsi, pour tout D(
N
) et une suite (
m
) dapproximation de liden-
tit
_

N
(1+|t |
2
)
s
(T)dt = lim
m+
_

N
(1+|t |
2
)
s
((T)
m
)dt (4.13)
= lim
m+
_

N
(T)
m
((1+|x|
2
)
s
)dt(4.14)
= <T,((1+|x|
2
)
s
) > (4.15)
C||((1+|x|
2
)
s
||
s
H
=C||||
L
2 (4.16)
Projet de n dtude SM6 62 Facult des sciences Agadir

You might also like