Chapitre 4 : Solutions entropiques d’équations elliptiques

linéaires

Ahmed YOUSSFI

Ecole Nationale des Sciences Appliquées

Fès, Maroc
Master MASD-FSDM
Mathématiques Appliquées et Sciences des Données

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 1 / 33

Sommaire

1 Introduction

2 Gradient généralisé et solution entropique

3 Solution entropique et solution au sens des distributions

4 Unicité de la solution entropique

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 2 / 33

 Introduction

2
Soit Ω ⊂ RN , N ≥ 2, un ouvert borné. On note A : Ω → RN , où
A = (ai,j (x ))i,j =1,...,N , une matrice telle que : ai,j : Ω → R soient des fonctions
mesurables pour tout i , j ∈ {1, . . . , N }. On suppose qu’il existe deux réels α et β
avec 0 < α ≤ β tels que pour presque tout x ∈ Ω et pour tout ξ ∈ RN on ait

|A(x )| ≤ β et A(x )ξ · ξ ≥ α|ξ|2 , (1)

Considérons le problème suivant


− div (A(x )∇u) = f dans Ω,
(2)
u=0 sur ∂Ω,

où f ∈ L1 (Ω). A-t-on l’existence et l’unicité de la solution ?

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 3 / 33

 Introduction

Nous avons vu que la solution au sens des distributions n’est, en général, pas
unique même dans le cas d’un opérateur linéaire. Cependant, dans ce dernier cas,
l’unicité est obtenue en utilisant le concept de solution de dualité. Mais si
l’opérateur n’est pas linéaire, la solution de dualité perd son sens.
Pour avoir l’unicité (au moins pour les solutions obtenues par approximations) on
est amené à chercher une condition de plus sur les solutions.

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 4 / 33

 Introduction

Remarquons que les solutions obtenues par approximation n’appartiennent pas à

l’espace d’énergie H01 (Ω) puisqu’elles appartiennent à W01,q (Ω), pour tout
q < NN−1 . En revanche, si u est une solution obtenue par approximation, alors
nous avons démontré que
Z
k
|∇Tk (u)|2 dx ≤ kµkMb (Ω) .
Ω α

Ainsi, Tk (u) ∈ H01 (Ω). En d’autre termes, les solutions ne sont pas dans H01 (Ω)
seulement lorsqu’elles deviennent ”infinies”. Puisque la fonction pathologique
ω ε (x ) = x1 |x |1−N −ε de J. Serrin est telle que Tk (ω ε ) ∈
/ H01 (Ω), on peut penser à
1
changer H0 (Ω) par
n o
T01,2 (Ω) = u : Ω −→ R measurable : Tk (u) ∈ H01 (Ω), ∀k > 0 .

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 5 / 33

 Gradient généralisé et solution entropique

Gradient généralisé

Théorème
Soit u ∈ T01,2 (Ω). Alors il existe, à une équivalence presque partout, une unique
fonction mesurable v : Ω → RN telle que

∇Tk (u) = v χ{|u|≤k } p.p. dans Ω, ∀k > 0. (3)

1,1
De plus, u ∈ Wloc (Ω) si et seulement si v ∈ L1loc (Ω, RN ) et alors v = ∇u dans le
sens usuel des distributions.

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 6 / 33

 Gradient généralisé et solution entropique

Solution entropique

Definition
Soit f ∈ L1 (Ω). Une fonction u ∈ T01,2 (Ω) est dite solution entropique du
problème 
− div (A(x )∇u) = f dans Ω,
(4)
u = 0 sur ∂Ω,
si Z Z
A(x )∇u · ∇Tk (u − ϕ)dx ≤ fTk (u − ϕ)dx , (5)
Ω Ω

pour tout k > 0 et pour tout ϕ ∈ H01 (Ω) ∩ L∞ (Ω).

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 7 / 33

 Gradient généralisé et solution entropique

Notons bien que chaque terme dans (4) est bien définit. En effet, puisque
Tk (u − ϕ) ∈ L∞ (Ω), on a
Z 
 

 fTk (u − ϕ)dx  ≤ k kf kL1 (Ω) < +∞.

Ω

Pour le terme de gauche, en posant M = k + kϕk∞ , nous pouvons écrire

Z Z
A(x )∇u · ∇Tk (u − ϕ)dx = A(x )∇u · ∇(u − ϕ)dx .
Ω {|u−ϕ|<k }

Il est facile de vérifier que l’on a {|u − ϕ| < k } ⊂ {|u| ≤ M }. Ainsi,

Z Z
A(x )∇u · ∇Tk (u − ϕ)dx = A(x )∇TM (u) · ∇(TM (u) − ϕ)dx .
Ω {|u−ϕ|<k }

qui est finie puisque u ∈ T01,2 (Ω) et ϕ ∈ H01 (Ω).

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 8 / 33

 Gradient généralisé et solution entropique

Existence d’une solution entropique

Le résultat suivant donne l’existence d’au moins une solution entropique pour le
problème (4).

Théorème
Supposons que (1) est vérifiée et que f ∈ L1 (Ω). Alors, il existe au moins une
fonction u solution entropique du problème (4). De plus u ∈ W01,q (Ω) pour tout
q < NN−1 .

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 9 / 33

 Gradient généralisé et solution entropique

Preuve

On agit par approximation. Soit fn = Tn (f ) et soit un ∈ H01 (Ω) la solution du

problème 
− div (A(x )∇un ) = fn dans Ω,
un = 0 sur ∂Ω,
dans le sens
Z Z
A(x )∇un · ∇ϕdx = fn ϕdx , ∀ϕ ∈ H01 (Ω). (6)
Ω Ω

Question : Justifier l’existence de un .

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 10 / 33

 Gradient généralisé et solution entropique

Preuve

Soit k > 0, on prend ϕ = Tk (un ) ∈ H01 (Ω) comme fonction test dans la
formulation de solution (6), on a
Z Z Z
2
α |∇Tk (un )| dx ≤ A(x )∇un · ∇Tk (un )dx = fn Tk (un )dx ≤ k kf kL1 (Ω) .
Ω Ω Ω

Ainsi, pour k fixé, la suite {Tk (un )} est bornée dans H01 (Ω). Donc, il existe une
sous-suite notée encore {Tk (un )} et une fonction vk ∈ H01 (Ω) telles que

Tk (un ) * vk dans H01 (Ω) faiblement.

Tk (un ) −→ vk dans L2 (Ω) fortement.

Question : - Justifier pourquoi Tk (un ) ∈ H01 (Ω).
- Justifier l’extraction d’une sous-suite et des deux convergences.

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 11 / 33

 Gradient généralisé et solution entropique

Preuve
On sait que la suite un converge vers u, l’unique solution de dualité du problème
(4), fortement dans W01,q (Ω), pour tout q < NN−1 et que un converge vers u
presque partout dans Ω. Par conséquent, vk = Tk (u) presque partout dans Ω. Par
le lemme de Fatou, on a
Z Z
2
α |∇Tk (u)| dx ≤ lim inf α |∇Tk (un )|2 dx ≤ k kf kL1 (Ω) ,
Ω n→+∞ Ω

ce qui implique que u ∈ T01,2 (Ω).

Soit k > 0 fixé et soit φ ∈ H01 (Ω) ∩ L∞ (Ω). On
prend v = Tk (un − φ) comme fonction test dans la formulation de solution (6) de
(4), on obtient
Z Z
A(x )∇un · ∇Tk (un − φ)dx = fn Tk (un − φ)dx .
Ω Ω

Dans cette dernière égalité, on écrit le terme de droite sous la forme

Z Z Z
fn Tk (un − φ)dx = (fn − f )Tk (un − φ)dx + fTk (un − φ)dx .
Ω Ω Ω

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 12 / 33

 Gradient généralisé et solution entropique

Preuve
Le premier terme est estimé comme suit
Z 
 (fn − f )Tk (un − φ)dx  ≤ k kfn − f kL1 (Ω)
 
Ω

et sachant que limn→+∞ kfn − f kL1 (Ω) = 0, on obtient

Z
lim (fn − f )Tk (un − φ)dx = 0.
n→+∞ Ω

Pour le deuxième terme, vue que la suite {Tk (un − φ)}n est bornée uniformément
dans L∞ (Ω) et {un }n converge vers u presque partout dans Ω, on a
Tk (un − φ) * Tk (u − φ) dans L∞ (Ω) pour la topologie σ ∗ (L∞ , L1 ).
Question : Justifier cette limite. Z Z
1
Ainsi, comme f ∈ L (Ω) on a lim fTk (un − φ)dx = fTk (u − φ)dx et par
n→+∞ Ω Ω
suite on obtient
Z Z
lim fn Tk (un − φ)dx = fTk (u − φ)dx .
n→+∞ Ω Ω

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 13 / 33

 Gradient généralisé et solution entropique

Preuve
Pour le terme de gauche, on l’écrit
Z Z
A(x )∇Tk (un − φ) · ∇Tk (un − φ)dx + A(x )∇φ · ∇Tk (un − φ)dx .
Ω Ω
Le premier terme est positif, de sorte que la convergence presque partout de ∇un
vers ∇u et le lemme de Fatou permettent d’avoir
Z Z
A(x )∇Tk (u−φ)·∇Tk (u−φ)dx ≤ lim inf A(x )∇Tk (un −φ)·∇Tk (un −φ)dx ,
Ω n→+∞ Ω

tandis que pour le second on a d’après la convergence faible de Tk (un ) vers

Tk (u) dans H01 (Ω)
Z Z
A(x )∇φ · ∇Tk (u − φ)dx = lim A(x )∇φ · ∇Tk (un − φ)dx
Ω n→+∞ Ω
En combinant ces résultats, on obtient
Z Z
A(x )∇u · ∇Tk (u − φ)dx ≤ fTk (u − φ)dx ,
Ω Ω

et donc u est une solution entropique de (4).

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 14 / 33
 Solution entropique et solution au sens des distributions

Solution entropique est une solution au sens des

distributions

Il est naturel de se demander si une solution entropique est une solution au sens
des distributions.
Théorème
Soit f ∈ L1 (Ω) et soit u une solution entropique de (4). Alors u appartient à
W01,q (Ω), pour tout q < NN−1 . De plus, u est une solution au sens des
distributions de (4).

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 15 / 33

 Solution entropique et solution au sens des distributions

Preuve

Prenons φ = 0 dans (5) nous obtenons

Z Z Z
1 1 k
|∇Tk (u)|2 dx ≤ A(x )∇u · ∇Tk (u)dx = fTk (u)dx ≤ kf kL1 (Ω) .
Ω α Ω α Ω α

Partant de cette inégalité, on peut raisonner comme précédement et obtenir

Z
|∇u|q dx ≤ Cq kf kqL1 (Ω) ,
Ω

N
pour tout q < N −1 . D’où le résultat.
Question : Refaire le calcul en utilisant le principe de Cavalieri.

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 16 / 33

 Solution entropique et solution au sens des distributions

Preuve

Soit maintenant h > 0 fixé tel que h > k . En choisissant

φ = Th (u) ∈ H01 (Ω) ∩ L∞ (Ω), (car u ∈ T01,2 (Ω)), comme fonction test dans la
formulation de solution entropique (5), on obtient
Z Z
A(x )∇u · ∇Tk (u − Th (u))dx ≤ fTk (u − Th (u))dx ,
Ω Ω

ce qui s’écrit alors

Z Z
A(x )∇u · ∇udx ≤ fTk (u − Th (u))dx .
{|u−Th (u)|≤k }∩{|u|>h} {|u|>h}

Question : Justifier pourquoi.

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 17 / 33

 Solution entropique et solution au sens des distributions

Preuve

Exercice : Montrer que l’on a

{h < |u| ≤ h + k } = {|u − Th (u)| ≤ k } ∩ {|u| > h}.

Par conséquent,
Z Z
A(x )∇u · ∇udx ≤ k |f |dx .
{h<|u|≤h+k } {|u|>h}

Puisque u ∈ W01,1 (Ω) ,→ L1 (Ω), on a

Z
1
|{|u| > h}| ≤ |u|dx → 0, quand h → ∞.
h Ω

Question : Justifier cette convergence.

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 18 / 33

 Solution entropique et solution au sens des distributions

Preuve
Z
Ainsi, puisque f ∈ L1 (Ω) on a lim |f |dx = 0. Par suite, on obtient
h→∞ {|u|>h}
Z
lim |∇u|2 dx = 0. (7)
h→∞ {h≤|u|≤h+k }

Maintenant, soit ψ ∈ C01 (Ω) fixé. On choisit ϕ = Th (u) − ψ, h > 0, comme

fonction test dans la formulation d’entropie (5) écrite pour k = kψk∞ , on obtient :
Z Z
A(x )∇u · ∇Tk (u − Th (u) + ψ)dx ≤ fTk (u − Th (u) + ψ)dx .
Ω Ω

D’autre part, en utilisant le théorème de Lebesgue on trouve

Z Z Z
lim fTk (u − Th (u) + ψ)dx = fTk (ψ)dx = f ψdx .
h→∞ Ω Ω Ω

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 19 / 33

 Solution entropique et solution au sens des distributions

Preuve
D’autre part, le terme de gauche s’écrit,
Z Z
A(x )∇u · ∇ψdx + A(x )∇u · ∇Tk (u − Th (u) + ψ)dx
{|u|<h} {|u|≥h}

Puisque A est bornée, u ∈ W01,1 (Ω) (au moins) et ψ ∈ C01 (Ω), le théorème de
Lebesgue permet d’avoir
Z Z
lim A(x )∇u · ∇ψdx = A(x )∇u · ∇ψdx ,
h→+∞ {|u|<h} Ω

Pour l’autre intégrale, on écrit

Z
A(x )∇u · ∇Tk (u − Th (u) + ψ)dx
{|u|≥h}
Z
= A(x )∇u · ∇Tk (u − Th (u) + ψ)dx .
{|u−Th (u)+ψ|≤k }∩{|u|≥h}

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 20 / 33

 Solution entropique et solution au sens des distributions

Preuve
Exercice : Démontrer que l’on a
{|u − Th (u) + ψ| ≤ k , |u| ≥ h} ⊂ {h ≤ |u| ≤ h + 2k }.

Ainsi, on a Z 
 

 A(x )∇u · ∇Tk (u − Th (u) + ψ)dx 
{|u|≥h}
Z
≤β |∇u|(|∇u| + |∇ψ|)dx
{h≤|u|≤h+2k }
de sort que par (7) on a
Z
lim A(x )∇u · ∇Tk (u − Th (u) + ψ)dx = 0.
h→+∞ {|u|≥h}

Par suite, on a
Z Z
A(x )∇u · ∇ψdx ≤ f ψdx , pour tout ψ ∈ C01 (Ω).
Ω Ω
En échangeant ψ par −ψ, on obtient l’inégalité inverse et donc u est une solution
au sens des distributions de (4).
A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 21 / 33
 Unicité de la solution entropique

Unicité de la solution entropique

Théorème
Soit f ∈ L1 (Ω). Alors la solution entropique du problème (4) est unique.

Nous présentons trois preuves de ce résultat.

1)- Une solution entropique est une solution de dualité.

2)- Une solution entropique est une solution obtenue par approximation.

3)- Il existe au plus une solution entropique.

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 22 / 33

 Unicité de la solution entropique

Preuve :Une solution entropique est une solution de dualité

Soit g ∈ L∞ (Ω) une fonction fixée. Notons v la solution du problème
−div (A∗ (x )∇v ) = g dans Ω,

v = 0 sur ∂Ω,
D’après le théorème de Stapmacchia, v ∈ L∞ (Ω). En choisissant ϕ = Th (u) − v
comme fonction test dans la formulation d’entropie (5) avec h > 0 et
k = kv kL∞ (Ω) , on a
Z Z
A(x )∇u · ∇Tk (u − Th (u) + v )dx ≤ fTk (u − Th (u) + v )dx .
Ω Ω

Par le théorème Lebesgue, on obtient

Z Z
lim fTk (u − Th (u) + v )dx = fvdx .
h→∞ Ω Ω

Pour le terme de gauche, on l’écrit de la manière suivante

Z Z
A(x )∇u · ∇vdx + A(x )∇u · ∇Tk (u − Th (u) + v )dx := I1 + I2 .
{|u|≤h} {|u|>h}

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 23 / 33

 Unicité de la solution entropique

Preuve
On commence par estimer I2 . Ainsi,
Z
I2 = A(x )∇u · ∇Tk (u − Th (u) + v )dx .
{|u−Th (u)+v |≤k }∩{|u|>h}

Il est facile de voir que

{|u − Th (u) + v | ≤ k } ∩ {|u| > h} ⊂ {h ≤ |u| ≤ h + 2k }.

Par suite, on a
Z
|I2 | ≤ β |∇u|(|∇u| + |∇v |)dx .
{h≤|u|≤h+2k }

Par (7) et l’inégalité de Hölder on déduit que

lim I2 = 0.
h→∞

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 24 / 33

 Unicité de la solution entropique

Preuve

Pour le terme I1 , on écrit

Z Z
I1 = A(x )∇u · ∇vdx = A(x )∇Th (u) · ∇vdx
Z{|u|≤h} Ω

= A∗ (x )∇v · ∇Th (u)dx

ZΩ
= gTh (u)dx ,
Ω

car Th (u) ∈ H01 (Ω) peut être choisie comme fonction test dans le problème

− div (A∗ (x )∇v ) = g dans Ω,


v = 0 sur ∂Ω.

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 25 / 33

 Unicité de la solution entropique

Preuve

Ainsi, par le théorème de Lebesgue on a

Z Z
lim A(x )∇u · ∇vdx = gudx .
h→∞ {|u|≤h} Ω

Par conséquent, on a Z Z
gudx ≤ fvdx .
Ω Ω

En échangeant g avec −g (et donc v avec −v , par linéarité), on obtient

Z Z
gudx ≥ fvdx .
Ω Ω

D’où Z Z
gudx = fvdx .
Ω Ω

Ainsi, u est une solution de dualité de (4).

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 26 / 33

 Unicité de la solution entropique

Preuve : Une solution entropique est une solution obtenue

par approximation
Soit (fn )n ∈ L∞ (Ω) telle que fn → f dans L1 (Ω) et soit un la solution de

−div (A(x )∇un ) = fn dans Ω,
un = 0 sur ∂Ω.

D’après le théorème de Stampacchia on a un ∈ H01 (Ω) ∩ L∞ (Ω). On choisit

ϕ = un comme fonction test dans la formulation d’entropie (5) pour u. Soit,
Z Z
A(x )∇u · ∇Tk (u − un )dx ≤ fTk (u − un )dx .
Ω Ω

D’autre part, on choisit Tk (u − un ) ∈ H01 (Ω) comme fonction test dans la

formulation faible (6) pour un , on a
Z Z
A(x )∇un · ∇Tk (u − un )dx = fn Tk (u − un )dx .
Ω Ω

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 27 / 33

 Unicité de la solution entropique

Preuve
En faisant la soustraction, on obtient
Z Z
A(x )∇(u − un ) · ∇Tk (u − un )dx ≤ (f − fn )Tk (u − un )dx .
Ω Ω

D’où Z
α |∇Tk (u − un )|2 dx ≤ k kf − fn kL1 (Ω) .
Ω
Ce qui implique
Tk (u − un ) → 0 dans H01 (Ω).
D’où Z
α |∇Tk (u − un )|2 dx ≤ k kf − fn kL1 (Ω) .
Ω
Ce qui implique
Tk (u − un ) → 0 dans H01 (Ω).
Ainsi, un converge vers la solution entropique u. Comme la solution obtenue par
approximation est unique, la solution entropique u est unique.
A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 28 / 33
 Unicité de la solution entropique

Preuve : Il existe au plus une solution entropique

Soient u et v deux solutions entropiques de (4) avec la même donnée f . Soient
h > k > 0, on choisit ϕ = Th (v ) comme fonction test dans la formulation
entropique (5) pour u, et ϕ = Th (u) comme fonction test dans la formulation
entropique (5) pour v , on obtient
Z Z
A(x )∇u · ∇Tk (u − Th (v ))dx ≤ fTk (u − Th (v ))dx ,
Ω Ω

et Z Z
A(x )∇v · ∇Tk (v − Th (u))dx ≤ fTk (v − Th (u))dx .
Ω Ω
En faisant la somme terme à terme, on a
Z Z
A(x )∇u · ∇Tk (u − Th (v ))dx + A(x )∇v · ∇Tk (v − Th (u))dx
ΩZ Ω
≤ f [Tk (u − Th (v ))dx + Tk (v − Th (u))]dx ,
Ω

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 29 / 33

 Unicité de la solution entropique

Preuve

Puisque Tk est une fonction impaire, le théorème de Lebesgue permet d’avoir

Z
lim f [Tk (u − Th (v ))dx + Tk (v − Th (u))]dx = 0.
h→∞ Ω

Ainsi
Z Z
lim sup A(x )∇u · ∇Tk (u − Th (v ))dx + A(x )∇v · ∇Tk (v − Th (u))dx ≤ 0,
h→∞ Ω Ω

On a
Ω = {|u| ≤ h, |v | ≤ h} ∪ {|u| > h, |v | ≤ h} ∪ {|v | > h} = E0 ∪ F1 ∪ F2 ,
= {|v | ≤ h, |u| ≤ h} ∪ {|v | > h, |u| ≤ h} ∪ {|u| > h} = E0 ∪ F3 ∪ F4 ,

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 30 / 33

 Unicité de la solution entropique

Preuve
Sur E0
Z Z
A(x )∇u · ∇Tk (u − Th (v ))dx = A(x )∇u · ∇Tk (u − v )dx .
E0 E0
Z Z
A(x )∇v · ∇Tk (v − Th (u))dx = A(x )∇v · ∇Tk (v − u)dx .
E0 E0

Sur F1 et F3
Z Z
A(x )∇u · ∇Tk (u − Th (v ))dx = A(x )∇u · ∇(u − v )dx ,
F1 F1 ∩{|u−v |≤k }

or
F1 ∩ {|u − v | ≤ k } ⊂ {h < |u| ≤ h + k } ∪ {h − k < |v | ≤ h} = F10
D’où,
Z  Z
 
 A(x )∇u · ∇Tk (u − Th (v ))dx  ≤ β
 |∇u|(|∇u| + |∇v |)dx .
F10

F1

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 31 / 33

 Unicité de la solution entropique

Preuve

D’après (7) pour u et v , on a

Z Z
lim |∇u|2 dx = 0 et lim |∇v |2 dx = 0.
h→∞ {h<|u|≤h+k } h→∞ {h−k <|v |≤h}

Ainsi, par l’inégalité de Hölder on a

Z 
 
lim  A(x )∇u · ∇Tk (u − Th (v ))dx  = 0.
h→∞ F1

De même, on a
Z 
 
lim  A(x )∇v · ∇Tk (v − Th (u))dx  = 0,
h→∞ F3

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 32 / 33

 Unicité de la solution entropique

Preuve
Sur F2 et F4
Z Z
A(x )∇u · ∇Tk (u − Th (v ))dx = A(x )∇u · ∇Tk (u)dx ≥ 0,
F2 F2
Z Z
A(x )∇v · ∇Tk (v − Th (u))dx = A(x )∇v · ∇Tk (v )dx ≥ 0,
F4 F4

Par conséquent, on a
Z
lim sup A(x )∇(u − v ) · ∇Tk (u − v )dx ≤ 0.
h→∞ E0

Le Lemme de Fatou permet d’avoir

Z
0≤ A(x )∇(u − v ) · ∇Tk (u − v )dx ≤ 0.
Ω

D’où, ∇Tk (u − v ) = 0 et donc u = v presque partout dans Ω.

A. YOUSSFI (ENSA-Fès) Chapitre 4 : Solutions entropiques d’équations elliptiques linéaires 33 / 33