Intégration sur un intervalle quelconque — ENS

Exercices corrigés des ENS sur le thème « intégration sur un intervalle quelconque », regroupés par filière.

MP–MPI


Exercice 1. (★★) Intégration par parties ; Majoration d’intégrales
Calculer {\int_0^{+\infty}\int_x^{+\infty}e^{-t^2/2}\,dt\,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 2. (★★★★) Intégrales généralisées ; Séries à termes positifs ; Comparaison logarithmique
Soit {f:\mathbb{R}_+\to\mathbb{R}} continue, strictement décroissante, de limite nulle.

Montrer {\int_0^\infty(f(x)-f(x+1))/f(x)\,dx=+\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 3. (★★★★★) Convergence en norme intégrale ; Continuité uniforme ; Intégrabilité
Déterminer les suites croissantes positives {(u_n)} telles que, pour toute fonction continue intégrable {f} sur {\mathbb{R}}, {u_n\int_{\mathbb{R}}|f(x+1/n)-f(x)|\,dx\to0.}
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. (★★★★) Cauchy-Schwarz ; Intégrabilité ; Intégration par parties
Soit {f:\mathbb{R}_+\to\mathbb{R}} continue, de carré intégrable, et {g(x)=f(x)-2e^{-x}\int_0^xe^tf(t)\,dt}.

Montrer {\int_0^\infty g^2=\int_0^\infty f^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 5. (★★★) Intégration par parties ; Valeurs intermédiaires ; Inégalités de convexité
Soit {f:\mathbb{R}_+\to\mathbb{R}_+} continue d’intégrale {1}, et {g(x)=\int_x^\infty f(t)\,dt}.
1) Montrer {\int_0^\infty g=\int_0^\infty xf(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 :
2) Si {f} est décroissante, montrer l’existence et l’unicité de {m} tel que {\int_0^mf=1/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 :
3) Montrer alors {\int_0^\infty xf(x)\,dx\geq m}.
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. (★★★★) Intégrabilité ; Convergence dominée ; Majoration d’intégrales
Soit {f:\mathbb{R}\setminus\mathbb{Z}\to\mathbb{R}} {1}-périodique, intégrable sur {]0,1[}.
1) Pour {n\geq1}, {\theta\in\mathbb{R}}, justifier par subdivision l’intégrale {I_n=\int_0^1(\sum\limits_{k=0}^{n-1}f(t+k\theta)^2)^{1/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 :
2) Déterminer {\lim I_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 :

Exercice 7. (★★★★) Intégrales généralisées ; Développements usuels ; Changement de variable
1) Montrer {\sum\limits_{n\geq0}\binom{2n}{n}u^{2n}/4^n=1/\sqrt{1-u^2}} pour {|u|\lt 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) Montrer que {x\mapsto\int_0^\pi\ln((\cos t+x)^2)\,dt} est constante sur {[-1,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 :
3) Que déduit-on des deux questions ?
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 en norme intégrale ; Intégrabilité ; Continuité
Soit {f:\mathbb{R}\to\mathbb{R}_+} continue à support compact, d’intégrale {1}.

Déterminer les fonctions continues bornées {g} vérifiant {g(x)=\int_{\mathbb{R}}f(t)g(x-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 :

Exercice 9. (★★★) Changement de variable ; Intégrales généralisées ; Équivalents
Pour {x>0}, montrer l’existence de {I(x)=\lim_{\varepsilon\downarrow0}\left(\int_{-x}^{-\varepsilon}\frac{e^{-x-t}}t\,dt+\int_\varepsilon^\infty\frac{e^{-x-t}}t\,dt\right),}puis donner un équivalent 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 :

Exercice 10. (★★★) Convergence dominée ; Changement de variable ; Comparaison de croissances
Soient {a\in\mathbb{R}}, {b\le0}, avec {1+ax+bx^2\ge0} sur {[0,1]}.
a) Si {a\ge0}, montrer que {n\int_0^1(1+ax+bx^2)^n\,dx\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 :
b) Si {a\lt 0}, montrer que cette quantité tend vers {-1/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 11. (★★★★) Longueur d'une courbe ; Fonctions d’une variable réelle ; Paramétrage
Soit {L} la courbe {|z|^2=\cos(2\arg z)}, complétée par son point limite {0}.
a) Donner une équation cartésienne.
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) Paramétrer sa partie dans le premier quadrant par {r\in[0,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 :
c) Montrer que sa longueur depuis l’origine est {A(r)=\int_0^r(1-t^4)^{-1/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 {A} définit une bijection de {[-1,1]} vers {[-w,w]}, où {w=A(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 :
e) Trouver une équation différentielle du second ordre pour {B=A^{-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 12. (★★★★) Séries, familles sommables ; Comparaison somme-intégrale ; Formule de Stirling
Trouver un équivalent de {S_n=\sum\limits_{k=1}^{+\infty}k^n/2^k} lorsque {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 :

Exercice 13. (★★★★★) Inégalité de Cauchy-Schwarz ; Continuité linéaire ; Intégrabilité
Soit {E} l’ensemble des fonctions complexes continues de carré intégrable sur {]0,+\infty[}.
a) Pour {f} continue sur cet intervalle, avec {\sqrt{+\infty}=+\infty}, montrer {\sqrt{\int_0^{+\infty}|f|^2}=\sup_{g\in E,\ \int|g|^2=1}\int_0^{+\infty}|fg|.}
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 {f\in E}, montrer que {\Phi(x)=\int_0^{+\infty}f(t)/(t+x)\,dt} appartient à {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 :

Exercice 14. (★★★★★) Intégrales de fonctions positives ; Changement de variable ; Applications lipschitziennes
Soient {\alpha,\theta\in]0,1[}. Pour {f:[1,+\infty[\to[0,1]} continue, posons {\lVert f\rVert_\alpha=\sup_{s\ge1}s^\alpha|f(s)|}, et soit {F_\alpha} l’ensemble de celles de norme finie.
a) Pour {f\in F_\alpha}, on pose {T(f)(s)=1-(1-1/s)^\theta+\theta(s-1)^\theta\int_1^{+\infty}(s+t-1)^{-\theta-1}f(t)\,dt.}Montrer que {T} est lipschitzienne de {F_\alpha} dans lui-même.
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) On admet que pour chaque {0\lt \alpha\lt 1-\theta}, {T} a un unique point fixe {f_\alpha\in F_\alpha}.

Montrer qu’ils sont tous égaux à une fonction {f_0}, et que {\int_1^{+\infty}t^{-\theta}f_0(t)\,dt=+\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 :


PSI


Exercice 1. (★★★★) intégration par parties ; Intégrabilité ; changement de variable
Pour {n\in\mathbb{N}}, on pose {A_n=\int_0^\infty t^ne^{-t}\sin t\,dt,\qquad B_n=\int_0^\infty t^ne^{-t}\cos t\,dt,\qquad X_n=\binom{A_n}{B_n}.}
a) Montrer que ces intégrales existent et que {|A_n|^2+|B_n|^2\le(2n)!}.

b) Trouver {A_0} et {B_0}.

c) Montrer qu’il existe une matrice de rotation {R(\theta_0)} telle que {(n+1)X_n=\sqrt2R(\theta_0)X_{n+1}}.

d) Exprimer {A_n} et {B_n} en fonction de {n}.

e) Trouver une condition pour que {A_n=B_n}.

f) Montrer qu’il existe {g_1,g_2\in C^0(\mathbb{R}_+,\mathbb{R}_+)} distinctes telles que, pour tout {n\in\mathbb{N}}, {\int_0^\infty t^ng_1(t)dt=\int_0^\infty t^ng_2(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 :

Exercice 2. (★★★) inégalités de convexité ; Intégrabilité ; comparaison de séries positives
Soient {p>1} et {q>1} tels que {1/p+1/q=1}. Soit {f:\mathbb{R}_+\to\mathbb{R}_+} continue, non identiquement nulle, telle que {\int_0^\infty f(t)^pe^t dt} converge.
a) Pour {0\lt t\lt 1} et {u,v\ge0}, montrer {u^tv^{1-t}\le tu+(1-t)v}. Indication : convexité ou étude de fonction.

b)

i) Pour {A>0} et {g,h\in C^0([0,A],\mathbb{R})}, montrer {\int_0^A|gh|\le\frac1p\int_0^A|g|^p+\frac1q\int_0^A|h|^q.}ii) En déduire l’inégalité de Hölder {\int_0^A|gh|\le\left(\int_0^A|g|^p\right)^{1/p} \left(\int_0^A|h|^q\right)^{1/q}.}c)

i) On pose {u_n=\int_0^\infty t^nf(t)dt} et {I(a)=\int_0^\infty t^ae^{-t}dt} pour {a\ge0}.

Montrer que les {u_n} existent et qu’il existe {K>0} tel que {|u_n|\le K(p/q)^n I(nq)^{1/q}} pour tout {n}.

ii) En déduire que {\sum\limits_{n\ge1}|u_n|^{-1/n}} diverge.

d) Montrer la même divergence si {p=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. (★★) changement de variable ; Intégrabilité
Soit {a>0}. On pose {I(a)=\int_0^\infty e^{-t^2-a^2/t^2}dt,\qquad J(a)=a\int_0^\infty\frac{e^{-t^2-a^2/t^2}}{t^2}dt.}
a) Montrer que ces intégrales convergent.

b) Montrer que {I(a)=J(a)}.

c) En déduire {I(a)=\frac{e^{-2a}}2\int_0^\infty(1+a/t^2)e^{-(t-a/t)^2}dt.}d) Montrer que {I(a)=\frac{\sqrt\pi}2e^{-2a}}. La valeur de l’intégrale de Gauss est donné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 :

Exercice 4. (★★★★) inégalité de Cauchy-Schwarz ; intégration par parties ; Intégrabilité
Soit {f\in C^0(\mathbb{R}_+,\mathbb{R})} de carré intégrable, et {g(x)=x^{-1}\int_0^xf(t)dt} pour {x>0}.
1) Montrer que {g} se prolonge continûment en {0}.

2) Montrer {\int_0^\infty g^2\le4\int_0^\infty f^2}.

3) Rappeler Cauchy–Schwarz et son cas d’égalité ; discuter l’optimalité de la constante {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 :

Exercice 5. (★★★) Intégrabilité ; monotonie ; négligeabilité
a) Soit {f:\mathbb{R}_+\to\mathbb{R}} continue, décroissante, positive et intégrable.

Montrer que {f(x)=o(1/x)} 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 :
b) Construire une fonction continue, positive et intégrable qui ne soit pas {o(1/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 6. (★★★★★) changement de variable ; Intégration terme à terme ; bijections et fonctions réciproques
a) Calculer {\int_0^1-\ln(1-t)\,dt/t}. On donne {\sum\limits_{n\ge1}n^{-2}=\pi^2/6}.
b) Soient {x\in[0,1]} et {0\lt a\lt b}.

Montrer que {y^a-y^b=x^a-x^b} admet deux solutions, sauf pour une valeur {x_0} à déterminer.

c) Posons {f(x_0)=x_0} et, pour {x\ne x_0}, soit {f(x)} l’autre solution.

Montrer que {f} est décroissante et continue.

d) Pour {x\in]0,1[}, montrer que {x^{b-a}=(1-t^a)/(1-t^b)} admet une unique solution {t\in]0,1[}, notée {g(x)}.

e) Calculer {I=\int_0^1-\ln(f(x))\,dx/x}, en utilisant le changement de variable {t=g(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 :


PC


Exercice 1. (★★★★) Borne supérieure et inférieure ; Intégrabilité ; Critères de comparaison
a) Quelles hypothèses sur {\varphi:\mathbb{R}\to\mathbb{R}} assurent la convergence, pour tout {0\lt \lambda\lt 1} et tout {x}, de {I_\lambda(x)=\int_{-\infty}^\infty \frac{\varphi(x)-\varphi(x+z)}{|z|^{1+\lambda}}dz\ ?}b) Soit {\varphi\in C^1(\mathbb{R},\mathbb{R})} bornée à dérivée bornée.

Poser {\psi=\varphi+I_\lambda}.

Montrer que {\sup\psi\ge\sup\varphi}.

Si {\psi\ge0}, montrer que {\varphi\ge0}.

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. (★★★★) convergence dominée ; formule de Stirling ; changement de variable
On pose, pour {n\in\mathbb{N}}, {f(n)=\sum\limits_{k=0}^n n^k/k!}.

Donner un équivalent de {f(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 3. (★★★) critères de comparaison ; dérivation et composition ; limites
Soit {f:\mathbb{R}_+^\star\to\mathbb{R}_+^\star} de classe {C^1}, décroissante et intégrable.
1) Si {f'(x)/f(x)\to0}, montrer que {f(x)/\int_x^{\infty}f(t)\,dt\to0}.

2) Si {f'(x)/f(x)\to-\infty}, déterminer la limite du même quotient.

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. (★★★) intégrabilité ; critères de comparaison ; positivité et majorations
Soient {f,g:\mathbb{R}\to\mathbb{R}} continues et {C_1,C_2,a,b>0} tels que {|f(x)|\le C_1/(1+|x|)^a} et {|g(x)|\le C_2/(1+|x|)^b}.

Quand cela est possible, on pose {(f*g)(x)=\int_{-\infty}^{\infty}f(x-y)g(y)\,dy.}

1) À quelle condition sur les constantes la convolution est-elle définie sur {\mathbb{R}} ?

2) Si {a,b>1}, montrer que {|f*g(x)|\le C_3/(1+|x|)^{\min(a,b)}} pour une constante {C_3>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 5. (★★) Intégration sur un segment ; intégrabilité ; positivité et majorations
Soient {a\lt b} et {f\in C^1(\mathbb{R},\mathbb{R}_+)} intégrable, avec {f'(x)\ge1} sur {[a,b]}.

Peut-on avoir {\int_{\mathbb{R}}f=(b-a)^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 :

Exercice 6. (★★) critères de comparaison ; équivalents
On définit {f_0(x)=e^{-x}} et, pour {n\ge0}, {f_{n+1}(x)=\int_x^\infty\frac{f_n(t+1)}{1+t^2}e^t\,dt.}
a) Montrer que la suite est bien définie.

b) Montrer que {\sum\limits_nf_n} converge sur un intervalle {[x_0,+\infty[} convenablement choisi.

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. (★★) critères de comparaison ; positivité et majorations ; domination et négligeabilité
Pour {a>0}, posons {f(a)=\int_0^\infty dx/(\sqrt{1+x^2}\sqrt{1+a^2x^2})}.
a) Justifier la 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 :
b) Montrer {f(a)=O((\ln a)/a)} lorsque {a\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 :

Exercice 8. (★★★★) intégration par parties ; changement de variable ; équivalents
Pour {n\in\mathbb{N}}, donner un équivalent de {A_n(t)=\int_0^1\sin^2(xt)x^{n-2}\,dx} lorsque {t\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 :

Exercice 9. (★★★) critères de comparaison ; équivalents
Soit {h\in C^1(\mathbb{R},\mathbb{R})} telle que {|h(x)|\le1/(1+|x|)} et {|h'(x)|\le1/(1+|x|^2)}.

Montrer la convergence de {\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}\varphi(x,y)\,dx\,dy}, où {\varphi(x,y)=(h(x)-h(y))/(x-y)} si {x\ne y}, et {\varphi(x,x)=h'(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 :


Retour aux planches par thème

Author: Jean-Michel Ferrard

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