[planches/ex0846] mines MP 2016 On note, sous réserve d’existence, pour \(x\in\mathbf{R}\), \(f(x)=\displaystyle\int_0^{+\infty}{dt\over\mathop{\mathchoice{\hbox{ch}}{\hbox{ch}}{\mathrm{ch}}{\mathrm{ch}}}\nolimits(t)+x}\).
[planches/ex0846]
Déterminer le domaine de définition de \(f\).
Montrer que \(f\) est de classe \(\mathscr{C}^1\) et déterminer sa limite en \(+\infty\).
Montrer que pour \(x\in\left]1,+\infty\right[\), \(f(x)=\displaystyle\int_0^{+\infty}{2\,du\over1+2ux+u^2}\). Calculer \(f(1)\).
[examen/ex4351] centrale PC 2025 (avec Python)
[examen/ex4351]
Python
Soit \(f:x\in\mathbf{R}^{+*}\mapsto\displaystyle\int_0^{\pi/2}\frac{\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits(t)}{x+t}\,\mathrm{d}t\).
Montrer que \(f\) est bien définie.
Montrer que \(f\) est continue.
Montrer que \(f\) a pour limite 0 en \(+\infty\).
Une fonction calculant \(f\) est fournie dans Python. Afficher le graphe de \(f\) sur \([0,1;10]\). Conjecturer la monotonie et la limite de \(f\) en 0. Afficher le graphe sur \([10,100]\) de \(xf(x)\) et de \((x+1)f(x)\). Conjecturer un encadrement de \(f\) au voisinage de \(+\infty\). Tracer \(x\mapsto\displaystyle\frac{f(x)}{\mathop{\mathchoice{\hbox{ln}}{\hbox{ln}}{\mathrm{ln}}{\mathrm{ln}}}\nolimits x}\) et conjecturer un équivalent en 0.
Démontrer la monotonie et la limite en 0 conjecturées à la question précédente.
Montrer l’équivalent en \(+\infty\).
[concours/ex4039] polytechnique pox P 1990 Déterminer \(\mathop{\mathchoice{\hbox{lim}}{\hbox{lim}}{\mathrm{lim}}{\mathrm{lim}}}\limits_{x\rightarrow0}\displaystyle\int_0^x\sqrt{\displaystyle{1+t\over x^2-t^2}}\,dt\).
[concours/ex4039]
[concours/ex3642] mines M 1992 Soit \(I(a)=\displaystyle\int_0^{\pi/2} \left(a^3\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits^3t+\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits^3t\right)^{-\textstyle{1\over3}}\,dt\). Équivalent quand \(a\) tend vers \(0^+\).
[concours/ex3642]
[oraux/ex2315] centrale PSI 2005 Soit, pour \(x\in\mathbf{R}\) : \(f(x)=\displaystyle\int_0^1{1-\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits(2xt^2)\over t}\,dt\).
[oraux/ex2315]
Montrer que \(f\) est bien défini.
Continuité et dérivabilité de \(f\).
Étudier le comportement de \(f\) en \(+\infty\).
[oraux/ex5376] mines MP 2012 Équivalent, lorsque \(x\) tend vers \(+\infty\), de \(f:x\mapsto\displaystyle \int_0^\pi x^t\,\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits t\,dt\).
[oraux/ex5376]
[planches/ex0691] mines MP 2013 Soit \(F:x\mapsto\displaystyle\int_0^{+\infty}{t\over1+t^2}e^{-xt}\,dt\).
[planches/ex0691]
Déterminer le domaine de définition réel de \(F\).
Étudier la continuité et les variations de \(F\).
Donner un équivalent de \(f(x)\) quand \(x\rightarrow0^+\) et quand \(x\rightarrow+\infty\).
[planches/ex7631] ens lyon MP 2022
[planches/ex7631]
Soit \(x\in\mathbf{R}_+^*\). Montrer que \(\varepsilon\longmapsto\displaystyle\int_{-x}^{-\varepsilon}{e^{-x-t}\over t}\,dt+\int_\varepsilon^{+\infty}{e^{-x-t}\over t}\,dt\) possède une limite finie en \(0^+\), que l’on notera \(I(x)\).
Déterminer un équivalent de \(I\) en \(0^+\).
[planches/ex2818] PC 2017 Pour \(n\in\mathbf{N}^*\), on pose \[f_n:x\longmapsto\int_0^{+\infty}{e^{-xt}\over(1+t)^n}\,dt\quad\hbox{et}\quad g_n:x\longmapsto\int_x^{+\infty}{e^{-t}\over t^n}\,dt.\]
[planches/ex2818]
Montrer que \(f_n\) et \(g_n\) sont définies sur \(\mathbf{R}_+^*\).
Soit \(n\in\mathbf{N}^*\). Montrer que, pour \(x>0\), \(f_n(x)=x^{n-1}e^xg_n(x)\).
Montrer que, pour \(n\geqslant 2\), \(f_n\) est définie sur \(\mathbf{R}_+\) et y est de classe \(\mathscr{C}^\infty\).
Soit \(n\in\mathbf{N}^*\). Donner un équivalent de \(g_n(x)\) quand \(x\) tend vers \(0^+\).
Montrer que \(g_n(x)\sim e^{-x}/x\) quand \(x\) tend vers \(+\infty\).
Donner une équation différentielle linéaire d’ordre 1 vérifiée par \(f_n\).
[concours/ex0089] polytechnique MP 1996 Montrer que, pour tout \(\theta>0\), il existe \(C_\theta>0\) tel que \[\int_0^{\textstyle{\theta\over\sqrt\alpha}}(1-x^2)^a\,dx \mathrel{\mathop\sim\limits_{a\rightarrow+\infty}} {C_\theta\over\sqrt a}\,.\]
[concours/ex0089]
[oraux/ex2316] centrale PSI 2005
[oraux/ex2316]
Montrer que \(\varphi(x)=\displaystyle\int_0^{+\infty}{e^{-t}-e^{-xt}\over t}\,dt\) est dérivable sur \(\mathbf{R}_+^*\) et que \(\varphi(x)=\mathop{\mathchoice{\hbox{ln}}{\hbox{ln}}{\mathrm{ln}}{\mathrm{ln}}}\nolimits x\).
Montrer que \(\psi(x)=\displaystyle\int_0^{+\infty}\left({e^{-t}\over t}-{e^{-xt}\over1-e^{-t}}\right)\,dt\) est \(\mathscr{C}^1\) sur \(\mathbf{R}_+^*\) et en trouver un équivalent pour \(x\rightarrow+\infty\).
[examen/ex3802] mines PC 2025 On pose \(I:x\mapsto\displaystyle\int_0^{\pi/2}e^{x\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits t}\,\mathrm{d}t\). Donner un équivalent, puis un développement à deux termes de \(I(x)\) lorsque \(x\to+\infty\).
[examen/ex3802]
[planches/ex0723] tpe MP 2013 Soit \(I:a\mapsto\displaystyle\int_0^a\sqrt{a-x\over x}\times{dx\over1-x}\). Déterminer l’ensemble de définition de \(I\). Étudier la limite de \(I(a)\) quand \(a\rightarrow1^-\).
[planches/ex0723]
[oraux/ex2346] centrale MP 2006 On pose, pour \(n\in\mathbf{N}\), \(I_n=\displaystyle\int_0^1{t^n-t^{n+1}\over\mathop{\mathchoice{\hbox{ln}}{\hbox{ln}}{\mathrm{ln}}{\mathrm{ln}}}\nolimits t}\,dt\) et \(J_n=\displaystyle\int_0^{+\infty}{e^{-(n+1)s}-e^{-(n+2)s}\over s}\,ds\) ; on pose \(f(x)=\displaystyle\int_0^1{t-1\over\mathop{\mathchoice{\hbox{ln}}{\hbox{ln}}{\mathrm{ln}}{\mathrm{ln}}}\nolimits t}e^{-xt}\,dt\).
[oraux/ex2346]
Justifier la définition de \(I_n\).
Calculer \(I_n\) pour \(n=0\), 1, 2, à l’aide d’un logiciel de calcul formel.
Comparer \(I_n\) et \(J_n\).
Étudier la limite quand \(\varepsilon\) tend vers 0 de \(\displaystyle\int_{(n+1)\varepsilon}^{(n+2)\varepsilon}{e^{-s}\over s}\,ds\). En déduire \(I_n\) et \(J_n\).
Montrer que \(f\) est \(C^\infty\).
Étudier les variations de \(f\) et ses limites aux bornes de son intervalle de définition.
Montrer que \(f\) est développable en série entière ; préciser son rayon de convergence.
[planches/ex6812] mines MP 2021 Soit \(F:a\in\mathbf{R}_+^*\mapsto\displaystyle\int_{-a}^a{\sqrt{1+x^2}\over\sqrt{a^2-x^2}}\,dx\). Déterminer la limite de \(F\) en \(0^+\).
[planches/ex6812]
[oraux/ex2371] mines PC 2008 Soit \(f:t\mapsto\displaystyle\int_0^1{(\mathop{\mathchoice{\hbox{ln}}{\hbox{ln}}{\mathrm{ln}}{\mathrm{ln}}}\nolimits x)x^t\over(1-x^2)^{1/3}}\,dx\). Déterminer l’ensemble de définition de \(f\), les limites de \(f(t)\) quand \(t\rightarrow+\infty\) et quand \(t\rightarrow1^+\). Donner un équivalent de \(f(t)\) quand \(t\rightarrow+\infty\).
[oraux/ex2371]
[planches/ex0845] mines MP 2016 Pour \(x\in\mathbf{R}\), on pose, sous réserve d’existence, \[f(x)=\displaystyle\int_0^{+\infty}{e^{-2t}\over x+t}\,dt.\]
[planches/ex0845]
Quel est le domaine de définition de \(f\) ?
Étudier la continuité de \(f\).
Donner un équivalent de \(f(x)\) quand \(x\) tend vers \(+\infty\).
[planches/ex5108] mines PSI 2019 Soit \(f:x\longmapsto\displaystyle\int_0^{+\infty}{dt\over(1+t^2)(1+t^x)}\).
[planches/ex5108]
Montrer que \(f\) est définie sur \(\mathbf{R}_+\). Calculer \(f(0)\) et \(\mathop{\mathchoice{\hbox{lim}}{\hbox{lim}}{\mathrm{lim}}{\mathrm{lim}}}\limits_{x\rightarrow+\infty}f(x)\).
Soit \(x\in\mathbf{R}_+\). Calculer \(f(x)\).
[concours/ex3881] ensi M 1992 Étudier \(\mathop{\mathchoice{\hbox{lim}}{\hbox{lim}}{\mathrm{lim}}{\mathrm{lim}}}\limits_{y\rightarrow1^-}\displaystyle{1\over\mathop{\mathchoice{\hbox{ln}}{\hbox{ln}}{\mathrm{ln}}{\mathrm{ln}}}\nolimits(1-y)}\int_0^y{t^x\over\mathop{\mathchoice{\hbox{ln}}{\hbox{ln}}{\mathrm{ln}}{\mathrm{ln}}}\nolimits t}\,dt\), avec \(x>0\).
[concours/ex3881]
[concours/ex5212] escp B/L 2007 Pour \(t\in\mathbf{R}^*_+\) et \(x\in\mathbf{R}^*\), on pose : \(g(t,x)=\displaystyle{x\over \sqrt{t}(1+tx^2)}\), et \(u_n(x)=g(n,x)\).
[concours/ex5212]
Étudier la convergence de la série de terme général \(u_n(x)\).
Pour les \(x\) réels pour lesquels cette série converge, on pose : \[S(x)=\sum\limits\limits_{n=1}^{+\infty}u_n(x).\]
On pose maintenant, pour \(x>0\), \[I_1(x)=\int_{1}^{+\infty}g(t,x)\,dt\quad\hbox{et}\quad I_2(x)=\int_{0}^{+\infty}g(t,x)\,dt.\] Montrer que ces deux intégrales sont convergentes puis calculer leur valeur.
Montrer que \(I_1(x)\leqslant S(x)\leqslant I_2(x)\) et en déduire \(\mathop{\mathchoice{\hbox{lim}}{\hbox{lim}}{\mathrm{lim}}{\mathrm{lim}}}\limits\limits_{x\rightarrow 0}S(x)\).
Vous pouvez choisir la typographie des énoncés : HTML (MathJax, plus joli) ou sous forme d'image (GIF, plus rapide)