Théorème : et
sont de même nature
et si elles convergent :
Théorème : et
sont de même nature
et si elles convergent :
Remarque : Ces théorèmes sont à utiliser avec soin.
La rédaction se fait toujours en deux temps
Preuve. On le montre dans le premier cas, la démonstration est la même dans les autres cas.
On a toujours : Si
a une limite finie quand
, les deux intégrales ont toutes les deux une limite finie ou toutes les deux pas de limite finie.
Elles sont donc de même nature.
Dans le cas où elles convergent, en passant à la limite quand , on obtient l'égalité annoncée.
Exemple : converge. En effet
est continue sur
, donc localement intégrable sur
C'est une intégrale généralisée en .
Montrons sa convergence grace au théorème d'intégration par parties.
On pose et
, on a :
qui est une limite finie,
ce qui prouve que et
sont de même nature.
Or et
converge par Riemann.
Donc, par Riemann, comparaison, convergence absolue et intégration par parties, converge.
Théorème : étant une borne finie ou
,
et
sont de même nature
et si elles convergent :
Remarque : Ce théorème est à utiliser avec soin.
La rédaction se fait toujours en deux temps
Preuve. On a toujours :
Ce sont deux fonctions continues de et égales.
Elles ont donc toutes les deux une limite finie ou pas de limite finie quand .
Dans le cas où elles ont une limite finie, par passage à la limite, on a l'égalité annoncée.
Remarque : Un changement de variable peut transformer une intégrale simple en intégrale généralisée et vice-versa.
Dans ce cas, à condition de le remarquer, il n'y a pas de problème d'intégrabilité.
Regardons par exemple pour lequel
donne
.
Exemple : On va déterminer la convergence de
La fonction est continue, donc localement intégrable sur
On a un problème de convergence, ou une singularité, en
On va montrer la convergence de cette intégrale au moyen d'un changement de variable : on pose qui est bien monotone de classe
et ainsi
est de même nature que
Par ailleurs, on a montré que converge et donc
converge.