Introduction

Définition et Propriétés
Inégalité de Hölder
Complétude

les Espace LP(x)

Réalisé par: EL MANIANI Ibrahim et EZ-ZAMANI bouchta

Encadré par: Mr.El-azouani et Mr.Hadfi

UNIVERSITÉ SULTAN MOULAY SLIMANE

Faculté Polydisciplinaire de Khouribga

18 mars 2022

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Table des Matières

1 Introduction

2 Définition et Propriétés

3 Inégalité de Hölder

4 Complétude

les Espace LP(x)

 Introduction
Définition et Propriétés
Définitions et inégalités intégrales
Inégalité de Hölder
Complétude

Introduction

Malgré que la conception des espaces Lp a apporté beaucoup

d’avantages relatives à la théorie de l’analyse fonctionnelle, ces
derniers se sont limités et nécessitent assez d’hypothèses qui
rendent leur application parfois triviale.
Il est vrai qu’ils sont relativement simples à définir et à comprendre
mais leurs cadre d’application est très étroit.
Pour remédier à cet inconvénient, les mathématiciens ont pensé à
faire du p qui est constant une fonction qui dépend d’une variable.
Cet exploit a largement supplanté la théorie des espaces Lp
classiques.
Les Lp(x) ont enrichi la théorie de l’analyse fonctionnelle surtout
dans l’étude des phénomènes à caractère dynamique.

les Espace LP(x)

 Introduction
Définition et Propriétés
Définitions et inégalités intégrales
Inégalité de Hölder
Complétude

Notations

|Ω| désigne la mesure de Lebesgue de l’ensemble Ω.

les Espace LP(x)

 Introduction
Définition et Propriétés
Définitions et inégalités intégrales
Inégalité de Hölder
Complétude

Notations

|Ω| désigne la mesure de Lebesgue de l’ensemble Ω.

Ω est un sous-ensemble mesurable de Rn , |Ω| > 0.

les Espace LP(x)

 Introduction
Définition et Propriétés
Définitions et inégalités intégrales
Inégalité de Hölder
Complétude

Notations

|Ω| désigne la mesure de Lebesgue de l’ensemble Ω.

Ω est un sous-ensemble mesurable de Rn , |Ω| > 0.

les Espace LP(x)

 Introduction
Définition et Propriétés
Définitions et inégalités intégrales
Inégalité de Hölder
Complétude

Notations

P(Ω) l’ensemble de toutes les fonctions mesurables p telles

que: p : Ω −→ [1, +∞]

les Espace LP(x)

 Introduction
Définition et Propriétés
Définitions et inégalités intégrales
Inégalité de Hölder
Complétude

Notations

P(Ω) l’ensemble de toutes les fonctions mesurables p telles

que: p : Ω −→ [1, +∞]
On pose:

Ωa = Ωa (p) = {x ∈ Ω, p(x) = a, a ∈ [1, +∞]}

les Espace LP(x)

 Introduction
Définition et Propriétés
Définitions et inégalités intégrales
Inégalité de Hölder
Complétude

Notations

P(Ω) l’ensemble de toutes les fonctions mesurables p telles

que: p : Ω −→ [1, +∞]
On pose:

Ωa = Ωa (p) = {x ∈ Ω, p(x) = a, a ∈ [1, +∞]}

En particulier:

Ω1 = {x ∈ Ω, p(x) = 1} et Ω∞ = {x ∈ Ω, p(x) = ∞}

les Espace LP(x)

 Introduction
Définition et Propriétés
Définitions et inégalités intégrales
Inégalité de Hölder
Complétude

puis:
Ω0 = Ω/(Ω1 ∪ Ω∞ )

les Espace LP(x)

 Introduction
Définition et Propriétés
Définitions et inégalités intégrales
Inégalité de Hölder
Complétude

puis:
Ω0 = Ω/(Ω1 ∪ Ω∞ )

p − = inf vrai p(x), p + = sup vrai p(x)

x∈Ω x∈Ω

les Espace LP(x)

 Introduction
Définition et Propriétés
Définitions et inégalités intégrales
Inégalité de Hölder
Complétude

puis:
Ω0 = Ω/(Ω1 ∪ Ω∞ )

p − = inf vrai p(x), p + = sup vrai p(x)

x∈Ω x∈Ω

1 1
rp = 1 + −
− +
p p

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Définition
La définition des espaces de Lebesgue à exposant variables,
nécessite la connaissance de la définition suivante :
Définition
On appelle exposant variable sur RN toute fonction mesurable

p : RN → [1, +∞].

On désigne par P(RN ) l’ensemble des exposants variables sur RN .

On pose :

p − ≡ infy ∈RN p(y ), p + ≡ supy ∈RN p(y )

Si p + < +∞, on dit que p est un exposant variable borné.

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Définition
On note par Lp(x) l’ensemble des fonctions f mesurables et telles
que: Z
Ip (f ) = |f (x)|p(x) dx + sup vrai|f (x)| < ∞
Ω/Ω∞ x∈Ω∞

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Définition
On note par Lp(x) l’ensemble des fonctions f mesurables et telles
que: Z
Ip (f ) = |f (x)|p(x) dx + sup vrai|f (x)| < ∞
Ω/Ω∞ x∈Ω∞

Remarque
La fonctionnelle Ip (f ) : Lp(x) (Ω) −→ [0, +∞) est appelée
modular de l’espace Lp(x) (Ω).

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Exemple
Soit Ω = [−1, 1]:

1 si − 1 6 x 6 0
p(x) =
2 si 0 < x 6 1

0 si − 1 6 x 6 0
f (x) =
2 si 0 < x 6 1
R1
Alors: Ip (f ) = 0 22 dx = 4 < ∞.
Donc: f ∈ Lp(x) (Ω).

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Exemple
Soit Ω =]0, 1[:
1 −x
p(x) = et f (x) = 4−x x 2
x
alors:
Z 1 −1
Ip (f ) = 4−1 x 2 dx
0
1 1 1
Z
= √ dx
2 0 2 x
1
= <∞
2

donc: f ∈ Lp(x) (Ω).

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Exemple
Soit Ω =]0, 1[:
1
p(x) = et f (x) = x −x
x
alors: Z 1
Ip (f ) = x −1 dx = [ln(x)]10 = ∞
0
donc:
/ Lp(x) (Ω)
f ∈

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Propriétés de Ip (f )

Dans ce qui suit, on cite quelques propriétés de Ip (f ):

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Propriétés de Ip (f )

Dans ce qui suit, on cite quelques propriétés de Ip (f ):

Proposition
Ip (f ) ≥ 0, ∀f ∈ Lp(x) (Ω).
Ip (f ) = 0 si et seulement si f = 0 p.p.
Ip (−f ) = Ip (f ), ∀f ∈ Lp(x) (Ω).
Si |f (x)| ≥ |g (x)| pour x ∈ Ω p.p, et si Ip (f ) < ∞, alors
Ip (f ) > Ip (g ).

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Norme de l’espace Lp(.)

Ainsi, Lp(.) (Ω) est un espace vectoriel dont l’application

k.kp(.) : Lp(.) (Ω) → R+

Z
n f (x) o
f 7→ kf kp(.) := inf λ > 0 ; | |dx 6 1
Ω λ

est une norme sur Lp(.) .

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Calcul de la norme dans Lp(x) (Ω)

Soit Ω = (−1, 1)

1 si − 1 6 x 6 0
p(x) =
2 si 0 < x 6 1

2 si − 1 6 x 6 0
f (x) =
1 si 0 < x 6 1

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Z Z 0 Z 0
f (x) 2 1
| |= dx + dx
Ω λ −1 λ −1 λ2
−2 −1
=λ + 2λ 6 1.

Donc on résout l’inégalité

λ−2 + 2λ−1 − 1 6 0

Posons λ−1 = x > 0, on obtenaient

√ x2 +
√2x − 1 6 0.
Alors 4 = 8, √
donc x1 = − 2 − 1,x2√ = 2 − 1. √
Donc S = [0, 2 − 1], alors supλ = 2 − 1 et inf λ = ( 2 − 1)−1 ,
d’où
√ √
k f kLp(x) (Ω) = ( 2 − 1)−1 = 2 + 1.

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Lemme
Soit f ∈ Lp(x) (Ω), alors
!
f
Ip 6 1, ∀f telle que 0 < ||f ||Lp(x) (Ω) < ∞
||f ||Lp(x) (Ω)

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Lemme
Soit f ∈ Lp(x) (Ω), alors
!
f
Ip 6 1, ∀f telle que 0 < ||f ||Lp(x) (Ω) < ∞
||f ||Lp(x) (Ω)

Corollaire
Pour toute f ∈ Lp(x) (Ω) telle que 0 < ||f ||Lp(x) (Ω) < ∞,

Si ||f ||Lp(x) (Ω) 6 1, alors Ip (f ) 6 ||f ||Lp(x) (Ω)

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Preuve 1° :
On prend une suite λn décroissante qui converge vers k f kLp(x) (Ω) ,
d’où la suite ( |fλn| )n est croissante et converge vers |f |
kf kLp(x) (Ω) alors
en vertu du lemme de Fatou
|f | |f |
Z Z
( )p(x) dx 6 limn→∞ inf (( )n )p(x) dx 6 1.
Ω k f kLp(x) (Ω) Ω λn

si x ∈ Ω∞ est évidente.
Finalement on a Ip ( kf k |f | ) 6 1.
Lp(x) (Ω)

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Preuve 2° : On a
1 1
( )p(x) > > 1,
k f kLp(x) (Ω) k f kLp(x) (Ω)

où p(x) > 1.

p(x) dx
R
Ω |f | |f |
Z
6 ( )p(x) dx 6 1.
k f kLp(x) (Ω) Ω k f kLp(x) (Ω)

d’où Ip (f ) 6k f kLp(x) .

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Conjugué de p(x)

Définition
Soit p(x) ∈ [1, ∞), alors on dit que la fonction q(x) est la
conjuguée de p(x) si:



 ∞ pour x ∈ Ω1

q(x) = 1 pour x ∈ Ω∞
 p(x)
pour x ∈ Ω0


p(x) − 1


les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Théorème (Inégalité de Hölder)

Soient p(x), q(x) ∈ P(Ω). Alors l’inégalité
Z
|f (x) g (x)|dx ≤ rp k f kLp(x) (Ω) k g kLq(x) (Ω) ,
Ω

est vérifiée pour chaque f ∈ Lp(x) (Ω) et g ∈ Lq(x) (Ω), où

1 1 1 1
rp = 1 + − − + , avec + = 1 et
p p p(x) q(x)

f
k f kLp(x) (Ω) = inf{λ, λ > 0 : Ip ( ) ≤ 1}.
λ

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Preuve
On suppose que k f kLp(x) (Ω) 6= 0, et k g kLq(x) (Ω) 6= 0.
On pose a = kf|fk(x)| et b = kg|gk(x)| , p = p(x), q = q(x) on
Lp(x) Lq(x)
p q
applique l’inégalité de young ab 6 ap + bq , puis on intègre sur
Ω0 = ΩΩ1 ∪ Ω∞ comme on a :
R  |f | p(x)
Ω kf kLp(x) dx 6 1 ∀f telle que 0 <k f kLp(x) < ∞,
d’où en vertu de l’inégalité de Young, on a

|f (x)g (x)|
Z Z
1  f (x) p(x)
dx 6 dx
Ω0 k f kLp(x) (Ω) k g kLq(x) (Ω) Ω0 p k f kLp(x)
 
Z
1  g (x) q(x)
+ dx
Ω0 q k g kLq(x)
 

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Z  Z 
1  f (x) p(x)
 1  g (x) q(x)

6 dx + dx
p − Ω k f kLp(x) q − Ω k g kLp(x)
   
1 1
6 −+ −
p q
1 1
6 − +1− +
p p
Alors
Z  1 1 
|f (x)g (x)|dx 6 + 1 − k f kLp(x) k g kLq(x)
Ω p− p+
= rp k f kLp(x) k g kLq(x) .

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Remarque
Si p(x) = p = cte et q(x) = q = cte, alors p − = p + , q − = q + et
1
p−
+ q1− = 1, ainsi on retrouve l’inégalité classique de Hölder.

les Espace LP(x)

 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

Remarque
Si p(x) = p = cte et q(x) = q = cte, alors p − = p + , q − = q + et
1
p−
+ q1− = 1, ainsi on retrouve l’inégalité classique de Hölder.

Corollaire
On peut définir sur Lp(x) (Ω) la norme suivante
Z
∗ 2 f p(x)
k f kLp(x) (Ω) = inf {λ, λ > 0 : | | dx 6 1},
Ω p(x) λ

avec laquelle on exprime l’inégalité de Hölder comme suit

Z
|f (x)g (x)|dx 6k f k∗Lp(x) (Ω) k g k∗Lq(x) (Ω) .
Ω

Preuve :
On procède comme dans le Théorème précédent , c’est-à-dire :
les Espace LP(x)
 Introduction
Définition et Propriétés
Inégalité de Hölder
Complétude

|f (x)g (x)|
Z Z
1  f p(x)
dx 6  dx
Ω k f k∗Lp(x) (Ω) k g k∗Lq(x) (Ω) Ω
∗
p k f kLp(x) (Ω)
Z
1  g q(x)
+ ∗
 dx
Ω q k g kLq(x) (Ω)
Z
1 2  f p(x)
= ∗
 dx
2 Ω p k f kLp(x) (Ω)
Z
1 2  g q(x)
+ ∗
 dx
2 Ω q k g kLq(x) (Ω)
1 1
6 + =1
2 2

les Espace LP(x)

 Introduction
Définition et Propriétés
Convergence
Inégalité de Hölder
Complétude

d’où
Z
|f (x)g (x)|dx 6k f k∗Lp(x) (Ω) k g k∗Lq(x) (Ω) .
Ω

Lemme
Lp(x) est un espace de Banach.

Preuve :
Soit fn une suite de Cauchy de fonctions de Lp(x) (Ω) et soit  > 0,
alors il existe n0 ∈ N tel que
Z
|fm (x) − fn (x)||g (x)|dx < . (1)
Ω

les Espace LP(x)

 Introduction
Définition et Propriétés
Convergence
Inégalité de Hölder
Complétude

pour tout m, n > n0 et pour tout g telle que Iq (g ) 6 1 On

décompose Ω sous forme d’ensembles disjoints Gk de mesure finie
et on définit les fonctions
gk = (1 + |Gk |)−1 χGk , k ∈ N. Alors
Z
Iq (gk ) = (1 + |Gk |)−q(x) dx + (1 + |Gk |)−1 6 1.
Gk

En remplaçant g par gk dans (1), on trouve

Z
|fm (x) − fn (x)|(1 + |Gk |)−1 dx < .
Gk

d’où
Z
|fm (x) − fn (x)|dx < (1 + |Gk |), m, n > n0 , k ∈ N
Gk

les Espace LP(x)

 Introduction
Définition et Propriétés
Convergence
Inégalité de Hölder
Complétude

Ceci montre que la suite fn est de Cauchy dans L1 (Gk ), et donc

convergente dans chaque L1 (Gk ) , et par récurrence on trouve une
sous suite fnk et une fonctions f k ∈ L1 (Gk ) telle que
fnk (x) → f k (x) pour x ∈ Gk presque partout, k ∈ N. Ainsi,
∞
(l)
X
fm (x) → f k (x)χGk (x) = f (x), pour x ∈ Ω p.p.
k=1

En remplaçant fm par fml dans (1) et en utilisant le lemme de

Fatou on trouve
Z Z
|f (x) − fn (x)||g (x)|dx 6 supm |fml (x) − fn (x)||g (x)|dx 6 
Ω Ω

pour tout n > n0 et chaque g avec Iq (g ) 6 1. Ainsi

k f − fn kLp(x) 6  .

les Espace LP(x)

 Introduction
Définition et Propriétés
Convergence
Inégalité de Hölder
Complétude

BIBLIOGRAPHIE

S. A. Bendaoud, A. Senouci, Inequalities for weighted Hardy

operators in weighted variable exponent Lebesgue space with
0 < p(x) < 1, Eurasian Mathematical journal, ISSN
2077-9879,Volume9, Number 1 (2018), 30-39.
D. E. Edmunds, J. Lang, A. Nekvinda, On Lp(x) norms, Proc.
R. Soc. Lond, Ser. A 445,219-225 (1999).
P. Harjulehto, P. Hästö, M. Pere, Variable exponent lebesgue
space on metric spaces : The Hardy-Littlewood maximal
operator, Math. helsinki, analysis, varsobgroup. 2004.

les Espace LP(x)

 Introduction
Définition et Propriétés
Convergence
Inégalité de Hölder
Complétude

♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣♣

Merci de votre attention

les Espace LP(x)