§2.

Introduction générale sur les espaces de 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

La fonction u est continue, dérivable au sens usuel sauf aux points a et

b; où elle admet une discontinuité de première espèce, alors
n
X
u0D0 = u0 usuel
+ [u(ai + 0) u(ai 0)] ai
i=1

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

8 > 0; 9 N 2 N tel que 8 p; q > N; on a kup uq kH 1 ( ) < :

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

L’injection de l’espace L2 ( ) dans l’espace D0 ( )

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

Il est à remarquer que la norme kJ(u)k(L2 ( ))n+1 de J(u) dans l’espace

n+1
(L2 ( )) est identique à celle kukH 1 ( ) de u; dans l’espace H 1 ( ):
En e¤et,

n
!1
X @u 2 2
kJ(u)k(L2 ( )) n+1 = kuk2L2 ( ) + = kukH 1 ( ):
@xi L2 ( )
i=1

L’application J est une isométrie de H 1 ( ) dans (L2 ( ))n+1 : D’où

l’espace H 1 ( ) est identi…able à l’espace J(H 1 ( )) qui est un sous espace
fermé dans (L2 ( ))n+1 :
L’espace (L2 ( ))n+1 étant séparable car L2 ( ) l’est, alors H 1 ( ) est
séparable.

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( );

l’expression du produit scalaire nous donne

n
X
@u @v
hu; viH 1 ( ) = hu; viL2 ( ;)+
@xi @xi L2 ( )
i=1
Z Xn Z
@u(x) @v(x)
= u(x)v(x)dx + dx
@xi @xi
i=1
Z Xn Z
@ 2 u(x)
= u(x)v(x)dx v(x)dx:
i=1
@x2i

D’où
Z n
!
X @ 2 u(x)
u(x) :v(x)dx = h u + u; vi ; 8 v 2 D( ):
i=1
@x2i

ce qui implique que la relation d’orthogonalité nous mène à la relation

hu; viH 1 ( ) =0)h u + u; vi = 0

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
=

n’est pas un élément de H 1 (Rn ); voir que u = H 1 (Rn ):

e(x) 2
En e¤et, prenons = ] 1; 1[ ; soit u(x) la fonction qui vaut 1 sur
e(x) par
l’ensemble ] 1; 1[ alors, on dé…nit la fonction u

1 si x 2 ] 1; 1[
e(x) =
u ;
0 si x 2
= ] 1; 1[

il aisé de voir que la fonction u(x) 2 H 1 ( ); par contre la fonction u

e(x) 2
=
deu
H 1 ( ) car, on a u e(x) 2 L2 (R) et sa dérivée n’est pas dans L2 (R):
dx
Autrement dit

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

Approcher toute fonction de H 1 (Rn ) par une fonction de même espace

H 1 (Rn )
mais à support compact. Notons cet espace par Hc1 (Rn ): C’est à
dire
Hc1 (Rn ) = H 1 (Rn )

Régularisation

Approcher toute fonction de Hc1 (Rn ) à support compact par une fonction
de l’espace D(Rn ): C’est à dire

D(Rn ) = Hc1 (Rn )

1 Première étape, la troncature

On introduit la fonction M 2 D(Rn ) véri…ant

8
< 1 si jxj < 1
M (x) = 0 M (x) 1 si 1 jxj 2
:
0 si jxj > 2
Dé…nissons la fonction MR (x) par
x
MR (x) = M ( );
R
où R est un réel positif,
x x1 xn
= ( ; ::::; ); MR 2 D(Rn ):
R R R

7
 Montrons la densité de Hc1 (Rn ) dans H 1 (Rn ): C’est à dire

Hc1 (Rn ) = H 1 (Rn ):

Soit la donnée d’une fonction v 2 H 1 (Rn ); on dé…nit la suite MR v 2

Hc1 (Rn )et on démontre que cette suite converge vers v dans H 1 (Rn ): En
d’autres termes, il faut monter que

lim kMR v vkL2 (Rn ) = 0;

R!1

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

En e¤et, soit 1R (x) la fonction indicatrice dé…nie par

1 sur fx 2 Rn ; jxj Rg
1R (x) = ;
0 ailleurs

et soit fR (x) la suite de fonction dé…nie par

fR (x) = 1R (x)v 2 (x);

8
 avec la relation suivante

lim fR (x) = lim 1R (x)v 2 (x) = 0;

R!+1 R!+1

alors, il est aisé de remarquer que l’on a

fR (x) 2 L1 (Rn );

jfR j v 2 2 L1 (Rn );

lim fR (x) = 0; lorsque R tend vers+1:

R!+1

D’après le théorème de la convergence dominée, on a

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

Ce qui prouve la convergence de la suite MR v vers la fonction v dans

l’espace L2 (Rn ). D’autre part, on a

@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

Il su¢ t de démontrer que 8 v 2 Hc1 (Rn ) à support compact, il existe une

suite vh 2 D(Rn ) telle que lim vh = v dans H 1 (Rn ):
h!0
On considère la fonction (x) 2 D(Rn ) véri…ant
8
< (x) 0; si jxj < 1
(x) = 0; si jxj 1
: R
Rn (x)dx = 1

Pour tout h > 0; on dé…nit la suite régularisante h par

1 x
h (x) = ( ); h 2 D(Rn );
hn h
et la suite régularisée vh de la fonction v donnée par vh = h v;

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

Soit " > 0; il existe > 0 tel que

jx yj h implique jv(y) v(x)j ":
D’où pour les valeurs de h < ; on a
C n
kvh vkL2 (Rn ) h " = ":
hn
@vh
La même démonstration pour la convergence de la dérivée vers la
@xj
@v
fonction : En e¤et car, on a
@xj
@vh @v @
= h = h v:
@xj @xj @xj

Théorème (Inégalité de Poincaré)

Soit est un ouvert borné de Rn ; il existe une constante c = c( ) > 0
telle que

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

D’où, par intégration des deux membres par rapport à x0 ; on obtient

Z Z 2
0 2 0 @e
v 0
ve(x ; xn ) dx (xn a) (x ; t) dx:
Rn 1 Rn @t

Intégrons les deux membres par rapport à xn ; on écrit

Z bZ Z b Z 2
0 2 0 @e
v 0
ve(x ; xn ) dx dxn (xn a)dxn (x ; t) dx :
a Rn 1 a Rn @t

Notons que l’on a

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

représente une norme sur H01 ( ):

n
!
X @v 2
jvj1; = 0 ) =0
@xi L2 ( )
i=1
@v
) = 0; 8 i = 1; ::::; n;
@xi L2 ( )

il vient, pour tout v 2 H01 ( ); on a

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,

c1 jvj1; kvkH 1 ( ) c2 jvj1; :

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:

D’où l’équivalence des normes

kvk2H 1 ( ) C( ) jvj21; ; avec c1 = 1 et c2 = C( ):

Exemple 4

Soit = ] a; a[ ; un ouvert de R avec a > 0; alors la fonction f (x) = jxj

appartient à l’espace H 1 ( ):
Il est clair que la fonction f 2 L2 ( ) car
Z a
a3
kf (x)k2L2 ( ) = jxj2 dx = 2 +1:
a 3

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

où la fonction g(x) est donnée par

1 si x > 0
g(x) = sgn(x) = :
1 si x < 0

D’où f 0 (x) = g(x); avec f 0 (x) 2 L2 ( ) ce qui nous donne le résultat

voulu, f 2 H 1 ( ):

15
 Bibliographie

[1] V. MIKHAILOV. Equations aux dérivées partielles. Editions Mir

1980.
[2] M. NADIR. Cours d’analyse fonctionnelle, université de Msila Al-
gérie 2004.
[3] P.A. RAVIART, J.M. THOMAS. Introduction à l’Analyse Numérque
l’Analyse des équations aux dérivées partielles. MAsSSON 1988.
[4] VO-KHAC KHOAN. Distributions Analyse de Fourier Opérateurs
aux dérivées partielles. tome1. Vuibert 1972.

16