Professional Documents
Culture Documents
A 12 Ben
A 12 Ben
net/publication/363771544
CITATIONS READS
0 254
1 author:
Omar Benslimane
Sidi Mohamed Ben Abdellah University
19 PUBLICATIONS 124 CITATIONS
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
All content following this page was uploaded by Omar Benslimane on 23 September 2022.
Omar BENSLIMANE
Fez, Morocco
THESIS
Presented By
Omar BENSLIMANE
To obtain a
Doctorate in Mathematics
FD : Mathematics and Applications
Entitled :
=================================================
I thank my parents Said and Dounia, my sisters Zineb and Khaoula whose work could not have
been completed without their tireless support and encouragement. May they find in the completion
of this work the culmination of their efforts and the expression of my most affectionate gratitude.
With all my heart, I thank my beautiful family, but it is impossible for me to name them all here. I
would like to give special attention to my uncles Simohamed, Rachid and Nabil, for their
presence and their constant support for their affection and benevolence allowed me to accomplish
this work in serenity. A very special thought to my grandparents whom I know so proud and whom
I thank for their loving support.
My first thanks go to Professor Jaouad BENNOUNA, who supervised this thesis with a lot
of patience and kindness, he knew how to motivate each step with relevant remarks and knew how
to make me progress in my research. I thank him very deeply for his availability (even at a distance).
In the meantime, I would like to thank my co-supervisor Ahmed ABERQI for all that he has
given me during these three years, he not only supervised me, but also showed me how to build my
mathematical intuition, how to do mathematics properly, how I can have confidence in myself. He
made me want to love mathematics. His confidence was a driving force for me. He considered me as
his brother and his friend. I really enjoyed being one of his Ph.D. students. He was always available,
and he has never refused my requests. I learned a lot from him and I am grateful for everything.
I would also like to express my sincere gratitude and thanks to my collaborator, Professor Ma-
ria Alessandra RAGUSA from the Universitá di Catania-Italy for her interest in my work and for
her advice and comments which are always very pertinent, and her precious help throughout these
three years, and also for having accepted to be the rapporteur of this work. As well as for the pre-
cious time that she devoted to me in spite of all her occupations.
And I have the honor that Professor Abdelhak ELMAHI from C.R.M.E.F. Rabat, has accepted
to be the rapporteur of this work. A professor who has given a lot for mathematics and especially
for the Orlicz space. I would like to thank him infinitely for the interest he has shown in this work,
and for the precious time he has devoted to me in spite of all his occupations.
I would also like to thank Professor Youssef AKDIM from Sidi Mohamed Ben Abdellah Uni-
versity, who agreed to be the rapporteur for this thesis and to be part of the jury. I would like to
thank him warmly for the time he devoted to me.
I thank Professor El houssine AZROUL from Sidi Mohamed Ben Abdellah University, not
only because he accepted to do me the honor of chairing my jury, but also for having been one of
my professors during the years of License and Master.
All my gratitude to Professors Mounir MEKKOUR, and Adnane AZZOUZI from Sidi Mo-
hamed Ben Abdellah University, for having been accepted to be members of the jury, I am very
honored by their presence.
v
I would like to deeply thank Professor Abdelmoujib Benkirane from Sidi Mohamed Ben Ab-
dellah University, for accepting the invitation to participate and evaluate this work, even as a guest.
And for his continuous support to the students, as well as for all that he has brought to the Faculty
of Sciences Dhar-El Mahraz and to the Laboratory of Mathematical Analysis and Applications.
A big thanks to Professor El Hassan BENKHIRA form Moulay Ismail University, for his avai-
lability and his helpfulness,
My thanks also go to all my doctoral colleagues and friends who supported me, in particu-
lar Ismail FASSI FIHRI, Oussama MCHACHTI, Ghali Alaoui, Abdessamad BENLAHBIB,
Ghizlane Diki, and Fatine Tamri, as well as to all those who supported and encouraged me mo-
rally and materially from near or far.
Finally, I would like to express my gratitude and respect to all the professors and administrative
staff of the department of Mathematics of the Faculty of Sciences Dhar El Mahraz-Fez for their
welcome, for their help, and for their human and scientific qualities. Also to all the administrative
staff of the Specialized Institute of Public Works of Fez (ISTP-Fez), that I have the honor to be a
temporary professor of applied mathematics during these 3 years.
vi
Résumé
Au cours de la dernière décennie, une importante littérature traite de différents aspects des EDP
dont la partie principale de l’opérateur a une croissance de type puissance, l’exemple principal
étant le p-Laplacien. Il existe un large éventail de directions dans lesquelles le cas de la croissance
polynomiale a été développé, notamment les approches à exposant variable, convexe, pondérée et à
double phase.
L’objectif de cette thèse est d’appliquer ces approches à plusieurs espaces. Dans le premier
chapitre, nous rappelons les Définitions, propositions, Lemmes et Théorèmes pertinents et néces-
saires (et nous prouvons certains de ces Théorèmes) que nous utiliserons dans notre analyse. Dans le
deuxième chapitre, nous nous intéressons à la solvabilité des résultats d’existence et d’unicité d’une
classe d’équations elliptiques anisotropes avec le second terme, qui est un terme d’ordre inférieur
et de croissance non polynomiale ; décrit par un N-uplet de N-fonctions satisfaisant la condition ∆2
dans le cadre d’espaces de Sobolev-Orlicz anisotropes avec un domaine général. Ensuite, dans le
troisième chapitre, nous nous concentrons dans l’étude de l’existence et de l’unicité d’une classe de
problèmes elliptiques unilatéraux non linéaires (P) dans un domaine général, gérés par un terme
d’ordre bas et une croissance non polynomiale décrite par un N-uplet de N-fonction satisfaisant la
condition ∆2 . De plus, le terme source est simplement intégrable. Parmi le large champ dans lequel
le cas de la croissance polynomiale a été développé, nous avons introduit dans le quatrième chapitre
une nouvelle classe de problèmes d’approximation correspondant à une équation d’obstacle qua-
silinéaire, qui implique un opérateur elliptique général à exposants variables sous forme de diver-
gence, appelé opérateur d’obstacle à double phase à exposants variables, et sur la base du théorème
du Mountain Pass, des outils de l’analyse non lisse, et de certaines hypothèses appropriées, nous
prouvons l’existence de solutions faibles. L’étude de ce type de problèmes est à la fois importante
et pertinente. D’une part, nous avons la motivation physique, puisque l’opérateur à double phase a
été utilisé pour modéliser les solutions en régime permanent des problèmes de réaction-diffusion,
qui se présentent en biophysique, en physique des plasmas et dans l’étude des réactions chimiques.
D’autre part, ces opérateurs fournissent un paradigme utile pour décrire le comportement des ma-
tériaux fortement anisotropes, dont les propriétés de durcissement sont liées à l’exposant régissant
la croissance du gradient changent radicalement avec le point, où le coefficient µ(·) détermine la
géométrie d’un composite constitué de deux matériaux différents. Dans le dernier chapitre, nous
passons à un autre espace qui connaît actuellement un grand développement ; les variétés rieman-
niennes de Sobolev-Orlicz à exposant variable. Nous prouvons l’inégalité de Hölder, les résultats
d’encastrement continu et compact. De plus, nous étudions l’existence de solutions non négatives
non triviales pour une classe de problèmes à double phase où le terme source est une fonction de
Carathéodory qui satisfait la condition de type Ambrosetti-Rabinowitz comme application.
vii
Mots clés : Équation elliptique anisotropique, Problème d’obstacle, Solution entropique, Es-
paces de Sobolev-Orlicz anisotropes, Domaine général, Opérateur à double phase, Problèmes varia-
tionnels, Espaces d’Orlicz-Sobolev à exposant variable, Collecteur Riemannien de Sobolev-Orlicz,
Collecteur de Nehari, Existence et unicité.
viii
Abstract
Over the last decade, a large literature describes various aspects of PDEs whose main part of
the operator has power-type growth with the leading example of the p-Laplacian. There is a wide
range of directions in which the polynomial growth case has been developed, including variable
exponent, convex, weighted and double phase approaches.
The purpose of this thesis is to apply those approaches to a several spaces. In the first chapter,
we recall the relevant and the necessary Definitions, propositions, Lemmas and Theorems ( and
we prove some of these Theorems) that we will use in our analysis. In the second chapter, we are
interested to the solvability of the existence and uniqueness results of a class of anisotropic elliptic
equations with the second term, which is a low-order term and non-polynomial growth ; described
by an N-uplet of N-function satisfying the ∆2 -condition in the framework of anisotropic Sobolev-
Orlicz spaces with a general domain. Next, in the third chapter, we are focused in the study of
the existence and uniqueness of a class of nonlinear unilateral elliptic problem (P) in a general
domain, managed by a low-order term and non-polynomial growth described by an N-uplet of N-
function satisfying the ∆2 -condition. As well as, the source term is merely integrable. Among the
wide scope in which the case of polynomial growth has been developed, we have introduced in the
fourth chapter a new class of the approximating problems corresponding to a quasilinear obstacle
equations, which involves a general variable exponents elliptic operator in divergence form, called
double phase obstacle operator with variable exponents, and based on the mountain pass theorem,
tools from non-smooth analysis, and some suitable assumptions, we prove the existence of weak so-
lutions. The study of this type of problems is both significant and relevant. In the one hand, we have
the physical motivation ; since the double phase operator has been used to model the steady-state
solutions of reaction-diffusion problems, that arise in biophysic, plasma-physic and in the study of
chemical reactions. In the other hand, these operators provide a useful paradigm for describing the
behaviour of strongly anisotropic materials, whose hardening properties are linked to the exponent
governing the growth of the gradient change radically with the point, where the coefficient µ(·) de-
termines the geometry of a composite made of two different materials. In the last chapter, we pass to
another space which is currently undergoing a great development ; the Riemannian Sobolev-Orlicz
manifolds with variable exponents. We prove the Hölder inequality, the continuous and compact
embedding results. Furthermore, we study the existence of non-negative non- trivial solutions for a
class of double-phase problems where the source term is a Caratheodory function that satisfies the
Ambrosetti-Rabinowitz type condition as an application.
Key words : Anisotropic elliptic equation, Obstacle problem, Entropy solution, Sobolev–Orlicz
anisotropic spaces, General domain, Double phase operator, Variational problems, Variable ex-
ponent Orlicz-Sobolev spaces, Sobolev-Orlicz Riemannian manifold, Nehari manifold.
ix
Symbol Description
∀ for all
∃ there exists
≡ equivalent
∑ summation
N set of natural numbers
R set of real numbers
N positive integer greater than or equals to 1
RN Euclidean space of N-dimensional vectors
Ω open bounded subset of RN
∂Ω boudary of Ω
C(Ω) the spaces of continuous functions on Ω
C∞ (Ω) the spaces of infinitely differentiable functions on Ω
C0∞ (Ω) infinitely differentiable functions with compact support on Ω
ω unbouded domain
W̊B1 (Ω) Sobolev–Orlicz anisotropic space
B N-function
M Manifolds
M closure of M
P(M) the set of all measurable functions p(·) : M → (1, ∞)
P log (M) the set of log-Hölder continuous variable exponents
g Riemannian metric
∇u gradient of a function u
a.e almost everywhere
−→ strong convergence
⇀ weak convergence
,→ continuous embedding
,→,→ compact embedding
X arbitrary Banach space
X′ dual space of the Banach space X
supp f support of function u
⟨, ⟩ scalar product of RN , duality between X and X ′
xi
Introduction
For several years, great efforts have been devoted to the study of nonlinear elliptic equations
with an operator described by polynomial growth, which is motivated, for example, in the classical
Sobolev space, not only by the description of many phenomena appearing in the applied sciences,
due to the study of fluid filtration in porous media, constrained heating, elasto-plasticity, optimal
control, financial mathematics, and others. Interested readers may refer to [14, 19, 23, 45] and
the references therein for more background of applications. But also by the mathematical impor-
tance in the theory of this space. In addition, there is a vast literature describing various aspects
of PDEs whose main part of the operator has a power-like growth with the preeminent example
of the p-Laplacian. There is a wide range of directions in which the polynomial growth case has
been developed, including variable exponent, convex, weighted, and double-phase approaches. For
example, the double phase problem. Zhikov was the first who studied this type of problem in order
to describe models of strongly anisotropic materials by studying the functional
Z
u 7−→ (|∇u| p + µ(x)|∇u|q ) dx, (1)
Ω
where the integrand switches two different elliptic behaviours. For more results see [105–107].
Then, several interesting works have been carried out on the double phase problem with a Dirichlet
boundary condition. For a deeper comprehension, we refer the reader to [49, 65, 80, 82, 88, 100–
103] and the references therein.
In the anisotropic Sobolev-Orlicz space ; a space almost as old as the classical Sobolev space as
we know it today, constructed by Krasnosel’skii, and Rutickii [76] in 1968 and recently developed
by Cianchi [48] in 2000. The most exhaustive studies on this space were developed in several
interesting works. For example, Kozhevnikova in [74] established the existence of entropy solutions
to the following problem :
N
∑ ( ai (x, ∇u) )xi = a0 (x, u) in Ω,
(P1 ) i=1
u(x) = ψ(x)
on ∂ Ω,
with a0 (x, ψ) ∈ L1 (Ω), the function b(x, s0 ) satisfies the Carathéodory condition and decreases in
xiii
s0 ∈ R, b(x, ψ) = 0 for all x in Ω, therefore ∀x ∈ Ω, s0 ∈ R
The author also supposed two other conditions ; the first one
In [75] Kozhevnikova proved again the existence of entropy solution to the following second-order
anisotropic quasilinear elliptic equation :
N
∑ ( ai (x, u, ∇u) )x − a0 (x, u, ∇u) = 0
i in Ω,
(P2 ) i=1
u = 0
on ∂ Ω,
where ai (x, s0 , s), i = 0, · · · , Nare Carathéodory functions. In [47] Chmara and Maksymiuk, shown
the existence of periodic solution for Euler-Lagrange equation, with the lagrangian consists of ki-
netic part (an anisotropic G-function), potential part K −W and a forcing term, using the Mountain
Pass Theorem. Then, they consider two situations : G satisfying ∆2 ∩ ∇2 in infinity and globally, and
finally, they give conditions on the growth of the potential near zero for both situations. For more
results, we refer the reader to [4, 13, 15, 20, 26, 28, 29, 31, 36, 46, 66] and the references therein.
All these previous relevant contributions in which the exponent p = cste, lead us to study the
theories and applications of Lebesgue-Sobolev spaces with variable exponent, and the Sobolev-
Orlicz with variable exponent in complete compact Riemannian manifolds in which the exponent
p(x) is a function. The first spaces was introduced by Orlicz [86] in 1931, and he was interested in
the study of function spaces that contain all measurable functions u : Ω → R such that
Z
ρ(λ u) = φ (λ |u(x)|) dx,
Ω
for some λ > 0 and φ satisfying some natural assumptions, where Ω is an open set in RN . Then, in
1999, Fan and Zhao [61], presented some basic results on the generalized Lebesgue spaces L p(x) (Ω)
and generalized Lebesgue-Sobolev spaces W 1,p(x) (Ω). After that, the same authors in [60, 62] pro-
ved some embedding theorems for space W 1,p(x) (Ω) like the compact embedding theorems with
symmetry of Strauss-Lions type, we refer also to [73] for more results. As a wide range of direc-
tions in which the polynomial growth case has been developed, we have the double phase problems
with variable exponent, which were announced by Ragusa and Tachikawa in [91–95], they have
achieved the regularity theory for minimizers of (1) with variable exponent. After that, these types
of problems have been attacked by several researchers, we refer the reader to [27, 30, 44, 97, 98] for
a deeper comprehension. When p = p(x), the previous space is called by the Sobolev spaces with
anisotropic variable exponent, was introduced by Mihăilescu, Pucci, and Rădulescu in [83, 84].
Moreover, one of the first contributions in this direction is due to Fragalà, Filippo, and Bernd in
xiv
[58]. The necessity of such theory appears naturally when we want to consider materials with inho-
mogeneities that behave differently in different directions in space. Since this subject is relatively
new, only few papers have been published, see for example [6, 10, 37, 42, 51, 54, 56, 59, 71] and
the references therein. Finally, we move on to Sobolev-Orlicz with variable exponent in complete
compact Riemannian manifolds. This space is currently undergoing great development. Moreover,
analysis proves to be a very powerful tool for solving geometrical problems. Conversely, geome-
try may help us to solve certain problems in analysis, as pointed out in Gaczkowski, Górka, and
Pons [63, 64], they are presented many results in the theory of Sobolev space for compact and non-
compact manifolds. For more details we quote [1, 2, 7, 8, 16, 30, 68] and the references therein.
Our Goal
Our objective in this thesis is to establish a more involved version of equations (P1 ) and (P2 )
given by (P) (see chapter 2 below), which is managed by low-order term and non-polynomial
growth ; described by an N-uplet of N-function satisfying the ∆2 −condition, the source f is merely
integrable. Using an approximation procedure and some priori estimates, we proved the existence
and uniqueness of entropy solution to the problem (P) in the general domain. Next, we prove the
existence and uniqueness of a class of nonlinear unilateral elliptic problems like
N
A(u) +
∑ bi (x, u, ∇u) = f in Ω ,
i=1
u ≥ ψ
a.e in Ω ,
in a general domain too, managed by a low-order term and non-polynomial growth described by
an N-uplet of N-function satisfying the ∆2 -condition, and the obstacle ψ is a measurable function
belongs to L∞ (Ω) ∩ W̊B1 (Ω). The source term is merely integrable. Moving on to the Sobolev-Orlicz
space with variable exponent. We introduce a new class of the approximating problems correspon-
ding to a quasilinear obstacle equation, which involves a general variable exponent elliptic operator
in divergence form, called double phase obstacle operator with variable exponents, and based on the
mountain pass theorem, tools from non-smooth analysis, and some suitable assumptions, we prove
the existence of weak solutions. Finally, we go to another novel space ; the Sobolev-Orlicz spaces
with variable exponents in complete compact Riemannian n-manifolds, and we prove the Hölder
inequality, the continuous and compact embeddings. Moreover, using the method of Nehari mani-
fold combined with the fibering maps, we prove the existence of non-negative non-trivial solutions
to a class of double-phase problems where the source term is a Caratheodory function that satisfies
the Ambrosetti-Rabinowitz type condition.
Outline
This thesis is composed of six chapters :
— In the first chapter, we give all necessary and relevant Defintions, Properties, Lemmas and
Theorems (and we prove some of these theorems) that help us in our analysis.
xv
— In the second chapter, we study the existence and the uniqueness solution of an anisotro-
pic elliptic problems with the second term, which is a low-order term and non-polynomial
growth ; described by an N-uplet of N-function satisfying the ∆2 -condition in the framework
of anisotropic Sobolev-Orlicz spaces with a general domain.
— In the third chapter, we prove the existence and the uniqueness solution of an unilateral aniso-
tropic elliptic problem, in general domain, managed by a low-order term and non-polynomial
growth ; described by an N-uplet of N-function satisfying the ∆2 -condition.
— In the fourth chapter, we introduce a new class of the approximating problems corresponding
to a quasi-linear obstacle equations, which involves a general variable exponents elliptic ope-
rator in divergence form, called double phase obstacle operator with variable exponents, and
we demonstrate the existence of the solutions.
— In the Final chapter, we prove the Hölder’s inequality, the continuous and compact embed-
ding of the Sobolev-Orlicz spaces with variable exponents in complete compact Riemannian
n-manifolds and as an application, we establish the existence of non-negative non-trivial so-
lutions to a double phase problems using the Nehari manifold method.
xvi
Table des matières
Acknowledgments v
Résumé vii
Abstract ix
Symbol Description xi
Introduction xiii
1 Preliminaries 1
1.1 Anisotropic Sobolev-Orlicz space . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 N-Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2 Anisotropic Sobolev-Orlicz space . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Sobolev space on Riemannian manifolds . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 Definitions and Propositions . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.2 Some Embeddings results . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Variable exponents Lebesgue spaces . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3.1 Definitions and Propositions . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3.2 Theory of Sobolev-Orlicz spaces with variable exponents . . . . . . . . . . 12
1.4 Sobolev-Orlicz Riemannian manifold with variable exponents . . . . . . . . . . . 16
1.4.1 Definitions and Propositions . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4.2 Embdeddings results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.4.3 The weighted variable exponent Lebesgue space . . . . . . . . . . . . . . 23
xvii
xviii Table des matières
4 Existence Results for double phase obstacle problems with variable exponents 123
4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
4.2 Properties of functionals and mains results . . . . . . . . . . . . . . . . . . . . . . 126
5 Existence Results for double phase problem in Sobolev-Orlicz spaces with variable
exponents in Complete Manifold 133
5.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
5.2 Nehari Manifold Analysis for (P) . . . . . . . . . . . . . . . . . . . . . . . . . . 135
5.3 Existence of non-negative solutions . . . . . . . . . . . . . . . . . . . . . . . . . 143
Bibliography 148
Bibliographie 149
1
Preliminaries
This chapter is devoted to recalling some definitions and proving some results that will play a
In this section, we briefly review some basic facts about Sobolev-Orlicz anisotropic space which
anisotropic space can be found in the work of M.A Krasnoselskii and Ja. B. Rutickii [76] and [48].
1.1.1 N-Functions
1
2 Chapitre 1. Preliminaries
θ −→ ∞.
Z |θ |
Its conjugate is noted by B̄(θ ) = q(t) dt with q also satisfies all the properties already quoted
0
from b, with
Definition 1.1.2. The N-function B(θ ) satisfies the ∆2 −condition if ∃ c > 0, θ0 ≥ 0 such as
Definition 1.1.3. The N-function B(θ ) satisfies the ∆2 −condition as long as there exists positive
Proposition 1.1.1.
The Orlicz space LB (Ω) is defined as equivalence classes modulo the equality a.e on Ω of real
u(x)
Z Z
B(u(x)) dx < +∞ (resp. B dx < +∞ for some k > 0).
Ω Ω k
The Orlicz space LB (Ω) provided with the norm of Luxemburg given by
u(x)
Z
|| u ||B, Ω = inf k > 0/ B dx ≤ 1 . (1.8)
Ω k
u(x)
Z
B dx ≤ 1, (1.9)
Ω || u ||B, Ω
and
Z
|| u ||B, Ω ≤ B(|u|) dx + 1. (1.10)
Ω
Moreover, the Hölder’s inequality holds and we have for all u ∈ LB (Ω) and v ∈ LB̄ (Ω)
Z
u(x) v(x) dx ≤ 2 || u ||B,Ω . || v ||B̄, Ω . (1.11)
Ω
Proposition 1.1.2. [48, 76] If P(θ ) and B(θ ) are two N-functions such as P(θ ) ≪ B(θ ) and
And for all N-functions B(θ ), if meas Ω < ∞, then L∞ (Ω) ⊂ LB (Ω) with
Also for all N-functions B(θ ), if meas Ω < ∞, then LB (Ω) ⊂ L1 (Ω) with
We define for all N-functions B1 (θ ), · · · , BN (θ ) the space of Sobolev-Orlicz anisotropic W̊B1 (Ω)
4 Chapitre 1. Preliminaries
N
|| u ||W̊ 1 (Ω) = ∑ || uxi ||Bi , Ω . (1.15)
B
i=1
Definition 1.1.4. A sequence { um } is said to converge modularly to u in W̊B1 (Ω) if for some k > 0
we have
um − u
Z
B dx −→ 0 as m −→ ∞. (1.16)
Ω k
Remark 1. Since B satisfies the ∆2 −condition, then the modular convergence coincide with the
norm convergence.
Remark 2. If the doubling condition is imposed on the modular function, but not on the conjugate,
then the space for the solutions to exist is non-reflexive in general. For this raison we will assume in
the remainder of this thesis that B satisfies the both conditions ; ∆2 −condition and ∇2 −condition,
Proposition 1.1.3. [76] The Sobolev-Orlicz anisotropic space W̊B1 (Ω) is complete and reflexive.
Lemma 1.1.1. [67] For all u ∈ W̊L1B (Ω) with meas Ω < ∞, we have
|u|
Z Z
B dx ≤ B( | ∇u | ) dx,
Ω λ Ω
h(t)
Z ∞
dt = ∞, (1.17)
1 t
N−1
then, W̊B1 (Ω) ⊂ LB∗ (Ω) and || u ||B∗ ,Ω ≤ N || u ||W̊ 1 (Ω) .
B
If
h(t)
Z ∞
dt < ∞,
1 t
1.2. Sobolev space on Riemannian manifolds 5
h(t)
Z ∞
then, W̊B1 (Ω) ⊂ L∞ (Ω) and || u ||∞,Ω ≤ β || u ||W̊ 1 (Ω) , with β = dt.
B 0 t
Z |z|
For each N-function Bi (z) = bi (t) dt obeys the further condition
0
bi (α θ )
lim inf = ∞ , i = 1, · · · , N. (1.18)
α→∞ θ > 0 bi (α)
Example 1.
Lemma 1.1.3. Suppose that (X, T , meas) is a measurable set such that mes(X) < ∞. Let θ : X −→
[0, +∞] be a measurable function such that meas{ x ∈ X : θ (x) = 0 } = 0. Then, for any ε > 0, there
meas(Ω) ≤ ε.
This section is devoted to the reminder of some basic definitions and properties of Sobolev
spaces on Riemannian manifolds, as well as to the proof of some lemmas, which will help us in our
analysis in chapter 5.
Definition 1.2.1. [16] A Riemannian metric g on M is a smooth (2, 0)−tensor field on M such that
1 ∂ gm j ∂ gmi ∂ gi j
ΓKij (x) = x
+ x
− . g(x)mk ,
2 ∂ xi ∂xj ∂ xm x
6 Chapitre 1. Preliminaries
Definition 1.2.3. [16] Given (M, g) a smooth Riemannian manifold, and γ : [a, b] −→ M a curve of
Z br
dγ dγ
l(γ) = g(γ(t)) . . dt,
a dt t dt t
dg (x, y) = inf l(γ) : γ : [a, b] −→ M such that γ(a) = x and γ(b) = y .
Definition 1.2.4. [16] Let (M, g) be a smooth Riemannian manifold. For K integer, and u : M −→ R
a local chart by
Since ( ∇u )i = ∂i u, then
( ∇2 u )i j = ∂i j u − ΓKij ∂K u.
And For p ≥ 1 a real, K a positive integer, we define the Sobolev space as follow
Z
p p
L (M) = u : M −→ R measurable / | u | dv(g) < ∞ .
M
Z
CKp (M) = ∞
u ∈ C / ∀ j = 0, · · · , K, j p
| ∇ u | dv(g) < +∞ ,
M
K Z 1p
j p
|| u ||W K,p = ∑ | ∇ u | dv(g) .
j=0 M
Definition 1.2.5. [16] The Sobolev space W K,p (M) is the completion of CKp (M) with respect to
|| u ||W K,p = || ∇u || p + || u || p .
1.2. Sobolev space on Riemannian manifolds 7
Z 1p
p
|| u || p = | u | dv(g) .
M
So :
1/ Any Cauchy sequence in CKp (M), || · ||W K,p is a Cauchy sequence in the Lebesgue space
L p (M), || · || p .
2/ Any Cauchy sequence in CKp (M), || · ||W K,p that converges to 0 in the Lebesgue space
Proposition 1.2.2. [16, 70] For any K integer, W 2,K (M) is a Hilbert space when equipped with the
equivalent norm v
uK Z
u
|| u || = t ∑ | ∇ j u |2 dv(g),
j=0 M
K Z
⟨u, v⟩ = ∑ ⟨∇ j u, ∇ j v⟩ dv(g),
j=0 M
Proposition 1.2.4. [16, 70] Let (M, g) be a complete compact Riemannian n-manifold. Then, if the
n
embedding L11 (M) ,→ L n−1 (M) holds, then whenever the real numbers q and p satisfy
1 ≤ q < n,
and
nq
q ≤ p ≤ q∗ = ,
n−q
Lemma 1.2.1. [16, 70] Let (M, g) be a smooth compact Riemannian n-manifold. Given p, q two
real numbers with 1 ≤ q < p and given K, m two integers with 0 ≤ m < K. If 1
p = 1q − ( k−m
n
)
8 Chapitre 1. Preliminaries
1 1
In particular, for any q ∈ [1, n) real, W 1,q (M) ⊂ L p (M) where p = q − 1n .
So, ∃ c > 0 such that for any u ∈ D(RN ) (the set of smooth functions with compact support in RN ),
1 1 1
|| u || p ≤ c || u ||W 1,q . with ≥ −
p q n
1 when ζ ≤ 0 ,
h(ζ ) = 1 − ζ when 0 ≤ ζ ≤ 1 ,
when ζ ≥ 1 ,
0
and let u ∈ C1p (M) where p is a real number greater than or equal to 1. Let x, y ∈ M and set
where dg is the Riemannian distance associated to g, i ∈ N just note that, if (M, g) be a Rieman-
nian manifold and u : M −→ R a Lipschitzian function on M which equals zero outside a compact
subset of M, then u ∈ W (M) ∀p ≥ 1 . Thus, ui ∈ W 1,p (M) ∀i and ui = 0, hence, for all i we
1,p
Z 1p Z 1p
p p
| ui − u | dv(g) ≤ | u | dv(g) ,
M M\Bx (i)
and
Z 1p Z 1p Z 1p
p p p
| ∇( ui − u ) | dv(g) ≤ | ∇u | dv(g) + | u | dv(g) .
M M\Bx (i) M\Bx (i)
1.2. Sobolev space on Riemannian manifolds 9
Lemma 1.2.3. [16] Given (M, g) a smooth, complete Riemannian manifold, the set D(M) of smooth
Z n−1
n
Z
n
|u| n−1 dv(g) ≤c | ∇u | + | u | dv(g).
M M
Lemma 1.2.4. Let (M, g) be a smooth complete Riemannian n-manifold. Suppose that
n
W 1,1 (M) ⊂ L n−1 (M), then for any numbers real 1 ≤ q < p and any integers 0 ≤ m < K such that
1 1 K−m
p = q − n , we have
n
Proof. By Remark 3, if W 1,1 (M) ⊂ L n−1 (M), then there exists c > 0 such that ∀u ∈ W 1,1 (M), we
have
Z n−1
n
Z
n
|u| n−1 dv(g) ≤c | ∇u | + | u | dv(g).
M M
p
Let q ∈ (1, n), 1
p = 1
q − 1
n and u ∈ D(M), and let ϕ = | u | p − n . By Hölder’s inequality we obtain
that
Z n−1
n
Z n−1
n
n
p
| u | dv(g) = |ϕ | n−1 dv(g)
M M
Z
≤c | ∇ϕ | + | ϕ | dv(g)
M
c p(n − 1)
Z Z
′ p
= | u | p | ∇u | dv(g) + c | u | p− n dv(g)
n M M
Z 1′ Z 1q
c p(n − 1) ′ ′ q
≤ | u | p q dv(g) | ∇u |q dv(g)
n M M
Z 1′ Z 1q
q
p′ q′ q
+c | u | dv(g) | u | dv(g) .
M M
p′
where, 1
q + 1
q′ = 1 and 1 = 1
n + p − 1p . Moreover, p′ q′ = p since 1
p = 1
q − 1n . Hence, we deduce
10 Chapitre 1. Preliminaries
that
Z 1p Z 1q Z q1
p c p(n − 1) q q
| u | dv(g) ≤ | ∇u | dv(g) + | u | dv(g) . (1.19)
M n M M
n
Remark 4. The fact that W 1,1 (M) ⊂ L n−1 (M) implies that there is a lower bound for the volume of
Proposition 1.2.5. [16, 70] • Since M is compact, M can be covered by finite numbers of charts
1
δ i j ≤ gm
i j ≤ 2 δi j ,
2
as bilinear forms.
• Since M is assumed to be compact, (M, g) has finite volume. Hence, for 1 ≤ q ≤ q′ , we have
′
Lq (M) ⊂ Lq (M).
Lemma 1.2.5. [16] Let (M, g) be a smooth compact Riemannian manifold of n-dimension. Given
1 1
p, q two real numbers with 1 ≤ q < n and p ≥ 1 such that p > q − 1n . The inclusion W 1,q (M) ⊂
L p (M) is compact.
Lemma 1.2.6. [16] Let q ≥ 1 be real and let m < K be two integers.
1 ( K−m )
• If q − n > 0. Then,
1 1 ( K−m )
where p = q − n .
1 ( K−m )
• If q − n < 0. Then,
where CBm (RN ) denotes the space of functions u : RN −→ R of class C m for which the norm,
m
|| u ||C m = ∑ sup | Dα u(x) | is finite.
| α | = 0 x∈RN
1.3. Variable exponents Lebesgue spaces 11
Lemma 1.2.7. [16] Let (M, g) be a smooth compact Riemannian n-manifold, q ≥ 1 real and m < K
two integers. If 1
q < K−m
n then, W k,q (M) ⊂ C m (M). Where
m
|| u ||C m = ∑ max | ∇ j u(x) |.
x∈M
j=0
subset of RN which are called the Lebesgue spaces with variable exponents and the Sobolev spaces
with variable exponents setting, which can be found in [9, 18, 61, 62] and references therein.
Let Ω be a bounded open subset of RN (N ≥ 2), we define the Lebesgue space with variable
exponent Lq(·) (Ω) as the set of all measurable function u : Ω 7−→ R for which the convex modular
Z
ρq(·) (u) = | u(x) |q(x) dx,
Ω
is finite. If the exponent is bounded, i.e if q+ = ess sup{ q(x)/x ∈ Ω } < +∞, then the expression
u
|| u ||q(·) = inf λ > 0 : ρq(·) ≤1 ,
λ
Proposition 1.3.1. The space (Lq(·) (Ω), || . ||q(·) ) is a separable Banach space.
Remark 5. If 1 < q− ≤ q+ < +∞, then Lq(·) (Ω) is uniformly convex, where q− = ess in f { q(x)/x ∈
′
1
Ω }, hence reflexive, and its dual space is isomorphic to Lq (·) (Ω) where q(x) + q′ 1(x) = 1.
′
Proposition 1.3.2. ( Hölder type inequality ) For all u ∈ Lq(·) (Ω) and v ∈ Lq (·) (Ω), we have
1 1
Z
u v dx ≤ −
+ ′ − || u ||q(·) || v ||q′ (·) .
Ω q (q )
Proposition 1.3.3. The space (W 1,q(·) (Ω), || · ||1,q(·) ) is separable and reflexive Banach space.
1,q(·)
We denote by W0 (Ω) the closure C0∞ (Ω) in W 1,q(·) (Ω).
Proposition 1.3.4. [60] ( Poincaré inequality ) If q ∈ C+ (Ω), then there is a constant c > 0 such
that
1, q(x)
|| u ||q(x) ≤ c || | ∇u | ||q(x) , ∀u ∈ W0 (Ω).
Where, C+ (Ω) = q/q ∈ C(Ω), q(x) > 1 for x ∈ Ω .
1,q(x)
Consequently, || u || = || | ∇u | ||q(x) and || u ||1, q(x) are equivalent norms on W0 (Ω).
In this part, we recall some relevant definitions and properties that will help us in our analysis in
chapter 4. For the convenience of the readers and for the sake of completeness, we recall the proofs
of some results.
Definition 1.3.2. We define the following real valued linear space as follows
|u|L p(·) (Ω)+Lq(·) (Ω) = inf |v|L p(·) (Ω) + |w|Lq(·) (Ω) / v ∈ L p(·) (Ω), w ∈ Lq(·) (Ω), u = v + w .
(1.20)
|u|L p(·) (Ω)∩Lq(·) (Ω) = max |u|L p(·) (Ω) , |u|Lq(·) (Ω) .
1.3. Variable exponents Lebesgue spaces 13
We denote
Proposition 1.3.5. Let Ω ⊂ RN and u ∈ L p(·) (Ω) + Lq(·) (Ω). Assume that (A1 ) - (iv) are true. Then,
(f) If B ⊂ Ω, then, |u|L p(·) (Ω)+Lq(·) (Ω) ≤ |u|L p(·) (B)+Lq(·) (B) + |u|L p(·) (Ω\B)+Lq(·) (Ω\B) .
(g) We have
q(ζ )
1
|u|L p(·) (Du ) , c min |u|Lq(·) (Duc ) , |u|Lp(ζq(·)) (D c )
max 1 1
− q(ζ u
1 + 2 |Du | p(ζ ) )
′ ′
Proof. Let v ∈ L p(·) (Ω) and w ∈ Lq(·) (Ω) such that u = v + w, then v ∈ L p (·) (Ω′ ) and w ∈ Lq (·) (Ω′ ).
(a) To show that u ∈ L p(·) (Ω′ ), it is enough to show that w ∈ L p(·) (Ω′ ). And by Young’s inequality,
(b) To prove u ∈ Lq(·) (Ω′ ), it is sufficient to prove that v ∈ Lq(·) (Ω′ ). For that, we have
Z Z
q(x)
|v(x)| dx = |v(x)|q(x)−p(x) |v(x)| p(x) dx
Ω′ Ω′
Z
q+ −p−
≤ (1 + | sup v|) |v(x)| p(x) dx < +∞.
Ω′
get
p+ +q+
1
Z
p(x) q(x)
+∞ > |u| + |w| dx ≥ |Du |.
Ω 2
(e) Let u ∈ L p(·) (Ω) + Lq(·) (Ω), we consider a minimizing sequence for u, namely vn ∈ L p(·) (Ω)
lim |vn |L p(·) (Ω) + |wn |Lq(·) (Ω) = |u|L p(·) (Ω)+Lq(·) (Ω) .
n→+∞
Then, by the reflexibility of L p(·) (Ω) and Lq(·) (Ω), there exist v0 ∈ L p(·) (Ω) and w0 ∈ Lq(·) (Ω)
such that vn ⇀ v0 in L p(·) (Ω) and wn ⇀ w0 in Lq(·) (Ω). By lower continuity, we have
|u|L p(·) (Ω)+Lq(·) (Ω) = lim |vn |L p(·) (Ω) + |wn |Lq(·) (Ω)
n→+∞
≥ lim inf |vn |L p(·) (Ω) + lim inf |wn |Lq(·) (Ω)
n→+∞ n→+∞
|u|L p(·) (Ω)+Lq(·) (Ω) = |v0 |L p(·) (Ω) + |w0 |Lq(·) (Ω) .
and
1 1
− q(ζ
|u|L p(·) (Du ) ≤ 2|Du | p(ζ ) ) |w|Lq(·) (Du ) ∀ζ ∈ Ω.
1.3. Variable exponents Lebesgue spaces 15
It follows that
1 1
− q(ζ
|u|L p(·) (Du ) ≤ |v|L p(·) (Du ) + |w|L p(·) (Ω) ≤ 1 + 2|Du | p(ζ ) ) |u|L p(·) (Du )+Lq(·) (Du )
1 1
− q(ζ
≤ 1 + 2|Du | p(ζ ) ) |u|L p(·) (Ω)+Lq(·) (Ω) ,
Evidently, 0 ≤ w ≤ 1 on Duc . We denote σ p = |w|L p(·) (Duc ) and σq = |w|Lq(·) (Duc ) . According to
q(ζ )
q(ζ )
|u|L p(·) (Duc )+Lq(·) (Duc ) = |v|L p(·) (Duc ) + |w|Lq(·) (Duc ) ≥ |v|Lp(ζq(·)) (D c ) + |w|Lq(·) (Duc )
u
q(ζ )
Proposition 1.3.6. [103] Assume that assumptions (A1 )-(iv) are true. Then
′
L p (·) (Ω) + Lq(·) (Ω), | · |L p′ (·) (Ω)+Lq(·) (Ω) is a reflexive Banach space.
Now, we consider
Proposition 1.3.7. [103] Under assumptions (A1 )-(iv). (X(Ω), ||u||Ω ) is a reflexive and a Banach
space.
16 Chapitre 1. Preliminaries
′
Theorem 1.3.1. [103] Suppose that hypotheses (A1 )-(iv), 1 ≪ p∗ (·) qp′(·)
(·) hold, α satisfies 1 ≪
′
α(·) ≪ p∗ (·) N−1 ∗ q (·)
N and 1 ≪ α(·) ≤ p p′ (·) . Then, the space X(Ω) is continuously embedded into
∗ (·)
Lp (Ω).
′
Proposition 1.3.8. Assume that hypotheses (A1 )-(iv), 1 ≪ p∗ (·) qp′(·)
(·) hold, α satisfies 1 ≪ α(·) ≪
′
p∗ (·) N−1 ∗ q (·)
N and 1 ≪ α(·) ≤ p p′ (·) . The following properties are true :
(iii) For any u ∈ X(Ω), there exists a sequence {un } ⊂ Cc∞ (Ω) such that un → u in X(Ω).
(ii) Using the mollifiers method, we get that uε → u in Lα(·) (Ω) as ε → 0. Moreover, if ∇u = a+b,
|∇uε − ∇u|L p(·) (Ω)+Lq(·) (Ω) ≤ |a ∗ jε − a|L p(·) (Ω) + |b ∗ jε − b|Lq(·) (Ω) → 0.
Hence, uε −→ u in X(Ω).
(iii) We can easily conclude the proof of this step, by using the above results (i) and (ii).
In this section, we begin with a brief description of the Lebesgue Riemannian manifolds and
Sobolev Riemannian manifolds spaces with variable exponents. A detailed insight into the these
spaces and a review of the bibliography can be found in [1, 2, 16, 63, 68, 70]
In the following, all the manifolds we consider are smooth, and we will use the following
Definition 1.4.1. Let (M, g) be a smooth Riemannain n-manifolds and let ∇ be the Levi-Civita
• The torus T n .
Definition 1.4.2. To define variable Sobolev spaces, given a variable exponent q in P(M) ( the set
q(·)
Ck (M) = u ∈ C∞ (M) such that ∀ j 0 ≤ j ≤ k | ∇ j u | ∈ Lq(·) (M) .
q(·)
On Ck (M) define the norm
k
|| u ||Lq(·) (M) =
k
∑ || ∇ j u ||L q(·) (M) .
j=0
q(·) q(·)
Definition 1.4.3. The Sobolev spaces Lk (M) is the completion of Ck (M) with respect to the
q(·) q(·)
norm || u ||Lq(·) . If Ω is a subset of M, then Lk,0 (Ω) is the completion of Ck (M) ∩ C0 (Ω) with
k
respect to ||.||Lq(·) , where C0 (Ω) denotes the vector space of continuous functions whose support is
k
a compact subset of Ω.
and for a pair of points x, y ∈ M, we define the distance dg (x, y) between x and y by
dg (x, y) = inf l(γ) : γ : [ a, b ] → M such that γ(a) = x and γ(b) = y .
18 Chapitre 1. Preliminaries
c
| s(x) − s(y) | ≤ .
1
log e + dg (x,y)
We note by P log (M) the set of log-Hölder continuous variable exponents. The relation between
Proposition 1.4.1. [16, 63, 70] Let q ∈ P log (M), and let (BR (q), φ ) be a chart such that
1
δi j ≤ gi j ≤ 2 δi j
2
as bilinear forms, where δi j is the delta Kronecker symbol. Then qoφ −1 ∈ P log (φ (B R (q))).
3
′
Proposition 1.4.2. ( Hölder’s inequality ) For all u ∈ Lq(·) (M) and v ∈ Lq (·) (M) we have
Z
| u(x) v(x) | dvg (x) ≤ rq || u ||Lq(·) (M) . || v ||Lq′ (·) (M) .
M
Proof. Obviously, we can suppose that ||u||Lq(x) (M) ̸= 0 and ||v||Lq′ (x) (M) ̸= 0, we have
q(x)
u(x) . v(x) 1 |u(x)|
≤
||u(x)||Lq(x) (M) . ||v(x)||Lq′ (x) (M) q(x) ||u(x)||Lq(x) (M)
q′ (x)
1 |v(x)|
+ ′
q (x) ||v(x)||Lq′ (x) (M)
Z q(x)
| u(x) . v(x) | 1 |u(x)|
Z
dvg (x) ≤ − dvg (x)
M ||u(x)|| q(x)
L (M) . ||v(x)|| ′
Lq (x) (M) q M ||u(x)||Lq(x) (M)
Z q′ (x)
1 |v(x)|
+ 1− + dvg (x)
q M ||v(x)||Lq′ (x) (M)
1 1
≤ 1+ − ,
q− q+
1.4. Sobolev-Orlicz Riemannian manifold with variable exponents 19
then, using the same technique as in the proof of Theorem 1.15 in [61], we get that
1 1
Z
| u(x) . v(x) | dvg (x) ≤ 1 + −
+ + ||u(x)||Lq(x) (M) . ||v(x)||Lq′ (x) (M)
M q q
≤ rq ||u(x)||Lq(x) (M) . ||v(x)||Lq′ (x) (M) ,
Remark 7. If a and b are two positive functions on M, then by Hölder’s inequality and [60, 63] we
have
2 2
q− 2q− −q− q− 2q− −q−
Z
a 2 b 2 ≤ 2 || 1q− <2 a 2 || 2 . || 1q− <2 b 2 || 2 . (1.21)
q− <2 L q− L 2−q−
2 q−
|| 1q− <2 a q− || 2 ≤ max{ ρ1 (a), ρ1 (a) 2 }
L q−
and
2
2q− −q− 2−q−
|| 1q− <2 b 2 || 2 ≤ max{ ρq(·) (b) 2 , 1 },
L 2−q−
we get,
2
q− 2q− −q− q− 2−q−
Z
a 2 .b 2 ≤ 2 max { ρ1 (a), ρ1 (a) 2 } max { ρq(·) (b) 2 , 1 }. (1.22)
q− <2
Definition 1.4.6. We say that the Riemannian n-manifold (M, g) has property Bvol (λ , v) where λ is
the dimension of M.
• There exists some v > 0 such that | B1 (x) |g ≥ v ∀x ∈ M, where B1 (x) are the balls of radius
Remark 8. The first condition in the definition 1.4.6, is very necessary for the Sobolev estimates to
be true.
Remark 9. If M = Ω ⊆ RN is a bounded open set, then the following inequality is related to the
This condition is essential, among others, for the embeddings of spaces to be satisfied.
Proposition 1.4.3. [16, 70] Assume that the complete compact Riemannian n-manifold (M, g) has
property Bvol (λ , v) for some (λ , v). Then there exist positive constants δ0 = δ0 (n, λ , v) and A =
q
A(n, λ , v), we have, if R ≤ δ0 , if x ∈ M if 1 ≤ q ≤ n, and if u ∈ L1,0 ( BR (x) ) the estimate
|| u ||L p ≤ A p || ∇u ||Lq ,
1
where p = q1 − n1 .
We can extend the above proposition from the case when exponents p and q are constant, to the
Proposition 1.4.4. Assume that for some (λ , v) the complete compact Riemannian n-manifold
(M, g) has property Bvol (λ , v). Then there exist positive constants δ0 = δ0 (n, λ , v) and A = A(n, λ , v),
q(·)
we have, if R ≤ δ0 , if x ∈ M if 1 ≤ q(·) ≤ n, and if u ∈ L1,0 ( BR (x) ) the estimate
p(·)
where q(·) < 1 + 1n .
Proof. To demonstrate this Proposition, we use the same technique as proposition 1.4.3, for more
1,q(x)
In the following, we denote for all u ∈ W0 (M) that
Z Z
ρ p(·) (u) = |u(x)| p(x) dvg (x) and ρq(·) (u) = |u(x)|q(x) dvg (x).
M M
p
With dvg = det(gi j ) dx is the Riemannian volume element on (M, g), where the gi j are the com-
ponents of the Riemannian metric g in the chart and dx is the Lebesgue volume element of RN .
Proposition 1.4.5. [16, 63, 70] Assume that for some (λ , v) the complete compact Riemannian n-
manifold (M, g) has property Bvol (λ , v). Let p ∈ P(M) be uniformly continuous with q+ < n. Then
q(·)
L1 (M) ,→ L p(·) (M), ∀q ∈ P(M) such that q ≪ p ≪ q∗ = nq
n−q . In fact, for || u ||Lq(·) sufficiently
1
Proposition 1.4.6. [68] Let u ∈ Lq(x) (M), { uk } ⊂ Lq(x) (M), k ∈ N, then we have
(i) ||u||q(x) < 1 ( resp. = 1, > 1 ) ⇐⇒ ρq(x) (u) < 1 ( resp. = 1, > 1 ),
+ −
(ii) ||u||q(x) < 1 ⇒ ||u||qq(x) ≤ ρq(x) (u) ≤ ||u||qq(x) ,
− +
(iii) ||u||q(x) > 1 ⇒ ||u||qq(x) ≤ ρq(x) (u) ≤ ||u||qq(x) ,
To compare the functionals || · ||q(·) and ρq(·) (·), one has the relation
1 1 1 1
min{ρq(·) (u) q− , ρq(·) (u) q+ } ≤ ||u||Lq(·) ≤ max{ρq(·) (u) q− , ρq(·) (u) q+ }.
q(·)
L1,0 (BR (x)) ,→ L p(·) (M),
nq(x)
where, p(x) = n−q(x) . In fact, there exists a positive constant D = D(n, λ , v, q+ , q− ) such as for every
q(·)
u in L1,0 (BR (x)), we have by Poincaré inequality and Proposition 1.4.6 that
+ + + +
ρ p(·) (u) ≤ ||u||Lpp(·) (M) ≤ D p (c + 1) p ||∇u||Lpq(·) (M)
+ + p+ p+
≤ D p (c + 1) p max{ρq(·) (|∇u|) q− , ρq(·) (|∇u|) q+ }
+ + p+
≤ D p (c + 1) p ρq(·) (|∇u|) q− . (1.23)
Definition 1.4.7. The Sobolev space W 1,q(x) (M) consists of such functions u ∈ Lq(x) (M) for which
n
|| u ||W 1,q(x) (M) = || u ||Lq(x) (M) + ∑ || ∇k u ||Lq(x) (M) .
k=1
1,q(x)
The space W0 (M) is defined as the closure of Cc∞ (M) in W 1,q(x) (M), with Cc∞ (M) be the vector
22 Chapitre 1. Preliminaries
Theorem 1.4.1. Let M be a compact Riemannian manifold with a smooth boundary or without
N q(x)
q(x) < N, p(x) < for x ∈ M.
N − q(x)
Then,
Proof. This proof is based to an idea introduced in [61, 68]. Let f : U(⊂ M) −→ RN be an arbitrary
local chart on M, and V be any open set in M, whose closure is compact and is contained in U.
Choosing a finite subcovering {Vα }α=1,··· ,k of M such that Vα is homeomorphic to the open unit
ball B0 (1) of RN and for any α the components gαi j of g in (Vα , fα ) satisfy
1
≤ gαi j < ε δi j
ε δi j
as bilinear forms, where the constant ε > 1 is given. Let { πα }α=1,··· ,k be a smooth partition of
unity subordinate to the finite covering {Vα }α=1,··· ,k . It is obvious that if u ∈ W 1,q(x) (M), then
−1 (x))
πα u ∈ W 1,q(x) (Vα ) and ( fα−1 )∗ (πα u) ∈ W 1,q( fα (B0 (1)). According to proposition 1.2.4 and the
Sobolev embeddings Theorem in [61, 63], we obtain the continuous and compact embedding
k
Since u = ∑ πα u, we can conclude that
α=1
1,q(x)
Proposition 1.4.7. [16] If (M, g) is complete, then W 1,q(x) (M) = W0 (M).
1.4. Sobolev-Orlicz Riemannian manifold with variable exponents 23
Z
q(x)
Lµ(x) (M) = u : M → R is measurable such that, µ(x)|u(x)|q(x) dvg (x) < +∞ ,
M
Z
ρq(·),µ(·) (u) = µ(x)|u(x)|q(x) dvg (x).
M
Example 3. As a simple example of µ(x), we can take µ(x) = (1 + |x|)ε(x) with ε(·) ∈ C+ (M).
q(x)
Proposition 1.4.8. Let u and {un } ⊂ Lµ(x) (M), then we have the following results :
(1) ||u||q(·),µ(·) < 1 (resp. = 1, > 1) ⇐⇒ ρq(·),µ(·) (u) < 1 (resp. = 1, > 1).
+ −
(2) ||u||q(·),µ(·) < 1 ⇒ ||u||qq(·),µ(·) ≤ ρq(·),µ(·) (u) ≤ ||u||qq(·),µ(·) .
− +
(3) ||u||q(·),µ(·) > 1 ⇒ ||u||qq(·),µ(·) ≤ ρq(·),µ(·) (u) ≤ ||u||qq(·),µ(·) .
Note that, the non-negative weighted function µ ∈ C(M) satisfy the following hypothesis :
µ(·) : M −→ R+
∗ such that µ(·) ∈ L
ε(x) (M) with
N p(x) p(x)
< ε(x) < for all x ∈ M. (1.24)
N p(x) − q(x)(N − p(x)) p(x) − q(x)
Theorem 1.4.2. Let M be a compact Riemannian manifold with a smooth boundary or without
boundary and p(x), q(x) ∈ C(M) ∩ L∞ (M). Assume that the assumption (1.24) is true. Then, the
embedding
q(x)
W 1,q(x) (M) ,→ Lµ(x) (M),
is compact
24 Chapitre 1. Preliminaries
ε(x) 1 1
Proof. Let θ (x) = ε(x)−1 q(x) = ε̂(x)q(x), where ε(x) + ε̂(x) = 1. From (1.24), we deduce that θ (x) <
p∗ (x) for all x ∈ M, which implies by Theorem 1.4.1, that W 1,q(x) (M) ,→ Lθ (x) (M). Hence, we have
that |u|q(x) ∈ Lθ (x) (M) for any u ∈ W 1,q(x) (M). Now, using the Hölder inequality, we get
q(x)
It follows that u ∈ Lµ(x) (M), that is
q(x)
W 1,q(x) (M) ,→ Lµ(x) (M).
Next, we prove that this embedding is compact. For that, we consider {un } ⊂ W 1,q(x) (M) such that
un ⇀ 0 weakly in W 1,q(x) (M) and since W 1,q(x) (M) ,→,→ Lθ (x) (M), we obtain that
un −→ 0 in Lθ (x) (M).
Then, it follows that || |u|q(x) ||ε̂(x) → 0 as n → +∞. By Hölder inequality and (1.25), we have
ρq(·),µ(·) (un ) −→ 0.
q(x)
Hence, the embedding W 1,q(x) (M) ,→ Lµ(x) (M) is compact.
On some nonlinear elliptic equations in anisotropic
2
Sobolev-Orlicz space
Our objective in this chapter, is to study a certain class of anisotropic elliptic equations with
the second term, which is a low-order term and non-polynomial growth ; described by an N-uplet
of N-function satisfying the ∆2 −condition in the framework of anisotropic Orlicz spaces. We prove
the existence and uniqueness of entropic solution for a source in the dual or in L1 . In the former we
study our problem when the domain is bounded, and in the latter, when the domain is unbounded
namely ; without assuming any condition on the behaviour of the solutions when |x| tends towards
infinity. Moreover, we are giving some examples of an anisotropic elliptic equation that verifies all
25
26 Chapitre 2. On some nonlinear elliptic equations in anisotropic Sobolev-Orlicz space
2.1.1 Introduction :
Let Ω be a bounded domain of RN (N ≥ 2). This section is concerned with the study of the
term and non-polynomial growth, described by n-uplet of N-functions satisfying the ∆2 −condition,
W̊B1 (Ω)
in Orlicz anisotropic space W̊B1 (Ω) = C∞ (Ω) , given by
A (x, u, ∇u) + H (x, u, ∇u) = g(x) in Ω,
(P)
u = 0
on ∂ Ω,
N
where, A (x, u, ∇u) = ∑ ( ai (x, u, ∇u) )xi is a Leray-Lions operator defined on W̊B1 (Ω) into its dual,
i=1
N
B = ( B1 , · · · , BN ) are N-uplet Orlicz functions that satisfy ∆2 −condition, H (x, u, ∇u) = ∑ Hi (x, u, ∇u)
i=1
and for i = 1, · · · , N, Hi (x, u, ∇u) : Ω × R × RN −→ R are Carathéodory functions do not satisfy any
sign condition, and the growth described by the vector N-function B. As well as g ∈ L1 (Ω).
Problem (P) and its versions have been intensively studied in several recent works. For the
classical Orlics space, Benkirane and Elmahi in [24] have studied the following problem
A(u) + g(x, u, ∇u) = f (x) in Ω,
u = 0
on ∂ Ω,
where A is a Leray–Lions operator, g(x, s, ξ ) is a Carathéodory function, that satisfy the following
coercivity condition
| g(x, s, ξ ) | ≥ ν | ξ | p for | s | ≥ γ,
′
where ν and γ are two positive constants, and the data f is assumed to be in the dual W −1,p (Ω). The
same problem was demonstrated by Elmahi and Meskine without assuming the above condition in
[53]. After that, Porretta and Segura de Leon in [89] investigated the existence results of the same
problem using the rearrangement techniques, and they suppose only some growth condition on
g(x, s, ξ ).
It is noteworthy here to mention the relevant work of Benilan [21] who presented the idea
of entropy solutions adjusted to Boltzmann conditions. For more results, we refer the reader to
2.1. Existence of entropy solutions in a bounded domain 27
For the anisotropic Orlicz space, there are very few results dealing with this topic. For instance, in
[48, 72] Korolev and Cianchy proved the embeddings of this space. Kozhevnikova in [74] establi-
N
∑ ( ai (x, ∇u) )xi = a0 (x, u) in Ω,
(P1 ) i=1
u(x) = ψ(x)
on ∂ Ω,
In [75] Kozhevnikova proved again the existence of entropy solution to the following second-order
N
∑ ( ai (x, u, ∇u) )xi − a0 (x, u, ∇u) = 0
in Ω,
(P2 ) i=1
u = 0
on ∂ Ω,
where ai (x, s0 , s), i = 0, · · · , Nare Carathéodory functions. For a deeper comprehension, we refer
The input of this section is the very general framework, we therefore establish a more involved
version of equations (P1 ) and (P2 ), given by (P), which is managed by low-order term and non-
polynomial growth ; described by an N-uplet of N-function satisfying the ∆2 −condition, the source
approximation procedure and some priori estimates, we proved the existence of entropy solutions
In this part, we assume they have non-negative measurable functions φ , ϕ ∈ L1 (Ω) and ā, ã are
N N
∑ | ai (x, s, ξ ) | ≤ ã ∑ B̄−1
i Bi (| ξ |) + ϕ(x), (2.1)
i=1 i=1
28 Chapitre 2. On some nonlinear elliptic equations in anisotropic Sobolev-Orlicz space
N
′ ′
∑ ai (x, s, ξ ) − ai (x, s, ξ ) . (ξi − ξi ) > 0, (2.2)
i=1
N N
∑ ai (x, s, ξ ) . ξi > ā ∑ Bi (| ξ |) − φ (x), (2.3)
i=1 i=1
and there exists h ∈ L1 (Ω) and l : R −→ R+ a positive continuous function such that l ∈ L1 (R) ∩
L∞ (R).
N N
∑ | Hi (x, s, ξ ) | ≤ l(s) . ∑ Bi (| ξ |) + h(x). (2.4)
i=1 i=1
1/ u ∈ T01,B (Ω) = { u : Ω −→ R measurable, Tθ (u) ∈ W̊B1 (Ω) for any θ > 0}.
Z Z
a(x, u, ∇u) . ∇Tθ (u − ξ ) dx + H(x, u, ∇u) . Tθ (u − ξ ) dx
Ω Ω
Z
≤ g(x) . Tθ (u − ξ ) dx ∀ ξ ∈ W̊B1 (Ω) ∩ L∞ (Ω).
Ω
In this subsection, we will prove the existence of our problem (P). For that, we suppose that gm
be a sequence of regular functions which strongly converge to g in L1 (Ω) and such that || gm ||L1 ≤ c
am (x, s, ξ ) = ( am m
1 (x, s, ξ ), · · · , aN (x, s, ξ ) ),
where am
i (x, s, ξ ) = ai (x, Tm (s), ξ ) for i = 1, · · · , N.
H m (x, s, ξ ) = Tm ( H(x, s, ξ ) ),
and for any v ∈ W̊B1 (Ω), we consider the following approximate equations
Z Z Z
(Pm ) : a(x, Tm (um ), ∇um ) ∇v dx + H m (x, um , ∇um ) v dx = gm v dx.
Ω Ω Ω
2.1. Existence of entropy solutions in a bounded domain 29
Lemma 2.1.1. Suppose that conditions (2.1) - (2.4) are satisfied, and let (um )m∈N be sequence in
and
Proof. Let ϑ > 0 fixed and s > ϑ , then from (2.2) we have
N Z
0≤∑ am m m m m
i (x, u , ∇u ) − ai (x, u , ∇u) . (∇um − ∇u) dx
ϑ
i=1 Ω
N Z
=∑ am m m m m
i (x, u , ∇u ) − ai (x, u , ∇u χs ) . (∇um − ∇u χs ) dx
i=1 Ωs
N Z
≤∑ am m m m m
i (x, u , ∇u ) − ai (x, u , ∇u χs ) . (∇um − ∇u χs ) dx.
i=1 Ω
According to ( c ), we get
N Z
lim ∑ am m m m m
i (x, u , ∇u ) − ai (x, u , ∇u) . (∇um − ∇u) dx = 0.
m→∞ ϑ
i=1 Ω
∇um −→ ∇u a.e in Ω.
N Z N Z
∑ am m m
i (x, u , ∇u ) . ∇u
m
dx = ∑ am m m m m
i (x, u , ∇u ) − ai (x, u , ∇u χs ) . (∇um − ∇u χs ) dx
i=1 Ω i=1 Ω
N Z
+∑ am m m
i (x, u , ∇u χs ) . (∇u − ∇u χs ) . dx
i=1 Ω
N Z
+∑ am m m
i (x, u , ∇u ) . ∇uχs dx,
i=1 ω
30 Chapitre 2. On some nonlinear elliptic equations in anisotropic Sobolev-Orlicz space
N N
∑ ami (x, um , ∇um ) ⇀ ∑ ai (x, u, ∇u) weakly in ( LB̄ (Ω) )N .
i=1 i=1
Therefore
N Z N Z
∑ am m m
i (x, u , ∇u ) ∇u χs dx −→ ∑ ai (x, u, ∇u) . ∇u,
i=1 Ω i=1 ω
as m → ∞, s → ∞. So,
N Z
∑ am m m m m
i (x, u , ∇u ) − ai (x, u , ∇u χs ) . (∇um − ∇u χs ) dx −→ 0,
i=1 Ω
and
N Z
∑ am m m
i (x, u , ∇u χs ) . (∇u − ∇u χs ) . dx −→ 0.
i=1 Ω
Thus,
N Z N Z
lim ∑ am m m
i (x, u , ∇u ) . ∇u
m
dx = ∑ ai (x, u, ∇u) . ∇u dx,
m→∞
i=1 Ω i=1 Ω
N Z Z N Z Z
m
ā ∑ Bi (| ∇u |) dx − φ (x) dx ≥ ā ∑ Bi (| ∇u |) dx − φ (x) dx.
i=1 Ω Ω i=1 Ω Ω
Lemma 2.1.2. Let an N-functions B̄(θ ) satisfy the ∆2 −condition and um , u are two functions of
|| um ||B ≤ c m ≥ 1.
2.1. Existence of entropy solutions in a bounded domain 31
um −→ u almost everywhere in Ω, m −→ ∞.
Then,
um ⇀ u weakly in LB (Ω) as m → ∞.
Proof. The proof of Lemma 2.1.2 is similar to the proof of Lemma 1.3, Ch. I in [79].
Remark 10. we can extend the previous Lemmas 2.1.1 and 2.1.2 to an unbounded domain, using
Theorem 2.1.1. Assume that conditions (2.1) - (2.4) hold true, then there exists at least one weak
Proof. Let
′
Sm : W̊B1 (Ω) −→ (W̊B1 (Ω))
Z N
m
v 7−→ ⟨S (u), v⟩ = ∑ am m
i (x, u, ∇u) . ∇v + Hi (x, u, ∇u) . v dx
Ω i=1
Z
− gm (x) . v dx
Ω
• S is bounded
N
We denote LB̄ (Ω) = ∏ LB̄i (Ω) with the norm
i=1
N
|| v ||LB̄ (Ω) = ∑ || vi ||B̄i ,Ω v = (v1 , · · · , vN ) ∈ LB̄ (Ω).
i=1
am (x, s, ξ ) = am m
1 (x, s, ξ ), · · · , aN (x, s, ξ )
and
N
|| am (x, u, ∇u) ||LB̄ (Ω) = ∑ || am
i (x, u, ∇u) ||LB̄ (Ω) i
i=1
N Z
≤∑ B̄i ( am
i (x, u, ∇u) ) dx + N
i=1 Ω
Further, for am (x, u, ∇u) ∈ LB̄i (Ω), v ∈ W̊B1 (Ω) using Hölder’s inequality we have
Thus, Sm is bounded.
• Sm is coercive
N N
∂u
Z Z
⟨Sm (u), u⟩Ω = ∑ am
i (x, u, ∇u) . dx + ∑ Him (x, u, ∇u) . u dx
i=1 Ω ∂ xi i=1 Ω
Z
− gm (x) . u dx.
Ω
Then,
N Z
⟨Sm (u), u⟩Ω
1 ∂u
≥ . ā ∑ Bi dx − c1 − c0
|| u ||W̊ 1 (Ω) || u ||W̊ 1 (Ω) i=1 Ω ∂ xi
B B
N Z
∂u
Z
− l(u) . ∑ Bi dx − g(x) dx
i=1 Ω ∂ xi Ω
N
1 ∂u
Z
≥ . ( ā(Ω) − c2 ) . ∑ Bi dx − c0 − c1 − c3
|| u ||W̊ 1 (Ω) i=1 Ω ∂ xi
B
| uxi |
bi ( | uxi | ) > θ bi , i = 1, · · · , N.
|| uxi ||Bi ,Ω
| uα | b( | uα | ) < c B(uα )
• Sm is a pseudo-monotone
Consider a sequence { um }∞ 1
m=1 in the space W̊B (Ω) such that
we demonstrate that
′
Sm (um ) ⇀ Sm (u) weakly in ( W̊B1 (Ω) ) , m → ∞. (2.11)
⟨ Sm (um ), um − u ⟩ −→ 0, m → ∞. (2.12)
Z
B(t) dt ≤ c0 ||t ||B, Ω . (2.13)
Ω
34 Chapitre 2. On some nonlinear elliptic equations in anisotropic Sobolev-Orlicz space
and
N
∗
|| am (x, u, ∇u) ||B̄ = ∑ || am m m
i (x, u , ∇u ) ||B̄i ≤ c3 m ∈ N . (2.16)
i=1
And for m ∈ N∗ , | H m (x, u, ∇u) | = | Tm (H(x, u, ∇u) | ≤ m. Then, by (2.4) and (2.14) we have
N
|| H m (x, u, ∇u) ||B = ∑ || Him (x, um , ∇um ) ||Bi ≤ c4 m ∈ N∗ .
i=1
We set
N
Sm (x) = ∑ am m m m
m
i (x, u , ∇u ) − ai (x, u, ∇u) (u − u)xi
i=1
N
+ ∑ Him (x, um , ∇um ) − Him (x, u, ∇u) (um − u), m ∈ N∗ .
i=1
then
Z
m m
⟨ S(u ) − S(u), u − u ⟩ = Sm (x) dx m ∈ N∗ .
Ω
So,
N N
Sm (x) = ∑ am m m m m
m
∑ ami (x, um , ∇u) − ami (x, u, ∇u) (um − u)xi
i (x, u , ∇u ) − ai (x, u , ∇u) (u − u)xi +
i=1 i=1
N
+ ∑ Him (x, um , ∇um ) − Him (x, u, ∇u) (um − u)
i=1
We demonstrate that
N
S1m (x) = ∑ am m m m m
m
i (x, u , ∇u ) − ai (x, u , ∇u) (u − u)xi
i=1
N N N N
= ∑ am m m m m m m m m m
i (x, u , ∇u ) . uxi − ∑ ai (x, u , ∇u ) . uxi − ∑ ai (x, u, ∇u) . uxi + ∑ ai (x, u, ∇u) . uxi
i=1 i=1 i=1 i=1
As in [76], let Si (u) = ai (x, u, ∇v) i = 1, · · · , N be Nemytsky operators for v ∈ W̊B1 (Ω) fixed and
N
S3m (x) ≤ 2 ∑ || Him (x, um , ∇um ) − Him (x, u, ∇u) ||Bi ,Ω(R) . || um − u ||W̊ 1 (Ω)
B
i=1
Consequently, applying (2.18), (2.19), (2.20) and the selective convergences, we deduce that
Let Ω′ ⊂ Ω, meas Ω′ = meas Ω, and the conditions (2.26), (2.21) hold, and (2.1) - (2.4) are satisfied.
um
xi (x) −→ uxi (x) everywhere in Ω for i = 1, · · · , N , m → ∞. (2.22)
Let um = um ∗ ∗ ∗ ∗
xi (x ), u = uxi (x ), i = 1, · · · , N, and â = ϕ1 (x ), ā = ϕ(x ). We consider that the se-
N
quence ∑ Bi (um ) m = 1, · · · , ∞ is unbounded.
i=1
ā
Let ε ∈ 0, 1+â is fixed, according to (1.2), (1.4) and the conditions (2.1), (2.3), we have
N
∗ m ∗ m m ∗
S (x ) = ∑ ai (x , u , ∇u ) − ai (x , u, ∇u) ∇(um − u)
m m
i=1
N
m ∗ m m ∗
+ ∑ Hi (x , u , ∇u ) − Hi (x , u, ∇u) (um − u)
m
i=1
N N
∗ m m ∗ m
= ∑ am m m m
i (x , u , ∇u ) ∇u − ∑ ai (x , u , ∇u ) ∇u
i=1 i=1
N N
∗ ∗
− am∑ m
i (x , u, ∇u) ∇u + am
i (x , u, ∇u) ∇u
∑
i=1 i=1
N N
+ Him (x∗ , um , ∇um ) u j − Him (x∗ , um , ∇um ) u
∑ ∑
i=1 i=1
N N
− Him (x∗ , u, ∇u) um + Him (x∗ , u, ∇u) u.
∑ ∑
i=1 i=1
N N
Sm (x∗ ) ≥ ∑ am ∗
i (x , u, ∇u) . ∇u + ∑ ami (x∗ , um , ∇um ) . ∇um
i=1 i=1
N N
−ε ∑ B̄i (ami (x∗ , um , ∇um )) − c1 (ε) ∑ Bi (∇u)
i=1 i=1
N N
−ε ∑ B̄i (ami (x∗ , u, ∇u)) − c2 (ε) ∑ Bi (∇um )
i=1 i=1
N N
+ ∑ Him (x∗ , um , ∇um ) . ∇um + ∑ Him (x∗ , u, ∇u) . ∇u
i=1 i=1
N N
− ∑ Him (x∗ , um , ∇um ) . ∇u − ∑ Him (x∗ , u, ∇u) . ∇um ,
i=1 i=1
2.1. Existence of entropy solutions in a bounded domain 37
then,
N N N
Sm (x∗ ) ≥ ā ∑ Bi (∇u) − ψ(x∗ ) + ∑ Bi (∇um ) − ψ(x∗ ) − ε â ∑ Bi (∇um )
i=1 i=1 i=1
N N
− ε ϕ(x∗ ) − c1 (ε) ∑ Bi (∇u) − ε â ∑ Bi (∇u) − ε ϕ(x∗ )
i=1 i=1
N N N
− c2 ∑ Bi (∇um ) − 4h(x∗ ) − c3 l(u) ∑ Bi (∇u) − c4 l(um ) ∑ Bi (∇um )
i=1 i=1 i=1
N N
≥ ā − c1 (ε) − ε â − c3 l(u) ∑ Bi (∇u) + ā − ε â c2 − c4 l(um ) ∑ Bi (∇um ) − c5 (ε).
i=1 i=1
We deduced that the sequence Sm (x∗ ) is not bounded, which is absurd as far as (2.21) is concerned.
∗
um
xi −→ uxi , i = 1, · · · , N. (2.23)
N
∗ m m ∗
am m
m
∑ i (x , u , ∇u ) − ai (x , u, ∇u) . (uxi − uxi ) = 0,
i=1
and from (2.2) we have, u∗xi = uxi . This contradicts the fact that there is no convergence at the point
x∗ .
am m m m
i (x, u , ∇u ) −→ ai (x, u, ∇u), i = 1, · · · , N almost everywhere in Ω.
am m m m
i (x, u , ∇u ) ⇀ ai (x, u, ∇u) in LB̄i (Ω) , i = 1, · · · , N. (2.24)
Moreover, to complete the proof, we note that (2.12) is implied from (2.9) and (2.21) :
Theorem 2.1.2. Let Ω be a bounded domain of RN . Under assumptions (2.1) - (2.4), there exists at
least one entropy solution of the problem (P) on the sense of definition 2.1.1.
Proposition 2.1.1. Suppose that the assumptions (2.1) - (2.4) hold, and let (um )m∈N be solutions
of the approximate problem (Pm ). Then, for any θ > 0, there exists a constant θ . c1 + c2 ( not
N Z
∑ am m m m m
i (x, u , ∇u ) . ∇(exp(G(u )) . Tθ (u )) dx
i=1 Ω
N Z
+ ∑ Him (x, um , ∇um ) . exp(G(um )) . Tθ (um ) dx
i=1 Ω
Z
= gm . exp(G(um )) . Tθ (um ) dx.
Ω
Then,
N Z
∑ am m m m m
i (x, u , ∇u ) exp(G(u )) ∇Tθ (u )) dx
i=1 Ω
N Z
l(um )
+∑ am m m m
i (x, u , ∇u ).∇u . . exp(G(um ))Tθ (um )dx
i=1 Ω ā
N Z Z
= ∑ | Him (x, um , ∇um ) | . m m
exp(G(u )) . Tθ (u ) dx + gm . exp(G(um )) . Tθ (um ) dx
i=1 Ω Ω
N Z Z
h(x) + l(um ) . Bi (∇um ) . exp(G(um )) . Tθ (um ) dx + gm . exp(G(um )) . Tθ (um ) dx
≤∑
i=1 Ω Ω
N Z Z
l(um ) . Bi (∇um ). exp(G(um )) . Tθ (um ) dx + gm + h(x) . exp(G(um )) . Tθ (um ) dx,
≤ ∑
i=1 Ω Ω
2.1. Existence of entropy solutions in a bounded domain 39
so,
N Z
∑ am m m m m
i (x, u , ∇u ) . ∇u . exp(G(u )) dx
m
i=1 { Ω:|u | < θ }
l(um )
Z
≤ gm (x) + h(x) + φ (x) . exp(G(um )) Tθ (um ) dx,
Ω ā
by (2.3), we get
N Z
ā ∑ Bi (∇um ) exp(G(um )) dx
m
i=1 {Ω : | u | ≤ θ }
Z
≤ φ (x) exp(G(um )) dx
{Ω : | um | ≤ θ }
l(um )
Z
+ gm (x) + h(x) + φ (x) . exp(G(um )) Tθ (um ) dx,
Ω ā
|| l ||L1 (R)
since φ , h and gm ∈ L1 (Ω) , and the fact that exp(G(±∞)) ≤ exp ā , we deduce that,
Z
B(∇Tθ (um )) dx ≤ θ . c1 + c2 θ > 0.
{ Ω: |um | < θ }
Finally
Z
B(∇Tθ (um )) dx ≤ θ . c1 + c2 θ > 0.
Ω
meas{ x ∈ Ω, | um | > θ } −→ 0.
with ε(θ ) −→ 0 as θ −→ ∞.
40 Chapitre 2. On some nonlinear elliptic equations in anisotropic Sobolev-Orlicz space
Tθ (um )
Z
∗ θ m ∗
B meas{ x ∈ Ω : | u | ≥ θ } ≤ B dx
|| Tθ (um ) ||B∗ Ω || Tθ (um ) ||B∗
Z
∗ θ
≤ B dx,
Ω || Tθ (um ) ||B∗
∗ θ
B −→ ∞ as θ −→ ∞.
|| Tθ (um ) ||B∗
Hence,
um −→ u a.e in Ω. (2.26)
exists a subsequence of { Tθ (um ) }, denoted again by { Tθ (um ) } and a function vθ in W̊B1 (Ω) such
that for P ≪ B
Tθ (um ) −→ vθ in LP (Ω) as m −→ ∞.
| Tθ (um ) |
Z
B dx ≤ c0 .
Ω λ
Let ε > 0, using (2.25), and the fact that { Tθ (um ) } is a Cauchy sequence, there exists some constant
2.1. Existence of entropy solutions in a bounded domain 41
θ (ε) such as
This shows that { um } is a Cauchy sequence in Ω. Thus, we prove that there is u : Ω −→ R measu-
Since W̊B1 (Ω) reflexive, then there exists a subsequence such that
And since,
we have
Beside, Tθ (um ) −→ Tθ (u) a.e in Ω, gives Tθ (um ) −→ Tθ (u) strongly in LB (Ω). Then, we obtain for
1 if | s | ≤ α ,
hα (s) = 1 − | s − α | if α ≤ | s | ≤ α + 1 ,
if s ≥ α + 1 .
0
Assertion 1 :
N Z
lim lim ∑ am m m m
i (x, u , ∇u ) . ∇u dx = 0. (2.27)
α→∞ m→∞ { α≤| um |≤α+1 }
i=1
42 Chapitre 2. On some nonlinear elliptic equations in anisotropic Sobolev-Orlicz space
Assertion 2 :
Proof. We take v = exp(G(um )) T1,α (um ) = exp(G(um )) T1 (um − Tα (um )) as a test function in the
N Z
am m m m m m
∑ i (x, u , ∇u ) . ∇ exp(G(u )) . T1 (u − Tα (u )) dx
i=1 Ω
N Z
≤∑ | Him (x, um , ∇um ) | . exp(G(um )) . T1 (um − Tα (um )) dx
i=1 Ω
Z
+ gm (x) . exp(G(um )) . T1 (um − Tα (um )) dx,
Ω
N Z
∑ am m m m m
i (x, u , ∇u ) . ∇u . exp(G(u )) dx
i=1 { α<| um |<α+1 }
l(um )
Z
m
≤ g (x) + h(x) + φ (x) . . exp(G(um )) . T1 (um − Tα (um )) dx,
Ω ā
|| l ||L1 (R)
since φ ∈ L1 (Ω), h∈ L1 (Ω), gm ∈ ( L1 (Ω) )N , and the fact that exp(G(±)) ≤ exp ā , we
l(um )
Z
m
lim lim g (x) + h(x) + φ (x) . . exp(G(um )) . T1 (um − Tα (um )) dx = 0.
α→∞ m→∞ Ω ā
Hence,
Z
lim lim am (x, um , ∇um ) . ∇um dx = 0.
α→∞ m→∞ { α<| um |<α+1 } i
N Z
am m m m m m
∑ i (x, u , ∇u ) . ∇ exp(G(u )) . (Tθ (u ) − Tθ (u)) . hα (u ) dx
i=1 Ω
N Z
+∑ Him (x, um , ∇um ) . exp(G(um )) . (Tθ (um ) − Tθ (u)) . hα (um ) dx
i=1 Ω
Z
≤ gm (x) . exp(G(um )) . (Tθ (um ) − Tθ (u)) . hα (um ) dx,
Ω
which implies
N
l(um )
Z
∑ am m m m
i (x, u , ∇u ) . ∇u . . exp(G(um )) . (Tθ (um ) − Tθ (u)) . hα (um ) dx
i=1 Ω ā
N
+ ∑ am m m m m m
i (x, u , ∇u ) . exp(G(u )) . (∇Tθ (u ) − ∇Tθ (u)) . hα (u ) dx
i=1
N Z
+∑ am m m m m m
i (x, u , ∇u ) . exp(G(u )) . (Tθ (u ) − Tθ (u)) . ∇hα (u ) dx
i=1 Ω
N Z
≤∑ | Him (x, um , ∇um ) | . exp(G(um )) . (Tθ (um ) − Tθ (u)) . hα (um ) dx
i=1 Ω
Z
+ gm (x) . exp(G(um )) . (Tθ (um ) − Tθ (u)) . hα (um ) dx,
Ω
N Z
∑ am m m m m m
i (x, u , ∇u ) . exp(G(u )) . (∇Tθ (u ) − ∇Tθ (u)) . hα (u ) dx
i=1 Ω
N Z
+∑ am m m m m m
i (x, u , ∇u ) . ∇u . exp(G(u )) . (Tθ (u ) − Tθ (u)) dx
i=1 { Ω: α≤| um |≤α+1 }
l(um )
Z
m
≤ g (x) + h(x) + φ (x) . . exp(G(um )) . (Tθ (um ) − Tθ (u)) . hα (um ) dx,
Ω ā
N Z
∑ ai (x, Tθ (um ), ∇Tθ (um )) exp(G(um )) . (∇Tθ (um ) − ∇Tθ (u)) dx
m
i=1 { Ω: | u |≤θ }
Z
+ am m m m m m
i (x, u , ∇u ) ∇u exp(G(u )) (Tθ (u ) − Tθ (u)) dx
{ Ω: α≤| um |≤α+1 }
l(um )
Z
m
≤ g (x) + h(x) + φ (x) . . exp(G(um )) . (Tθ (um ) − Tθ (u)) dx
Ω ā
N Z
+∑ ai (x, Tα+1 (um ), ∇Tα+1 (um )) . exp(G(um )) . | ∇Tθ (u) | dx
m
i=1 { Ω: θ ≤| u |≤α+1 }
N Z
+∑ am m m m m m
i (x, u , ∇u ) . ∇u . exp(G(u )) . | Tθ (u ) − Tθ (u) | dx.
i=1 { Ω:α≤| um |≤α+1 }
44 Chapitre 2. On some nonlinear elliptic equations in anisotropic Sobolev-Orlicz space
The first term in the right hand side goes to zero as m tend to ∞, since Tθ (um ) ⇀ Tθ (u) weakly in
W̊B1 (Ω).
Since am m m m
i (x, Tα+1 (u ), ∇Tα+1 (u )) is bounded in LB̄ (Ω), there exists ã ∈ LB̄ (Ω) such as
| am m m m
i (x, Tα+1 (u ), ∇Tα+1 (u )) | ⇀ ã in LB̄ (Ω). (2.29)
Thus, the second term of the right hand side goes also to zero.
1 (Ω) we deduce that
According with (2.27) and the fact that Tθ (um ) −→ Tθ (u) strongly in W̊B,loc
N Z
∑ ai (x, Tθ (um ), ∇Tθ (um )) . exp(G(um )) . | ∇Tθ (um ) − ∇Tθ (u) | dx
m
i=1 { Ω: | u |≤θ }
≤ ε(α, m).
Then,
N Z
∑ ai (x, Tθ (u ), ∇Tθ (u )) − ai (x, Tθ (u ), ∇Tθ (u)) . ( ∇Tθ (um ) − Tθ (u) ) dx
m m m
i=1 Ω
N Z
≤−∑ ai (x, Tθ (um ), ∇Tθ (u)) . exp(G(um )) . | ∇Tθ (um ) − ∇Tθ (u) | dx
i=1 Ω
N Z
− ∑ ai (x, Tθ (um ), ∇Tθ (um )) . exp(G(um )) . ∇Tθ (u) dx + ε(α, m). (2.30)
m
i=1 { Ω: | u |≤θ }
1 (Ω)
According to the Lebesgue dominated convergence Theorem, we have Tθ (um ) −→ Tθ (u) in W̊B,loc
and ∇Tθ (um ) ⇀ ∇Tθ (u) in W̊B1 (Ω), then the terms on the right hand side of (2.30) go to zero as m
Which implies
N Z
∑ ai (x, Tθ (um ), ∇Tθ (um )) − ai (x, Tθ (um ), ∇Tθ (u)) × ( ∇Tθ (um ) − Tθ (u) ) dx −→ 0. (2.31)
i=1 Ω
Then,
∇um −→ ∇u a.e in Ω.
2.1. Existence of entropy solutions in a bounded domain 45
Let v = exp(2 G(| um |)) . T1 (um − TR (um )) as a test function in the problem (Pm ), we obtain
N Z
am m m m m m
∑ i (x, u , ∇u ) . ∇ exp(2 G(| u |)) . T1 (u − TR (u )) dx
i=1 Ω
N Z
+∑ Him (x, um , ∇um ) . exp(2 G(| um |)) . T1 (um − TR (um )) dx
i=1 Ω
Z
≤ gm (x) . exp(2 G(| um |)) . T1 (um − TR (um )) dx,
Ω
N
l(um )
Z
∑ am m m m
i (x, u , ∇u ) . ∇u . . exp(2 G(| um |)) . T1 (um − TR (um )) dx
i=1 Ω ā
N Z
+∑ am m m m m
i (x, u , ∇u ) . ∇u . exp(2 G(| u |)) dx
i=1 { Ω: R≤| um |≤R+1 }
N Z
≤∑ | Him (x, um , ∇um ) | . exp(2 G(| um |)) . T1 (um − TR (um )) dx
i=1 Ω
Z
+ gm (x) . exp(2 G(| um |)) . T1 (um − TR (um )) dx,
Ω
N Z
ā ∑ Bi (| ∇um |) . exp(2 G(| um |) dx
m
i=1 { Ω: R≤| u |≤R+1 }
l(um )
Z
m
≤ g (x) + h(x) + φ (x) . . exp(2 G(| um |)) . T1 (um − TR (um )) dx
Ω ā
Z
+ φ (x) . exp(2 G(| um |) dx.
{ Ω: R≤| um |≤R+1 }
|| l ||L1 (R)
Since exp(G(±∞)) ≤ exp 2 ā , gm ∈ ( L1 (Ω) )N , φ and h ∈ L1 (Ω). Then, ∀ ε > 0, ∃ R(ε) >
0 such as
N Z
ε
∑ B(| ∇um |) dx ≤ ∀R > R(ε).
i=1 { Ω: | um |>R+1 } 2
Let V̊ (Ω) be an arbitrary bounded subset for Ω, then, for any measurable set E ⊂ V̊ (Ω) we have
N Z N Z
m
∑ Bi (| ∇u |) dx ≤ ∑ Bi (| ∇TR (um ) |) dx
i=1 E i=1 E
N Z
+∑ Bi (| ∇um |) dx, (2.33)
i=1 { | um |>R+1 }
46 Chapitre 2. On some nonlinear elliptic equations in anisotropic Sobolev-Orlicz space
we conclude that ∀E ⊂ V̊ (Ω) with meas (E) < β (ε) and TR (um ) −→ TR (u) in W̊B1 (Ω)
N Z
ε
∑ Bi (| ∇TR (um ) |) dx ≤ . (2.34)
i=1 E 2
N Z
∑ Bi (| ∇um |) dx ≤ ε ∀E ⊂ V̊ (Ω) such as meas (E) < β (ε).
i=1 E
Let ξ ∈ W̊B1 (Ω) ∩ L∞ (Ω), using the following test function v = Tθ (um − ξ ) in the problem (Pm ),
obtain
N Z N Z
m m m
∑ ai (x, Tm (u ), ∇u ) ∇Tθ (u − ξ ) dx + ∑ Him (x, um , ∇um ) . Tθ (um − ξ ) dx
i=1 Ω i=1 Ω
Z
≤ gm (x) . Tθ (um − ξ ) dx, (2.35)
Ω
N Z
∑ ai (x, Tm (um ), ∇um ) . Tθ (um − ξ ) dx
i=1 Ω
N Z
=∑ ai (x, Tα+|| ξ ||∞ (um ), ∇Tα+|| ξ ||∞ (um )) × Tα+|| ξ ||∞ (um − ξ ) . χ{ | um −ξ |<α } dx
i=1 Ω
N Z
=∑ ai (x, Tα+|| ξ ||∞ (u ), ∇Tα+|| ξ ||∞ (u )) − ai (x, Tα+|| ξ ||∞ (u ), ∇ξ ) ∇Tα+|| ξ ||∞ (um − ξ ) . χ{ | um −ξ |<α }
m m m
dx
i=1 Ω
N Z
+∑ ai (x, Tα+|| ξ ||∞ (um ), ∇ξ ) . ∇Tα+|| ξ ||∞ (um − ξ ) . χ{ | um −ξ |<α } dx. (2.36)
i=1 Ω
N Z
lim inf ∑ ai (x, Tm (um ), ∇um ) . ∇Tθ (um − ξ ) dx
m→∞
i=1 Ω
N Z
m m m
≥∑ ai (x, Tα+|| ξ ||∞ (u ), ∇Tα+|| ξ ||∞ (u )) − ai (x, Tα+|| ξ ||∞ (u ), ∇ξ )
i=1 Ω
The second term on the right hand side of the previous inequality is equal to
Z
ai (x, Tα+|| ξ ||∞ (u), ∇ξ ) . ∇Tα+|| ξ ||∞ (u − ξ ) . χ{ | u−ξ |<α } dx.
Ω
Then, since Tθ (um − ξ ) ⇀ Tθ (u − ξ ) weakly in W̊B1 (Ω), and by (2.28), (2.32) we have
N Z N Z
∑ Him (x, um , ∇um ) . Tθ (um − ξ ) dx −→ ∑ Hi (x, u, ∇u) . Tθ (u − ξ ) dx, (2.38)
i=1 Ω i=1 Ω
and
Z Z
gm (x) . Tθ (um − ξ ) dx −→ g(x) . Tθ (u − ξ ) dx. (2.39)
Ω Ω
Combining (2.35) - (2.39) and passing to the limit as m −→ ∞, we have the condition 3 in definition
2.1.1.
Example 4. Let Ω be a bounded domain of RN , (N ≥ 2). By Theorems 2.1.1 and 2.1.2 it exists an
entropy solutions based on the Definition 2.1.1 of the following anisotropic problem (P3 ) :
N N
−1
ã ∑ B̄i Bi (| ∇u |) + l(u) . ∑ Bi (| ∇u |) = g(x) in Ω ,
(P3 ) i=1 i=1
u = 0
on ∂ Ω ,
g ∈ L1 (Ω) and
|t | p−2 θ
B(t) = ,
ln(1 + |t |)
main
2.2.1 Introduction
In this section, we focused on the study of existence and uniqueness solution to anisotropic
elliptic non-linear equation, driven by low-order term and non-polynomial growth ; described by
n-uplet of N-function satisfying the ∆2 −condition, in Sobolev-Orlicz anisotropic space W̊B1 (ω) =
W̊B1 (ω)
C∞ (ω) .
N
A(u) + ∑ bi (x, u, ∇u) = f (x) in ω ,
(P) i=1
u = 0
on ∂ ω .
N
Where, A(u) = ∑ ( ai (x, u, ∇u) )x i is a Leray-Lions operator defined from W̊B1 (ω) into its dual,
i=1
B(θ ) = ( B1 (θ ), · · · , BN (θ ) ) are N-uplet Orlicz functions that satisfy the ∆2 −condition, and for
i = 1, · · · , N, bi (x, u, ∇u) : ω × R × RN −→ R the Carathéodory functions that do not satisfy any sign
In the recent studies, specifically in the case when ω is an unbounded domain ; namely, without
assuming any condition on the behaviour of the solutions when |x| → +∞. The existing result has
where x ∈ RN , p0 > 2, f ∈ L1,loc (RN ). Karlson and Bendahmane in [22] solved the problem (P)
in the classic case such as b(x, u, ∇u) = div(g(u)), with g(u) has a growth like | u |q−1 where
Our goal, in this section, is to show the existence and uniqueness of entropy solution for the
equations (P) ; governed with growth and described by an N-uplet of N-functions satisfying the
∆2 −condition. The functions bi (x, u, ∇u) do not satisfy any sign condition and the source f is me-
rely integrable, within the fulfilling of anisotropic Orlicz spaces. An approximation procedure and
some a priori estimates are used to solve the problem, the challenges that we had were due to
In this subsection, we assume they have non-negative measurable functions φ , ϕ ∈ L1 (ω) and
N N
∑ | ai (x, s, ξ ) | ≤ ã ∑ B̄−1
i Bi (| ξ |) + ϕ(x), (2.40)
i=1 i=1
N
′ ′
∑ ai (x, s, ξ ) − ai (x, s, ξ ) . (ξi − ξi ) > 0, (2.41)
i=1
N N
∑ ai (x, s, ξ ) . ξi > ā ∑ Bi (| ξ |) − φ (x), (2.42)
i=1 i=1
and there exists h ∈ L1 (Ω) and l : R −→ R+ a positive continuous functions such that l ∈ L1 (R) ∩
L∞ (R).
N N
∑ | bi (x, s, ξ ) | ≤ l(s) . ∑ Bi (| ξ |) + h(x). (2.43)
i=1 i=1
1/ u ∈ T01,B (ω) = { u : ω −→ R measurable, Tk (u) ∈ W̊B1 (ω) for any k > 0}.
Z Z
a(x, u, ∇u) . ∇Tk (u − ξ ) dx + b(x, u, ∇u) . Tk (u − ξ ) dx
ω ω
Z
≤ f (x) . Tk (u − ξ ) dx ∀ ξ ∈ W̊B1 (ω) ∩ L∞ (ω).
ω
Theorem 2.2.1. Let ω be an unbounded domain of RN . Under assumptions (2.40) - (2.43), there
exists a least one entropy solution of the problem (P) on the sense of definition 2.2.1.
f (x)
Proof. Let ω(m) = { x ∈ ω : | x | ≤ m } and f m (x) = 1+ m1 | f (x) |
. χω(m) .
am (x, s, ξ ) = ( am m
1 (x, s, ξ ), · · · , aN (x, s, ξ ) )
where am
i (x, s, ξ ) = ai (x, Tm (s), ξ ) for i = 1, · · · , N.
and for any v ∈ W̊B1 (ω), we consider the following approximate equations
Z Z Z
(Pm ) : a(x, Tm (um ), ∇um ) ∇v dx + bm (x, um , ∇um ) v dx = f m v dx.
ω ω ω
Proposition 2.2.1. Suppose that the assumptions (2.40) - (2.43) hold true, and let (um )m∈N be a
solution of the approximate problem (Pm ). Then, for all k > 0, there exists a constant c . k ( not
N Z N Z
∑ am m m m m
i (x, u , ∇u ) . ∇(exp(G(u )) . Tk (u )) dx + ∑ bm m m m m
i (x, u , ∇u ) . exp(G(u )) . Tk (u ) dx
i=1 ω i=1 ω
Z
≤ f m . exp(G(um )) . Tk (um ) dx.
ω
Then,
N Z
∑ am m m m m
i (x, u , ∇u ) exp(G(u )) ∇Tk (u )) dx
i=1 ω
N
l(um )
Z
+∑ am m m m
i (x, u , ∇u ).∇u . . exp(G(um ))Tk (um )dx
i=1 ω ā
N Z Z
≤ ∑ | bm m m
i (x, u , ∇u ) | .
m m
exp(G(u )) . Tk (u ) dx + f m . exp(G(um )) . Tk (um ) dx
i=1 ω ω
N Z Z
h(x) + l(um ) . Bi (∇um ) . exp(G(um )) . Tk (um ) dx + f m . exp(G(um )) . Tk (um ) dx
≤∑
i=1 ω ω
N Z Z
l(um ) . Bi (∇um ). exp(G(um )) . Tk (um ) dx + f m + h(x) . exp(G(um )) . Tk (um ) dx,
≤ ∑
i=1 ω ω
so,
N Z
∑ am m m m m
i (x, u , ∇u ) . ∇u . exp(G(u )) dx
i=1 { ω:|um | < k }
l(um )
Z
≤ f m (x) + h(x) + φ (x) . exp(G(um )) Tk (um ) dx,
ω ā
2.2. Existence and Uniqueness of entropy solution in unbounded domain 51
by (2.42), we get
N Z
ā ∑ Bi (∇um ) exp(G(um )) dx
m
i=1 {ω : | u | ≤ k}
Z
≤ φ (x) exp(G(um )) dx
{ω : | um | ≤ k}
l(um )
Z
+ f m (x) + h(x) + φ (x) . exp(G(um )) Tk (um ) dx,
ω ā
|| l ||L1 (R)
since φ , h and f m ∈ L1 (ω) , and the fact that exp(G(±∞)) ≤ exp ā , we deduce that,
Z
B(∇Tk (um )) dx ≤ k . c, k > 0.
{ ω: |um | < k }
Finally
Z
B(∇Tk (um )) dx ≤ k . c, k > 0.
ω
meas{ x ∈ ω, | um | > k } −→ 0.
with ε(k) −→ 0 as k −→ ∞.
Tk (um )
k
Z
∗ m ∗
B meas{ x ∈ ω : | u | ≥ k } ≤ B dx
|| Tk (um ) ||B∗ ω || Tk (um ) ||B∗
k
Z
≤ B∗ dx,
ω || Tk (um ) ||B∗
52 Chapitre 2. On some nonlinear elliptic equations in anisotropic Sobolev-Orlicz space
∗ k
B −→ ∞ as k −→ ∞.
|| Tk (um ) ||B∗
Hence,
We have,
meas{ ω : B(∇um ) ≥ r } −→ 0 as r −→ ∞.
Proof.
∪ { x ∈ ω : | um | < k, B(∇um ) ≥ r } },
if we denote
we have
Then,
Z Z ∞
B(∇um ) dx =
g(r, 0) − g(r, k) dr ≤ c . k, (2.45)
{ x ∈ ω: | um |<k } 0
1 r
Z
g(r, 0) ≤ g(r, 0) dr
r 0
1 r 1 r
Z Z
≤ g(r, 0) − g(r, k) dr + g(r, k) dr
r 0 r 0
1 r
Z
≤ g(r, 0) − g(r, k) dr + g(0, k), (2.46)
r 0
2.2. Existence and Uniqueness of entropy solution in unbounded domain 53
c.k
g(r, 0) ≤ + g(0, k),
r
by Lemma 1.1.1,
lim g(0, k) = 0.
k→∞
Thus
g(r, 0) −→ 0 as r −→ ∞.
um −→ u a.e in Ω. (2.47)
1 if r < R ,
ηR (r) = R + 1 − r if R ≤ r < R + 1 ,
if r ≥ R + 1 .
0
Z Z Z
B(∇ηR (| x |) . Tk (um )) dx ≤ c B(∇um ) dx + c B(Tk (um ) . ∇ηR (| x |) dx
ω { x ∈ ω: | um |<k } ω
≤ c(k, R),
which implies that the sequence { ηR (| x |) TK (um ) } is bounded in W̊B1 (ω(R + 1)) and by embedding
For k ≥ 1,
Lemma 2.2.3. Let an N-functions B̄(t) satisfy the ∆2 −condition and um , m = 1, · · · , ∞, and u be
|| um ||B ≤ c m = 1, 2, · · · .
um −→ u almost everywhere in ω, m −→ ∞.
Then,
um ⇀ u weakly in LB (ω) as m → ∞.
And since,
we have
since
um −→ u a.e in ω as m → ∞,
2.2. Existence and Uniqueness of entropy solution in unbounded domain 55
we get
∇um −→ ∇u a.e in ω as m → ∞.
1 if | s | ≤ j ,
h j (s) = 1 − | s − j | if j ≤ | s | ≤ j + 1 ,
if s ≥ j + 1 .
0
Assertion 1 :
N Z
lim lim ∑ am m m m
i (x, u , ∇u ) . ∇u . ηR (| x |) dx = 0. (2.48)
j→∞ m→∞ j≤| um |≤ j+1 }
i=1 {
Assertion 2 :
N Z
∑ am m m
i (x, u , ∇u ) . ∇
m m m
exp(G(u )) . T1 (u − T j (u )) . ηR (| x |) dx
i=1 ω
N Z
≤∑ | bm m m m m m
i (x, u , ∇u ) | . exp(G(u )) . T1 (u − T j (u )) . ηR (| x |) dx
i=1 ω
Z
+ f m (x) . exp(G(um )) . T1 (um − T j (um )) . ηR (| x |) dx,
ω
N Z
∑ am m m m m
i (x, u , ∇u ) . ∇u . exp(G(u )) . ηR (| x |) dx
i=1 { j<| um |< j+1 }
l(um )
Z
m
≤ f (x) + h(x) + φ (x) . . exp(G(um )).T1 (um − T j (um )) . ηR (| x |) dx,
ω ā
|| l ||L1 (R)
since φ ∈ L1 (ω), h∈ L1 (ω), fm ∈ (L1 (ω))N , and the fact that exp(G(±∞)) ≤ exp ā , we
l(um )
Z
m
lim lim f (x) + h(x) + φ (x) . . exp(G(um )) . T1 (um − T j (um )) . ηR (| x |) dx = 0.
j→∞ m→∞ ω ā
Hence,
Z
lim lim am m m m
i (x, u , ∇u ) . ∇u . ηR (| x |) dx = 0.
j→∞ m→∞ { j<| um |< j+1 }
N Z
am m m m m m
∑ i (x, u , ∇u ) . ∇ exp(G(u )) . (Tk (u ) − Tk (u)) . h j (u ) . ηR (| x |) dx
i=1 ω
N Z
+∑ bm m m m m m
i (x, u , ∇u ) . exp(G(u )) . (Tk (u ) − Tk (u)) . h j (u ) . ηR (| x |) dx
i=1 ω
Z
≤ f m (x) . exp(G(um )) . (Tk (um ) − Tk (u)) . h j (um ) . ηR (| x |) dx,
ω
2.2. Existence and Uniqueness of entropy solution in unbounded domain 57
which implies
N
l(um )
Z
∑ am m m m
i (x, u , ∇u ) . ∇u . . exp(G(um )) . (Tk (um ) − Tk (u)) . h j (um ) × ηR (| x |) dx
i=1 ω ā
N
+ ∑ am m m m m m
i (x, u , ∇u ) . exp(G(u )) . (∇Tk (u ) − ∇Tk (u)) . h j (u ) . ηR (| x |) dx
i=1
N Z
+∑ am m m m m m
i (x, u , ∇u ) . exp(G(u )) . (Tk (u ) − Tk (u)) . ∇h j (u ) . ηR (| x |) dx
i=1 ω
N Z
+∑ am m m m m m
i (x, u , ∇u ) . exp(G(u )) . (Tk (u ) − Tk (u)) . h j (u ) . ∇ηR (| x |) dx
i=1 ω
N Z
≤∑ | bm m m m m m
i (x, u , ∇u ) | . exp(G(u )) . (Tk (u ) − Tk (u)) . h j (u ) . ηR (| x |) dx
i=1 ω
Z
+ f m (x) . exp(G(um )) . (Tk (um ) − Tk (u)) . h j (um ) . ηR (| x |) dx,
ω
N Z
∑ am m m m m m
i (x, u , ∇u ) . exp(G(u )) . (∇Tk (u ) − ∇Tk (u)) . h j (u ) . ηR (| x |) dx
i=1 ω
N Z
+∑ am m m m m m
i (x, u , ∇u ) . ∇u . exp(G(u )) × (Tk (u ) − Tk (u)) . ηR (| x |) dx
{ ω: j≤| um |≤ j+1 }
i=1
N Z
+ am
∑ m m m m m
i (x, u , ∇u ) . exp(G(u )) . (Tk (u ) − Tk (u)) . h j (u ) × ∇ηR (| x |) dx
i=1 ω
l(um )
Z
m
≤ f (x) + h(x) + φ (x) . . exp(G(um )) . (Tk (um ) − Tk (u)) . h j (um ) × ηR (| x |) dx
ω ā
N Z
∑ ai (x, Tk (um ), ∇Tk (um )) exp(G(um )) . (∇Tk (um ) − ∇Tk (u)) × ηR (| x |) dx
m
i=1 { ω: | u |≤k }
Z
+ am m m m m m
i (x, u , ∇u ) ∇u exp(G(u )) (Tk (u ) − Tk (u)) ηR (| x |) dx
{ ω: j≤| um |≤ j+1 }
N Z
+∑ am m m m m
i (x, u , ∇u ) . exp(G(u )) . (Tk (u ) − Tk (u)) . ∇ηR (| x |) dx
i=1 ω
l(um )
Z
m
≤ f (x) + h(x) + φ (x) . . exp(G(um )) . (Tk (um ) − Tk (u)) . ηR (| x |) dx
ω ā
N Z
+∑ ai (x, T j+1 (um ), ∇T j+1 (um )) . exp(G(um )) . | ∇Tk (u) | × ηR (| x |) dx
m
i=1 { ω: k≤| u |≤ j+1 }
N Z
+∑ am m m m m m
i (x, u , ∇u ) . ∇u . exp(G(u )) . | Tk (u ) − Tk (u) | × ηR (| x |) dx.
m
i=1 { ω: j≤| u |≤ j+1 }
The first term in the right hand side goes to zero as m tend to ∞, since Tk (um ) ⇀ Tk (u) weakly in
58 Chapitre 2. On some nonlinear elliptic equations in anisotropic Sobolev-Orlicz space
W̊B1 (ω(m)).
Since am m m m
i (x, T j+1 (u ), ∇T j+1 (u )) is bounded in LB̄ (ω(m)), there exists ã ∈ LB̄ (ω(m)) such as
| am m m m
i (x, T j+1 (u ), ∇T j+1 (u )) | ⇀ ã in LB̄ (ω(m)). (2.50)
Thus, the second term of the right hand side goes also to zero.
1 (ω(m)). The third term of the left hand side increased by
Since Tk (um ) −→ TK (u) strongly in W̊B,loc
a quantity that tends to zero as m tend to zero, and according to (2.48) we deduce that
N Z
∑ ai (x, Tk (um ), ∇Tk (um )) . exp(G(um )) . | ∇Tk (um ) − ∇Tk (u) | × ηR (| x |) dx
i=1 { ω: | um |≤k }
≤ ε( j, m).
Then,
N Z
∑ ai (x, Tk (u ), ∇Tk (u )) − ai (x, Tk (u ), ∇Tk (u)) . ( ∇Tk (um ) − TK (u) ) × ηR (| x |) dx
m m m
i=1 ω
N Z
≤−∑ ai (x, Tk (um ), ∇Tk (u)) . exp(G(um )) . | ∇Tk (um ) − ∇Tk (u) | × ηR (| x |) dx
i=1 ω
N Z
− ∑ ai (x, Tk (um ), ∇Tk (um )) . exp(G(um )) . ∇Tk (u) . ηR (| x |) dx + ε( j, m). (2.51)
m
i=1 { ω: | u |≤k }
1 (ω)
According to Lebesgue dominated convergence Theorem, we have Tk (um ) −→ Tk (u) in W̊B,loc
and ∇Tk (um ) ⇀ ∇Tk (u) in W̊B1 (ω), then the terms on the right had side of (2.51) go to zero as m and
j tend to infinity.
N Z
∑ ai (x, Tk (u ), ∇Tk (u )) − ai (x, Tk (u ), ∇Tk (u)) × ( ∇Tk (um ) − TK (u) ) dx −→ 0.
m m m
(2.52)
i=1 ω
Let v = exp(2 G(| um |)) . T1 (um −TR (um )) . ηR (| x |) as a test function in the problem (Pm ), we obtain
N Z
am m m m m m
∑ i (x, u , ∇u ) . ∇ exp(2 G(| u |)) . T1 (u − TR (u )) . ηR (| x |) dx
i=1 ω
N Z
+∑ bm m m m m m
i (x, u , ∇u ) . exp(2 G(| u |)) . T1 (u − TR (u )) . ηR (| x |) dx
i=1 ω
Z
≤ f m (x) . exp(2 G(| um |)) . T1 (um − TR (um )) . ηR (| x |) dx,
ω
N
l(um )
Z
∑ am m m m
i (x, u , ∇u ) . ∇u . . exp(2 G(| um |)) . T1 (um − TR (um )) × ηR (| x |) dx
i=1 ω ā
N Z
+∑ am m m m m
i (x, u , ∇u ) . ∇u . exp(2 G(| u |)) . ηR (| x |) dx
{ ω: R≤| um |≤R+1 }
i=1
N Z
+ ∑ am m m m m m
i (x, u , ∇u ) . exp(2 G(| u |) . T1 (u − TR (u )) . ∇ηR (| x |) dx
i=1 ω
N Z
≤ ∑ | bm m m m m m
i (x, u , ∇u ) | . exp(2 G(| u |)) . T1 (u − TR (u )) . ηR (| x |) dx
i=1 ω
Z
+ f m (x) . exp(2 G(| um |)) . T1 (um − TR (um )) . ηR (| x |) dx,
ω
N Z
ā ∑ Bi (| ∇um |) . exp(2 G(| um |) . ηR (| x |) dx
{ ω: R≤| um |≤R+1 }
i=1
N Z
+ ∑ am m m m m m
i (x, u , ∇u ) . exp(2 G(| u |) . T1 (u − TR (u )) . ∇ηR (| x |) dx
i=1 ω
l(um )
Z
m
≤ f (x) + h(x) + φ (x) . . exp(2 G(| um |)) . T1 (um − TR (um ))
ω ā
Z
× ηR (| x |) dx + φ (x) . exp(2 G(| um |) . ηR (| x |) dx.
{ ω: R≤| um |≤R+1 }
|| l || 1
Since ηR (| x |) ≥ 0, exp(G(±∞)) ≤ exp 2 āL (R) , f m ∈ ( L1 (ω) )N , φ and h ∈ L1 (ω). Then,
N Z
ε
∑ B(| ∇um |) dx ≤ , ∀R > R(ε).
i=1 { ω: | um |>R+1 } 2
60 Chapitre 2. On some nonlinear elliptic equations in anisotropic Sobolev-Orlicz space
Let V̊ (ω(m)) be an arbitrary bounded subset for ω. Then, for any measurable set E ⊂ V̊ (ω(m)) we
have
N Z N Z
m
∑ Bi (| ∇u |) dx ≤ ∑ Bi (| ∇TR (um ) |) dx
i=1 E i=1 E
N Z
+∑ Bi (| ∇um |) dx (2.54)
m
i=1 { | u |>R+1 }
we conclude that ∀E ⊂ V̊ (ω(m)) with meas (E) < β (ε) and TR (um ) −→ TR (u) in W̊B1 (ω)
N Z
ε
∑ Bi (| ∇TR (um ) |) dx ≤ . (2.55)
i=1 E 2
N Z
∑ Bi (| ∇um |) dx ≤ ε ∀E ⊂ V̊ (ω(m)) such as meas (E) < β (ε).
i=1 E
Let ξ ∈ W̊B1 (ω) ∩ L∞ (ω), using the following test function v = ϑk Tk (um − ξ ) in the problem (Pm )
with
1
for ω(m) ,
ϑk =
0 for ω(m + 1)\ω(m) ,
N Z
∑ ai (x, Tm (um ), ∇um ) . ϑk ∇Tk (um − ξ ) dx
i=1 ω
N Z
+∑ ai (x, Tm (um ), ∇um ) . Tk (um − ξ ) ∇ϑk dx
i=1 ω
N Z
+∑ bm m m m
i (x, u , ∇u ) . ϑk Tk (u − ξ ) dx
i=1 ω
Z
≤ f m (x) . ϑk Tk (um − ξ ) dx, (2.56)
ω
2.2. Existence and Uniqueness of entropy solution in unbounded domain 61
N Z
∑ ai (x, Tm (um ), ∇um ) . Tk (um − ξ ) dx
i=1 ω(m)
N Z
=∑ ai (x, T j+|| ξ ||∞ (um ), ∇T j+|| ξ ||∞ (um )) . T j+|| ξ ||∞ (um − ξ ) . χ{ | um −ξ |< j } dx
i=1 ω(m)
N Z
m m m
=∑ ai (x, T j+|| ξ ||∞ (u ), ∇T j+|| ξ ||∞ (u )) − ai (x, T j+|| ξ ||∞ (u ), ∇ξ )
i=1 ω(m)
N Z
lim inf ∑ ai (x, Tm (um ), ∇um ) . ∇Tk (um − ξ ) dx
m→∞
i=1 ω(m)
N Z
m m m
≥∑ ai (x, T j+|| ξ ||∞ (u ), ∇T j+|| ξ ||∞ (u )) − ai (x, T j+|| ξ ||∞ (u ), ∇ξ )
i=1 ω(m)
The second term on the right hand side of the previous inequality is equal to
Z
ai (x, T j+|| ξ ||∞ (u), ∇ξ ) . ∇T j+|| ξ ||∞ (u − ξ ) . χ{ | u−ξ |< j } dx.
ω(m)
Then, since Tk (um − ξ ) ⇀ Tk (u − ξ ) weakly in W̊B1 (ω), and by (2.49), (2.53) we have
N Z N Z
∑ bm m m m
i (x, u , ∇u ) . ϑk Tk (u − ξ ) dx −→ ∑ bi (x, u, ∇u) . ϑk Tk (u − ξ ) dx, (2.59)
i=1 ω i=1 ω
and
Z Z
m m
f (x) . ϑk Tk (u − ξ ) dx −→ f (x) . ϑk Tk (u − ξ ) dx. (2.60)
ω ω
Combining (2.56) - (2.60) and passing to the limit as m −→ ∞, we have the condition 3 in definition
2.2.1.
62 Chapitre 2. On some nonlinear elliptic equations in anisotropic Sobolev-Orlicz space
In this subsection, we demonstrate the Theorem of uniqueness solution to the problem (P)
in an unbounded domain ; using the fact given in [3, 32, 33] such as bi (x, u, ∇u) are a contraction
Theorem 2.2.2. Under assumptions (2.40) - (2.43), and bi (x, u, ∇u) : ω × R × RN −→ R for i =
1, · · · , N contraction Lipschitz continuous functions do not satisfy any sign condition, and
N ′ ′ ′
∑ ai (x, ξ , ∇ξ ) − ai (x, ξ , ∇ξ ) . (∇ξ − ∇ξ ) > 0. (2.61)
i=1
N Z N Z Z
∑ ai (x, u1 , ∇u1 ) . ∇v dx + ∑ bi (x, u1 , ∇u1 ) . v dx = f (x) . v dx,
i=1 ω i=1 ω ω
and
N Z N Z Z
∑ ai (x, u2 , ∇u2 ) . ∇v dx + ∑ bi (x, u2 , ∇u2 ) . v dx = f (x) . v dx,
i=1 ω i=1 ω ω
N Z
ai (x, u1 , ∇u1 ) − ai (x, u2 , ∇u2 ) . ∇v dx
∑
i=1 ω
N Z
bi (x, u1 , ∇u1 ) − bi (x, u2 , ∇u2 ) . v dx = 0,
+∑
i=1 ω
0 if x ≥ k ,
2
η(x) = k − | x | if | x | < k ,
k
if x ≤ −k .
0
2.2. Existence and Uniqueness of entropy solution in unbounded domain 63
N Z
ai (x, u1 , ∇u1 ) − ai (x, u2 , ∇u2 ) . (u1 − u2 ) . ∇η(x) dx
∑
i=1 ω
N Z
bi (x, u1 , ∇u1 ) − bi (x, u2 , ∇u2 ) . (u1 − u2 ) . η(x) dx
+∑
i=1 ω
≤ 0,
according to (1.2) and the fact that bi (x, u, ∇u) contraction Lipschitz functions for i = 1, · · · , N, we
get
N Z N Z
B̄i ai (x, u1 , ∇u1 ) − ai (x, u2 , ∇u2 ) dx + ∑ Bi (u1 − u2 ) ∇η(x)) dx
∑
i=1 ω i=1 ω
N Z N Z
1 1 2 2
Bi (u1 − u2 ) dx
≤∑ B̄i ai (x, u , ∇u ) − ai (x, u , ∇u ) dx + 2 ∑
i=1 ω i=1 ω
N Z N Z
≤α ∑ Bi (u1 − u2 ) dx + α ∑ B̄i (η(x) . (u1 − u2 )) dx, (2.62)
i=1 ω i=1 ω
then
N Z
B̄i ai (x, u1 , ∇u1 ) − ai (x, u2 , ∇u2 ) dx
∑
i=1 ω
N Z N Z
≤ (α − 2) ∑ Bi (u1 − u2 ) dx + α ∑ B̄i (η(x) . (u1 − u2 )) dx. (2.63)
i=1 ω i=1 ω
Since,
N N
| x |2
Z Z
1 2 1 2
∑ B̄i (η(x) . (u − u )) dx ≤ ∑ B̄i k− . (u − u ) dx
i=1 ω i=1 ω∩{ | x |≤k } k
N Z
+∑ B̄i ( η(x) . (u1 − u2 )) dx
i=1 ω∩{ | x |>k }
−→ 0 as k −→ 0,
and since the N-functions B̄i verified the same conditions and properties of the Bi then, according
N Z N Z
B̄i ai (x, u1 , ∇u1 ) − ai (x, u2 , ∇u2 ) dx ≤ ãc ∑ Bi (∇(u2 − u2 )) dx
∑
i=1 ω i=1 ω
Thus
|| B(u1 − u2 ) ||1,ω = 0.
Hence, u1 = u2 a.e in ω.
2.2.4 appendix
Let
′
Am : W̊B1 (ω) −→ (W̊B1 (ω))
N
∂v
Z Z
m
v 7−→ ⟨A (u), v⟩ = ∑ am
i (x, u, ∇u) . + bm
i (x, u, ∇u) . v dx − f m (x) . v dx,
ω i=1 ∂ xi ω
N
and let denote LB̄ (ω) = ∏ LB̄i (ω) with the norm
k=1
N
|| v ||LB̄ (ω) = ∑ || vi ||B̄i ,ω v = (v1 , · · · , vN ) ∈ LB̄ (ω).
i=1
am (x, s, ξ ) = am m
1 (x, s, ξ ), · · · , aN (x, s, ξ ) ,
and
bm (x, s, ξ ) = bm m
1 (x, s, ξ ), · · · , bN (x, s, ξ ) .
Let’s show that operator A is bounded, so for u ∈ W̊B1 (ω), according to (1.9) and (2.40) we get
N
|| am (x, u, ∇u) ||LB̄ (ω) = ∑ || am
i (x, u, ∇u) ||LB̄ (ω) i
i=1
N Z
≤∑ B̄i ( am
i (x, u, ∇u) ) dx + N
i=1 ω
Further, for am (x, u, ∇u) ∈ LB̄i (ω), v ∈ W̊B1 (ω) using Hölder’s inequality we have
m
+ 2 || b (x, u, ∇u) ||LB (ω) . || v ||W̊ 1 (ω) + c0 . || v ||W̊ 1 (ω) . (2.65)
B B
Thus, Am is bounded.
N N
∂u
Z Z
m
⟨A (u), u⟩ω = ∑ am
i (x, u, ∇u) . dx + ∑ bm
i (x, u, ∇u) . u dx
i=1 ω ∂ xi i=1 ω
Z
− f m (x) . u dx.
ω
Then,
N Z
⟨Am (u), u⟩ω
1 ∂u
≥ . ā ∑ Bi dx − c1 − c0
|| u ||W̊ 1 (ω) || u ||W̊ 1 (ω) i=1 ω ∂ xi
B B
N Z
∂u
Z
− l(u) . ∑ Bi dx − h(x) dx
i=1 ω ∂ xi ω
N
1 ∂u
Z
≥ . ( ā(ω) − c2 ) . ∑ Bi dx − c0 − c1 − c3 .
|| u ||W̊ 1 (ω) i=1 ω ∂ xi
B
| uxi |
bi ( | uxi | ) > k bi , i = 1, · · · , N.
|| uxi ||Bi ,ω
| u j | b( | u j | ) < c B(u j ),
66 Chapitre 2. On some nonlinear elliptic equations in anisotropic Sobolev-Orlicz space
⟨Am (u j ), u j ⟩ω ā(ω) − c2 N
∂u c4
Z
≥ .∑ Bi dx −
|| u j ||W̊ 1 (ω) N α0 i=1 ω ∂ xi N α0
B
ā(ω) − c2 N c4
Z
≥ .∑ | uxji | b( | uxji | ) dx −
N α0 i=1 ω N α0
N
| uxji |
( ā(ω) − c2 ) . k c4
Z
≥ .∑ | uxji | bi dx −
c N || uxji ||Bi i=1 ω
j
|| uxi ||Bi ,ω N α0
N Z
| uxji |
( ā(ω) − c2 ) . k c4
≥ .∑ Bi j dx −
cN i=1 ω || uxi ||Bi ,ω N α0
( ā(ω) − c2 ) . k c4
≥ − .
cN N α0
we demonstrate that
′
Am (um ) ⇀ Am (u) weakly in ( W̊B1 (ω) ) , m → ∞. (2.68)
⟨ Am (um ), um − u ⟩ −→ 0, m → ∞. (2.69)
Z
B(θ ) dx ≤ c0 || θ ||B, ω . (2.70)
ω
and
N
|| am (x, u, ∇u) ||B̄ = ∑ || am m m
i (x, u , ∇u ) ||B̄i ≤ c3 m = 1, 2, · · · . (2.73)
i=1
And for m ∈ N∗ , | bm (x, u, ∇u) | = | Tm (b(x, u, ∇u) | ≤ m. Then, by (2.43) and (2.71) we have
N
|| bm (x, u, ∇u) ||B = ∑ || bm m m
i (x, u , ∇u ) ||Bi ≤ c4 , m = 1, 2, · · · .
i=1
We set
N
Am (x) = ∑ am m m m
m
i (x, u , ∇u ) − ai (x, u, ∇u) (u − u)xi
i=1
N
+ ∑ bm m m m
m
i (x, u , ∇u ) − bi (x, u, ∇u) (u − u), m = 1, · · · .
i=1
Then
Z
m m m m
⟨ A (u ) − A (u), u − u ⟩ = Am (x) dx m = 1, · · · .
ω
Z
lim sup Am (x) dx ≤ 0.
m→∞ ω
So,
N
Am (x) = ∑ am m m m m
m
i (x, u , ∇u ) − ai (x, u , ∇u) (u − u)xi
i=1
N
+ ∑ am m m
m
i (x, u , ∇u) − ai (x, u, ∇u) (u − u)xi
i=1
N
+ ∑ bm m m m
m
i (x, u , ∇u ) − bi (x, u, ∇u) (u − u)
i=1
= Am m m
1 (x) + A2 (x) + A3 (x) m = 1, · · · . (2.74)
We prove that
Am
1 (x) −→ 0 almost everywhere in Ω m → ∞. (2.75)
68 Chapitre 2. On some nonlinear elliptic equations in anisotropic Sobolev-Orlicz space
Am
2 (x) −→ 0 almost everywhere in Ω m → ∞. (2.76)
Am
3 (x) −→ 0 almost everywhere in Ω m → ∞. (2.77)
N
Am (x) = ∑ am m m m m
m
i (x, u , ∇u ) − ai (x, u , ∇u) (u − u)xi
i=1
N N
= ∑ am m m m m m m
i (x, u , ∇u ) . uxi − ∑ ai (x, u , ∇u ) . uxi
i=1 i=1
N N
− ∑ am m m
i (x, u, ∇u) . uxi + ∑ ai (x, u, ∇u) . uxi ,
i=1 i=1
Am
1 (x) ≥ c(m) −→ 0 as m → ∞.
As in [76], let Am m 1
i (u) = ai (x, u, ∇v) i = 1, · · · , N be Nemytsky operators for v ∈ W̊B (ω) fixed and
Thus, according to (1.10), (2.47) and the diagonal process, we have for any R > 0,
Am
2 (x) −→ 0 almost everywhere in ω m → ∞.
N
Am m m m m m
3 (x) ≤ 2 ∑ || bi (x, u , ∇u ) − bi (x, u, ∇u) ||Bi ,ω(R) . || u − u ||W̊ 1 (ω)
B
i=1
Hence, combining to (2.47) and the diagonal process, we have for any R > 0
Am
3 (x) −→ 0 almost everywhere in ω m → ∞.
Consequently, by (2.75), (2.76), (2.77) and the selective convergences we deduce that
Let ω ′ ⊂ ω, meas ω ′ = meas ω, and the conditions (2.47), (2.78) are true, and (2.40) - (2.43) are
satisfied.
um
xi (x) −→ uxi (x) everywhere in ω for i = 1, · · · , N , m → ∞. (2.79)
Let um = um ∗ ∗ ∗ ∗
xi (x ), u = uxi (x ), i = 1, · · · , N, and â = ϕ1 (x ), ā = ϕ(x ). Suppose that the sequence
N
∑ Bi (um ) m = 1, · · · , ∞ is unbounded.
i=1
ā
Let ε ∈ 0, 1+â is fixed, according to (1.2), (1.4) and the conditions (2.40), (2.42), we get
N
∗ m ∗ m m ∗
m
A (x ) = ∑ ai (x , u , ∇u ) − ai (x , u, ∇u) ∇(um − u)
m
i=1
N
m ∗ m m ∗
+ ∑ bi (x , u , ∇u ) − bi (x , u, ∇u) (um − u)
m
i=1
N N
∗ m m ∗ m
= ∑ am m m m
i (x , u , ∇u ) ∇u − ∑ ai (x , u , ∇u ) ∇u
i=1 i=1
N N
∗ ∗
− am
∑ i (x , u, ∇u) ∇u +
m
∑ am
i (x , u, ∇u) ∇u
i=1 i=1
N N N N
∗ m m ∗ m ∗ ∗
+ bm
∑ i (x , u , ∇u m
) u j
− ∑ b i (x , u , ∇um
) u − bm
i (x , u, ∇u) u
∑ m
+ ∑ bm
i (x , u, ∇u) u.
i=1 i=1 i=1 i=1
N N N
Am (x∗ ) ≥ ∑ am ∗
i (x , u, ∇u) . ∇u + ∑ ami (x∗ , um , ∇um ) . ∇um − ε ∑ B̄i (ami (x∗ , um , ∇um ))
i=1 i=1 i=1
N N N
− c1 (ε) ∑ Bi (∇u) − ε ∑ B̄i (ami (x∗ , u, ∇u)) − c2 (ε) ∑ Bi (∇um )
i=1 i=1 i=1
N N N
+ ∑ bmi (x∗ , um , ∇um ) . ∇um + ∑ bmi (x∗ , u, ∇u) . ∇u − ∑ bmi (x∗ , um , ∇um ) . ∇u
i=1 i=1 i=1
N
− ∑ bmi (x∗ , u, ∇u) . ∇um
i=1
N N N
≥ ā ∑ Bi (∇u) − ψ(x∗ ) + ∑ Bi (∇um ) − ψ(x∗ ) − ε â ∑ Bi (∇um ) − ε ϕ(x∗ )
i=1 i=1 i=1
N N N
− c1 (ε) ∑ Bi (∇u) − ε â ∑ Bi (∇u) − ε ϕ(x∗ ) − c2 ∑ Bi (∇um ) − 4h(x∗ )
i=1 i=1 i=1
N N
− c3 l(u) ∑ Bi (∇u) − c4 l(um ) ∑ Bi (∇um ).
i=1 i=1
70 Chapitre 2. On some nonlinear elliptic equations in anisotropic Sobolev-Orlicz space
So
N N
A j (x∗ ) ≥ ā − c1 (ε) − ε â − c3 l(u) ∑ Bi (∇u) + ā − ε â c2 − c4 l(um ) ∑ Bi (∇um ) − c5 (ε).
i=1 i=1
So we deduce that the sequence Am (x∗ ) is not bounded, which is absurd as far as what is in (2.78).
∗
um
xi −→ uxi , i = 1, · · · , N. (2.80)
N
∗ m m ∗
am m
m
∑ i (x , u , ∇u ) − ai (x , u, ∇u) . (uxi − uxi ) = 0,
i=1
and from (2.41) we have, u∗xi = uxi . This contradicts the fact that there is no convergence at the point
x∗ .
get
am m m m
i (x, u , ∇u ) −→ ai (x, u, ∇u), i = 1, · · · , N almost everywhere in ω.
am m m m
i (x, u , ∇u ) ⇀ ai (x, u, ∇u) in LB̄i (ω) , i = 1, · · · , N. (2.81)
Furthermore, to complete the proof, we note that (2.69) is implied from (2.66) and (2.78) :
+ ⟨Am (u), um − u⟩ → 0, m → ∞.
We’re ending this section by a suitable example, that checks all the above conditions and proposi-
tions,
2.2. Existence and Uniqueness of entropy solution in unbounded domain 71
Example 6. Let ω be an unbounded domain of RN , (N ≥ 2). By Theorems 2.2.1 and 2.2.2 it exists
a unique entropy solution based on the definition 2.2.1 of the following anisotropic problem (P1 ) :
N N
−1
ã ∑ B̄i Bi (| ∇u |) + l(u) . ∑ Bi (| ∇u |) = f (x) in ω ,
(P1 ) i=1 i=1
u = 0
on ∂ ω ,
f ∈ L1 (ω) and
In this chapter, we study a certain class of unilateral elliptical operators whose nonlinearity is
given by a vector of N-functions in the framework of anisotropic Orlicz spaces. In the first part, we
prove the existence of entropic solutions for our problem in the bounded domain. In the second part,
we show the existence and uniqueness solution to the same problem but with an unbounded domain
namely ; without assuming any condition on the behavior of the solutions when |x| tends towards
infinity. Moreover, we are giving some examples of an anisotropic elliptic equation that verifies all
73
Chapitre 3. The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic
74 Equations in General Domain
3.1.1 Introduction
Let Ω be a bounded domain of RN (N ≥ 2). The aim of this section is the study of boundary
value problems for a class of nonlinear anisotropic elliptic equations. More specifically, we consider
the unilateral elliptical operators whose nonlinearity is given by a vector of N-functions like
N
A(u) +
∑ bi (x, u, ∇u) = f in Ω ,
(P) i=1
u ≥ ζ
a.e in Ω ,
N
where, A(u) = ∑ ( σi (x, u, ∇u) )x i is a Leray–Lions operator defined in W̊M1 (Ω) (defined as the
i=1
adherence space C0∞ (Ω)) into its dual (see assumptions (3.1), (3.2), (3.3) in Section 3.1.2 below) ;
M(t) = (M1 (t), · · · , MN (t)) are N-uplet Orlicz functions that satisfy ∆2 −condition ; the obstacle
ζ is a measurable function that belongs to L∞ (Ω) ∩ W̊M1 (Ω) ; and for the i = 1, · · · , N, bi (x, s, ξ ) :
R×RN , and continuous with respect to (s, ξ ) in R×RN for almost every x in Ω) that does not satisfy
any sign condition and the growth which is described by the vector N-function (M1 (t), · · · , MN (t))
For several years great effort has been devoted to the study of nonlinear elliptic equations with
an operator which was described by polynomial growth. For example, in the classical Sobolev
space, Boccardo and Gallouêt in [35], proved the existence of a weak solution of (P) in the case
φ ≡ g ≡ 0. Bénilan in [21] presented the idea of entropy solutions which were adjusted to the
Boltzmann condition. For a deeper comprehension of these types of equations in this field, we refer
the reader to [5, 30, 34, 35, 67, 69, 77] and references therein.
Next, in the Orlicz space, Benkirane and Bennouna in [25] demonstrated the existence of entropy
where φ ∈ (C0 (R))N and f ∈ L1 (Ω). For more results, we refer the reader to [4, 11, 12, 38–41, 46,
And in the anisotropic Sobolev-Orlicz space, there are few results dealing with this topic. We will
3.1. Existence of entropy solutions in a bounded domain 75
mention recent papers, and we are starting by the pertinent works of Korolev and Cianchi [48, 72]
who proved the embeddings of this space. For more results dealing this field, we refer to [13, 20,
This kind of operator arises in a quite natural way in many different contexts, such as the study
of fluid filtration in porous media, constrained heating, elasticity, electro-rheological fluids , optimal
control, financial mathematics and other domains, see [19, 23, 45, 96] and the references therein.
As far we know, no previous research has investigated the existence of entropy solutions to
unilateral problem (P) with the second term as an operator with growth described by an n-uplet of
N-functions satisfying the ∆2 −condition, within the fulfilling of anisotropic Sobolev-Orlicz space
with bounded domain, the function bi (x, u, ∇u) does not satisfy any sign condition and the source f
is merely integrable. Hence, motived by the aforementioned papers, our main work is to obtain the
existence Theorem for unilateral problems corresponding to (P) via an approximation procedure
N
′ ′
∑ σi (x, s, ξ ) − σi (x, s, ξ ) . (ξi − ξi ) > 0, (3.1)
i=1
N N
∑ σi (x, s, ξ ) . ξi ≥ ā ∑ Mi (|ξi |) − φ (x), (3.2)
i=1 i=1
N N
∑ | σi (x, s, ξ ) | ≤ ã ∑ M̄i−1 Mi (|ξ |) + ϕ(x), (3.3)
i=1 i=1
and
N N
∑ | bi (x, s, ξ ) | ≤ h(x) + l(s) . ∑ Mi (|ξ |), (3.4)
i=1 i=1
with M(t) the complementary of M(t), h(x) ∈ L1 (Ω) and l : R −→ R+ a positive continuous func-
Definition 3.1.1. A measurable function u is said to be an entropy solution for the problem (P), if
Chapitre 3. The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic
76 Equations in General Domain
N Z N Z
∑ σi (x, u, ∇u) . ∇(u − v) dx + ∑ bi (x, u, ∇u) . (u − v) dx
i=1 Ω i=1 Ω
Z
≤ f (x) . (u − v) dx ∀v ∈ Kζ ∩ L∞ (Ω),
Ω
In this part, we will show the existence of our problem (P). There exist f m ∈ C0∞ (Ω) such that
σim (x, um , ∇um ) : ( W̊M1 (Ω) )N −→ ( W̊M−1 (Ω) )N being Carathéodory functions with
and bm N
i (x, um , ∇um ) : Ω × R × R −→ R again being Carathéodory functions not satisfying any sign
condition, with
b(x, u, ∇u)
bm (x, u, ∇u) = ,
1 + m1 | b(x, u, ∇u) |
and
N Z N Z
(Pm ) : ∑ σim (x, um , ∇um ) . ∇(um − v) dx + ∑ bm
i (x, um , ∇um ) . (um − v) dx
i=1 Ω i=1 Ω
Z Z
+ m . Tm (um − ζ )− . sg 1 (um ) . (um − v) dx = f m (x) . (um − v) dx ∀v ∈ W̊M1 (Ω),
Ω m Ω
Tm (s)
with sgm (s) = m , for m ∈ N∗ , and we define the truncation at height m, Tm (u) : R −→ R by
if | u | ≤ m ,
u
Tm (u) =
m if | u | > m .
Theorem 3.1.1. Let’s assume that conditions (3.1)–(3.4) and (1.18) hold true, then there exists at
Now, we will show some results in the form of propositions that will be useful for the demons-
Proposition 3.1.1. ( see [28] ) Suppose that conditions (3.1) - (3.4) are satisfied, and let (um )m∈N
Then :
M( | ∇um | ) −→ M( | ∇u | ) in L1 (Ω).
Proposition 3.1.2. ( see [26] ) Let’s assume that conditions (3.1) - (3.4) and (1.18) hold true, then
the generalized solution of the problems (Pm ) satisfies the following estimate :
Z
M( | ∇TK (um ) | ) ≤ c = c(K) , K > 0.
Ω
Proposition 3.1.3. ( see [26] ) Suppose that the conditions (3.1) - (3.4) and (1.18) are satisfied, and
let (um )m∈N be a solution of the problem (Pm ), then there exists a measurable function u such as
(a) um −→ u a.e in Ω,
Proposition 3.1.4. Suppose that the conditions (3.1) - (3.4) and (1.18) are satisfied, and let (um )m∈N
Proof. 1)
N
|| σ m (x, TK (um ), ∇TK (um )) ||M,Ω = ∑ || σim (x, TK (um ), ∇TK (um )) ||M ,Ω
i
i=1
N Z
≤∑ Mi ( | ∇TK (um ) | ) dx + || ϕ ||1 + N,
i=1 Ω
2) Showing that M(| ∇TK (um ) |) −→ M(| ∇TK (u) |) strongly in L1 (Ω) that’s why, let’s introduce the
1 if | K | ≤ j ,
following functions of a variable K defined as h j (K) = 0 if | K | ⩾ j + 1 , with
j + 1 + | K | if j < | K | < j + 1,
Assertion 1 :
Z
lim lim σ m (x, um , ∇um ) . ∇um dx = 0.
j→∞ m→∞ { Ω: j<| K |< j+1 }
Assertion 2 :
Z s
l(t)
with G(s) = dt as a test function in (Pm ) then we get :
0 ā
N Z
∑ σim (x, um , ∇um ) . ∇(exp(G(|um |)) . T1 (um − T j (um ))) dx
i=1 Ω
N Z
+∑ bm
i (x, um , ∇um ) . exp(G(|um |)) . T1 (um − T j (um )) dx
i=1 Ω
Z
+ m . Tm (um − ζ )− . sg 1 (um ) . exp(G(|um |)) . T1 (um − T j (um )) dx
Ω m
Z
= f m (x) . exp(G(|um |)) . T1 (um − T j (um )) dx,
Ω
N Z
∑ σim (x, um , ∇um ) . exp(G(|um |)) . ∇(T1 (um − T j (um ))) dx
i=1 Ω
Z
+ m . Tm (um − ζ )− . sg 1 (um ) . exp(G(|um |)) . T1 (um − T j (um )) dx
Ω m
Z
m l(um )
≤ f (x) + h(x) + φ (x) . . exp(G(|um |)) . T1 (um − T j (um )) dx,
Ω ā
|| l(um ) ||L1 (R)
since f , φ ∈ L1 (Ω), l ∈ L1 (R) ∩ L∞ (R), exp(G(±∞)) ≤ exp ā and by proposition 3.1.3
we obtain
Z
m l(um )
lim lim f (x) + h(x) + φ (x) . . exp(G(|um |)) . T1 (um − T j (um )) dx = 0.
m→∞ j→∞ Ω ā
Hence,
N Z
lim lim ∑ σim (x, um , ∇um ) . ∇um dx = 0,
m→∞ j→∞
i=1 { Ω: j<|um |< j+1 }
and
Z
lim lim m . Tm (um − ζ )− . sg 1 (um ) . exp(G(|um |)) . T1 (um − T j (um )) dx = 0.
m→∞ j→∞ Ω m
N Z
∑ σim (x, um , ∇um ) . ∇(exp(G(|um |)) . (TK (um ) − TK (u)) . h j (um )) dx
i=1 Ω
N Z
+∑ bm
i (x, um , ∇um ) . exp(G(|um |)) . (TK (um ) − TK (u)) . h j (um ) dx
i=1 Ω
Z
+ m . Tm (um − ζ )− . sg 1 (um ) . exp(G(|um |)) . (TK (um ) − TK (u)) . h j (um ) dx
Ω m
Z
= f m (x) . exp(G(|um |)) . (TK (um ) − TK (u)) . h j (um ) dx,
Ω
N Z
∑ σim (x, TK (um ), ∇TK (um )) . (∇TK (um ) − ∇TK (u)) . exp(G(|um |)) dx
i=1 { |um |≤K }
Z
+ m . Tm (um − ζ )− . sg 1 (um ) exp(G(|um |)) . (TK (um ) − TK (u)) . h j (um ) dx
Ω m
Z
l(um )
≤ f m (x) + h(x) + φ (x) . . exp(G(|um |)) . (TK (um ) − TK (u)) . h j (um ) dx
Ω ā
N Z
+∑ | σim (x, T j+1 (um ), ∇T j+1 (um )) | . | ∇TK (um ) | . exp(G(|um |)) dx
i=1 { Ω: K<|um |< j+1 }
N Z
+∑ σim (x, um , ∇um ) . ∇um . | TK (um ) − TK (u) | . exp(G(|um |)) dx, (3.6)
i=1 { Ω: K<|um |< j+1 }
Z
m l(um )
f (x) + h(x) + φ (x) . . exp(G(|um |)) . (TK (um ) − TK (u)) . h j (um ) dx −→ 0,
Ω ā
and
Z
m . Tm (um − ζ )− . sg 1 (um ) exp(G(|um |)) . (TK (um ) − TK (u)) . h j (um ) dx −→ 0,
Ω m
since | σim (x, T j+1 (um ), ∇T j (um )) | is bounded in LM (Ω), then there exist σ̃ m ∈ LM (Ω) such that
N Z
∑ | σim (x, T j+1 (um ), ∇T j+1 (um )) | . | ∇TK (um ) | . exp(G(|um |)) dx
i=1 { Ω: K<|um |< j+1 }
|| l ||L1 (R)
N Z
≤ exp .∑ | σim (x, T j+1 (um ), ∇T j+1 (um )) | . | ∇TK (um ) | dx
ā i=1 { Ω: K<|um |< j+1 }
|| l ||L1 (R)
N Z
−→ exp .∑ σ̃ m . | ∇TK (u) | dx = 0 as m → ∞, (3.8)
ā i=1 { Ω: K<|um |< j+1 }
N Z
∑ σim (x, um , ∇um ) . ∇um . | TK (um ) − TK (u) | . exp(G(|um |)) dx
i=1 { Ω: K<|um |< j+1 }
|| l ||L1 (R) N
Z
≤ 2K . exp .∑ σim (x, um , ∇um ) . ∇um dx −→ 0 as j → ∞, (3.9)
ā i=1 { Ω: K<|um |< j+1 }
N Z
∑ σim (x, TK (um ), ∇TK (um )) − σim (x, TK (um ), ∇TK (u)) . (∇TK (um ) − ∇TK (u) ) dx −→ 0
i=1 Ω
as m −→ ∞. (3.10)
Proposition 3.1.5. ( See [26] ) Suppose that the conditions (3.1) - (3.4) and (1.18) are true, and
u j , u ∈ W̊M1 (Ω)
u j −→ u in LM (Ω), (3.12)
N N
A (x) = ∑ σi (x, u , ∇u )−σi (x, u, ∇u) ∇(u −u)+ ∑ bi (x, u , ∇u )−bi (x, u, ∇u) (u j −u),
j m j j m j m j j m
i=1 i=1
Z
A j (x) dx −→ 0, j −→ ∞. (3.13)
Ω
Chapitre 3. The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic
82 Equations in General Domain
Theorem 3.1.2. Under assumptions (3.1)–(3.4), the problem (P) has at least one entropy solution.
N Z
σim (x, um , ∇um ) . ∇ exp(G(|um |)) T1 (um − T j (um )) dx
∑
i=1 Ω
N Z
+ ∑ bm
i (x, um , ∇um ) . exp(G(|um |)) T1 (um − T j (um )) dx
i=1 Ω
Z
+ m . Tm (um − ζ )− . sg 1 (um ) . exp(G(|um |)) T1 (um − T j (um ))
Ω m
Z
≤ f m (x) . exp(G(|um |)) T1 (um − T j (um )) dx,
Ω
N Z
∑ σim (x, um , ∇um ) . exp(G(|um |)) ∇T1 (um − T j (um )) dx
i=1 Ω
Z
+ m . Tm (um − ζ )− . sg 1 (um ) . exp(G(|um |)) T1 (um − T j (um ))
Ω m
Z
m l(um )
≤ f (x) + h(x) + φ (x) . . exp(G(|um |)) T1 (um − T j (um )) dx,
Ω ā
|| l ||L1 (R)
since f , h, φ ∈ L1 (Ω), l∈ L1 (R) ∩ L∞ (R), exp(G(±∞)) ≤ exp ā and the fact T1 (um −
Z
l(um )
f m (x) + h(x) + φ (x) . . exp(G(|um |)) T1 (um − T j (um )) dx −→ 0 as m → ∞,
Ω ā
3.1. Existence of entropy solutions in a bounded domain 83
then,
N Z
∑ σim (x, um , ∇um ) . exp(G(|um |)) . ∇T1 (um ) − T j (um )) dx
i=1 Ω
Z
+ m . Tm (um − ζ )− . sg 1 (um ) . exp(G(|um |)) . T1 (um ) − T j (um )) dx
Ω m
≤ 0.
Hence,
N Z
lim lim ∑ σim (x, um , ∇um ) . ∇um dx = 0,
m→∞ j→∞
i=1 { Ω: K<|um |< j+1 }
and
Z
lim m . Tm (um − ζ )− . sg 1 (um ) dx = 0. (3.15)
m→∞ Ω m
1 if {|um | ≥ j} ,
with, h j (um )) = 1 − | T1 (um − T j (um )) | = 0 if {|um | ≥ j + 1} ,
j + 1 − |u |
if { j < |um | < j + 1},
m
and |TK (um ) − TK (u)| at the same sign when um ∈ { |um | > K} where j ≥ K > 0 and η are small
enough, we obtain
N Z
∑ σim (x, um , ∇um ) . ∇(exp(G(|um |)) ( TK (um ) − TK (u)) h j (um )) dx
i=1 Ω
Z
+ m . TK (um − ζ )− . sg 1 (um ) . exp(G(|um |)) ( TK (um ) − TK (u)) h j (um ) dx
Ω m
N Z
+∑ bm
i (x, um , ∇um ) . exp(G(|um |)) ( TK (um ) − TK (u)) h j (um ) dx
i=1 Ω
Z
≤ f m (x) . exp(G(|um |)) ( TK (um ) − TK (u)) h j (um ) dx,
Ω
Chapitre 3. The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic
84 Equations in General Domain
N Z
∑ σim (x, TK (um ), ∇TK (um )) . exp(G(|um |)) . ∇(TK (um ) − TK (u)) dx
i=1 { | um |≤K }
N Z
+∑ σim (x, um , ∇um ) . exp(G(|um |)) . ( TK (um ) − TK (u)) . ∇h j (um ) dx
i=1 Ω
Z
+ m . Tm (um − ζ )− . sg 1 (um ) . exp(G(|um |)) . (TK (um ) − TK (u)) . h j (um ) dx
Ω m
Z
m l(|um |)
≤ f (x) + h(x) + φ (x) . . exp(G(|um |)) . (TK (um ) − TK (u)) . h j (um ) dx, (3.16)
Ω ā
then, by the condition ( c ) in proposition 3.1.3 we have TK (um ) −→ TK (u) weakly in W̊M1 (Ω), and
Z
m l(|um |)
f (x) + h(x) + φ (x) . . exp(G(|um |)) . (TK (um ) − TK (u)) . h j (um ) dx −→ 0, (3.17)
Ω ā
and
Z
m . Tm (um − ζ )− . sg 1 (um ) . exp(G(|um |)) . (TK (um ) − TK (u)) . h j (um ) dx = 0,
Ω m
and
N Z
∑ σim (x, um , ∇um ) . exp(G(|um |)) . (TK (um ) − TK (u)) . ∇h j (um ) dx
i=1 Ω
N Z
=∑ σim (x, um , ∇um ) . ∇um . exp(G(|um |)) . (TK (um ) − TK (u)) dx
i=1 { Ω: j<|um |< j+1 }
|| l ||L1 (Ω) N
Z
≤ 2K . exp .∑ σim (x, um , ∇um ) . ∇um dx −→ 0 as j → ∞, (3.18)
ā i=1 { Ω: j<|um |< j+1 }
N Z
∑ σim (x, TK (um ), ∇TK (um )) . exp(G(|um |)) . ∇( TK (um ) − TK (u) ) dx ≤ ε(i, j, m),
i=1 { |um |≤K }
3.1. Existence of entropy solutions in a bounded domain 85
thus,
N Z
∑ σim (x, TK (um ), ∇TK (um )) − σim (x, TK (um ), ∇TK (u)) . ∇( TK (um ) − TK (u)) . exp(G(|um |)) dx
i=1 Ω
N Z
≤ −∑ σim (x, TK (um ), ∇TK (u)) . ∇( TK (um ) − TK (u)) . exp(G(|um |)) dx
i=1 Ω
N Z
−∑ σim (x, TK (um ), ∇TK (um )) . ∇( TK (um ) − TK (u)) . exp(G(|um |)) dx + ε(i, j, m),
i=1 { |um |>K }
N Z
∑ σim (x, TK (um ), ∇TK (um )) − σim (x, TK (um ), ∇TK (u)) . ∇( TK (um ) − TK (u)) . exp(G(|um |)) dx
i=1 Ω
−→ 0 as m → ∞, (3.19)
bm
i (x, um , ∇um ) −→ bi (x, u, ∇u). (3.22)
we obtain :
N Z Z 0 Z
∑ σim (x, um , ∇um ) . ∇( exp(G(|um |)) l(s) ds dx
i=1 Ω |um | { |s|> j }
N Z Z 0 Z
+∑ bm
i (x, um , ∇um ) . exp(G(|um |)) l(s) ds dx
i=1 Ω |um | { |s|> j }
Z Z 0 Z
−
+ m . Tm (um − ζ ) . sg 1 (um ) . exp(G(|um |)) l(s) ds dx
Ω m |um | { |s|> j }
Z Z 0 Z
= f m (x) . exp(G(|um |)) l(s) ds dx,
Ω |um | { |s|> j }
N Z Z
ā ∑ Mi ( |∇um | ) . exp(G(|um |)) . l(um ) dx
i=1 Ω { |um |> j }
Z Z 0 Z
+ m . Tm (um − ζ )− . sg 1 (um ) . exp(G(|um |)) l(s) ds dx
Ω m |um | { |s|> j }
Z Z 0 Z
m l(|um |)
≤ f + h(x) + φ (x) . . exp(G(|um |)) l(s) ds dx
Ω ā |um | { |s|> j }
Z Z
+ φ (x) . exp(G(|um |)) . l(um ) dx,
Ω { |um |> j }
which implies :
N Z Z 0
ā ∑ Mi ( |∇um | ) . exp(G(|um |)) . l(um ) . χ{ |um |> j } dx ≤ c1 l(um ) . χ{ |um |> j } dx.
i=1 Ω |um |
Therefore,
N Z Z 0
∑ l(um ) . Mi (|∇um |) dx ≤ c2 l(|um |) . χ{ |um |> j } dx,
i=1 { |um |> j } |um |
and
Z Z 0 Z
−
0≤ m . Tm (um − ζ ) . sg 1 (um ) . exp(G(|um |)) l(s) ds dx ≤ c3 , (3.23)
Ω m |um | { |s|> j }
N Z
lim sup ∑ l(|um |) . Mi (|∇um |) dx = 0,
j→∞ m∈{ 1,··· ,N }
i=1 { |um | }
v = um − η T j (um − ϕ),
and |um | − ||ϕ||∞ < |um − ϕ| ≤ j. Then, {|um − ϕ| ≤ j} ⊂ {|um | ≤ j + ||ϕ||∞ } we obtain :
N Z N Z
∑ σim (x, um , ∇um ) . ∇T j (um − ϕ) dx + ∑ bm
i (x, um , ∇um ) . T j (um − ϕ) dx
i=1 Ω i=1 Ω
Z
+ m . Tm (um − ζ )− . sg 1 (um ) . T j (um − ϕ) dx
Ω m
Z
≤ f m (x) . T j (um − ϕ) dx,
Ω
N Z
∑ σim (x, um , ∇um ) . ∇T j (um − ϕ) dx
i=1 Ω
N Z
σim (x, T j+||ϕ||∞ (um ), ∇T j+||ϕ||∞ (um )) − σim (x, T j+||ϕ||∞ (um ), ∇ϕ)
=∑
i=1 Ω
N Z
lim inf ∑ σim (x, T j+||ϕ||∞ (um ), ∇ϕ) ∇T j+||ϕ||∞ (um − ϕ) . χ{ |um −ϕ|< j } dx
m→∞
i=1 Ω
N Z
=∑ σim (x, T j+||ϕ||∞ (u), ∇ϕ) ∇T j+||ϕ||∞ (u − ϕ) . χ{ |u−ϕ|< j } dx,
i=1 Ω
N N
∑ σim (x, Tj+||ϕ|| ∞
(um ), ∇T j+||ϕ||∞ (um )) ⇀ ∑ σim (x, T j+||ϕ||∞ (u), ∇T j+||ϕ||∞ (u)), (3.24)
i=1 i=1
weakly in W̊M1 (Ω). And since T j (um − ϕ) ⇀ T j (u − ϕ) weakly in W̊M1 (Ω), and by (3.21) we obtain :
N Z N Z
∑ bm
i (x, um , ∇um ) T j (um − ϕ) dx −→ ∑ bi (x, u, ∇u) T j (u − ϕ) dx,
i=1 Ω i=1 Ω
Chapitre 3. The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic
88 Equations in General Domain
and
Z Z
f m (x) T j (um − ϕ) dx −→ f (x) T j (u − ϕ) dx,
Ω Ω
Remark 11. For the demonstration of the uniqueness solution to this problem (P) in unbounded
domain is obtained in [26] with the operator bi (x, u, ∇u) : Ω × R × RN −→ R are strictly monotonic,
at least for a broad class of lower order term, and in [28] with the operator bi (x, u, ∇u) : Ω × R ×
RN −→ R for i = 1, · · · , N are contraction Lipschitz continuous functions which do not satisfy any
N
σi (x, ξ , ∇ξ ) − σi (x, ξ ′ , ∇ξ ′ ) . (∇ξ − ∇ξ ′ ) dx > 0.
∑
i=1
3.1.4 appendix
Let
′
Am : W̊M1 (Ω) −→ (W̊M1 (Ω))
N
∂v
Z Z
m
v 7−→ ⟨A (u), v⟩ = ∑ σim (x, u, ∇u) . + bm
i (x, u, ∇u) . v dx − f m (x) . v dx,
Ω i=1 ∂ xi Ω
N
and let denote LM (Ω) = ∏ LMi (Ω) with the norm :
k=1
N
|| v ||LM (Ω) = ∑ || vi ||Mi ,Ω v = (v1 , · · · , vN ) ∈ LM (Ω).
i=1
and
bm (x, s, ξ ) = bm m
1 (x, s, ξ ), · · · , bN (x, s, ξ ) .
3.1. Existence of entropy solutions in a bounded domain 89
Let’s show that operator Am is bounded. So, for u ∈ W̊M1 (Ω), according to (1.9) and (3.5) we get :
N
|| σ m (x, u, ∇u) ||LM (Ω) = ∑ || σim (x, u, ∇u) ||LM (Ω)
i
i=1
N Z
≤∑ M i ( σim (x, u, ∇u) ) dx + N
i=1 Ω
Further, for σ m (x, u, ∇u) ∈ LMi (Ω), v ∈ W̊M1 (Ω) using Hölder’s inequality we have :
Thus, Am is bounded.
N N
∂u
Z Z
⟨Am (u), u⟩Ω = ∑ σim (x, u, ∇u) . dx + ∑ bm m
i (x, u, ∇u) . u dx
i=1 Ω ∂ xi i=1 Ω
Z
− f m (x) . u dx.
Ω
Then,
N Z
⟨Am (u), u⟩Ω
1 ∂u
≥ . ā ∑ Mi dx − c1 − c0
|| u ||W̊ 1 (Ω) || u ||W̊ 1 (Ω) i=1 Ω ∂ xi
M M
N Z
∂u
Z
m
− l(u) . ∑ Mi dx − f (x) dx
i=1 Ω ∂ xi Ω
N Z
1 ∂u
≥ . ( ā(Ω) − c2 ) . ∑ Mi dx − c0 − c1 − c3 .
|| u ||W̊ 1 (Ω) i=1 Ω ∂ xi
M
| uxi |
bi ( | uxi | ) > k bi , i = 1, · · · , N.
|| uxi ||Mi ,Ω
| u j | b( | u j | ) < c M(u j ),
⟨A(u j ), u j ⟩Ω ā(Ω) − c2 N
∂u c4
Z
≥ .∑ Mi dx −
|| u j ||W̊ 1 (Ω) N α0 i=1 Ω ∂ xi N α0
M
N Z
ā(Ω) − c2 c4
≥ .∑ | uxji | b( | uxji | ) dx −
N α0 i=1 Ω N α0
N
| uxji |
( ā(Ω) − c2 ) . k c4
Z
≥ .∑ | uxji | bi dx −
c N || uxji ||Mi i=1 Ω
j
|| uxi ||Mi ,Ω N α0
N Z
| uxji |
( ā(Ω) − c2 ) . k c4
≥ .∑ Mi j dx −
cN i=1 Ω || uxi ||Mi ,Ω N α0
( ā(Ω) − c2 ) . k c4
≥ − ,
cN N α0
And finally that A is pseudo-monotonic. Following up this assumption and since the space W̊M1 (Ω)
and
′
A(u j ) ⇀ y in ( W̊M1 (Ω) ) ; (3.28)
|| u j ||W̊ 1 (Ω) ≤ c2 , j ∈ N.
M
Then (u j ) j∈N is bounded in W̊M1 (Ω), and since W̊M1 (Ω) is continuously and compactly injected
u j ⇀ u weakly in LM (Ω),
u j −→ u a.e. in Ω, j ∈ N,
3.1. Existence of entropy solutions in a bounded domain 91
and
bm j j m
i (x, u , ∇u ) −→ bi (x, u, ∇u) a.e. in Ω, j ∈ N,
and
m . Tm (u j − ζ )− . sg 1 (u j ) −→ m . Tm (u − ζ )− . sg 1 (u) a.e. in Ω, j ∈ N,
m m
bm j j m
i (x, u , ∇u ) ⇀ b̃ , j ∈ N. (3.30)
N Z N Z
⟨ y, v ⟩ = lim ∑ σim (x, u j , ∇u j ) . ∇v dx + lim ∑ bm j j
i (x, u , ∇u ) . v dx
j→∞ j→∞
i=1 Ω i=1 Ω
Z Z
m
= σ̃ . ∇v dx + b̃m . v dx, (3.31)
Ω Ω
whereof :
N Z
j j
lim sup ⟨A(u ), u ⟩ = lim sup { ∑ σim (x, u j , ∇u j ) ∇u j dx
j→∞ j→∞
i=1 Ω
N Z Z Z
+ lim ∑ bm j j j
i (x, u , ∇u ) u dx} ≤ σ̃ m ∇u j dx + b̃m u j dx. (3.32)
j→∞
i=1 Ω Ω Ω
By (3.30), we have :
Z Z
m j j j
b (x, u , ∇u ) u dx −→ b̃m u dx. (3.33)
Ω Ω
Consequently,
N Z Z
lim sup ∑ σim (x, u j , ∇u j ) ∇u j dx ≤ σ̃ m ∇u j dx. (3.34)
j→∞
i=1 Ω Ω
Chapitre 3. The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic
92 Equations in General Domain
N
∑ ( σim (x, u j , ∇u j ) − σim (x, u j , ∇u ) ) . ∇(u j − u) ≥ 0,
i=1
which implies
N
∑ ( σi (x, Tm (u j ), ∇u j ) − σi (x, T j (u j ), ∇u) ) . ∇(u j − u) ≥ 0, (3.35)
i=1
then,
N N N
∑ σi (x, Tm (u j ), ∇u j ) . ∇u j ≥ ∑ σi (x, Tm (u j ), ∇u) . ∇(u j − u) + ∑ σi (x, Tm (u j ), ∇u j ) . ∇u,
i=1 i=1 i=1
N N
∑ σi (x, Tm (u j ), ∇u) −→ ∑ σi (x, Tm (u), ∇u) in LM (Ω),
i=1 i=1
N Z Z
lim inf ∑ σim (x, u j , ∇u j ) . ∇u j dx ≥ σ̃ m . ∇u j dx. (3.36)
j→∞
i=1 Ω Ω
N Z Z
lim ∑ σim (x, u j , ∇u j ) . ∇u j dx = σ̃ m . ∇u j dx, (3.37)
j→∞
i=1 Ω Ω
⟨A(u j ), u j ⟩ −→ ⟨ y, u ⟩ as j → ∞.
N Z
lim ∑ ( σim (x, u j , ∇u j ) − σim (x, u j , ∇u ) ) . ∇(u j − u) dx = 0.
j→∞
i=1 Ω
main
3.2.1 Introduction
Let ω be an arbitrary domain of RN , (N ≥ 2). In this section, we investigate the existence and
N
A(u) + ∑ bi (x, u, ∇u) = f in ω ,
(P) i=1
u ≥ ψ
a.e in ω ,
N
where, A(u) = ∑ ( ai (x, u, ∇u) )xi is a Leray-Lions operator defined on W̊B1 (ω) ( is defined as the
i=1
adherence space C0∞ (ω) ) into its dual, B(t) = (B1 (t), · · · , BN (t)) are N-uplet Orlicz functions that
satisfy ∆2 −condition, the obstacle ψ is a measurable function belongs to L∞ (ω) ∩ W̊B1 (ω), and for
x in ω for every (s, ξ ) in R × RN and continuous with respect to (s, ξ ) in R × RN for almost every x
in ω ) does not satisfy any sign condition and the growth described by the vector N-function B(t).
As well as f ∈ L1 (ω).
We recall that in the last few decades a tremendous popularity has achieved the investigation of
a class of nonlinear unilateral elliptic problem due to their fundamental role in describing several
phenomena such as the study of fluid filtration in porous media, constrained heating, elastoplasticity,
optimal control and financial mathematics and others, among these large numbers of mathematical
When Ω is an unbounded domain, namely without expecting any assumptions on the behaviour
when | x | −→ +∞, Domanska in [51] was investigated the well-posedness of nonlinear elliptic
N
− ∑ | uxi (x) | pi −2 uxi (x) + | u(x) | p0 −2 u(x) = f (x),
xi
i=1
solved the problem ( P ) with b(x, u, ∇u) = div(g(u)) and g(u) a polynomial growth like uq in
Chapitre 3. The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic
94 Equations in General Domain
L p -spaces. For more outcomes concerning the existence of solutions of this class in the Lebesgue
Sobolev spaces, we quote [36]. And [26, 28, 29, 48, 72, 74–76] for the classical anisotropic Space.
The oddity of this section, is to continue in this direction and to show the existence and unique-
ness of entropy solution for equations (P) governed with growth and described by an N-uplet of
N-functions satisfying the ∆2 −condition, within the fulfilling of anisotropic Orlicz spaces. Besides,
the challenges coming about due to the absence of some topological properties like the density of
Suppose they have non-negative measurable functions φ , ϕ ∈ L1 (ω) and ā, ã are two constants
′ ′ ′
positive such as for ξ = (ξ1 , · · · , ξN ) ∈ RN and ξ = (ξ1 , · · · , ξN ) ∈ RN we have
N ′ ′
∑ ai (x, s, ξ ) − ai (x, s, ξ ) . (ξi − ξi ) > 0, (3.38)
i=1
N N
∑ ai (x, s, ξ ) . ξi ≥ ā ∑ Bi (| ξi |) − φ (x), (3.39)
i=1 i=1
N N
∑ | ai (x, s, ξ ) | ≤ ã ∑ B̄−1
i Bi (| ξ |) + ϕ(x), (3.40)
i=1 i=1
and
N N
∑ | bi (x, s, ξ ) | ≤ h(x) + l(s) . ∑ Bi (| ξ |), (3.41)
i=1 i=1
with B̄(t) are the complementary function of B(t), h ∈ L1 (ω) and l : R −→ R+ a positive continuous
This part is devoted to the proofs of our main results which will be split into different steps.
if | u | ≤ m ,
u
Tm (u) =
m if | u | > m .
3.2. Existence and Uniqueness of entropy solution in unbounded domain 95
Definition 3.2.1. A measurable function u is said to be an entropy solution for the problem (P), if
N Z N Z
∑ ai (x, u, ∇u) . ∇(u − v) dx + ∑ bi (x, u, ∇u) . (u − v) dx
i=1 ω i=1 ω
Z
≤ f (x) . (u − v) dx ∀v ∈ Kψ ∩ L∞ (ω),
ω
am
i (x, u, ∇u) = ai (x, Tm (u), ∇u),
and bm N
i (x, um , ∇um ) : ω × R × R −→ R again be Carathéodory functions not satisfying any sign
condition, with
b(x, u, ∇u)
bm (x, u, ∇u) = ,
1 + m1 | b(x, u, ∇u) |
and
and for all v ∈ W̊B1 (ω), we consider the following approximate problem
N Z N Z
(Pm ) : ∑ am
i (x, um , ∇um ) . ∇(um − v) dx + ∑ bm
i (x, um , ∇um ) . (um − v) dx
i=1 ω i=1 ω
Z Z
+ m . Tm (um − ψ)− . sg 1 (um ) . (um − v) dx = f m (x) . (um − v) dx,
ω m ω
Tm (s)
with sgm (s) = m .
Theorem 3.2.1. Assume that conditions (3.38) - (3.41) and (2.17) hold true, then there exists at
Theorem 3.2.2. Under assumptions (3.38) - (3.41), the problem (P) has at least one entropy
solution.
N1
N
B−1 (t)
Proof. Let R > 0 and ω(R) = { x ∈ ω : | x | ≤ R }. Note by h(t) = ∏ it and we assume
i=1
Chapitre 3. The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic
96 Equations in General Domain
Z 1
h(t)
that dt converge, so we consider the N-functions B∗ (z) defined by
0 t
Z |z|
h(t)
(B∗ )−1 (z) = dt .
0 t
h(t)
Z ∞
dt = ∞, (3.43)
1 t
N−1
then, W̊B1 (ω(R)) ⊂ LB∗ (ω(R)) and || u ||B∗ ,ω(R) ≤ N || u ||W̊ 1 (ω(R)) .
B
If
h(t)
Z ∞
dt < ∞, (3.44)
1 t
h(t)
Z ∞
then, W̊B1 (ω(R)) ⊂ L∞ (ω(R)) and || u ||∞,ω(R) ≤ β || u ||W̊ 1 (ω(R)) , with β = dt.
B 0 t
Step 1 : A priori estimate of { um }.
Z s
l(t )
Let v = um − η exp(G(um )) . Tk (um − v0 )+
dt, k > 0 and η ≥ 0, we have
where G(s) =
ā 0
v ∈ W̊B1 (Ω) and for η small enough we deduce that v ≥ ψ. Thus v is an admissible test function in
N Z
+
∑ am
i (x, um , ∇um ) . ∇( exp(G(um )) . Tk (um − v0 ) ) dx
i=1 ω
N Z
+
+∑ bm
i (x, um , ∇um ) . exp(G(um )) . Tk (um − v0 ) dx
i=1 ω
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(G(um )) . Tk (um − v0 )+ dx
ω m
Z
≤ f m (x) . exp(G(um )) . Tk (um − v0 )+ dx,
ω
then,
N
l(um )
Z
∑ am
i (x, um , ∇um ) . ∇um . . exp(G(um )) . Tk (um − v0 )+ dx
i=1 ω ā
N Z
+
+∑ am
i (x, um , ∇um ) . exp(G(um )) . ∇Tk (um − v0 ) dx
i=1 ω
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(G(um )) . Tk (um − v0 )+ dx
ω m
N Z Z
+
≤∑ | bm
i (x, um , ∇um ) | . exp(G(um )) . Tk (um − v0 ) dx + f m (x) . exp(G(um )) . Tk (um − v0 )+ dx,
i=1 ω ω
3.2. Existence and Uniqueness of entropy solution in unbounded domain 97
N Z
+
∑ am
i (x, um , ∇um ) . exp(G(um )) . ∇Tk (um − v0 ) dx
i=1 ω
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(G(um )) . Tk (um − v0 )+ dx
ω m
l(um )
Z
≤ h(x) + f m (x) + φ (x) . . exp(G(um )) . Tk (um − v0 )+ dx,
ω ā
so,
N Z
∑ am
i (x, um , ∇um ) . ∇um . exp(G(um )) dx
i=1 {| um −v0 |≤k}
N Z
∇v0
−c ∑ am
i (x, um , ∇um ) . . exp(G(um )) dx
i=1 {| um −v0 |≤k} c
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(G(um )) . Tk (um − v0 )+ dx
ω m
l(um )
Z
≤ h(x) + f m (x) + φ (x) . . exp(G(um )) . Tk (um − v0 )+ dx,
ω ā
where, c is a constant such that 0 < c < 1, and since h, f m , φ ∈ L1 (ω) we deduce that
N Z
∑ am
i (x, um , ∇um ) . ∇um . exp(G(um ) dx
i=1 {| um −v0 |≤k}
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(G(um )) . Tk (um − v0 )+ dx
ω m
N Z
m m ∇v0 ∇v0
≤ −c ∑ ai (x, um , ∇um ) − ai (x, um , ) . ∇(um − ) . exp(G(um )) dx
i=1 {| um −v0 |≤k} c c
N Z
+c ∑ am
i (x, um , ∇um ) . ∇um . exp(G(um )) dx
i=1 {| um −v0 |≤k}
N Z
∇v0 ∇v0
+c ∑ | am
i (x, um , ) | . |∇(um − ) | . exp(G(um )) dx + c1 ,
i=1 {| um −v0 |≤k} c c
by (3.38)
N Z
(1 − c) ∑ am
i (x, um , ∇um ) . ∇um . exp(G(um )) dx
i=1 {| um −v0 |≤k}
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(G(um )) . Tk (um − v0 )+ dx
ω m
N Z
∇v0
≤c∑ | am
i (x, um , ) | . |∇um | . exp(G(um )) dx
i=1 {| um −v0 |≤k} c
N Z
∇v0 ∇v0
+c ∑ | am
i (x, um , )|. . exp(G(um )) dx + c1 ,
i=1 {| um −v0 |≤k} c c
Chapitre 3. The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic
98 Equations in General Domain
|| l ||L1 (R)
since ∇vc 0 ∈ W̊B1 (ω), and by (1.4), (3.40), (1.2) and the fact that exp(G(±∞)) ≤ exp ā we
have
N Z Z
(1 − c) ∑ am
i (x, um , ∇um ) . ∇um dx + m . Tm (um − ψ)− . sg 1 (um ) dx
m
i=1 {| um −v0 |≤k} {| um −v0 |≥0}
N Z
ã (1 − c)
≤ ∑ Bi (∇um ) dx + c2 (k) . c1 ,
2 i=1 {| um −v0 |≤k}
N Z
∑ Bi (∇um ) dx ≤ c3 . k, (3.45)
i=1 {| um −v0 |≤k}
and
Z
0≤ m . Tm (um − ψ)− . sg 1 (um ) dx ≤ c1 . (3.46)
{| um −v0 |≥0} m
N Z
−
∑ am
i (x, um , ∇um ) . ∇( exp(G(um )) . Tk (um − v0 ) ) dx
i=1 ω
N Z
−
+∑ bm
i (x, um , ∇um ) . exp(−G(um )) . Tk (um − v0 ) dx
i=1 ω
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(−G(um )) . Tk (um − v0 )− dx
ω m
Z
≤ f m (x) . exp(−G(um )) . Tk (um − v0 )− dx,
ω
N Z
∑ Bi (∇um ) dx ≤ c4 . k, (3.47)
i=1 { | um −v0 |≥k }
and
Z
0≤ m . Tm (um − ψ)− . sg 1 (um ) dx ≤ c5 . (3.48)
{ | um −v0 |≤0 } m
Z
B(∇Tk (um )) dx ≤ c . k, (3.49)
Ω
k Tk (um )
Z
∗ ∗
B meas { x ∈ ω : | um | ≥ k } ≤ B dx
|| Tk (um ) ||B∗ ω || Tk (um ) ||B∗
k
Z
∗
≤ B dx. (3.51)
ω || Tk (um ) ||B∗
Hence
Secondly we show that for all {um } measurable function on ω such that
we have
In the beginning
∪ { x ∈ ω : | um | < k, B( ∇um ) ≥ α } },
if we denote
we have
then
Z Z ∞
B( ∇um ) dx = g(α, 0) − g(α, k) dα ≤ c . k, (3.53)
{ x ∈ ω:| um |<k } 0
1 α
Z
g(α, 0) ≤ g(α, 0) dα
α 0
1 α 1 α
Z Z
≤ g(α, 0) − g(α, k) dα + g(α, k) dα
α 0 α 0
1 α
Z
≤ g(α, 0) − g(α, k) dα + g(0, k), (3.54)
α 0
c.k
g(α, 0) ≤ + g(0, k),
α
lim g(0, k) = 0.
k→∞
Hence
g(α, 0) → 0 as α → ∞.
um −→ u almost everywhere in ω.
we define
1 if x < R ,
ηR (x) = R + 1 − α if R ≤ x < R + 1 ,
if x ≥ R + 1 .
0
3.2. Existence and Uniqueness of entropy solution in unbounded domain 101
Z Z
B(∇ηR (| x |) . Tk (um )) dx ≤ c B(∇um ) dx
ω { x ∈ ω: | um |<k }
Z
+c B(Tk (um ) . ∇ηR (| x |) dx
ω
≤ c(k, R),
which implies that the sequence { ηR (| x |) Tk (um ) } is bounded in W̊B1 (ω(R + 1)) and by embedding
For k ∈ N∗ ,
Lemma 3.2.2. [79] Let an N-function B̄(t) satisfy the ∆2 −condition and um , m ≥ 1, and u be two
|| um ||B ≤ c m = 1, 2, · · · .
um −→ u almost everywhere in ω, m → ∞.
Then,
um ⇀ u weakly in LB (ω) as m → ∞.
Hence,
and since
we have
since
implies the local convergence in measure and, therefore, the local Cauchy property of um in measure
Proving that
For that, we use the ideas of Evans [57], Demangel-Hebey [51] and Koznikova L. M. [74, 75]. Let
| un | ≤ α, | ∇(um − un ) | ≥ δ }.
∪ { ω(R) : | um − un | ≥ k } ∪ { ω : | um | > α }
According to (3.38) and the fact that a continuous function on a compact set achieves the lowest
value, then, there exists a function θ (x) > 0 almost everywhere in ω, such as, for B(ξ ) ≤ α, B(ξ ′ ) ≤
3.2. Existence and Uniqueness of entropy solution in unbounded domain 103
′
α, | s | ≤ α and for i = 1, · · · , N, | ξi − ξi | ≥ k, we have
N
′ ′
am m
∑ i (x, s, ξ ) − ai (x, s, ξ ) . (ξi − ξi ) ≥ θ (x), (3.59)
i=1
holds. Writing (Pm ) twice for { um } and { un } and subtracting the second relation from the first
N
Z
∑ ami (x, um , ∇um ) − ami (x, un , ∇un ) . ∇(um − un − v) dx = 0.
i=1 ω
Z N Z
am m
θ (x) dx ≤ ∑ i (x, um , ∇um ) − ai (x, um , ∇un )
Eδ ,k,α (R) i=1 Eδ ,k,α (R)
× am m
i (x, um , ∇um ) − ai (x, um , ∇un ) . ∇(um − un ) dx
= Am m
1 (x) + A2 (x),
with,
N Z
Am
1 (x) = ∑ ηR (| x |) ηα (| un |) ηα (| um |) exp(G(| um − un |))
i=1 { | um −un |<k }
× am m
i (x, um , ∇um ) − ai (x, un , ∇un ) . ∇(um − un ) dx,
and
N Z
Am
2 (x) =∑ ηR (| x |) ηα (| un |) ηα (| um |) exp(G(| um − un |))
i=1 { | um −un |<k }
× am m
i (x, un , ∇un ) − ai (x, um , ∇un ) . ∇(um − un ) dx.
Chapitre 3. The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic
104 Equations in General Domain
Z
B(u) dx ≤ c0 || u ||B,ω . (3.60)
ω
and
N
|| a(x, u, ∇u) ||LB̄ (ω) = ∑ || ai (x, u, ∇u) ||LB̄ (ω)
i
i=1
N Z
≤∑ B̄i ( ai (x, u, ∇u) ) dx + N
i=1 ω
≤ c4 . (3.63)
Hence,
N Z
Am
1 (x) = ∑ exp(G(| um − un |))
i=1 { ω:| um −un |<k,| x |<R,| um |<α,| un |<α }
× am m
i (x, um , ∇um ) − ai (x, un , ∇un ) . ∇(um − un ) dx
N Z
+∑ (R + 1 − | x |)
i=1 { ω: | um −un |<k,R≤| x |≤R+1, α≤| um |≤α+1, α≤| un |≤α+1 }
× (α + 1 − | un |) . (α + 1 − | um |) . exp(G(| um − un |))
× am m
i (x, um , ∇um ) − ai (x, un , ∇un ) . ∇(um − un ) dx,
|| l ||L1 (R)
since, exp(G(±∞)) ≤ exp ā and according to (3.61), (3.62), (3.63) and (1.10) we obtain
that
Am
1 (x) ≤ c1 (R, α) . k,
Am
2 (x) ≤ c2 (R, α) . k.
3.2. Existence and Uniqueness of entropy solution in unbounded domain 105
Then,
Z
θ (x) dx ≤ c3 (R, α) . k. (3.64)
Eδ ,k,α (R)
For any arbitrary δ > 0 for fixed m and α, choosing k from (3.64) we establish the following
inequality
Z
θ (x) dx < δ .
Eδ ,k,α (R)
Hence, the sequence { ∇um } is fundamental in measure on the set ω(R) for any R > 0. This implies
Proposition 3.2.1. Suppose that conditions (3.38) - (3.41) are satisfied and let (um )m∈N be a se-
Proof. Let ε > 0 fixed, and η > ε, then from (3.38) we have
N Z
am m
0≤∑ i (x, um , ∇um ) − ai (x, um , ∇u) . ∇(um − u) dx
i=1 ωη (R)
N Z
am m
≤∑ i (x, um , ∇um ) − ai (x, um , ∇u) . ∇(um − u) dx
i=1 ωε (R)
N Z
am m
=∑ i (x, um , ∇um ) − ai (x, um , ∇uχε ) . ∇(um − uχε ) dx
i=1 ωε (R)
N Z
am m
≤∑ i (x, um , ∇um ) − ai (x, um , ∇uχε ) . ∇(um − uχε ) dx,
i=1 ω(R)
N Z
am m
lim
m→∞
∑ i (x, um , ∇um ) − ai (x, um , ∇uχε ) . ∇(um − uχε ) dx = 0,
i=1 ω(R)
∇um χε −→ ∇u.
So, since
N Z N Z
am am m
∑ i (x, um , ∇um ) . ∇um dx = ∑ i (x, um , ∇um ) − ai (x, um , ∇uχε ) . ∇(um − uχε ) dx
i=1 ω(R) i=1 ω(R)
N Z N Z
+∑ am
i (x, um , ∇χε ) . ∇(um − uχε ) dx + ∑ am
i (x, um , ∇um ) . ∇uχε dx,
i=1 ω(R) i=1 ω(R)
N N
∑ ami (x, um , ∇um ) ⇀ ∑ ami (x, u, ∇u) weakly in (LB̄ (ω(R)))N .
i=1 i=1
3.2. Existence and Uniqueness of entropy solution in unbounded domain 107
Therefore
N Z N Z
∑ am
i (x, um , ∇um ) . ∇uχε dx −→ ∑ am
i (x, u, ∇u) . ∇u dx as m → ∞, ε → ∞.
i=1 ω(R) i=1 ω(R)
So,
N Z
am m
∑ i (x, um , ∇um ) − ai (x, um , ∇uχε ) . ∇(um − ∇uχε ) dx −→ 0 as m → ∞, ε → ∞,
i=1 ω(R)
and
N Z
∑ am
i (x, um , ∇uχε ) . ∇(um − uχε ) dx −→ 0 as m → ∞, ε → ∞.
i=1 ω(R)
Thus,
N Z N Z
lim ∑ am
i (x, um , ∇um ) . ∇um dx = ∑ am
i (x, u, ∇u) . ∇u dx,
m→∞
i=1 ω(R) i=1 ω(R)
N Z Z N Z Z
ā ∑ Bi (| ∇um |) dx − φ (x) dx ≥ ā ∑ Bi (| ∇u |) dx − φ (x) dx.
i=1 ω(R) ω(R) i=1 ω(R) ω(R)
we obtain
N Z
∑ am
i (x, um , ∇um ) . ∇(exp(G(|um |)) ( Tk (um ) − Tk (u)) η j (|um |) h j (um )) dx
i=1 ω
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(G(|um |)) ( Tk (um ) − Tk (u)) η j (|um |) h j (um ) dx
ω m
N Z
+∑ bm
i (x, um , ∇um ) . exp(G(|um |)) ( Tk (um ) − Tk (u)) η j (|um |) h j (um ) dx
i=1 ω
Z
≤ f m (x) . exp(G(|um |)) ( Tk (um ) − Tk (u)) η j (|um |) h j (um ) dx,
ω
which implies,
N Z
∑ am
i (x, um , ∇um ) . ∇(exp(G(|um |))) ( Tk (um ) − Tk (u)) η j (|um |) h j (um ) dx
i=1 ω
N Z
+∑ am
i (x, um , ∇um ) . exp(G(|um |)) ∇(( Tk (um ) − Tk (u))) η j (|um |) h j (um ) dx
i=1 ω
N Z
+∑ am
i (x, um , ∇um ) . exp(G(|um |)) ( Tk (um ) − Tk (u)) ∇η j (|um |) h j (um ) dx
i=1 ω
N Z
+∑ am
i (x, um , ∇um ) . exp(G(|um |))) ( Tk (um ) − Tk (u)) η j (|um |) ∇h j (um ) dx
i=1 ω
N Z
+∑ bm
i (x, um , ∇um ) . exp(G(|um |)) ( Tk (um ) − Tk (u)) η j (|um |) h j (um ) dx
i=1 ω
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(G(|um |)) ( Tk (um ) − Tk (u)) η j (|um |) h j (um ) dx
ω m
Z
≤ f m (x) . exp(G(|um |)) ( Tk (um ) − Tk (u)) η j (|um |) h j (um ) dx,
ω
3.2. Existence and Uniqueness of entropy solution in unbounded domain 109
then,
N
l(|um |)
Z
∑ am
i (x, um , ∇um ) . ∇um . . exp(G(|um |)) ( Tk (um ) − Tk (u) ) η j (|um |) h j (um ) dx
i=1 ω ā
N Z
+∑ am
i (x, um , ∇um ) . exp(G(|um |)) ∇(( Tk (um ) − Tk (u))) η j (|um |) h j (um ) dx
i=1 ω
N Z
+∑ am
i (x, um , ∇um ) . exp(G(|um |)) ( Tk (um ) − Tk (u)) ∇η j (|um |) h j (um ) dx
i=1 ω
N Z
+∑ am
i (x, um , ∇um ) . exp(G(|um |))) ( Tk (um ) − Tk (u)) η j (|um |) ∇h j (um ) dx
i=1 ω
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(G(|um |)) ( Tk (um ) − Tk (u)) η j (|um |) h j (um ) dx
ω m
N Z
≤∑ | bm
i (x, um , ∇um ) | . exp(G(|um |)) ( Tk (um ) − Tk (u)) η j (|um |) h j (um ) dx
i=1 ω
Z
+ f m (x) . exp(G(|um |)) ( Tk (um ) − Tk (u)) η j (|um |) h j (um ) dx,
ω
N
l(|um |)
Z
ā ∑ Bi (|∇um |) . . exp(G(|um |)) ( Tk (um ) − Tk (u) ) η j (|um |) h j (um ) dx
i=1 ω ā
N Z
+∑ am
i (x, um , ∇um ) . exp(G(|um |)) ∇(( Tk (um ) − Tk (u))) η j (|um |) h j (um ) dx
i=1 ω
N Z
+∑ am
i (x, um , ∇um ) . exp(G(|um |)) ( Tk (um ) − Tk (u)) ∇η j (|um |) h j (um ) dx
i=1 ω
N Z
+∑ am
i (x, um , ∇um ) . exp(G(|um |))) ( Tk (um ) − Tk (u)) η j (|um |) ∇h j (um ) dx
i=1 ω
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(G(|um |)) ( Tk (um ) − Tk (u)) η j (|um |) h j (um ) dx
ω m
N Z
≤∑ Bi (|∇um |) l(|um |) . exp(G(|um |)) ( Tk (um ) − Tk (u) ) η j (|um |) h j (um ) dx
i=1 ω
l(|um |)
Z
+ h(x) + f m (x) + φ (x) . . exp(G(|um |)) ( Tk (um ) − Tk (u) ) η j (|um |) h j (um ) dx,
ω ā
Chapitre 3. The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic
110 Equations in General Domain
we obtain
N Z
∑ am
i (x, um , ∇um ) . exp(G(|um |)) ( ∇Tk (um ) − ∇Tk (u)) η j (|um |) dx
i=1 { |um |≤ j }
N Z
−∑ am
i (x, um , ∇um ) . ∇um . ( j + 1 + |um | ) . ∇Tk (u) η j (|um |) exp(G(|um |)) dx
i=1 { j≤|um |≤ j+1 }
N Z
+ ∑ am
i (x, um , ∇um ) . exp(G(|um |)) ( Tk (um ) − Tk (u)) ∇η j (|um |) h j (um ) dx
i=1 ω
N Z
+ ∑ am
i (x, um , ∇um ) . ∇um . exp(G(|um |)) ( Tk (um ) − Tk (u)) η j (|um |) dx
i=1 { j≤|um |≤ j+1 }
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(G(|um |)) ( Tk (um ) − Tk (u)) η j (|um |) h j (um ) dx
ω m
l(|um |)
Z
≤ h(x) + f m (x) + φ (x) . . exp(G(|um |)) ( Tk (um ) − Tk (u) ) η j (|um |) h j (um ) dx,
ω ā
by (3.39) we get
N Z
∑ am
i (x, um , ∇um ) . exp(G(|um |)) ( ∇Tk (um ) − ∇Tk (u)) η j (|um |) dx
i=1 { |um |≤ j }
N Z
+∑ am
i (x, um , ∇um ) . exp(G(|um |)) ( Tk (um ) − Tk (u)) ∇η j (|um |) h j (um ) dx
i=1 ω
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(G(|um |)) ( Tk (um ) − Tk (u)) η j (|um |) h j (um ) dx
ω m
l(|um |)
Z
≤ h(x) + f m (x) + φ (x) . . exp(G(|um |)) ( Tk (um ) − Tk (u) ) η j (|um |) h j (um ) dx
ω ā
N Z
−∑ φ (x) . ( j + 1 + |um | ) . ∇Tk (u) exp(G(|um |)) η j (|um |) dx
i=1 { j≤|um |≤ j+1 }
N Z
+∑ φ (x) . exp(G(|um |)) ( Tk (um ) − Tk (u)) η j (|um |) dx
i=1 { j≤|um |≤ j+1 }
N Z
+ ā ∑ Bi (|∇um |) ( j + 1 + |um | ) . ∇Tk (u) exp(G(|um |)) η j (|um |) dx
i=1 { j≤|um |≤ j+1 }
N Z
− ā ∑ Bi (|∇um |) exp(G(|um |)) ( Tk (um ) − Tk (u) ) η j (|um |) dx.
i=1 { j≤|um |≤ j+1 }
According to (3.46), (3.48) and the fact that Tk (um ) ⇀ Tk (u) weakly in W̊B1 (ω), and h j ≥ 0, η j (|um |) ≥
|| l ||L1 (R)
0, and um ( Tk (um ) − Tk (u) ) ≥ 0 and exp(G(±∞)) ≤ exp ā we deduce that,
N Z
∑ am
i (x, um , ∇um ) . exp(G(|um |)) ( ∇Tk (um ) − ∇Tk (u)) η j (|um |) dx ≤ C( k, j, m ). (3.68)
i=1 { |um |≤ j }
3.2. Existence and Uniqueness of entropy solution in unbounded domain 111
Then,
N Z
∑ ai (x, Tk (um ), ∇Tk (um )) − ai (x, Tk (um ), ∇Tk (u))
i=1 ω
1 (ω) and
By Lebesgue dominated convergence theorem, we have Tk (um ) −→ Tk (u) strongly in W̊B,loc
∇Tk (um ) ⇀ ∇Tk (u) weakly in W̊B1 (ω), then the terms on the right hand side of (3.69) goes to zeros
N Z
∑ ai (x, Tk (um ), ∇Tk (um )) − ai (x, Tk (um ), ∇Tk (u)) (3.70)
i=1 ω
bm
i (x, um , ∇um ) −→ bi (x, u, ∇u). (3.73)
we have
N Z
∑ am
i (x, um , ∇um ) . ∇( exp(2 G(|um |)) η j (|um |) T1 (um − T j (um ))) dx
i=1 ω
N Z
+∑ bm
i (x, um , ∇um ) . exp(2 G(|um |)) η j (|um |) T1 (um − T j (um )) dx
i=1 ω
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(2 G(|um |)) η j (|um |) T1 (um − T j (um )) dx
ω m
Z
≤ f m (x) . exp(2 G(|um |)) η j (|um |) T1 (um − T j (um )) dx,
ω
then,
N
l(|um |)
Z
∑ am
i (x, um , ∇um ) . ∇um . exp(2 G(|um |)) η j (|um |) T1 (um − T j (um )) dx
i=1 ω ā
N Z
+∑ am
i (x, um , ∇um ) . exp(2 G(|um |)) ∇(η j (|um |)) T1 (um − T j (um )) dx
i=1 ω
N Z
+∑ am
i (x, um , ∇um ) . exp(2 G(|um |)) η j (|um |) ∇T1 (um − T j (um )) dx
i=1 ω
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(2 G(|um |)) η j (|um |) T1 (um − T j (um )) dx
ω m
N Z
≤∑ | bm
i (x, um , ∇um ) | . exp(2 G(|um |)) η j (|um |) T1 (um − T j (um )) dx
i=1 ω
Z
+ f m (x) . exp(2 G(|um |)) η j (|um |) T1 (um − T j (um )) dx,
ω
N Z
∑ am
i (x, um , ∇um ) . exp(2 G(|um |)) ∇(η j (|um |)) T1 (um − T j (um )) dx
i=1 ω
N Z
+∑ am
i (x, um , ∇um ) . exp(2 G(|um |)) η j (|um |) ∇T1 (um − T j (um )) dx
i=1 ω
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(2 G(|um |)) η j (|um |) T1 (um − T j (um )) dx
ω m
l(|um |)
Z
≤ h(x) + f m (x) + φ (x) . . exp(2 G(|um |)) η j (|um |) T1 (um − T j (um )) dx,
ω ā
3.2. Existence and Uniqueness of entropy solution in unbounded domain 113
we deduce that
N Z
∑ am
i (x, um , ∇um ) . exp(2 G(|um |)) ∇(η j (|um |)) T1 (um − T j (um )) dx
i=1 ω
N Z
+∑ am
i (x, um , ∇um ) . ∇um exp(2 G(|um |)) η j (|um |) dx
i=1 { j≤|um |≤ j+1 }
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . exp(2 G(|um |)) η j (|um |) T1 (um − T j (um )) dx
ω m
l(|um |)
Z
≤ h(x) + f m (x) + φ (x) . . exp(2 G(|um |)) η j (|um |) T1 (um − T j (um )) dx.
ω ā
Since am 1
i (x, um , ∇um ) is bounded in W̊B (ω), and η j (|um |) ≥ 0 then by (3.46), (3.48) we obtain
N Z
∑ Bi (|∇um |) dx
i=1 { j+1<|um | }
|| l ||L1 (R)
Z
l(|um |)
|C(x)| + φ (x) + h(x) + f m (x) + φ (x) .
≤ exp 2 . dx.
ā { j<|um | } ā
N Z
ε
∑ Bi (|∇um |) dx ≤ ∀ j > j(ε). (3.74)
i=1 { j+1<|um | } 2
Let V̊ (ω(R)) be an arbitrary bounded subset for ω then, for any measurable set E ⊂ V̊ (ω(R)) we
have
N Z N Z N Z
∑ Bi (|∇um |) dx ≤ ∑ Bi (|∇Tk (um )|) dx + ∑ Bi (|∇um |) dx. (3.75)
i=1 E i=1 E i=1 { j+1<|um | }
We conclude that ∀E ⊂ V̊ (ω(R)) with meas(E) < β (ε), and Tk (um ) −→ Tk (u) in W̊B1 (ω),
N Z
ε
∑ Bi (|∇Tk (um )|) dx ≤ . (3.76)
i=1 E 2
N Z
∑ Bi (|∇um |) dx ≤ ε ∀E ⊂ V̊ (ω(R)) such that meas(E) < β (ε),
i=1 E
such that
1
for ω(R) ,
ψk (x) =
0 for ω(R + 1)\ω(R) ,
and |um | − ||ϕ||∞ < |um − ϕ| ≤ j. Then, {|um − ϕ| ≤ j} ⊂ {|um | ≤ j + ||ϕ||∞ } we obtain
N Z
∑ ai (x, Tm (um ), ∇um ) ψk ∇Tk (um − ϕ) dx
i=1 ω(R+1)
N Z
+∑ ai (x, Tm (um ), ∇um ) Tk (um − ϕ) ∇ψk dx
i=1 ω(R+1)
N Z
+∑ bm
i (x, um , ∇um ) ψk Tk (um − ϕ) dx
i=1 ω(R+1)
Z
+ m . Tm (um − ψ)− . sg 1 (um ) . ψk Tk (um − ϕ) dx
ω(R+1) m
Z
≤ f m (x) ψk Tk (um − ϕ) dx,
ω(R+1)
N Z
∑ ai (x, Tm (um ), ∇um ) ψk ∇Tk (um − ϕ) dx
i=1 ω(R+1)
N Z
=∑ ai (x, T j+||ϕ||∞ (um ), ∇T j+||ϕ||∞ um ) ψk ∇Tk (um − ϕ) dx
i=1 ω(R+1)
N Z
=∑ ai (x, T j+||ϕ||∞ (um ), ∇T j+||ϕ||∞ (um )) − ai (x, T j+||ϕ||∞ (um ), ∇ϕ)
i=1 ω(R+1)
N Z
lim inf ∑ ai (x, T j+||ϕ||∞ (um ), ∇ϕ) ∇T j+||ϕ||∞ (um − ϕ) . χ{ |um −ϕ|< j } dx
m→∞
i=1 ω(R+1)
N Z
=∑ ai (x, T j+||ϕ||∞ (u), ∇ϕ) ∇T j+||ϕ||∞ (u − ϕ) . χ{ |u−ϕ|< j } dx,
i=1 ω(R+1)
3.2. Existence and Uniqueness of entropy solution in unbounded domain 115
ai (x, T j+||ϕ||∞ (um ), ∇T j+||ϕ||∞ (um )) ⇀ ai (x, T j+||ϕ||∞ (u), ∇T j+||ϕ||∞ (u)), (3.77)
weakly in W̊B1 (ω). And since ψk Tk (um − ϕ) ⇀ ψk Tk (u − ϕ) weakly in W̊B1 (ω), and by (3.72) we
obtain
N Z N Z
∑ bm
i (x, um , ∇um ) ψk Tk (um − ϕ) dx −→ ∑ bi (x, u, ∇u) ψk Tk (u − ϕ) dx,
i=1 ω(R+1) i=1 ω(R+1)
and
Z Z
f m (x) ψk Tk (um − ϕ) dx −→ f (x) ψk Tk (u − ϕ) dx,
ω(R+1) ω(R+1)
we get
N Z N Z
∑ ai (x, u, ∇u) ψk ∇Tk (u − ϕ) dx + ∑ ai (x, u, ∇u) Tk (u − ϕ) ∇ψk dx
i=1 ω(R+1) i=1 ω(R+1)
N Z
+∑ bi (x, u, ∇u) ψk Tk (u − ϕ) dx
i=1 ω(R+1)
Z
≤ f (x) ψk Tk (u − ϕ) dx.
ω(R+1)
Now passing to the limit to infinity in k, we obtain the entropy solution of the problem.
Theorem 3.2.3. Suppose that conditions (3.38) - (3.40) are true, and bi (x, u, ∇u) : ω ×R×RN −→ R
is strictly monotone operators at least for broad class of lower order terms. Then, the problem (P)
Proof. Let u and ū belongs to Kψ ∩ L∞ (ω) be two solutions of problem (P) with u ̸= ū. According
N Z N
∑ ai (x, u, ∇u) . ∇(u − v) dx + ∑ bi (x, u, ∇u) . (u − v) dx
i=1 ω i=1
Z
≤ f (x) . (u − v) dx, (3.78)
ω
Chapitre 3. The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic
116 Equations in General Domain
and
N Z N
∑ ai (x, ū, ∇ū) . ∇(ū − v) dx + ∑ bi (x, ū, ∇ū) . (ū − v) dx
i=1 ω i=1
Z
≤ f (x) . (ū − v) dx. (3.79)
ω
0 if x ≥ k ,
2
µ(x) = k − | x | if | x | < k ,
k
if x ≤ −k ,
0
as test functions in (3.78) and (3.79) respectively. Using (3.38), (3.46), (3.48) and the condition of
strictly monotone for the operator bi (x, u, ∇u), we substract the equations to obtain
N Z
∑ ai (x, u, ∇u) − ai (x, ū, ∇ū) . (u − ū)∇µ(x) dx ≤ 0.
i=1 ω
N Z N Z
∑ B̄i ai (x, u, ∇u) − ai (x, ū, ∇ū) dx + ∑ Bi (u − ū) . ∇µ(x) dx
i=1 ω i=1 ω
N Z N Z
≤∑ B̄i ai (x, u, ∇u) − ai (x, ū, ∇ū) dx + 2 ∑ Bi (u − ū) dx
i=1 ω i=1 ω
≤ 0. (3.80)
Since the N-functions B̄i verified the same conditions and properties of Bi , then by (1.6), we have
N Z
∑ B̄i ai (x, u, ∇u) − ai (x, ū, ∇ū) dx
i=1 ω
N Z N Z
≤c∑ | B̄i ( ai (x, u, ∇u) ) | dx − c ∑ | B̄i ( ai (x, ū, ∇ū) ) | dx,
i=1 ω i=1 ω
3.2. Existence and Uniqueness of entropy solution in unbounded domain 117
N Z
∑ B̄i ai (x, u, ∇u) − ai (x, ū, ∇ū) dx
i=1 ω
N Z
≤ ãc ∑ Bi (∇(u − ū) ) dx
i=1 ω
3.2.5 appendix
N Z N Z Z
Sm (u) = ∑ am
i (x, u, ∇u) dx + ∑ bm
i (x, u, ∇u) dx + m . Tm (u − ψ)− . sg 1 (u) dx
m
i=1 ω i=1 ω ω
Z
− f m (x) dx,
ω
N Z N Z
⟨ Sm (u), v ⟩ = ∑ am
i (x, u, ∇u) . ∇v dx + ∑ bm
i (x, u, ∇u) . v dx
i=1 ω(R) i=1 ω(R)
Z Z
+ m . Tm (u − ψ)− . sg 1 (u) . v dx − f m (x) . v dx. (3.82)
ω(R) m ω(R)
In order to show the result of the Theorem 3.2.1, it is sufficient to show that operator S is bounded,
Let’s start by demonstrating that S is bounded. And according to (3.82), (1.10), (3.46) and (3.48)
we obtain
| ⟨ Sm (u), v ⟩ | ≤ 2 || am (x, u, ∇u) ||B̄,ω(R) . || v ||W̊ 1 (ω) + 2 || bm (x, u, ∇u) ||B,ω(R) . || v ||W̊ 1 (ω)
B B
− c0 . || v ||W̊ 1 (ω) ,
B
Chapitre 3. The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic
118 Equations in General Domain
or
N Z
m
|| a (x, u, ∇u) ||B̄,ω(R) ≤ ∑ B̄i ( am
i (x, u, ∇u) ) dx + N,
i=1 ω(R)
Next, we will move to proving that S is coercive. By (3.46), (3.48) for any u ∈ W̊B1 (ω),
N N
∂u
Z Z Z Z
m
⟨ S (u), u ⟩ ≥ ā ∑ Bi dx − ϕ(x) dx + ∑ bm
i (x, u, ∇u) . u dx − f m (x) . u dx,
i=1 ω ∂ xi ω i=1 ω ω
then
N Z
⟨ Sm (u), u ⟩
1 ∂u
≥ ā ∑ Bi dx − c1 − c0
|| u ||W̊ 1 (ω) || u ||W̊ 1 (ω) i=1 ω ∂ xi
B B
N
1
Z
+ ∑ bm
i (x, u, ∇u) . u dx,
|| u ||W̊ 1 (ω) i=1 ω
B
N
1
Z
∑ bm
i (x, u, ∇u) . u dx ≥ −2 c(m).
|| u ||W̊ 1 (ω) i=1 ω
B
Thus,
N Z
⟨ Sm (u), u ⟩
1 ∂u
≥ ā ∑ Bi dx − c1 − c0 − 2 c(m)
|| u ||W̊ 1 (ω) || u ||W̊ 1 (ω) i=1 ω ∂ xi
B B
according to (1.18) page 5, we have for all k > 0, ∃α0 > 0 such that
| uxi |
bi ( | uxi | ) > k bi , i = 1, · · · , N
|| uxi ||Bi ,ω
3.2. Existence and Uniqueness of entropy solution in unbounded domain 119
we take || uxi ||Bi ,ω > α0 , i = 1, · · · , N. And since ω is unbounded domain, then we can assume that
| u j | b( | u j | ) < c B( u j )
then,
N
⟨ Sm (u j ), u j ⟩ ∂uj
ā c2
Z
j
≥ ∑ Bi dx − − 2 c(m)
|| u ||W̊ 1 (ω) N α0 i=1 ω ∂ xi N α0
B
N
ā c2
Z
≥ j ∑ | uxji | . bi ( | uxji | ) dx − − 2 c(m)
c N || uxi ||Bi i=1 ω N α0
ā k N | uxji |
c2
Z
≥ ∑ Bi j dx − − 2 c(m),
c N i=1 ω || uxi ||Bi ,ω N α0
j
u (x)
Z
j
|| u ||B = inf { k > 0 / B dx ≤ 1 }
ω k
then
N
| uxji | N
Z
∑ Bi dx ≥ ∑ || uxji ||Bi .
i=1 ω || uxji ||Bi ,ω i=1
Hence,
⟨ Sm (u j ), u j ⟩ ā k c2
j
≥ || u j ||W̊ 1 (ω) − − 2 c(m) −→ ∞ as || u j ||W̊ 1 (ω) −→ ∞
|| u ||W̊ 1 (ω) cN B N α0 B
B
tion, since the space W̊B1 (ω) is separable, then ∃(u j ) ∈ C0∞ (ω) such that
and
′
Sm (u j ) ⇀ y in ( W̊B1 (ω) ) , (3.84)
Chapitre 3. The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic
120 Equations in General Domain
|| u j ||W̊ 1 (ω) ≤ c2 , j ∈ N
B
then, (u j ) j∈N is bounded in W̊B1 (ω), and since W̊B1 (ω) is continuously and compactly injected into
LB (ω),
u j ⇀ u in LB (ω),
thus,
u j −→ u a.e in ω, j ∈ N,
am j j m
i (x, u , ∇u ) −→ ai (x, u, ∇u) a.e in ω, j ∈ N
and
bm j j m
i (x, u , ∇u ) −→ bi (x, u, ∇u) a.e in ω, j ∈ N,
am j j m
i (x, u , ∇u ) ⇀ ã , j ∈ N (3.85)
bm j j m
i (x, u , ∇u ) ⇀ b̃ , j ∈ N (3.86)
by (3.46) and (3.48) it’s clear that for any v ∈ W̊B1 (ω), we get
N Z N Z
⟨ y, v ⟩ = lim ∑ am j j
i (x, u , ∇u ) . ∇v dx + lim ∑ bm j j
i (x, u , ∇u ) . v dx
j→∞ j→∞
i=1 ω i=1 ω
Z Z
= ãm . ∇v dx + b̃m . v dx, (3.87)
ω ω
hence
N Z
lim sup ⟨Sm (u j ), u j ⟩ = lim sup { ∑ am j j j
i (x, u , ∇u ) ∇u dx
j→∞ j→∞
i=1 ω
N Z Z Z
+ lim ∑ bm j j
i (x, u , ∇u ) u
j
dx} ≤ m j
ã ∇u dx + b̃m u j dx, (3.88)
j→∞
i=1 ω ω ω
3.2. Existence and Uniqueness of entropy solution in unbounded domain 121
by (3.86), we have
Z Z
m j j j
b (x, u , ∇u ) u dx −→ b̃m u dx, (3.89)
ω ω
consequently,
N Z Z
lim sup ∑ am j j j
i (x, u , ∇u ) ∇u dx ≤ ãm ∇u j dx. (3.90)
j→∞
i=1 ω ω
N
∑ ( ami (x, u j , ∇u j ) − ami (x, u j , ∇u ) ) . ∇(u j − u) ≥ 0,
i=1
which implies
N
∑ ( ai (x, Tm (u j ), ∇u j ) − ai (x, T j (u j ), ∇u) ) . ∇(u j − u) ≥ 0, (3.91)
i=1
then,
N N N
∑ ai (x, Tm (u j ), ∇u j ) . ∇u j ≥ ∑ ai (x, Tm (u j ), ∇u) . ∇(u j − u) + ∑ ai (x, Tm (u j ), ∇u j ) . ∇u,
i=1 i=1 i=1
by Step 3, we get
N N
∑ ai (x, Tm (u j ), ∇u) −→ ∑ ai (x, Tm (u), ∇u) in LB̄ (ω),
i=1 i=1
N Z Z
lim inf ∑ am j j j
i (x, u , ∇u ) . ∇u dx ≥ ãm . ∇u j dx, (3.92)
j→∞
i=1 ω ω
N Z Z
lim ∑ am j j j
i (x, u , ∇u ) . ∇u dx = ãm . ∇u j dx, (3.93)
j→∞
i=1 ω ω
⟨Sm (u j ), u j ⟩ −→ ⟨y, u⟩ as j → ∞.
N Z
lim ∑ ( am j j m j j
i (x, u , ∇u ) − ai (x, u , ∇u ) ) . ∇(u − u) dx = 0.
j→∞
i=1 ω
Chapitre 3. The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic
122 Equations in General Domain
4.1 Introduction
new class of the approximating problems corresponding to a quasilinear obstacle equations, which
involves a general variable exponents elliptic operator in divergence form, called double phase
− divA(x, ∇u) + |u|α(x)−2 u = λ b(x)|u|β (x)−2 u in Ω,
(P) u(x) ≤ Φ(x) in Ω,
u(x) = 0 on ∂ Ω.
123
124 Chapitre 4. Existence Results for double phase obstacle problems with variable exponents
(iii) There exist positive constants c1 , c2 and variable exponents p(·), q(·) : Ω → R such that for
all (x, ζ ) ∈ Ω × Ω
p(x)
c1 |ζ | ; if |ζ | ≫ 1,
A(x, ζ ) . ζ ≥
c1 |ζ |q(x)
; if |ζ | ≪ 1,
and
p(x)−1
c2 |ζ | ; if |ζ | ≫ 1,
|A(x, ζ )| ≤
c2 |ζ |q(x)−1
; if |ζ | ≪ 1,
(iv) 1 ≪ p(·) ≪ q(·) ≪ min{N, p∗ (·)}, and p(·), q(·) are Lipschitz continuous in RN , satisfy
q(·) 1
< 1+ ,
p(·) N
where
N p(x)
N−p(x)
; if p(x) < N,
∗
p (x) =
; if p(x) ≥ N,
∞
(v) A(x, ζ ) . ζ ≤ s(·) A (x, ζ ) for any (x, ζ ) ∈ Ω × Ω, where s(·) : Ω → R is Lipschitz continuous
(A2 ) A is uniformly convex, that is, for any 0 < ε < 1, there exists δ (ε) ∈ (0, 1) such that
|u − v| ≤ ε max{|u|, |v|} or
u+v 1
A x, ≤ (1 − δ (ε)) (A (x, u) + A (x, v)),
2 2
for any x, u, v ∈ Ω
p∗ (x)
r′ (x) ≤ , ∀x ∈ Ω,
γ(x)
r∗ (x)
α(x) ≤ β (x) ≤ p∗ (x) ∀x ∈ Ω.
r∗ (x) − 1
have received much attention, particularly the existence of solutions to double phase problems with
variable exponents. These operators are the natural extension of the classical double phase problems
when p and q are constants. For example, the existence solutions of such problems when p = q =
constant and using the surjectivity theorem, multivalued mapping Kluge’s fixed point principle and
tools from non-smooth analysis, can be found in [100–102] and the references given there.
Let us mention some relevant papers in this direction. Zhikov in [104] describe models of strongly
Z
u 7−→ (|∇u| p + µ(x) |∇u|q ) dx. (4.1)
Ω
Li, Yao, and Zhou in [78] proved the existence and uniqueness of entropy solutions and the unique-
ness of renormalized solutions to the general nonlinear elliptic equations in Musielak-Orlicz spaces.
Moreover, they also obtain the equivalence of entropy solutions and renormalized solutions. For a
deeper comprehension, we refer the reader to [18, 49, 80, 81, 87, 88] and the references therein for
more background.
Moving on to another novel aspect ; the double phase problem with variable exponents that
few author consider. Ragusa and Tachikawa in [91, 93–95] and reference therein, are the first ones
who have achieved the regularity theory for minimizers of (4.1) with variable exponents. Moreover,
Zhang and Rădulescu in [103] proved the existence of multiple solution for the quasilinear equation
which involves a general variable exponent elliptic operator in divergence form. This type of pro-
blem corresponds to double phase anisotropic phenomena, in the sense that the differential operator
has behaviors like |ζ |q(x)−2 ζ for small |ζ | and like |ζ | p(x)−2 ζ for large |ζ | where 1 < α(·) ≤ p(·) <
q(·) < N. We refer to other methods to solve this type of problems which can be found in the work
of Shi, Rădulescu, Repovš, and Zhang [97] and the references therein.
The novelty of this chapter is the fact that we combine several different phenomena in one pro-
blem. More precisely, our problem (P) contains : Quasilinear equation ; which involves a general
variable exponents elliptic operator in divergence form, an obstacle restriction, and double phase
operators ; the reason why it is called double phase, is that (4.1) is defined by the fact that the
energy density changes its ellipticity and growth properties depending on the point in the domain.
To be specific, its behavior depends on the values of the weight function µ(·). Actually, on the set
{x ∈ Ω/µ(x) = 0} it will be composed by the gradient of order p(·) and on the set {x ∈ Ω/µ(x) ̸= 0}
To the best of our knowledge, no previous research has investigated the double phase obstacle ope-
rator with variable exponents given in the general form (P). Besides, we address the challenges
that come about due to the non-homogeneities of the growths, and the presence of several non-linear
terms.
In this section, we begin by presenting some results that can be concluded from the previous
p(x)
c1 |ζ | ; if |ζ | > 1,
Z 1 Z 1
d 1
A (x, ζ ) = A (x, θ ζ ) dθ = A(x, θ ζ ) . θ ζ dθ ≥ (4.3)
0 dθ 0 θ
c1 |ζ |q(x)
; if |ζ | ≤ 1,
4.2. Properties of functionals and mains results 127
p(x) p(x)
c1 |ζ | ; if |ζ | > 1, c2 |ζ | ; if |ζ | > 1,
≤ A (x, ζ ) ≤ A(x, ζ ) . ζ ≤ (4.4)
c1 |ζ |q(x)
; if |ζ | ≤ 1, c2 |ζ |q(x)
; if |ζ | ≤ 1,
By (g) of Proposition 1.3.5, we deduce that A (x, ∇u) is integrable on Ω for all u ∈ X. Thus,
Z
A (x, ∇u) dx is well defined. For u ∈ X, it follows by (4.4) that
Ω
Z Z
A(x, ∇u) . ∇u dx + |u|α(x) dx
Ω Ω
Z Z Z
≥ c1 |∇u| p(x) dx + |∇u|q(x) dx + |u|α(x) dx , (4.5)
Ω∩D∇u c
Ω∩D∇u Ω
and
Z Z
A(x, ∇u) . ∇u dx + |u|α(x) dx
Ω Ω
Z Z Z
≤ c2 |∇u| p(x) dx + |∇u|q(x)
dx + α(x)
|u| dx ,
Ω∩D∇u c
Ω∩D∇u Ω
1
Z Z
A (x, ∇u) dx + |u|α(x) dx
Ω Ω α(x)
Z
1
Z Z
≥ c1 |∇u| p(x) dx + |∇u|q(x)
dx + |u|α(x)
dx , (4.6)
Ω∩D∇u c
Ω∩D∇u Ω α(x)
and
1
Z Z
A (x, ∇u) dx + |u|α(x) dx
Ω Ω α(x)
Z
1
Z Z
≤ c2 |∇u| p(x) dx + |∇u|q(x) dx + |u|α(x) dx ,
Ω∩D∇u c
Ω∩D∇u Ω α(x)
where,
Remark 12. (a) The set K is nonempty, closed and convex subset of X(Ω).
Z Z
A(x, ∇u) . ∇(v − u) dx + |u|α(x)−2 u . (v − u) dx
Ω Ω
Z
= λ b(x) |u|β (x)−2 u (v − u) dx,
Ω
(b) We say that u ∈ X is a weak solution of problem (P) if for all ϕ ∈ X, we have
1
Z Z
A(x, ∇u) . ∇ϕ(x) dx + (u(x) − Φ(x))+ . ϕ(x) dx
Ω ρn Ω
Z Z
+ |u|α(x)−2 u . ϕ(x) dx = λ b(x) |u|β (x)−2 u . ϕ(x) dx,
Ω Ω
where {ρn } is a sequence with ρn > 0 for each n ∈ N such that ρn −→ 0 when n → ∞.
Z
⟨Iu, ϕ ⟩X = (u(x) − Φ(x))+ . ϕ(x) dx for all u, ϕ ∈ X,
Ω
is bounded, demi-continuous and monotone, where ⟨·, ·⟩X denotes the duality pairing between X
Proof. From (vi), we deduce that the function Φ is nonnegative. Next, according to the Proposition
1.3.5 we get that the function I is bounded, monotone and for the demi-continuous of the function I,
we consider {un }n∈N∗ a bounded sequence in Ω such as un → u for all u ∈ Ω, we get that Iun ⇀ Iu
in X(Ω).
′
Theorem 4.2.1. Assume that 1 ≪ β (·) ≤ α(·) ≤ p(·) ≪ q(·) ≪ min{N, p∗ }, 1 ≪ α(·) ≪ p∗ (·) qp′(·)
(·) , λ
is small enough, and hypotheses (A1 ) − (A2 ), (vi), (vii) and (ix) hold. Then, the problem (P) pos-
Proof. It follows that solutions of (P) correspond to the critical points of the Euler-Lagrange
energy functional J : X −→ R
1 1
Z Z Z
J(u) = A (x, ∇u) dx + |u|α(x) dx − (u(x) − Φ(x))+ dx
Ω Ω α(x) ρn Ω
b(x) β (x)
Z
− λ |u| dx.
Ω β (x)
′
Lemma 4.2.2. Assume that 1 ≪ β (·) ≤ α(·) ≤ p(·) ≪ q(·) ≪ min{N, p∗ }, 1 ≪ α(·) ≪ p∗ (·) qp′(·)
(·) , λ
is small enough, and hypotheses (A1 ) − (A2 ), (vi), (vii) and (ix) hold. The functional J satisfies
(1) J(0) = 0.
Proof. (1) According to (ii) and the nonnegativity of Φ, we deduce that J(0) = 0.
(2) According to Lemma 4.2.1, (vi), (vii), (ix) and the monotonicity of the function s 7−→ s+ , we
get
1 1
Z Z Z
J(u) = A (x, ∇u) dx + |u|α(x) dx − (u(x) − Φ(x))+ dx
Ω Ω α(x) ρn Ω
b(x) β (x)
Z
− λ |u| dx
Ω β (x)
Z
1
Z Z
p(x) q(x)
≥ c1 |∇u| dx + |∇u| dx + |u|α(x) dx
Ω∩Λ∇u Ω∩Λc∇u Ω α(x)
1 b(x) β (x)
Z Z
− (u(x) − Φ(x))+ dx − λ |u| dx
ρn Ω Ω β (x)
1 1 1 − β+
≥ c1 + + + + − ||u||αX − λ c2 ||u||X −→ +∞, when ||u||X → +∞.
p q α
(3) Let K be a real fixed, choosing ϒk a k-dimensional linear subspace of X such that ϒk ⊂ C0∞ (BR ),
which the norms on ϒk are equivalent. Then, for any δ0 > 0 given, there exists σk ∈ (0, 1) such that
(k)
Fσk = {u ∈ ϒk : ||u|| = σk }.
130 Chapitre 4. Existence Results for double phase obstacle problems with variable exponents
(k)
For u ∈ Fσk and 0 < t < 1, we get
1 1
Z Z Z
J(tu) = A (x, ∇tu) dx + |tu|α(x) dx − (tu(x) − Φ(x))+ dx
Ω Ω α(x) ρn Ω
b(x)
Z
− λ |tu|β (x) dx
Ω β (x)
−
tα − 1 +
≤ c1 − σkα − t σk − t β θk ,
α ρn
(k)
because, by the compactness of the set Fσk , ∃ θk > 0 such that
b(x)
Z
(k)
λ |tu|β (x) dx ≥ θk for all u ∈ Fσk .
Ω β (x)
(k)
J(tk u) ≤ −εk < 0 for all u ∈ Fσk .
Then,
(k)
J(u) ≤ −εk < 0 for all u ∈ Ftk σk .
′
Lemma 4.2.3. Assume that 1 ≪ β (·) ≤ α(·) ≤ p(·) ≪ q(·) ≪ min{N, p∗ }, 1 ≪ α(·) ≪ p∗ (·) qp′(·)
(·) , λ
is small enough, and hypotheses (A1 ) − (A2 ), (vi), (vii) and (ix) hold. The functional J satisfies
Palais-Smale condition.
Proof. Let {un } be a Palais-Smale condition sequence, such that the associated sequence of real
numbers {J(un )} is bounded, and J ′ (un ) −→ 0 in X ∗ . For that we will demonstrate the (un ) is
1 ′ 1
Z Z
J(un ) − ⟨J (un ), un ⟩ = A (x, ∇un ) dx + |un |α(x) dx
µ Ω Ω α(x)
1 b(x)
Z Z
+
− (un (x) − Φ(x)) dx − λ |un |β (x) dx
ρn Ω Ω β (x)
1 1
Z Z
− A(x, ∇un ) . ∇un dx − |un |α(x) dx
µ Ω µ Ω
1 1 1
Z Z
+ (un (x) − Φ(x))+ dx + λ b(x) |un |β (x) dx
µ ρn Ω µ Ω
s−
Z Z
1 1
≥ 1− A (x, ∇un ) dx + − |un |α(x) dx
µ Ω α− µ Ω
Z
1 1
+ −1 (un (x) − Φ(x))+ dx
µ ρn Ω
Z
1 1
+ − λ b(x) |un |β (x) dx
µ β+ Ω
Z
≥ c1 A (x, ∇un ) + |un |α(x) dx
Ω Z
1 1
+ −1 (un (x) − Φ(x))+ dx
µ ρn Ω
Z
1 1
+ − λ b(x)|un |β (x) dx
µ β+ Ω
− β+
≥ c1 ||un ||αX − c2 ||un ||X − c3 ||un ||X − c4 , (4.8)
Dividing both sides of (4.8) by ||un ||X and passing to the limit n → +∞ with the fact that α − >
Conclusion
According to the Lemmas 4.2.2 and 4.2.3, we conclude that the problem (P) possesses a weak
solution.
Existence Results for double phase problem in
5
Sobolev-Orlicz spaces with variable exponents in
Complete Manifold
5.1 Introduction
Let (M, g) be a smooth, complete compact Riemannian n-manifold. In this paper, we focused
−div( | ∇u(x) | p(x)−2 ∇u + µ(x) | ∇u(x) |q(x)−2 ∇u)
(P) = λ | u(x) |q(x)−2 u(x) − | u(x) | p(x)−2 u(x) + f (x, u(x)) in M ,
u = 0
on ∂ M ,
133
Chapitre 5. Existence Results for double phase problem in Sobolev-Orlicz spaces with variable
134 exponents in Complete Manifold
where −∆ p(x) u(x) = − div ( | ∇u(x) | p(x)−2 . ∇u(x)), −∆q(x) u(x) = − div ( | ∇u(x) |q(x)−2 . ∇u(x)) are
the p(x)-laplacian and q(x)-laplacian in (M, g) respectively, λ > 0 is a parameter specified later, the
function µ : M → R+
∗ is supposed to be Lipschitz continuous, and the variables exponents p, q ∈
The perturbation f (x, u) is a Caratheodory function which satisfies the Ambrosetti-Rabinowitz type
condition :
( f1 ) : There exists β > p+ and some A > 0 such as for each | α | > A we have
Z Z
α
0< F(x, α) dvg (x) ≤ f (x, α) . dvg (x) a.e x ∈ M,
M M β
Z α p
where F(x, α) = f (x,t) dt being the primitive of f (x, α) and dvg = det(gi j ) dx is the Rie-
0
mannian volume element on (M, g), where the gi j are the components of the Riemannian metric g
( f2 ) : f (x, 0) = 0.
And
f (x, α)
( f3 ) : lim = 0 uniformly a.e x ∈ M.
| α |→0 | α |q(x)−1
Up to this day, several contributions have been devoted to study double phase problems. This
kind of operator was introduced, first, by Zhikov in his relevant paper [104] in order to describe
Z
u 7−→ (| ∇u | p + µ(x) | ∇u |q ) dx,
Ω
where 1 < p < q < N and with a nonnegative weight function µ ∈ L∞ (Ω), see also the works of
Zhikov [105, 106] and the monograph of Zhikov-Kozlov-Oleinik [107]. Indeed, we can easily see
that the previous function reduces to p-laplacian if µ(x) = 0 or to the weighted laplacian (p(x), q(x))
physical motivation ; since the double phase operator has been used to model the steady-state so-
lutions of reaction-diffusion problems, that arise in biophysic, plasma-physic and in the study of
chemical reactions. In the other hand, these operators provide a useful paradigm for describing the
behaviour of strongly anisotropic materials, whose hardening properties are linked to the exponent
5.2. Nehari Manifold Analysis for (P) 135
governing the growth of the gradient change radically with the point, where the coefficient µ(.)
The aim of this chapter, is to prove the existence of non-negative non-trivial solutions of the pro-
blem (P) where the perturbation f (x, u) is a Caratheodory function, that satisfies the Ambrosetti-
Rabinowitz type condition. To the best of our knowledge, the existence result for double-phase
problems (P) in the framework of Sobolev-Orlicz spaces with variable exponents in complete
manifold has not been considered in the literature. The present paper is the first study devoted to
this type of problem in the setting of Sobolev-Orlicz spaces with variable exponents in a complete
manifold.
We would like to draw attention to the fact that the p(x)−laplacian operator has more compli-
cated non-linearity than the p-laplacian operator. For example, they are non-homogeneous. Thus,
we cannot use the Lagrange Multiplier Theorem in many problems involving this operators, which
prove that our problem is more difficult than the operators p-Laplacian type.
In what follows, we note by D(M) the space of Cc∞ functions with compact support in M.
1,q(x)
Definition 5.2.1. u ∈ W0 (M) is said to be a weak solution of the problem (P) if for every
φ ∈ D(M) we have
Z
| ∇u(x) | p(x)−2 + µ(x)| ∇u(x) |q(x)−2 . g(∇u(x), ∇φ (x)) dvg (x)
M
Z Z
=λ | u(x)|q(x)−2 . u(x) φ (x) dvg (x) − | u(x) | p(x)−2 . u(x) . φ (x) dvg (x)
M M
Z
+ f (x, u(x)) . φ (x) dvg (x).
M
The variable exponents p, q ∈ C(M), are assumed to satisfy the following assumption :
Then, we have
p+ p+ − q+ (q+ − q− ) . (p+ − q+ )
< − . (5.2)
q+ − q− p+ − q− (p+ − q− ) . (p− − q− )
p−
We suppose q+ ≤ 1 + N1 , and the function µ : M → R+
∗ is Lipschitz continuous.
1,q(x)
Let us consider the energy functional Jλ : W0 (M) −→ R associated to problem (P) which is
Chapitre 5. Existence Results for double phase problem in Sobolev-Orlicz spaces with variable
136 exponents in Complete Manifold
defined by
1
Z Z
µ(x)
Jλ (u) = | ∇u(x) | p(x) dvg (x) + | ∇u(x) |q(x) dvg (x)
M p(x) M q(x)
1
Z Z
λ q(x)
− | u(x) | dvg (x) + | u(x) | p(x) dvg (x)
M q(x) M p(x)
Z
− F(x, u(x)) dvg (x).
M
1,q(x)
And, for any u ∈ W0 (M) with || u ||W 1,q(x) (M) > 1, we have by ( f1 ), ( f2 ), (1.23), Proposition 1.4.4
0
1
Z Z
µ(x)
Jλ (u) = | ∇u(x) | p(x) dvg (x) + | ∇u(x) |q(x) dvg (x)
M p(x) M q(x)
1
Z Z
λ q(x)
− | u(x) | dvg (x) + | u(x) | p(x) dvg (x)
M q(x) M p(x)
Z
− F(x, u(x)) dvg (x)
M
1
Z Z
µ0
≥ +
| ∇u(x) | p(x) dvg (x) + p+ + | u(x) | p(x) dvg (x)
p M D (c + 1) p q+ M
1
Z Z
λ q(x)
− − | u(x)| dvg (x) + + | u(x) | p(x) dvg (x)
q M p M
1
Z
− f (x, u(x)) . u(x) dvg (x)
β M
1 µ0 λ 1 1
≥ + ρ p(·) (u) + p+ p+ + ρ p(·) (u) − − ρq(·) (u) + +
ρ p(·) (u) − + ρq(·) (u)
cp D (c + 1) q q p p
1 1 µ0 λ 1
Jλ (u) ≥ + + ρ p(·) (u) − − ρq(·) (u) − + ρq(·) (u)
cp+ p+ D p+ (c + 1) p+ q+ q p
1 1 µ0 p− λ 1 +
≥ + + p+ + + ||u|| 1,q(x) − − + + ||u||q 1,q(x) .
cp+ p+ D (c + 1) qp W0 (M) q p W0 (M)
1,q(x)
From (5.1), we have that Jλ is not bounded below on the whole space W0 (M), but it is bounded
1,q(x)
above on an appropriate subset of W0 (M) which is the Nehari manifold associated to Jλ defined
by
1,q(x) ′
Nλ = { u ∈ W0 (M)\{0} : ⟨ Jλ (u), u ⟩ = 0 }.
Indeed, if we take for example X a Banach space, and J the Euler (energy) functional associated
with a variational problem on X. If J is bounded above and has a minimizer, then, this minimizer is
5.2. Nehari Manifold Analysis for (P) 137
a critical point of J. Therefore, it is a weak solution of the variational problem. However, in many
problems, J is not bounded on the whole space X, but is bounded on an appropriate subset of X,
So, it is clear that the critical points of the functional Jλ must lie on Nλ and local minimizers on
Z Z
′
⟨Jλ (u), u⟩ = | ∇u(x) | p(x) dvg (x) + µ(x) | ∇u(x) |q(x) dvg (x)
M M
Z Z
−λ | u(x) |q(x) dvg (x) + | u(x) | p(x) dvg (x)
M M
Z
− f (x, u(x)) . u(x) dvg (x) = 0. (5.3)
M
Hence, Nλ contains every nontrivial weak solution of problem (P) (see definition 5.2.1). Moreo-
Lemma 5.2.1. Under assumptions ( f1 ) − ( f3 ). The energy functional Jλ is coercive and bounded
1,q(x)
below on W0 (M).
1,q(x)
Proof. Let u ∈ Nλ and || u || > 1, where || . || is the induced norm of W0 (Ω)\{0}. Then, by (5.3),
1 1
Z Z
Jλ (u) ≥ +
| ∇u(x) | p(x) dvg (x) + + µ(x)| ∇u(x) |q(x) dvg (x)
p M q M
1
Z Z Z
λ
− − | u(x) |q(x) dvg (x) + + |u(x)| p(x) dvg (x) − F(x, u(x)) dvg (x)
q M p M M
1 1
Z Z
= + ∇u(x)| p(x) dvg (x) + + µ(x)|∇u(x)|q(x) dvg (x)
p M q M
Z
1
Z Z
λ q(x)
− − |u(x)| dvg (x) + + − |∇u(x)| p(x) dvg (x) − µ(x)|∇u(x)|q(x) dvg (x)
q M p M M
Z Z Z
+λ |u(x)|q(x) dvg (x) + f (x, u(x)) . u(x) dvg (x) − F(x, u(x)) dvg (x)
M M M
Z Z
1 1 1 1
≥ µ0 + − + |∇u(x)|q(x) dvg (x) + λ − |u(x)|q(x) dvg (x)
q p M p+ q− M
1
Z Z
+ f (x, u(x)) . u(x) dvg (x) + F(x, u(x)) dvg (x)
β M M
(since β > p+ , then p1+ > β1 and by ( f1 ) we get the following inequality)
+ −
p − q+ q − p+
µ0
≥ p+ + ρ p(·) (u) + λ ρq(·) (u) (from (1.23))
D (c + 1) p p+ q+ p+ q−
+ −
p − q+ q − p+
µ0 p− +
≥ p+ p+ + +
||u|| + λ + −
||u||q ( from Proposition 1.4.6 ).
D (c + 1) p q p q
Nλ .
′
ψλ (u) = ⟨Jλ (u), u⟩ for all u ∈ Nλ .
Hence, it is natural to split Nλ into three part : the first set corresponding to local minima, the
second set corresponding to local maxima, and the third one corresponding to points of inflection
′
Nλ+ = { u ∈ Nλ : ⟨ψλ (u), u⟩ > 0 }.
′
Nλ− = { u ∈ Nλ : ⟨ψλ (u), u⟩ < 0 }.
′
Nλ0 = { u ∈ Nλ : ⟨ψλ (u), u⟩ = 0 }.
Lemma 5.2.2. Under assumptions ( f1 ) − ( f3 ). There exists λ ∗ > 0 such that for any λ ∈ (0, λ ∗ )
we have Nλ0 = 0.
/
Proof. Suppose otherwise, that is Nλ0 ̸= 0/ for all λ ∈ R\{0}. Let u ∈ Nλ0 such that || u || > 1. Then
Z Z
′
0 = ⟨ψλ (u), u⟩ ≥ p− | ∇u(x) | p(x) dvg (x) + q− µ(x) | ∇u(x) |q(x) dvg (x)
M
Z Z
M
+ p(x)
−q | ∇u(x) | µ(x) | ∇u(x) |q(x) dvg (x)
dvg (x) +
M M
Z Z
p(x)
+ | u(x) | dvg (x) − f (x, u(x)) . u(x) dvg (x)
M M
Z Z
+ p− | u(x) | p(x) dvg (x) − F(x, u(x)) dvg (x)
M M
Z Z
≥ (p− − q+ ) |∇u(x)| p(x) dvg (x) + (q− − q+ ) µ(x)|∇u(x)|q(x) dvg (x)
M M
Z Z
− + p(x) +
+ (p − q ) |u(x)| dvg (x) + q f (x, u(x)) . u(x) dvg (x)
M M
Z
− F(x, u(x)) dvg (x)
M
1
(since β > p+ > q+ , and by (1.1) we have q+ > q+ > β1 . Then,by ( f1 )
Then,
Z Z
− + p(x) − +
0 ≥ (p − q ) |u(x)| dvg (x) + (q − q ) µ(x)|∇u(x)|q(x) dvg (x).
M M
− +
0 ≥ (p− − q+ )||u|| p + c1 (q− − q+ )||u||q ,
Hence,
1
c1 (q+ − q− )
p− −q+
|| u || ≤ . (5.4)
p− − q+
Analogously :
Z Z
′ + p(x) +
0 = ⟨ψλ (u), u⟩ ≤ p | ∇u(x) | dvg (x) + q µ(x) | ∇u(x) |q(x) dvg (x)
M
Z M Z
− λ q− | u(x) |q(x) dvg (x) + p+ − | ∇u(x) | p(x) dvg (x)
M M
Z Z
− µ(x) | ∇u(x) |q(x) dvg (x) + λ | u(x) |q(x) dvg (x)
M M
Z Z
+ f (x, u(x)) . u(x) dvg (x) − F(x, u(x)) dvg (x)
M M
Z
≤ (q+ − p+ ) µ(x) | ∇u(x) |q(x) dvg (x)
M
Z Z
+ − q(x) +
+ λ (p − q ) | u(x) | dvg (x) + p f (x, u(x)) . u(x) dvg (x)
M M
Z
≤ (q+ − p+ ) µ(x) | ∇u(x) |q(x) dvg (x)
M
Z Z
+ − q(x) +
+ λ (p − q ) | u(x) | dvg (x) + p |u(x)|q(x) dvg (x).
M M
Then,
Z Z
µ0 (p+ − q+ ) |∇u(x)|q(x) dvg (x) ≤ (p+ − q+ ) µ(x)|∇u(x)|q(x) dvg (x)
M M
Z
≤ λ (p+ − q− ) + p+ |u(x)|q(x) dvg (x).
M
µ0 − +
(p+ − q+ ) || u || p ≤ λ (p+ − q− ) + p+ || u ||q .
+ +
D (c + 1) p
p
Chapitre 5. Existence Results for double phase problem in Sobolev-Orlicz spaces with variable
140 exponents in Complete Manifold
Thus, 1
+ +
D p (c + 1) p λ (p+ − q− ) + p+
p− −q+
|| u || ≤ . (5.5)
µ0 (p+ − q+ )
2 µ0 (p+ −q+ ) µ0 c1 (q+ −q− )(p+ −q+ ) p+
For λ sufficiently small λ < + +
D p (c+1) p (p+ −q− )
− + +
D p (c+1) p (p+ −q− )(p− −q− )
− p+ −q− , if we com-
bining (5.2), (5.4) and (5.5) we find || u || < 1 for µ0 sufficiently large, which contradicts our
assumption. Consequently, we can conclude that there exists λ ∗ > 0 such that Nλ0 = 0/ for any
λ ∈ (0, λ ∗ ).
Remark 13. As a consequence of Lemma 5.2.2, for 0 < λ < λ ∗ , we can write Nλ = Nλ+ ∪ Nλ− ,
and we define
Lemma 5.2.3. Suppose that ( f1 ) − ( f3 ) are true. If 0 < λ < λ ∗ with λ ∗ > 0, then for all u ∈ Nλ+
1 1
Z Z
Jλ (u) ≤ | ∇u(x) | p(x) dvg (x) + − µ(x) | ∇u(x) |q(x) dvg (x)
p− M q M
1
Z Z
λ q(x)
− + | u(x) | dvg (x) + − | u(x) | p(x) dvg (x)
q M p M
Z
− F(x, u(x)) dvg (x), (5.6)
M
1 1
Z Z
Jλ (u) ≤ − | ∇u(x) | p(x) dvg (x) + − µ(x) | ∇u(x) | p(x) dvg (x)
p M q M
Z
1
Z
− + | ∇u(x) | p(x) dvg (x) + µ(x) | ∇u(x) |q(x) dvg (x)
q M M
Z Z
p(x)
+ | u(x) | dvg (x) − f (x, u(x)) . u(x) dvg (x)
M M
1
Z Z
+ − | u(x) | p(x) dvg (x) − F(x, u(x)) dvg (x)
p M M
1 1 1 1
Z Z
|∇u(x)| p(x) dvg (x) + − − + µ(x) |∇u(x)|q(x) dvg (x)
≤ −− +
p q M q q M
1 1 1
Z Z
+ −− + |u(x)| p(x) dvg (x) + + f (x, u(x)) . u(x) dvg (x)
p q M q M
Z
− F(x, u(x)) dvg (x),
M
5.2. Nehari Manifold Analysis for (P) 141
−
p − q+ q − q−
+
1 p− 1 +
Jλ (u) ≤ − − +
+ 1 ||u|| + c1 − +
+ + ||u||q , (5.7)
p q c q q q
As u ∈ Nλ+ we have
Z Z
p+ |∇u(x)| p(x) dvg (x) + q+ µ(x)|∇u(x)|q(x) dvg (x)
M M
Z Z Z
− q(x) +
−λq |u(x)| dvg (x) + p |u(x)| p(x) dvg (x) − F(x, u(x)) dvg (x) > 0, (5.8)
M M M
Z Z
− p+ |∇u(x)| p(x) dvg (x) − p+ µ(x)|∇u(x)|q(x) dvg (x)
M M
Z Z
+ λ p+ |u(x)|q(x) dvg (x) − p+ |u(x)| p(x) dvg (x)
M M
Z
+ p+ f (x, u(x)) . u(x) dvg (x) = 0, (5.9)
M
1
we add (5.8) to (5.9), then according to the fact that β > p+ and by (5.1) we have p+ > p+ > β1 .
Z Z
+ + q(x) + −
(q − p ) µ(x)|∇u(x)| dvg (x) + λ (p − q ) |u(x)|q(x) dvg (x) > 0.
M M
Z Z
λ (p+ − q− ) |u(x)|q(x) dvg (x) > (p+ − q+ ) µ(x) |∇u(x)|q(x) dvg (x)
M M
µ0 + +
(p − q )
Z
> + + |u(x)| p(x) dvg (x).
D p (c + 1) p M
Hence,
+ +
p− λ D p (c + 1) p (p+ − q− ) +
||u|| < + +
||u||q .
µ0 (p − q )
+ +
p− − q+ λ D p (c + 1) p (p+ − q− ) q − q−
+
1 1 +
Jλ (u) ≤ − +1 . + c1 + + ||u||q .
p− q+ c + +
µ0 (p − q ) −
q q+ q
Finally, for λ sufficiently large, we deduce that θλ+ = infu∈N + Jλ (u) < 0.
λ
Chapitre 5. Existence Results for double phase problem in Sobolev-Orlicz spaces with variable
142 exponents in Complete Manifold
Lemma 5.2.4. Under assumptions ( f1 ) − ( f3 ). If 0 < λ < λ ∗∗ , then for all u ∈ Nλ− we have
Jλ (u) > 0.
Proof. Let u ∈ Nλ− . By (5.1), ( f1 ), (5.3) and the definition of Jλ , we find that
1 1
Z Z
Jλ (u) ≥ +
| ∇u(x) | p(x) dvg (x) + + µ(x) | ∇u(x) |q(x) dvg (x)
p M q M
Z
1
Z
λ
− − | u(x) |q(x) dvg (x) + + − | ∇u(x) | p(x) dvg (x)
q M p M
Z Z
q(x)
− µ(x) | ∇u(x) | dvg (x) + λ | u(x) |q(x) dvg (x)
M M
Z Z
+ f (x, u(x)) . u(x) dvg (x) − F(x, u(x)) dvg (x)
M M
1 1
Z
≥ +− + µ(x) | ∇u(x) |q(x) dvg (x)
q p M
1 1 1
Z Z
q(x)
+λ + − − | u(x) | dvg (x) + + f (x, u(x)) . u(x) dvg (x)
p q M p M
Z
− F(x, u(x)) dvg (x)
M
1 1
Z
≥ +− + µ(x) | ∇u(x) |q(x) dvg (x)
q p M
1 1 1
Z Z
+λ + − − | u(x) |q(x) dvg (x) + f (x, u(x)) . u(x) dvg (x)
p q M β M
Z
− F(x, u(x)) dvg (x)
M
(since β > p+ , then p1+ > β1 and by ( f1 ) we get the following inequality)
1 1
Z
≥ µ0 + − + | ∇u(x) |q(x) dvg (x)
q p M
1 1
Z
+λ + − − | u(x) |q(x) dvg (x),
p q M
µ0 1 1 − 1 1 +
Jλ (u) ≥ + + +
− + || u || p + λ + − − || u ||q .
D (c + 1) p
p q p p q
p+ − q+ q− − p+
µ0 −
Jλ (u) ≥ + + . + λ || u || p .
D p (c + 1) p q+ p+ p+ q−
µ0 q− (p+ −q+ )
Thus, if we choose λ < + +
D p (c+1) p q+ (p+ −q− )
= λ ∗∗ , we deduce that Jλ (u) > 0.
In this section, we prove the existence of two non-negative solutions of problem (P). For
this, we first show the existence of minimizers in Nλ+ and Nλ− for all λ ∈ (0, λ̄ ), where λ̄ =
min { λ ∗ , λ ∗∗ }.
Theorem 5.3.1. Suppose that ( f1 ) − ( f3 ) are true, then for all λ ∈ (0, λ ∗ ), there exists a minimizer
Proof. From Lemma 5.2.1, Jλ is bounded below on Nλ , in particular is bounded below on Nλ+ .
n } ⊂ Nλ such that
+
Then there exists a minimizing sequence { u+
lim Jλ (u+ +
n ) = inf + Jλ (u) = θλ < 0.
n→+∞ u∈N
1,q(x)
Since, Jλ is coercive, { u+
n } is bounded in W0 (M). Hence we assume that, without loss genera-
+ 1,q(x)
lity, u+
n ⇀ u0 in W0 (M) and by the compact embedding ( Theorem 1.4.1 ) we have
u+ +
n −→ u0 in L
p(x)
(M). (5.10)
+ 1,q(x) + 1,q(x)
Now, we shall prove u+
n −→ u0 in W0 (M). Otherwise, let u+
n ̸→ u0 in W0 (M). Then, we
have
ρq(·) (u+ +
0 ) < lim inf ρq(·) (un ), (5.11)
n→+∞
Z Z
| u+
0 |
p(x)
dvg (x) = lim inf | u+
n |
p(x)
dvg (x),
M n→+∞ M
′
since ⟨Jλ (u+ +
n ), un ⟩ = 0, and using the same technique as in Lemma 5.2.4, we get by (1.23) that
µ0 1 1 1 1
Jλ (u+
n)≥ + + +
− + ρ p(.) (u+
n )+λ +
− − ρq(.) (u+
n ).
D (c + 1) p
p q p p q
That is
µ0 1 1
lim Jλ (u+
n)≥ p+ + − lim ρ p(.) (u+
n)
n→+∞ D (c + 1) p q+ p+ n→+∞
1 1
+ λ + − − lim ρq(.) (u+ n ).
p q n→+∞
Chapitre 5. Existence Results for double phase problem in Sobolev-Orlicz spaces with variable
144 exponents in Complete Manifold
µ0 1 1 p− 1 1 q+
θλ+ > + + +
− + || u+
0 || + λ +
− − || u+
0 || ,
D (c + 1) p
p q p p q
1,q(x)
u+ +
n −→ u0 in W0 (M),
and
lim Jλ (u+ + +
n ) = Jλ (u0 ) = θλ .
n→+∞
0 is a minimizer of Jλ on Nλ .
Consequently, u+ +
Theorem 5.3.2. Suppose that conditions ( f1 ) − ( f3 ) are true, and for all λ ∈ (0, λ ∗∗ ), there exists
a minimizer u− − − −
0 of Jλ on Nλ such that Jλ (u0 ) = θλ .
Proof. Since Jλ is bounded below on Nλ and so on Nλ− . Then, there exists a minimizing sequence
−
n } ⊆ Nλ such that
{ u−
lim Jλ (u− −
n ) = inf − Jλ (u) = θλ > 0.
n→+∞ u∈Nλ
1,q(x)
As Jλ is coercive, { u−
n } is bounded in W0 (M). Thus without loss of generality, we may assume
− 1,q(x)
that, u−
n ⇀ u0 in W0 (M) and by Theorem 1.4.1 we have
u− −
n −→ u0 in L
p(x)
(M). (5.12)
Z Z
′
⟨ψλ (t u− −
0 ), t u0 ⟩ = p(x) | ∇tu−
0 (x) |
p(x)
dvg (x) + q(x) µ(x) | ∇tu−
0 (x) |
q(x)
dvg (x)
M M
Z Z
− λ q(x) |tu−
0 (x) |
q(x)
dvg (x) + p(x) |tu−
0 (x) |
p(x)
dvg (x)
M M
Z
− F(x, tu−
0 (x)) dvg (x)
M
Z Z
+ +
≤ p+ t p | ∇u−
0 |
p(x)
dvg (x) + q+ t q µ(x)| ∇u−
0 |
q(x)
dvg (x)
M M
Z Z
− +
− λ q− t q | u−
0 (x) |
q(x)
dvg (x) + p+ t p | u−
0 (x) |
p(x)
dvg (x).
M M
′
Since q− ≤ q+ < p+ , and by (1.23), propositions 1.4.4 and 1.4.6, it follows that ⟨ψλ (t u− −
0 , t u0 )⟩ < 0.
Z Z
µ(x) | ∇u−
0 (x) |
q(x)
dvg (x) ≤ lim µ(x) | ∇u−
n (x) |
q(x)
dvg (x).
M n→+∞ M
By (5.12) we get
Z Z
| u−
0 (x) |
p(x)
dvg (x) ≤ lim | u−
n (x) |
p(x)
dvg (x),
M n→+∞ M
and
Z Z
| ∇u−
0 (x) |
p(x)
dvg (x) ≤ lim | ∇u−
n (x) |
p(x)
dvg (x).
M n→+∞ M
+ +
tp tq
Z Z
Jλ (t u−
0)≤ | ∇u−
0 (x) |
p(x)
dvg (x) + µ(x) | ∇u−
0 (x) |
q(x)
dvg (x)
p− M q+ M
q− +
λt tp
Z Z
− | u−
0 (x) |
q(x)
dvg (x) + | u−
0 (x) |
p(x)
dvg (x)
q+ M p+ M
Z
− F(x,t u−
0 (x)) dvg (x)
M
p+ Z
t
≤ lim | ∇u−
n (x) |
p(x)
dvg (x)
n→+∞ q− M
+ −
tq λ tq
Z Z
+ + µ(x) | ∇u−
n (x) |
q(x)
| u−
dvg (x) − +
n (x) |
q(x)
dvg (x)
q M q M
+
tp
Z Z
− p(x) −
+ + | un (x) | dvg (x) − F(x,t u0 (x)) dvg (x)
p M M
≤ lim Jλ (t u− − −
n ) < lim Jλ (un ) = inf − J(u) = θλ .
n→+∞ n→+∞ u ∈ Nλ
Chapitre 5. Existence Results for double phase problem in Sobolev-Orlicz spaces with variable
146 exponents in Complete Manifold
Hence, Jλ (t u− −
0 ) < infu ∈ N − Jλ (u) = θλ , which is a contradiction. Consequently
λ
1,q(x)
u− −
n −→ u0 in W0 (M) and lim Jλ (u− − −
n ) = Jλ (u0 ) = θλ .
n→+∞
Theorem 5.3.3. Under assumptions ( f1 ) − ( f3 ) we assume that the smooth complete compact Rie-
mannian n-manifold (M, g) has property Bvol (λ , v). Then, there exists λ̄ such that for all λ ∈ (0, λ̄ ),
0 ∈ Nλ
Proof. Form Theorems 5.3.1 and 5.3.2, we deduce that for any λ ∈ (0, λ̄ ), there exist u+ +
and u− −
0 ∈ Nλ such as
−
Jλ (u+
0 ) = inf + Jλ (u) and Jλ (u0 ) = inf − Jλ (u).
u ∈ Nλ u ∈ Nλ
− − 1,q(x)
0 ∈ Nλ and u0 ∈ Nλ in W0
Then, the problem (P) has two solutions u+ +
(M). By Lemma 5.2.2,
h+ : M × R −→ R defined by
0
if s < 0 ,
h+ (x, s) =
h(x, s) if s ≥ 0 .
Z s
We set H+ (x, s) = f (x,t) dt and consider the C1 −functional
0
1,q(x)
Jλ+ : W0 (M) −→ R given by
1
Z Z
µ(x)
Jλ+ (u) = | ∇u(x) | p(x) dvg (x) + | ∇u(x) |q(x) dvg (x)
M p(x) M q(x)
Z
− H+ (x, u(x)) dvg (x).
M
Then, by (1.23) and proposition 1.4.6 we have for all u− = min { 0, u(x) } that
′ µ0
0 = ⟨(Jλ+ ) (u− ), u− ⟩ ≥ p− ρ p(.) (| ∇u− |) + +
−
+ q ρ p(.) (u− )
D p (c + 1) p
−
≥ ρ p(.) (u− ) ≥ || u− || p .
5.3. Existence of non-negative solutions 147
that u− +
0 and u0 are non-negative solutions of problem (P).
Conclusion : According to the above results, we can then say that u± are critical points of Jλ
[1] Aberqi, A. and Benslimane, O. and Ouaziz, A. and Repovs̆, D. D. On a new fractional Sobolev
space with variable exponent on complete manifolds, Boundary Value Problems, 2022, (2022)
1–20.
[2] Aberqi, A. and Bennouna, J. and Benslimane, O. and Ragusa, M. A. Existence Results for
double phase problem in Sobolev-Orlicz spaces with variable exponents in Complete Manifold,
[3] Aberqi, A. and Bennouna, J. and Hammoumi, M. Non-uniformly degenerated parabolic equa-
[4] Aberqi, A and Bennouna, J and Elmassoudi, M and Hammoumi, M. Existence and uniqueness
[5] Aberqi, A and Bennouna, J and Mekkour, M and Redwane, H. Nonlinear parabolic inequalities
−−→
[6] Aberqi, A. and Aharrouch, B. and Bennouna, J. On some p(x) anisotropic elliptic equations in
https ://doi.org/10.1155/2022/6685771.
[8] Aberqi, A. and Bennouna, J. and Benslimane, O. and Ragusa, M. A. Weak solvability of nonli-
near elliptic equations involving variable exponents, Discrete and Continuous Dynamical Sys-
149
150 Bibliographie
[9] Adamowicz, T. and Górka, P. The Liouville theorems for elliptic equations with nonstandard
[10] Afrouzi, Gh. A. and Chung, N. T. and Mahdavi, S. Existence and multiplicity of solutions for
anisotropic elliptic systems with non-standard growth conditions, Electronic Journal of Diffe-
[11] Aharouch, L. and Benkirane,A. and Rhoudaf, M. Existence results for some unilateral pro-
blems without sign condition with obstacle free in Orlicz spaces, Nonlinear Analysis : Theory,
[12] Aharouch, L. and Bennouna, J. Existence and uniqueness of solutions of unilateral problems
in Orlicz spaces, Nonlinear Analysis : Theory, Methods & Applications. 72, (2010) 3553–3565.
[13] Alberico, A. and di Blasio, G. and Feo, F. An eigenvalue problem for the anisotropic Φ-
[14] Alber, H.D. Materials with memory : initial-boundary value problems for constitutive equa-
[15] Antontsev, S. and Chipot, M. Anisotropic equations : uniqueness and existence results, Dife-
[16] Aubin, Th. Nonlinear analysis on manifolds. Monge-Ampere equations, Springer Science &
[17] Azzollini, A. and d’Avenia, P. and Pomponio, A. Quasilinear elliptic equations in RN via
variational methods and Orlicz-Sobolev embeddings, Calculus of Variations and Partial Diffe-
[18] Azzollini, A. and d’Avenia, P. and Pomponio, A. Quasilinear elliptic equations in RN via
variational methods and Orlicz-Sobolev embeddings, Calculus of Variations and Partial Diffe-
[19] Ball, J. M. Convexity conditions and existence theorems in nonlinear elasticity, Archive for
[20] Barletta, G. On a class of fully anisotropic elliptic equations, Nonlinear Analysis. 197, (2020)
111838.
Bibliographie 151
[21] Bénilan, Ph. and Boccardo, L. and Gallouët, Th. and Gariepy, R. and Pierre, M. and Vázquez,
Annali della Scuola Normale Superiore di Pisa-Classe di Scienze. 22, (1995) 241–273.
[22] Bendahmane, M. and Karlsen, K. H. Nonlinear anisotropic elliptic and parabolic equations
in RN with advection and lower order terms and locally integrable data, Potential Analysis. 22,
(2005) 207–227.
[23] Benkhira, E. H. and Essoufi, E. H. and Fakhar, R. On convergence of the penalty method for a
static unilateral contact problem with nonlocal friction in electro-elasticity, European Journal
[24] Benkirane, A. Elmahi, A. Strongly nonlinear elliptic unilateral problems having natural
growth terms and L1 data, Rendiconti di Matematica, Serie VII. 18, (1998) 289–303.
[25] Benkirane, A. and Bennouna, J. Existence of entropy solutions for some nonlinear problems
[26] Benslimane, O. and Aberqi, A. and Bennouna, J. The Existence and Uniqueness of an Entropy
[27] Benslimane, O. and Aberqi, A. and Bennouna, J. Existence results for double phase obstacle
problems with variable exponents, Journal of Elliptic and Parabolic Equations. 7 (2021) 875–
[28] Benslimane, O. and Aberqi, A. and Bennouna, J. Existence and uniqueness of entropy solution
of a nonlinear elliptic equation in anisotropic Sobolev–Orlicz space, Rend. Circ. Mat. Palermo,
[29] Benslimane, O. and Aberqi, A. and Bennouna, J. On some nonlinear anisotropic ellip-
tic equations in anisotropic Orlicz space, Arab Journal of Mathematical Sciences. (2021).
https ://doi.org/10.1108/AJMS-12-2020-0133.
[30] Benslimane, O. and Aberqi, A. and Bennouna, J. Existence and Uniqueness of Weak solution
[31] Benslimane, O. and Aberqi, A. and Bennouna, J. Study of some nonlinear elliptic equa-
tion with non-polynomial anisotropic growth, Advances in Operator Theory. 7, (2022) 1–29.
https ://doi.org/10.1007/s43036-022-00203-3.
[32] Blanchard, D. and Guibé, O. and Redwane, H. Existence and uniqueness of a solution for a
class of parabolic equations with two unbounded nonlinearities, Commun. Pure Appl. Anal.
[33] Blanchard, D. and Murat, F. and Redwane, H. Existence and uniqueness of a renormalized so-
lution for a fairly general class of nonlinear parabolic problems, Journal of Differential Equa-
[34] Boccardo, L. and Gallouët, Th. and Vazquez, J. L. Nonlinear elliptic equations in RN without
growth restrictions on the data, Journal of Differential Equations. 105, (1993) 334–363.
[35] Boccardo, L and Gallouët, Th. Nonlinear elliptic equations with right hand side measures,
[36] Bokalo, M. and Domanska, O. On well-posedness of boundary problems for elliptic equations
[37] Boukhrij, M. and Aharrouch, B. and Bennouna, J. and Aberqi, A. Existence results for some
[38] Bonanno, G. and Bisci, G. M. and Rădulescu, V. Quasilinear elliptic non-homogeneous Diri-
chlet problems through Orlicz–Sobolev spaces, Nonlinear Analysis : Theory, Methods & Ap-
[39] Bonanno, G. and Bisci, G. M. and Rădulescu, V. Arbitrarily small weak solutions for a non-
linear eigenvalue problem in Orlicz–Sobolev spaces, Monatshefte für Mathematik. 165, (2012)
305–318.
[40] Bonanno, G. and Bisci, G. M. and Rădulescu, V. Infinitely many solutions for a class of
(2011) 263–268.
Bibliographie 153
[41] Bonanno, G. and Bisci, G. M. and Rădulescu, V. Existence of three solutions for a non-
[42] Boureanu, M. M. Udrea, C. and Udrea, D. N. Anisotropic problems with variable exponents
and constant Dirichlet conditions, Electronic Journal of Differential Equations. 2013, (2013)
1-13.
[43] Brezis, H. Semilinear equations in RN without condition at infinity, Applied Mathematics and
[44] Cencelj, M. and Rădulescu, V. D. and Repovš, D. D. Double phase problems with variable
[45] Chen, Y. and Levine, S. and Rao, M. Variable exponent, linear growth functionals in image
[46] Chmara, M. and Maksymiuk, J. Anisotropic Orlicz–Sobolev spaces of vector valued functions
and Lagrange equations, Journal of Mathematical Analysis and Applications. 456, (2017) 457–
475.
[47] Chmara, M. and Maksymiuk, J. Mountain pass type periodic solutions for Euler–Lagrange
[48] Cianchi, A. A fully anisotropic Sobolev inequality, Pacific Journal of Mathematics, 196, (2000)
283–294.
[49] Colombo, M. and Mingione, G. Regularity for double phase variational problems, Archive
[50] Diaz, J. I. and Oleinik, O. A. Nonlinear elliptic boundary-value problems in unbounded do-
mains and the asymptotic behaviour of its solutions, Comptes Rendus-Academie Des Sciences
[51] Domanska, O.V. Boundary problems for elliptic systems with anisotropic nonlinearity. Visnik
Nats. Univ. Lviv. Politekhnika Fiz. Mat. Nauki, 660, (2009) 5-13.
154 Bibliographie
[52] Dong, Ge. and Fang, X. Existence results for some nonlinear elliptic equations with measure
[53] Elmahi, A. and Meskine, D. Elliptic inequalities with lower order terms and L1 data in Orlicz
[54] El Hamdaoui, B. and Bennouna, J. and Aberqi, A. Renormalized solutions for nonlinear para-
bolic systems in the Lebesgue–Sobolev spaces with variable exponents, Journal of Mathematical
[55] Elmahi, A. Sur certains problèmes elliptiques et paraboliques non linéaires dans les espaces
d’Orlicz, Ph.D Thesis. Sidi Mohamed Ben Abdelah University : Fez, Morocco, (1997).
[56] Elmassoudi, M. and Aberqi, A. and Bennouna, J. Existence of entropy solutions in Musie-
lak Orlicz spaces via a sequence of penalized equations, Boletim da Sociedade Paranaense de
[57] Evans, L C. Weak convergence methods for nonlinear partial differential equations ; American
[58] Fragalà, I. and Filippo, G. and Bernd, K. Existence and nonexistence results for anisotropic
quasilinear elliptic equations, Annales de l’Institut Henri Poincare (C) Non Linear Analysis,
[59] Fan, X. Anisotropic variable exponent Sobolev spaces and p(x)-Laplacian equations, Com-
[60] Fan, X. and Zhao, Y. and Zhao, D. Compact embedding theorems with symmetry of Strauss–
Lions type for the space W 1,p(x) (Ω), Journal of Mathematical Analysis and Applications. 255,
(2001) 333–348.
[61] Fan, X. and Zhao, D. On the spaces L p(x) (Ω) and W m,p(x) (Ω), Journal of mathematical analy-
[62] Fan, X. and Shen, J. and Zhao, D. Sobolev embedding theorems for spaces W k,p(x) (Ω), Journal
[63] Gaczkowski, M. and Górka, P. and Pons, D. J. Sobolev spaces with variable exponents on
[64] Gaczkowski, M. and Górka, P. Sobolev spaces with variable exponents on Riemannian mani-
folds, Nonlinear Analysis : Theory, Methods & Applications. 92, (2013) 47–59.
[65] Gasiński, L. and Papageorgiou, N. S. Constant sign and nodal solutions for superlinear double
[67] Gossez, J. P. Nonlinear elliptic boundary value problems for equations with rapidly (or slowly)
increasing coefficients, Transactions of the American Mathematical Society, 190, (1974) 163–
205.
[68] Guo, L. The Dirichlet Problems For Nonlinear Elliptic Equations With Variable Exponents On
[69] Gushchin, A. K. The Dirichlet problem for a second-order elliptic equation with an L p boun-
[70] Hebey, E. Nonlinear Analysis on Manifolds : Sobolev Spaces and Inequalities : Sobolev
[71] Kamaletdinov, A. Sh. and Kozhevnikova, L. M. and Melnik, L. Yu. Existence of solutions
[72] Korolev, A. G. Embedding theorems for anisotropic Sobolev–Orlicz spaces, Vestnik Moskovs-
[73] Kovacik, O. and Rakosnik, J. On spaces L p(.) (Ω) and W 1,p(.) (Ω), Czechoslovak Math. J. 41,
(1991) 592–618.
Orlicz spaces, Computational Mathematics and Mathematical Physics. 57, (2017) 434–452.
[76] Krasnosel’skii, M. A. and Rutickii, J. B. Convex functions and Orlicz spaces, Fizmatgiz :
Moscow, (1958).
156 Bibliographie
[78] Li, Y. and Yao, F. and Zhou, Sh. Entropy and renormalized solutions to the general nonlinear
[79] Lions, J. L. Quelques méthodes de résolution des problemes aux limites non linéaires. Dunod,
(1969).
[80] Liu, W. and Dai, G. Existence and multiplicity results for double phase problem, Journal of
[81] Liu, W. and Dai, G. and Papageorgiou, N. S. and Winkert, P. Existence of solutions for singular
double phase problems via the Nehari manifold method, arXiv preprint arXiv :2101.00593.
(2021).
[82] Marino, G. and Winkert, P. Existence and uniqueness of elliptic systems with double phase
operators and convection terms, Journal of Mathematical Analysis and Applications. 492,
(2020) 124423.
[83] Mihăilescu,M. and Pucci, P. and Rădulescu, V. Nonhomogeneous boundary value problems in
[84] Mihăilescu,M. and Pucci, P. and Rădulescu, V. Eigenvalue problems for anisotropic quasili-
near elliptic equations with variable exponent, Journal of Mathematical Analysis and Applica-
[85] Musielak, J. Orlicz Spaces and Modular Spaces, Lecture Notes in Mathematics. 1034, Sprin-
[87] Papageorgiou, N. S. and Repovš, D. D. and Vetro, C. Positive solutions for singular double
[88] Papageorgiou, N. S. and Rădulescu, V. D. and Repovš, D. D. Ground state and nodal solutions
for a class of double phase problems, Zeitschrift für angewandte Mathematik und Physik. 71,
(2020) 1–15.
Bibliographie 157
[89] Porretta, A. and de León, S. S. Nonlinear elliptic equations having a gradient term with natu-
[90] Radulescu, V. D and Repovs, D. D. Partial differential equations with variable exponents :
[91] Ragusa, M. A. and Tachikawa, A. Regularity for minimizers for functionals of double phase
[92] Ragusa, M. A. and Tachikawa, A. Partial regularity of the minimizers of quadratic functionals
with VMO coefficients, Journal of the London Mathematical Society. 72, (2005) 609–620.
tionals, Nonlinear Analysis, Theory, Methods and Applications. 93, 162–167 (2013).
[94] Ragusa, M. A. and Tachikawa, A. On continuity of minimizers for certain quadratic growth
[95] Ragusa, M. A. and Tachikawa, A. Regularity of minimizers of some variational integrals with
discontinuity, Zeitschrift fur Analysis und ihre Anwendungen. 27, 469–482 (2008).
[96] Růžička, M. Modeling, mathematical and numerical analysis of electrorheological fluids, Ap-
[97] Shi, X. and Rădulescu, V. D. and Repovš, D. D. and Zhang, Q. Multiple solutions of double
phase variational problems with variable exponent, Advances in Calculus of Variations. 13,
(2020) 385–401.
[98] Tachikawa, A. Boundary regularity of minimizers of double phase functionals, Journal of Ma-
on compact manifolds. Annali della Scuola Normale Superiore di Pisa-Classe di Scienze. 22,
(1968) 265-274.
[100] Zeng, Sh. and Bai, Y. and Gasiński, L. and Winkert, P. Existence results for double phase
implicit obstacle problems involving multivalued operators, Calculus of Variations and Partial
[101] Zeng, Sh. and Bai, Y. and Gasiński, L. and Winkert, P. Convergence analysis for double
phase obstacle problems with multivalued convection term, Advances in Nonlinear Analysis.
[102] Zeng, Sh. and Gasiński, L. and Winkert, P. and Bai, Y. Existence of solutions for double
phase obstacle problems with multivalued convection term, Journal of Mathematical Analysis
[103] Zhang, Q. and Rădulescu, V. D. Double phase anisotropic variational problems and combi-
ned effects of reaction and absorption terms, Journal de Mathématiques Pures et Appliquées.
[104] Zhikov, V. V. Averaging of functionals of the calculus of variations and elasticity theory,
(1995) 2.
(1997) 105–116.