Méoirecor PDF

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).
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.
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
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) <
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(.)
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 :
_
[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.
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
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
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
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
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
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.
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.
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
)
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
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 :
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 :
[[
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, ) ()
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 (.)
,
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)
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
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)
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.
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
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).
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)
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

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
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
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.
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,
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
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
1
(i,e) u est une solution entropique de (3.1).
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.
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éoirecor PDF

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Méoirecor PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

Remerciement

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

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

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

ensemblex X/(x) > a etouvert

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

1.2.1 In egalit e de Young et H older

sa conjugu e pour tout a, b on a :

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

Th eor` eme 1.4.2 On suppose R

) est un espace de Banach.

(t) = inf > 0 :

2.1 Formulation du probl` eme

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

fdx, pour tout W

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

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

Dapr es le lemme (1.2.4) on a :

L est une application linaire continue .

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

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

fdx, pour tous W

fdx, pour tous W

F(x, u)dx, alors g

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

M emoire de n d etude Ould Mohamed Lemine AHMED

() il existe une unique solution faible energie .

etp d enie (3.6) et(3.7) .

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

Anda mungkin juga menyukai