« Intégration en mathématiques/Exercices/Suites d'intégrales 2 » : différence entre les versions

Une page de Wikiversité, la communauté pédagogique libre.
Contenu supprimé Contenu ajouté
m Révocation des modifications de Lydie Noria (discussion) vers la dernière version de Anne Bauval
mise à jour
Ligne 53 : Ligne 53 :


== Exercice 18-3==
== Exercice 18-3==
Pour tout entier naturel <math>n</math>, on considère la fonction <math>F_n</math> définie par :
Pour tout entier naturel <math>n</math> non nul, on considère la fonction <math>F_n</math> définie par :
:<math>F_n(x)=\int_0^x\operatorname e^{-t}\sin^{2n}t\,\mathrm dt</math>.
:<math>F_n(x)=\int_0^x\operatorname e^{-t\sqrt{2n}}\sin^{2n}t\,\mathrm dt</math>.
'''1°''' &nbsp;Prouver que <math>F_n</math> est croissante et majorée par <math>1</math>.
'''1°''' &nbsp;Prouver que <math>F_n</math> est croissante et majorée par <math>1</math>.


'''2°''' &nbsp;Soit :
'''2°''' &nbsp;Soit :
:<math>I_n=\lim_{x\to+\infty}F_n(x)\qquad\left(=\int_0^{+\infty}\operatorname e^{-t}\sin^{2n}t\,\mathrm dt\right)</math>.
:<math>I_n=\lim_{x\to+\infty}F_n(x)\qquad\left(=\int_0^{+\infty}\operatorname e^{-t\sqrt{2n}}\sin^{2n}t\,\mathrm dt\right)</math>.
:'''a)''' &nbsp;Calculer <math>I_1</math>.
:Prouver que :
:'''b)''' &nbsp;Prouver que :
:<math>\forall n\in\N^*\quad I_n=2n\left((2n-1)I_{n-1}-2nI_n\right)</math>.
::<math>\forall n\in\N^*\quad I_n=(2n-1)I_{n-1}-2nI_n</math>.


'''3°''' &nbsp;En déduire <math>I_n</math> en fonction de <math>n</math>.
'''3°''' &nbsp;En déduire <math>I_n</math> en fonction de <math>n</math>.


'''4°''' &nbsp;Étudier la limite de la suite <math>\left(I_n\right)</math>.
'''4°''' &nbsp;Étudier la limite de la suite <math>\left(I_n\right)</math>.

{{Solution|contenu=
{{Solution|contenu=
#<math>F'_n(x)=\operatorname e^{-x}\sin^{2n}x\ge0</math> et <math>F_n(x)\le\int_0^x\operatorname e^{-t}\,\mathrm dt=1-\operatorname e^{-x}<1</math>.
#<math>F'_n(x)=\operatorname e^{-x\sqrt{2n}}\sin^{2n}x\geqslant0</math> et <math>F_n(x)\leqslant\int_0^x\operatorname e^{-t\sqrt{2n}}\,\mathrm dt=\frac{1-\operatorname e^{-x\sqrt{2n}}}{\sqrt{2n}}<1</math>.
#<math>I_n=-\underbrace{\left[\operatorname e^{-t}\sin^{2n}t\right]_0^{+\infty}}_0+2n\int_0^{+\infty}\operatorname e^{-t}\sin^{2n-1}t\cos t\,\mathrm dt=</math><br /><math>-2n\underbrace{\left[\operatorname e^{-t}\sin^{2n-1}t\cos t\right]_0^{+\infty}}_0+2n\int_0^{+\infty}\operatorname e^{-t}\left((2n-1)\sin^{2n-2}t\cos^2t-\sin^{2n}t\right)\,\mathrm dt\,\mathrm dt=</math><br /><math>2n\left((2n-1)\left(I_{n-1}-I_n\right)-I_n\right)=2n\left((2n-1)I_{n-1}-2nI_n\right)</math>.
#<math>I_n=-\frac1{\sqrt{2n}}\underbrace{\left[\operatorname e^{-t\sqrt{2n}}\sin^{2n}t\right]_0^{+\infty}}_0+\sqrt{2n}\int_0^{+\infty}\operatorname e^{-t\sqrt{2n}}\sin^{2n-1}t\cos t\,\mathrm dt=</math><br /><math>-\underbrace{\left[\operatorname e^{-t\sqrt{2n}}\sin^{2n-1}t\cos t\right]_0^{+\infty}}_0+\int_0^{+\infty}\operatorname e^{-t\sqrt{2n}}\left((2n-1)\sin^{2n-2}t\cos^2t-\sin^{2n}t\right)\,\mathrm dt=</math><br /><math>\int_0^{+\infty}\operatorname e^{-t\sqrt{2n}}\left((2n-1)\sin^{2n-2}t(1-\sin^2t)-\sin^{2n}t\right)\,\mathrm dt=</math><br /><math>(2n-1)\left(I_{n-1}-I_n\right)-I_n=(2n-1)I_{n-1}-2nI_n</math>.
#<math>I_0=1</math> et <math>I_n=\frac{2n(2n-1)}{1+4n^2}I_{n-1}</math> donc<br /><math>I_n=\frac{(2n)!}{\left(1+4n^2\right)\left(1+4(n-1)^2\right)\dots(1+4.1^2)}</math>.
#<math>I_1=\frac1{3\sqrt2}</math> et <math>I_n=\frac{2n-1}{2n+1}I_{n-1}</math> donc<br /><math>I_n=\frac{(2n-1)(2n-3)(2n-5)\cdots\times5\times3}{(2n+1)(2n-1)(2n-3)\cdots\times7\times5}I_1=\frac1{(2n+1)\sqrt2}</math>.
#<math>\lim_{n \to \infty} I_n=\lim_{n \to \infty}\frac1{(2n+1)\sqrt2}=0 </math>.
#<math>\frac{2n(2n-1)}{1+4n^2}=\frac{1-\frac1{2n}}{\frac1{4n^2}+1}<1-\frac1{2n}</math> donc <math>\ln\left(I_n\right)<\sum_{k=1}^n\ln\left(1-\frac1{2k}\right)<-\frac12\sum_{k=1}^n\frac1k</math>, ce qui prouve que <math>I_n\to0</math>.
}}
}}



Version du 11 juin 2017 à 07:24

Suites d'intégrales 2
Image logo représentative de la faculté
Exercices no18
Leçon : Intégration en mathématiques
Chapitre du cours : Intégrale et primitives

Exercices de niveau 13.

Exo préc. :Suites d'intégrales 1
Exo suiv. :Divers
En raison de limitations techniques, la typographie souhaitable du titre, « Exercice : Suites d'intégrales 2
Intégration en mathématiques/Exercices/Suites d'intégrales 2
 », n'a pu être restituée correctement ci-dessus.




Exercice 18-1

Pour , on pose :

.

 En intégrant par parties, montrer que :

.

 Établir que :

.
En déduire que :
.

 L'entier étant fixé, démontrer par récurrence sur  :

.

Exercice 18-2

 Soient et . Pour , on pose :

.
Justifier cette notation.
Déterminer la fonction dérivée de .
En se limitant à , montrer qu'il existe un triplet , dépendant du couple , tel que
.
On distinguera les cas et . Dans la second cas, on montrera qu'il existe une solution et une seule, à savoir :

 Pour et , donner une expression de :

dans laquelle n'intervient aucun signe d'intégration.
(On mettra la fonction sous la forme .)

Exercice 18-3

Pour tout entier naturel non nul, on considère la fonction définie par :

.

 Prouver que est croissante et majorée par .

 Soit :

.
a)  Calculer .
b)  Prouver que :
.

 En déduire en fonction de .

 Étudier la limite de la suite .

Exercice 18-4

Pour tout entier , on considère , définie par :

.

 Calculer et .

 Calculer en intégrant par parties :

.

 Étudier la limite en de la suite .

Exercice 18-5

Soit la fonction , prolongée par continuité en .

 Préciser la valeur de . Représenter graphiquement la fonction .

 Calculer :

.

 On pose, pour et entiers naturels :

.
Prouver que :
.

 Calculer . En déduire :

.

 En déduire la valeur de

.

Exercice 18-6

Soit la fonction définie par :

.

 Calculer les dérivées première et seconde de et en déduire, par récurrence, la dérivée d'ordre .

 Étudier les variations de la fonction définie par :

est un entier relatif. Tracer les courbes représentatives , et des fonctions , et .

 On pose :

.
Calculer et en fonction de , et établir la relation :
.