Exercices corrigés de Polytechnique sur le thème « intégrales à paramètre », regroupés par filière.
MP–MPI
Exercice 1. (★★) Dérivation sous l'intégrale ; Théorème fondamental ; Régularité de classe Ck
Soit {f\in\mathcal C^\infty(\mathbb{R})} telle que {f(0)=0}.
Montrer qu’il existe {g\in\mathcal C^\infty(\mathbb{R})} telle que {f(t)=tg(t)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 2. (★★★★) Dérivation terme à terme ; Dérivation sous l'intégrale ; Bijections réciproques
1) Montrer l’existence et l’unicité d’une fonction dérivable {v:\mathbb{R}_+\to\mathbb{R}_+} telle que {v(0)=0} et {v'(t)=\int_0^1(v(tx)+1-v(t))\,dx}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Supposons maintenant {v'(t)=\int_0^1\max(0,v(tx)+1-v(t))\,dx}, {v(0)=0}.
Justifier l’existence de {a=\max\left\{t\ge0:v(t)\le1\right\}}.
Pour {t\ge a}, montrer l’existence et l’unicité d’un réel positif {f(t)} tel que {v(f(t))+1=v(t)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
3) En admettant {f} dérivable sur {(a,\infty)} et {f'(t)v'(f(t))=v'(t)}, montrer que {v} est de classe {\mathcal C^2} sur {\mathbb{R}_+}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 3. (★★★) Dérivation sous l'intégrale ; Intégration par parties ; Dérivation terme à terme
On admet des fonctions {h_k} telles que {\sum_{k=0}^\infty h_k(x)\frac{t^k}{k!} =\exp(-x^2/2+2tx-t^2).}
1) Montrer que {h_k(x)=(-1)^ke^{x^2/2}(d^k/dx^k)e^{-x^2}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Montrer que {H_k(x)=e^{x^2/2}h_k(x)} est un polynôme de degré au plus {k}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
3) Exprimer {\widehat h_k(\xi)=\int_\mathbb{R}h_k(x)e^{-ix\xi}\,dx} à l’aide de {h_k}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 4. (★★★) Dérivation sous l'intégrale ; Éléments simples ; Séries géométriques
Soient {u,v\in\mathbb{R}} et {r\ge0} avec {r\notin\left\{|u|,|v|\right\}}. Calculer {I_r(u,v)=\int_0^{2\pi}\frac{d\theta}{(u-re^{i\theta})(v-re^{i\theta})}.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 5. (★★★★) Taylor-Young ; Convergence dominée ; Équivalents
Soit {f} continue sur {[0,1]}, avec {f(0)\ne0}, et {g(x)=\int_0^1f(t)/(1+xt)dt} pour {x\ge0}.
a) Donner un équivalent en {+\infty}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Si {f} est {C^1}, majorer l’écart avec cet équivalent.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
c) Que peut-on préciser si {f} est {C^2} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 6. (★★★★) Changement de variable ; Équivalents ; Comparaison d'intégrales
Déterminer un équivalent, lorsque {x\to1^-}, de {I(x)=\int_0^1\frac{dt}{\sqrt{(1-t^2)(1-xt^2)}}.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 7. (★★★★) Convergence dominée ; Dérivation sous le signe intégral ; Intégration par parties
Calculer {f(x)=\int_{\mathbb{R}}e^{ixt}/(1+t^2)\,dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 8. (★★★★) Continuité linéaire ; Valeurs propres ; Bornes atteintes
Soient {K\in C^0([0,1]^2,\mathbb{R})} et {E=C^0([0,1],\mathbb{R})}.
a) Montrer que {T_Kf(x)=\int_0^1K(x,y)f(y)\,dy} est un endomorphisme continu pour la norme uniforme.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Si {K>0}, {\lambda>0} et l’espace propre {E_\lambda(T_K)} contient une fonction non nulle positive ou nulle, montrer qu’il est de dimension un.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 9. (★★★★) Convergence dominée ; Récurrences linéaires ; Équivalents
Soit {m\ge1}. On pose {u_0=4^m}, {u_1=4^m-1} et, pour {1\le k\le m}, {u_k=-1+\frac{2m-k}{2m}u_{k+1}+\frac{k}{2m}u_{k-1}.}Posons {v_k=m\int_0^1\frac{(1+x)^{2m-k}}x((1+x)^k-(1-x)^k)\,dx}.
a) Montrer {v_k=u_k} pour {1\le k\le m}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Donner un équivalent de {W_m=m\int_0^1\frac{(1+x)^m}x((1+x)^m-(1-x)^m)\,dx}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 10. (★★★★) Convergence dominée ; Formule de Taylor ; Équivalents
Déterminer un équivalent de {\int_0^\infty(te^{-t})^x\,dt} lorsque {x\to+\infty}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 11. (★★★★★) Fonctions d’une variable réelle ; Intégration par parties ; Indépendance
Soient {(X_n)_{n\ge1}} indépendantes avec {\mathbb{P}(X_n=0)=1-1/n}, {\mathbb{P}(X_n=n)=1/n}, et {S_n=\sum\limits_{j=1}^nX_j}.
a) Pour {\lambda\ge0}, déterminer {\lim_n\mathbb E(e^{-\lambda S_n/n})}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Montrer qu’il existe une unique fonction continue {f} sur {\mathbb{R}_+^\star}, dérivable après un, avec {f=1} sur {]0,1]} et {xf'(x)+f(x-1)=0} pour {x>1} ; montrer qu’elle est strictement positive et tend vers zéro.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
c) Pour {\phi(\lambda)=\int_0^\infty e^{-\lambda t}f(t)\,dt}, montrer que la limite de a) vaut {e^{-k}\phi(\lambda)} pour un {k>0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
PC
Exercice 1. (★★★) Dérivation sous l'intégrale ; Intégrabilité ; Convergence dominée
Pour {a\geq1}, justifier et calculer {I(a)=\int_0^{\pi/2}\log(a^2-\cos^2t)\,dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 2. (★★★★) Dérivation sous l'intégrale ; Continuité ; Convergence dominée
Pour {x\geq0}, justifier et calculer {I(x)=\int_0^\infty(\sin t/t)^2e^{-xt}\,dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 3. (★★★) Dérivation sous l'intégrale ; Intégrabilité ; Primitives
Pour {x\in\mathbb{R}}, justifier et calculer {J(x)=\int_0^\infty\arctan(xt)\,dt/(t(1+t^2))}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 4. (★★★★) dérivation sous l'intégrale ; convergence uniforme ; positivité et majorations
Soit {f:\mathbb{R}\to\mathbb{R}} continue, nulle hors de {[-a,a]}, avec {a,b>0}, et {\widehat f(x)=\int_{\mathbb{R}}f(t)e^{-ixt}\,dt}.
Montrer que {f=0} dans chacun des cas :
1) {\widehat f=0} sur {[-b,b]} ;
2) {\widehat f=0} hors de {[-b,b]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 5. (★★★★★) Intégration sur un intervalle quelconque ; dérivation sous l’intégrale ; changement de variable
1) Montrer que, pour {x>0}, {e^{-x^2}\int_0^{+\infty}e^{-t^2}\,dt=\int_0^{+\infty}xe^{-x^2(1+s^2)}\,ds.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) En déduire la valeur de {\int_0^{+\infty}e^{-t^2}\,dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
3) Calculer {\int_0^{+\infty}\cos(t^2)\,dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exercice 6. (★★★★) Intégration sur un intervalle quelconque ; convergence dominée ; continuité
Pour {x\in\mathbb{R}}, on note {x_+=\max(x,0)}. On pose {\widehat f(\xi)=\int_{-\infty}^{+\infty}(\sin x/x)^2e^{i\xi x}\,dx}.
1) Montrer que {\widehat f} est définie et continue sur {\mathbb{R}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Pour {N\in\mathbb{N}} et {x\in\mathbb{R}}, montrer que {\frac1{N+1}\sum_{k=0}^N\sum_{j=-k}^ke^{ijx} =\sum_{j=-N}^N\left(1-\frac{|j|}{N+1}\right)e^{ijx} =\frac1{N+1}\left(\frac{\sin((N+1)x/2)}{\sin(x/2)}\right)^2.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
3) Pour {N\in\mathbb{N}} et {k\in\mathbb{Z}}, montrer que {\frac1{2\pi}\int_{-\pi}^\pi\frac1{2N+2} \left(\frac{\sin((N+1)x)}{\sin(x/2)}\right)^2e^{-ikx}\,dx =\left(1-\frac{|k|}{2N+2}\right)_+.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
4) Montrer que, uniformément en {k\in\mathbb{Z}}, la différence {\frac1{2\pi}\int_{-\pi}^\pi\frac1{2N+2} \left(\frac{\sin((N+1)x)}{\sin(x/2)}\right)^2e^{-ikx}\,dx -\frac1{2\pi}\int_{-\pi}^\pi\frac1{2N+2} \left(\frac{\sin((N+1)x)}{x/2}\right)^2e^{-ikx}\,dx}tend vers zéro lorsque {N\to+\infty}.
En déduire {\widehat f(\xi)=\pi(1-|\xi|/2)_+}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres