Licence M.A.S.S. deuxi`eme ann´ee: Analyse S4 3
1 Int´egrales g´en´eralis´ees (impropres)
On s’int´eresse `a des int´egrales dont les bornes comprennent soit ±∞, soit des points o`u la fonction `a int´egrer
n’est pas d´efinie.
1.1 Convergence d’une int´egrale g´en´eralis´ee
D´efinition. Soit f:I7→ IR une fonction. On dit que fest une fonction localement int´egrable sur Isi pour
tout intervalle [α, β]⊂I,Rβ
αf(t)dt existe.
D´efinition. Soit f: [a, b[7→ IR une fonction localement int´egrable sur [a, b[(bpouvant ˆetre +∞). On dit
que l’int´egrale dite g´en´eralis´ee (ou impropre) Rb
af(t)dt est convergente si limx→bRx
af(t)dt existe. On posera
alors Rb
af(t)dt = limx→bRx
af(t)dt. Sinon, on dira que l’int´egrale est divergente.
Remarque.
Pour simplifier l’´ecriture, ici on ne consid`ere qu’un “point” probl´ematique pour l’int´egrale, `a savoir b, ce
qui arrive notamment lorsque b= +∞ou si fn’a pas de limite en bavec bfini. Il peut cependant y avoir
d’autres points probl´ematiques, en apar exemple. Par exemple, R1
0
1
1−xdx et R∞
−∞ e−|x|dx sont des int´egrales
impropres (la premi`ere diverge la seconde converge...).
Th´eor`eme. Crit`ere de convergence de Cauchy Si flocalement int´egrable sur [a, b[(bpouvant ˆetre ∞),
alors: Zb
a
f(t)dt converge si et seulement si ∀ε > 0,∃c∈[a, b[tel que ∀(x, x′)∈[c, b[2,Zx′
x
f(t)dt≤ε.
Cons´equence.
Si flocalement int´egrable sur [a, b[ alors si Zb
a|f(t)|dt converge alors Zb
a
f(t)dt converge.
Remarque.
La r´eciproque est fausse.
D´efinition. Pour flocalement int´egrable sur [a, b[on dit que
•Rb
af(t)dt est une int´egrale absolument convergente si Rb
a|f(t)|dt < ∞.
•Rb
af(t)dt est une int´egrale semi-convergente si Rb
a|f(t)|dt =∞mais Rb
af(t)dt existe.
Th´eor`eme. Th´eor`emes de comparaison Soient fet glocalement int´egrables sur [a, b[.
•Si f∼gen b, alors (Zb
a
f(t)dt absolument convergente) ⇐⇒ (Zb
a
g(t)dt absolument convergente)
(faux avec semi-convergence);
•Si 0≤f≤gsur [a, b[, alors (Zb
a
g(t)dt convergente) =⇒(Zb
a
f(t)dt convergente);
•Si 0≤f≤gsur [a, b[, alors (Zb
a
f(t)dt divergente) =⇒(Zb
a
g(t)dt divergente).
Cons´equence.
Si fest localement int´egrable sur [a, b[ avec b < +∞, et si lim
x→bf(x) existe alors fest prolongeable par
continuit´e en bet Zb
a
f(t)dt converge.
Cons´equence.
Si fest localement int´egrable sur [a, +∞[ tel que lim
x→+∞f(x)6= 0 alors Z+∞
a
f(t)dt diverge.