Espaces de Lebesgue

Espaces de Lebesgue
(Mathématiques Appliquées GI-SIG)

Driouch Aicha

Ecole Hassania Des Travaux Publics

26 octobre 2021
Espaces de Lebesgue

Plan

1 Rappel : Mesure-Intégrale par rapport à une mesure

2 Fonctions définies par des intégrales

3 Les espaces Lp , 1 ≤ p ≤ +∞

4 Produit de convolution
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Notion de mesure–Intégrale par rapport à une mesure

Définition : Tribu
Soit E un ensemble. On appelle tribu sur E , un ensemble B de
parties de E vérifiant
l’ensemble vide est dans B
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Notion de mesure–Intégrale par rapport à une mesure

Définition : Tribu
Soit E un ensemble. On appelle tribu sur E , un ensemble B de
parties de E vérifiant
l’ensemble vide est dans B
B est stable par complémentaire
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Notion de mesure–Intégrale par rapport à une mesure

Définition : Tribu
Soit E un ensemble. On appelle tribu sur E , un ensemble B de
parties de E vérifiant
l’ensemble vide est dans B
B est stable par complémentaire (ie :∀A ∈ B, Ac ∈ B)
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Notion de mesure–Intégrale par rapport à une mesure

Définition : Tribu
Soit E un ensemble. On appelle tribu sur E , un ensemble B de
parties de E vérifiant
l’ensemble vide est dans B
B est stable par complémentaire (ie :∀A ∈ B, Ac ∈ B)
B est stable par union dénombrable :
(c-à-d : si ∀n ∈ N An ∈ B alors ∪n∈N An ∈ B).
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Notion de mesure–Intégrale par rapport à une mesure

Définition : Tribu
Soit E un ensemble. On appelle tribu sur E , un ensemble B de
parties de E vérifiant
l’ensemble vide est dans B
B est stable par complémentaire (ie :∀A ∈ B, Ac ∈ B)
B est stable par union dénombrable :
(c-à-d : si ∀n ∈ N An ∈ B alors ∪n∈N An ∈ B).
L’espace (E , B) est appelé espace mesurable.
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Exemples
1 On pose A = P(E ) où P(E ) représente l’ensemble de toutes
les parties de E . P(E ) est une tribu sur E .
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Exemples
1 On pose A = P(E ) où P(E ) représente l’ensemble de toutes
les parties de E . P(E ) est une tribu sur E .
2 Soit l’ensemble E = {0, 1, 5, 9} alors B = {∅, E , {0}, {1, 5, 9}}
est une tribu sur E (c’est la plus petite tribu contenant {0}).
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Rappel

Mesure
Soit un ensemble non vide de Rn et soit

µ : P(E ) → [0, +∞]

A 7→ µ(A)

On dit que µ est une mesure sur E si

µ(∅) = 0.
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Rappel

Mesure
Soit un ensemble non vide de Rn et soit

µ : P(E ) → [0, +∞]

A 7→ µ(A)

On dit que µ est une mesure sur E si

µ(∅) = 0.
Pour toute suite d’ensembles (An )n∈N∗ disjoints deux à deux
( ie : An ∩ Am = ∅ , ∀n ̸= m) on a
X
n∈N∗
S
µ( An ) = An
n∈N∗
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Rappel

Mesure
Soit un ensemble non vide de Rn et soit

µ : P(E ) → [0, +∞]

A 7→ µ(A)

On dit que µ est une mesure sur E si

µ(∅) = 0.
Pour toute suite d’ensembles (An )n∈N∗ disjoints deux à deux
( ie : An ∩ Am = ∅ , ∀n ̸= m) on a
X
n∈N∗
S
µ( An ) = An
n∈N∗
On dira alors que (E , µ) est un espace mesuré.
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Fonction mesurable

Définition
Soient (E , B) et (E ′ , B ′ ) deux espaces mesurables, une application
f : E → E ′ est dite mesurable si

∀A ∈ B ′ f −1 (A) ∈ B

Exemples
Toutes les fonctions constantes de E à valeur R sont
mesurables. En effet si f (x ) = c ∀x ∈ E alors f −1 (R) = E
comme E appartient toujours à la tribu de l’ensemble de
départ alors f est mesurable.
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Fonction mesurable

Définition
Soient (E , B) et (E ′ , B ′ ) deux espaces mesurables, une application
f : E → E ′ est dite mesurable si

∀A ∈ B ′ f −1 (A) ∈ B

Exemples
Toutes les fonctions constantes de E à valeur R sont
mesurables. En effet si f (x ) = c ∀x ∈ E alors f −1 (R) = E
comme E appartient toujours à la tribu de l’ensemble de
départ alors f est mesurable.
Toutes les fonctions continues et continues par morceaux sur
E sont mesurables.
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

De manière générale, et par raison de simplicité du cours nous

allons travailler avec des fonctions qui sont mesurables.
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

De manière générale, et par raison de simplicité du cours nous

allons travailler avec des fonctions qui sont mesurables.

Dans le cas où on veut montrer qu’une fonction est mesurable

on peut vérifier si elle est continue ou continue par morceaux.
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

De manière générale, et par raison de simplicité du cours nous

allons travailler avec des fonctions qui sont mesurables.

Dans le cas où on veut montrer qu’une fonction est mesurable

on peut vérifier si elle est continue ou continue par morceaux.

Dans tout ce qui suit, nous travaillerons avec la mesure de

Lebesgue qui est une mesure qui étend le concept intuitif de
volume dans Rn .
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Rappel : Espace des fonctions intégrables : L1 (E )

Définition
Soit E un sous ensemble de Rn . On dit que f est intégrable au
sens de Lebesgue sur E si et seulement si
Z
|f |dµ < +∞
E

On notera L1 (E ) l’espace des fonctions intégrable sur E .

Exemples :
1
-La fonction f (x ) = ∈ L1 ([1, +∞[).
x2
-La fonction f (x ) = e −x ∈ L1 (R+ )
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Rappel : Partie positive et partie négative d’une fonction

Soit f : E → R une fonction sur un espace mesuré (E , µ). alors on

peut toujours écrire f sous forme de f = f + − f − avec
(
+ f (x ) si f (x ) ≥ 0
f (x ) =
0 sinon.
(
0 si f (x ) ≥ 0
f − (x ) =
−f (x ) sinon.

ou tout simplement f + = max(f , 0) et f − = max(−f , 0).

Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Partie positive et partie négative d’une fonction

Propriétés
On peut vérifier facilement que
f = f + − f −.
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Partie positive et partie négative d’une fonction

Propriétés
On peut vérifier facilement que
f = f + − f −.
|f | = f + + f − .
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Partie positive et partie négative d’une fonction

Propriétés
On peut vérifier facilement que
f = f + − f −.
|f | = f + + f − .
Une
Z fonction
Z f est intégrable
Z sur E si f + et f − le sont et on a
fdµ = f + dµ − f − dµ.
E E E
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Théorème de convergence monotone

Soit (E , µ) un espace mesuré et fn une suite croissante de
fonctions positives sur E . Alors
Z Z
lim fn dµ = fdµ
n→+∞ E E
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Théorème de convergence monotone

Soit (E , µ) un espace mesuré et fn une suite croissante de
fonctions positives sur E . Alors
Z Z
lim fn dµ = fdµ
n→+∞ E E

Exemple
Soit n ∈ N∗ , Calculer
Z 1
1
lim x n dx
n→+∞ 0
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

1
Posons fn (x ) = x n , nous avons fn ≥ 0 ∀n ∈ N∗ . Nous avons fn est
1 1
continue et croissante sur ]0, 1[, en effet, x n = e n ln(x ) .
Soit n ∈ N∗ alors
1 1
n ≤n+1⇒ ≤
n+1 n
Comme x ∈]0, 1[ alors

ln(x ) ln(x ) 1 1
ln(x ) ≤ 0 ⇒ ≤ ⇒ e n ln(x ) ≤ e n+1 ln(x ) ⇒ fn ≤ fn+1
n n+1
1
D’autre part, lim fn (x ) = lim e n ln(x ) = 1. En utilisant le
n→+∞ n→+∞
Théorème de convergence monotone on a
Z 1 Z 1 Z 1
1
lim x dx =
n lim fn (x )dx = dx = 1.
n→+∞ 0 0 n→+∞ 0
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Lemme de Fatou

Lemme de Fatou
Soit (E , µ) un espace mesuré. Soit fn une suite de fonctions
positives fn : E → [0, +∞], alors nous avons
Z Z
lim inf fn dµ ≤ lim inf fn dµ
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Théorème de convergence dominée de Lebesgue

Soit (X , µ) un espace mesuré et Soit (fn )n∈N une suite d’élements
de L1 (X ) telle que
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Théorème de convergence dominée de Lebesgue

Soit (X , µ) un espace mesuré et Soit (fn )n∈N une suite d’élements
de L1 (X ) telle que
• fn → f presque partout.
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Théorème de convergence dominée de Lebesgue

Soit (X , µ) un espace mesuré et Soit (fn )n∈N une suite d’élements
de L1 (X ) telle que
• fn → f presque partout.
• ∃g ∈ L1 telle que |fn | ≤ g ∀n ∈ N.
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Théorème de convergence dominée de Lebesgue

Soit (X , µ) un espace mesuré et Soit (fn )n∈N une suite d’élements
de L1 (X ) telle que
• fn → f presque partout.
• ∃g ∈ L1 telle que |fn | ≤ g ∀n ∈ N.
Z
Alors fn → f dans L1 (c-à-d : |fn − f |dµ → 0 )
R R X n→+∞
et on a X fn dµ → X fdµ
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Preuve
|fn | ≤ g ∈ L1 ⇒ |fn | ∈ L1 ⇒ fn ∈ L1
on a fn → f presque partout , c-à-d il existe un ensemble E ⊂ X
de mesure nulle tel que fn (x ) ↛ f (x )
Soit x ∈ X \E alors on a

|f | = | lim fn | lim |fn | ≤ g ∈ L1

n→+∞ n→+∞

On pose Φn = 2g − |fn − f |, on a Φn ≥ 0 , en effet,

|fn − f | = |fn + (−f )| ≤ |fn | + | − f | ≤ g + g ≤ 2g

En utilisant le Lemme de Fatou

Z Z
lim inf Φn ≤ lim inf Φn
X n→+∞ n→+∞ X
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

lim Φn = lim 2g − |fn − f | = 2g = lim inf Φn

n→+∞ n→+∞ n→+∞

et donc Z Z
2gdµ ≤ lim inf 2g − |fn − f |dµ
X n→+∞ X
Z Z
≤ 2gdµ + lim inf − |fn − f |dµ
X n→+∞ X
Par suite
 Z  Z
lim inf − |fn − f |dµ ≥ 0 ⇒ − lim sup |fn − f |dµ ≥ 0
n→+∞ X n→+∞ X
Z
cela implique que lim sup |fn − f |dµ ≤ 0 et par suite
n→+∞ X
Z
lim |fn − f |dµ = 0
n→+∞ X
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Exercice d’application
En utilisant le Théorème de convergence dominée de Lebesgue
calculer les limites suivantes
nx sin(x )e −x
Z +∞
1 − lim dx
n→+∞ 0 1 + n2 x 2
Z 1
1 1
2 − lim √ sin( ).
n→+∞ 0 x nx
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Réponse
nx sin(x )e −x
1- Posons fn (x ) = ,
1 + n2 x 2
Nous allons majorer fn indépendamment de n on a

nx ≤ 1 + n2 x 2 car (1 − nx )2 + nx ≥ 0 ⇒ 1 + n2 x 2 − nx ≥ 0

et donc |fn (x )| ≤ e −x ∈ L1 ([0, +∞[) (C1)

d’autre part on a

nx sin(x )e −x
lim =0 (C 2)
n→+∞ 1 + n2 x 2

donc d’après (C1) et (C2) le Théorème de convergence dominée

nous donne
nx sin(x )e −x nx sin(x )e −x
Z +∞ Z +∞
lim dx = lim dx =
n→+∞ 0 1 + n2 x 2 0 n→+∞ 1 + n2 x 2
Z +∞
0dx = 0.
0
Espaces de Lebesgue
Rappel : Mesure-Intégrale par rapport à une mesure

Réponse
1 1
2- Posons gn (x ) = √ sin( ),
x nx
 
 1 1  1
Nous avons |gn (x )| = 
 √ sin( ) ≤ √ ∈ L1 (]0, 1[)
x nx x
1 1
et ∀x ∈]0, 1[, lim √ sin( ) = 0
n→+∞ x nx
Donc d’après le théorème de convergence dominée
Z 1 Z 1 Z 1
1 1 1 1
lim √ sin( )dx = lim √ sin( )dx = 0dx = 0
n→+∞ 0 x nx 0 n→+∞ x nx 0
Espaces de Lebesgue
Fonctions définies par des intégrales

Fonctions définies par des intégrales

Soit (E , µ) un espace mesuré et I un intervalle quelconque de R et

f :I ×E →R
(t, x ) 7→ f (t, x )

Considérons maintenant la fonction de I à valeur dans R définie

par l’intégrale Z
t→ f (t, x )dx
E
Les théorèmes suivants concernent la continuité et la dérivabilité
de la fonction ainsi définie.
Espaces de Lebesgue
Fonctions définies par des intégrales

Théorème de continuité sous le signe intégrale

Continuité sous signe intégrale
Si la fonction f (t, x ) est telle que
1 ∀t ∈ I la fonction x 7→ f (t, x ) est mesurable.
Espaces de Lebesgue
Fonctions définies par des intégrales

Théorème de continuité sous le signe intégrale

Continuité sous signe intégrale
Si la fonction f (t, x ) est telle que
1 ∀t ∈ I la fonction x 7→ f (t, x ) est mesurable.
2 la fonction t 7→ f (t, x ) est continue au point t0 pour presque
tout x ∈ E .
Espaces de Lebesgue
Fonctions définies par des intégrales

Théorème de continuité sous le signe intégrale

Continuité sous signe intégrale
Si la fonction f (t, x ) est telle que
1 ∀t ∈ I la fonction x 7→ f (t, x ) est mesurable.
2 la fonction t 7→ f (t, x ) est continue au point t0 pour presque
tout x ∈ E .
3 il existe g ∈ L1 (E ) telle que |f (t, x )| ≤ g(x ) ∀t ∈ I et pour
presque tout x ∈ E .
Espaces de Lebesgue
Fonctions définies par des intégrales

Théorème de continuité sous le signe intégrale

Continuité sous signe intégrale
Si la fonction f (t, x ) est telle que
1 ∀t ∈ I la fonction x 7→ f (t, x ) est mesurable.
2 la fonction t 7→ f (t, x ) est continue au point t0 pour presque
tout x ∈ E .
3 il existe g ∈ L1 (E ) telle que |f (t, x )| ≤ g(x ) ∀t ∈ I et pour
presque tout x ∈ E .
alors Zla fonction x 7→ f (t, x ) est intégrable sur E et la fonction
t→ f (t, x )dx est continue au point t0 i.e
E
Z Z
lim f (t, x )dx = f (t0 , x )dx
t→t0 E E
Espaces de Lebesgue
Fonctions définies par des intégrales

Théorème de Dérivation sous le signe intégrale

Dérivation sous signe intégrale
Si la fonction f (t, x ) est telle que
1 la fonction x 7→ f (t, x ) est intégrable ∀t ∈ I .
Espaces de Lebesgue
Fonctions définies par des intégrales

Théorème de Dérivation sous le signe intégrale

Dérivation sous signe intégrale
Si la fonction f (t, x ) est telle que
1 la fonction x 7→ f (t, x ) est intégrable ∀t ∈ I .
2 la fonction t 7→ f (t, x ) est dérivable sur I pour presque tout
x ∈ E.
Espaces de Lebesgue
Fonctions définies par des intégrales

Théorème de Dérivation sous le signe intégrale

Dérivation sous signe intégrale
Si la fonction f (t, x ) est telle que
1 la fonction x 7→ f (t, x ) est intégrable ∀t ∈ I .
2 la fonction t 7→ f (t, x ) est dérivable sur I pour presque tout
x ∈ E.  
1
∂ 
3 il existe g ∈ L (E ) telle que  f (t, x ) ≤ g(x ) ∀t ∈ I et

∂t
pour presque tout x ∈ E .
Espaces de Lebesgue
Fonctions définies par des intégrales

Théorème de Dérivation sous le signe intégrale

Dérivation sous signe intégrale
Si la fonction f (t, x ) est telle que
1 la fonction x 7→ f (t, x ) est intégrable ∀t ∈ I .
2 la fonction t 7→ f (t, x ) est dérivable sur I pour presque tout
x ∈ E.  
1
∂ 
3 il existe g ∈ L (E ) telle que  f (t, x ) ≤ g(x ) ∀t ∈ I et

∂t
pour presque tout x ∈ E .
alors la Zfonction x 7→ f (t, x ) est intégrable sur E et la fonction
F (t) = f (t, x )dx est dérivable sur I et nous avons
E

∂
Z
F ′ (t) = f (t, x )dx
E ∂t
Espaces de Lebesgue
Fonctions définies par des intégrales

Exercice d’application
Montrer que la fonction
Z +∞ −x 2 t
e
t → F (t) = dx
0 1 + x2
est dérivable sur ]0, +∞[ et calculer F ′ (t)
Espaces de Lebesgue
Fonctions définies par des intégrales

Réponse
Pour montrer que F est dérivable sur ]0, +∞[ on va montrer que
F est dérivable sur ]α, +∞[ ∀α > 0
La fonction x → f (t, x ) est mesurable et intégrable sur ]0, +∞[ car

1
|f (t, x )| ≤ ∈ L1 (]0, +∞[)
1 + x2
Z +∞
1 π
en effet, dx = [arctan(x )]+∞
0 =
0 1 + x2 2
Espaces de Lebesgue
Fonctions définies par des intégrales

Réponse
Pour montrer que F est dérivable sur ]0, +∞[ on va montrer que
F est dérivable sur ]α, +∞[ ∀α > 0
La fonction x → f (t, x ) est mesurable et intégrable sur ]0, +∞[ car

1
|f (t, x )| ≤ ∈ L1 (]0, +∞[)
1 + x2
Z +∞
1 π
en effet, dx = [arctan(x )]+∞
0 =
0 1 + x2 2

∂f −x 2 −x 2 t ∂f
et on a (t, x ) = 2
e ⇒ (t, x ) existe ∀x ∈]0, +∞[
∂t 1+x ∂t
Espaces de Lebesgue
Fonctions définies par des intégrales

Réponse
Pour montrer que F est dérivable sur ]0, +∞[ on va montrer que
F est dérivable sur ]α, +∞[ ∀α > 0
La fonction x → f (t, x ) est mesurable et intégrable sur ]0, +∞[ car

1
|f (t, x )| ≤ ∈ L1 (]0, +∞[)
1 + x2
Z +∞
1 π
en effet, dx = [arctan(x )]+∞
0 =
0 1 + x2 2

∂f −x 2 −x 2 t ∂f
et on a (t, x ) = 2
e ⇒ (t, x ) existe ∀x ∈]0, +∞[
∂t 1+x ∂t
donc ∀t ∈]α, +∞[ on a

 ∂f
 2
 (t, x ) = x 2
e −x t

 ∂t  2
x +1
Espaces de Lebesgue
Fonctions définies par des intégrales

x2 2 2
comme ≤ 1 et e −x t ≤ e −x α ∈ L1 (]0, +∞[)
xZ2 + 1
+∞ 2α
en effet e −x est une intégrale de gauss qui vaut
Z +∞ 0 r
1 π
2α
e −x =
0 2 α
D’après le théorème de dérivation sous signe intégrale on a
F est dérivable sur ]α, +∞[ ∀α > 0 et

−x 2
Z +∞ Z +∞
∂f 2
F ′ (t) = (t, x )dx = e −x t dx
0 ∂t 0 x2 + 1
Espaces de Lebesgue
Fonctions définies par des intégrales

Théorème de Fubini
Théorème
Soit (x , y ) → f (x , y ) une fonction intégrable sur un ensemble
A × B alors on a
Z Z Z 
f (x , y )dxdy = f (x , y )dy dx
A×B A B
Z Z 
= f (x , y )dx dy
B A

Remarque
Si f n’est pas intégrable, il peut arriver que l’une des deux
expressions ait un sens sans que l’autre en ait un. Il peut même
arriver que chacune ait un sens mais que les valeurs soient
distinctes.
Espaces de Lebesgue
Fonctions définies par des intégrales

Exemple
Posons A = B = [0, 1] et considérons la fonction

[0, 1] × [0, 1] → R
x2 − y2
(x , y ) 7→ 2
(x + y 2 )2
!
x2 − y2
Z 1 Z 1
π
1-Montrer que 2 2 2
dy dx = .
0 0 (x + y ) 4
2-En échangeant les roles
! de x et y calculer
x2 − y2
Z 1 Z 1
2 2 2
dx dy . Que peut-on déduire ?
0 0 (x + y )
Espaces de Lebesgue
Fonctions définies par des intégrales

Réponse
1-En intégrant d’abord par rapport y
1
x2 − y2
Z 1
y 1

2 2 2
dy = 2 =
0 (x + y ) x + y2 0 1 + x2
puis Z 1
1 π
2
dx = [arctan(x )]10 =
0 1 + x 4
2-En échangeant les rôles de x et y
!
x2 − y2
Z 1 Z 1
π
2 2 2
dx dy = −
0 0 (x + y ) 4

ce qui nous permet de déduire que

 
Z  x2 − y2 
 dxdy = +∞
 
 2 2 2
[0,1]2  (x + y ) 
Espaces de Lebesgue
Fonctions définies par des intégrales

Fonction indicatrice

Définition
La fonction indicatrice, est une fonction définie sur un ensemble E
qui explicite l’appartenance ou non d’un sous ensemble F ⊂ E , elle
est donnée comme suit

1F : E → {0, 1}
(
1 si x ∈ F
x 7→ 1F (x ) =
0 si x ∈
/F
Espaces de Lebesgue
Fonctions définies par des intégrales

Exemple de fonction indicatrice sur R

Traçons f (x ) = 1[0,1] (x ), l’indicatrice de l’intervalle [0, 1]. Son

graphe est représenté sur la figure :

Figure – Graphe de l’indicatrice [0, 1].

Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Les espaces Lp , 1 ≤ p < +∞

Définition
Soit p un réel tel que 1 ≤ p < +∞, on définit l’ensemble
 Z 
L (R ) = f : R → R,
p n n p
|f (x )| dµ < +∞
Rn

On munit l’espace Lp (Rn ) de la norme

Z 1
p
||f ||p = |f |p dµ
Rn
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Espace des fonctions essentiellement bornées L∞

Espace L∞
f : Rn → R est dite essentiellement bornée et on note f ∈ L∞ (Rn )
s’il existe c > 0 tel que |f | < c presque partout et on pose

||f ||∞ = inf{c ∈ R+ |f | < c p.p.}

Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Convergence dominée dans les espaces Lp

Théorème de convergence dominée de Lebesgue

Soit (E , µ) un espace mesuré et 1 ≤ p ≤ +∞. Soit (fn )n∈N une
suite d’élements de Lp (E ) telle que
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Convergence dominée dans les espaces Lp

Théorème de convergence dominée de Lebesgue

Soit (E , µ) un espace mesuré et 1 ≤ p ≤ +∞. Soit (fn )n∈N une
suite d’élements de Lp (E ) telle que
• fn → f presque partout.
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Convergence dominée dans les espaces Lp

Théorème de convergence dominée de Lebesgue

Soit (E , µ) un espace mesuré et 1 ≤ p ≤ +∞. Soit (fn )n∈N une
suite d’élements de Lp (E ) telle que
• fn → f presque partout.
• ∃g ∈ Lp telle que fn ≤ g ∀n ∈ N.
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Convergence dominée dans les espaces Lp

Théorème de convergence dominée de Lebesgue

Soit (E , µ) un espace mesuré et 1 ≤ p ≤ +∞. Soit (fn )n∈N une
suite d’élements de Lp (E ) telle que
• fn → f presque partout.
• ∃g ∈ Lp telle que fn ≤ g ∀n ∈ N.
Z
Alors fn → f dans Lp (c-à-d : |f n − f |p dµ → 0)
E n→+∞
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Inégalité de Hölder

Inégalité de Hölder
1 1
∀f ∈ Lp (Rn ), ∀g ∈ Lq (Rn ) tel que + = 1 alors fg est
p q
intégrable (fg ∈ L1 (Rn )) et nous avons en plus

||fg||1 ≤ ||f ||p ||g||q (1)

Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Preuve
si p = +∞ le résultat est trivial (q = 1).
si p = 1 alors q = +∞ le résultat est trivial.
supposons désormais ne pas être dans ces cas particuliers (et donc
p ∈]1, +∞[ et q ∈]1, +∞[). L’inégalité de Young donne

|f (x )|p |g(x )|q

|f (x )||g(x )| ≤ +
p q
donc
1 1
Z Z Z
p
|f (x )||g(x )| ≤ |f (x )| dx + |g(x )|q dx
p q
1 1
c-à-d : ||fg||L1 ≤ ||f ||Lp + ||g||qLq (2)
p q
Par suite fg ∈ L1 .
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

On distingue alors 3 cas :

1er cas
si ||f ||Lp = 0 ou ||g||Lq = 0 alors f = 0 p.p. ou g = 0 p.p. , donc
||fg||L1 = 0, et par suite l’inégalité (1) est vérifiée.
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

On distingue alors 3 cas :

1er cas
si ||f ||Lp = 0 ou ||g||Lq = 0 alors f = 0 p.p. ou g = 0 p.p. , donc
||fg||L1 = 0, et par suite l’inégalité (1) est vérifiée.
2ème cas
On suppose que ||f ||Lp = 1 et ||g||Lq = 1 alors d’après (2) on a

1 1
||fg||L1 ≤ + = 1 = ||f ||Lp ||g||Lq
p q
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

On distingue alors 3 cas :

1er cas
si ||f ||Lp = 0 ou ||g||Lq = 0 alors f = 0 p.p. ou g = 0 p.p. , donc
||fg||L1 = 0, et par suite l’inégalité (1) est vérifiée.
2ème cas
On suppose que ||f ||Lp = 1 et ||g||Lq = 1 alors d’après (2) on a

1 1
||fg||L1 ≤ + = 1 = ||f ||Lp ||g||Lq
p q

3ème cas
On suppose que ||f ||Lp > 0 et ||g||Lq > 0, on pose alors

f g
f1 = et g1 =
||f ||p ||g||q
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

De sorte que ||f1 ||p = 1 et ||g1 ||q = 1 donc

R
|fg|dµ
Z
|f1 g1 |dµ =
||f ||p ||g||q

c’est-à-dire
||fg||L1
||f1 g1 ||L1 =
||f ||p ||g||q
or d’après le 2ème cas on a||f1 g1 ||L1 ≤ 1. Donc

||fg||L1
≤1
||f ||p ||g||q

Par suite ||fg||L1 ≤ ||f ||p ||g||q CQFD.

Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Inégalité de Minkowski

Inégalité de Minkowski
Soit (E , µ) un espace mesuré et 1 < p < +∞. Soit f , g ∈ Lp (E ).
Alors, f + g ∈ Lp (E ) et :

||f + g||p ≤ ||f ||p + ||g||p .

Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Preuve
Soient f , g ∈ Lp , on sait que
 p  p
1
 f + 1 g  ≤  1 |f | + 1 |g|
  
2 2   2 2 

Le réel p est dans [1, +∞] donc x 7→ x p est convexe sur R+ donc
 p
1
 f + 1 g  ≤ 1 |f |p + 1 |g|p

2 2  2 2
2
donc |f + g|p ≤ |f |p + |g|p
2p
1
Z Z Z
c-à-d : |f + g|p dµ ≤ |f |p dµ + |g|p dµ
2p−1 | {z } | {z }
<+∞ <+∞

donc f + g ∈ Lp .
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

D’autre part, on a
Z Z
|f + g|p dµ = |f + g|p−1 |f + g|dµ
Z Z
p−1
≤ |f +g| |f |dµ+ |f +g|p−1 |g|dµ
p
Posons l’exposant conjugué de p, nous allons montrer que
p−1
p
(f + g)p−1 ∈ L p−1 . On a
Z  p−1
p p
p−1 (p−1)× p−1
||(f + g) || p = |f + g| dµ
p−1

Z  1 ×(p−1)
p
p−1 p
||(f + g) || p = |f + g| dµ = ||f + g||p−1
p
p−1

< +∞
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

p
p
Par suite (f + g)p−1 ∈ L p−1 , ( p−1 étant le conjugué de p).
En utilisant l’inégalité de Hölder on a
Z
|f + g|p−1 |f |dµ ≤ ||(f + g)p−1 || p ||f ||p
p−1

Z
|f + g|p−1 |g|dµ ≤ ||(f + g)p−1 || p ||g||p
p−1

en additionnant ces deux inégalités on obtient

Z
|f + g|p dµ ≤ ||(f + g)p−1 || p (||f ||p + ||g||p )
p−1

||f + g||p ≤ ||(f + g)||p−1

p (||f ||p + ||g||p )

||f + g|| ≤ ||f ||p + ||g||p . CQFD

Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Théorème de Riesz-Fischer (Admis)

L’espace Lp (Rn ) muni de la norme
Z 1
p
p
||.||p = |f | dµ
Rn
est un espace de Banach (c-à-d espace vectoriel normé et complet
pour la norme ||.||p ).
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Inclusions des espaces Lp

Proposition
Soit E ⊂ Rn une partie bornée de Rn , et soit p,q tels que
1 ≤ q ≤ p ≤ +∞. Alors on a

L∞ (E ) ⊂ Lp (E ) ⊂ Lq (E ) ⊂ L1 (E ).

et nous avons l’inégalité

||f ||q ≤ c||f ||p

avec c > 0 une constante positive.

Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Inclusions des espaces Lp

Preuve
Le cas L∞ ⊂ L1 (c-à-d p ou q égale à +∞) est évident.
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Inclusions des espaces Lp

Preuve
Le cas L∞ ⊂ L1 (c-à-d p ou q égale à +∞) est évident.
Supposons désormais que 1 < q < p < +∞. Soit f ∈ Lp (E ), il
s’agit de montrer à f ∈ Lq (E ), et pour ce faire, on va majorer
Z
|f |q dx
E
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Inclusions des espaces Lp

Preuve
Le cas L∞ ⊂ L1 (c-à-d p ou q égale à +∞) est évident.
Supposons désormais que 1 < q < p < +∞. Soit f ∈ Lp (E ), il
s’agit de montrer à f ∈ Lq (E ), et pour ce faire, on va majorer
Z
|f |q dx
E

On fait apparaitre 1 dans l’intégrale et on applique l’inégalité de

Hölder
Z Z  1 Z  1
p1 p2
q q p1 p2
|f | .1dx ≤ (|f | ) dx × (1) dx
E E
| E {z }
quantité fini quandµ(E )<∞
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

1 1
en choisissant des exposants conjugués + = 1. afin que
p1 p2
l’exposant de |f | soit justement égale à p ce qui impose le choix
p 1 q
unique p1 = d’où =1− .
q p2 p
L’inégalité obtenue devient alors
Z q
q p p 1− pq
(||f ||Lq ) ≤ |f | µ(E )
E
q
1− pq

≤ ||f ||Lp µ(E )
<∞
et par suite f ∈ Lq (E )
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Support d’une fonction

Définition
Soit f : Rn → R une fonction, on appelle support de f le plus
petit fermé en dehors duquel f est nulle presque partout, il est noté
par supp(f).

supp(f ) := {x ∈ Rn ; f (x ) ̸= 0}.
C’est donc une partie fermé de Rn .
Lorsque supp(f) est compact, on dira que f est à support
compact.
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

fonctions à support compact

Exemples
Toutes les fonctions indicatrices sur les intervalles bornés sont
à support compact. Et on a

supp(1[a,b] ) = [a, b]
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

fonctions à support compact

Exemples
Toutes les fonctions indicatrices sur les intervalles bornés sont
à support compact. Et on a

supp(1[a,b] ) = [a, b]
1
considérons la fonction f (x ) = e x 2 −1
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

fonctions à support compact

Exemples
Toutes les fonctions indicatrices sur les intervalles bornés sont
à support compact. Et on a

supp(1[a,b] ) = [a, b]
1
considérons la fonction f (x ) = e x 2 −1

on a supp(f ) = [−1, 1].

Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Espace des fonctions C ∞ à support compact

Définition
Une fonction C ∞ à support compact (également appelée fonction
test) est une fonction infiniment dérivable dont le support est
compact.
Si Ω est un ouvert non vide de Rn , l’espace des fonctions C ∞ de Ω
à valeurs dans R à support compact est noté C0∞ ou Cc∞ , ou D(Ω).

Exemples
Soit Ω = Rn , la fonction
  
exp − 1
1−∥x ∥2
si ∥x ∥ < 1
x 7→
0 sinon

est C ∞ et son support est la boule fermée B(0, 1) et qui est

compact pour la norme euclidienne.
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Propriétés
Nous avons
supp(f × g) ⊂ supp(f ) ∩ supp(g).
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Propriétés
Nous avons
supp(f × g) ⊂ supp(f ) ∩ supp(g).
supp(f + g) ⊂ supp(f ) ∪ supp(g).
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Propriétés
Nous avons
supp(f × g) ⊂ supp(f ) ∩ supp(g).
supp(f + g) ⊂ supp(f ) ∪ supp(g).

Preuve En exercice
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Exercice
Considérons l’espace

C0 (R) = {fonctions continues sur R à support compact}

montrer que C0 est un espace vectoriel.

Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Corrigé Soient f , g ∈ C0 (R), et λ ∈ R, alors f + g et λf sont

continues sur R.
D’autre part on peut vérifier aisément que supp(λf ) est compact,
en effet (
supp(f ) si λ ̸= 0
supp(λf ) =
0 si λ = 0
Pour f + g, on sait que

supp(f + g) ⊂ supp(f ) ∪ supp(g)

cela peut être démontré facilement comme suit

soit x0 ∈ supp(f + g) alors (f + g)(x0 ) ̸= 0
c-à-d f (x0 ) ̸= 0 ou g(x0 ) ̸= 0
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

( on a utilisé la contraposé de (a = 0 et b = 0)⇒ a + b = 0) par

suite x ∈ supp(f ) ∪ supp(g), ce qui permet de conclure que

supp(f + g) ⊂ supp(f ) ∪ supp(g)

comme la réunion de deux compact est compact supp(f + g) est

fermé alors supp(f + g) est compact
⇒ C0 (R) est un espace vectoriel.
Espaces de Lebesgue
Les espaces Lp , 1 ≤ p ≤ +∞

Densité dans les espaces Lp

Théorème
Soit l’espace C0∞ l’ensemble des fonction C ∞ à support compact.
nous avons

C0∞ (Rn ) = Lp (Rn ) ∀1 ≤ p < +∞

Autrement dit, l’espace C0∞ (Rn ) est dense dans Lp (Rn ) pour tout
1 ≤ p < +∞.
Espaces de Lebesgue
Produit de convolution

Produit de convolution

Définition
Soient f , g ∈ L1 (Rn ), on définit par f ⋆ g la produit de convolution
de f et g Z
(f ⋆ g)(x ) = f (x )g(y − x )dy
Rn
Nous avons f ⋆ g est bien définie, et nous avons en plus

||f ⋆ g||L1 (R) ≤ ||f ||L1 (R) ||g||L1 (R)

Espaces de Lebesgue
Produit de convolution

Exercice
Soient f , g ∈ L3 (R). Montrer que f 2 g est dans L1 (R)