2 Espaces Sobolev
2 Espaces Sobolev
2 Espaces Sobolev
Espace de Sobolev H 1 ( )
On appelle espace de Sobolev d’ordre un sur l’ouvert ; et que l’on note
par H 1 ( ) l’ensemble des fonctions de L2 ( ) ayant des dérivées au sens des
distributions dans L2 ( ):
En d’autre terme
@u
H 1( ) = u; u 2 L2 ( ); 2 L2 ( ); i = 1; :::::; n ;
@xi
@u
où les dérivée ; i = 1; 2; ::; n sont prises au sens des distributions.
@xi
Il est clair que H 1 ( ) est un espace vectoriel euclidien muni du produit
scalaire
Z n Z
X @u @v
hu; viH 1 ( ) = u(x)v(x)dx + dx;
@xi @xi
i=1
et dont la norme est dé…nie par
1 Z n Z
!1
2
X @u 2 2
kukH 1 ( ) = hu; uiH 1 ( ) = juj2 dx + dx
@xi
i=1
Exemple 1
Si est un intervalle ouvert borné de R; toute fonction continue sur
et à dérivées continues par morceau sur appartient à H 1 ( ):
Remarque 1
Les fonctions à dérivées non continues sur ne sont pas nécessairement
dans H 1 ( ):
Exemple 2
Soit un ouvert de R; contenant l’intervalle [a; b] et soit u la fonction
indicatrice dé…nie par
u(x) = 1]a;b[ (x);
c’est à dire
1 si x 2]a; b[
u(x) =
0 si x 2]a;
= b[
1
= H 1 ( ):
alors la fonction u 2
En e¤et, prenons = ]c; d[ ; avec c < a et b < d: D’où [a; b] ]c; d[ :
La fonction u 2 L2 ( ) car, on a
Z d Z a Z b Z d
ju(x)j2 dx = ju(x)j2 dx + ju(x)j2 dx + ju(x)j2 dx
c c a b
Z b
= 0+ 1dx + 0 = b a < 1:
a
u0D0 = 0 + 1: a 1: b = a b = L2 ( ):
2
du
D’où la fonction dérivée au sens des distributions n’appartient pas à
dx
L2 ( ); ce qui implique
= H 1 ( ) = H 1 (]c; d[):
u2
Théorème
L’espace H 1 ( ) est un espace de Hilbert pour son produit scalaire.
Démonstration
Soit un une suite de Cauchy dans H 1 ( ); c’est à dire
En d’autre terme
n
X 2
@up @uq
kup uq k2H 1 ( ) = kup uq k2L2 ( )+ <
@xi @xi L2 ( )
i=1
@un
D’où les suites un et sont de Cauchy dans L2 ( ); qui est un espace
@xi
complet, il en résulte l’existence d’une fonction u de L2 ( ) limite dans
2
L2 ( ) de la suite un et une fonction vi de L2 ( ) limite dans L2 ( ) de la
@un
suite
@xi
@un
lim un = u et lim = vi ; dans l’espace L2 ( ):
n!1 n!1 @xi
L2 ( ) ,! D0 ( );
@un
assure la convergence de la suite un vers u ainsi que la dérivée vers vi
@xi
dans D0 ( ):
L’opérateur de dérivation étant continu dans D0 ( ); alors
@un @'
lim ;' = lim un ;
n!1 @xi n!1 @xi
@'
= lim un ;
n!1 @xi
@'
= u;
@xi
@u
= ; ' ; 8' 2 D( ):
@xi
D’où, on obtient
@un @u
! = vi dans D0 ( );
@xi @xi
et en vertu de l’unicité de la limite dans l’espace D0 ( ); on a
@u
= vi 2 L2 ( ):
@xi
D’où la convergence de un vers u dans H 1 ( ):
Lemme 1
Soit E un espace de Hilbert séparable et soit F un sous espace fermé de
E alors, on a, la séparabilité de E entraîne celle de F:
En e¤et, si (en ) est une suite dense dans E; la suite (fn ); où fn est la
projection de en sur F; est dense dans F:
3
Lemme 2
Le produit de deux espaces séparables est un espace séparable.
En e¤et, soient E et F deux espces séparables alors, si (en ) est une suite
dense dans E; et (fn ) suite dense dans F la suite produit (en fn ) est dense
dans E F:
Théorème
L’espace H 1 ( ) est un espace séparable. C’est à dire, il existe une partie
dénombrable dense dans H 1 ( ):
:
Démonstration
Soit J une application dé…nie sur H 1 ( ) dans (L2 ( ))n+1 par
H 1 ( ) ! (L2 ( ))n+1
@u @u
u 7! J(u) = (u; ; ::::::; ):
@x1 @xn
n
!1
X @u 2 2
kJ(u)k(L2 ( )) n+1 = kuk2L2 ( ) + = kukH 1 ( ):
@xi L2 ( )
i=1
Proposition
Si est un ouvert borné de Rn ; l’espace D( ) n’est pas dense dans
1
H ( ):
Démonstration
Il est connu qu’un sous espace M d’un espace de Hilbert H est dense
dans H si son orthogonal est réduit au sous espace nul. Autrement dit
M =H si et seulement si M ? = f0g:
4
Dans notre cas, D( ) est un sous espace de H 1 ( ); on doit démontrer
la relation suivante
D( )? 6= f0g:
Soit u un élément de D( )? alors, on a
u 2 D( )? , hu; viH 1 ( ) = 0; 8 v 2 D( );
D’où
Z n
!
X @ 2 u(x)
u(x) :v(x)dx = h u + u; vi ; 8 v 2 D( ):
i=1
@x2i
ou encore
u + u = 0; 8v 2 D( ):
Cette équation admet des solutions di¤érentes de la solution triviale si
le domaine est borné. C’est à dire, il existe une fonction u 2 H 1 ( )
solution du problème u + u = 0, avec u 6= 0 et borné.
En particulier, si = ]a; b[ alors l’équation devient
Z
u(x) u00 (x) :v(x)dx = u00 + u; v ; 8 v 2 D(]a; b[)
ou encore
u00 + u = 0;
cette équation admet une solution de la forme
x
u = c1 e + c2 ex ; avec c1 ; c2 2 R:
5
Espace de Sobolev H01 ( )
La fermeture de D( ) dans H 1 ( ) est un sous espace de H 1 ( ) noté
H01 ( )
Proposition
Pour toute fonction u(x) 2 H01 ( ); le prolongement de u(x) par 0 en
dehors de est un élément de H 1 (Rn ). C’est à dire
u(x) si x 2
8u(x) 2 H01 ( ); on a u
e(x) = ;
0 si x 2
=
e(x) 2 H 1 (Rn ):
avec la fonction u
Remarque 2
Pour toute fonction u(x) 2 H01 ( ); le prolongement de u(x) par 0 en
dehors de n’est pas toujours un élément de H 1 (Rn ): C’est à dire
u(x) si x 2
9u(x) 2 H 1 ( ); telle que u
e(x) = ;
0 si x 2
=
= H 1 (Rn ):
e(x) 2
avec la fonction u
Exemple 3
Soit un ensemble borné inclus dans Rn et soit u(x) la fonction qui vaut
e(x)dé…nie par
1 sur l’ensemble ; alors la fonction u
1 si x 2
e(x) =
u ;
0 si x 2
=
1 si x 2 ] 1; 1[
e(x) =
u ;
0 si x 2
= ] 1; 1[
de
u
= 1 1 = L2 (R):
2
dx
6
D’où le résultat voulu
= H 1 ( ):
e(x) 2
u
Théorème
L’espace D(Rn ) est dense dans l’espace H 1 (Rn ):
Démonstration
La preuve de ce théorème se fait en deux étapes
Troncature
Régularisation
Approcher toute fonction de Hc1 (Rn ) à support compact par une fonction
de l’espace D(Rn ): C’est à dire
7
Montrons la densité de Hc1 (Rn ) dans H 1 (Rn ): C’est à dire
ainssi que
@MR v @v
lim = 0:
R!1 @xi @xi L2 (Rn )
Notons que les éléments de la suite MR v 2 Hc1 (Rn ) sont à support com-
pact. Alors, on a d’une part,
Z
kMR v vk2L2 (Rn ) = jMR v vj2 dx
n
ZR
= j(MR 1) vj2 dx
n
ZR Z
2
= j(MR 1) vj dx + j(MR 1) vj2 dx
jxj<R jxj R
Z
= j(MR 1) vj2 dx
jxj R
Z
v 2 dx:
jxj R
D’où, on obtient
Z
lim kMR v vk2L2 (Rn ) lim v 2 dx = 0:
R!+1 R!+1 jxj R
1 sur fx 2 Rn ; jxj Rg
1R (x) = ;
0 ailleurs
8
avec la relation suivante
fR (x) 2 L1 (Rn );
jfR j v 2 2 L1 (Rn );
Z Z
2
lim v (x)dx = lim 1R (x)v 2 (x)dx
R!+1 jxj R R!+1 Rn
Z
= lim fR (x)dx
R!+1 Rn
Z
= lim fR (x)dx = 0:
Rn R!+1
@MR v @MR @v
= v + MR
@xi @xi @xi
avec
@MR 1 @M x
(x) = ( );
@xi R @xi R
ou encore
@MR
lim sup (x) = 0:
R!1x2Rn @xi
D’où
@ @MR @v
lim (MR v) = lim v + MR ;
R!1 @xi R!1 @xi @xi
@v
= lim MR ;
R!1 @xi
@v
= ; dans L2 ( ):
@xi
9
2 Deuxième étape, la régularisation
Z
vh (x) = v(y) h (x y)dy
n
ZR
= v(x y) h (y)dy:
Rn
il est simple de voir que la suite vh (x) converge vers v(x) pour la topologie
de H 1 (Rn ); voir que
Z Z 2
2
jvh (x) v(x)j = h (x y)v(y)dy v(x) h (x y)dy
jx yj<h jx yj<h
Z Z 2
= h (x y)v(y)dy h (x y)v(x)dy
jx yj<h jx yj<h
Z 2
= h (x y) (v(y) v(x)) dy
jx yj<h
Z Z
2
h (x y)dy jv(y) v(x)j2 dy
jx yj<h jx yj<h
Z
C
jv(y) v(x)j2 dy:
hn jx yj<h
10
D’après le théorème de Fubini
Z
2
kvh vkL2 (Rn ) = jvh (x) v(x)j2 dx
n
RZ Z
C
dx jv(y) v(x)j2 dy
hn Rn jx yj<h
Z Z
C
= dy jv(y) v(x)j2 dx:
hn jx yj<h Rn
n
!1
X @v 2
8v 2 H01 ( ); kvkL2 ( ) c( )
@xi L2 ( )
i=1
Démonstration
On utilise la densité de D( ) dans H01 ( ); et on démontre que l’inégalité
est vraie pour tout v 2 D( ); étant borné, on peut supposer que est
contenu dans la bande a xn b; en posant, pour tout x 2 ;
0 0
x = (x ; xn ); x = (x1 ; :::::; xn 1 ); avec a xn b:
Soit v 2 D( ); on dé…nit la fonction ve par
v (x) si x 2
ve(x) = ;
0 si x 2
=
11
alors, on a Z xn
0 @e
v 0
ve(x ; xn ) = (x ; t)dt;
a @t
ou encore
Z xn 2
0 2 @ev 0
ve(x ; xn ) = (x ; t)dt
a @t
Z xn Z xn 2
2 @e
v 0
1 dt (x ; t) dt;
a a @t
ce qui implique
Z +1 2
0 2 @e
v 0
ve(x ; xn ) (xn a) (x ; t) dt:
1 @t
Z bZ Z +1 Z
0 2 0 0 2 0
ve(x ; xn ) dx dxn = ve(x ; xn ) dx dxn :
a Rn 1 1 Rn 1
D’où, il vient
Z Z b Z 2
0 2 0 @e
v 0
ve(x ; xn ) dx (xn a)dxn (x ; t) dx ;
Rn a Rn @t
ce qui donne par la suite
2
(b a)2 @e
v
v k2L2 (Rn )
ke ;
2 @xn L2 (Rn )
ou encore
2
(b a)2 @v
kvk2L2 ( ) :
2 @xn L2 ( )
12
Par passage à la limite et en utilisant la densité de D( ) dans H01 ( );
on aura le résultat pour tout v 2 H01 ( ):
Corollaire
Soit est un ouvert borné de Rn ; alors la semi-norme
n
!1
X @v 2 2
jvj1; =
@xi L2 ( )
i=1
est une norme sur H01 ( ) équivalente à la norme induite par celle de H01 ( )
dans H 1 ( ):
Démonstration
Montrons que
n
!1
X @v 2 2
jvj1; = ;
@xi L2 ( )
i=1
n
!
X @v 2
jvj1; = 0 ) =0
@xi L2 ( )
i=1
@v
) = 0; 8 i = 1; ::::; n;
@xi L2 ( )
n
!1
X @v 2 2
kvkL2 ( ) c( ) :
@xn L2 ( )
i=1
D’où
kvkL2 ( ) = 0 ) v = 0:
Montrons qu’il existe deux constantes c1 et c2 telles que,
En e¤et,
13
n
X 2
@v
jvj21; =
@xi L2 ( )
i=1
X n 2
@v
kvk2L2 ( )+
@xi L2 ( )
i=1
= kvk2H 1 ( ):
D’où
jvj21; kvkH 1 ( ):
Réciproquement,
n
X 2
@v
kvk2H 1 ( ) = kvk2L2 ( )+
@xi L2 ( )
i=1
n
! n
X @v 2 X @v 2
c( ) +
@xn L2 ( ) @xi L2 ( )
i=1 i=1
n
!
X @v 2
(c( ) + 1)
@xn L2 ( )
i=1
C( ) jvj21; ; avec C( ) = c( ) + 1:
Exemple 4
14
De plus, 8' 2 D( ); on a
Z a
0 0
f ;' = f; ' = jxj '0 dx
a
Z 0 Z a
f 0; ' = + x'0 dx x'0 dx
a 0
Z 0 Z a
0
= [x'] a '(x)dx [x']a0 + '(x)dx
a 0
Z 0 Z a
= 0 '(x)dx 0+ '(x)dx = hg; 'i ;
a 0
1 si x > 0
g(x) = sgn(x) = :
1 si x < 0
15
Bibliographie
16