Vous êtes sur la page 1sur 43

Remerciement

Au terme de ce travail, jexprime mon profond respect ` a mon professeur et le directeur de


projet M. Youssef AKDIM. pour sa bienveillance et lint er et quil a exprim e pour ce travail.
Je t emoigne aussi ma profonde gratitude ` a mon professeur M. El Houssen AZROUL Le chef
de Master, et tous les professeurs de notre Master.
Je tiens encore ` a remercier M.Taha qui ma permis de bien mettre en terme ce travail, gr ace
` a ces aides et ces conseils.
Un grand merci, ` a toutes les personnes qui ont contribu e de pr es ou de loin ` a la r ealisation
de ce travail, et ` a tous les personnels de la facult e de science de Dhar-Mahraz,
1
Table des mati` eres
Remerciements 1
Table des mati` eres 2
1 Espaces de Lebesge et de Sobolev ` a exposant variable 6
1.1 Rappelle sur lespace topologique : . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2 Espace de Lebesge ` a exposant variable : . . . . . . . . . . . . . . . . . . . . . 7
1.2.1 In egalit e de Young et H older . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.2 La convergence dans lespace de Lebesgue . . . . . . . . . . . . . . . 12
1.3 Espace de Sobolev ` a exposant variable . . . . . . . . . . . . . . . . . . . . . 13
1.3.1 Espace W
1,p(x)
0
() : . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4 Espace de Sobolov ` a exposant variable anisotropique . . . . . . . . . . . . . . 14
1.5 Espace de Marinkiewicz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2 Etude du probl` eme non lin eaire elliptique anisotropique ` a second membre L

18
2.1 Formulation du probl` eme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2 Existence de la solution faible energie . . . . . . . . . . . . . . . . . . . . . . 19
2
3 TABLE DES MATI
`
ERES
2.3 D emonstration de lExistence . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.4 D emonstration de lunicit e . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.5 Extension au probl` eme anisotropique plus g en eral . . . . . . . . . . . . . . . . 27
3 Etude du probleme non lin eaire elliptique anisotropique ` a second membre L
1
29
3.1 Formulation du probl` eme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.2 Existence et lunicit e de la solution entropique : . . . . . . . . . . . . . . . . . 30
3.3 Estimation ` a priori . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.4 Lunicit e de la solution entropique : . . . . . . . . . . . . . . . . . . . . . . . 34
3.5 Existence de la solution entropique . . . . . . . . . . . . . . . . . . . . . . . 37
M emoire de n d etude Ould Mohamed Lemine AHMED
Introduction
Lobjectif de ce travail est d etude de certaines probl` emes elliptiques non lin eaires
anisotropiques dans le cadre des espaces de Sobolev ` a exposant variables. On sint eresse aux
r esultats lexistence et lunicit e de la solution faible energie dans le cas o` u le second membre
L

(), et de la solution entropique dans le cas o` u le second membre L


1
(). Plus pr ecis ement
on consid` ere le probl` eme suivant :
(P)
_

i=1

x
i
a
i
(x,
u
x
i
) = f, dans
u = 0, sur
O` u est un ouvert dans R
N
, a
i
est une fonction de Carath eodory v erient certain condition. Les
probl` emes anisotropique intervient dans plusieurs domaines, ils fournissent es mod` eles r ealistes
pour l etude de ph enom` enes naturles, par exemples qans la m ecaniques des uides et la bioligie
voir [13,14,22] . Dans le cas des equations elliptique isotropique avec p
i
= 2 i = 1, ..., N
l existence et lunicit e de la solution et e etudi e par Br ezis dans [3] dans le cas de p
L
aplacien
.
p
ou trouve les travaux. Pour traiter le probl` eme (P), on a besoin de quelque propri et es de base
concernant les espaces de Lebesgue et Sobolev g en eralis e, soigneusement etudi es par Musielak
[17], Edmunds [7,8,9], Kovacik et Rakosnik [12], Diening [5,6].
Lint er et de ces espaces provient essentiellement du fait quils mod elisent divers ph enom` enes
physique comme les uides electro-rh eologiques,la restauration dimage. La premi` ere d ecouverte
majeure dans les uides electro-rh eologiques est due ` a Willis Winslow dans 1949. Ces uides
4
5 TABLE DES MATI
`
ERES
ont une propri et e int eressante et leur viscosit e d epend de la champ electrique dans le uide.
Pour certaines techniques dapplications, on peut consultez Pfeiffer [18] dans les quel les uides
electro-rh eologiques ont et e utilis es dans robotique et dautres technologies spatiales. La re-
cherche exp erimentale a et e effectu ee principalement aux USA, par exemple dans les labora-
toires NASA . Pour plus dinformations sur les propri et es, nous nous r ef erons ` a Diening [5],
Rajagopal et Ruzicka [17], et Ruzicka [19]. Dans ce m emoire lop erateur etudi e est un cas plus
g en eral que lop erateur p-Laplacien . Cela nous am` ene ` a chercher des solutions faible et en-
tropique pour les probl` emes anisotropiques de type (P) dans un espace de Sobolev ` a exposant
variable, ces espaces ont et e introduit pour la premi` ere fois par Mihailescu et al [18]. ce m emoire
divis ee en trois chapitre comme suit :
* Dans le chapitre I, on pr esente dabord les d enition et les propri et es des espaces de Lebesgue
et Sobolev ` a exposants variables. Ces espaces ne sont pas sufsant pour etudier les probl` emes
elliptiques non lin eaires anisotropiques de type (P), pour cella on introduit des espaces de So-
bolev ` a exposants variables anisotropique . Et on termine ce chapitre par quelques d enitions et
propri et es des espaces de Marcinkiewicz.
* Tout au long du chapitre II, on cite la d enition de la solution faible du probl` eme (P) avec
second membre dans L

() et on donne le th eor` eme dexistence et dunicit e de la solution


faible d energie et quelques propri et e principal . Pour ce la on d enie la fonctionnelle
J(u) =
_

i=1
A
i
(x,
u
x
i
)dx
_

fudx
et on etablir des propri et e de cette fonctionnelle : la coercivit e, la semi-continuit e de la fonction-
nelle, ce que nous permet de d eduire que loperateur admet un minimisant, donc le probl` eme
admet une solution faible d energie.
* Dans le troix eme chapitre, on sint eresse aux r esultats dexistence dune solution entropique
du probl` eme (P) qans le cas o` u second membre f L
1
(), Pour montr e lexistence de solu-
tions entropiques de (P), on d enit dabord le probl` eme approch e (P
n
) avec f
n
L

() et
ff
n
fdans L
1
, et on retrouve lexistence de la solution faible du probl` eme approche gr ace
au r esulta obtenu au chapitre II. En suite on montre que u
n
converge vers u qui est solution
entropique de probl` eme (P).
M emoire de n d etude Ould Mohamed Lemine AHMED
CHAPITRE 1
ESPACES DE LEBESGE ET DE
SOBOLEV
`
A EXPOSANT VARIABLE
1.1 Rappelle sur lespace topologique :
Dans cette section on donne un petit rappell sur lespace topologique.
D enition 1.1.1 Soit X un espace topologique s epar e :
une fonctionnelle : X R est dite semi-continue inf erieurement si :
a R l

ensemblex X/(x) > a etouvert


Th eor` eme 1.1.1 Soit X un espace topologique compact et : X R une fonctionnelle
semi-continue inf erieurement alors :
(i) est born ee inf erieurement (minor ee de X).
(ii) Linniment de est attient au point x
0
X.
Preuve :
(i) Comme est semi-continue inf erieurement donc : O
n
= x X/(x) > nn N est
6
7 Chapitre 1. Espaces de Lebesge et de Sobolev ` a exposant variable
ouvert de X , on construit un recouvrement ouvert de X telle que :
X =
n
0
_
j=1
O
n
j
donc (x) > n
0
, x X
(ii) On pose c = inf > car et minor ee
supposons que c nest pas attient x
0
/c = (x
0
)
X =

_
n=1
x X/(x) > c +
1
n

dapr` es la compacit e de X n
1
N telle que :
X =
n
1
_
n=1
x X/(x) > c +
1
n

(x) > c +
1
n
1
x X(absurd)

Th eor` eme 1.1.2 Soit X un espace de Banach , r eexif et : X R v eriant :


(i) est faiblement semi-continue inf erieurement .
(ii) est co ercive .
Alors attient son min sur X (i.e) :
x
0
X x
0
= inf
xX
(x)
1.2 Espace de Lebesge ` a exposant variable :
Soit un ouvert de R
N
muni de la mesure de Lebesgue .
On pose
T() = p : [1, ); mesurable
C
+
() = p(.) C(); min
x
p(x) > 1.
M emoire de n d etude Ould Mohamed Lemine AHMED
8 Chapitre 1. Espaces de Lebesge et de Sobolev ` a exposant variable
et
p

= min
x
p(x), p
+
=
x
p(x)
On d enie pour tout u : R :

p(.)
(u) :=
_

[u[
p(x)
dx
si lexposant est born e,p
+
< alors lexpression :
[u[
p(.)
:= inf :
p(.)
(u/) 1.
Proposition 1.2.1 On v erie que
p(.)
v erie le propri et es suivantes :
(1)
p(.)
(u) 0 pour tout u d enie sur
(2)
p(.)
(u) = 0 u = 0
(3)
p(.)
(u) =
p(.)
(u) pour tout u d enie sur
(4)
p(.)
est convexe .
(5) si [u(x)[ [v(x)[x
_
_
_

p(.)
(u)
p(.)
(v)

p(.)
(u) >
p(.)
(v)

p(.)
(u/[u[
p(.)
) 1 si 0 < [u[
p(.)
<
Preuve : (1), (2) et (3) par la d enition de
p(.)
.
(4)
p(.)
(u) et convexe :
On d enie :
: : R [0, ]
(x, s) (x, s) =
_
_
_
s
p(x)
si s > 0
0 sinon
M emoire de n d etude Ould Mohamed Lemine AHMED
9 Chapitre 1. Espaces de Lebesge et de Sobolev ` a exposant variable
g(t) = (x, t) g

(t) =

2
t
2
(x, t) = p(x)[p(x) 1]s
p(x)2
> 0 donc g(t) est convexe .

p(.)
(u) =
_

[u[
p(x)
dx =
_

(x, u)dx

p(.)
(u
1
+(1)u
2
) =
_

(x, u
1
+(1)u
2
)dx
_

(x, u
1
)dx+(1)
_

(x, u
2
)dx =

p(.)
(u
1
) + (1 )
p(.)
(u
2
)
dou la convexite de
p(.)
.
(5) soit u, v duex fonction telle que :
[u(x)[ [v(x)[ [u(x)[
p(x)
[v(x)[
p(x)

p(.)
(v)
p(.)
(u)
et si u ,= v on a
[u(x)[ < [v(x)[ [u(x)[
p(x)
< [v(x)[
p(x)

p(.)
(v) <
p(.)
(u)
(6) evident .
D enition 1.2.1 Soit p T on a :
L
p
:= u mesurable telle que
_

[u(x)[
p
dx <
L
p
:= u mesurable /M > 0
_

[u(x)[
p
dx M
L
p
:= u mesurable /M > 0
_

[
1
M
1
p
u(x)[
p
dx M
L
p
:= u mesurable / > 0
_

[u(x)[
p
dx <
ces equivalences dans la d enition des espaces de Lebesgue .
Ont permit aux math ematiciens O.Kavacik et Rakosnik dans un articule publi e en 1991 donner
la d enition suivante :
D enition 1.2.2 Soit p T ,on d enie lespace de Lebesgue ` a exposant variable , not e L
p(x)
() :
la classe de toutes fonctions u telle que :
p(.)
< (i.e) :
L
p(x)
:= u mesurable telle que > 0/
p(.)
(u) <
M emoire de n d etude Ould Mohamed Lemine AHMED
10 Chapitre 1. Espaces de Lebesge et de Sobolev ` a exposant variable
et [.[

p(.)
d ene une norme sur L
p(x)
() dite norme de Luxembourg.
D enition 1.2.3 Soit p T ,on d enie la fonction conjugu e de p , not e par p

par :
p

(x) =
_

_
si p(x) = 1
1 si p(x) =
p(x)
p(x) 1
sinon
Proposition 1.2.2 Soit u L
p(x)
() telle que [u[
p(.)
,= 0 ,alors :
(1) [u[
p(.)
= a
p(.)
(
u
a
) = 1
(2) [u[
p(.)
< 1(resp = 1, > 1)
p(.)
(u) < 1(resp = 1, > 1)
(3) (i) [u[
p(.)
1 ,alors [u[
p

p(.)

p(.)
(u) [u[
p
+
p(.)
(ii) [u[
p(.)
1 , alors [u[
p
+
p(.)

p(.)
(u) [u[
p

p(.)
Preuve : (1)
[u[
p(.)
= a [a
u
a
[
p(.)
= a
a[
u
a
[
p(.)
= a
[
u
a
[
p(.)
= 1
(
u
a
)
p(.)
= 1
(2) On d enie la fonction suivante :
:R
+
R
+
() = (u)
p(.)
.
est continue convexe et croissante sur R
+
,alors on a le r esulta .
(3) i) soit a 1 telle que [u[
p(.)
= a ,alors (
u
a
)
p(.)
= 1
Donc
1
a
p
+
(u)
p(.)
(
u
a
)
p(.)
= 1
1
a
p

(u)
p(.)
M emoire de n d etude Ould Mohamed Lemine AHMED
11 Chapitre 1. Espaces de Lebesge et de Sobolev ` a exposant variable
Dou :[u[
p

p(.)

p(.)
(u) [u[
p
+
p(.)
ii) si on pose [u[
p(.)
= a ,alors (
u
a
)
p(.)
< 1
Donc
1
a
p

(u)
p(.)
(
u
a
)
p(.)
= 1
1
a
p
+
(u)
p(.)
Dou :[u[
p
+
p(.)

p(.)
(u) [u[
p

p(.)

1.2.1 In egalit e de Young et H older


Proposition 1.2.3 In egalit e de Young
Soit p T et p

sa conjugu e pour tout a, b on a :


ab
a
p(x)
p(x)
+
b
p

(x)
p

(x)
Preuve : On d enie la fonction suivant :
f :R
+
R
t (t) = lnt.
Si on pose :u = a
p(x)
, v = b
p

(x)
don :
f(
1
p(x)
u +
1
p

(x)
v)
1
p(x)
f(u) +
1
p

(x)
f(v)

1
p(x)
ln(u) +
1
p

(x)
ln(v) ln(
1
p(x)
u +
1
p

(x)
v)
ln(ab) ln(
1
p(x)
a
p(x)
+
1
p

(x)
b
p

(x)
)
ab
a
p(x)
p(x)
+
b
p

(x)
p

(x)

Proposition 1.2.4 In egalit e de H older Soit p T et p

sa conjugu e .
pour tout u, v L
p(x)
() on a :
M emoire de n d etude Ould Mohamed Lemine AHMED
12 Chapitre 1. Espaces de Lebesge et de Sobolev ` a exposant variable
_

[u(x)v(x)[dx
_
1
p

+
1
p

_
[u[
p(.)
[v[
p

(.)
1.2.2 La convergence dans lespace de Lebesgue
D enition 1.2.4 On dit quune suite de fonction (u
n
)
nN
L
p(x)
() converge en module vers
u L
p(x)
() si :
lim
n+

p(.)
(u u
n
) = 0
Th eor` eme 1.2.1 Soit p T et p
+
< .
Soit (u
n
)
nN
L
p(x)
() alors :

p(.)
(u
n
) 0 si et selement si [u
n
[
p(.)
0
Preuve : ) On suppose que
p(.)
(u
n
) 0
Soit [0, 1] ,il existe c > 0 telle que n c on a :

p(.)
(u
n
) < 1
[u
n
[
p(.)
< n c
do` u
[u
n
[
p(.)
0
) evident .
Corollaire 1.2.1 Soit p T et p
+
< .
Soit (u
n
)
n
une suite de fonction d el ement de L
p(x)
() ,
si u
n
0 dans L
p(x)
() on u
n
0 en mesure .
Preuve : Par labsurde
On suppose que (u
n
)
n
ne converge pas en mesure vers 0.
M emoire de n d etude Ould Mohamed Lemine AHMED
13 Chapitre 1. Espaces de Lebesge et de Sobolev ` a exposant variable
donc il existe une sous suite (u
nk
) telle que :
inf
k
x , [u
nk
(x)[
p(.)
> >
donc :

p(.)
(u
n
) =
_

[u
n
(x)[dx > > 0
contradiction dapr` es le th eor` eme(1.2.1)
1.3 Espace de Sobolev ` a exposant variable
Dans cette section on donn ee quelle que r esulta de base sur la g en eralisation de lespace de
Sobolev exposant variable W
m,p(x)
().
D enition 1.3.1 Soit un ouvert born ee de R
N
et m une nombre entiere et p T
W
m,p(x)
() := u L
p(x)
(), T

u L
p(x)
(), [[ m
On d enie sur cette espace la norme suivant :
u W
m,p(x)
(), |u|
m,p(.)
=

||m
[u[
p(.)
mais dans cette m emoire on etudie seulement :
W
1,p(x)
() := u L
p(x)
(), Tu L
p(x)
(),
1.3.1 Espace W
1,p(x)
0
() :
On d enie W
1,p(x)
0
() par :
La ferm eture de C

0
dans W
1,p(x)
() pour la norme |.|
1,p(.)
si p(.) C
+
() v erie la condition suivant :
p(x) p(y)
L
log([x y[)
x, y etL > 0
M emoire de n d etude Ould Mohamed Lemine AHMED
14 Chapitre 1. Espaces de Lebesge et de Sobolev ` a exposant variable
alors C

0
danse W
1,p(x)
0
().
Lemme de Poincar e 1 Soit un ouvert de born ee de R
N
et p C
+
(),si p(.) v erie lin egalit e
de logarithmiec Holder on p(.)-Poincar e
[u[
p(.)
C[u[
p(.)
pour tout u W
1,p(x)
0
() et C d epande de [[ et N.
Si on pose la norme suivante :
|u| = [u[
p(.)
cette norme et une norme sur W
1,p(x)
0
() et equivalant ` a la norme classique sur W
1,p(x)
0
().
Proposition 1.3.1 (W
1,p(x)
0
(), |.|) et un espace de Banach r eexive .
1.4 Espace de Sobolov ` a exposant variable anisotropique
Soit

p (.) : R
N
une fonction vectoriel

p = (p
1
(.), ..., p
N
(.)).
D enition 1.4.1 On d enie lespace de Sobolev ` a exposant variable anisotropique par :
la fermeture de C

0
() pour la norme :
|u|
p (.)
:=
N

i=1

x
i
u

p
i
(.)
Th eor` eme 1.4.1 Lespace
_
W
1,

p (.)
0
(), |u|)
p (.)
_
et un espace de Banach et reexive .
Preuve : Soit

p R
N
telle que p
i
> 1, i 1, ..., N. On pose X = L
1
() ... L
N
() et
on consid` ere lop erateur suivant :
T : W
1,

p (.)
0
X
u T(u) = u
M emoire de n d etude Ould Mohamed Lemine AHMED
15 Chapitre 1. Espaces de Lebesge et de Sobolev ` a exposant variable
est un op erateur continue et isom etrique car :
|T(u)|
X
=
N

i=1

x
i
u

p
i
(.)
= |u|
p (.)
.
la T(W
1,

p (.)
0
()) est un sous-espace ferm e de X, qui est une r eexive et de Banach.
dapr es Proposition III.17 de [4] il dite que T(W
1,

p (.)
0
()) est r eexive par cons equent on dite
W
1,

p (.)
0
() r eexive et Banach.
Laissez-nous introduisons les notations suivantes :

P
+
= (p
+
1
, ..., p
+
N
),

P

= (p

1
, ..., p

N
),
P
+
+
= maxp
+
1
, ..., p
+
N
, P
+

= maxp

1
, ..., p

N
, P

= minp

1
, ..., p

et
P

=
N

N
i=1
1
p

i
1
, P
,
= maxP
+

, P

Th eor` eme 1.4.2 On suppose R


N
(N 3)et un ouvert born ee et de fronti` ere born ee. On
suppose que relation (3.6) et verie .donc pour tout q C() v erie :
1 < q(x) < P
,
x
On a :
W
1,

p (.)
0
() L
q(x)
()
et une injection compact.
Preuve : Comme L
p
i
(.)
() et injecte continument dans L
p

i
() pour tout i 1, ..., N car
p

i
p
i
(x), x . donc pour tout i 1, ..., N il existe C
i
> 0 telle que :
[[
p

i
[[
p
i
(.)
L
p
i
(.)
()
Si u W
1,

p (.)
0
() on a

x
i
u L
p
i
(.)
() i 1, ..., N
|u|
P

=
N

i=1

x
i
u

i
C
N

i=1

x
i
u

p
i
(.)
= C|u|
p
M emoire de n d etude Ould Mohamed Lemine AHMED
16 Chapitre 1. Espaces de Lebesge et de Sobolev ` a exposant variable
telle que C = maxC
1
, ..., C
N
on d eduit que W
1,

p (.)
0
() sinjecte continiment dans
W
1,

p

(.)
0
().
Dautre part, puisque la relation (*) est vrai, nous en d eduisons que q
+
< P
,
, si on com-
binent ca et le r esulta de Th eor` eme 1 [21] implique que W
1,

p

(.)
0
() injecte continument dans
L
q
+
() .
Finalement q(x) q
+
pour tout x on d eduit que L
q
+
() sinjecte continuiment dans
L
q(x)
(). Donc on conclue que u W
1,

p (.)
0
() sinjecte continuiment dans L
q(.)
().
1.5 Espace de Marinkiewicz
Soit g : R une fonction mesurable , sa fonction de distribution d enie par :

g
() = [x , [g(x)[ > [ > 0
D enition 1.5.1 Soit 0 < q < +et est un ouvert born e de R
N
,lespace de Marinkiewicz
/
q
() est de lensemble des fonctions mesurables :
g : R /
g
() c
q
c +
On d enit une norme sur /
q
() pour tout g /
q
() :
[[g[[

M
q
()
= sup
t>0
t
1
q
_
1
q
_
t
0
g

(s)ds
_
et (/
q
(), [[.[[

) est un espace de Banach.


et
g

(t) = inf > 0 :


g
() t
cette norme equivalent ` a la norme suivante :
[[g[[
M
q
()
= infc :
g
() c
q
> 0
M emoire de n d etude Ould Mohamed Lemine AHMED
17 Chapitre 1. Espaces de Lebesge et de Sobolev ` a exposant variable
On a L
q
() /
q
() on fait :
Soit f L
q
() on a :
_
{|f|>}
dx
_
{
|f|

}
dx
q
_

[f(x)[
q
dx =
q
[[f[[
q
q

f
()
q
[[f[[
q
q
do` u L
q
() /
q
().
Lemme 1.5.1 (1) Soit g une fonction non n egative telle que g W
1,

p

0
()
On suppose que p < N ,si il existe une constante c > 0 telle que :
N

i=1
_
{|g|}

x
i
g

i
dx c(1 + )
alors il existe une constante C > 0 en fonction de c :
[[g[[
{M
N(p1)
Np
()}
C
M emoire de n d etude Ould Mohamed Lemine AHMED
CHAPITRE 2
ETUDE DU PROBL
`
EME NON LIN

EAIRE
ELLIPTIQUE ANISOTROPIQUE
`
A
SECOND MEMBRE L

2.1 Formulation du probl` eme


soit un domaine r egulier born e dans R
N
(N 3) avec le fronti` ere de .
On va d emontrer lexistence et lunicit e dune solution faible energie du Probl` eme elliptique non
lin eaire anisotropique suivant :
_

i=1
a
i
(x,
u
x
i
) = f, dans
u = 0, sur
(2.1)
o` u f une fonction de L

(). On suppose que pour tout i = 1, ..., N, la fonction a


i
: R
R est une fonction de Carath eodory ;i.e, a
i
(x, .) continues pour tout x
et a
i
(., t) mesurable pour toute t R et satisfait aux conditions suivantes : a
i
(., t) d erivable et
continue par rapport telle que :
A
i
: R R ,A
i
= A
i
(x, ) ; i.e a
i
(x, ) =

A
i
(x, ) verier l egalite suivante :
A
i
(x, 0) = 0 (2.2)
18
19 Chapitre 2. Etude du probl` eme non lin eaire elliptique anisotropique ` a second membre L

pour tout x .
Il existe une constante positive C
1
telle que :
[a
i
(x, )[ C
1
(j
i
(x) +[[
p
i
(x)1
) (2.3)
pour tout (x, ) R et j
i
et une fonction de L
p

i
(.)
(), telle que 1/p
i
(x) + 1/p

i
(x) = 1.
v erie l egalit e suivante :
(a
i
(x, ) a
i
(x, )).( ) > 0 (2.4)
pour tout x et , R, et ,= .
v erie l egalit e suivante :
[[
p
i
(x)
a
i
(x, ). p
i
(x)A
i
(x, ) (2.5)
pour tout x et pour tout R.
pour tout exposant p
1
(x), ..., p
N
(x), supposons que p
i
(.) : R est une fonction continue
telle que :
2 p
i
(x) < N,
N

i=1
1
p
i

> 1 (2.6)
et
p
i

:= essinf
x
p
i
(x), p
i
+
:= esssup
x
p
i
(x).
2.2 Existence de la solution faible energie
Dans cette section, nous etudions la solution faible energie de probl` eme (2.1).
D enition 2.2.1 La solution faible energie de (2.1) est une fonction u W
1,

p (.)
0
() telle que :
_

i=1
a
i
(x,
u
x
i
).

x
i
dx =
_

fdx, pour tout W


1,

p (.)
0
() (2.7)
Le r esultat principal de cette section est le suivant.
M emoire de n d etude Ould Mohamed Lemine AHMED
20 Chapitre 2. Etude du probl` eme non lin eaire elliptique anisotropique ` a second membre L

Th eor` eme 2.2.1 On suppose que (2.2)-(2.6) sont v eri er et f L

. alors il existe une unique


solution faible d energie de probl` eme (2.1).
2.3 D emonstration de lExistence
Soit E lespace de Sobolev ` a exposant variable anisotropique W
1,

p (.)
0
().
On d enie la fonctionnelle d energie J : E R par :
J(u) =
_

i=1
A
i
(x,
u
x
i
)dx
_

fudx
Nous allons dabord etablir des propri et es de la fonctionnelle J.
Proposition 2.3.1 La fonctionnelle J est bien d enie sur E et J C
1
(E, R) et la d eriv ee
d enie par :
< J

(u), >=
_

i=1
A
i
(x,
u
x
i
).

x
i
dx
_

fdx
pour tous u, E .
Pour la d emonstration de cette proposition on d enie la fonctionnelle suivante pour tout i =
1, ..., N
i
: E R

i
(u) =
_

A
i
(x,
u
x
i
)dx pour tout u E
Lemme 2.3.1 Pour tout i = 1, ..., N on a :
(i) La fonctionnelle
i
est d enie sur E.
(ii) La fonctionnelle
i
est de classe C
1
(E, R) et
<

i
(u), >=
_

i=1
a
i
(x,

x
i
u).

x
i
dx pour tout E.
M emoire de n d etude Ould Mohamed Lemine AHMED
21 Chapitre 2. Etude du probl` eme non lin eaire elliptique anisotropique ` a second membre L

Preuve : (i) Pour tout x et R on a :


A
i
(x, ) =
_
1
0
d
dt
A
i
(x, t)dt =
_
1
0
a
i
(x, t)dt
dapr es (2.3) on a :
A
i
(x, ) C
1
_
1
0
(j
i
(x) +[[
p
i
(x)1
t
p
i
(x)1
)[[ C
1
j
i
(x)[[ +
C
1
p
i
(x)
[[
p
i
(x)
et de lin egalit e (2.6) on a :
0
_

A
i
(x,

x
i
u)dx C
1
_

j
i
(x)[

x
i
u[dx +
C
1
p

i
_

[

x
i
u[
p
i
(x)
dx
donc dapr` es lin egalit e de H older on d eduit :
0
_

A
i
(x,

x
i
u)dx C
1
(
1
p

+
1
p

)[[j
i
[[
p

(.)
[[

x
i
u[[
p(.)
+
C
1
p

i
[

x
i
u[
p
i
(x)
dx
il existe C > 0 telle que :
0 C
donc et bien d enie sur E, i = 1, ..., N.
(ii) Soit u, E . on x e x et 0 < [r[ < 1 .
dapr es le th eor` eme de moyen il existe [0.1] telle que :
[A
i
(x,

x
i
u(x) + r

x
i
(x)) A
i
(x,

x
i
u(x))[
[r[[

x
i
(x)[
= [a
i
(x,

x
i
u(x) + r

x
i
(x))[
Donc on a :
[A
i
(x,

x
i
u(x) + r

x
i
(x)) A
i
(x,

x
i
u(x))[
[r[
= [a
i
(x,

x
i
u(x) + r

x
i
(x))[[

x
i
(x)[
Dapr` es (2.3) on a :
[a
i
(x,

x
i
u(x)+r

x
i
(x))[[

x
i
(x)[ C1(j
i
(x)+[

x
i
u(x)+r

x
i
(x))[
p
i
(x)1
[

x
i
(x)[)
et que :
[

x
i
u(x) + r

x
i
(x))[
p
i
(x)1
[ 2
P
+
+
([

x
i
u(x)[
p
i
(x)1
+[

x
i
(x))[
p
i
(x)1
)
M emoire de n d etude Ould Mohamed Lemine AHMED
22 Chapitre 2. Etude du probl` eme non lin eaire elliptique anisotropique ` a second membre L

Dapr es le lemme (1.2.4) on a :


_

C
1
j
i
(x)[

x
i
(x)[dx C
1
[j
i
(x)[
p

i
(x)
.[[

x
i
[
p
i
(x)
(1)
_

C
1
[

x
i
u(x)[
p
i
(x)1
[

x
i
(x)[dx C
1
[[

x
i
u[
p
i
(x)1
[
p

i
(x)
.[[

x
i
[
p
i
(x)
(2)
Donc dapr` es (1) et (2) on a :
C
1
[j
i
(x) + 2
P
+
+
([

x
i
u(x)[
p
i
(x)1
+[

x
i
(x))[
p
i
(x)1
)] L
1
()
` a partir de Th eor` eme Lebesgue de convergence domin ee on a :
[A
i
(x,

x
i
u(x) + r

x
i
(x)) A
i
(x,

x
i
u(x))[
[r[

r0
[a
i
(x,

x
i
u(x))[

x
i
(x)[
do` u :
<

i
(u), >=
_

a
i
(x,

x
i
u(x))

x
i
(x)dx puor tout i = 1, ..., N
Il reste ` a d emontrer C
1
(E, R) :
Soit u
n
une suite de E telle que u
n
udans E. On d enie
i
(x, u) = a
i
(x,

x
i
u) dapres
(10,th eoreme 4.1 et 4.2) on a
i
(x, u
n
)
i
(x, u) dans L
p

i
(x)
(). dapres le lemme (1.2.4)
on obtient :
[ <

i
(u
n
)

i
(u), > [ =

(a
i
(x,

x
i
u
n
(x) a
i
(x,

x
i
u
(
x))

x
i
(x)

.dx
=

(
i
(x, u
n
)
i
(x, u))

x
i
(x)dx

.
C
1
[
i
(x, u
n
)
i
(x, u)[
p

i
(x)
[

x
i
(x)[
p
i
(x)
Dou :
[[

i
(u
n
)

i
(u)[[ C[
i
(x, u
n
)
i
(x, u)[
p

i
(x)
0,
si n pour tout i = 1, . . . , N.
Preuve : de proposition (2.3.1) :
Soit L(u) lapplication lin eaire suivant :
L(u) =
_

fudx
M emoire de n d etude Ould Mohamed Lemine AHMED
23 Chapitre 2. Etude du probl` eme non lin eaire elliptique anisotropique ` a second membre L

L est une application linaire continue .


Comme la differantiabilit e de toute application lin eaire et m eme de lapplication : dou
< L

(u), >=
_

fdx ()
donc dapr` es (2.3.1) et () on a :
J et bien d enie sur E
J C
1
(E, R)
< J

(u), >=
_

i=1
A
i
(x,
u
x
i
).

x
i
dx
_

fdx

Lemme 2.3.2 Pour tout i = 1, ..., N la fonctionnelle


i
et faiblement inf erieure semi-continu.
Preuve : Dapr` es le ([2],collolere III.8),il suft d emontrer que
i
est inf erieur semi-continu.
pour tout u Eet > 0, xe .Puisque
i
est convexe [dapr es la remarque 2.3],on en d eduit
que pour tout v E on a :
_

A
i
(x,

x
i
v)dx
_

A
i
(x,

x
i
u)dx +
_

a
i
(x,

x
i
u).(

x
i
v

x
i
u)dx.
donc dapr` es lin egalit e de H older(1.2.4) et (2.3) on a :
M emoire de n d etude Ould Mohamed Lemine AHMED
24 Chapitre 2. Etude du probl` eme non lin eaire elliptique anisotropique ` a second membre L

A
i
(x,

x
i
v)dx
_

A
i
(x,

x
i
u)dx
_

[a
i
(x,

x
i
u)[[

x
i
v

x
i
u[dx

A
i
(x,

x
i
u)dx C
1
_

j
i
(x)[

x
i
(v u)[dx
C
1
_

[

x
i
u[
p
i
(x)1
[

x
i
(v u)[dx

A
i
(x,

x
i
u)dx C
2
[j
i
[
p

i
(x)
[

x
i
(v u)[
p
i
(x)
C
3
[[

x
i
u[
p
i
(x)1
[
p

i
(x)
[

x
i
(v u)[
p
i
(x)

A
i
(x,

x
i
u)dx C
4
|v u|
p (.)

A
i
(x,

x
i
u)dx ,
comme v E donc on a :
|v u|
p (.)
< = /C
4
et que C
2
, C
3
et C
4
constante et positive .
on conclu que
i
est faiblement semi-continue inf erieurement pour tout i = 1, ..., N

Proposition 2.3.2 La fonctionnelle J est co ercive, faiblement semi-continue inf erieurement et


admet un minimisant.
Preuve : (i) on d emontre que J et co ercive :
dapr es (2.5) on a :
[[
p
i
(x)
a
i
(x, ). p
i
(x)A
i
(x, ) P
+
+
A
i
(x, ) pour tout i = 1, ..., N

1
P
+
+
[[
p
i
(x)
A
i
(x, ) ()
M emoire de n d etude Ould Mohamed Lemine AHMED
25 Chapitre 2. Etude du probl` eme non lin eaire elliptique anisotropique ` a second membre L

donc on obtient :
J(u) =
_

i=1
A
i
(x,

x
i
u)dx
_

fudx

1
P
+
+
N

i=1
_

[

x
i
u[
p
i
(x)
dx
_

fudx

1
P
+
+
N

i=1
_

[

x
i
u[
p
i
(x)
dx |f|
q
|u|
q
,
puisque E sinjecte continuellement dans L
q
() pour 1 < q < P
+

.
donc |u|
q
=
_
_

[u[
q
dx
_
1/q
. pour tout i 1, . . . , N, on d enit :

i
=
_

_
P
+
+
if [

x
i
u[ < 1,
P

if [

x
i
u[ > 1.
J(u)
1
P
+
+
N

i=1
[

x
i
u[
p
i
(x)
p
i
(.)
|f|
q
|u|
q

1
P
+
+
N

i=1
[

x
i
u[

i
p
i
(.)
|f|
q
|u|
q

1
P
+
+
N

i=1
[

x
i
u[
P

p
i
(.)

1
P
+
+

{i:
i
=P
+
+
}
_
[

x
i
u[
P

p
i
(.)
[

x
i
u[
P
+
+
p
i
(.)
_
|f|
q
|u|
q

1
P
+
+
N

i=1
[

x
i
u[
P

p
i
(.)

1
P
+
+

{i:
i
=P
+
+
}
_
[

x
i
u[
P

p
i
(.)
_
|f|
q
|u|
q

1
P
+
+
N

i=1
[

x
i
u[
P

p
i
(.)

N
P
+
+
|f|
q
|u|
q

1
P
+
+
N

i=1
[

x
i
u[
P

p
i
(.)

N
P
+
+
C

|u|
q

1
P
+
+
_
1
N
N

i=1
[

x
i
u[
p
i
(.)
_
P

N
P
+
+
C

|u|
q

1
P
+
+
N
P

|u|
P

p (.)

N
P
+
+
C

|u|
p (.)
,
M emoire de n d etude Ould Mohamed Lemine AHMED
26 Chapitre 2. Etude du probl` eme non lin eaire elliptique anisotropique ` a second membre L

donc
J(u) (
1
P
+
+
N
P

|u|
P

p (.)
C

)|u|
p (.)

N
P
+
+
.
comme P

1 > 0 on a :
J(u) + si [[u[[
p (.)
. dou la co ercivit e de J.
(ii)D emonstration de la faible semi-continut e inf erieure de J :
comme
i
est faiblement semi-continue inf erieurement pour tout i = 1, ..., N on a : pour toute
suite u
n
E telle que u
n
u dans E ona :

i
(u) liminf
n+

i
(u
n
).
donc on obtient :
J
i
(u) liminf
n+
J
i
(u
n
).
Par cons equent J et faiblement semi-continue inf erieurement.
(iii) dapr` es le th eor` eme (1.1.2) on a J admet un minimisant sur E :
u
0
E J(u
0
) = infJ
uE
(u)
do` u J et minimisant .

Comme J est , faiblement semi-continu inf erieur et co ercive , alors J admet une minimisante
qui est une solution faible energie.
2.4 D emonstration de lunicit e
Soit u
1
et u
2
deux solution faible energie du probl` eme (2.1) donc :
_

i=1
a
i
(x,

x
i
u
1
).

x
i
dx =
_

fdx, pour tous W


1,

p (.)
0
() (a)
et
_

i=1
a
i
(x,

x
i
u
2
).

x
i
dx =
_

fdx, pour tous W


1,

p (.)
0
() (b)
M emoire de n d etude Ould Mohamed Lemine AHMED
27 Chapitre 2. Etude du probl` eme non lin eaire elliptique anisotropique ` a second membre L

si on pose = u
1
et = u
2
on a :
_

_
_

i=1
a
i
(x,

x
i
u
1
).

x
i
u
1
dx =
_

fu
1
dx (1)
_

i=1
a
i
(x,

x
i
u
1
).

x
i
u
2
dx =
_

fu
2
dx (2)
_

_
_

i=1
a
i
(x,

x
i
u
2
).

x
i
u
1
dx =
_

fu
1
dx (3)
_

i=1
a
i
(x,

x
i
u
2
).

x
i
u
2
dx =
_

fu
2
dx (4)
si (1) (3) et (2) (3) on obtient :
_

_
_

i=1
a
i
(x,

x
i
u
1
).

x
i
u
1
dx
_

i=1
a
i
(x,

x
i
u
2
).

x
i
u
1
dx = 0
_

i=1
a
i
(x,

x
i
u
1
).

x
i
u
2
dx
_

i=1
a
i
(x,

x
i
u
2
).

x
i
u
2
dx = 0
dapr es (2.4) on a :
N

i=1
_

[
_
a
i
(x,

x
i
u
1
) a
i
(x,

x
i
u
2
)
_
[.[
_

x
i
u
1


x
i
u
2
_
dx[ = 0.
|u
1
u
2
|
p (.)
=
N

i=1
[

x
i
u
1


x
i
u
2
[
p
i
(.)
= 0.
on d eduit que u
1
= u
2
.
dou lunicit e de la solution faible energie .
2.5 Extension au probl` eme anisotropique plus g en eral
Dans cette section, nous montrons que le r esultat de lexistence obtenue pour (2.1) peut etre
etendu au probl` eme elliptique anisotropique plus g en erale de la forme :
_

i=1

x
i
a
i
(x,

x
i
u) = f(x, u) in
u = 0 on .
(2.8)
M emoire de n d etude Ould Mohamed Lemine AHMED
28 Chapitre 2. Etude du probl` eme non lin eaire elliptique anisotropique ` a second membre L

On suppose que la fonction non-lin eaire f : R R est Carath eodory telle que :
F(x, t) =
_
t
0
f(x, s)ds.
et il existe deux constante : C
1
> 0 et C
2
> 0 telle que :
_
_
_
[f(x, t)[ C
1
+ C
2
[t[
1
,
et 1 < < P

.
(2.9)
Th eor` eme 2.5.1 On suppose que les conditions (2.2) (2.6) et (2.9) sont v erie . la probl` eme
(2.8) admet aux moins une solution faible energie .
Preuve : On pose g(u) =
_

F(x, u)dx, alors g

: E E

et faiblement continue
(i.e) u
n
u on montre que g

(u
n
) g

(u),
On d enit
J(u) =
N

i=1
_

A
i
(x,

x
i
u)dx
_

F(x, u)dx, u E
on a J C
1
(E, R) et faiblement semi-continue inf erieurement.
Dans la suite on va d emontrer que J et co ercive : dapr` es (2.3.2) on a :
J(u)
1
P
+
+
N
P

|u|
P

p (.)

N
P
+
+

F(x, u)dx
comme [F(x, t)[ C(1 +[t[

) on a :
J(u)
1
P
+
+
N
P

|u|
P

p (.)

N
P
+
+
C
_

[u[

dx C
3
,
pour tout u E |u|
p (.)
> 1. Et que E sinjecte compl` etements dans L

(). dou :
J(u) C
5
|u|
P

p (.)

N
P
+
+
C
4
|u|

p (.)
C
3
+
si |u|
p (.)
+.
dou le coercivit e de J .
comme J est faiblement semi-continue inf erieurement et co ercive donc J admet un minimisant.
M emoire de n d etude Ould Mohamed Lemine AHMED
CHAPITRE 3
ETUDE DU PROBLEME NON LIN

EAIRE
ELLIPTIQUE ANISOTROPIQUE
`
A
SECOND MEMBRE L
1
Dans ce chapitre on etudie lexistence et lunicit e de la solution entropique dun probl` eme
elliptique non lin eaire anisotropiue suivant :
3.1 Formulation du probl` eme
soit un domaine r egulier born e dans R
N
(N 3) avec le fronti` ere de .
On va d emontrer lexistence et lunicit e dune solution antropique de la probl` eme elliptique non
lin eaire suivante :
_

i=1
a
i
(x,
u
x
i
) = f, dans
u = 0, sur
(3.1)
et f un fonction de L
1
(). On suppose que pour tout i = 1, ..., N
les fonctions a
i
: R R Carath eodory ;i.e, a
i
(x, .) continues pour tout x
et a
i
(., t) mesurable pour tout t R et satisfait aux conditions suivantes : a
i
(., t) d erivable et
29
30 Chapitre 3. Etude du probleme non lin eaire elliptique anisotropique ` a second membre L
1
continue par rapport ` a telle que :
A
i
: R R ,A
i
= A
i
(x, ) ; i.e a
i
(x, ) =

A
i
(x, ) v erie l egalite suivante :
A
i
(x, 0) = 0 (3.2)
pour tout x .
Il existe une constante positive C
1
telle que :
[a
i
(x, )[ C
1
(j
i
(x) +[[
p
i
(x)1
) (3.3)
pour tout (x, ) R et j
i
est une fonction de L
p

i
(.)
(),telle que 1/p
i
(x) + 1/p

i
(x) = 1.
il existe une constante C
2
telle que :
(a
i
(x, ) a
i
(x, )).( )
_
_
_
C
2
[ [
p
i
(x)
si[ [ 1
C
2
[ [
p

i
si[ [ < 1,
(3.4)
pour tout x et , R et ,= . et :
[[
p
i
(x)
a
i
(x, ). p
i
(x)A
i
(x, ) (3.5)
pour tout x et R .
Nous supposons egalement que lexposant variable p
i
(.) : [2 N) est une fonctions
continues pour tout i = 1, ..., N telle que :
p(N 1)
N(p 1)
< p

i
<
p(N 1)
N p
,
N

i=1
1
p

i
et
p
+
i
p

i
1
p

i
<
p N
p(N 1)
. (3.6)
telle que
1
p
=
1
N
N

i=1
1
p

i
, p

i
:= ess
x
infp
i
(x) et p
+
i
:= ess
x
supp
i
(x)
et on d enit les deux nombres suivants :
q =
N(p 1)
N 1
, q

=
N(p 1)
N p
(3.7)
3.2 Existence et lunicit e de la solution entropique :
On d enit la fonction de troncature suivante :
T
t
(s) :=
_
_
_
s si [s[ t
tsing(s) si t
M emoire de n d etude Ould Mohamed Lemine AHMED
31 Chapitre 3. Etude du probleme non lin eaire elliptique anisotropique ` a second membre L
1
D enition 3.2.1 Soit u une fonction mesurable on dit que u est une solution entropique du
probl` eme (3.1) si :
pour tout t > 0 ,T
t
(u) W
1,

p (.)
0
() :
_

i=1
a
i
(x,

x
i
u).

x
i
T
t
(u )dx
_

T
t
(u )dx
pour tout W
1,

p (.)
0
() L

().
Th eor` eme 3.2.1 On suppose que (3.2)- (3.6) et f L
1
()sont v erie.alors il existe une unique
solution entropique u du probl` eme (3.1).
Pour la d emonstration de ce th eor` eme on a les etapes suivantes :
3.3 Estimation ` a priori
On va commencer avec lexistence du gradient faible de toute fonction telle que :
T
t
(u) W
1,

p (.)
0
() pour tout t > 0
Proposition 3.3.1 Si u est une fonction mesurable telle que T
t
(u) W
1,

p (.)
0
() pour tout
t > 0 ,alors il existe une unique fonction mesurable v : R telle que
v[u[ < t = T
t
(u)x ett > 0
Moreover , si v W
1,1
0
() alors v et v concident avec le gradient de r epartition norme de u.
Proposition 3.3.2 On suppose (3.2)- (3.6) et f L
1
() sont f erie. Soit u et une solution en-
tropique de (3.1).
M emoire de n d etude Ould Mohamed Lemine AHMED
32 Chapitre 3. Etude du probleme non lin eaire elliptique anisotropique ` a second membre L
1
si il existe une constante positive M telle que :
N

i=1
_
{|u|>t}
t
q
i
(x)
dx M, pourtoutt > 0
Alors
N

i=1
_
{|

x
i
u|

i >t}
[[f[[
1
+ M pourtoutt > 0
o` u
i
(.) = p
i
(.)/(q
i
(.) 1), pour tout i = 1, ..., N.
Preuve : On suppose que = 0 dapres (3.2.1) on a :
_

i=1
a
i
(x,

x
i
(T
t
(u)).

x
i
T
t
(u)dx
_

T
t
(u)dx
donc dapr` es :
N

i=1
_

x
i
(T
t
(u))

p
i
(x)
dx t[[f[[
1
, pourtout t > 0

1
t
N

i=1
_

x
i
(T t(u))

p
i
(x)
dx =
N

i=1
_

t
p
i
(x)1

x
i

p
i
(x)
dx [[f[[
1
, pourtout t > 0
avec = T
t
(u)/t, nous avons pour tout t > 0.
N

i=1
_
{|

x
i
u|

i
(.)
>t}
t
q
i
(x)
dx
N

i=1
_
{|

x
i
u|

i
(.)
>t}{|u|t}
t
q
i
(x)
dx +
N

i=1
_
{|u|>t}
t
q
i
(x)
comme
[

x
i
u[

i
(.)
t
> 1
et
p
i
(x)

i
(x)
= q
i
(x) + 1et

x
i
(T t(u)) =

x
i
usi[u[ t on obtient :
N

i=1
_
{|

x
i
u|

i
(.)
>t}
t
q
i
(x)
dx
N

i=1
_
{|u|t}
t
q
i
(x)
_
[

x
i
u[

i
(.)
t
_
p
i
(x)

i
(x)
+
N

i=1
_
{|u|>t}
t
q
i
(x)
N

i=1
_
{|

x
i
u|

i
(.)
>t}
t
q
i
(x)
dx
N

i=1
_
{|u|t}
1
t

x
i
u

p
i
(x)
+
N

i=1
_
{|u|>t}
t
q
i
(x)
M emoire de n d etude Ould Mohamed Lemine AHMED
33 Chapitre 3. Etude du probleme non lin eaire elliptique anisotropique ` a second membre L
1
Do` u :
N

i=1
_
{|

x
i
u|

i
(.)
>t}
t
q
i
(x)
dx [[f[[
1
+ M pour tout t > 0.

Proposition 3.3.3 On suppose (3.2)- (3.6) et f L


1
(). Si u est une solution entropique du
probl` eme (3.1), telle que :
1
h
N

i=1
_
{|u|h}

x
i
(T
t
(u))

p
i
(x)
dx M,
pour chaque h > 0 avec M un constante positive. Plus pr ecis ement, il existe une constante
D > 0 telle que :
mes[u[ > h D
p

(
1 + h
h
p

).
Preuve : On pose = 0 donc dapres (3.2.1) et (3.5) on a :
N

i=1
_
{|u|h}

x
i
T
h
(u)

p
i
(x)
dx h[[f[[
1
hM pour h > 0.
Suivant :
N

i=1
_
{|u|h}

x
i
T
h
(u)

p
i
(x)
dx hM
N

i=1
_
{|u|h}

x
i
T
h
(u)

C(1 + h).
comme

x
i
T
h
(u) = 0 si [u[ > h donc :

[[

x
i
T
t
(u)[[
p

C(1 + h) ou [[T
h
(u)[[
W
1,p

0
[C(1 + h)]
1
p

Donc dapr` es lin egalit e de Poincarr e il existe une constante D > 0 telle que :
[[T
h
(u)[[
L
p

()
D(1 + h)
1
p

[T
h
(u)[
p

dx D
p

(1 + h)

_
{|u|h}
[T
h
(u)[
p

dx +
_
{|u|>h}
[T
h
(u)[
p

dx D
p

(1 + h)

_
{|u|>h}
h
p

dx D
p

(1 + h)
Do` u le r esultat :
mes[u[ > h D
p

(1 + h)
h
p

M emoire de n d etude Ould Mohamed Lemine AHMED


34 Chapitre 3. Etude du probleme non lin eaire elliptique anisotropique ` a second membre L
1
3.4 Lunicit e de la solution entropique :
On d emontre dans cette partie que la solution entropique du probl` eme (3.1) et une solution
unique :
Soit u, v deux solutions de (3.1) .Si on prand les deux fonctions suivantes :
_

x
i
T
t
(u T
h
(v)) =

x
i
(u T
h
v) si[u T
h
v[ t

x
i
T
t
(v T
h
(u)) =

x
i
(v T
h
u) si[v T
h
u[ t
Donc on obtient dapr` es (3.1) :
_

_
_
{|uT
h
v|t}
N

i=1
a
i
(x,

x
i
u).

x
i
(u T
h
v)dx+
_
{|vT
h
u|t}
N

i=1
a
i
(x,

x
i
v).

x
i
(v T
h
u)dx (a)

f(x)(T
t
(u T
h
v) + T
t
(v T
h
u))dx
On d enit les ensembles suivants :
E1 := [u v[ t, [v[ h, E
2
:= E
1
[v[ hetE
3
:= E
1
[u[ > h
M emoire de n d etude Ould Mohamed Lemine AHMED
35 Chapitre 3. Etude du probleme non lin eaire elliptique anisotropique ` a second membre L
1
_

_
_
{|uT
h
v|t}
N

i=1
a
i
(x,

x
i
u).

x
i
(u T
h
v)dx =
_
{|uT
h
v|t}({|v|h}{|v|>h})
N

i=1
a
i
(x,

x
i
u).

x
i
(u T
h
v)dx =
_
{|uT
h
v|t,|v|h}
N

i=1
a
i
(x,

x
i
u).

x
i
(u T
h
v)dx+
_
{|uT
h
v|t,|v|>h}
N

i=1
a
i
(x,

x
i
u).

x
i
(u T
h
v)dx
=
_
{|uT
h
v|t,|v|h}
N

i=1
a
i
(x,

x
i
u).

x
i
(u v)dx +
_
{|uT
h
v|t,|v|>h}
N

i=1
a
i
(x,

x
i
u).

x
i
udx

_
{|uT
h
v|t,|v|h}
N

i=1
a
i
(x,

x
i
u).

x
i
(u v)dx =
_
E
1
N

i=1
a
i
(x,

x
i
u).

x
i
(u v)dx
_
E
1
{|u|h}{|v|>h}
N

i=1
a
i
(x,

x
i
u).

x
i
(u v)dx ==
_
E
2
N

i=1
a
i
(x,

x
i
u).

x
i
(u v)dx
+
_
E
3
N

i=1
a
i
(x,

x
i
u).

x
i
(u v)dx =
_
E
2
N

i=1
a
i
(x,

x
i
u).

x
i
(u v)dx
+
_
E
3
N

i=1
a
i
(x,

x
i
u).

x
i
udx
_
E
3
N

i=1
a
i
(x,

x
i
u).

x
i
vdx

_
E
2
N

i=1
a
i
(x,

x
i
u).

x
i
(u v)dx
_
E
3
N

i=1
a
i
(x,

x
i
u).

x
i
vdx (b)
Dautre part on obtient :
_

_
_
{|vT
h
u|t}
N

i=1
a
i
(x,

x
i
v).

x
i
(v T
h
u)dx =
_
{|vT
h
u|t}({|u|h}{|u|>h})
N

i=1
a
i
(x,

x
i
v).

x
i
(v T
h
u)dx =

_
E
2
N

i=1
a
i
(x,

x
i
v).

x
i
(v u)dx
_
E
3
N

i=1
a
i
(x,

x
i
v).

x
i
udx (c)
on pose :
I
h
=
_
E
3
N

i=1
a
i
(x,

x
i
u).

x
i
vdx
J
h
=
_
E
3
N

i=1
a
i
(x,

x
i
v).

x
i
udx
M emoire de n d etude Ould Mohamed Lemine AHMED
36 Chapitre 3. Etude du probleme non lin eaire elliptique anisotropique ` a second membre L
1
telle que :
I
h
0 et J
h
0 sih
dapr` es (b), (c) on obtient :
_

_
_
{|uT
h
v|t}
N

i=1
a
i
(x,

x
i
u).

x
i
(u T
h
v)dx I
h
+
_
E
2
N

i=1
a
i
(x,

x
i
u).

x
i
(u v)dx
_
{|vT
h
u|t}
N

i=1
a
i
(x,

x
i
v).

x
i
(v T
h
u)dx Jh
_
E
2
N

i=1
a
i
(x,

x
i
u).

x
i
(u v)dx
T
t
(u T
h
v) + T
t
(v T
h
u) = 0 si[u[ h, [v[ h (d)

f(x)(T
t
(u T
h
v) + T
t
(v T
h
u))dx

_
{|u|>h}
f(x)(T
t
(u T
h
v) + T
t
(v T
h
u))dx +
_
{|u|h}
f(x)(T
t
(u T
h
v) + T
t
(v T
h
u))dx

_
{|u|>h}
f(x)(T
t
(u T
h
v) + T
t
(v T
h
u))dx +
_
{|u|h,|v|>h}
f(x)(T
t
(u T
h
v) + T
t
(v T
h
u))dx

_
{|u|>h}
f(x)(T
t
(u T
h
v) + T
t
(v T
h
u))dx +
_
{|v|>h}
f(x)(T
t
(u T
h
v) + T
t
(v T
h
u))dx

2t
_
_
{|u|>h}
f(x) +
_
{|v|>h}
f(x)dx
_
(e)
Selon la proposition (3.3.3) on a : mes[u[ > h etmes[v[ > h tend vers z ero quand h tend
vers linni
donc dapr` es (a), (b) et (e) on a le r esultat salivant si h +:
_
{|uv|t}
N

i=1
(a
i
(x,

x
i
u) a
i
(x,

x
i
v)).

x
i
(u v)dx 0 pour tout t > 0
dapr` es (3.4) on conclue que

x
i
u =

x
i
v pour toute i = 1, ..., N dans .
Do` u lunicit e de la solution :
|u
1
u
2
|
p (.)
=
N

i=1
[

x
i
u
1


x
i
u
2
[
p
i
(.)
= 0.
M emoire de n d etude Ould Mohamed Lemine AHMED
37 Chapitre 3. Etude du probleme non lin eaire elliptique anisotropique ` a second membre L
1
3.5 Existence de la solution entropique
Soit (f
n
)
n
une suite de fonctions born ees fortement converge vers f L
1
() telle que :
[[f
n
[[
1
[[f[[
1
n > 0 (3.8)
On consid` ere le probl` eme approch e suivant :
_

i=1

x
i
a
i
(x,

x
i
u
n
) = f
n
dans
u
n
= 0 sur
(3.9)
dapr` es chapi[2] on a :
Si (u
n
)
n
W
1,

p (.)
0
()etf
n
L

() il existe une unique solution faible energie .


Notre int er et est de prouver que la solution approch ee est une solution entropique si n +.
Pour ca on estime (u
n
)
n
et

x
i
u
n
dans les espaces de Mrcinkiewicz /
q

et de /
p

i
q
p
telle que
q

etp d enie (3.6) et(3.7) .


Soit > 0 et T

la fonction troncature :
DT

(r) =
_
_
_
.1 si [r[ <
0 sinon
ET que :
a
i
(x, )DT

(r) a
i
(x, )
{
[r[ < (3.10)
Lemme 3.5.1 il existe une constante c > 0 telle que :
N

i=1
_
{|u
n
|}

x
i
u
n

i
dx c( + 1) pour tout > 0 (3.11)
Preuve : Si on pose = T

(u
n
) dapres (2.1) de chp[2] :
_

i=1
a
i
(x,

x
i
u
n
DT

(u
n
).

x
i
u
n
dx =
_

fT

(u
n
)dx,
M emoire de n d etude Ould Mohamed Lemine AHMED
38 Chapitre 3. Etude du probleme non lin eaire elliptique anisotropique ` a second membre L
1
donc dapr es (3.10) ona :
_

i=1
a
i
(x,

x
i
u
n
).

x
i
u
n

{|u
n
|<}

_

i=1
a
i
(x,

x
i
u
n
)DT

(u
n
).

x
i
u
n
dx
dapr es (3.5) dou le (3.11).
Lemme 3.5.2 Il existe une constante C strictement positive, et pour tout n , telle que :
[[u
n
[[
M
q

C
_
_
_
_

x
i
u
n
_
_
_
_
M
p

i
q
p
Ci = 1, ..., N
Preuve : Pour la d emonstration on utilise directement le (1[ d emonstration du lemme 3.3]). on
pose a =
N(p 1)
N p
dapr` es Lemme(3.5.1) on a :
N

i=1
_
{|u
n
|}

x
i
u
n

i
dx c( + 1)pourtout > 0
Donc dapr` es chap 1 on a :
[[u
n
[[
M
a C [[u
n
[[
M
q

C
dautre part :
Soit , deux membres positifs tels que , 1

x
i
u
n
() [x

x
i
u
n

> , [u
n
[ [ +[x

x
i
u
n

> , [u
n
[ > [

i
_
{|u
n
|}

x
i
u
n

i
dx +
u
n
()
C(

i
+
a
)
[[
p

i
q
p
si < 1
C
p

i
q
p
si 1
_
_
_
_

x
i
u
n
_
_
_
_
M
p

i
q
p
C i = 1, ..., N
M emoire de n d etude Ould Mohamed Lemine AHMED
39 Chapitre 3. Etude du probleme non lin eaire elliptique anisotropique ` a second membre L
1
donc (u
n
) et (

x
i
u
n
) est born ee dans /
q

et de /
p

i
q
p

Dapr es le Lemme (3.5.2) et (1) on a :


u
n
est born ee dans L
k
0
() pour k
0
< q

avec k
0
> p

i
q
p
et

x
i
u
n
Uniform ement born ee
dans L
k
i
() pour k
i
> 1 et p

i
1 < k
i
< p

i
q
p
i = 1, ..., N De cela, nous obtenons que
u
n
est uniform ement born ee dans lespace de Sobolev isotopique W
1,k
min
0
() telle quek
min
=
min(k
1
, ..., k
N
) .
On conclue si n +on a :
_

_
u
n
u dans et dans L
k
min
()
u
n
u dans W
1,k
min
0
()

x
i
u
n


x
i
u dans L
1
(), pour touti = 1, ..., N
a
i
(x,

x
i
u
n
) a
i
(x,

x
i
u) dans et dans L
1
() pourtouti = 1, ..., N
(3.12)
maintenant on x e t > 0 et W
1,

p (.)
0
() L

(),et on choisit T
t
(u
n
) une fonction
teste de la (2.7) du chap 1 et on remplace u par u
n
:
_

i=1
a
i
(x,

x
i
u
n
).

x
i
T
t
(u
n
)dx =
_

f
n
(x)T
t
(u
n
)dx
_
{|u
n
|t}
N

i=1
a
i
(x,

x
i
u
n
).

x
i
u
n
dx
_
{|u
n
|t}
N

i=1
a
i
(x,

x
i
u
n
).

x
i
dx (3.13)
donc dapr` es (3.12) on a (3.13) converge vers :
_
{|u
n
|t}
N

i=1
a
i
(x,

x
i
u).

x
i
dx
et que
N

i=1
a
i
(x,

x
i
u
n
).

x
i
u
n
dx non n egative dapr` es (3.5) donc on obtient dapr` es Lemme
de Fatou et (3.12) :
_
{|u
n
|t}
N

i=1
a
i
(x,

x
i
u
n
).

x
i
u
n
dx liminf
n
_
{|u
n
|t}
N

i=1
a
i
(x,

x
i
u
n
).

x
i
u
n
donc le r esultat obtenu :
_

i=1
a
i
(x,

x
i
u).

x
i
T
t
(u )dx
_

f
n
(x)T
t
(u )dx
M emoire de n d etude Ould Mohamed Lemine AHMED
40 Chapitre 3. Etude du probleme non lin eaire elliptique anisotropique ` a second membre L
1
(i,e) u est une solution entropique de (3.1).
M emoire de n d etude Ould Mohamed Lemine AHMED
Bibliographie
[1] Bendahmane, M. et Karlsen, K.H.,Anisotropic nonlinear elliptic systems with measure data
and anisotropic harmonic maps into spheres, Electron. J. Differential Equations 2006, No.
46, 30 pp.
[2] B enilan, Ph., Boccardo, L., Gallouet, T., Gariepy, R., Pierre, M. and Vazquez,J.L., An L
1
-
theory of existence and uniqueness of solutions of nonlinear elliptic equations, Ann. Sc.
Norm. Super. Pisa, Cl. Sci., 22 (1995), 241273.
[3] Brezis.H, Semilinera equation in R
N
withont condition at innity. Applled Mathematics et
Optimization 1984 ; 12(3) 271-282.
[4] .Chen, Y., Levine, S. and Rao, M.,Variable exponent, linear growth functionals in image
restoration, SIAM J. Appl. Math. 66, no. 4 (2006), 13831406.
[5] Diening, L., Theoretical and Numerical Results for Electrorheological Fluids, PhD. thesis,
University of Frieburg, Germany, 2002.
[6] Diening, L., Riesz potential and Sobolev embeddings on generalized Lebesgue and Sobolev
spaces L
p(.)
and W
1,p(.)
, Math. Nachr., 268 (2004), 3143.
[7] .Edmunds, D.E. and Rakosnik, J., Density of smooth functions in W
k,p(x)
(), Proc. R.Soc.
A, 437 (1992), 229236.
[8] Edmunds, D.E. and Rakosnik, J., Sobolev embeddings with variable exponent, Studia
Math., 143 (2000), 267293
41
42 BIBLIOGRAPHIE
[9] Edmunds, D.E. and Rakosnik, J., Sobolev embeddings with variable exponent, II, Math.
Nachr., 246247 (2002), 5367.
[10] Harjulehto, P., Hasto, P., Koskenova, M. and Varonen, S., The Dirichlet energy integral and
variable exponent Sobolev spaces with zero boundary values, Potential Anal., 25 (2006),
7994.
[11] Hudzik, H.,On generalized Orlicz-Sobolev space, Funct. Approximatio Comment. Math., 4
(1976), 3751.
[12] Kovacik, O. and Rakosnik, J.,On spaces L
p
(x) and W
1,p(x)
, Czech. Math. J., 41
(1991),592618.
[13] M.Bendahmane, M. Langais, M. Saad On some anisotropique reaction-difction sys-
teme with L
1
-data modelinge the propagation of an epidemic disease, Non liear Analyse
54(2003), 617-636.
[14] M.Bojowald, Hernandez, H.H, Morales Tecotl ha Perturbative degrees of freedom in loop
quantum gravity : anisotropies classical Quantum Gravity (2006),23(10) 3491-3516.
[15] Mihailescu, M., Pucci, P. and Radulescu, V.,Eigenvalue problems for anisotropic quasi-
linear elliptic equations with variable exponent. J. Math. Anal. Appl., 340 (2008), no.1,
687698.
[16] Mihailescu, M. and Radulescu, V., A multiplicity result for a nonlinear degenerate problem
arising in the theory of electrorheological uids, Proc. R. Soc. A, 462 (2006), 26252641.
[17] Musielak, J.,Orlicz Spaces and modular spaces Lecture Notes inMathematics, 1034
(1983), springer, Berlin.
[18] Pfeiffer, C., Mavroidis, C., BarCohen, Y. and Dolgin, B.,Electrorheological uid based
force feedback device, in Proc. 1999 SPIE Telemanipulator and Telepresence Technologies
VI Conf. (Boston, MA), 3840 (1999), pp. 8899.
[19] Ruzicka, M.,Electrorheological uids : modelling and mathematical theory, Lecture Notes
in Mathematics 1748, SpringerVerlag, Berlin, 2000.
[20] Winslow, W.M., Induced Fibration of Suspensions, J. Applied Physics, 20 (1949), 1137
1140.
M emoire de n d etude Ould Mohamed Lemine AHMED
43 BIBLIOGRAPHIE
[21] I. Fragala, F. Gazzola, and B. Kawohl,Existence and nonexistence results for anisotropic
quasilinear equations, Ann.Inst. H. Poincare, Analyse Non Lineaire 21 (2004), 715-734.
[22] V2tios J, A pirori estimates solution and anisotropique elliptic equation Nonlinear Analy-
sis 2009 ; 71(9) :3881-3905.
M emoire de n d etude Ould Mohamed Lemine AHMED