Historique de théorème

Théorème de point fixe de Leray-Schauder

Application de théorème

Théorème de point fixe de Leray-Schauder

Ben meradi Nour Elhouda

Ben hemida Selsabil

Département de Mathématiques
Université Yahia Faras Medea

23 décembre 2023

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 2023 1 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Plan de travail

1 Historique de théorème.
2 Théorème de point fixe de Leray-Schauder.
3 démonstration.
4 Application de théorème.

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 2023 2 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Plan de travail

1 Historique de théorème.
2 Théorème de point fixe de Leray-Schauder.
3 démonstration.
4 Application de théorème.

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 2023 2 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Plan de travail

1 Historique de théorème.
2 Théorème de point fixe de Leray-Schauder.
3 démonstration.
4 Application de théorème.

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 2023 2 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Plan de travail

1 Historique de théorème.
2 Théorème de point fixe de Leray-Schauder.
3 démonstration.
4 Application de théorème.

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 2023 2 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Historique de théorème

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 2023 3 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Historique de théorème

Le théorème de point fixe de Leray-Schauder est une généralisation du théorème du

point fixe de Brouwer a des espaces vectoriels topologiques de dimension infinie ,il a été
démontre d’abord dans le cas des espaces de Banach par Juluisz Schauder . il intervient
dans la démonstration de l’existence de solution d’équation différentielles.
ce théorème fut d’abord démontré en 1930 par Shauder dans des cas particuliers ,
comme celui des espaces vectoriels topologique métrisables complets .
Il conjectura le cas général dans le Livre écossais. En 1934, Tychonoff démontra le
théorème dans le cas où C est compact et E est localement convexe. Cette version est
connue sous le nom de théorème du point fixe de Tychonoff,B.V. Singbal généralisa ce
résultat au cas où C n’est pas compact. Le cas général (sans l’hypothèse de convexité
locale) fut finalement démontré par Robert Cauty en 2014.

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 2023 4 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Historique de théorème

En 1951, James Dugundji remarque, comme corollaire de son théorème de

prolongement, que la généralisation « naïve » en dimension infinie du théorème du
point fixe de Brouwer est fausse : dans tout espace vectoriel normé de dimension
infinie, il existe des applications continues sans point fixe de la boule unité fermée (non
compacte) dans elle-même.

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 2023 5 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Théorème de point fixe de

Leray-Schauder

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 2023 6 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Théorème de point fixe de Leray-Schauder

Théorème
Soit V un espace de Banach réflexive et supposer que T : V −→ V est faiblement
continu sur V . supposons qu’il existe une constante R > 0 tel que ∥ u ∥X ≤ R
pour tout u ∈ V vérifie u = λT (u) pour tout λ ∈ [0, 1] ,
donc T admet au moins un point fixe T (u) = u.

démonstration
On considéré la boule B(0, R) ⊂ V , pour :

u ̸= λT (u) , ∀λ ∈ [0, 1] , u∈V telque ∥ u ∥= R

on considéré l’opérateur T1 : B(0, R) −→ B(0, R) défini par :


 T (u) si ∥ T (u) ∥V ≤ R

T1 (u) = (1)
RT (u)
si ∥ T (u) ∥V > R


∥T (u)∥V

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 2023 7 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Théorème de point fixe de Leray-Schauder

démonstration
l’opérateur est bien défini car :
si u ∈ B(0, R) alors ∥ u ∥V < R ⇒∥ T1 (u) ∥V < R
on considère deux cas :
si ∥ T (u) ∥V < R alors on a T1 (u) = T (u) alors ∥ T1 (u) ∥=∥ T (u) ∥V < R
si ∥ T (u) ∥V > R alors :

RT (u)
T1 (u) = ∥T (u)∥V
R∥T (u)∥V
(2)
∥ T1 (u) ∥ ≤ ∥T (u)∥V
=R

alors on a l’opérateur et bien défini .

Cet opérateur et continue faiblement et la boule B(0, R) ⊂ V réflexive .
on a la boule B(0, R) est convexe alors quelque soit A ∈ B(0, R) est
séquentiellement continue faiblement implique que A est continue fortement .

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 2023 8 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Théorème de point fixe de Leray-Schauder

démonstration
D’après le théorème de Schauder il existe un point fixe u0 ∈ B(0, R) tel que

u0 = T1 (u0 )

c’est T1 (u0 ) = T (u0 ) = u0

on va montre que u0 est solution de u = T (u) on a une contradiction . si u0 est
solution de u0 = T1 (u0 ) mais n’est pas solution de u = T (u) on a

∥ T u0 ∥V > R

et

RT (u0 )
T1 (u0 ) = ∥T (u0 )∥V
= u0

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 2023 9 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Théorème de point fixe de Leray-Schauder

démonstration
R
on prend λ= ∥T (u0 )∥
tel que ∥ T u0 ∥V < R alors on a

∀λ ∈ [0, 1] , ∃u0 ∈ V : λT (u0 ) = u0 (3)

est une contradiction , donc u0 est un point fixe de T .

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 202310 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Théorème de point fixe de Leray-Schauder

Théorème 02
Soit V un espace de Banach et S : V × [0, 1] −→ V un opérateur compact telle que

1) S(u, 0) = 0 ∀u ∈ V

2) existe une constante R telle que pour chaque couple (u, λ) ∈ S × [0, 1] qui satisfait
S(u, λ) = u on a

∥ u ∥< R

alors u est un point fixe de l’opérateur T : V −→ V défini par T u = S(u, 1)

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 202311 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Application de théorème

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 202312 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Application de théorème.

Problème
soient Ω un ouvert borne régulier de R , N > 2 et f : Ω × R −→ R une fonction de
carathéodory vérifiant la condition suivant :

|f (x, s)| ≤ h(x) + c|s|p−1 , p.p.x ∈ Ω, ∀s ∈ R (4)

p 2N
ou c > 0 ,h ∈ Lq (Ω) avec q = p−1
et 1 < p < N −2
. On suppose en outre que la
fonction s 7→ f (x, s) est décroissante pour presque partout x ∈ Ω . On considéré le
problème aux limites

 −∆u = f (x, u) dans Ω

(5)
u=0

sur ∂Ω

1.montrer en utilisant le théorème du point fixe de Leray-Schauder que le problème

(3,2) une unique solution faible u ∈ H01 (Ω)

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 202313 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Solution de problème
Étape 01
On définir S l’opérateur de point fixe défini par

S: [0, 1] × L2 (Ω) −→ L2 (Ω)

(6)
S(λ, v) = w

telle que w est la solution unique de problème linaire par Lax-Milgram


 −∆w = λfe(v) dans Ω

(P b) : (7)
w=0 sur ∂Ω λ ∈ [0, 1]


au sens faible suivant

Z Z
∇w(x)∇φ(x)dx = λ fe(v)φ(x)dx ∀φ ∈ H01 (Ω) (8)
Ω Ω
Ou Z
a(w, φ) = ∇w(x)∇φ(x)dx (9)
Ω
Ben meradi Nour Elhouda Ben hemida
Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 202314 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Solution de problème

Étape 01
et Z
L(φ) = λ fe(v)φ(x)dx (10)
Ω
on va prouver que toutes les hypothèses de Lax-Milgram est satisfait

1) a est une forme bilinéaire :

a est forme bilinéaire telle que gradient et l’intégrale est linéaire

2) a est continue :

Z Z
|a(w, φ)| = | ∇w∇φdx| ≤ |∇w||∇φ|dx ≤∥ w ∥H 1 ∥ φ ∥H 1 (11)
0 0
Ω Ω
3) a est coercitive :

Z
a(w, w) = ∇w2 dx =∥ w ∥2H 1 (12)
Ω 0

on prendre α = 1

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 202315 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Solution de problème

Étape 01
4) L est une forme linéaire :
l est forme linéaire car l’intégrale est linéaire

5) L est continue :
Z Z
|L(φ)| = | λfe(v)φdx| ≤ λ |fe(v)||φ| ≤ λ ∥ fe(v) ∥L2 ∥ φ ∥L2 ≤ R ∥ φ ∥H 1
0
Ω Ω
(13)
R = cΩ λ ∥ fe(v) ∥L2
par Lax-Milgram le problème (7) admet unique solution w ∈ H01 .

soit λ = 0 la solution de problème (7) w = 0 i.e.S(0, v) = 0 , ∀v ∈ H01 .

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 202316 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Solution de problème
Étape 02
1) S est continue :
pour montre que l’opérateur S et continue soit vn un suite de L2 (Ω) telle que
vn −→ v dans L2 (Ω)
et soit λn −→ λ telle que (λn , λ) ∈ [0, 1] et montre que
C.V
S(λn , vn ) = wn −→ S(λ, v) = w

 −∆wn = λn fe(vn ) dans Ω

(P bn ) : (14)
 wn = 0 sur ∂Ω λn ∈ [0, 1]


on a (14)et(7) alors

∀φ ∈ L2 (Ω)
R R
Ω ∇(wn − w)∇φdx = Ω (λn f (vn )
e − λfe(v))φdxdx
R R R
Ω ∇(wn − w)∇φdx = Ω (λn f (vn )
e − λfe(v))φdx + Ω λn fe(v)φdx
R
− Ω λn fe(v)φdx
R R R
| Ω ∇(wn − w)∇φdx| ≤ Ω |λn − λ||fe(v)φdx + Ω |λn ||fe(vn ) − fe(v)|φdx
(15)
Ben meradi Nour Elhouda Ben hemida
Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 202317 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Solution de problème

Étape 02
on prendre φ = wn − w et on a comme λn converge alors M ≤ 0 tell que λn ≤ M

∥ wn − w ∥2H 1 (Ω)
0
∥ wn − w ∥2H 1 (Ω)
0
∥ wn − w ∥2L2 (Ω)
R
≤ |λn − λ| Ω |fe(v)(wn − w)|dx
R
+M Ω |fe(vn ) − fe(v)||wn − w|dx
≤ |λn − λ| ∥ fe(v) ∥L2 ∥ wn − w ∥L2
+M ∥ fe(vn ) − fe(v) ∥L2 ∥ wn − w ∥L2
 
≤ 2 |λ − λ| ∥ fe(v) ∥
M CΩ n L2 + ∥ f (vn ) − f (v) ∥L2
e e

∥ wn − w ∥L2 (Ω)
(16)
par inégalité de Young on a

∥ wn − w ∥L2 (Ω) ≤ 2 |λ − λ| ∥ fe(v) ∥

M CΩ n L2 (Ω) + ∥ f (vn ) − f (v) ∥L2 (Ω)
e e
(17)

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 202318 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Solution de problème

Étape 02
C.V C.V
alors on a comme λn −→ λ et vn −→ v et f est continue alors

∥ wn − w ∥L2 (Ω) = 0 (18)

C.V
alors wn −→ w dans L2 (Ω) donc l’opérateur de point fixe et continue.
2) S est compact :
soit (λn , vn ) suite de L2 (Ω) ona S(λn , vn ) = wn bornée dans H01 (Ω) alors admet sous
suite converge faiblement dans H01 (Ω) par de théorème de Rellich on a wn −→ w
dans L2 (Ω) donc l’opérateur S(λ, v) est compacte

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 202319 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

Solution de problème

Étape 03
on va montre que l’opérateur de point fixe S(λ, v) : λ × B(0, R) −→ B(0, R)
on pondre la fonction de test φ = w

∇w2 dx
R R
Ω ≤ Ω λ|fe(v)||w|dx
∥ w ∥2H 1 ≤ λ ∥ fe(v) ∥L2 (Ω) ∥ w ∥L2 (Ω)
0 (19)
∥ w ∥2L2 (Ω) ≤ 2 ∥ w ∥2 ≤ C 2 λ ∥ fe(v) ∥
CΩ H1 Ω L2 (Ω) ∥ w ∥L2 (Ω)
0
∥ w ∥2L2 (Ω) ≤ 2 λ ∥ fe(v) ∥
CΩ L2 (Ω) = R

alors on a tout les hypothèses de théorème de point fixe de Leray-Schauder est satisfait
alors le problème (5) admet aux mois un solution faible.

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 202320 / 21
 Historique de théorème
Théorème de point fixe de Leray-Schauder
Application de théorème

References I

[1] H AIM BREZIS,

Haim BREZIS, Analyse fonctionnelle théorie et application.
[2] V ICTOR L. B URENKOV,
Victor L. Burenkov, Sobolev Spaces on domains.
[3] H ERVÉ L E D RET,
Hervé Le Dret, Équation aux dérivées partielles elliptiques non linéaires.
[4] D ONAL O’R EGAN AND R ADU P RECUP,
Donal O’Regan and Radu Precup,Theorems of Leray-Schauder type and application
[5] S AM F ORSTER , E AVAN G LEESON , F RANCA H OFFMANN,
Sam Forster , Eavan Gleeson , Franca Hoffmann ,Leray-Schauder Existence Theory
for Quasilinear Elliptic Equation

Ben meradi Nour Elhouda Ben hemida

Théorème
Selsabil
de point fixe de Leray-Schauder 23 décembre 202321 / 21