Suite implicite définie par une intégrale impropre
Colle de mathématiques
Sujet de colle de maths:Énoncé du sujet
Soit
définie par:
![\[H(x)=\int_x^{+\infty}\dfrac{e^{-t^2}}{2(1+t)}dt\]](/Generateur-Devoirs/Colles/Integrale/IISI/2.png)
et
la suite définie par
et
.

![\[H(x)=\int_x^{+\infty}\dfrac{e^{-t^2}}{2(1+t)}dt\]](/Generateur-Devoirs/Colles/Integrale/IISI/2.png)
et



- Déterminer les valeurs de
pour lesquelles
est convergente.
- Étudier les variations de
sur
. Préciser la limite en
.
- Prouver que
pour tour entier
.
- Montrer qu'il existe un unique
tel que
.
- Montrer que, pour tout entier
,
.
- En déduire que
converge.
Correction
Correction
- La fonction
est continue sur
et, par croissances comparées en
,
c'est-à-dire que
et donc par comparaison avec une intégrale de Riemann, l'intégrale est convergente en, et ainsi
est définie pour
.
En, on a
avec
, et ainsi par comparaison avec une intégrale de Riemann (en 0 cette fois),
diverge en
.
En résuméest définie sur
.
- On a
et donc, pour tout
,
Or,et
sur
et donc
et
est décroissante.
Comme l'intégrale est convergente, on a que
Comme ce n'est pas nécessairement complètement évident, pour le montrer on peut par exemple décomposer l'intégrale en écrivant que, pour tous réelset
soit aussi
avec, puisque l'intégrale est convergente,
d'où
- Pour tout réel
positif, on a
et donc, par positivité de l'intégrale,
pour tout
positif.
Ainsi, par récurrence,et lorsque
alors on a donc aussi
. On a donc, pour tout entier
,
.
- On considère la fonction
définie sur
par
et on cherche
tel que
.
On a alors,
comme on l'a vu précédemment, et ainsiest strictement décroissante.
On a de plus que(positivité de l'intégrale, vu précédemment) et, comme
, on a
.
Commeest aussi continue (même dérivable), d'après le théorème de la bijection (car en effet
est une bijection de
sur
), il existe un unique
tel que
.
- Pour tout entier
, on a
et donc
Or, pour tout entier, on a vu que
, et pour
,
On a bien obtenu ainsi que
- On a vu à la question précédente, que plus précisément on a
et donc, par une récurrence immédiate,
ce qui montre queconverge vers
.
Tags:IntégraleSuites
Autres sujets au hasard:

Voir aussi: