« Intégration en mathématiques/Exercices/Suites d'intégrales 2 » : différence entre les versions
Contenu supprimé Contenu ajouté
typographie |
mef+relégué à la fin (et masqué) un énoncé aberrant |
||
Ligne 8 :
}}
== Exercice 18-1==
On pose :
:<math>\begin{cases}a\in\N^*\qquad n\in\N^*\\I(a,0)=\int_0^1 x^a\,\mathrm dx\\I(a,n)=\int_0^1x^a(1-x)^n\,\mathrm dx.\end{cases}</math>
'''1°''' En intégrant par parties, montrer que :
:<math> I(a+1,n)=\frac{a+1}{n+1}I(a,n+1)
'''2°''' Établir que :
:<math>
:En déduire que :
:<math>
'''3°''' L'
:<math>\forall n\in\N^*\quad I(a,n)=\frac{1\times2\times3\times\cdots\times(n-1)\times n}{(a+1)\times(a+2)\times\cdots\times(a+n+1)}</math>.
{{Solution|contenu=
}}
== Exercice 18-2==
'''1°''' Soient <math>p</math> et <math>q</math> des rationnels positifs. Pour <math>x\in\left[0,1\right[</math>, on pose :
:<math>f_{p,q}(x)=\int_0^x t^p(1-t)^q\,\mathrm dt</math>.
:Justifier cette notation.
:Déterminer la fonction dérivée de <math>f_{p,q}</math>.
:En se limitant à <math>p\geqslant1</math>, montrer qu'il existe un triplet <math>(a,b,c)\in\R^3</math>, dépendant du couple
:<math>\forall x\in\left[0,1\right[\quad a f_{p,q}(x)+b f_{p-1,q-1}(x)=
:On distinguera les cas
:<math>
'''2°''' Pour <math>x\in[0,1[</math> et <math>n\in\N</math>, donner une expression de :
:<math>F_n(x)=\int_0^x
:dans laquelle n'intervient aucun signe d'intégration.
:(On mettra la fonction
{{Solution|contenu=
}}
== Exercice 18-3==
Pour tout entier naturel <math>n</math>, 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>.
'''1°''' Prouver que <math>F_n</math> est croissante et majorée par <math>1</math>.
'''2°''' Soit :
:<math>I_n=\lim_{x
:Prouvez que :
:<math>I_n=(2n-1)I_{n-1}-
'''3°''' En déduire
'''4°''' Étudier la limite de la suite
{{Solution|contenu=
}}
== Exercice 18-4==
Pour tout <math>n</math> entier naturel, on considère <math>I_n</math>, définie par :
:<math>I_n=\int_0^1\frac{\mathrm dx}{(1+x^n)\sqrt[n]{1+x^n}}</math>.
'''1°''' Calculer <math>I_1</math> et <math>I_2</math>.
'''2°''' Calculer <math>I_n</math> en intégrant par parties :
:<math>\int_0^1\frac{\mathrm dx}{\sqrt[n]{1+x^n}}</math>.
'''3°''' Étudier la limite en <math>+\infty</math> de la suite <math>\left(I_n\right)</math>.
{{Solution|contenu=
}}
== Exercice 18-5==
Soit la fonction <math>f</math> définie par :
:<math> \begin{cases}f(x)=-x\ln x\\f(0)=\lim_{x\to0}f(x)=l.\end{cases}</math>
'''1°''' Préciser la valeur de <math>l</math>. Représenter graphiquement la fonction <math>f</math>.
'''2°''' Calculer :
:<math>I_1=\int_0^
'''3°''' On pose, pour
:<math>
:Prouver que :
:<math>H_{h,k}=-\frac{k}{h+1}H_{h,k-1}</math>.
'''4°''' Calculer <math>H_{h,0}</math>. En déduire :
:<math>H_{h,k}=-\frac{(-1)^kk!}{(h+1)^{k+1}}</math>.
'''
:<math>
{{Solution|contenu=
}}
== Exercice 18-6==
Soit <math>f:\R\to\R</math> la fonction définie par :
:<math>f(x)=x\operatorname e^x</math>.
'''1°''' Calculer les dérivées première et seconde de <math>f</math> et en déduire, par récurrence, la dérivée d'ordre <math>n</math>.
'''2°''' Étudier les variations de la fonction <math>f_n</math> définie par :
:<math>f_n(x)=(x+n)\operatorname e^x</math>
:où <math>n</math> est un entier relatif. Tracer les courbes représentatives <math>C_{-1}</math>, <math>C_0</math> et <math>C_1</math> des fonctions <math>f_{-1}</math>, <math>f_0</math> et <math>f_1</math>.
'''3°''' On pose :
:<math>I_n(h)=\int_{-n}^{-n+h}f_n(x)\,\mathrm dx</math>.
:Calculer <math>I_0(h)</math> et <math>I_n(h)</math> en fonction de <math>h</math>, et établir la relation :
:<math>I_n(h)=\operatorname e^{-n}I_0(h)</math>.
{{Solution|contenu=
}}
<!--
== Exercice 18-7==
Soit <math>n</math> un entier naturel supérieur à <math>2</math>. Pour tout entier naturel <math>k\leqslant n</math>, on pose :
:<math>I_{k,n}=\int_0^1{n\choose k}(1-x)^{n-k}\,\mathrm dt</math>.
Comparer <math>I_{k,n}</math> et <math>I_{k+1,n}</math>. En déduire <math>I_{k,n}</math> en fonction de <math>n</math>.
{{Solution|contenu=
Outre la coquille (remplacer dt par dx), le calcul direct de <math>I_{k,n}</math> (qui dépend de n mais aussi de k) est instantané.
}}
-->
{{Bas de page
|