Intégration sur un intervalle quelconque — Centrale-Supélec

Exercices corrigés de Centrale-Supélec sur le thème « intégration sur un intervalle quelconque », regroupés par filière.

MP–MPI


Exercice 1. (★★★★) intégration par parties ; changement de variable ; séries alternées
Soit {A(x)=\int_0^\infty\cos(t^3/3+xt)\,dt}.
1) Justifier l’existence pour {x\geq0} par intégration par parties.

Tracer sur {]0,10]} ; que se passe-t-il sur {[-10,10]} ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Pour {x>0}, poser {P(t)=t^3/3-xt} et définir {a_n>0} par {P(a_n)=(2n+1)\pi/2}.

Justifier l’unicité et programmer {a_n}, {u_n=\int_{a_n}^{a_{n+1}}\cos(P(t))dt}.

Tracer l’intégrande pour {x=1}.

Montrer {a_n\sim(3n\pi)^{1/3}}, déterminer un équivalent de {a_{n+1}-a_n}, étudier {u_n} et prouver l’existence de {A(-x)}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★★) dérivation terme à terme ; intégration terme à terme ; comparaison série-intégrale
Poser {f_n(t)=1/(t^4+n^4)}, {I_n=\int_0^\infty f_n}, {f=\sum\limits_{n\geq1}f_n}.

Justifier {f}, sa continuité, sa classe {C^1} et ses variations.

Programmer {f} et trouver {m\in\left\{0,1,2,3,4\right\}} tel que {t^mf(t)} ait une limite finie non nulle.

Prouver la convergence de {I_n} et {I=\int_0^\infty f}, puis {f(t)\sim I_1/t^m}.

Montrer {|\int_0^af-\sum\limits I_n|\leq\zeta(2)/a} pour {a>0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★★) formule de Stirling ; convergence dominée ; changement de variable
Soit {I_n=\int_{-1}^1(1+t)^ne^{-nt}dt}.

Tracer {\sqrt n I_n} pour {100\leq n\leq200}.

Poser {f(t)=(1+t)e^{-t}}, {\phi(t)=-\ln(f(t))/t^2}.

Prolonger {\phi} en zéro, étudier sa limite en {-1} et prouver une minoration strictement positive sur {]-1,1[}.

Étudier {g_n(t)=f(t/\sqrt n)^n} et en déduire {I_n\sim\sqrt{2\pi/n}}. Pour {J_n=\int_1^\infty(1+t)^ne^{-nt}dt}, prouver {n!=e^{-n}n^{n+1}(I_n+J_n)}, {J_n=o(I_n)}, et retrouver Stirling.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★★) équivalents ; intégrabilité ; convergence dominée
Soient {I_n=\int_0^\infty t^\alpha/\prod\limits_{k=1}^n(k+t)\,dt}, {J_n=\int_0^1t^\alpha/\prod\limits_{k=1}^n(k+t)\,dt}.

Donner leurs conditions d’existence et programmer leur quotient pour {n=10,\ldots,29}.

Pour {\alpha>-1}, étudier {\prod\limits_{k=1}^n(1+t/k)}, {n!J_n}, prouver {t/k-t^2/(2k^2)\leq\ln(1+t/k)\leq t/k} sur {[0,1]}, puis déterminer des équivalents de {J_n} et {I_n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★★★★) inégalité de Cauchy-Schwarz ; applications linéaires continues ; intégration par parties
Soit {E=\left\{f\in C^0(\mathbb{R}_+,\mathbb{R}):\int_0^\infty f^2\lt \infty\right\}}, {\lVert f\rVert=(\int f^2)^{1/2}}, et {Tf(0)=f(0)}, {Tf(x)=x^{-1}\int_0^xf} pour {x>0}.
1) Rappeler le théorème de dérivation des intégrales, montrer que {Tf} est continue et que {Tf(x)^2\leq x^{-1}\int_0^xf(t)^2dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {\int_0^A(Tf)^2\leq2\int_0^A\frac{f(x)}x\int_0^xf}, puis que {Tf\in E} et {\lVert Tf\rVert\leq2\lVert f\rVert}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer que la constante deux est optimale, en s’inspirant de {t^{-a}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★★★) convergence dominée ; changement d’échelle ; équivalents
Soit {f(t)=-\log\cos t} sur {[0,\pi/2[}.
a) Montrer {f(t)\ge t^2/2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Pour {\alpha\ge0}, déterminer {\lim_{n\to\infty}\int_0^{\sqrt n}x^\alpha \cos^n(\pi x/(2\sqrt n))dx}, puis un équivalent de {I_n=\int_0^1x^\alpha\cos^n(\pi x/2)dx}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★★★) changement de variable ; intégration par parties ; convergence absolue
1) Énoncer le changement de variable et l’intégration par parties pour les intégrales généralisées.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Si {P\in\mathbb{R}[X]} a degré au moins deux, montrer que {\int_0^\infty\cos(P(t))dt} converge.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer que {\int_0^\infty\cos(t^2)dt} n’est pas absolument convergente.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 8. (★★) intégration par parties ; comparaison d’intégrales ; développements asymptotiques
Pour {x>0}, soit {f(x)=\int_0^\infty e^{-t}/(t+x)dt}.
1) Rappeler la convergence dominée.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Justifier la définition et donner les limites en zéro et à l’infini.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Pour tout {n\in\mathbb{N}}, montrer qu’il existe {a_0,\ldots,a_n\in\mathbb{Z}} tels que {f(x)=\sum\limits_{k=0}^na_k/x^k+o(x^{-n})} à l’infini.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


PSI


Exercice 1. (★★) Convergence dominée ; Intégrabilité ; Séries alternées
Soit {I_n=\int_0^{+\infty}(\sin t/t)^n\,dt}.
1) Montrer l’existence de {I_n} pour {n\geq2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Étudier la convergence de {(I_n)_{n\geq2}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer que {I_n=\sum_{k=0}^{+\infty}(-1)^k \int_0^\pi\left(\frac{\sin u}{u+k\pi}\right)^n\,du,}puis en déduire {I_n>0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★★) Décomposition en éléments simples ; Intégrabilité ; Équivalents
Python. Pour {n\geq2}, on pose {f_n(x)=\frac1{(x+1)\cdots(x+n)},\qquad I_n=\int_0^{+\infty}f_n(x)\,dx.}
1) Calculer {I_n} et {I_nn!\ln n} pour {2\leq n\leq30}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {(I_n)} converge et préciser sa limite.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) On admet {f_n(x)=\sum\limits_{k=1}^na_k/(x+k)}.

Montrer que {a_k=(-1)^{k-1}\frac1{(k-1)!}\binom{n-1}{k-1}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4) Calculer {\sum\limits_{k=1}^na_k}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
5) Exprimer {I_n} comme somme.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
6) Montrer que {f_n'/f_n=-\sum\limits_{k=1}^n1/(x+k)}, puis {-\frac{\int_0^1f_n'(t)\,dt}{\sum_{k=1}^n1/k} \leq\int_0^1f_n(t)\,dt \leq-\frac{\int_0^1f_n'(t)\,dt}{\sum_{k=1}^n1/(k+1)}.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★) Intégration par parties ; Critères de comparaison
Soit {f:[1,\infty[\to\mathbb{R}} continue telle que {\int_1^\infty f} converge.

Montrer que {\int_1^\infty f(t)t^{-\alpha}dt} converge pour tout {\alpha>0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★) Convergence dominée ; Comparaison série-intégrale ; Calcul asymptotique
Pour {n\geq0}, soit {I_n=\int_0^1t^{n+1}\ln t/(1-t^2)dt}.

Justifier la convergence, montrer que {I_n\to0}, l’exprimer par une série et en donner un équivalent.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★★) intégrabilité ; changement de variable ; développements limités
Soit {I=\int_0^\infty\sin^3t/t^2\,dt}.
a) Justifier sa convergence.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Montrer {\sin^3t=(3\sin t-\sin3t)/4}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Montrer {I=\frac34\lim_{x\to0^+}\int_x^{3x}\sin t/t^2\,dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
d) Montrer que {(\sin t-t)/t^2} se prolonge continûment en {0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
e) Calculer {I}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★★) convergence dominée ; intégration terme à terme ; contrôle du reste
a) Énoncer la convergence dominée et l’intégration terme à terme.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Justifier et établir {\int_0^\infty t/\cosh t\,dt=2\sum\limits_{n\ge0}(-1)^n/(2n+1)^2} en développant l’intégrande.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Faire de même pour {\int_0^\infty\cos t/(1+e^t)dt =\sum\limits_{n\ge1}(-1)^{n-1}n/(n^2+1)}. Le théorème d’intégration terme à terme s’applique-t-il directement ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★★) Fonctions d’une variable réelle ; intégrabilité ; changement de variable
1) Soit {f:x\mapsto e^x/(1+e^{4x}\sin^2x)}.

Montrer que {f} ne s’annule pas, n’a pas de limite en {+\infty} et n’est pas bornée.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Pour {a>0}, calculer {J(a)=\int_0^{\pi/2}dx/(1+a^2\sin^2x)} avec {u=\tan x}, puis montrer que l’intégrale sur {[0,\pi]} vaut {2J(a)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Quelle est la nature de {\int_0^{+\infty}f(x)\,dx} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 8. (★★★) changement de variable ; séries de Riemann ; comparaison d’intégrales
1) Étudier l’existence et calculer {F(x)=\int_0^{+\infty}dt/(1+x^2+t^2)} pour {x\geq0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Calculer {I_n=\int_0^\pi dt/(1+(n\pi)^\alpha\sin^2t)}. Indication : poser {u=1/\tan t}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Étudier, suivant {\alpha>0}, la nature de {\int_0^{+\infty}dt/(1+t^\alpha\sin^2t)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 9. (★★★) comparaison série-intégrale ; convergence dominée ; intégration par parties
Pour {n\geq1}, soit {H_n=\sum\limits_{k=1}^n1/k}.
1) Montrer qu’il existe {\gamma\in\mathbb{R}} tel que {H_n=\ln n+\gamma+o(1)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) On définit sur {]0,+\infty[}, {f_n(x)=(1-x/n)^n\ln x\,\mathbf1_{]0,n[}(x).}Montrer que {\int_0^{+\infty}f_n\to\int_0^{+\infty}e^{-x}\ln x\,dx}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Exprimer cette dernière intégrale en fonction de {\gamma}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 10. (★★) primitives ; dérivation d’une composée ; fonctions réciproques
1) Montrer l’existence et calculer {\int_{-\infty}^{+\infty}du/(u^2+u+1)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Soient {I} un intervalle ouvert de {\mathbb{R}} et {y\in C^1(I,\mathbb{R})} telle que {y'=y^2+y+1}.

Montrer que {I} est borné.

Expliciter {y}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


PC


Exercice 1. (★★) Suites implicites ; Monotonie ; Primitives
(Python)
a) Montrer que {e^{-x}\sum\limits_{k=0}^nx^k/k!=1/2} admet une unique solution {a_n\geq0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Montrer que {(a_n)} est croissante.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Montrer que {a_n\to+\infty}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
d), e) d) Tracer {a_n,n,n+1} pour {0\leq n\leq50} et conjecturer.

e) Tracer {3(a_n-n)} et conjecturer.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
f) Justifier l’existence de {G=\int_0^\infty e^{-t^2}\,dt} ; on admet {G=\sqrt\pi/2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
g) Si {f_n(x)=e^{-x}\sum\limits_{k=0}^nx^k/k!}, montrer que {f_n(x)=1-\int_0^xt^ne^{-t}/n!\,dt=\int_x^\infty t^ne^{-t}/n!\,dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★) Intégration par parties ; Comparaison série-intégrale ; Intégrabilité
(Python)
a) i) Montrer que {S=\sum\limits_{n\geq0}(2n+1)^{-2}} existe.

ii) Trouver un indice donnant une erreur au plus {10^{-3}}.

iii) Montrer que {\ln(\tanh x)} est intégrable sur {]0,+\infty[}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) i) Calculer numériquement cette intégrale et {S}, puis conjecturer.

ii) Calculer numériquement {\int_0^\infty x/\sinh(2x)\,dx} et en donner une expression exacte par intégration par parties.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★★) Changement de variable ; Convergence ; Limites aux bornes
Soit {f:[0,+\infty[\to\mathbb{R}} continue, de limite finie {\ell} à l’infini.

Étudier l’existence et calculer {\int_0^\infty(f(ax)-f(bx))/x\,dx} pour {a,b>0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★★★) Comparaison série-intégrale ; Intégration par parties ; Changement de variable
(Python) Soit {f\in C^1(]0,+\infty[)} strictement croissante, de limite {+\infty} en {+\infty}, avec {f'} décroissante.

Poser {I=\int_0^\infty\sin(f(t))/t\,dt} et {S=\sum\limits_{n\geq1}\sin(f(n))/n}.

a) Étudier {I} pour {f(t)=t}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Quelles puissances {t^\alpha} vérifient les hypothèses ?

Étudier alors {I}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Donner une primitive de {\sin(\ln t)/t} et étudier {\int_1^\infty\sin(10\ln t)/t\,dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
d), e) d) Programmer les sommes partielles pour {f(t)=t^\alpha}, tracer jusqu’à {1000} pour {\alpha=0{,}5} et {0{,}8} et conjecturer.

e) Faire de même pour {f(t)=10\ln t}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
f) Comparer les natures de {I} et {S}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★★★) Intégrabilité ; Intégration par parties ; Majoration des restes
(Python) Soit {f\geq0}, de classe {C^1}, décroissante sur {\mathbb{R}_+}, avec {\int_0^\infty f} et {\int_0^\infty t^2f(t)\,dt} finies.
a) Vérifier les hypothèses pour {e^{-x}} et {1/(1+x^6)}.

Poser {F(x)=\int_x^\infty f(t)\,dt}, {G(x)=F(\sqrt x)}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Montrer que {F,G} sont {C^2} et décroissantes sur {\mathbb{R}_+^\star}, et que leurs dérivées sont croissantes.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Comparer numériquement {\tfrac12\int t^2f} et {\mu^2F(\mu)} pour les deux exemples et {\mu=0{,}5,10,20}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
d) Majorer {u^2G(u^2)} et en déduire {\lim xG(x)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
e) Montrer que {\int_0^xG(t)\,dt=xG(x)+\int_0^{\sqrt x}t^2f(t)\,dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
f) Montrer l’intégrabilité de {G} et calculer son intégrale.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★★★) Convergence dominée ; Changement de variable ; Équivalents
On admet {\int_0^\infty e^{-t^2/2}\,dt=\sqrt{\pi/2}}.

Trouver un équivalent de {W_n=\int_0^{\pi/2}\cos^nt\,dt}. On pourra poser {x=\sqrt n t}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★★) Reste intégral de Taylor ; Convergence dominée ; Formule de Stirling
a) Montrer que, pour {n\geq1}, {e^n=\sum_{k=0}^n\frac{n^k}{k!} +\frac{\sqrt n\,n^n}{n!}\int_0^{\sqrt n} (1-t/\sqrt n)^ne^{\sqrt n t}\,dt.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Donner un équivalent de la somme finie en {+\infty}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 8. (★★★) Convergence dominée ; Intégrabilité ; Développements limités
(Python) Soit {a_n=1-\int_0^1(3x^2-2x^3)^{1/n}\,dx}.
a) Montrer l’existence de {a_n} et sa limite {0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Montrer que {I=-\int_0^1\ln(3x^2-2x^3)\,dx=3-\ln(3\sqrt3)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Programmer a(n) et observer {na_n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
d) Montrer que {1-e^{-t}\leq t} pour {t\geq0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
e) Prouver {na_n\to I}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
f) Étudier {n(na_n-I)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 9. (★★) Intégration par parties ; Intégration terme à terme ; Changement de variable
a) Calculer {I_{n,p}=\int_0^1(\ln t)^pt^n\,dt} pour {n,p\in\mathbb{N}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Justifier {I=\int_0^1t^{-t}\,dt} et montrer que {I=\sum\limits_{n\geq1}n^{-n}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Majorer le reste et donner une approximation à {10^{-3}} près.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 10. (★★★) Intégration par parties ; Primitives périodiques ; Développements asymptotiques
Soient {g(x)=\int_\pi^x|\sin t|dt-\frac2\pi(x-\pi)} et {F(x)=\int_\pi^x|\sin t|/t\,dt}.

Montrer que {g} est {C^1} et {\pi}-périodique, puis donner un développement asymptotique de {F} à l’infini par intégration par parties.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 11. (★★) Intégration par parties ; Primitives ; Développements asymptotiques
Soit {F(x)=\int_x^\infty\sin t/t^2dt}.

Montrer qu’elle est définie et {C^\infty} sur {]0,\infty[}, que {F(x)=\cos x/x^2+O(x^{-3})} à l’infini et {F(x)\sim-\ln x} en zéro.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 12. (★★★) Convergence dominée ; Intégration par parties ; Intégration terme à terme
Pour {n\geq1}, soit {I_n=\int_0^\infty(1+t^3)^{-n}dt}.

Justifier la convergence et trouver sa limite ; relier {I_n,I_{n+1}} ; trouver {\alpha} tel que {\ln(n^\alpha I_n)} converge ; montrer la convergence de {\sum\limits I_n/n} et calculer sa somme.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 13. (★★★) Convergence dominée ; Intégration terme à terme ; Développements asymptotiques
Soient {I_n=\int_0^1du/(1+u^n)} et {J=\int_0^1\ln y/(1+y)dy}.

Trouver {\ell=\lim I_n}, calculer {J} avec {\sum\limits_{n\geq1}1/n^2=\pi^2/6}, puis déterminer {\alpha,\beta} dans {I_n=\ell+\alpha/n+\beta/n^2+o(n^{-2})}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 14. (★★★) Convergence dominée ; Sommes géométriques ; Intégration
Posons {a_n=\int_0^{\pi/2}\cos^nx\sin(nx)dx} et {b_n=\int_0^{\pi/2}\cos^nx\,dx}.

Étudier la convergence des deux suites, puis la convergence et la somme de {\sum\limits(-1)^na_n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 15. (★★★) Convergence dominée ; Intégrabilité ; Équivalents
On donne {\int_0^\infty e^{-t}/\sqrt t\,dt=\sqrt\pi}.
1) Prouver la convergence et calculer {\int_0^\infty(1-e^{-t})/t^2dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Pour {n\geq1}, poser {u_n=\int_0^\infty(1-\cos^nt)/t^{3/2}dt} et {v_n=\int_0^\infty(1-\cos^n\sqrt{2t/n})/t^{3/2}dt}.

Justifier ces intégrales et donner un équivalent de {u_n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 16. (★★★) Séries entières ; Intégration par parties ; Dérivation terme à terme
Soit {F(s)=\int_{2\pi}^\infty e^{it}t^{-s}dt}.
1) Montrer qu’elle est définie pour {s>0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {S(x)=\sum\limits_{n\geq0}(-1)^nx^{4n+3}/((2n+1)!(4n+3))} est {C^\infty} et bornée sur {\mathbb{R}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer que le domaine de {F} est exactement {]0,\infty[}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 17. (★★★) intégration par parties ; comparaison série-intégrale ; critères de comparaison
Soit {f\in C^1(\mathbb{R}_+^\star)} strictement croissante, concave, tendant vers {+\infty}.

Poser {I=\int_1^\infty\sin(f(t))/t\,dt} et {S_n=\sum\limits_{k=1}^n\sin(f(k))/k}.

a) Étudier {I} pour {f(t)=t} par intégration par parties.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Étudier {I} pour {f(t)=10\log t}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Pour {f(t)=t^\alpha}, préciser les {\alpha>0} admissibles et étudier {I}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
d)-e) Tracer {S_n}, {1\le n\le1000}, pour {\alpha=0,5}, {0,8}, puis pour {10\log t}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
f) Conjecturer. Supposer ensuite {f(t)=O(t^{-\beta})}, {\beta>0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
g) Quels exemples vérifient cette propriété ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
h) Montrer, pour {n\le t\le n+1}, {|\sin(f(t))/t-\sin(f(n))/n|\le f'(n)/n+1/n^2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
i) Démontrer la conjecture.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 18. (★★★★) intégration par parties ; Cauchy-Schwarz ; intégrabilité
Soit {E} l’espace des fonctions continues sur {\mathbb{R}_+} de carré intégrable.
a) Montrer que c’est un espace vectoriel.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
a) Si {f\in C^2} et {f,f''\in E}, montrer {f'\in E}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Si de plus {f(0)=0}, montrer {(\int_0^\infty(f')^2)^2\le(\int f^2)(\int(f'')^2)} et préciser l’égalité.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 19. (★★★) primitives ; équivalents ; intégration des relations de comparaison
Soit {f} continue sur {]0,\infty[}, de carré intégrable sur {]0,1]}, et {\ell>0}.
a) Si {f(x)\int_0^xf^2\to\ell} et {f} a une limite, la déterminer.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Trouver toutes les {f} telles que {f(x)\int_0^xf^2=\ell} pour tout {x>0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Sous la seule limite du produit, donner un équivalent de {f}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 20. (★★★) théorème de Rolle ; caractérisation par les dérivées ; critères de comparaison
Soit {f\in C^2(\mathbb{R}_+^\star)} avec {f''>0} et {f(x+1)=xf(x)}.
a) Montrer que {f'} s’annule dans {]1,2[} et donner les variations.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Montrer que {f} est de signe constant et préciser ce signe.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Donner sa limite à l’infini.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
d) Étudier {\int_1^\infty f}, {\int_0^1f}, {\int_1^\infty1/f}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 21. (★★★) intégration terme à terme ; convergence dominée ; développements asymptotiques
Soit {I_n=\int_0^1dx/(1+x^n)}.
a) Donner sa limite {\ell} et un équivalent de {I_n-\ell}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Justifier {J=\int_0^1\log(1+t)/t\,dt} et montrer {J=\sum\limits_{n\ge1}(-1)^{n-1}/n^2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Donner un développement de {I_n} à trois termes.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 22. (★★) intégration terme à terme ; séries alternées ; décomposition sur les réels et les complexes
Pour {a,b>0}, montrer {\sum\limits_{n\ge0}(a+nb)^{-2}=\int_0^\infty te^{-at}/(1-e^{-bt})dt} et {\sum\limits_{n\ge0}(-1)^n/(a+nb)=\int_0^1t^{a-1}/(1+t^b)dt}.

Calculer la seconde somme pour {a=1,b=3}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 23. (★★) intégration terme à terme ; convergence uniforme ; continuité de la limite
Pour {f_n(x)=(-1)^ne^{-nx}/n} :
a) utiliser la série de fonctions pour calculer {\sum\limits_{n\ge1}(-1)^n/n} ;
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) calculer {\int_0^\infty\log(1+e^{-x})dx}, sachant {\sum\limits n^{-2}=\pi^2/6} ;
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) donner un équivalent de {\int_0^\infty\log(1+e^{-nx})dx}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 24. (★★★) continuité de la limite ; convergence normale ; intégration terme à terme
Soit {f(x)=\sum\limits_{n=1}^{+\infty}1/[n(nx^2+1)]}.
1) Déterminer son domaine de définition.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Étudier sa continuité sur {]0,+\infty[} et ses limites en {0^+} et {+\infty}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Est-elle intégrable sur {]0,+\infty[} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 25. (★★★) changement de variable ; intégration terme à terme ; équivalents
Pour {n\in\mathbb{N}}, on pose {I_n=\int_1^{+\infty}dt/(1+t+\cdots+t^n)} lorsque cela a un sens.
1) Montrer que {(I_n)_{n\geq2}} est bien définie et calculer sa limite.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer {I_n=\int_0^1u^{n-2}(1-u)/(1-u^{n+1})\,du}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer {I_n=\sum\limits_{k=1}^{+\infty}1/[(nk+k-2)(nk+k-1)]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4) En déduire un équivalent de {I_n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 26. (★★★) prolongement par continuité ; convergence dominée ; équivalents
Soit {f(x)=x^2\ln x/(x-1)} pour {0\lt x\lt 1}.
1) Montrer que {f} se prolonge continûment sur {[0,1]} et que ce prolongement est {C^1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Pour {u_n=\int_0^1x^nf(x)\,dx}, montrer {u_n\to0} et trouver un équivalent.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer {\lim_{n\to\infty}n\int_0^1x^nf(x^n)\,dx=\sum\limits_{k=3}^{+\infty}1/k^2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 27. (★★★★) changement de variable ; intégrabilité ; équivalents
1) Déterminer le domaine de définition de {\Gamma(x)=\int_0^{+\infty}t^{x-1}e^{-t}\,dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {f(x)=\int_0^{+\infty}e^{-x^nt}g(t)\,dt} est définie sur {\mathbb{R}_+} pour toute fonction {g} continue et intégrable sur {\mathbb{R}_+}, avec {g(0)\ne0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) À l’aide du changement de variable {u=x^{1/n}t}, montrer que {f(x)\sim\Gamma(1/n)g(0)/(nx^{n-1})} lorsque {x\to+\infty}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


Retour aux planches par thème

Author: Jean-Michel Ferrard

Professeur de mathématiques en classe préparatoire aux grandes écoles.