Nous résumons ici l'ensemble des techniques vues dans ce chapitre
pour l'étude de l'intégrale d'une fonction sur un intervalle
non borné de
, la fonction étant éventuellement non
bornée au voisinage d'un ou plusieurs points de l'intervalle. Pour
illustrer le plan d'étude, nous détaillerons l'exemple introductif :
Identifier le ou les points incertains
La fonction
est impaire, elle tend vers 0 en
oscillant quand t tend vers et , elle tend vers
en et vers en (cf. figure
1). Il y a donc 4 points incertains à étudier.
Isoler les points incertains
Pour cela, il faut découper l'intervalle d'étude en autant de
sous-intervalles qu'il y a de points incertains, de manière à ce
que les problèmes soient tous situés sur une borne de chaque
intervalle. Dans notre exemple, on divisera en 4 intervalles.
Chacune des intégrales obtenues doit être étudiée
séparément. L'intégrale n'est définie que si chacun des
morceaux converge.
Se ramener à une intégrale sur
ou sur
Pour cela, il suffit d'effectuer le changement de variable
. Dans notre cas, puisque la fonction est impaire,
et .
Calculer une primitive si c'est possible
Ayant une primitive, le problème est ramené à un calcul de
limite (définition 1). Si on n'a pas de primitive
explicite, alors :
Si la fonction est de signe constant
Changer éventuellement le signe pour se ramener à une fonction positive.
Calculer un équivalent au voisinage du point incertain et utiliser
le théorème 2 ou
4. Si l'équivalent ne donne pas la
réponse directement, utiliser le théorème de comparaison
1 ou 3.
Dans notre exemple, l'intégrale est celle d'une fonction
positive, tendant vers en .
Or l'intégrale
converge, donc
converge.
Si la fonction n'est pas de signe constant
Commencer par étudier l'intégrale de , comme dans le cas
précédent (équivalent ou comparaison). Si elle converge,
l'intégrale étudiée est absolument convergente, donc
convergente. Si l'intégrale n'est pas absolument convergente, il
faut essayer de mettre la fonction sous forme d'un produit pour
appliquer le théorème d'Abel 6. Dans notre
exemple, l'intégrale est absolument convergente : on le
déduit du théorème de comparaison, car
et l'intégrale de Riemann
est
convergente. On pourrait aussi appliquer le théorème d'Abel
6 avec
et
.