Introduction

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

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

Table des Matières

1 Introduction

2 Définition et Propriétés

3 Inégalité de Hölder

les Espace LP(x)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

√ x −2√+ 2x −1 − 1 6 0.
donc x1 = − 2 − 1,x2√
Alors 4 = 8, √ = 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

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

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

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

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 Convergence
Inégalité de Hölder

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:



 ∞ pourx ∈ Ω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 Convergence
Inégalité de Hölder

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 Convergence
Inégalité de Hölder

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
Z Z
f (x)g (x) 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 Convergence
Inégalité de Hölder

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 Convergence
Inégalité de Hölder

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 Convergence
Inégalité de Hölder

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 Convergence
Inégalité de Hölder

|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 k∗Lp(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 k∗Lq(x) (Ω)
1 1
6 + =1
2 2

les Espace LP(x)

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

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 (fi ) une suite de Cauchy dans Lp(x) Alors il existe une
sous-suite, encore notée (fi ), telle que
k fi+1 − fi kp(.) 6 2−i .
Nous fixons
k
X ∞
X
gk = |fi+1 − fi | et g = |fi+1 − fi |.
i=1 i=1

les Espace LP(x)

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

Alors par l’inégalité triangulaire, on obtient k gk kp(.) < 1, pour

tout k. D’après lemme de Fatou appliqué à |gk |p(.) donne
Z Z
p(x)
lim inf |gk (x)| dx 6 lim inf |gk (x)|p(x) dx 6k gk kLp(x) < 1.
Ω Ω

En particulier g (x) < ∞ presque partout, de sorte que

∞
X
f = f1 + (fi+1 − fi )
i=1

existe presque partout, et f (x) = limi→+∞ fi (x) presque partout.

Maintenant nous avons besoin de prouver que f est le Lp(x) −limite
de fi . Soit ε > 0. Il existe N ∈ N tel que k fi − fj kp(.) 6 ε pour
tout i, j > N Pour tout m > N le lemme de Fatou implique que
Z Z
|f − fm |p(.) dx 6 limi→+∞ inf |fi − fm |p(.) dx
Ω Ω

les Espace LP(x)

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

6 limi→+∞ inf k fi − fm kp(.) 6 ε

et donc f ∈ Lp(x) (Ω) et k f − fi kp(.) → 0 quand m → +∞.

les Espace LP(x)

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

Convergence

Proposition
Soit (fn )n∈N ⊂ Lp(x) (Ω), si p + < ∞ alors:

Ip (fn ) −→ 0 ⇔ ||f ||Lp(x) (Ω) −→ 0

les Espace LP(x)

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

Convergence

Proposition
Soit (fn )n∈N ⊂ Lp(x) (Ω), si p + < ∞ alors:

Ip (fn ) −→ 0 ⇔ ||f ||Lp(x) (Ω) −→ 0

Proposition
Soit p + < ∞, si fn −→ 0 dans Lp(x) (Ω), alors fn −→ 0 en mesure.

les Espace LP(x)

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

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

Merci de votre attention

les Espace LP(x)