0% ont trouvé ce document utile (0 vote)
23 vues245 pages

Intégrales Généralisées

Intégrales

Transféré par

ilyaselhachtouki
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
0% ont trouvé ce document utile (0 vote)
23 vues245 pages

Intégrales Généralisées

Intégrales

Transféré par

ilyaselhachtouki
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
Vous êtes sur la page 1/ 245

Intégrales généralisées

E. H. ZEROUALI, H. NAQOS

JUNIA MAROC

14 octobre 2024

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 1 / 68


Contents
1 Points incertains
2 Convergence/divergence
3 Exemples
4 Relation de Chasles
5 Linéarité
6 Positivité
7 Critère de Cauchy
8 Cas de deux points incertains
9 Mini-exercices
10 Théorème de comparaison
11 Théorème des équivalents
12 Intégrales de Riemann
13 Intégrales de Bertrand
14 Mini-exercices
15 Intégrale absolument convergente
Intégrale absolument convergente
Intégrale absolument convergente
Intégrale absolument convergente
E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 2 / 68
Points incertains

Points incertains

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 3 / 68


Points incertains

sin |t|
t 7→ f (t) = |t|3/2
sur ] − ∞, 0[ ∪ ]0, +∞[

sin |t|
|t|3/2

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 4 / 68


Points incertains

sin |t|
t 7→ f (t) = |t|3/2
sur ] − ∞, 0[ ∪ ]0, +∞[

sin |t|
|t|3/2

Points incertains : ici −∞, +∞ et 0

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 4 / 68


Points incertains

sin |t|
t 7→ f (t) = |t|3/2
sur ] − ∞, 0[ ∪ ]0, +∞[

sin |t|
|t|3/2

Points incertains : ici −∞, +∞ et 0


Z +∞ Z −1 Z 0 Z 1 Z +∞
f (t) dt = f (t) dt + f (t) dt + f (t) dt + f (t) dt
−∞ −∞ −1 0 1

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 4 / 68


Convergence/divergence

Convergence/divergence

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 5 / 68


Convergence/divergence

Quatre types d’intervalle : ] − ∞, a], ]a, b], [a, b[ ou [a, +∞[

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 6 / 68


Convergence/divergence

Quatre types d’intervalle : ] − ∞, a], ]a, b], [a, b[ ou [a, +∞[

Définition
f une fonction continue sur [a, +∞[

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 6 / 68


Convergence/divergence

Quatre types d’intervalle : ] − ∞, a], ]a, b], [a, b[ ou [a, +∞[

Définition
Rf +∞
une fonction continue sur [a, +∞[R
x
a
f (t) dt converge si limx→+∞ a f (t) dt existe et est finie

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 6 / 68


Convergence/divergence

Quatre types d’intervalle : ] − ∞, a], ]a, b], [a, b[ ou [a, +∞[

Définition
Rf +∞
une fonction continue sur [a, +∞[R
x
a
f (t) dt converge si limx→+∞ a f (t) dt existe et est finie
Si c’est le cas, on pose :
Z +∞ Z x
f (t) dt = lim f (t) dt
a x→+∞ a

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 6 / 68


Convergence/divergence

Quatre types d’intervalle : ] − ∞, a], ]a, b], [a, b[ ou [a, +∞[

Définition
Rf +∞
une fonction continue sur [a, +∞[R
x
a
f (t) dt converge si limx→+∞ a f (t) dt existe et est finie
Si c’est le cas, on pose :
Z +∞ Z x
f (t) dt = lim f (t) dt
a x→+∞ a

f une fonction continue sur ]a, b]

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 6 / 68


Convergence/divergence

Quatre types d’intervalle : ] − ∞, a], ]a, b], [a, b[ ou [a, +∞[

Définition
Rf +∞
une fonction continue sur [a, +∞[R
x
a
f (t) dt converge si limx→+∞ a f (t) dt existe et est finie
Si c’est le cas, on pose :
Z +∞ Z x
f (t) dt = lim f (t) dt
a x→+∞ a

f une fonction continue sur ]a, b]


Rb Rb
a
f (t) dt converge si limx→a+ x f (t) dt existe et est finie

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 6 / 68


Convergence/divergence

Quatre types d’intervalle : ] − ∞, a], ]a, b], [a, b[ ou [a, +∞[

Définition
Rf +∞
une fonction continue sur [a, +∞[R
x
a
f (t) dt converge si limx→+∞ a f (t) dt existe et est finie
Si c’est le cas, on pose :
Z +∞ Z x
f (t) dt = lim f (t) dt
a x→+∞ a

f une fonction continue sur ]a, b]


Rb Rb
a
f (t) dt converge si limx→a+ x f (t) dt existe et est finie
Si c’est le cas, on pose :
Z b Z b
f (t) dt = lim f (t) dt
a x→a + x

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 6 / 68


Convergence/divergence

Quatre types d’intervalle : ] − ∞, a], ]a, b], [a, b[ ou [a, +∞[

Définition
Rf +∞
une fonction continue sur [a, +∞[R
x
a
f (t) dt converge si limx→+∞ a f (t) dt existe et est finie
Si c’est le cas, on pose :
Z +∞ Z x
f (t) dt = lim f (t) dt
a x→+∞ a

f une fonction continue sur ]a, b]


Rb Rb
a
f (t) dt converge si limx→a+ x f (t) dt existe et est finie
Si c’est le cas, on pose :
Z b Z b
f (t) dt = lim f (t) dt
a x→a + x

Lorsque l’intégrale ne converge pas on dit qu’elle diverge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 6 / 68


Exemples

Exemples

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 7 / 68


Exemples

Exemple
+∞
1
Z
dt converge
0 1 + t2

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 8 / 68


Exemples

Exemple
+∞
1
Z
dt converge
0 1 + t2
x
1
Z
dt
0 1 + t2

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 8 / 68


Exemples

Exemple
+∞
1
Z
dt converge
0 1 + t2
x ix
1
Z h
dt = arctan t
0 1 + t2 0

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 8 / 68


Exemples

Exemple
+∞
1
Z
dt converge
0 1 + t2
x ix
1
Z h
dt = arctan t = arctan x
0 1 + t2 0

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 8 / 68


Exemples

Exemple
+∞
1
Z
dt converge
0 1 + t2
x ix
1
Z h
2
dt = arctan t = arctan x
0 1+t 0
π
lim arctan x =
x→+∞ 2

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 8 / 68


Exemples

Exemple
+∞
1
Z
dt converge
0 1 + t2
x ix
1
Z h
2
dt = arctan t = arctan x
0 1+t 0
π
lim arctan x =
x→+∞ 2
Z +∞
1 π
2
dt =
0 1+t 2

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 8 / 68


Exemples

Exemple
+∞
1
Z
dt converge
0 1 + t2
x ix
1
Z h
2
dt = arctan t = arctan x
0 1+t 0
π
lim arctan x =
x→+∞ 2
Z +∞
1 π
2
dt =
0 1+t 2

1
1+t 2

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 8 / 68


Exemples

Exemple

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 9 / 68


Exemples

Exemple
1
1
Z
dt diverge
0 t

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 9 / 68


Exemples

Exemple
1
1
Z
dt diverge
0 t
1
1
Z
dt
x t

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 9 / 68


Exemples

Exemple
1
1
Z
dt diverge
0 t
1 i1
1
Z h
dt = ln t
x t x

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 9 / 68


Exemples

Exemple
1
1
Z
dt diverge
0 t
1 i1
1
Z h
dt = ln t = − ln x
x t x

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 9 / 68


Exemples

Exemple
1
1
Z
dt diverge
0 t
1 i1
1
Z h
dt = ln t = − ln x et lim − ln x = +∞
x t x x→0+

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 9 / 68


Exemples

Exemple
1
1
Z
dt diverge
0 t
1 i1
1
Z h
dt = ln t = − ln x et lim − ln x = +∞
x t x x→0+

Exemple
Z 1
ln t dt converge
0

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 9 / 68


Exemples

Exemple
1
1
Z
dt diverge
0 t
1 i1
1
Z h
dt = ln t = − ln x et lim − ln x = +∞
x t x x→0+

Exemple
Z 1
ln t dt converge
0
Z 1
ln t dt
x

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 9 / 68


Exemples

Exemple
1
1
Z
dt diverge
0 t
1 i1
1
Z h
dt = ln t = − ln x et lim − ln x = +∞
x t x x→0+

Exemple
Z 1
ln t dt converge
0
Z 1 h i1
ln t dt = t ln t − t
x x

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 9 / 68


Exemples

Exemple
1
1
Z
dt diverge
0 t
1 i1
1
Z h
dt = ln t = − ln x et lim − ln x = +∞
x t x x→0+

Exemple
Z 1
ln t dt converge
0
Z 1 h i1
ln t dt = t ln t − t = x − x ln x − 1
x x

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 9 / 68


Exemples

Exemple
1
1
Z
dt diverge
0 t
1 i1
1
Z h
dt = ln t = − ln x et lim − ln x = +∞
x t x x→0+

Exemple
Z 1
ln t dt converge
0
Z 1 h i1
ln t dt = t ln t − t = x − x ln x − 1 et lim+ (x − x ln x − 1) = −1
x x x→0

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 9 / 68


Relation de Chasles

Relation de Chasles

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 10 / 68


Relation de Chasles

Proposition (Relation de Chasles)

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 11 / 68


Relation de Chasles

Proposition (Relation de Chasles)


Soit f : [a, +∞[→ R une fonction continue et soit a 0 ∈ [a, +∞[. Alors les intégrales impropres
R +∞ R +∞
a
f (t) dt et a0 f (t) dt sont de même nature.

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 11 / 68


Relation de Chasles

Proposition (Relation de Chasles)


Soit f : [a, +∞[→ R une fonction continue et soit a 0 ∈ [a, +∞[. Alors les intégrales impropres
R +∞ R +∞
a
f (t) dt et a0 f (t) dt sont de même nature. Si elles convergent, alors
Z +∞ Z a0 Z +∞
f (t) dt = f (t) dt + f (t) dt
a a a0

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 11 / 68


Linéarité

Linéarité

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 12 / 68


Linéarité

Proposition (Linéarité de l’intégrale)


R +∞
Soient f et g deux fonctions continues sur [a, +∞[, et λ, µ deux réels. Si les intégrales a
f (t) dt et
R +∞ R +∞ 
a
g (t) dt convergent, alors a λf (t) + µg (t) dt converge et
Z +∞ 
Z +∞ Z +∞
λf (t) + µg (t) dt = λ f (t) dt + µ g (t) dt
a a a

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 13 / 68


Positivité

Positivité

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 14 / 68


Positivité

Proposition (Positivité de l’intégrale)


Soient f , g : [a, +∞[→ R des fonctions continues, ayant une intégrale convergente.
Z +∞ Z +∞
Si f 6g alors f (t) dt 6 g (t) dt
a a

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 15 / 68


Positivité

Proposition (Positivité de l’intégrale)


Soient f , g : [a, +∞[→ R des fonctions continues, ayant une intégrale convergente.
Z +∞ Z +∞
Si f 6g alors f (t) dt 6 g (t) dt
a a

En particulier, l’intégrale d’une fonction positive est positive :


Z +∞
Si f >0 alors f (t) dt > 0
a

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 15 / 68


Critère de Cauchy

Critère de Cauchy

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 16 / 68


Critère de Cauchy

Rappel (Critère de Cauchy pour les limites de fonctions)


Soit f : [a, +∞[→ R. Alors limx→+∞ f (x) existe et est finie si et seulement si

∀ > 0 ∃M > a u, v > M =⇒ f (u) − f (v) < 

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 17 / 68


Critère de Cauchy

Rappel (Critère de Cauchy pour les limites de fonctions)


Soit f : [a, +∞[→ R. Alors limx→+∞ f (x) existe et est finie si et seulement si

∀ > 0 ∃M > a u, v > M =⇒ f (u) − f (v) < 

Théorème (Critère de Cauchy)


R +∞
Soit f : [a, +∞[→ R une fonction continue. L’intégrale impropre a
f (t) dt converge si et seulement
si  Z v 
∀ > 0 ∃M > a u, v > M =⇒ f (t) dt < 
u

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 17 / 68


Critère de Cauchy

Rappel (Critère de Cauchy pour les limites de fonctions)


Soit f : [a, +∞[→ R. Alors limx→+∞ f (x) existe et est finie si et seulement si

∀ > 0 ∃M > a u, v > M =⇒ f (u) − f (v) < 

Théorème (Critère de Cauchy)


R +∞
Soit f : [a, +∞[→ R une fonction continue. L’intégrale impropre a
f (t) dt converge si et seulement
si  Z v 
∀ > 0 ∃M > a u, v > M =⇒ f (t) dt < 
u

Démonstration.
Rx
Critère de Cauchy pour F (x) = a
f (t) dt

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 17 / 68


Critère de Cauchy

Rappel (Critère de Cauchy pour les limites de fonctions)


Soit f : [a, +∞[→ R. Alors limx→+∞ f (x) existe et est finie si et seulement si

∀ > 0 ∃M > a u, v > M =⇒ f (u) − f (v) < 

Théorème (Critère de Cauchy)


R +∞
Soit f : [a, +∞[→ R une fonction continue. L’intégrale impropre a
f (t) dt converge si et seulement
si  Z v 
∀ > 0 ∃M > a u, v > M =⇒ f (t) dt < 
u

Démonstration.
Rx
Critère de Cauchy pour F (x) = a
f (t) dt
Z v
F (u) − F (v) = f (t) dt
u

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 17 / 68


Cas de deux points incertains

Cas de deux points incertains

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 18 / 68


Cas de deux points incertains

Soient a, b ∈ R = R ∪ {−∞, +∞} avec a < b et f : ]a, b[→ R une fonction continue

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 19 / 68


Cas de deux points incertains

Soient a, b ∈ R = R ∪ {−∞, +∞} avec a < b et f : ]a, b[→ R une fonction continue

Définition
Rb
L’intégrale a f (t) dt converge s’il existe c ∈]a, b[ tel que les deux intégrales impropres
Rc Rb
a
f (t) dt et c f (t) dt convergent

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 19 / 68


Cas de deux points incertains

Soient a, b ∈ R = R ∪ {−∞, +∞} avec a < b et f : ]a, b[→ R une fonction continue

Définition
Rb
L’intégrale a f (t) dt converge s’il existe c ∈]a, b[ tel que les deux intégrales impropres
Rc Rb
a
f (t) dt et c f (t) dt convergent
La valeur de cette intégrale doublement impropre est alors
Z b Z c Z b
f (t) dt = f (t) dt + f (t) dt
a a c

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 19 / 68


Cas de deux points incertains

Exemple
R +∞ 1
−∞ 1+t 2
dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 20 / 68


Cas de deux points incertains

Exemple
R +∞ 1
−∞ 1+t 2
dt converge
R +∞ 1 π
En effet on a vu que 0 1+t 2
dt converge et vaut 2

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 20 / 68


Cas de deux points incertains

Exemple
R +∞ 1
−∞ 1+t 2
dt converge
R +∞ 1 π
En effet on a vu que 0
dt converge et vaut
1+t 2 2
R0 1
Par parité, il en est de même pour −∞ 1+t 2 dt

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 20 / 68


Cas de deux points incertains

Exemple
R +∞ 1
−∞ 1+t 2
dt converge
R +∞ 1 π
En effet on a vu que 0
dt converge et vaut
1+t 2 2
R0 1
Par parité, il en est de même pour −∞ 1+t 2 dt
R +∞ 1
−∞ 1+t 2
dt = π

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 20 / 68


Cas de deux points incertains

Exemple
R +∞ 1
−∞ 1+t 2
dt converge
R +∞ 1 π
En effet on a vu que 0
dt converge et vaut
1+t 2 2
R0 1
Par parité, il en est de même pour −∞ 1+t 2 dt
R +∞ 1
−∞ 1+t 2
dt = π

R +∞
−∞
t dt diverge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 20 / 68


Cas de deux points incertains

Exemple
R +∞ 1
−∞ 1+t 2
dt converge
R +∞ 1 π
En effet on a vu que 0
dt converge et vaut
1+t 2 2
R0 1
Par parité, il en est de même pour −∞ 1+t 2 dt
R +∞ 1
−∞ 1+t 2
dt = π

R +∞
−∞
t dt diverge
x2
Rx
0
t dt = 2
tend vers +∞ lorsque x tend vers +∞

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 20 / 68


Cas de deux points incertains

Exemple
R +∞ 1
−∞ 1+t 2
dt converge
R +∞ 1 π
En effet on a vu que 0
dt converge et vaut
1+t 2 2
R0 1
Par parité, il en est de même pour −∞ 1+t 2 dt
R +∞ 1
−∞ 1+t 2
dt = π

R +∞
−∞
t dt diverge
Rx 2
0
t dt = x2 tend vers +∞ lorsque x tend vers +∞
R +∞
Donc 0 t dt diverge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 20 / 68


Cas de deux points incertains

Exemple
R +∞ 1
−∞ 1+t 2
dt converge
R +∞ 1 π
En effet on a vu que 0
dt converge et vaut
1+t 2 2
R0 1
Par parité, il en est de même pour −∞ 1+t 2 dt
R +∞ 1
−∞ 1+t 2
dt = π

R +∞
−∞
t dt diverge
Rx 2
0
t dt = x2 tend vers +∞ lorsque x tend vers +∞
R +∞
Donc 0 t dt diverge
R +∞
D’après la définition −∞ t dt diverge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 20 / 68


Cas de deux points incertains

Exemple
R +∞ 1
−∞ 1+t 2
dt converge
R +∞ 1 π
En effet on a vu que 0
dt converge et vaut
1+t 2 2
R0 1
Par parité, il en est de même pour −∞ 1+t 2 dt
R +∞ 1
−∞ 1+t 2
dt = π

R +∞
−∞
t dt diverge
Rx 2
0
t dt = x2 tend vers +∞ lorsque x tend vers +∞
R +∞
Donc 0 t dt diverge
R +∞
D’après la définition −∞ t dt diverge
R +x
Bien que, pour tout x, on ait −x t dt = 0

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 20 / 68


Mini-exercices

Mini-exercices

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 21 / 68


Mini-exercices

Exercice
1 Pour chacune des intégrales suivantes, déterminer le point incertain, dire si l’intégrale converge, et
si c’est le cas, calculer la valeur de l’intégrale :
1 +∞ 1 ln 2
1 1
Z Z Z Z
√ dt cos t dt dt e t dt
0 1−t 0 0 1−t −∞

2 Même exercice pour ces intégrales ayant deux points incertains :


+∞ 1 +∞ +∞
dt dt 1
Z Z Z Z
e −|t| dt dt
−∞ 1 + t2 −∞ (t − 1)2 −∞ 0 t

3 Écrire la preuve de la linéarité des intégrales impropres. Même chose pour la positivité.

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 22 / 68


Théorème de comparaison

Théorème de comparaison

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 23 / 68


Théorème de comparaison

Théorème (de comparaison)

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 24 / 68


Théorème de comparaison

Théorème (de comparaison)

Soient f et g deux fonctions continues et positives sur [a, +∞[. Supposons que f soit majorée par g
au voisinage de +∞ : c’est-à-dire
∃A > a ∀t > A f (t) 6 g (t)

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 24 / 68


Théorème de comparaison

Théorème (de comparaison)

Soient f et g deux fonctions continues et positives sur [a, +∞[. Supposons que f soit majorée par g
au voisinage de +∞ : c’est-à-dire
∃A > a ∀t > A f (t) 6 g (t)
R +∞ R +∞
1 Si
a
g (t) dt converge alors a f (t) dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 24 / 68


Théorème de comparaison

Théorème (de comparaison)

Soient f et g deux fonctions continues et positives sur [a, +∞[. Supposons que f soit majorée par g
au voisinage de +∞ : c’est-à-dire
∃A > a ∀t > A f (t) 6 g (t)
R +∞ R +∞
1 Si
a
g (t) dt converge alors a f (t) dt converge
R +∞ R +∞
2 Si
a
f (t) dt diverge alors a g (t) dt diverge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 24 / 68


Théorème de comparaison

Théorème (de comparaison)

Soient f et g deux fonctions continues et positives sur [a, +∞[. Supposons que f soit majorée par g
au voisinage de +∞ : c’est-à-dire
∃A > a ∀t > A f (t) 6 g (t)
R +∞ R +∞
1 Si
a
g (t) dt converge alors a f (t) dt converge
R +∞ R +∞
2 Si
a
f (t) dt diverge alors a g (t) dt diverge

Démonstration.
Rx Rx
Par positivité de l’intégrale, pour tout x > A, A
f (t) dt 6 A
g (t) dt

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 24 / 68


Théorème de comparaison

Théorème (de comparaison)

Soient f et g deux fonctions continues et positives sur [a, +∞[. Supposons que f soit majorée par g
au voisinage de +∞ : c’est-à-dire
∃A > a ∀t > A f (t) 6 g (t)
R +∞ R +∞
1 Si
a
g (t) dt converge alors a f (t) dt converge
R +∞ R +∞
2 Si
a
f (t) dt diverge alors a g (t) dt diverge

Démonstration.
Rx Rx
Par positivité de l’intégrale, pour tout x > A, A f (t) dt 6 A g (t) dt
R +∞ Rx R +∞
Si A g (t) dt converge, alors A f (t) dt est une fonction croissante et majorée par A g (t) dt,
donc convergente

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 24 / 68


Théorème de comparaison

Théorème (de comparaison)

Soient f et g deux fonctions continues et positives sur [a, +∞[. Supposons que f soit majorée par g
au voisinage de +∞ : c’est-à-dire
∃A > a ∀t > A f (t) 6 g (t)
R +∞ R +∞
1 Si
a
g (t) dt converge alors a f (t) dt converge
R +∞ R +∞
2 Si
a
f (t) dt diverge alors a g (t) dt diverge

Démonstration.
Rx Rx
Par positivité de l’intégrale, pour tout x > A, A f (t) dt 6 A g (t) dt
R +∞ Rx R +∞
Si A g (t) dt converge, alors A f (t) dt est une fonction croissante et majorée par A g (t) dt,
donc convergente
Rx Rx
Inversement, si A f (t) dt tend vers +∞, alors A g (t) dt tend vers +∞

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 24 / 68


Théorème de comparaison

Exemple
R +∞ α −t
1
t e dt converge quel que soit le réel α

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 25 / 68


Théorème de comparaison

Exemple
R +∞ α −t
1
t e dt converge quel que soit le réel α
t α e −t = t α e −t/2 e −t/2

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 25 / 68


Théorème de comparaison

Exemple
R +∞ α −t
1
t e dt converge quel que soit le réel α
t α e −t = t α e −t/2 e −t/2
limt→+∞ t α e −t/2 = 0

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 25 / 68


Théorème de comparaison

Exemple
R +∞ α −t
1
t e dt converge quel que soit le réel α
t α e −t = t α e −t/2 e −t/2
limt→+∞ t α e −t/2 = 0
En particulier, il existe un réel A > 0 tel que

∀t > A t α e −t/2 6 1

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 25 / 68


Théorème de comparaison

Exemple
R +∞ α −t
1
t e dt converge quel que soit le réel α
t α e −t = t α e −t/2 e −t/2
limt→+∞ t α e −t/2 = 0
En particulier, il existe un réel A > 0 tel que

∀t > A t α e −t/2 6 1

∀t > A t α e −t 6 e −t/2

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 25 / 68


Théorème de comparaison

Exemple
R +∞ α −t
1
t e dt converge quel que soit le réel α
t α e −t = t α e −t/2 e −t/2
limt→+∞ t α e −t/2 = 0
En particulier, il existe un réel A > 0 tel que

∀t > A t α e −t/2 6 1

∀t > A t α e −t 6 e −t/2
Z x
e −t/2 dt
1

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 25 / 68


Théorème de comparaison

Exemple
R +∞ α −t
1
t e dt converge quel que soit le réel α
t α e −t = t α e −t/2 e −t/2
limt→+∞ t α e −t/2 = 0
En particulier, il existe un réel A > 0 tel que

∀t > A t α e −t/2 6 1

∀t > A t α e −t 6 e −t/2
Z x h ix
e −t/2 dt = −2e −t/2
1 1

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 25 / 68


Théorème de comparaison

Exemple
R +∞ α −t
1
t e dt converge quel que soit le réel α
t α e −t = t α e −t/2 e −t/2
limt→+∞ t α e −t/2 = 0
En particulier, il existe un réel A > 0 tel que

∀t > A t α e −t/2 6 1

∀t > A t α e −t 6 e −t/2
Z x h ix
e −t/2 dt = −2e −t/2 = 2e −1/2 − 2e −x/2
1 1

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 25 / 68


Théorème de comparaison

Exemple
R +∞ α −t
1
t e dt converge quel que soit le réel α
t α e −t = t α e −t/2 e −t/2
limt→+∞ t α e −t/2 = 0
En particulier, il existe un réel A > 0 tel que

∀t > A t α e −t/2 6 1

∀t > A t α e −t 6 e −t/2
Z x h ix
x→+∞
e −t/2 dt = −2e −t/2 = 2e −1/2 − 2e −x/2 −−−−−→ 2e −1/2
1 1

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 25 / 68


Théorème de comparaison

Exemple
R +∞ α −t
1
t e dt converge quel que soit le réel α
t α e −t = t α e −t/2 e −t/2
limt→+∞ t α e −t/2 = 0
En particulier, il existe un réel A > 0 tel que

∀t > A t α e −t/2 6 1

∀t > A t α e −t 6 e −t/2
Z x h ix
x→+∞
e −t/2 dt = −2e −t/2 = 2e −1/2 − 2e −x/2 −−−−−→ 2e −1/2
1 1
R +∞ −t/2
1
e dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 25 / 68


Théorème de comparaison

Exemple
R +∞ α −t
1
t e dt converge quel que soit le réel α
t α e −t = t α e −t/2 e −t/2
limt→+∞ t α e −t/2 = 0
En particulier, il existe un réel A > 0 tel que

∀t > A t α e −t/2 6 1

∀t > A t α e −t 6 e −t/2
Z x h ix
x→+∞
e −t/2 dt = −2e −t/2 = 2e −1/2 − 2e −x/2 −−−−−→ 2e −1/2
1 1
R +∞ −t/2
1
e dt converge
R +∞
Théorème de comparaison : 1 t α e −t dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 25 / 68


Théorème des équivalents

Théorème des équivalents

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 26 / 68


Théorème des équivalents

Théorème (des équivalents)


Soient f et g deux fonctions continues et strictement positives sur [a, +∞[. Supposons qu’elles soient
équivalentes au voisinage de +∞, c’est-à-dire : limt→+∞ gf (t)
(t) = 1 .

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 27 / 68


Théorème des équivalents

Théorème (des équivalents)


Soient f et g deux fonctions continues et strictement positives sur [a, +∞[. Supposons qu’elles soient
R +∞
équivalentes au voisinage de +∞, c’est-à-dire : limt→+∞ gf (t)
(t) = 1 . Alors l’intégrale a f (t) dt
R +∞
converge si et seulement si a g (t) dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 27 / 68


Théorème des équivalents

Théorème (des équivalents)


Soient f et g deux fonctions continues et strictement positives sur [a, +∞[. Supposons qu’elles soient
R +∞
équivalentes au voisinage de +∞, c’est-à-dire : limt→+∞ gf (t)
(t) = 1 . Alors l’intégrale a f (t) dt
R +∞
converge si et seulement si a g (t) dt converge

Démonstration.
f (t)
g (t) → 1

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 27 / 68


Théorème des équivalents

Théorème (des équivalents)


Soient f et g deux fonctions continues et strictement positives sur [a, +∞[. Supposons qu’elles soient
R +∞
équivalentes au voisinage de +∞, c’est-à-dire : limt→+∞ gf (t)
(t) = 1 . Alors l’intégrale a f (t) dt
R +∞
converge si et seulement si a g (t) dt converge

Démonstration.
f (t)
g (t) → 1
Donc ∀ > 0 ∃A > a ∀t > A (1 − )g (t) < f (t) < (1 + )g (t)

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 27 / 68


Théorème des équivalents

Théorème (des équivalents)


Soient f et g deux fonctions continues et strictement positives sur [a, +∞[. Supposons qu’elles soient
R +∞
équivalentes au voisinage de +∞, c’est-à-dire : limt→+∞ gf (t)
(t) = 1 . Alors l’intégrale a f (t) dt
R +∞
converge si et seulement si a g (t) dt converge

Démonstration.
f (t)
g (t) → 1
Donc ∀ > 0 ∃A > a ∀t > A (1 − )g (t) < f (t) < (1 + )g (t)
Théorème de comparaison avec  < 1

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 27 / 68


Théorème des équivalents

Théorème (des équivalents)


Soient f et g deux fonctions continues et strictement positives sur [a, +∞[. Supposons qu’elles soient
R +∞
équivalentes au voisinage de +∞, c’est-à-dire : limt→+∞ gf (t)
(t) = 1 . Alors l’intégrale a f (t) dt
R +∞
converge si et seulement si a g (t) dt converge

Démonstration.
f (t)
g (t) → 1
Donc ∀ > 0 ∃A > a ∀t > A (1 − )g (t) < f (t) < (1 + )g (t)
Théorème de comparaison avec  < 1

Exemple
t 5 +3t+1 −t
t 3 +4 e

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 27 / 68


Théorème des équivalents

Théorème (des équivalents)


Soient f et g deux fonctions continues et strictement positives sur [a, +∞[. Supposons qu’elles soient
R +∞
équivalentes au voisinage de +∞, c’est-à-dire : limt→+∞ gf (t)
(t) = 1 . Alors l’intégrale a f (t) dt
R +∞
converge si et seulement si a g (t) dt converge

Démonstration.
f (t)
g (t) → 1
Donc ∀ > 0 ∃A > a ∀t > A (1 − )g (t) < f (t) < (1 + )g (t)
Théorème de comparaison avec  < 1

Exemple
t 5 +3t+1 −t
t 3 +4 e ∼ t 2 e −t
+∞

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 27 / 68


Théorème des équivalents

Théorème (des équivalents)


Soient f et g deux fonctions continues et strictement positives sur [a, +∞[. Supposons qu’elles soient
R +∞
équivalentes au voisinage de +∞, c’est-à-dire : limt→+∞ gf (t)
(t) = 1 . Alors l’intégrale a f (t) dt
R +∞
converge si et seulement si a g (t) dt converge

Démonstration.
f (t)
g (t) → 1
Donc ∀ > 0 ∃A > a ∀t > A (1 − )g (t) < f (t) < (1 + )g (t)
Théorème de comparaison avec  < 1

Exemple
t 5 +3t+1 −t
t 3 +4 e ∼ t 2 e −t
+∞
R +∞ 2 −t
1
t e dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 27 / 68


Théorème des équivalents

Théorème (des équivalents)


Soient f et g deux fonctions continues et strictement positives sur [a, +∞[. Supposons qu’elles soient
R +∞
équivalentes au voisinage de +∞, c’est-à-dire : limt→+∞ gf (t)
(t) = 1 . Alors l’intégrale a f (t) dt
R +∞
converge si et seulement si a g (t) dt converge

Démonstration.
f (t)
g (t) → 1
Donc ∀ > 0 ∃A > a ∀t > A (1 − )g (t) < f (t) < (1 + )g (t)
Théorème de comparaison avec  < 1

Exemple
t 5 +3t+1 −t
t 3 +4 e ∼ t 2 e −t
+∞
R +∞ 2 −t
1
t e dt converge
R +∞ t 5 +3t+1 −t
Donc 1 t 3 +4 e dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 27 / 68


Intégrales de Riemann

Intégrales de Riemann

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 28 / 68


Intégrales de Riemann

+∞
1
Z
Intégrale de Riemann dt α>0
1 tα

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 29 / 68


Intégrales de Riemann

+∞
1
Z
Intégrale de Riemann dt α>0
1 tα
+∞
1
Z
Si α>1 alors dt converge
1 tα

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 29 / 68


Intégrales de Riemann

+∞
1
Z
Intégrale de Riemann dt α>0
1 tα
+∞
1
Z
Si α>1 alors dt converge
1 tα
+∞
1
Z
Si α61 alors dt diverge
1 tα

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 29 / 68


Intégrales de Riemann

+∞
1
Z
Intégrale de Riemann dt α>0
1 tα
+∞
1
Z
Si α>1 alors dt converge
1 tα
+∞
1
Z
Si α61 alors dt diverge
1 tα

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 29 / 68


Intégrales de Riemann

+∞
1
Z
Intégrale de Riemann dt α>0
1 tα
+∞
1
Z
Si α>1 alors dt converge
1 tα
+∞
1
Z
Si α61 alors dt diverge
1 tα

Preuve :
+∞
1
Z
dt
1 tα

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 29 / 68


Intégrales de Riemann

+∞
1
Z
Intégrale de Riemann dt α>0
1 tα
+∞
1
Z
Si α>1 alors dt converge
1 tα
+∞
1
Z
Si α61 alors dt diverge
1 tα

Preuve :   x
1 1
lim si α 6= 1

+∞ 
1
Z
−α + 1 t α−1

x→+∞
dt = 1
1 tα 

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 29 / 68


Intégrales de Riemann

+∞
1
Z
Intégrale de Riemann dt α>0
1 tα
+∞
1
Z
Si α>1 alors dt converge
1 tα
+∞
1
Z
Si α61 alors dt diverge
1 tα

Preuve :   x
1 1
lim si α 6= 1

+∞ 
1
Z
x→+∞ −α + 1 t α−1

dt = 1
1 tα  h ix
 lim ln t
 si α=1
x→+∞ 1

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 29 / 68


Intégrales de Bertrand

Intégrales de Bertrand

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 30 / 68


Intégrales de Bertrand

+∞
1
Z
Intégrale de Bertrand dt β∈R
2 t (ln t)β

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 31 / 68


Intégrales de Bertrand

+∞
1
Z
Intégrale de Bertrand dt β∈R
2 t (ln t)β
+∞
1
Z
Si β > 1 alors dt converge
2 t (ln t)β

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 31 / 68


Intégrales de Bertrand

+∞
1
Z
Intégrale de Bertrand dt β∈R
2 t (ln t)β
+∞
1
Z
Si β > 1 alors dt converge
2 t (ln t)β
+∞
1
Z
Si β 6 1 alors dt diverge
2 t (ln t)β

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 31 / 68


Intégrales de Bertrand

+∞
1
Z
Intégrale de Bertrand dt β∈R
2 t (ln t)β
+∞
1
Z
Si β > 1 alors dt converge
2 t (ln t)β
+∞
1
Z
Si β 6 1 alors dt diverge
2 t (ln t)β

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 31 / 68


Intégrales de Bertrand

+∞
1
Z
Intégrale de Bertrand dt β∈R
2 t (ln t)β
+∞
1
Z
Si β > 1 alors dt converge
2 t (ln t)β
+∞
1
Z
Si β 6 1 alors dt diverge
2 t (ln t)β

Preuve :
+∞
1
Z
dt
2 t (ln t)β

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 31 / 68


Intégrales de Bertrand

+∞
1
Z
Intégrale de Bertrand dt β∈R
2 t (ln t)β
+∞
1
Z
Si β > 1 alors dt converge
2 t (ln t)β
+∞
1
Z
Si β 6 1 alors dt diverge
2 t (ln t)β

Preuve :  h ix
1 −β+1
+∞  lim −β+1 (ln t) si β 6= 1
1
Z  x→+∞ 2
dt =
2 t (ln t)β 

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 31 / 68


Intégrales de Bertrand

+∞
1
Z
Intégrale de Bertrand dt β∈R
2 t (ln t)β
+∞
1
Z
Si β > 1 alors dt converge
2 t (ln t)β
+∞
1
Z
Si β 6 1 alors dt diverge
2 t (ln t)β

Preuve :  h ix
1 −β+1
+∞  lim −β+1 (ln t) si β 6= 1
1
Z  x→+∞ 2
dt = ix
t (ln t)β
h
2 
 lim ln(ln t) si β=1
x→+∞ 2

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 31 / 68


Intégrales de Bertrand

Exemple
+∞    
1 1
Z p
t 2 + 3t ln cos sin2 dt converge-t-elle ?
2 t ln t

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 32 / 68


Intégrales de Bertrand

Exemple
+∞    
1 1
Z p
t 2 + 3t ln cos sin2 dt converge-t-elle ?
2 t ln t

t 2 + 3t

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 32 / 68


Intégrales de Bertrand

Exemple
+∞    
1 1
Z p
t 2 + 3t ln cos sin2 dt converge-t-elle ?
2 t ln t
√ q
3
t 2 + 3t = t 1+ t

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 32 / 68


Intégrales de Bertrand

Exemple
+∞    
1 1
Z p
t 2 + 3t ln cos sin2 dt converge-t-elle ?
2 t ln t
√ q
3
t 2 + 3t = t 1+ t ∼ t
+∞

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 32 / 68


Intégrales de Bertrand

Exemple
+∞    
1 1
Z p
t 2 + 3t ln cos sin2 dt converge-t-elle ?
2 t ln t
√ q
3
t 2 + 3t = t 1+ t ∼ t
+∞

ln cos 1t


E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 32 / 68


Intégrales de Bertrand

Exemple
+∞    
1 1
Z p
t 2 + 3t ln cos sin2 dt converge-t-elle ?
2 t ln t
√ q
t 2 + 3t = t 1 + 3t ∼ t
+∞

ln cos 1t = ln 1 − 2t12 + o 1
 
t2

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 32 / 68


Intégrales de Bertrand

Exemple
+∞    
1 1
Z p
t 2 + 3t ln cos sin2 dt converge-t-elle ?
2 t ln t
√ q
t 2 + 3t = t 1 + 3t ∼ t
+∞

ln cos 1t = ln 1 − 2t12 + o 1
− 2t12
 
t2 ∼
+∞

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 32 / 68


Intégrales de Bertrand

Exemple
+∞    
1 1
Z p
t 2 + 3t ln cos sin2 dt converge-t-elle ?
2 t ln t
√ q
t 2 + 3t = t 1 + 3t ∼ t
+∞

ln cos 1t = ln 1 − 2t12 + o 1
− 2t12
 
t2 ∼
+∞

sin2 ln1 t


E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 32 / 68


Intégrales de Bertrand

Exemple
+∞    
1 1
Z p
t 2 + 3t ln cos sin2 dt converge-t-elle ?
2 t ln t
√ q
t 2 + 3t = t 1 + 3t ∼ t
+∞

ln cos 1t = ln 1 − 2t12 + o 1
− 2t12
 
t2 ∼
+∞
1 2
sin2 ln1 t
 
∼ ln t
+∞

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 32 / 68


Intégrales de Bertrand

Exemple
+∞    
1 1
Z p
t 2 + 3t ln cos sin2 dt converge-t-elle ?
2 t ln t
√ q
t 2 + 3t = t 1 + 3t ∼ t
+∞

ln cos 1t = ln 1 − 2t12 + o t12 − 2t12


 

+∞
1 2
sin2 ln1 t
 
∼ ln t
+∞

D’où t + 3t ln cos 1t sin2 ln1 t 1
 
2 ∼ − 2t (ln t)2
+∞

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 32 / 68


Intégrales de Bertrand

Exemple
+∞    
1 1
Z p
t 2 + 3t ln cos sin2 dt converge-t-elle ?
2 t ln t
√ q
t 2 + 3t = t 1 + 3t ∼ t
+∞

ln cos 1t = ln 1 − 2t12 + o t12 − 2t12


 

+∞
1 2
sin2 ln1 t
 
∼ ln t
+∞

D’où t + 3t ln cos 1t sin2 ln1 t 1
 
2 ∼ − 2t (ln t)2
+∞
Intégrale de Bertrand avec β = 2, donc converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 32 / 68


Mini-exercices

Mini-exercices

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 33 / 68


Mini-exercices

Exercice
1 Étudier la convergence des intégrales suivantes :
R +∞ 1 R +∞ R +∞ R ln 2 −t
1
ln cos 1t dt , −∞ te −|t| dt , −∞ te2 +1 dt
 
1 t sin t dt , 3
π
R +∞
2 Montrer que 1 (ln t)α e −t dt converge, quel que soit le réel α.
3 Étudier la convergence
q  des intégrales suivantes, en fonction du paramètre α > 0 :
R +∞  1
R +∞ 1 1

αt dt
3

1
1 − 1 + t α dt, 1
t α − sin t α dt, −∞
π

4 Discuter selon α > 0 et β ∈ R la nature de l’intégrale de Bertrand généralisée


Z +∞
1
dt.
2 t (ln t)β
α

R +∞
5 Si f : [a, +∞[→ R est une fonction continue et positive telle que a
f (t) dt = 0, montrer alors
que f est identiquement nulle.

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 34 / 68


Intégrale absolument convergente

Intégrale absolument convergente

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 35 / 68


Intégrale absolument convergente

Soit f une fonction continue sur [a, +∞[

Définition
R +∞ R +∞
a
f (t) dt est absolument convergente si a f (t) dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 36 / 68


Intégrale absolument convergente

Soit f une fonction continue sur [a, +∞[

Définition
R +∞ R +∞
a
f (t) dt est absolument convergente si a f (t) dt converge

Théorème
R +∞
Si l’intégrale a
f (t) dt est absolument convergente, alors elle est convergente

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 36 / 68


Intégrale absolument convergente

Soit f une fonction continue sur [a, +∞[

Définition
R +∞ R +∞
a
f (t) dt est absolument convergente si a f (t) dt converge

Théorème
R +∞
Si l’intégrale a
f (t) dt est absolument convergente, alors elle est convergente

Démonstration.

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 36 / 68


Intégrale absolument convergente

Soit f une fonction continue sur [a, +∞[

Définition
R +∞ R +∞
a
f (t) dt est absolument convergente si a f (t) dt converge

Théorème
R +∞
Si l’intégrale a
f (t) dt est absolument convergente, alors elle est convergente

Démonstration.
R +∞
Comme a f (t) dt converge alors par le critère de Cauchy (sens direct) :
 Z v 
∀ > 0 ∃M > a u, v > M =⇒ f (t) dt < 
u

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 36 / 68


Intégrale absolument convergente

Soit f une fonction continue sur [a, +∞[

Définition
R +∞ R +∞
a
f (t) dt est absolument convergente si a f (t) dt converge

Théorème
R +∞
Si l’intégrale a
f (t) dt est absolument convergente, alors elle est convergente

Démonstration.
R +∞
Comme a f (t) dt converge alors par le critère de Cauchy (sens direct) :
 Z v 
∀ > 0 ∃M > a u, v > M =⇒ f (t) dt < 
u
Rv Rv
u
f (t) dt 6 u
f (t) dt < 

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 36 / 68


Intégrale absolument convergente

Soit f une fonction continue sur [a, +∞[

Définition
R +∞ R +∞
a
f (t) dt est absolument convergente si a f (t) dt converge

Théorème
R +∞
Si l’intégrale a
f (t) dt est absolument convergente, alors elle est convergente

Démonstration.
R +∞
Comme a f (t) dt converge alors par le critère de Cauchy (sens direct) :
 Z v 
∀ > 0 ∃M > a u, v > M =⇒ f (t) dt < 
u
Rv Rv
u
f (t) dt 6 u
f (t) dt < 
R +∞
Par le critère de Cauchy (sens réciproque), a
f (t) dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 36 / 68


Intégrale absolument convergente

Exemple
+∞
sin t
Z
dt est absolument convergente (donc convergente)
1 t2

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 37 / 68


Intégrale absolument convergente

Exemple
+∞
sin t
Z
dt est absolument convergente (donc convergente)
1 t2
Preuve :

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 37 / 68


Intégrale absolument convergente

Exemple
+∞
sin t
Z
dt est absolument convergente (donc convergente)
1 t2
Preuve :
| sin t| 1
t2 6 t2 , pour tout t

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 37 / 68


Intégrale absolument convergente

Exemple
+∞
sin t
Z
dt est absolument convergente (donc convergente)
1 t2
Preuve :
| sin t| 1
t2 6 t 2 , pour tout t
R +∞ 1
or 1 t 2 dt est convergente

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 37 / 68


Intégrale absolument convergente

Exemple
+∞
sin t
Z
dt est absolument convergente (donc convergente)
1 t2
Preuve :
| sin t| 1
t2 6 t 2 , pour tout t
R +∞ 1
or 1 t 2 dt est convergente
R +∞ sin t
par le théorème de comparaison, 1 t2 dt est absolument convergente

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 37 / 68


Intégrale semi-convergente

Intégrale semi-convergente

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 38 / 68


Intégrale semi-convergente

Définition
R +∞
Une intégrale a
f (t) dt est semi-convergente si elle est convergente mais pas absolument
convergente

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 39 / 68


Intégrale semi-convergente

Définition
R +∞
Une intégrale a
f (t) dt est semi-convergente si elle est convergente mais pas absolument
convergente

Exemple
+∞
sin t
Z
dt est semi-convergente
1 t

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 39 / 68


Intégrale semi-convergente

Définition
R +∞
Une intégrale a
f (t) dt est semi-convergente si elle est convergente mais pas absolument
convergente

Exemple
+∞
sin t
Z
dt est semi-convergente
1 t
1 L’intégrale est convergente
Rx sin t
 − cos t x Rx cos t
1 t
dt = t 1
− 1 t2
dt

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 39 / 68


Intégrale semi-convergente

Définition
R +∞
Une intégrale a
f (t) dt est semi-convergente si elle est convergente mais pas absolument
convergente

Exemple
+∞
sin t
Z
dt est semi-convergente
1 t
1 L’intégrale est convergente
t x
Rx Rx
sin t
dt = − cos cos t
 
− 1 t2
dt
 1− cost t x t 1

t 1
= − cosx x + cos 1

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 39 / 68


Intégrale semi-convergente

Définition
R +∞
Une intégrale a
f (t) dt est semi-convergente si elle est convergente mais pas absolument
convergente

Exemple
+∞
sin t
Z
dt est semi-convergente
1 t
1 L’intégrale est convergente
t x
Rx Rx
sin t
dt = − cos − 1 cos t
 
t2
dt
 1− cost t x t
cos x
1
x7→+∞
t 1
= − x
+ cos 1 −− − − → cos 1

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 39 / 68


Intégrale semi-convergente

Définition
R +∞
Une intégrale a
f (t) dt est semi-convergente si elle est convergente mais pas absolument
convergente

Exemple
+∞
sin t
Z
dt est semi-convergente
1 t
1 L’intégrale est convergente
t x
Rx Rx
sin t
dt = − cos − 1 cos t
 
t2
dt
 1− cost t x t
cos x
1
x7→+∞
t 1
= − x
+ cos 1 −− − − → cos 1
R +∞ cos t
1 t2
dt est absolument convergente

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 39 / 68


Intégrale semi-convergente

Définition
R +∞
Une intégrale a
f (t) dt est semi-convergente si elle est convergente mais pas absolument
convergente

Exemple
+∞
sin t
Z
dt est semi-convergente
1 t
1 L’intégrale est convergente
t x
Rx Rx
sin t
dt = − cos − 1 cos t
 
t2
dt
 1− cost t x t
cos x
1
x7→+∞
t 1
= − x
+ cos 1 −− − − → cos 1
R +∞ cos t
1 t2
dt est absolument convergente
2 L’intégrale n’est pas absolument convergente

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 39 / 68


Intégrale semi-convergente

Définition
R +∞
Une intégrale a
f (t) dt est semi-convergente si elle est convergente mais pas absolument
convergente

Exemple
+∞
sin t
Z
dt est semi-convergente
1 t
1 L’intégrale est convergente
t x
Rx Rx
sin t
dt = − cos − 1 cos t
 
t2
dt
 1− cost t x t
cos x
1
x7→+∞
t 1
= − x
+ cos 1 −− − − → cos 1
R +∞ cos t
1 t2
dt est absolument convergente
2 L’intégrale n’est pas absolument convergente
| sin t| sin2 t
t
> t

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 39 / 68


Intégrale semi-convergente

Définition
R +∞
Une intégrale a
f (t) dt est semi-convergente si elle est convergente mais pas absolument
convergente

Exemple
+∞
sin t
Z
dt est semi-convergente
1 t
1 L’intégrale est convergente
t x
Rx Rx
sin t
dt = − cos − 1 cos t
 
t2
dt
 1− cost t x t
cos x
1
x7→+∞
t 1
= − x
+ cos 1 −− − − → cos 1
R +∞ cos t
1 t2
dt est absolument convergente
2 L’intégrale n’est pas absolument convergente
| sin t| sin2 t 1−cos(2t)
t
> t
= 2t

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 39 / 68


Intégrale semi-convergente

Définition
R +∞
Une intégrale a
f (t) dt est semi-convergente si elle est convergente mais pas absolument
convergente

Exemple
+∞
sin t
Z
dt est semi-convergente
1 t
1 L’intégrale est convergente
t x
Rx Rx
sin t
dt = − cos − 1 cos t
 
t2
dt
 1− cost t x t
cos x
1
x7→+∞
t 1
= − x
+ cos 1 −− − − → cos 1
R +∞ cos t
1 t2
dt est absolument convergente
2 L’intégrale n’est pas absolument convergente
| sin t| sin2 t
t
> t
= 1−cos(2t)
2t
R +∞ 1−cos(2t)
1 2t
dt

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 39 / 68


Intégrale semi-convergente

Définition
R +∞
Une intégrale a
f (t) dt est semi-convergente si elle est convergente mais pas absolument
convergente

Exemple
+∞
sin t
Z
dt est semi-convergente
1 t
1 L’intégrale est convergente
t x
Rx Rx
sin t
dt = − cos − 1 cos t
 
t2
dt
 1− cost t x t
cos x
1
x7→+∞
t 1
= − x
+ cos 1 −− − − → cos 1
R +∞ cos t
1 t2
dt est absolument convergente
2 L’intégrale n’est pas absolument convergente
| sin t| sin2 t
t
> t
= 1−cos(2t)
2t
R +∞ 1−cos(2t) R +∞ 1 R +∞ cos(2t)
1 2t
dt = 1 2t
dt − 1 2t
dt

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 39 / 68


Intégrale semi-convergente

Définition
R +∞
Une intégrale a
f (t) dt est semi-convergente si elle est convergente mais pas absolument
convergente

Exemple
+∞
sin t
Z
dt est semi-convergente
1 t
1 L’intégrale est convergente
t x
Rx Rx
sin t
dt = − cos − 1 cos t
 
t2
dt
 1− cost t x t
cos x
1
x7→+∞
t 1
= − x
+ cos 1 −− − − → cos 1
R +∞ cos t
1 t2
dt est absolument convergente
2 L’intégrale n’est pas absolument convergente
| sin t| sin2 t
t
> t
= 1−cos(2t)
2t
R +∞ 1−cos(2t) R +∞ 1 R +∞ cos(2t)
2t
dt = 2t
dt − 2t
dt
R1+∞ | sin t|
1 1

1 t
dt diverge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 39 / 68


Théorème d’Abel

Théorème d’Abel

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 40 / 68


Théorème d’Abel

Théorème (d’Abel)
Soit f une fonction C 1 sur [a, +∞[, positive, décroissante, ayant une limite nulle en +∞
Rx
Soit g une fonction continue sur [a, +∞[, telle que la primitive a g (t) dt soit bornée
Alors l’intégrale Z +∞
f (t) g (t) dt converge
a

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 41 / 68


Théorème d’Abel

Théorème (d’Abel)
Soit f une fonction C 1 sur [a, +∞[, positive, décroissante, ayant une limite nulle en +∞
Rx
Soit g une fonction continue sur [a, +∞[, telle que la primitive a g (t) dt soit bornée
Alors l’intégrale Z +∞
f (t) g (t) dt converge
a

Exemple
Si α > 0 et k impair, alors l’intégrale
+∞
sink (t)
Z
dt converge
1 tα

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 41 / 68


Théorème d’Abel

Théorème (d’Abel)
Soit f une fonction C 1 sur [a, +∞[, positive, décroissante, ayant une limite nulle en +∞
Rx
Soit g une fonction continue sur [a, +∞[, telle que la primitive a g (t) dt soit bornée
Alors l’intégrale Z +∞
f (t) g (t) dt converge
a

Exemple
Si α > 0 et k impair, alors l’intégrale
+∞
sink (t)
Z
dt converge
1 tα
1
et g (t) = sink (t) =
P
Théorème d’Abel pour f (t) = tα sin(`t)

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 41 / 68


Mini-exercices

Mini-exercices

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 42 / 68


Mini-exercices

Exercice
1 Soient f : [a, +∞[→ R une fonction continue et α > 12 tel que limt→+∞ t α f (t) = 0. Montrer que
R +∞ f (t)
l’intégrale a
R +∞ t α dt est absolument convergente. En déduire que si P(t) est un polynôme alors
−t
0
P(t)e dt converge.
2 En admettant que le théorème d’Abel est vrai pour une fonction g à valeurs complexes, montrer
R +∞ e i t
que 1 t α dt est convergente pour tout α > 0. Est-elle toujours absolument convergente ?
R (n+1)π sin t 2
3 Montrer nπ t dt > (n+1)π . (Indication : garder le sinus dans une première minoration.)
En utilisant un résultat sur les séries, en déduire une nouvelle démonstration du fait que l’intégrale
R +∞ sin t
π t dt n’est pas absolument convergente.

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 43 / 68


Fonctions positives

Fonctions positives

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 44 / 68


Fonctions positives

a b

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 45 / 68


Fonctions positives

a b

Z b Z b
f (t) dt = lim f (t) dt
a x→a + x

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 45 / 68


Théorème de comparaison

Théorème de comparaison

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 46 / 68


Théorème de comparaison

Théorème (de comparaison)


Soient f et g deux fonctions positives et continues sur ]a, b]. Supposons que f soit majorée par g au
voisinage de a, c’est-à-dire :
∃ > 0 ∀t ∈]a, a + ] f (t) 6 g (t)
Rb Rb
1 Si
a
g (t) dt converge alors a f (t) dt converge
Rb Rb
2 Si
a
f (t) dt diverge alors a g (t) dt diverge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 47 / 68


Théorème de comparaison

Théorème (de comparaison)


Soient f et g deux fonctions positives et continues sur ]a, b]. Supposons que f soit majorée par g au
voisinage de a, c’est-à-dire :
∃ > 0 ∀t ∈]a, a + ] f (t) 6 g (t)
Rb Rb
1 Si
a
g (t) dt converge alors a f (t) dt converge
Rb Rb
2 Si
a
f (t) dt diverge alors a g (t) dt diverge
R1 (− ln t)α
Est-ce que 0

t
dt converge (α ∈ R) ?

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 47 / 68


Théorème de comparaison

Théorème (de comparaison)


Soient f et g deux fonctions positives et continues sur ]a, b]. Supposons que f soit majorée par g au
voisinage de a, c’est-à-dire :
∃ > 0 ∀t ∈]a, a + ] f (t) 6 g (t)
Rb Rb
1 Si
a
g (t) dt converge alors a f (t) dt converge
Rb Rb
2 Si
a
f (t) dt diverge alors a g (t) dt diverge
R1 (− ln t)α
Est-ce que 0
√dt converge (α ∈ R) ?
t
α
(− ln t)
= (− ln t)α t 1/4 t −3/4


t

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 47 / 68


Théorème de comparaison

Théorème (de comparaison)


Soient f et g deux fonctions positives et continues sur ]a, b]. Supposons que f soit majorée par g au
voisinage de a, c’est-à-dire :
∃ > 0 ∀t ∈]a, a + ] f (t) 6 g (t)
Rb Rb
1 Si
a
g (t) dt converge alors a f (t) dt converge
Rb Rb
2 Si
a
f (t) dt diverge alors a g (t) dt diverge
R1 (− ln t)α
Est-ce que 0
√dt converge (α ∈ R) ?
t
α
(− ln t)
= (− ln t)α t 1/4 t −3/4


t
On sait que limt→0+ (− ln t)α t 1/4 = 0

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 47 / 68


Théorème de comparaison

Théorème (de comparaison)


Soient f et g deux fonctions positives et continues sur ]a, b]. Supposons que f soit majorée par g au
voisinage de a, c’est-à-dire :
∃ > 0 ∀t ∈]a, a + ] f (t) 6 g (t)
Rb Rb
1 Si
a
g (t) dt converge alors a f (t) dt converge
Rb Rb
2 Si
a
f (t) dt diverge alors a g (t) dt diverge
R1 (− ln t)α
Est-ce que 0
√dt converge (α ∈ R) ?
t
α
(− ln t)
= (− ln t)α t 1/4 t −3/4


t
On sait que limt→0+ (− ln t)α t 1/4 = 0
∃ > 0 tel que ∀t ∈]0, ] (− ln t)α t 1/4 6 1

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 47 / 68


Théorème de comparaison

Théorème (de comparaison)


Soient f et g deux fonctions positives et continues sur ]a, b]. Supposons que f soit majorée par g au
voisinage de a, c’est-à-dire :
∃ > 0 ∀t ∈]a, a + ] f (t) 6 g (t)
Rb Rb
1 Si
a
g (t) dt converge alors a f (t) dt converge
Rb Rb
2 Si
a
f (t) dt diverge alors a g (t) dt diverge
R1 (− ln t)α
Est-ce que 0
√dt converge (α ∈ R) ?
t
α
(− ln t)
= (− ln t)α t 1/4 t −3/4


t
On sait que limt→0+ (− ln t)α t 1/4 = 0
∃ > 0 tel que ∀t ∈]0, ] (− ln t)α t 1/4 6 1
α
(− ln t)
∀t ∈]0, ] √
t
6 t −3/4

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 47 / 68


Théorème de comparaison

Théorème (de comparaison)


Soient f et g deux fonctions positives et continues sur ]a, b]. Supposons que f soit majorée par g au
voisinage de a, c’est-à-dire :
∃ > 0 ∀t ∈]a, a + ] f (t) 6 g (t)
Rb Rb
1 Si
a
g (t) dt converge alors a f (t) dt converge
Rb Rb
2 Si
a
f (t) dt diverge alors a g (t) dt diverge
R1 (− ln t)α
Est-ce que 0
√dt converge (α ∈ R) ?
t
α
(− ln t)
= (− ln t)α t 1/4 t −3/4


t
On sait que limt→0+ (− ln t)α t 1/4 = 0
∃ > 0 tel que ∀t ∈]0, ] (− ln t)α t 1/4 6 1
α
ln t)
∀t ∈]0, ] (− √ t
6 t −3/4
R 1 −3/4
0
t dt = lim→0 [4t 1/4 ]1 = 4 converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 47 / 68


Théorème de comparaison

Théorème (de comparaison)


Soient f et g deux fonctions positives et continues sur ]a, b]. Supposons que f soit majorée par g au
voisinage de a, c’est-à-dire :
∃ > 0 ∀t ∈]a, a + ] f (t) 6 g (t)
Rb Rb
1 Si
a
g (t) dt converge alors a f (t) dt converge
Rb Rb
2 Si
a
f (t) dt diverge alors a g (t) dt diverge
R1 (− ln t)α
Est-ce que 0
√dt converge (α ∈ R) ?
t
α
(− ln t)
= (− ln t)α t 1/4 t −3/4


t
On sait que limt→0+ (− ln t)α t 1/4 = 0
∃ > 0 tel que ∀t ∈]0, ] (− ln t)α t 1/4 6 1
α
ln t)
∀t ∈]0, ] (− √ t
6 t −3/4
R 1 −3/4
0
t dt = lim→0 [4t 1/4 ]1 = 4 converge
R 1 ln t)α
Par comparaison 0 (− √ t
dt converge aussi
E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 47 / 68
Théorème des équivalents

Théorème des équivalents

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 48 / 68


Théorème des équivalents

Théorème (des équivalents)


Soient f et g deux fonctions continues et strictement positives sur ]a, b]. Supposons qu’elles soient
Rb
équivalentes au voisinage de a, c’est-à-dire : limt→a+ gf (t)
(t) = 1 . L’intégrale a f (t) dt converge si et
Rb
seulement si a g (t) dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 49 / 68


Théorème des équivalents

Théorème (des équivalents)


Soient f et g deux fonctions continues et strictement positives sur ]a, b]. Supposons qu’elles soient
Rb
équivalentes au voisinage de a, c’est-à-dire : limt→a+ gf (t)
(t) = 1 . L’intégrale a f (t) dt converge si et
Rb
seulement si a g (t) dt converge

Exemple
R 1 q − ln t+1
0 sin t dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 49 / 68


Théorème des équivalents

Théorème (des équivalents)


Soient f et g deux fonctions continues et strictement positives sur ]a, b]. Supposons qu’elles soient
Rb
équivalentes au voisinage de a, c’est-à-dire : limt→a+ gf (t)
(t) = 1 . L’intégrale a f (t) dt converge si et
Rb
seulement si a g (t) dt converge

Exemple
R 1 q − ln t+1 q
− ln t+1 (− ln t)1/2
0 sin t dt converge car sin t ∼+ √
t
0

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 49 / 68


Théorème des équivalents

Intégrales de Riemann
1
1
Z
Si α < 1 alors dt converge
0 tα
1
1
Z
Si α > 1 alors dt diverge
0 tα

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 50 / 68


Théorème des équivalents

Intégrales de Riemann
1
1
Z
Si α < 1 alors dt converge
0 tα
1
1
Z
Si α > 1 alors dt diverge
0 tα

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 50 / 68


Fonctions oscillantes

Fonctions oscillantes

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 51 / 68


Fonctions oscillantes

a b

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 52 / 68


Fonctions oscillantes

a b

Z b Z b
f (t) dt = lim+ f (t) dt
a x→a x

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 52 / 68


Fonctions oscillantes

a b

Z b Z b
f (t) dt = lim+ f (t) dt
a x→a x
1
Le changement de variable u = t−a ramène au cas étudié auparavant d’une fonction oscillante sur un
intervalle non borné
E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 52 / 68
Fonctions oscillantes

Définition
Rb
Soit f une fonction continue sur ]a, b]. On dit que a
f (t) dt est absolument convergente si
Rb
a
f (t) dt est une intégrale convergente

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 53 / 68


Fonctions oscillantes

Définition
Rb
Soit f une fonction continue sur ]a, b]. On dit que a
f (t) dt est absolument convergente si
Rb
a
f (t) dt est une intégrale convergente

Théorème
Rb
Si l’intégrale a
f (t) dt est absolument convergente, alors elle est convergente

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 53 / 68


Fonctions oscillantes

Définition
Rb
Soit f une fonction continue sur ]a, b]. On dit que a
f (t) dt est absolument convergente si
Rb
a
f (t) dt est une intégrale convergente

Théorème
Rb
Si l’intégrale a
f (t) dt est absolument convergente, alors elle est convergente

Exemple
R1 sin 1t
1 L’intégrale 0

t
dt est absolument convergente

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 53 / 68


Fonctions oscillantes

Définition
Rb
Soit f une fonction continue sur ]a, b]. On dit que a
f (t) dt est absolument convergente si
Rb
a
f (t) dt est une intégrale convergente

Théorème
Rb
Si l’intégrale a
f (t) dt est absolument convergente, alors elle est convergente

Exemple
R1 sin 1t
1 L’intégrale 0

t
dt est absolument convergente
1
sin t 1
En effet √
t
6 √
t
.

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 53 / 68


Fonctions oscillantes

Définition
Rb
Soit f une fonction continue sur ]a, b]. On dit que a
f (t) dt est absolument convergente si
Rb
a
f (t) dt est une intégrale convergente

Théorème
Rb
Si l’intégrale a
f (t) dt est absolument convergente, alors elle est convergente

Exemple
R1 sin 1t
1 L’intégrale 0

t
dt est absolument convergente
1
sin R1
En effet √
t
t
6 √1t . Or l’intégrale 0 √1t dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 53 / 68


Fonctions oscillantes

Définition
Rb
Soit f une fonction continue sur ]a, b]. On dit que a
f (t) dt est absolument convergente si
Rb
a
f (t) dt est une intégrale convergente

Théorème
Rb
Si l’intégrale a
f (t) dt est absolument convergente, alors elle est convergente

Exemple
R1 sin 1t
1 L’intégrale 0

t
dt est absolument convergente
1
sin R1
En effet √
t
t
6 √1t . Or l’intégrale 0 √1t dt converge
R1 1
sin
2 Par contre, 0 t
t
dt n’est pas absolument convergente mais elle est convergente, comme
R ∞ sin u
1 u du

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 53 / 68


Fonctions oscillantes

Définition
Rb
Soit f une fonction continue sur ]a, b]. On dit que a
f (t) dt est absolument convergente si
Rb
a
f (t) dt est une intégrale convergente

Théorème
Rb
Si l’intégrale a
f (t) dt est absolument convergente, alors elle est convergente

Exemple
R1 sin 1t
1 L’intégrale 0

t
dt est absolument convergente
1
sin R1
En effet √
t
t
6 √1t . Or l’intégrale 0 √1t dt converge
R1 1
sin
2 Par contre, 0 t
t
dt n’est pas absolument convergente mais elle est convergente, comme
R ∞ sin u
1 u du
R1 1 R1 R 1/x
sin −1 sin u
x t
t
dt = 1/x
u sin u · u2 du = 1 u du
E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 53 / 68
Mini-exercices

Mini-exercices

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 54 / 68


Mini-exercices

Exercice
1 Étudier la convergence des intégrales :
1 1 Z 1 1
dt dt 1 1
Z Z Z
√ ln dt t sin dt
0 1−t
0 1 − t 0 t 0 t
R1
2 Pour quelles valeurs de β ∈ R l’intégrale 0 t(− dt
ln t)β
converge ?
3 Prouver le théorème de comparaison et le théorème des équivalents de cette section, en vous
inspirant des démonstrations des sections précédentes.
4 Même travail pour montrer qu’une intégrale absolument convergente est convergente.

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 55 / 68


Intégration par parties

Intégration par parties

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 56 / 68


Intégration par parties

Théorème (Intégration par parties)

Z Z
u(t) v 0 (t) dt = uv − u0 (t) v(t) dt
 

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 57 / 68


Intégration par parties

Théorème (Intégration par parties)


Soient u et v deux fonctions de classe C 1 sur l’intervalle [a, +∞[
Supposons que limt→+∞ u(t)v(t) existe et soit finie
Z +∞ Z +∞
0
Les intégrales u(t) v (t) dt et u0 (t) v(t) dt sont de même nature. En cas de convergence
a a
on a : Z +∞ Z +∞
0
 +∞
u(t) v (t) dt = uv a − u0 (t) v(t) dt
a a

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 57 / 68


Intégration par parties

Théorème (Intégration par parties)


Soient u et v deux fonctions de classe C 1 sur l’intervalle [a, +∞[
Supposons que limt→+∞ u(t)v(t) existe et soit finie
Z +∞ Z +∞
0
Les intégrales u(t) v (t) dt et u0 (t) v(t) dt sont de même nature. En cas de convergence
a a
on a : Z +∞ Z +∞
0
 +∞
u(t) v (t) dt = uv a − u0 (t) v(t) dt
a a
 +∞
uv a
= limt→+∞ (uv)(t) − (uv)(a)

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 57 / 68


Intégration par parties

Théorème (Intégration par parties)


Soient u et v deux fonctions de classe C 1 sur l’intervalle [a, +∞[
Supposons que limt→+∞ u(t)v(t) existe et soit finie
Z +∞ Z +∞
0
Les intégrales u(t) v (t) dt et u0 (t) v(t) dt sont de même nature. En cas de convergence
a a
on a : Z +∞ Z +∞
0
 +∞
u(t) v (t) dt = uv a − u0 (t) v(t) dt
a a
 +∞
uv a
= limt→+∞ (uv)(t) − (uv)(a)

Démonstration.
C’est la formule usuelle d’intégration par parties
Z x Z x
0
 x
u(t) v (t) dt = uv a − u0 (t) v(t) dt
a a

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 57 / 68


Intégration par parties

Exemple
R +∞
Que vaut l’espérance 0
λte −λt dt de la loi exponentielle (λ > 0) ?

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 58 / 68


Intégration par parties

Exemple
R +∞
Que vaut l’espérance 0 λte −λt dt de la loi exponentielle (λ > 0) ?
Intégration par parties : u = λt, v 0 = e −λt

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 58 / 68


Intégration par parties

Exemple
R +∞
Que vaut l’espérance 0 λte −λt dt de la loi exponentielle (λ > 0) ?
Intégration par parties : u = λt, v 0 = e −λt
Z x Z x
λte −λt dt = u(t) v 0 (t) dt
0 0

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 58 / 68


Intégration par parties

Exemple
R +∞
Que vaut l’espérance 0 λte −λt dt de la loi exponentielle (λ > 0) ?
Intégration par parties : u = λt, v 0 = e −λt
Z x Z x
λte −λt dt = u(t) v 0 (t) dt
0 0
Z x
 x
= uv 0 − u0 (t) v(t) dt
0

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 58 / 68


Intégration par parties

Exemple
R +∞
Que vaut l’espérance 0 λte −λt dt de la loi exponentielle (λ > 0) ?
Intégration par parties : u = λt, v 0 = e −λt
Z x Z x
λte −λt dt = u(t) v 0 (t) dt
0 0
Z x
 x
= uv 0 − u0 (t) v(t) dt
0
Z x
h −1 −λt ix −1 −λt
= λt · e − λ· e dt
λ 0 0 λ

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 58 / 68


Intégration par parties

Exemple
R +∞
Que vaut l’espérance 0 λte −λt dt de la loi exponentielle (λ > 0) ?
Intégration par parties : u = λt, v 0 = e −λt
Z x Z x
λte −λt dt = u(t) v 0 (t) dt
0 0
Z x
 x
= uv 0 − u0 (t) v(t) dt
0
Z x
h −1 −λt ix −1 −λt
= λt · e − λ· e dt
λ 0 0 λ
Z x
= −xe −λx + e −λt dt
0

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 58 / 68


Intégration par parties

Exemple
R +∞
Que vaut l’espérance 0 λte −λt dt de la loi exponentielle (λ > 0) ?
Intégration par parties : u = λt, v 0 = e −λt
Z x Z x
λte −λt dt = u(t) v 0 (t) dt
0 0
Z x
 x
= uv 0 − u0 (t) v(t) dt
0
Z x
h −1 −λt ix −1 −λt
= λt · e − λ· e dt
λ 0 0 λ
Z x
= −xe −λx + e −λt dt
0
h −1 ix
−λx
= −xe + e −λt
λ 0

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 58 / 68


Intégration par parties

Exemple
R +∞
Que vaut l’espérance 0 λte −λt dt de la loi exponentielle (λ > 0) ?
Intégration par parties : u = λt, v 0 = e −λt
Z x Z x
λte −λt dt = u(t) v 0 (t) dt
0 0
Z x
 x
= uv 0 − u0 (t) v(t) dt
0
Z x
h −1 −λt ix −1 −λt
= λt · e − λ· e dt
λ 0 0 λ
Z x
= −xe −λx + e −λt dt
0
h −1 ix
−λx
= −xe + e −λt
λ 0
−λx 1 −λx 
= −xe − e −1
λ

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 58 / 68


Intégration par parties

Exemple
R +∞
Que vaut l’espérance 0 λte −λt dt de la loi exponentielle (λ > 0) ?
Intégration par parties : u = λt, v 0 = e −λt
Z x Z x
λte −λt dt = u(t) v 0 (t) dt
0 0
Z x
 x
= uv 0 − u0 (t) v(t) dt
0
Z x
h −1 −λt ix −1 −λt
= λt · e − λ· e dt
λ 0 0 λ
Z x
= −xe −λx + e −λt dt
0
h −1 ix
−λx
= −xe + e −λt
λ 0
−λx 1 −λx  x7→+∞ 1
= −xe − e − 1 −−−−−→
λ λ

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 58 / 68


Intégration par parties

Exemple
R +∞
Que vaut l’espérance 0 λte −λt dt de la loi exponentielle (λ > 0) ?
Intégration par parties : u = λt, v 0 = e −λt
Z x Z x
λte −λt dt = u(t) v 0 (t) dt
0 0
Z x
 x
= uv 0 − u0 (t) v(t) dt
0
Z x
h −1 −λt ix −1 −λt
= λt · e − λ· e dt
λ 0 0 λ
Z x
= −xe −λx + e −λt dt
0
h −1 ix
−λx
= −xe + e −λt
λ 0
−λx 1 −λx  x7→+∞ 1
= −xe − e − 1 −−−−−→
λ λ
R +∞ 1
Ainsi 0
λte −λt dt = λ

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 58 / 68


Changement de variable

Changement de variable

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 59 / 68


Changement de variable

Théorème (Changement de variable)

Z +∞ Z β
f ϕ(t) · ϕ0 (t) dt

f (x) dx =
a α

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 60 / 68


Changement de variable

Théorème (Changement de variable)


Soit f une fonction définie sur un intervalle I = [a, +∞[
Soit J = [α, β[ un intervalle avec α ∈ R et β ∈ R ou β = +∞
Soit ϕ : J → I un difféomorphisme de classe C 1
R +∞ Rβ
Les intégrales a f (x) dx et α f ϕ(t) · ϕ0 (t) dt sont de même nature. En cas de convergence, on


a: Z +∞ Z β
f ϕ(t) · ϕ0 (t) dt

f (x) dx =
a α

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 60 / 68


Changement de variable

Théorème (Changement de variable)


Soit f une fonction définie sur un intervalle I = [a, +∞[
Soit J = [α, β[ un intervalle avec α ∈ R et β ∈ R ou β = +∞
Soit ϕ : J → I un difféomorphisme de classe C 1
R +∞ Rβ
Les intégrales a f (x) dx et α f ϕ(t) · ϕ0 (t) dt sont de même nature. En cas de convergence, on


a: Z +∞ Z β
f ϕ(t) · ϕ0 (t) dt

f (x) dx =
a α

Un difféomorphisme de classe C 1 est une application C 1 , bijective, dont la bijection réciproque est
aussi C 1

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 60 / 68


Changement de variable

Exemple
R +∞
L’intégrale de Fresnel 1
sin(t 2 ) dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 61 / 68


Changement de variable

Exemple
R +∞
L’intégrale de Fresnel 1
sin(t 2 ) dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 61 / 68


Changement de variable

Exemple
R +∞
L’intégrale de Fresnel 1
sin(t 2 ) dt converge
√ du
Changement de variable u = t 2 , qui induit t = u, dt = √
2 u

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 61 / 68


Changement de variable

Exemple
R +∞
L’intégrale de Fresnel 1
sin(t 2 ) dt converge

Changement de variable u = t 2 , qui induit t = u, dt = 2du

u
√ 2
ϕ : u 7→ t = u est un difféomorphisme entre u ∈ [1,x ] et t ∈ [1,x]

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 61 / 68


Changement de variable

Exemple
R +∞
L’intégrale de Fresnel 1
sin(t 2 ) dt converge

Changement de variable u = t 2 , qui induit t = u, dt = 2du

u
√ 2
ϕ : u 7→ t = u est un difféomorphisme entre u ∈ [1,x ] et t ∈ [1,x]
Théorème : f (t) dt = f ϕ(u) · ϕ0 (u) du
R R 

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 61 / 68


Changement de variable

Exemple
R +∞
L’intégrale de Fresnel 1
sin(t 2 ) dt converge

Changement de variable u = t 2 , qui induit t = u, dt = 2du

u
√ 2
ϕ : u 7→ t = u est un difféomorphisme entre u ∈ [1,x ] et t ∈ [1,x]
Théorème : f (t) dt = f ϕ(u) · ϕ0 (u) du
R R 
Rx R x2
D’où 1 sin(t 2 ) dt = 1 sin(u) 2du√
u

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 61 / 68


Changement de variable

Exemple
R +∞
L’intégrale de Fresnel 1
sin(t 2 ) dt converge

Changement de variable u = t 2 , qui induit t = u, dt = 2du

u
√ 2
ϕ : u 7→ t = u est un difféomorphisme entre u ∈ [1,x ] et t ∈ [1,x]
Théorème : f (t) dt = f ϕ(u) · ϕ0 (u) du
R R 
Rx R x2
D’où 1 sin(t 2 ) dt = 1 sin(u) 2du√
u
R +∞ sin u
Par le théorème d’Abel 1 √
u
du converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 61 / 68


Changement de variable

Exemple
R +∞
L’intégrale de Fresnel 1
sin(t 2 ) dt converge

Changement de variable u = t 2 , qui induit t = u, dt = 2du

u
√ 2
ϕ : u 7→ t = u est un difféomorphisme entre u ∈ [1,x ] et t ∈ [1,x]
Théorème : f (t) dt = f ϕ(u) · ϕ0 (u) du
R R 
Rx R x2
D’où 1 sin(t 2 ) dt = 1 sin(u) 2du √
u
R +∞ sin u
Par le théorème d’Abel 1 √
u
du converge
R x2
Donc 1 sin(u) 2du √ admet une limite finie (lorsque x → +∞)
u

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 61 / 68


Changement de variable

Exemple
R +∞
L’intégrale de Fresnel 1
sin(t 2 ) dt converge

Changement de variable u = t 2 , qui induit t = u, dt = 2du √
u
√ 2
ϕ : u 7→ t = u est un difféomorphisme entre u ∈ [1,x ] et t ∈ [1,x]
Théorème : f (t) dt = f ϕ(u) · ϕ0 (u) du
R R 
Rx R x2
D’où 1 sin(t 2 ) dt = 1 sin(u) 2du √
u
R +∞ sin u
Par le théorème d’Abel 1 √
u
du converge
R x2
Donc 1 sin(u) 2du √ admet une limite finie (lorsque x → +∞)
u
Rx
Ce qui prouve que 1 sin(t 2 ) dt admet aussi une limite finie

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 61 / 68


Changement de variable

Exemple
R +∞
L’intégrale de Fresnel 1
sin(t 2 ) dt converge

Changement de variable u = t 2 , qui induit t = u, dt = 2du √
u
√ 2
ϕ : u 7→ t = u est un difféomorphisme entre u ∈ [1,x ] et t ∈ [1,x]
Théorème : f (t) dt = f ϕ(u) · ϕ0 (u) du
R R 
Rx R x2
D’où 1 sin(t 2 ) dt = 1 sin(u) 2du √
u
R +∞ sin u
Par le théorème d’Abel 1 √
u
du converge
R x2
Donc 1 sin(u) 2du √ admet une limite finie (lorsque x → +∞)
u
Rx
Ce qui prouve que 1 sin(t 2 ) dt admet aussi une limite finie
R +∞
Conclusion : 1 sin(t 2 ) dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 61 / 68


Plan d’étude

Plan d’étude

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 62 / 68


Plan d’étude

Plan d’étude

+∞
sin |t|
Z
sin |t|
I= dt |t|3/2
−∞ |t|3/2

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 63 / 68


Plan d’étude

Plan d’étude

+∞
sin |t|
Z
sin |t|
I= dt |t|3/2
−∞ |t|3/2

Étape 1. Identifier les points incertains

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 63 / 68


Plan d’étude

Plan d’étude

+∞
sin |t|
Z
sin |t|
I= dt |t|3/2
−∞ |t|3/2

Étape 1. Identifier les points incertains


La fonction |t|−3/2 sin |t| est définie sur R∗

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 63 / 68


Plan d’étude

Plan d’étude

+∞
sin |t|
Z
sin |t|
I= dt |t|3/2
−∞ |t|3/2

Étape 1. Identifier les points incertains


La fonction |t|−3/2 sin |t| est définie sur R∗
La fonction est paire, elle tend vers 0 en oscillant quand t tend vers −∞ et +∞

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 63 / 68


Plan d’étude

Plan d’étude

+∞
sin |t|
Z
sin |t|
I= dt |t|3/2
−∞ |t|3/2

Étape 1. Identifier les points incertains


La fonction |t|−3/2 sin |t| est définie sur R∗
La fonction est paire, elle tend vers 0 en oscillant quand t tend vers −∞ et +∞
Elle n’est pas définie en 0 et tend vers +∞ en 0− et en 0+

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 63 / 68


Plan d’étude

Plan d’étude

+∞
sin |t|
Z
sin |t|
I= dt |t|3/2
−∞ |t|3/2

Étape 1. Identifier les points incertains


La fonction |t|−3/2 sin |t| est définie sur R∗
La fonction est paire, elle tend vers 0 en oscillant quand t tend vers −∞ et +∞
Elle n’est pas définie en 0 et tend vers +∞ en 0− et en 0+
4 points incertains : −∞, 0− , 0+ et +∞

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 63 / 68


Plan d’étude

Étape 2. Isoler les points incertains

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 64 / 68


Plan d’étude

Étape 2. Isoler les points incertains


4 intervalles : ] − ∞, −1], [−1, 0[, ]0, 1] et [1, +∞[

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 64 / 68


Plan d’étude

Étape 2. Isoler les points incertains


4 intervalles : ] − ∞, −1], [−1, 0[, ]0, 1] et [1, +∞[
4 intégrales I1 , I2 , I3 et I4

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 64 / 68


Plan d’étude

Étape 2. Isoler les points incertains


4 intervalles : ] − ∞, −1], [−1, 0[, ]0, 1] et [1, +∞[
4 intégrales I1 , I2 , I3 et I4
L’intégrale I ne converge que si chacun des morceaux converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 64 / 68


Plan d’étude

Étape 2. Isoler les points incertains


4 intervalles : ] − ∞, −1], [−1, 0[, ]0, 1] et [1, +∞[
4 intégrales I1 , I2 , I3 et I4
L’intégrale I ne converge que si chacun des morceaux converge
I = I1 + I2 + I3 + I4

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 64 / 68


Plan d’étude

Étape 2. Isoler les points incertains


4 intervalles : ] − ∞, −1], [−1, 0[, ]0, 1] et [1, +∞[
4 intégrales I1 , I2 , I3 et I4
L’intégrale I ne converge que si chacun des morceaux converge
I = I1 + I2 + I3 + I4

Étape 3. Se ramener à une intégrale sur [a, +∞[ ou sur ]a, b]

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 64 / 68


Plan d’étude

Étape 2. Isoler les points incertains


4 intervalles : ] − ∞, −1], [−1, 0[, ]0, 1] et [1, +∞[
4 intégrales I1 , I2 , I3 et I4
L’intégrale I ne converge que si chacun des morceaux converge
I = I1 + I2 + I3 + I4

Étape 3. Se ramener à une intégrale sur [a, +∞[ ou sur ]a, b]


Changement de variable t 7→ −t

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 64 / 68


Plan d’étude

Étape 2. Isoler les points incertains


4 intervalles : ] − ∞, −1], [−1, 0[, ]0, 1] et [1, +∞[
4 intégrales I1 , I2 , I3 et I4
L’intégrale I ne converge que si chacun des morceaux converge
I = I1 + I2 + I3 + I4

Étape 3. Se ramener à une intégrale sur [a, +∞[ ou sur ]a, b]


Changement de variable t 7→ −t
Notre exemple : puisque la fonction est paire, I1 = I4 et I2 = I3

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 64 / 68


Plan d’étude

Étape 4.1. Si c’est possible, calculer une primitive

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 65 / 68


Plan d’étude

Étape 4.1. Si c’est possible, calculer une primitive


Étape 4.2. Si la fonction est de signe constant

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 65 / 68


Plan d’étude

Étape 4.1. Si c’est possible, calculer une primitive


Étape 4.2. Si la fonction est de signe constant
Utiliser le théorème des équivalents ou le théorème de comparaison

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 65 / 68


Plan d’étude

Étape 4.1. Si c’est possible, calculer une primitive


Étape 4.2. Si la fonction est de signe constant
Utiliser le théorème des équivalents ou le théorème de comparaison
Exemple

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 65 / 68


Plan d’étude

Étape 4.1. Si c’est possible, calculer une primitive


Étape 4.2. Si la fonction est de signe constant
Utiliser le théorème des équivalents ou le théorème de comparaison
Exemple
t −3/2 sin |t| ∼ t −1/2
0+

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 65 / 68


Plan d’étude

Étape 4.1. Si c’est possible, calculer une primitive


Étape 4.2. Si la fonction est de signe constant
Utiliser le théorème des équivalents ou le théorème de comparaison
Exemple
t −3/2 sin |t| ∼ t −1/2
0+
R1 1
0 t 1/2
dt converge (intégrale de Riemann)

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 65 / 68


Plan d’étude

Étape 4.1. Si c’est possible, calculer une primitive


Étape 4.2. Si la fonction est de signe constant
Utiliser le théorème des équivalents ou le théorème de comparaison
Exemple
t −3/2 sin |t| ∼ t −1/2
0+
R1 1
0 t 1/2
dt converge (intégrale de Riemann)
R1
donc I3 = 0 t −3/2 sin |t| dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 65 / 68


Plan d’étude

Étape 4.1. Si c’est possible, calculer une primitive


Étape 4.2. Si la fonction est de signe constant
Utiliser le théorème des équivalents ou le théorème de comparaison
Exemple
t −3/2 sin |t| ∼ t −1/2
0+
R1 1
0 t 1/2
dt converge (intégrale de Riemann)
R1
donc I3 = 0 t −3/2 sin |t| dt converge
Étape 4.3. Si la fonction n’est pas de signe constant

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 65 / 68


Plan d’étude

Étape 4.1. Si c’est possible, calculer une primitive


Étape 4.2. Si la fonction est de signe constant
Utiliser le théorème des équivalents ou le théorème de comparaison
Exemple
t −3/2 sin |t| ∼ t −1/2
0+
R1 1
0 t 1/2
dt converge (intégrale de Riemann)
R1
donc I3 = 0 t −3/2 sin |t| dt converge
Étape 4.3. Si la fonction n’est pas de signe constant
Étude de l’intégrale de |f |. S’il y a convergence absolue, il y a convergence

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 65 / 68


Plan d’étude

Étape 4.1. Si c’est possible, calculer une primitive


Étape 4.2. Si la fonction est de signe constant
Utiliser le théorème des équivalents ou le théorème de comparaison
Exemple
t −3/2 sin |t| ∼ t −1/2
0+
R1 1
0 t 1/2
dt converge (intégrale de Riemann)
R1
donc I3 = 0 t −3/2 sin |t| dt converge
Étape 4.3. Si la fonction n’est pas de signe constant
Étude de l’intégrale de |f |. S’il y a convergence absolue, il y a convergence
Si l’intégrale n’est pas absolument convergente, il faut essayer d’appliquer le théorème d’Abel

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 65 / 68


Plan d’étude

Étape 4.1. Si c’est possible, calculer une primitive


Étape 4.2. Si la fonction est de signe constant
Utiliser le théorème des équivalents ou le théorème de comparaison
Exemple
t −3/2 sin |t| ∼ t −1/2
0+
R1 1
0 t 1/2
dt converge (intégrale de Riemann)
R1
donc I3 = 0 t −3/2 sin |t| dt converge
Étape 4.3. Si la fonction n’est pas de signe constant
Étude de l’intégrale de |f |. S’il y a convergence absolue, il y a convergence
Si l’intégrale n’est pas absolument convergente, il faut essayer d’appliquer le théorème d’Abel
Exemple

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 65 / 68


Plan d’étude

Étape 4.1. Si c’est possible, calculer une primitive


Étape 4.2. Si la fonction est de signe constant
Utiliser le théorème des équivalents ou le théorème de comparaison
Exemple
t −3/2 sin |t| ∼ t −1/2
0+
R1 1
0 t 1/2
dt converge (intégrale de Riemann)
R1
donc I3 = 0 t −3/2 sin |t| dt converge
Étape 4.3. Si la fonction n’est pas de signe constant
Étude de l’intégrale de |f |. S’il y a convergence absolue, il y a convergence
Si l’intégrale n’est pas absolument convergente, il faut essayer d’appliquer le théorème d’Abel
Exemple
t −3/2 sin |t| 6 t −3/2

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 65 / 68


Plan d’étude

Étape 4.1. Si c’est possible, calculer une primitive


Étape 4.2. Si la fonction est de signe constant
Utiliser le théorème des équivalents ou le théorème de comparaison
Exemple
t −3/2 sin |t| ∼ t −1/2
0+
R1 1
0 t 1/2
dt converge (intégrale de Riemann)
R1
donc I3 = 0 t −3/2 sin |t| dt converge
Étape 4.3. Si la fonction n’est pas de signe constant
Étude de l’intégrale de |f |. S’il y a convergence absolue, il y a convergence
Si l’intégrale n’est pas absolument convergente, il faut essayer d’appliquer le théorème d’Abel
Exemple
t −3/2 sin |t| 6 t −3/2
R +∞ 1
1 t 3/2
dt converge (intégrale de Riemann)

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 65 / 68


Plan d’étude

Étape 4.1. Si c’est possible, calculer une primitive


Étape 4.2. Si la fonction est de signe constant
Utiliser le théorème des équivalents ou le théorème de comparaison
Exemple
t −3/2 sin |t| ∼ t −1/2
0+
R1 1
0 t 1/2
dt converge (intégrale de Riemann)
R1
donc I3 = 0 t −3/2 sin |t| dt converge
Étape 4.3. Si la fonction n’est pas de signe constant
Étude de l’intégrale de |f |. S’il y a convergence absolue, il y a convergence
Si l’intégrale n’est pas absolument convergente, il faut essayer d’appliquer le théorème d’Abel
Exemple
t −3/2 sin |t| 6 t −3/2
R +∞ 1
1
dt converge (intégrale de Riemann)
t 3/2 R
+∞
donc I4 = 1 |t|−3/2 sin |t| dt est absolument convergente

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 65 / 68


Plan d’étude

Étape 4.1. Si c’est possible, calculer une primitive


Étape 4.2. Si la fonction est de signe constant
Utiliser le théorème des équivalents ou le théorème de comparaison
Exemple
t −3/2 sin |t| ∼ t −1/2
0+
R1 1
0 t 1/2
dt converge (intégrale de Riemann)
R1
donc I3 = 0 t −3/2 sin |t| dt converge
Étape 4.3. Si la fonction n’est pas de signe constant
Étude de l’intégrale de |f |. S’il y a convergence absolue, il y a convergence
Si l’intégrale n’est pas absolument convergente, il faut essayer d’appliquer le théorème d’Abel
Exemple
t −3/2 sin |t| 6 t −3/2
R +∞ 1
1
dt converge (intégrale de Riemann)
t 3/2 R
+∞
donc I4 = 1 |t|−3/2 sin |t| dt est absolument convergente
R +∞ sin |t|
Conclusion : I = −∞ |t|3/2
dt converge

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 65 / 68


Mini-exercices

Mini-exercices

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 66 / 68


Mini-exercices

Exercice
R +∞
1 Soit In = 0 t n e −t dt. Calculer I0 . Par intégration par parties, trouver une relation de récurrence
entre In+1 et In . En déduire que In = n! .
R 1 ln t
Par intégration par parties, montrer que l’intégrale 0 (1+t) 2 dt converge et vaut − ln 2.
2
R +∞
3 Soit I = 0 ln(1 + t12 ) dt. Identifier les points incertains. Faire une intégration par parties en
écrivant 1 · ln(1 + t12 ). Montrer que I converge et que I = π.
R1 β
4 Soit I = 0 (− ln t) dt. Identifier les points incertains. À l’aide du changement de variable t = u1 ,
montrer que cette intégrale converge quel que soit β ∈ R.
R +∞ dt
5 Soit I = 0 √ . Identifier les points incertains. À l’aide du changement de variable t = u 2 ,
t 2+ t √
4 3π
montrer que l’intégrale converge et que I = 9 .

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 67 / 68


Mini-exercices

E. H. ZEROUALI, H. NAQOS (https://ecole-junia.ma/) Intégrales généralisées 14 octobre 2024 68 / 68

Vous aimerez peut-être aussi