Vous êtes sur la page 1sur 11

ECS2, Cours complet, chapitre 7 Octobre 2010

Intgrales gnralises, cours complet


Ce chapitre comporte dune part un cours complet, une page dexemples, une page mthode et un rsum de deux pages.
I Gnralits
I.1 Dnition
Si a R , et b R ou b = +, et a < b, on dit que f possde une intgrale gnralise ou impropre sur [a, b[ si :
f est dnie et continue sur [a, b[.
la fonction x F(x) =
_
x
a
f (t) dt possde une limite nie lorsque x tend vers b (ou b

), limite note
_
b
a
f (t) dt.
De faon symtrique
Si a R ou a = , b R, et a < b, f possde une intgrale impropre sur ]a, b] si f est continue sur ]a, b] et si la fonction
x G(x) =
_
b
x
f (t) dt possde une limite nie, note
_
b
a
f (t) dt lorsque x tend vers a.
Lorsque f possde une intgrale impropre sur ]a, b] ou [a, b[, on dit que lintgrale impropre converge.
lim
a
f = +
b = + b = +
lim
b
f =
lim
a
f nexiste pas
Remarques
Au programme, on indique que f est continue, elle aurait pu tre seulement continue par morceaux sur [a, b[ ou ]a, b] (les
limites gauche et droite en tout point de ]a, b[, tant nies).
Lien avec les intgrales classiques
Si f est intgrable sur [a, b], alors f est intgrable sur [a, b[ (on fait la mme chose sur ]a, b]).
: x
_
x
a
f (t) dt est dnie continue sur [a, b], et
_
b
a
f (t) dt = (b) =lim
xb
x<b
(x) =lim
xb
x<b
_
x
a
f (t) dt.
Donc la notion dintgrale gnralise est bien une gnralisation de lintgrale classique.
I.2 Vraies et fausses intgrales gnralises
1. Si b est FINIE, f continue sur [a, b[ et f possde une limite FINIE en b, alors f est prolongeable par continuit en une fonction
f continue sur [a, b], gale f sur [a, b[ : donc
_
b
a
f (t) dt existe et x [a, b[,
_
x
a
f (t) dt =
_
x
a
f (t) dt.
Par suite lim
xb
x<b
_
x
a
f (t) dt = lim
xb
x<b
_
x
a
f (t) dt existe et vaut
_
b
a
f (t) dt =
_
b
a
f (t) dt, lintgrale converge forcment !
On dit que lintgrale est faussement impropre !
Exemples :
_
1
0
sint
t
dt,
_
1
0
ln(t)
1t
dt...ou dessin 4 ci dessus.
2. Si b est FINIE et si f est BORNE et continue sur [a, b[ , alors
_
b
a
f (t) dt converge aussi forcment . (Au niveau graphique,
il ny a pas de branche innie, exemple 5 ci-dessus).
Tout dabord si f est positive majore par M, la fonction x
_
x
a
f (t) dt est croissante majore par x
_
x
a
Mdt = M(xa) donc
par M(b a) : elle possde une limite nie L =
_
b
a
f (t) dt lorsque x tend vers b (x < b),
_
b
a
f (t) dt converge.
Sinon, il existe deux rels m et M tels que: x [a,b[ , m f(x) M, on applique la mthode qui prcde x f (x) m, on
montre que
_
b
a
(f (t) m) dt converge et en ajoutant
_
b
a
mdt = m(b a) , on en dduit que
_
b
a
f (t) dt converge.
On peut crire des versions analogues de 1. et 2. en changeant les rles de a et b.
Autre exemple :
Lintgrale I =
_
1
0
_
1 +
t
2
+ sin
_
2
t
__
dt, si elle existe, est la limite en 0 de la fonction G : x
_
1
x
_
1 +
t
2
+ sin
_
2
t
__
dt.
Luc Bouttier, Lyce Camille Vernet, Valence
ECS2, Cours complet, chapitre 7 Intgrales gnralises, cours complet 2
-0.5
0
0.5
1
1.5
2
2.5
3
0.5 1 1.5 2
La fonction t 1 +
t
2
+ sin
_
2
t
_
I =
_
1
0
_
1 +
t
2
+ sin
_
2
t
__
dt est lintgrale dune fonction continue positive sur ]0, 1] , t 1 +
t
2
+sin
_
2
t
_
. Comme Gest C
1
sur ]0, 1], que G

(x) =
_
1 +
x
2
+ sin
_
2
x
__
0, G est dcroissante et majore par
_
2
0
_
2 +
t
2
_
dt sur [0, 2] donc possde une
limite en 0, gale I =
_
2
0
_
1 +
t
2
+ sin
_
2
t
__
dt.
-1.5
-1
-0.5
0
0.5
1
1.5
2
0.5 1 1.5 2
La fonction t
t
2
+ sin
_
2
t
_
Lintgrale J =
_
2
0
_
t
2
+ sin
_
2
t
__
dt nest plus une intgrale dune fonction positive, mais on se ramne facilement au cas
prcdent, J = I
_
2
0
dt = I 2.
3. Les vraies intgrales gnralises sont celles pour lesquelles pour lesquelles se pose le problme de convergence : elles
sont caractrises par le fait quune borne est ou +, ou que les bornes sont nies mais f nest pas borne sur ]a, b[
(plus prcisment non borne autour de a ou de b, sur ]a, a +], [b , b[, R
+
).
Graphiquement : lune des coordonnes au moins x ou y = f(x) est non borne, il y a une branche innie.
4. Au niveau calcul, lorsque lexpression de f(t) nest pas dnie et continue en b, que ce soit une vraie ou une fausse
intgrale gnralise, on doit calculer
_
b
a
f (t) dt comme limite lorsque x tend vers b de F(x) =
_
x
a
f (t) dt.
Exemple :
Si > 0,
_
1
0
t

ln(t) dt est une fausse intgrale gnralise, car on a un prolongement continu en 0 : la fonction f telle que f(0) = 0
et f(t) = t

ln(t) pour t > 0, est continue sur [0, 1] .


Si < 0,
_
1
0
t

ln(t) dt est une vraie intgrale gnralise, car la fonction t t

ln(t) nest pas borne sur ]0, [.


Dans tous les cas, pour le calcul , on intgre par parties () =
_
1

t
a
ln(t) dt puis on tudie lim
0
().
On sait que si > 0, on doit trouver une limite nie (car lintgrale est faussement impropre).
Si a = 1, on a (par I.P.P.)
_
1

t
a
ln(t) dt =
_
t
+1
+1
ln(t)
_
1


_
1

+1
dt =

+1
+1
ln()
1
(+1)
2
+

+1
(+1)
2
,
Si = 1 ,
_
1

t
1
ln(t) dt =
ln
2
()
2
.
Conclusion : si > 1, lintgrale converge vers
_
1
0
t
a
ln(t) dt =
1
(+1)
2
; si 1, lintgrale diverge.
Luc Bouttier, Lyce Camille Vernet, Valence.
ECS2, Cours complet, chapitre 7 Intgrales gnralises, cours complet 3
I.3 Quelques exemples types dintgrales gnralises
I.3.a Intgrales de Riemann (on pose = )
en +ou en 0 , si = 1 : lintgrale
_
x
1
t
1
dt =
_
x
1
dt
t
= ln(x) diverge lorsque x tend vers 0 ou vers +.
en +: lintgrale
_
x
1
t

dt =
_
x
1
1
t

dt converge vers
1
+1
=
1
1
=
_
+
1
t

dt =
_
+
1
1
t

dt < 1 > 1.
en 0 : lintgrale
_
1
x
t

dt =
_
1
x
1
t

dt converge vers
1
+1
=
1
1
=
_
1
0
t

dt =
_
1
0
1
t

dt > 1 < 1.
en a : on pose u = t a, et on se ramne au cas prcdent :
_
b
a
(t a)

dt =
_
b
a
dt
(ta)

converge > 1 < 1.


en b : on pose u = b t, et on se ramne au cas prcdent :
_
b
a
(b t)

dt =
_
b
a
dt
(bt)

converge > 1 < 1.


Attention, une rgle absolue :
_
+
0
t

dt =
_
+
0
dt
t

est toujours divergente !


0
1
2
3
1 2 3 4 5 6
Fonctions puissances, cas =
1
2
, = 1, = 2.
I.3.b Autres intgrales de rfrences
en +:
_
x
0
e
t
dt = 1 e
x
converge vers
_
+
0
e
t
dt = 1 et
_
x
0
a
t
dt =
1a
x
ln(a)
converge vers
1
ln(a)
si a > 1.
en :
_
0
x
e
t
dt = 1 e
x
converge vers
_
0

e
t
dt = 1.
en 0 :
_
1
x
ln(t) dt = 1 xln(x) +x converge vers
_
1
0
ln(t) dt = 1
0
1
2
3
-2 -1 1 2 3 4
Fonction x e
x
-3
-2
-1
0
1
-2 -1 1 2 3 4
Fonction x ln(x)
I.3.c Thorme : convergence dune intgrale et primitives
Si f est continue sur ]a, b[, alors f possde une primitive F sur ]a, b[.
Lintgrale
_
b
a
f(t)dt converge, si et seulement si cette primitive F possde des limites nies en a et en b et
_
b
a
f(t)dt =lim
xb
F(x) lim
xa
F(x).
Luc Bouttier, Lyce Camille Vernet, Valence
ECS2, Cours complet, chapitre 7 Intgrales gnralises, cours complet 4
II Rgles de calcul
II.1 Introduction
On peut toujours (en prpa ECS) faire des calculs propres avec des intgrales classiques, utilisant linarit, relation de Chasles, intgrations
par parties ou changements de variables sur des intervalles ferms borns, puis faire des passages la limite.
Avec la relation de Chasles, on dnit des intgrales gnralises sur ]a, b[ (voire sur [a, c[]c, b]) sans difcult aprs avoir tudi spar-
ment les problmes de convergence en chacun des points critiques.
De faon gnrale, les galits entre trois termes (ex : linarit, Chasles, intgration par parties), sont encore vraies quand on passe aux
limites, ds que deux termes sur trois possdent une limite nie : cela implique lexistence dune limite nie pour le troisime et cela donne
des noncs du type de ceux qui suivent.
II.2 Linarit
Si f et g sont continues sur [a, b[ (ou ]a, b]), si
_
b
a
f (t) dt et
_
b
a
g (t) dt convergent, si , sont des rels, alors f + g est
continue sur [a, b[ (ou ]a, b]) et
_
b
a
(f +g) (t) dt =
_
b
a
f (t) dt +
_
b
a
g (t) dt.
Attention :
_
1
0
e
t
1
t
dt est une intgrale faussement impropre en 1 (puisque la fonction peut tre prolonge par continuit).
_
1
0
e
t
1
t
dt nest pas gal
_
1
0
e
t
t
dt
_
1
0
1
t
dt , somme de 2 intgrales impropres divergentes !
II.3 Chasles (intgrales plusieurs fois gnralises, fonctions continues par morceaux)
Soient 3 rels a, b, c tels que a < b < c.
Si f est continue sur ]a, b] et sur [b, c[ alors f est continue sur ]a, c[ ; si les intgrales
_
b
a
f (t) dt et
_
c
b
f (t) dt convergent, alors
_
c
a
f (t) dt converge et
_
b
a
f (t) dt +
_
c
b
f (t) dt =
_
c
a
f (t) dt .
De mme si f est continue sur [a, b[ et sur ]b, c], et si les intgrales
_
b
a
f (t) dt et
_
c
b
f (t) dt convergent, alors f possde une
intgrale impropre
_
c
a
f (t) dt =
_
b
a
f (t) dt +
_
c
b
f (t) dt .
On posera aussi par convention
_
a
b
f (t) dt =
_
b
a
f (t) dt pour les intgrales impropres.
II.4 Intgration par parties
Si f et g sont de classe C
1
sur ]a,b[, si le produit fg possde des limites nies en a et en b, lim
xa
fg =
1
et lim
xb
fg =
2
,
alors les intgrales gnralises
_
b
a
(fg

) (t) dt et
_
b
a
(f

g) (t) dt sont de mme nature ; si lune des deux converge, on a lgalit :


_
b
a
(f g

) (t) dt =
2

1

_
b
a
(f

g) (t) dt.
II.5 Changement de variables
Si est de classe C
1
sur ]a, b[ et strictement monotone, si =lim
xa
(t) et b =lim
xb
(t)
(a, b, , appartiennent R, les limites existent forcment dans R) et si f est de classe C
0
sur ], [ ou ], [,
alors les intgrales :
_

f(u)du et
_
b
a
f (t)

(t) dt sont de mme nature ; si lune des deux converge, elles sont gales.
Remarque : est une bijection C
1
de ]a, b[ sur ], [ ou ], [ , on a intrt faire un tableau de variation de .
Luc Bouttier, Lyce Camille Vernet, Valence.
ECS2, Cours complet, chapitre 7 Intgrales gnralises, cours complet 5
III Rgles de comparaison pour les fonctions positives
III.1 Ordre et intgrales gnralises, deux rgles de bases
On prolonge facilement les rgles relatives lordre (ou aux signes) sur les intgrales classiques aux intgrales gnralises,
car le passage la limite est compatible avec lordre (au sens large).
1. Si f est continue sur ]a, b[, si f est positive et c ]a, b[, alors la primitive x F(x) =
_
x
c
f (t) dt est une fonction croissante
et lintgrale sera convergente si et seulement si F est borne sur ]a, b[.
2. Si f et g sont continue sur ]a, b[, et si x ]a, b[, 0 f(x) g(x) alors :
_
b
a
g (t) dt converge
_
b
a
f (t) dt converge et 0
_
b
a
f (t) dt
_
b
a
g (t) dt
(Par contraposition
_
b
a
f (t) dt diverge
_
b
a
g (t) dt diverge).
Remarque : Le thorme de la moyenne peut tre aussi gnralis, mais son intrt est limit au cas des intgrales faussement
impropres puisquil concerne des fonctions bornes sur des intervalles borns.
Dmonstration : Pour le premier point, cest la rgle : une fonction monotone possde une limite nie elle est borne.
Pour le deuxime, on prend c ]a, b[, les fonctions x
_
x
c
f (t) dt et x
_
x
c
g (t) dt sont croissantes et lingalits sur les fonctions
implique lingalits sur les intgrales : si x [c, b[, on a 0
_
x
c
f (t) dt
_
x
c
g (t) dt, et si x ]a, c], on a 0
_
c
x
f (t) dt
_
c
x
g (t) dt, ingalits conserves si on passe la limite en b et en a.
_
b
a
g (t) dt converge x
_
x
c
g (t) dt est borne sur ]a, b[ x
_
x
c
f (t) dt est borne sur ]a, b[
_
b
a
f (t) dt converge.
III.2 Convergence absolue
Si f est continue sur ]a, b[, alors |f| est aussi continue sur ]a, b[.
On dit que :
_
b
a
f (t) dt converge absolument
_
b
a
|f (t)| dt converge : la convergence absolue implique la convergence.
Par passage la limite de lingalit, on obtient lorsque a b :

_
b
a
f (t) dt


_
b
a
|f (t)| dt).
Remarque : lintgrale de Dirichlet
_
+
0
sin(t)
t
dt converge simplement pas absolument (cf. exercices).
Dmonstration : on remarque dabord quon peut dcomposer une fonction continue f en une somme de deux fonctions continues : lune
positive, f
+
: x max (0, f (x)) , lautre ngative f

: x min(0, f (x)) . Si f est continue, il en est de mme pour f


+
, f

et |f| = f
+
f

: si lintgrale
_
b
a
|f (t)| dt =
_
b
a
(f
+
(t) f

(t)) dt converge, par majoration les deux intgrales (de fonctions


positives)
_
b
a
f
+
(t) dt et
_
b
a
f

(t) dt convergent aussi, ainsi que


_
b
a
(f
+
(t) +f

(t)) dt =
_
b
a
f (t) dt
III.3 Critres de comparaison
f et g sont deux fonctions dnies et continue sur [a, b[ (ou ]a, b]), ,
Si g et f sont quivalentes en b

(ou en a
+
) et si f est positive :
_
b
a
f (t) dt et
_
b
a
g (t) dt sont de mme nature.
Si g est ngligeable par rapport f en b

(ou en a
+
), et si f est positive,
alors
_
b
a
f (t) dt converge
_
b
a
g (t) dt converge absolument .
Remarque 1 : Si f et g sont quivalentes en b

et lune des deux fonctions est positive, cela implique que lautre est positive
aussi sur un intervalle [c, b[, avec a c < b.
Remarque 2 : Les rgles nonces ont leur contrapose : si g est ngligeable par rapport f en b

, ou domine par f en
b

et si
_
b
a
g (t) dt ne converge pas, cest que
_
b
a
g (t) dt diverge, donc que
_
b
a
|g (t)| dt diverge fortiori, et
_
b
a
f (t) dt diverge
aussi.
Remarque 3 : On utilise essentiellement ces critres aprs avoir cherch des quivalents de f ou de g : cela passe souvent par
des dveloppements limits autour des points critiques (si la borne est innie, on peut poser h =
1
x
et utiliser un dveloppement
limit en 0).
Remarque 4, des cas de divergence grossire :
Si x [a, +[, on a f(x) m > 0 alors
_
+
a
mdx diverge
_
+
a
f(x)dx diverge.
En particulier si lim
x+
f(x) = L et L > 0 alors
_
+
a
f(t)dt diverge. (Idem si L < 0).
daprs la rgle des quivalents pour des intgrales de fonctions positives
_
+
a
Ldt et
_
+
a
f (t) dt divergent
Inversement, la convergence de
_
+
a
f(x)dx implique que, si lim
x
f(x) existe, alors lim
x
f(x) = 0, cf.ex.24 4.
Dmonstrations
Remarques prliminaires : on fait la dmonstration uniquement lorsque f et g sont continues sur [a, b[, lintgrale tant impropre en b. Le
cas o f et g sont continues sur ]a, b], se traite de faon symtrique.
1. Si c [a, b[, et si f est continue sur [a, b[, on remarque que :
_
b
a
f (t) dt converge
_
b
c
f (t) dt converge ;
en effet
_
c
a
f (t) dt est une intgrale propreet, avec Chasles, on voit que
_
b
a
f (t) dt et
_
b
c
f (t) dt sont de mme nature.
Luc Bouttier, Lyce Camille Vernet, Valence
ECS2, Cours complet, chapitre 7 Intgrales gnralises, cours complet 6
2. Si g (t)
tb
f (t) et f (t) 0 : ]0, 1[, c

[a, b[, tel que : x [c

, b[ , on a : 0 (1 )f(x) g(x) (1 +)f(x).


Donc
_
b
c
(1 )f (t) dt,
_
b
c
g (t) dt,
_
b
c
(1 +)f (t) dt, par suite
_
b
c
g (t) dt ,
_
b
c
f (t) dt, puis
_
b
a
g (t) dt et
_
b
a
f (t) dt sont de
mme nature.
3. Si g (t) = o
tb
(f (t)) : R
+
, c

[a,b[, tel que : x [c

, b[ : |f(x)| g(x) (en particulier , on choisit souvent = 1,


cf. critre de Riemann plus loin) et on utilise le thorme 2 et la convergence absolue.
III.4 Critre de Riemann
Si f est continue sur [a, +[ , et lim
t+
_
t
2
f (t)
_
= 0 (ou > 1 tel que lim
t+
(t

f (t)) = 0) alors :
_
+
A
f (t) dt converge [absolument].
Dmonstration : on choisit = 1, il existe A R
+
, tel que : t A 0 |f (t) |
1
t
2
et on sait que lintgrale de
Riemann
_
+
a
1
t
2
dt converge.
Si f est continue sur ]0, a], et si lim
t0
_
tf (t)
_
= 0 (ou < 1 tel que lim
t0
(t

f (t)) = 0) alors :
_
a
0
f (t) dt converge
[absolument].
Dmonstration : on choisit = 1, il existe R
+
, tel que : 0 < t 0 |f (t) |
1

t
et on sait que lintgrale de
Riemann
_
a
0
1

t
dt converge.
III.5 Convergence de sries et convergence dintgrales
Thorme : Si f est continue, positive, dcroissante sur [N, +[ (N entier), lintgrale
_
+
N
f (t) dt et la srie

nN
f (n)
sont de mme nature (convergentes ou divergentes).
Cela explique les ressemblances au niveau des critres de convergence, entre les intgrales et les sries de Riemann.
Dmonstration : On utilise les ingalits : pour tout k entier (k N), f(k + 1)
_
k+1
k
f (t) dt f(k).
Pour x rel et p entier, x N et p N, on pose (x) =
_
x
N
f (t) dt , S (p) =
p

k=N
f (k).
On somme : pour p entier (p N) on obtient
p1

k=N
f (k + 1)
p1

k=N
_
k+1
k
f (t) dt
p1

k=N
f (k), soit
p

k=N+1
f (k)
_
p
N
f (t) dt
p1

k=N
f (k) soit S (p) f (N) (p) S (p 1) S (p) et on fait tendre p vers +:
comme x (x) =
_
x
N
f (t) dt crot, la fonction possde une limite en +(nie ou gale +) gale celle de la suite ((p))
pN
[nie ou +] , et par encadrements les suites (S (n))
nN
et ((n))
nN
sont de mme nature.

0.5
0.4
0.3
0.2
0.1
0
1 2 3 4 5 6 7 8 9 10
y=f (x)

1 2 3 4 5 6 7 8 9 10
0.5
0.4
0.3
0.2
0.1
0
y=f (x)
Attention :
Pour tous ces thormes , vrier lexactitude des hypothses ; sauf mention contraire les rciproques sont fausses.
III.6 Fonctions dnies par une intgrale impropre
Si f est une fonction continue sur ]a, b[, si c ]a, b[ tel que lintgrale impropre en a
_
c
a
f (t) dt converge, alors la fonction F
: x
_
x
a
f (t) dt est une primitive de f sur ]a, b[.
Dmonstration :
On crit F(x) =
_
c
a
f (t) dt +
_
x
c
f (t) dt, et on utilise les proprits de la fonction dnie par une intgrale propre x
_
x
c
f (t) dt [lintgrale
_
c
a
f (t) dt est une constante].
III.7 La fonction Gamma dnie par (x) =
_
+
0
t
x1
e
t
dt
III.7.a Domaine de dnition : lintgrale (x) converge pour tout rel x strictement positif.
En effet la fonction t t
x1
e
t
= e
(x1) ln(t)t
est continue sur ]0, +[ .
* en +, la rgle de Riemann, lim
t+
t
2
_
t
x1
e
t
_
= lim
t+
e
(x+1) ln(t)t
= 0 (croissances comparees) prouve que
Luc Bouttier, Lyce Camille Vernet, Valence.
ECS2, Cours complet, chapitre 7 Intgrales gnralises, cours complet 7
t
x1
e
t
=
+
o
_
1
t
2
_
, comme
_
+
1
dt
t
2
converge,
_
+
1
t
x1
e
t
dt converge aussi.
* en 0, on a un quivalent t
x1
e
t

t0
t
x1
, lintgrale de Riemann (dune fonction positive)
_
1
0
t
x1
dt converge si et
seulement si x 1 > 1 x > 0.
Remarque : lintgrale est faussement impropre en 0 si x 1.
III.7.b La proprit fonctionnelle (x + 1) = x(x)
On effectue une intgration par parties, en posant
_
u(t) = t
x
, u

(t) = xt
x1
v

(t) = e
t
, v (t) = e
t
Les fonctions u et v sont C
1
sur ]0, +[ , et on a : lim
t0
u(t) v (t) = 0, lim
t+
u(t) v (t) = 0 (par croissances compares).
Donc (x + 1) =
_
+
0
t
x
e
t
dt = 0 0
_
+
0
xt
x1
e
t
dt = x(x), toutes ces intgrales tant convergentes.
III.7.c La valeur de (n + 1) =
_
+
0
t
n
e
t
dt
On a dj calcul (1) =
_
+
0
e
t
dt = 1.
On en dduit, avec la proprit fonctionnelle (k) = (k 1) (k) si k 2, par descente nie que :
n 2, (n) = (n 1)(n 1) = (n 1) (n 2) (n 2) = ... = (n 1)!(1) = (n 1)!
Soit encore n N, (n + 1) =
_
+
0
t
n
e
t
dt = n!
La fonction
0
1
2
3
4
5
6
1 2 3 4
Luc Bouttier, Lyce Camille Vernet, Valence
ECS2, Cours complet, chapitre 7 Intgrales gnralises, cours complet 8
IV Quelques exemples dutilisation des critres de convergence
1. tude de A =
_
+
0
t+3ln(t)
t
2
+1
dt
t
t+3ln(t)
t
2
+1
est continue, continue sur ]0, +[, ( non borne au voisinage de 0).
En 0 ,
t+3ln(t)
t
2
+1

t0
ln(t) : sur ]0, 1] , ln(t) est positif et
_
1
0
ln(t) dt converge, donc
_
1
0
t+3ln(t)
t
2
+1
dt converge.
En +,
t+3ln(t)
t
2
+1

t+
t
t
2
=
1
t
: sur ]1, +[ ,
1
t
est positif :
_
+
1
dt
t
diverge
_
+
1
t+3ln(t)
t
2
+1
dt diverge.
Conclusion : Anexiste pas, lintgrale
_
+
0
t+3ln(t)
t
2
+1
dt est divergente.
2. tude de B =
_
+
0
sin(t)
e
t
1
dt :
t
sin(t)
e
t
1
est continue, continue sur ]0, +[.
En 0 ,
sin(t)
e
t
1

t0
t
t
= 1 : lintgrale est faussement impropre en 0,
_
1
0
sin(t)
e
t
1
dt converge.
En +: lquivalent
sin(t)
e
t
1

t0
sin(t)
e
t
ne donne rien car les signes ne sont pas constants au voisinage de +.
Par majoration, t R
+
,

sin(t)
e
t
1

1
e
t
1

=
1
e
t
1
(car t > 0 e
t
> 1) ; on a lquivalent:
1
e
t
1

t+
1
e
t
= e
t
. Or
_
+
0
e
t
dt converge et t R, e
t
0 : donc
_
+
1
1
e
t
1
dt converge ; donc
_
1
0

sin(t)
e
t
1

dt converge, et
_
1
0
sin(t)
e
t
1
dt converge
aussi .
Ou encore en +(critre de Riemann) : lim
t+
t
2 1
e
t
1
= lim
t+
t
2
sin(t)
e
t
1
= 0 (par encadrement et croissances compares puis-
sances et exponentielles) donc il existe un rel A(A R
+
) tel que : t [A, +[

sin(t)
e
t
1


1
t
2
; comme
_
+
A
1
t
2
dt converge,
_
+
A
sin(t)
e
t
1
dt converge absolument.
Conclusion: B =
_
1
0
sin(t)
e
t
1
dt +
_
A
1
sin(t)
e
t
1
dt +
_
+
A
sin(t)
e
t
1
dt existe, ou encore lintgrale B converge.
3. tude de C =
_
1
0
3

t
2
t
3
sin(t) ln(t)
dt :
t
3

t
2
t
3
sin(t) ln(t)
est continue, continue sur ]0, 1[.
En 0,
3

t
2
t
3
sin(t) ln(t)

t0
3

t
2
t ln(t)
: comme t ]0, e
1
] ln(t) 1 , tout est ngatif, et 0
3

t
2
t ln(t)

3

t
2
t
= t

1
3
.
Or
_
1
0
t

1
3
dt converge, (intgrale de Riemann positive) : donc par majoration lintgrale
_
1
0

3

t
2
t ln(t)
dt converge aussi, et par quivalent
(pour des fonctions ngatives)
_
e
1
0
3

t
2
t
3
sin(t) ln(t)
dt converge.
En 1, on pose t = 1 u,
3

t
2
t
3
sin(t) ln(t)
=
3

(1u)
2
(1u)
3
sin(1u) ln(1u)
=
3

u2u
2
+u
3
sin(1u) ln(1u)

u0
3

u
usin(1)
=
1
sin(1)
u

2
3
; tout est ngatif, on
utilise des quivalents ; si > 0,
_

0
u

2
3
du =
_
1
1
(1 t)

2
3
dt converge,
_
1
1
3

t
2
t
3
sin(t) ln(t)
dt aussi .
Conclusion : Comme il y a convergence en 0 et en 1, lintgrale C existe.
Luc Bouttier, Lyce Camille Vernet, Valence.
ECS2, Cours complet, chapitre 7 Intgrales gnralises, cours complet 9
V Annexe : mthode dtude dune intgrale impropre
V.1 Les intgrales de rfrence connatre
Si > 1,
_
+
1
dt
t

=
_
1

dt
|t|

=
1
1
, si < 1,
_
1
0
dt
t

=
_ 0
1
dt
|t|

=
1
1
,
_
+

dt
1+x
2
= ,
_
+

t
2
2
dt =

2.
_
1
0
ln(t) dt = 1,
_
+
0
e
t
dt =
_
0

e
t
dt = 1 = (1), ou
_
+
0
t
x1
e
t
dt = (x), ((x) converge si x > 0).
V.2 Situer, analyser les problmes
Pour tudier lexistence dune intgrale
_
b
a
f (t) dt, on regarde le domaine de continuit de f, cest une runion dintervalles
ferms, ouverts ou semi-ouverts : il y a problme chaque fois quon a une borne ouverte :
En +ou , il faut toujours justier la convergence (il ny a pas de prolongement continu en +ou ).
Un seul cas simple : si la fonction possde une limite non nulle en +ou , il y a une divergence grossire.
(il existe des intgrales gnralises comme
_
+
0
sin(e
x
) dx qui convergent sans quil y ait de limite en +)
En a ou en b (borne nie), il y a un problme si la fonction nest pas borne :
si elle reste borne (en particulier sil y a une limite nie donc un prolongement possible par continuit), on a faire une
fausse intgrale gnralise, il ny a pas de problme de convergence.
V.3 Organiser des comparaisons quand il y a un vrai problme
On a une intgrale gnralise
_
+
A
f (t) dt,
_
A

f (t) dt,
_
b
b
f (t) dt ou
_
a+
a
f (t) dt, on organise la comparaison au
voisinage de la borne qui pose problme, donc sur un intervalle V

= [A, +[, ou ] , A], ou [b , b[ ou ]a, a +].


Un changement de variable u = b t ou u = t a, transfre le problme de ]b , b[ ou ]a, a +[ un intervalle ]0, [ .
Dans certains cas on peut poser aussi u =
1
t
(ou u =
1
t
) pour remplacer [A, +[ (ou ] , A]) par

0,
1
A

.
Il y a trois tapes indispensables
a. Il sagit de comparer la fonction f une fonction g de rfrence (en plusieurs tapes ventuellement).
i. recherche dingalits (majorer ou minorer), x V

, 0 f (x) g (x) (ou 0 g (x) f (x)),


ii. ou un quivalent f

g ou une ngligeabilit f = o

(g) , (utiliser si ncessaire un d.l.)


iii. ou le critre de Riemann, f (t) = o
t+
_
1
t

_
lim
t+
t

f (t) = 0, ou f (t) = o
t0
_
1
t

_
lim
t0
t

f (t) = 0.
b. Contrle des signes : la fonction g de rfrence est positive dans tous les rgles de comparaison.
Un quivalent implique que f est positive aussi sur V

. Sinon, lorsque le signe de f nest pas constant sur V

, on tudie la
convergence de
_
b
a
|f| . (Les intgrales qui convergent sans tre absolument convergentes comme
_
+
1
sin(t)
t
dt, seront
traiter pas pas avec des indications fournies, il ny a au programme que les rsultats relatifs la convergence absolue).
c. Vrier si la rfrence
_
+
A
g (t) dt,
_
A

g (t) dt,
_
b
b
g (t) dt ou
_
a+
a
g (t) dt converge ou diverge, et conclure !
Pour les critres de Riemann, lintgrale
_
+
A
dt
t

converge si > 1, et
_

0
dt
t

converge 0 si < 1.
V.4 Les calculs (ne les faire que sils sont explicitement demands)
La relation de Chasles, la linarit, un changement de variable peuvent permettre de sparer et de simplier certaines questions
de convergence.
Mais attention de bien grer les problmes :
_
1
0
e
t
1
t
dt converge,
_
1
0
e
t
1
t
dt =
_
1
0
e
t
t
dt
_
1
0
dt
t
na pas de sens...
Les changements de variables afnes sont utiliss ds la recherche des limites ou des quivalents (u = t a ou u = b t).
Les autres changements de variables sont normalement indiqus en ECS2.
Il faut que le changement soit C
1
strictement monotone (donc bijectif), il faut driver pour remplacer dt en fonction de
du, un tableau de variation permet de prciser les bornes de la nouvelle intgrale.
Une intgration par parties de
_
b
a
u

v est un outil de calcul qui demande deux prcautions :


* il faut que
_
b
a
uv

soit plus simple que


_
b
a
u

v... (une suite dintgrations par parties doit nir de faon simple).
* calculer dabord les limites
1
et
2
du produit uv en a et b pour utiliser
_
b
a
u

v =
2

1

_
b
a
uv

.
Sil ny a pas des limites nies, il faut faire un calcul propre, remplacer ]a, b[ par [x
1
, x
2
] ]a, b[ puis tudier les limites
lorsque x
1
a et x
2
b.
Luc Bouttier, Lyce Camille Vernet, Valence
ECS2, Cours complet, chapitre 7 Intgrales gnralises, cours complet 10
VI Rsum
VI.1 Gnralits
1. Si a R , b R {+}, et a < b, on dit que f possde une intgrale impropre ou gnralise sur [a, b[, si f est continue
sur [a, b[ et si la primitive x F(x) =
_
x
a
f (t) dt possde une limite nie lorsque x tend vers b

.
Cette limite est note
_
b
a
f (t) dt ou
_
b
a
f, on dit que lintgrale gnralise (ou impropre), converge.
Remarque : ce passage la limite a dj t fait avec des intgrales propres : si f est continue sur [a, b], lapplication
x F(x) =
_
x
a
f (t) dt est une primitive C
1
donc continue sur [a, b] .
Si a R {} , b R, de faon symtrique on dnit une intgrale gnralise sur ]a, b] .
lim
a
f = +
b = + b = +
lim
b
f = lim
a
f nexiste pas
2. Les fausses intgrales gnralises sont convergentes (cf. dessin 4 et 5 ci-dessus)
Si b est FINIE, si f est C
0
sur [a,b[ et f possde une limite FINIE en b, alors f est prolongeable en une fonction f C
0
sur [a,b] : donc x [a,b[ ,
_
x
a
f (t) dt =
_
x
a
f (t) dt et si x tend vers b,
_
x
a
f (t) dt tend vers
_
b
a
f (t) dt.
Par suite lim
xb
x<b
_
x
a
f (t) dt =lim
xb
x<b
_
x
a
f (t) dt existe et vaut
_
b
a
f (t) dt =
_
b
a
f (t) dt, a converge !
Si b est FINIE, f est BORNE et continue sur [a, b[, alors
_
b
a
f (t) dt converge aussi.
Si |f| M, alors f +M est positive sur [a, b[, lapplication x F(x) =
_
x
a
(f (t) +M) dt est croissante majore sur
[a, b[ donc
_
b
a
(f (t) +M) dt existe, et par suite
_
b
a
f =
_
b
a
(f (t) +M) dt M (b a) existe aussi.
Lintgrale
_
b
a
f (t) dt est faussement impropre si la courbe dquation y = f (x) sinscrit dans un rectangleborn
3. Intgrales connatre :
* Si < 1 > 1,
_
+
1
t

dt =
_
+
1
1
t

dt =
1
+1
=
1
1
*
_
0

e
t
dt=
_
+
0
e
t
dt=1 (si a > 1,
_
+
0
a
t
dt =
1
ln(a)
)
* Si > 1 < 1,
_
1
0
t

dt =
_
1
0
1
t

dt =
1
+1
=
1
1
*
_
1
0
ln(t) dt = 1.
y =
1
x
y =
1
x

( > 1) et y =
1
x
y =
1
x

( < 1) et y =
1
x
y = e
x
, y = e
x
et y = ln(x)
_
+
1
dt
t
diverge, > 1,
_
+
1
dt
t

converge < 1,
_
+
1
dt
t

diverge
_
0

e
t
dt =
_
+
0
e
t
dt converge
_
1
0
dt
t
diverge
_
1
0
dt
t

diverge
_
1
0
dt
t

converge
_
1
0
ln(t) dt converge
VI.2 Rgles de calcul
On peut toujours faire des calculs propres sur [a, x] (ou [x, b]) puis passer la limite lorsque x tend vers b (ou a).
1. Chasles : Si a < b < c, si f est continue sur ]a, b[ et sur ]b, c[ et si les intgrales
_
b
a
f (t) dt et
_
c
b
f (t) dt convergent, alors
_
c
a
f (t) dt converge et
_
b
a
f (t) dt +
_
c
b
f (t) dt =
_
c
a
f (t) dt.
2. Linarit : Si f et g sont continues sur ]a, b[, si
_
b
a
f (t) dt et
_
b
a
g (t) dt convergent, si (, ) R
2
, alors f + g est
continue sur ]a, b[ et
_
b
a
(f +g) (t) dt =
_
b
a
f (t) dt +
_
b
a
g (t) dt.
3. Intgration par parties : Si u et v sont de classe C
1
sur ]a, b[, si le produit uv possde des limites nies en a et en b,
lim
xa
(uv)(x) =
1
et lim
xb
(uv)(x) =
2
, alors les intgrales gnralises
_
b
a
(uv

) (t) dt et
_
b
a
(u

v) (t) dt sont de mme nature


si lune des deux converge, lautre converge et on a lgalit :
_
b
a
(uv

) (t) dt =
2

1

_
b
a
(u

v) (t) dt.
4. Changement de variable : Si est C
1
et strictement monotone sur ]a,b[, si = lim
xa
(t) et = lim
xb
(t)
Luc Bouttier, Lyce Camille Vernet, Valence.
ECS2, Cours complet, chapitre 7 Intgrales gnralises, cours complet 11
(a, b, , R, les limites existent forcment dans R) et si f est C
0
sur ], [ ou ], [, alors les intgrales
_

f(u)du et
_
b
a
f (t)

(t) dt sont de mme nature. Si lune converge, on a


_

f(u)du =
_
b
a
f (t)

(t) dt.
On dit quon a pos u = (t) , lapplication est une bijection de ]a, b[ sur ], [ ou ], [, suivant que crot ou dcroit strictement.
VI.3 Rgles de comparaison pour les fonctions positives
1. Si f est continue sur ]a, b[, si f est positive et c ]a, b[, la primitive x F(x) =
_
x
c
f (t) dt est une fonction croissante et
lintgrale
_
b
a
f (t) dt sera convergente si et seulement si F est borne sur ]a, b[.
2. Si f et g sont continues sur ]a, b[, si x ]a,b[, 0 f(x) g(x) alors :
_
b
a
g (t) dt converge
_
b
a
f (t) dt converge.
Car pour c ]a, b[ , x F(x) =
_
x
c
f (t) dt est une fonction croissante majore par
_
b
c
g (t) dt 0 et minore par
_
a
c
g (t) dt 0.
3. On dit que lintgrale
_
b
a
f (t) dt est absolument convergente si lintgrale
_
b
a
|f (t)| dt converge.
La convergence absolue implique la convergence. On a en plus une majoration : si a < b,

_
b
a
f (t) dt


_
b
a
|f (t)| dt
(On dcompose f continue en une somme de 2 fonctions continues : lune positive, f
+
: x max(0, f (x)) =
1
2
(f (x) +|f (x)|) ,
lautre ngative f

: x min(0, f (x)) =
1
2
(f (x) |f (x)|) . Et |f| = f
+
f

: si lintgrale
_
b
a
|f (t)| dt =
_
b
a
(f
+
(t) f

(t)) dt converge, par majoration les deux intgrales (de fonctions positives)
_
b
a
f
+
(t) dt et
_
b
a
f

(t) dt conver-
gent aussi, ainsi que
_
b
a
(f
+
(t) +f

(t)) dt =
_
b
a
f (t) dt )
4. Soient f et g sont deux fonctions continues sur [a, b[ (resp. ]a, b]) et si f est positive ,
Si g (x)
xb

f (x) (resp. g (x)


xa
+
f (x) ) :
_
b
a
f (t) dt et
_
b
a
g (t) dt sont de mme nature.
(Si g (x)
xb

f (x) , on choisit > 0, par exemple =


1
2
, il existe c

[a, b[ tel que x [c

, b[ , (1 ) f (x) g (x)
(1 +) f (x) . En appliquant la rgle 2. sur [c

, b[ on trouve que
_
b
c
f (t) dt et
_
b
c
g (t) dt sont de mme nature. On passe de [c

, b[
[a, b[ avec Chasles, en ajoutant des intgrales propres)
Si g (x) = o
xb
(f (x)), (resp. en a
+
), alors
_
b
a
f (t) dt converge
_
b
a
|g (t)| dt converge.
(Dmonstration analogue : soit > 0, c

[a, b[ tel que x [c

, b[ , 0 |g (x)| f (x) et on utilise la rgle 2. de


comparaison.)
5. Si f est continue sur [x
0
, +[ , si lim
x+
f (x) = et = 0 alors lintgrale
_
+
x0
f (x) dx diverge grossirement.
Si = +, on minore f par M > 0 sur [A, +[,
_
+
A
Mdt diverge donc
_
+
A
fdt diverge...
Si R
+
on utilise les quivalents f (x)
x+

> 0 : on calcule
_
x
x0
dt = (x x
0
) , donc
_
+
x0
dt diverge.
Si R

ou = , on remplace f par f et on se ramne aux cas prcdents.


La convergence de lintgrale
_
+
x0
f (x) dx implique que f na pas de limite ou que f a une limite nulle en +.
6. Critre de Riemann : on compare la fonction f et une fonction puissance t
1
t

Si f est C
0
sur [a, +[ et lim
t+
_
t
2
f (t)
_
= 0 (ou > 1 tel que lim
t+
_
t

f (t)
_
= 0) alors
_
+
a
|f (t)| dt converge
(on choisit = 1, il existe A R
+
tel que : t A 0 |f (t) |
1
t
2
et on sait que
_
+
A
1
t
2
dt ou
_
+
A
1
t

dt converge.)
Si f est continue sur ]0, a] et lim
t0
_
tf (t)
_
= 0 (ou < 1 tel que lim
t0
_
t

f (t)
_
= 0) alors
_
a
0
|f (t)| dt converge.
(On choisit = 1, il existe R
+
, tel que : 0 < t 0 |f (t) |
1

t
et on sait que
_

0
1

t
dt converge).
Si f est continue sur ]a, b[ , on peut remplacer

t par

b t ou

t a pour tudier la convergence de


_
b
a
f
et si lune des bornes est , on utilise la convergence de
_
1

dt
t
2
ou de
_
1

dt
|t|

pour > 1...


7. Si f est continue positive dcroissante sur [n
0
, +[ (n
0
entier),
_
+
n
0
f (t) dt et

nn
0
f (n) sont de mme nature.
Dmonstration : on encadre f sur [k, k + 1] , on intgre,
si k n
0
, f (k + 1)
_
k+1
k
f (t) dt f (k) ,
on somme les ingalits de k = n
0
n 1 et on fait
tendre n vers +, tout converge ou diverge simultanment.
8. Fonction dnie par une intgrale impropre : pour tudier x
_
x
a
f, f tant C
0
sur ]a, b[ , on choisit c ]a, b[ , on tudie la
convergence de
_
c
a
f, le reste de ltude se fait comme ltude de x
_
x
c
f, la constante
_
c
a
f prs (Chasles).
9. La fonction : x (x) =
_
+
0
t
x1
e
t
dt est dnie sur R
+
, (x + 1) = x(x) , (n + 1) =
_
+
0
t
n
e
t
dt = n!
Luc Bouttier, Lyce Camille Vernet, Valence