Chapitre 1

Élément de module : Analyse
S ALAH -E DDINE C HORFI
École Hassania des Travaux Publics

Département de Mathématiques, Informatiques et Géomatique
2021-2022
S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 1 / 55

Objectifs
Analyse : traite des sujets liés à la notion de limite, en particulier, le calcul

différentiel et le calcul intégral.
Objectifs :
• Introduire des principales notions d’analyse réelle et complexe.
• Acquérir des outils mathématiques pour résoudre des problèmes
concrets.

Contenu
• Intégrale de Lebesgue.
• Transformée de Fourier et applications.
• Théorie élémentaire des distributions.
• Fonctions de variable complexe.
• Transformée de Laplace et applications.
• Espaces de Hilbert.

Pré-requis
• Intégrale de Riemann.
• Équations différentielles linéaires.
• Nombres complexes et trigonométrie.
• Fonctions de la variable réelle à valeurs réelles ou complexes.
• Espaces préhilbertiens réels.

Intégrale de Lebesgue
Chapitre 1 :

Introduction
Intégrale de Riemann :

Introduction
Avantages :
• Facile à construire.
• Visuel.
• Pratique.

Introduction
Limites :
• Intégrer des fonctions bornées.
• Hypothèses trop fortes, e.g.,

Z b Z b
lim fn (x)dx = lim fn (x)dx.
n→+∞ a a n→+∞
w
w

Insuffisance de l’intégral de Riemann


Introduction
Intégrale de Lebesgue :
L’intégration au sens de Lebesgue est basée sur la théorie de la mesure.

Introduction
Idée de Riemann :

Introduction
Idée de Riemann : Idée de Lebesgue :

Introduction
Exemple

1 si x ∈ Q,
Soit f la fonction définie par f (x) =
0 si x ∈
/ Q.
Z 1
Pour évaluer f:
0
• Riemann : on doit découper [0, 1] en petits intervalles où f est constante
sur chaque sous-intervalle (impossible).
• Lebesgue : on partage [0, 1] seulement en deux morceaux où f est

constante sur chacun d’eux.

Intégrale de Lebesgue Théorie de la mesure
1. Théorie de la mesure

Ensembles dénombrables
Rappels sur les applications :

Soient E, F deux ensembles et f : E → F une application.
Définition
• Injection : f est dite injection si
∀x, y ∈ E, f (x) = f (y) =⇒ x = y.
• Surjection : f est une surjection si
∀y ∈ F, ∃x ∈ E : f (x) = y.
• Bijection : f est une bijection si, f est une injection et une surjection.

Définition
Un ensemble E est dit dénombrable s’il existe une injection de E dans N. Ou
bien E est fini, ou bien E est en bijection avec N (équipotent à N).

Définition
Un ensemble E est dit dénombrable s’il existe une injection de E dans N. Ou
bien E est fini, ou bien E est en bijection avec N (équipotent à N).
Exemple
• Tout ensemble fini, N, Z, N × N et Q sont dénombrables.
• L’intervalle [0, 1] et R sont non dénombrables.

Proprietés
i) Tout sous-ensemble d’un ensemble dénombrable est dénombrable.
ii) Toute réunion dénombrable d’ensembles dénombrables est
dénombrable, i.e., si E0 , E1 , S
. . . , En , . . . sont dénombrables, alors
E = E1 ∪ E2 ∪ . . . En . . . = En est dénombrable.
n≥0
iii) Le produit cartésien de deux ensembles dénombrables est dénombrable,
i.e., si E1 et E2 sont dénombrables, alors E1 × E2 est dénombrable.

Proprietés
i) Tout sous-ensemble d’un ensemble dénombrable est dénombrable.
ii) Toute réunion dénombrable d’ensembles dénombrables est
dénombrable, i.e., si E0 , E1 , S
. . . , En , . . . sont dénombrables, alors
E = E1 ∪ E2 ∪ . . . En . . . = En est dénombrable.
n≥0
iii) Le produit cartésien de deux ensembles dénombrables est dénombrable,
i.e., si E1 et E2 sont dénombrables, alors E1 × E2 est dénombrable.
Remarque
• ii) est faux si l’ensemble des indices est non dénombrable.
• iii) est faux pour un produit infini d’ensembles.

Tribus et mesures
Dans toute la suite, Ω désigne un ensemble non vide.
Tribus :
Définition
Une famille B de parties de Ω (B ⊂ P(Ω)) est une tribu (sur Ω) si elle vérifie :
1. Ω ∈ B.
2. A ∈ B =⇒ Ac ∈ B (stable par passage au complémentaire).
S
3. A0 , A1 , . . . ∈ B =⇒ An ∈ B (stable par une réunion dénombrable).
n≥0

Tribus et mesures
Dans toute la suite, Ω désigne un ensemble non vide.
Tribus :
Définition
Une famille B de parties de Ω (B ⊂ P(Ω)) est une tribu (sur Ω) si elle vérifie :
1. Ω ∈ B.
2. A ∈ B =⇒ Ac ∈ B (stable par passage au complémentaire).
S
3. A0 , A1 , . . . ∈ B =⇒ An ∈ B (stable par une réunion dénombrable).
n≥0
Exemple
• B = {∅, Ω}.
• B = P(Ω).

Tribus et mesures
Proposition (Stabilité par intersection dénombrable)

T
Soient B une tribu et A0 , A1 , · · · ∈ B. Alors An ∈ B.
n≥0

Tribus et mesures
Proposition (Stabilité par intersection dénombrable)

T
Soient B une tribu et A0 , A1 , · · · ∈ B. Alors An ∈ B.
n≥0
Preuve

Tribus et mesures
Tribu engendrée :
Proposition
Soit A ⊂ P(Ω). Il existe une tribu notée σ(A) telle que si B est une tribu
vérifiant A ⊂ B, alors σ(A) ⊂ B.
On dira que σ(A) est la tribu engendrée par A, c’est la plus petite tribu
contenant A.

Tribus et mesures
Tribu engendrée :
Proposition
Soit A ⊂ P(Ω). Il existe une tribu notée σ(A) telle que si B est une tribu
vérifiant A ⊂ B, alors σ(A) ⊂ B.
On dira que σ(A) est la tribu engendrée par A, c’est la plus petite tribu
contenant A.
Preuve (Exercice)

Tribus et mesures
Tribu borélienne :
Définition
Soit l’ensemble de parties de R := R ∪ {−∞, +∞} suivant :
A = {]a, b[: a, b ∈ R}
(c’est l’ensemble des intervalles ouverts). La tribu σ(A) s’appelle la tribu

borélienne et se note B(R).

Tribus et mesures
Tribu borélienne :
Définition
Soit l’ensemble de parties de R := R ∪ {−∞, +∞} suivant :
A = {]a, b[: a, b ∈ R}
(c’est l’ensemble des intervalles ouverts). La tribu σ(A) s’appelle la tribu

borélienne et se note B(R).
Exemple (Boréliens)
• Soit [a, b] (a < b) un intervalle fermé de R. Alors [a, b] ∈ B(R).
• Tous les intervalles et tous les singletons de R sont dans B(R).

Tribus et mesures
Mesures :
Définition
Soit Ω un ensemble muni d’une tribu B. On dit que µ est une mesure
(positive) sur (Ω, B) si elle vérifie :
1. µ : B −→ [0, +∞] (elle peut prendre la valeur +∞).
2. µ(∅) = 0.
3. Si A0 , A1 , · · · ∈ B et sont deux à deux disjoints, alors
 
[ X
µ An  = µ (An ) (σ-additivité).
n≥0 n≥0

Tribus et mesures
Conventions de calcul :
Dans le calcul des mesures, on adopte les conventions suivantes :
• a ± ∞ = ±∞ pour tout a ∈ R.
• a × (±∞) = ±∞ pour tout a > 0.
• 0 × (±∞) est égal à 0.
• Les opérations +∞ − ∞ et − ∞ + ∞ ne sont pas définies.

Tribus et mesures
Soit µ une mesure sur (Ω, B).
Définition
• Si µ(Ω) = 1, on dit que µ est une mesure de probabilité.
• Si µ(Ω) < ∞, on dit que µ est une mesure finie.
• Si Ω est réunion dénombrable d’ensembles de mesures finies, on dit que µ
est σ-finie.

Tribus et mesures
Soit µ une mesure sur (Ω, B).
Définition
• Si µ(Ω) = 1, on dit que µ est une mesure de probabilité.
• Si µ(Ω) < ∞, on dit que µ est une mesure finie.
• Si Ω est réunion dénombrable d’ensembles de mesures finies, on dit que µ
est σ-finie.
Exemple
Sur (R, B(R)), soit a ∈ R et δa la mesure définie par

1 si a ∈ A,
δa (A) =
0 si a ∈/ A.
La mesure δa est appelé la mesure de Dirac au point a.

Tribus et mesures
Soit Ω un ensemble et soit B une tribu sur Ω.
Définition
• On dit que (Ω, B) est un espace mesurable.
• Si de plus on a une mesure µ sur (Ω, B), alors on dit que (Ω, B, µ) est un
espace mesuré.
• Si de plus µ(Ω) = 1, on dit que (Ω, B, µ) est un espace probabilisé.

Tribus et mesures
Soit Ω un ensemble et soit B une tribu sur Ω.
Définition
• On dit que (Ω, B) est un espace mesurable.
• Si de plus on a une mesure µ sur (Ω, B), alors on dit que (Ω, B, µ) est un
espace mesuré.
• Si de plus µ(Ω) = 1, on dit que (Ω, B, µ) est un espace probabilisé.
Exemple
(N, P(N), Card) est un espace mesuré.

Propriétés d’une mesure
Proposition
Soit (Ω, B, µ) un espace mesuré.
• Soient A, B ∈ B tels que B ⊂ A. Alors on a
1. µ(B) ≤ µ(A) (croissance).
2. Si de plus µ(A) < +∞, alors µ(A \ B) = µ(A) − µ(B).
• Si A, B ∈ B sont quelconques et µ(A) < +∞, alors
µ(A \ B) = µ(A) − µ(A ∩ B).

Proposition
• Soient A, B ∈ B tels que B ⊂ A. Alors on a
1. µ(B) ≤ µ(A) (croissance).
2. Si de plus µ(A) < +∞, alors µ(A \ B) = µ(A) − µ(B).
• Si A, B ∈ B sont quelconques et µ(A) < +∞, alors
µ(A \ B) = µ(A) − µ(A ∩ B).
Preuve

Proposition (σ-sous-additivité)
Soit (Ω, B, µ) un espace mesuré. Si A0 , A1 , . . . An , . . . ∈ B (pas forcément
deux à deux disjoints), alors
 
[ X
µ An  ≤ µ (An ) .
n≥0 n≥0

Proposition (σ-sous-additivité)
Soit (Ω, B, µ) un espace mesuré. Si A0 , A1 , . . . An , . . . ∈ B (pas forcément
deux à deux disjoints), alors
 
[ X
µ An  ≤ µ (An ) .
n≥0 n≥0
Preuve

Proposition (Réunion croissante)

Soit (Ω, B, µ) un espace mesuré. Si A0 , A1 , . . . An , . . . ∈ B tels que
A0 ⊂ A1 ⊂ · · · An ⊂ An+1 ⊂ · · · , alors
 
[
µ An  = lim µ (Ak ) .
k→+∞
n≥0

Proposition (Réunion croissante)

A0 ⊂ A1 ⊂ · · · An ⊂ An+1 ⊂ · · · , alors
 
[
µ An  = lim µ (Ak ) .
k→+∞
n≥0
Preuve

Proposition (Intersection décroissante)

A0 ⊃ A1 ⊃ · · · An ⊃ An+1 ⊃ · · · et µ(A0 ) < +∞, alors
 
\
µ An  = lim µ (Ak ) .
k→+∞
n≥0

Proposition (Intersection décroissante)

A0 ⊃ A1 ⊃ · · · An ⊃ An+1 ⊃ · · · et µ(A0 ) < +∞, alors
 
\
µ An  = lim µ (Ak ) .
k→+∞
n≥0
Preuve (Exercice)

Tribus et mesures
Définition
• Un ensemble N ∈ B est dit négligeable par rapport à µ (ou µ-négligeable)
si
µ(N ) = 0.
S’il n’y a pas d’ambiguïté, nous dirons que l’ensemble est négligeable.

Tribus et mesures
Définition
si
µ(N ) = 0.
• On dit qu’une propriété P est vraie µ-presque partout (µ-pp) si l’ensemble
sur lequel P est fausse est contenu dans un ensemble µ-négligeable.

Tribus et mesures
Définition
si
µ(N ) = 0.
• On dit qu’une propriété P est vraie µ-presque partout (µ-pp) si l’ensemble
sur lequel P est fausse est contenu dans un ensemble µ-négligeable.
• La mesure µ est dite complète si tout sous-ensemble d’un ensemble
négligeable est mesurable.

Mesure de Lebesgue
Théorème
Il existe une tribu B̂ sur R et une mesure λ sur la tribu (R, B̂) uniques telles
que :
1. Pour tout intervalle ]a, b[, λ(]a, b[) = b − a.
2. B̂ ⊃ B(R) avec inclusion stricte.
3. λ complète.
La tribu B̂ est appelée la tribu de Lebesgue sur R et la mesure λ est dite la
mesure de Lebesgue.

Mesure de Lebesgue
Théorème
Il existe une tribu B̂ sur R et une mesure λ sur la tribu (R, B̂) uniques telles
que :
1. Pour tout intervalle ]a, b[, λ(]a, b[) = b − a.
2. B̂ ⊃ B(R) avec inclusion stricte.
3. λ complète.
La tribu B̂ est appelée la tribu de Lebesgue sur R et la mesure λ est dite la
mesure de Lebesgue.
Exemple
• λ([a, b]) = λ(]a, b]) = λ([a, b[) = b − a.
• λ({x}) = 0.
• λ(Q) = 0 et λ([0, 1] \ Q) = 1.

Intégrale de Lebesgue Fonctions mesurables et intégrale
2. Fonctions mesurables et intégrale

Intégrale d’une fonction étagée positive

On se donne un espace mesuré (Ω, B, µ).
Fonction indicatrice d’un ensemble :

Définition
Soit A ⊂ Ω. La fonction indicatrice (ou caractéristique) de A est la fonction
1A : Ω → {0, 1}

1 si x ∈ A,
x 7→
0 si x ∈
/ A.
Autre notation : χA .


On se donne un espace mesuré (Ω, B, µ).
Fonction indicatrice d’un ensemble :

Définition
Soit A ⊂ Ω. La fonction indicatrice (ou caractéristique) de A est la fonction
1A : Ω → {0, 1}

1 si x ∈ A,
x 7→
0 si x ∈
/ A.
Autre notation : χA .
Exemple
1∅ = 0 et 1Ω = 1.

Proprietés
1. A ⊂ B ⇐⇒ 1A ≤ 1B et A = B ⇐⇒ 1A = 1B .
2. 1A∩B = 1A × 1B = inf(1A , 1B ).
3. 1A∪B = 1A + 1B − 1A × 1B = sup(1A , 1B ).
4. 1Ac = 1 − 1A .
5. 1A∆B = |1A − 1B |.

Proprietés
1. A ⊂ B ⇐⇒ 1A ≤ 1B et A = B ⇐⇒ 1A = 1B .
2. 1A∩B = 1A × 1B = inf(1A , 1B ).
3. 1A∪B = 1A + 1B − 1A × 1B = sup(1A , 1B ).
4. 1Ac = 1 − 1A .
5. 1A∆B = |1A − 1B |.
Preuve (Exercice)


Soit f : Ω → R+ une fonction positive.
Définition
On dit que f est étagée s’il existe une famille finie A1 , A2 , . . . , An d’éléments
de la tribu B telle que
• les Ai forment une partition de Ω,
• pour tout i ∈ {1, . . . , n}, ∃αi tel que f (x) = αi , ∀x ∈ Ai .
On écrit
n
X
f= αi 1Ai .
i=1
On notera par E + l’ensemble des fonctions étagées positives.


Soit f : Ω → R+ une fonction positive.
Définition
On dit que f est étagée s’il existe une famille finie A1 , A2 , . . . , An d’éléments
de la tribu B telle que
• les Ai forment une partition de Ω,
• pour tout i ∈ {1, . . . , n}, ∃αi tel que f (x) = αi , ∀x ∈ Ai .
On écrit
n
X
f= αi 1Ai .
i=1
On notera par E + l’ensemble des fonctions étagées positives.
Remarque
La famille des Ai n’est pas nécessairement unique.

Exemple
La fonction f : R → R définie par

0
 si x < 0,
x 7→ bxc si 0 ≤ x ≤ 2,

0 si x > 2,

est une fonction étagée.

Soit f une fonction étagée positive associée à une partition (A1 , A2 , . . . , An ),

avec f (x) = αi si x ∈ Ai .
Définition
+
• On appelle intégrale de f par rapport à la mesure µ l’élément de R
Z n
X
f (x)dµ := αi µ (Ai ) ,
Ω i=1
avec la convention 0 × ∞ = 0.
• Une fonction étagée positive f est dite intégrable si
Z
f (x)dµ < +∞.
Ω

Proposition
Z
La valeur de f (x)dµ est indépendante de la partition associée à f .
Ω

Proposition
Z
La valeur de f (x)dµ est indépendante de la partition associée à f .
Ω
Preuve

Propriétés de l’intégral
Proprietés (Linéarité, positivité et croissance)

1. L’intégrale est une forme linéaire sur l’espace vectoriel E + , i.e., si f, g ∈ E +
et α ∈ R, alors Z Z Z
(αf + g)dµ = α f dµ + gdµ.
Ω Ω Ω
Z
2. Si f ∈ E + , alors f dµ ≥ 0.
Ω
3. L’intégrale est croissante, i.e., si f, g ∈ E + et f ≤ g, alors
Z Z
f dµ ≤ gdµ.
Ω Ω

Propriétés de l’intégral
Proprietés (Linéarité, positivité et croissance)

1. L’intégrale est une forme linéaire sur l’espace vectoriel E + , i.e., si f, g ∈ E +
et α ∈ R, alors Z Z Z
(αf + g)dµ = α f dµ + gdµ.
Ω Ω Ω
Z
2. Si f ∈ E + , alors f dµ ≥ 0.
Ω
3. L’intégrale est croissante, i.e., si f, g ∈ E + et f ≤ g, alors
Z Z
f dµ ≤ gdµ.
Ω Ω
Preuve

Intégrale d’une fonction mesurable positive
Fonctions mesurables :
Définition
Soient (Ω, B), (Ω0 , B 0 ) deux espaces mesurables.
On dit qu’une application f : Ω → Ω0 est mesurable (par rapport aux B, B 0 ) si
∀B ∈ B 0 , f −1 (B) := {x ∈ Ω : f (x) ∈ B} ∈ B.

Fonctions mesurables :
Définition
Soient (Ω, B), (Ω0 , B 0 ) deux espaces mesurables.
On dit qu’une application f : Ω → Ω0 est mesurable (par rapport aux B, B 0 ) si
∀B ∈ B 0 , f −1 (B) := {x ∈ Ω : f (x) ∈ B} ∈ B.
Exemple
• Toute fonction constante f : Ω → Ω0 est mesurable.
• Si A ⊂ Ω et Ω0 = R muni de sa tribu borélienne B(R), alors
la fonction 1A est mesurable ⇐⇒ A ∈ B.

Exercice
Soit S = {A ∈ B(R) : A = −A}.
1. Montrer que S est une tribu sur R.
2. Soit f : R → R définie par : f (x) = x3 . Montrer que f est
(S, S)-mesurable.

Définition
Soit (Ω, B) un espace mesurable. On dit qu’une fonction f : Ω → R est
B-mesurable si
∀a ∈ R, f −1 (]a, +∞[) := {x ∈ Ω : f (x) > a} ∈ B.

Proposition
• Toute fonction continue f : (R, B̂) → R, avec B̂ désigne la tribu de
Lebesgue, est B̂-mesurable.
• Si f et g sont deux fonctions mesurables de (Ω, B) → (R, B(R)), alors
f
f + g, f × g et (avec g ne s’annule pas), |f |, αf (α ∈ R), max(f, g) et
g
min(f, g) sont mesurables.
• Si f : (Ω, B) → (Ω0 , B 0 ) et g : (Ω0 , B 0 ) → (Ω00 , B 00 ) sont deux fonctions
mesurables, alors g ◦ f : (Ω, B) → (Ω00 , B 00 ) est mesurable.

Proposition
• Toute fonction continue f : (R, B̂) → R, avec B̂ désigne la tribu de
Lebesgue, est B̂-mesurable.
• Si f et g sont deux fonctions mesurables de (Ω, B) → (R, B(R)), alors
f
f + g, f × g et (avec g ne s’annule pas), |f |, αf (α ∈ R), max(f, g) et
g
min(f, g) sont mesurables.
• Si f : (Ω, B) → (Ω0 , B 0 ) et g : (Ω0 , B 0 ) → (Ω00 , B 00 ) sont deux fonctions
mesurables, alors g ◦ f : (Ω, B) → (Ω00 , B 00 ) est mesurable.
Preuve

Proposition
Soit (fn )n≥0 , fn : Ω → R, une suite de fonctions mesurables sur (Ω, B). Alors
sup fn , inf fn , lim sup fn et lim inf fn sont B-mesurables.
n n n n
En particulier, si (fn )n≥0 converge simplement vers f sur Ω, alors f est
mesurable.

Proposition
Soit (fn )n≥0 , fn : Ω → R, une suite de fonctions mesurables sur (Ω, B). Alors
sup fn , inf fn , lim sup fn et lim inf fn sont B-mesurables.
n n n n
En particulier, si (fn )n≥0 converge simplement vers f sur Ω, alors f est
mesurable.
Exercice
Soit f : R → R une fonction dérivable, montrer que f 0 est mesurable.

Définition (Intégrale)
Soit (Ω, B, µ) un espace mesuré. Si f : Ω → [0, +∞] est mesurable,
l’intégrale de f sur Ω par rapport à µ est définie par
Z Z
f (x)dµ := sup φ(x)dµ,
Ω φ∈E + (f ) Ω
où E + (f ) := {φ étagée positive : φ ≤ f }. Cette intégrale peut prendre sa

valeur dans [0, +∞].
Pour B ∈ B, on note
Z Z
f (x)dµ = f (x)1B (x)dµ.
B Ω

Définition (Fonction intégrable)

Une fonction mesurable positive f est dite intégrable si
Z
f (x)dµ < ∞.
Ω

Propriétés de l’intégrale
Théorème (Linéarité de l’intégrale)

Soient f et g deux fonctions positives mesurables sur (Ω, B, µ) et α ≥ 0.
On a Z Z Z
(f + g)dµ = f dµ + gdµ
Ω Ω Ω
et Z Z
αf dµ = α f dµ.
Ω Ω
En particulier, si f et g sont intégrables, alors αf + g aussi.

Théorème (Linéarité de l’intégrale)

Soient f et g deux fonctions positives mesurables sur (Ω, B, µ) et α ≥ 0.
On a Z Z Z
(f + g)dµ = f dµ + gdµ
Ω Ω Ω
et Z Z
αf dµ = α f dµ.
Ω Ω
En particulier, si f et g sont intégrables, alors αf + g aussi.
Preuve

Proposition (Croissance de l’intégrale)

Soient f et g deux fonctions positives mesurables sur (Ω, B, µ).
Si f ≤ g, alors Z Z
f dµ ≤ gdµ.
Ω Ω


f dµ ≤ gdµ.
Ω Ω
Preuve


f dµ ≤ gdµ.
Ω Ω
Preuve
Théorème (de comparaison)

Si f ≤ g et g est intégrable, alors f est intégrable.

Théorème (de convergence monotone)

Soit (fn )n : Ω → [0, +∞] une suite croissante de fonctions mesurables
positives sur (Ω, B, µ) qui converge simplement vers une fonction f .
Alors f est mesurable et
Z Z
lim fn dµ = f dµ.
n→+∞ Ω Ω

Théorème (de convergence monotone)

Soit (fn )n : Ω → [0, +∞] une suite croissante de fonctions mesurables
positives sur (Ω, B, µ) qui converge simplement vers une fonction f .
Alors f est mesurable et
Z Z
lim fn dµ = f dµ.
n→+∞ Ω Ω
Exercice
Calculer la limite Z 1 √
n
lim x dx.
n→+∞ 0

Lemme (de Fatou)

Soit (fn )n : Ω → [0, +∞] une suite de fonctions positives mesurables sur
(Ω, B, µ). On a Z Z
lim inf fn dµ ≤ lim inf fn dµ.
Ω n n Ω

Lemme (de Fatou)

Soit (fn )n : Ω → [0, +∞] une suite de fonctions positives mesurables sur
(Ω, B, µ). On a Z Z
lim inf fn dµ ≤ lim inf fn dµ.
Ω n n Ω
Preuve (Exercice)

Proprietés
Soient f, g : Ω → RZdeux fonctions positives mesurables sur (Ω, B, µ). On a
•f = 0 µ − pp ⇐⇒ f dµ = 0.
Ω Z
• N un ensemble µ-négligeable =⇒ f dµ = 0.
Z Z N
•f = g µ − pp ⇐⇒ f dµ = gdµ.
Ω Ω

Fonction mesurable de signe quelconque
Soit f : Ω → R une fonction mesurable. On peut toujours écrire f = f + − f −

avec f + et f − sont des fonctions positives mesurables définies par
(
+ f (x) si f (x) ≥ 0
f (x) =
0 sinon,
(
0 si f (x) ≥ 0
f − (x) =
−f (x) sinon.

Définition
Une fonction f : Ω → R mesurable sur un espace mesuré (Ω, B, µ) est dite
intégrable si f + et f − le sont. Dans ce cas, on définit l’intégrale de f par
Z Z Z
f dµ = f + dµ − f − dµ.
Ω Ω Ω
Si B ∈ B, l’intégrale de f sur B est

Z Z
f dµ = f 1B dµ.
B Ω

Proposition
• Soit f : Ω → R une fonction mesurable, alors
f est intégrable ⇐⇒ |f | est intégrable.

Proposition

Z Z
• Soient f, g : Ω → R intégrables. Alors f = g µ-pp ⇐⇒ f dµ = gdµ.
Ω Ω

Proposition

Z Z
Ω Ω
• Soit Zf : Ω → R une fonction mesurable et N un ensemble µ-négligeable.
Alors f dµ = 0.
N

Proposition

Z Z
Ω Ω
Alors f dµ = 0.
N
• Toute fonction f : Ω → R intégrable est finie pp.

Proposition

Z Z
Ω Ω
Alors f dµ = 0.
N
• Toute fonction f : Ω → R intégrable est finie pp.
• Soient f, g : Ω → R. On suppose que f est mesurable et que g est
intégrable. Si |f | ≤ g pp alors f est intégrable et
Z Z
|f |dµ ≤ gdµ.
Ω Ω

Convergence dominée de Lebesgue
Théorème (de convergence dominée)

Soit (fn )n≥0 une suite de fonctions mesurables définies de Ω dans R.
On suppose que
i) La suite (fn )n converge simplement vers f ;
ii) Il existe g intégrable telle que pour tout n ∈ N, on a |fn | ≤ g.


On suppose que
Alors
• Pour tout n ∈ N, fn et f sont intégrables.


On suppose que
Alors
• Pour toutZ n ∈ N, fn et f sont intégrables.
• lim |fn − f | dµ = 0.
n→+∞ Ω


On suppose que
Alors
• lim |fn − f | dµ = 0.
n→+∞
ZΩ Z
• lim fn dµ = f dµ.
n→+∞ Ω Ω


On suppose que
Alors
• lim |fn − f | dµ = 0.
n→+∞
ZΩ Z
• lim fn dµ = f dµ.
n→+∞ Ω Ω
Preuve

Remarque
Z Z
• Si (Ω, B, µ) = (R, B(R), λ), l’intégrale f dµ = f dλ est appelée
Ω R
l’intégrale de Lebesgue sur R.

Remarque
Z Z
Ω R
• L’intégrale de Lebesgue sur un intervalle [a, b] est donnée par
Z Z
f dλ = f 1[a,b] dλ.
[a,b] R

Remarque
Z Z
Ω R
• L’intégrale de Lebesgue sur un intervalle [a, b] est donnée par
Z Z
f dλ = f 1[a,b] dλ.
[a,b] R
• Dans le cas où f est intégrable au sens de Riemann, nous avons l’égalité

suivante entre les deux intégrales pour a ≤ b,
Z Z Z b
f dλ = f (x)dλ(x) = f (x)dx.
[a,b] [a,b] a

Intégrale de Lebesgue Calcul intégral
3. Calcul intégral

Intégrale dépendant d’un paramètre
Soient (Ω, B, µ) un espace mesuré, et I un intervalle quelconque de R. Soit
f: I ×Ω → R
(t, x) 7→ f (t, x)

f: I ×Ω → R
(t, x) 7→ f (t, x)
Théorème (de continuité)

Si les conditions suivantes sont vérifiées :
i) L’application x 7→ f (t, x) est mesurable pour tout t ∈ I ;
ii) Pour presque tout x ∈ Ω, l’application t 7→ f (t, x) est continue en t0 ∈ I ;
iii) II existe g intégrable telle que pour tout t ∈ I, |f (t, x)| ≤ g(x) pp.

f: I ×Ω → R
(t, x) 7→ f (t, x)
Théorème (de continuité)

Si les conditions suivantes sont vérifiées :
i) L’application x 7→ f (t, x) est mesurable pour tout t ∈ I ;
ii) Pour presque tout x ∈ Ω, l’application t 7→ f (t, x) est continue en t0 ∈ I ;
iii) II existe g intégrable telle que pour tout t ∈ I, |f (t, x)| ≤ g(x) pp.
Alors, pour tout t ∈ZI, la fonction x 7→ f (t, x) est intégrable et la fonction F
définie par F (t) = f (t, x)dµ(x) est continue en t0 .
Ω
La notation dµ(x) signifie que la mesure porte sur l’ensemble dont la variable
est x.

Théorème (de dérivation)

Soit I un intervalle ouvert de R. On suppose que
i) L’application x 7→ f (t, x) est intégrable pour tout t ∈ I ;
∂f
ii) Pour presque tout x ∈ Ω, (t, x) existe ;
∂t
∂f
iii) Il existe g intégrable telle que pour tout t ∈ I, (t, x) ≤ g(x) pp sur Ω.

∂t

Théorème (de dérivation)

Soit I un intervalle ouvert de R. On suppose que
i) L’application x 7→ f (t, x) est intégrable pour tout t ∈ I ;
∂f
ii) Pour presque tout x ∈ Ω, (t, x) existe ;
∂t
∂f
iii) Il existe g intégrable telle que pour tout t ∈ I, (t, x) ≤ g(x) pp sur Ω.

∂t
∂f
Alors, pour tout t ∈ I, la fonction x 7→ (t, x) est intégrable, la fonction F
Z ∂t
définie par F (t) = f (t, x)dµ(x) est dérivable sur I et on a
Ω
Z
0 ∂f
F (t) = (t, x)dµ(x).
Ω ∂t

Théorème de Fubini
Théorème
Soient f : R2 → R une fonction mesurable et E × F un ensemble mesurable
de R2 .
(i) Si f est positive sur E × F , alors on a
Z Z Z Z Z
f (x, y)dxdy = f (x, y)dy dx = f (x, y)dx dy.
E×F E F F E

Théorème
de R2 .
Z Z Z Z Z
E×F E F F E
Z Z
(ii) f est intégrable sur E × F ⇔ |f (x, y)|dy dx ou
Z Z E F
|f (x, y)|dx dy est finie.

F E

Théorème
de R2 .
Z Z Z Z Z
E×F E F F E
Z Z
(ii) f est intégrable sur E × F ⇔ |f (x, y)|dy dx ou
Z Z E F
|f (x, y)|dx dy est finie.

F E
(iii) Si f est intégrable sur E × F , alors on a
Z Z Z Z Z
E×F E F F E

Exercice
Calculer l’intégrale Z
e−(x+y) 1B (x, y) dxdy,
[0,1]×[0,1]
avec
B = {(x, y) ∈ [0, 1] × [0, 1] : x + y ≤ 1}.

Changement de variable
Soient Ω et Ω0 deux domaines de Rn et φ : Ω0 → Ω une fonction bijective telle

que φ et φ−1 soient de classe C 1 .
On note Jφ (y) la matrice jacobienne de φ au point y ∈ Ω0 , i.e.,

∂φi
Jφ (y) = (y) ,
∂yj 1≤i,j≤n
où pour i ∈ {1, 2, · · · , n}, φi est la ième application coordonnée de φ.

Théorème
Une fonction f est intégrable sur Ω si et seulement si f (φ(y)) |det Jφ (y)| est
intégrable sur Ω0 . Dans ce cas, on a
Z Z
f (x)dx = f (φ(y)) |det Jφ (y)| dy.
Ω Ω0

Théorème
Une fonction f est intégrable sur Ω si et seulement si f (φ(y)) |det Jφ (y)| est
intégrable sur Ω0 . Dans ce cas, on a
Z Z
f (x)dx = f (φ(y)) |det Jφ (y)| dy.
Ω Ω0
Exercice
On considère la fonction définie sur le disque D 0, 12 par f (0, 0) = 0 et

(− ln(x2 +y 2 ))−4/3
f (x, y) = x2 +y 2 pour (x, y) 6= (0, 0). Calculer l’intégrale
Z
f (x, y)dxdy.
D (0, 12 )

Chapitre 1

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Chapitre 1

Transféré par

Droits d'auteur :

Formats disponibles

Élément de module : Analyse

S ALAH -E DDINE C HORFI

École Hassania des Travaux Publics

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 1 / 55

Analyse : traite des sujets liés à la notion de limite, en particulier, le calcul

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 2 / 55

• Transformée de Fourier et applications.

• Théorie élémentaire des distributions.

• Fonctions de variable complexe.

• Transformée de Laplace et applications.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 3 / 55

• Équations différentielles linéaires.

• Nombres complexes et trigonométrie.

• Fonctions de la variable réelle à valeurs réelles ou complexes.

• Espaces préhilbertiens réels.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 4 / 55

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 4 / 55

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 5 / 55

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 5 / 55

• Hypothèses trop fortes, e.g.,

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 6 / 55

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 7 / 55

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 7 / 55

Idée de Riemann : Idée de Lebesgue :

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 7 / 55

• Lebesgue : on partage [0, 1] seulement en deux morceaux où f est

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 8 / 55

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 8 / 55

Rappels sur les applications :

∀x, y ∈ E, f (x) = f (y) =⇒ x = y.

• Surjection : f est une surjection si

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 9 / 55

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 10 / 55

• L’intervalle [0, 1] et R sont non dénombrables.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 10 / 55

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 11 / 55

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 11 / 55

Dans toute la suite, Ω désigne un ensemble non vide.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 12 / 55

Dans toute la suite, Ω désigne un ensemble non vide.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 12 / 55

Proposition (Stabilité par intersection dénombrable)

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 13 / 55

Proposition (Stabilité par intersection dénombrable)

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 13 / 55

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 14 / 55

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 14 / 55

(c’est l’ensemble des intervalles ouverts). La tribu σ(A) s’appelle la tribu

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 15 / 55

(c’est l’ensemble des intervalles ouverts). La tribu σ(A) s’appelle la tribu

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 15 / 55

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 16 / 55

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 17 / 55

Soit µ une mesure sur (Ω, B).

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 18 / 55

Soit µ une mesure sur (Ω, B).

La mesure δa est appelé la mesure de Dirac au point a.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 18 / 55

Soit Ω un ensemble et soit B une tribu sur Ω.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 19 / 55

Soit Ω un ensemble et soit B une tribu sur Ω.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 19 / 55

Propriétés d’une mesure