Édition de feuilles d'exercices

[oraux/ex2406] polytechnique, espci PC 2009 Soit \(f:x\mapsto\displaystyle\int_x^{+\infty}{e^{-t^2}\over t}\,dt\).

1. Déterminer le domaine de définition de \(f\). La fonction \(f\) est-elle dérivable ?

2. Montrer que \(e^{x^2}f(x)\) est bornée sur \(\left[1,+\infty\right[\).

3. Donner un équivalent de \(f(x)\) en \(0^+\).

4. L’intégrale \(\displaystyle\int_0^{+\infty}f(x)\,dx\) est-elle convergente ?

[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)\).

1. É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).\]

2. 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.

3. 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)\).

[oraux/ex2347] centrale MP 2006 On note \(I\) l’ensemble des réels \(x\) tels que l’application \(t\mapsto t^{-x}\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits t\) est intégrable sur \(\left]0,\pi/2\right]\). On pose \(f(x)=\displaystyle\int_0^{\pi/2}t^{-x}\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits t\,dt\) pour tout \(x\in I\).

1. Déterminer \(I\).

2. Montrer que \(f\) est de classe \(C^\infty\).

3. Étudier les variations de \(f\) : monotonie, limites aux bornes.

4. Représenter graphiquement \(f\) à l’aide d’un logiciel de calcul formel.

[planches/ex3286] polytechnique MP 2018 Soit \(f:\mathbf{R}_+\rightarrow\mathbf{R}_+^*\) de classe \(\mathscr{C}^1\) telle que \(xf'(x)-f(x)\rightarrow\alpha\) quand \(x\rightarrow+\infty\).

1. Pour \(m>0\), trouver la limite quand \(x\) tend vers \(+\infty\) de \(\displaystyle{f(mx)\over f(x)}\).

2. Pour tout \(t>0\), montrer que \(\displaystyle\int_0^{+\infty}e^{-tx}f(x)\,dx\) converge.

3. On suppose dans cette question \(\alpha>-1\). Montrer qu’il existe \(C>0\) telle que \(\displaystyle\int_0^{+\infty}e^{-tx}f(x)\,dx\mathbin{\mathop{\sim}\limits_{t\rightarrow0^+}}{C\over t}f(1/t)\).

[planches/ex0689] polytechnique MP 2013 Pour \(\lambda>0\), on définit, sous réserve d’existence, \[I(\lambda)=\int_0^{+\infty}{dx\over(1+x^2)^\lambda}.\] Déterminer la limite puis un équivalent de \(I(\lambda)\) quand \(\lambda\) tend vers \(+\infty\).

[oraux/ex5381] mines MP 2012 Soit \(f:x\mapsto\displaystyle\int_x^{+\infty}e^{-t^2}\,\,dt\). Définition ? Limite en \(+\infty\) ? Dérivabilité ? Équivalent en \(+\infty\) ? Que vaut \(\displaystyle\int_0^{+\infty}f(x)\,\,dx\) ?

[planches/ex9956] mines MP 2023 Soient \(C>0\), \(d>0\) et \(\alpha\in\mathbf{R}\).

Montrer que \(\displaystyle\int_0^de^{-tx^2}(C+x^2)^\alpha\,\mathrm{d}x\mathrel{\mathop{\sim}\limits_{t\rightarrow +\infty}}\frac{\sqrt{\pi}}{2}\frac{C^\alpha}{\sqrt{t}}\).

[planches/ex0691] mines MP 2013 Soit \(F:x\mapsto\displaystyle\int_0^{+\infty}{t\over1+t^2}e^{-xt}\,dt\).

1. Déterminer le domaine de définition réel de \(F\).

2. Étudier la continuité et les variations de \(F\).

3. Donner un équivalent de \(f(x)\) quand \(x\rightarrow0^+\) et quand \(x\rightarrow+\infty\).

[planches/ex0744] polytechnique MP 2014 Donner un équivalent, lorsque \(\lambda\) tend vers \(+\infty\), de : \[\int_{-\pi/4}^{\pi/4}\mathop{\mathchoice{\hbox{exp}}{\hbox{exp}}{\mathrm{exp}}{\mathrm{exp}}}\nolimits\left(-\lambda\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits^2x\right)\,dx.\]

[planches/ex3285] polytechnique MP 2018

1. Soient \(a\) et \(b\) dans \(\mathbf{R}_+^*\). Déterminer un équivalent de \(I(x)=\displaystyle\int_0^{+\infty}e^{-t}t^{b-1}e^{-xt^a}\,dt\) lorsque \(x\rightarrow+\infty\).

2. Soient \(a\in\left]0,1\right[\) et \(b\in\mathbf{R}_+^*\). Déterminer un équivalent de \(J(x)=\displaystyle\int_0^{+\infty}e^{-t}t^{b-1}e^{xt^a}\,dt\) lorsque \(x\rightarrow+\infty\).

[oraux/ex5754] centrale PC 2012 Soit \(f:x\mapsto\displaystyle \int_0^{+\infty}\frac{t\, e^{-t}}{t+x}\,dt.\)

1. Montrer que \(f\) est définie et continue sur \(\mathbf{R}^+\), dérivable sur \(\mathbf{R}^{+*}\).

2. Montrer que \(f\) n’est pas dérivable à droite en 0.

3. Calculer \(\displaystyle\int_0^{+\infty} t\, e^{-t}\,dt\).

4. Montrer : \(\forall x\in\mathbf{R}^{+*}\), \(0\leqslant 1-x\, f(x)\leqslant 2/x\). En déduire un équivalent de \(f\) en \(+\infty\).

[oraux/ex2316] centrale PSI 2005

1. 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\).

2. 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\).

[oraux/ex2298] mines MP 2005 Soit, pour \(x>0\), \(f(x)=\displaystyle\int_0^{+\infty}(1+e^{-t})^xe^{-tx}\,dt\).

1. Montrer que \(f\) est de classe \(C^1\) sur \(\mathbf{R}_+^*\).

2. Donner un équivalent de \(f(x)\) quand \(x\rightarrow0^+\).

[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^+\).

[oraux/ex2385] centrale MP 2008

1. Pour quelles valeurs du réel \(x\) l’intégrale \(f(x)=\displaystyle\int_0^x{dt\over t+e^{xt}}\) existe-t-elle ?

2. Donner la limite de \(f\) en \(+\infty\), puis un équivalent simple.

3. Quelle est la limite de \(f\) en 0 ?

[planches/ex4527] ens paris MP 2019 Déterminer la limite de \(\displaystyle{1\over A}\int_1^AA^{1/x}\,dx\) lorsque \(A\) tend vers \(+\infty\).

[examen/ex0100] mines PSI 2023 Soient \(s\in[0,1]\), et : \[w:(a,x,y,t)\in\mathbf{R}\times\mathbf{R}\times\mathbf{R}^{+*}\times\mathbf{R}\mapsto\frac{ay^{2s}}{((x-t)^2+y^2)^{s+1/2}}.\]

1. Montrer que \(t\mapsto w(a,x,y,t)\) est intégrable sur \(\mathbf{R}\) pour tout \((a,x,y)\in\mathbf{R}\times\mathbf{R}\times\mathbf{R}^{+*}\).

2. Montrer qu’il existe un unique \(c\in\mathbf{R}\) tel que \(\displaystyle\int_{-\infty}^{+\infty}w(c,x,y,t)\,\mathrm{d}t=1\).

3. Soient \(\varepsilon>0\) et \(U_\varepsilon=\{t\in\mathbf{R},\ |t|>\varepsilon\}\). Montrer que \(\displaystyle\int_{U_\varepsilon}w(a,x,y,t)\,\mathrm{d}t\mathrel{\mathop{\longrightarrow}\limits_{y\rightarrow0^+}}0\).

4. Soit \(f:\mathbf{R}\rightarrow\mathbf{R}\) continue et bornée. Montrer que \(\displaystyle\int_{-\infty}^{+\infty} w(c,x,y,t)f(t)\,\mathrm{d}t\mathrel{\mathop{\longrightarrow}\limits_{y\rightarrow0^+}}f(x)\).

[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\).

[planches/ex5108] mines PSI 2019 Soit \(f:x\longmapsto\displaystyle\int_0^{+\infty}{dt\over(1+t^2)(1+t^x)}\).

1. 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)\).

2. Soit \(x\in\mathbf{R}_+\). Calculer \(f(x)\).

[oraux/ex2358] mines MP 2008 Soit \(f:t\mapsto\displaystyle\int_0^1{dx\over(1+x+x^2)^t}\). Donner la limite puis un équivalent de \(f(t)\) quand \(t\rightarrow+\infty\).

[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.\]

1. Montrer que \(f_n\) et \(g_n\) sont définies sur \(\mathbf{R}_+^*\).

2. Soit \(n\in\mathbf{N}^*\). Montrer que, pour \(x>0\), \(f_n(x)=x^{n-1}e^xg_n(x)\).

3. Montrer que, pour \(n\geqslant 2\), \(f_n\) est définie sur \(\mathbf{R}_+\) et y est de classe \(\mathscr{C}^\infty\).

4. Soit \(n\in\mathbf{N}^*\). Donner un équivalent de \(g_n(x)\) quand \(x\) tend vers \(0^+\).

5. Montrer que \(g_n(x)\sim e^{-x}/x\) quand \(x\) tend vers \(+\infty\).

6. Donner une équation différentielle linéaire d’ordre 1 vérifiée par \(f_n\).

[concours/ex3292] ens cachan M 1993 On pose \(f(x)=\displaystyle\int_x^{+\infty}e^{-\alpha t}\left({x\over t}\right)^{\!\!\beta}\,dt\) où \((\alpha,\beta)\in\mathbf{C}^2\) et \(\mathop{\mathchoice{\hbox{Re}}{\hbox{Re}}{\mathrm{Re}}{\mathrm{Re}}}\nolimits\alpha>0\). Chercher un développement asymptotique de \(f\) au voisinage de \(+\infty\).

[planches/ex0825] tpe PSI 2015 Soit \(f:x\mapsto\displaystyle\int_0^1{t^x\over1+t}\,dt\).

1. Trouver le domaine de définition \(D\) de \(f\).

2. Étudier la continuité de \(f\).

3. Calculer \(f(x)+f(x+1)\) pour \(x\in D\).

4. En déduire une expression de \(f\) sous forme d’une série de fonctions.

[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.\]

1. Quel est le domaine de définition de \(f\) ?

2. Étudier la continuité de \(f\).

3. Donner un équivalent de \(f(x)\) quand \(x\) tend vers \(+\infty\).

[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}\,.\]

[oraux/ex2272] mines 2004 Soit \(f(x)=\displaystyle\int_0^{+\infty}{\mathop{\mathchoice{\hbox{th}}{\hbox{th}}{\mathrm{th}}{\mathrm{th}}}\nolimits(xt)\over t^x(1+t^4)}\,dt\).

1. Déterminer le domaine de définition de \(f\).

2. La fonction \(f\) est-elle continue ?

3. Déterminer les limites de \(f\) aux bornes de son intervalle de définition.

[oraux/ex5522] mines PC 2012 Soit \(f:x\mapsto\displaystyle\int_0^{+\infty}\frac{e^{-t}}{x^2+t^2}\,dt\).

1. Déterminer le domaine de définition de \(f\). Étudier la continuité et la dérivabilité de \(f\).

2. Donner un équivalent de \(f\) aux bornes.

[planches/ex7789] polytechnique MP 2022 On pose \(g:x\in\mathbf{R}\longmapsto\displaystyle{1\over\pi(1+x^2)}\). Pour \(y\in\mathbf{R}_+^*\), on pose \(g_y:x\in\mathbf{R}\longmapsto\displaystyle{1\over y}g(x/y)\).

Soit \(f:\mathbf{R}\longrightarrow\mathbf{C}\) continue, nulle en dehors d’un segment.

1. Montrer que, pour tout réel \(x\), la fonction \(y\longmapsto\displaystyle\int_\mathbf{R} f(x-t)g_y(t)\,dt\) tend vers \(f(x)\) en \(0^+\).

2. Montrer plus précisément que, pour tout réel \(\varepsilon>0\), il existe un réel \(\delta>0\) tel que \(\left|\displaystyle\int_\mathbf{R} f(x-t)g_y(t)\,dt-f(x)\right|\leqslant\varepsilon\) pour tout \(x\in\mathbf{R}\) et tout \(y\in\left]0,\delta\right]\).

[concours/ex0682] polytechnique PC 1997 Soit \(\varphi(t)=\displaystyle\int_0^{+\infty} {tx^2\mathop{\mathchoice{\hbox{exp}}{\hbox{exp}}{\mathrm{exp}}{\mathrm{exp}}}\nolimits(-xt)\over\left(1-\mathop{\mathchoice{\hbox{exp}}{\hbox{exp}}{\mathrm{exp}}{\mathrm{exp}}}\nolimits(-xt)\right)^2}\,dx\). Étudier \(\varphi\) et trouver un équivalent quand \(t\) tend vers \(+\infty\).

[oraux/ex2277] centrale 2004 Étudier la continuité et la dérivabilité sur \(\mathbf{R}_+\) de \(x\mapsto\displaystyle\int_0^{+\infty}e^{-t^2}\sqrt{1+xt}\,dt\). Équivalent en \(+\infty\) ?

[concours/ex1898] ens MP 1999 Équivalent en \(+\infty\) de \(\displaystyle\int_0^{+\infty}\left(\displaystyle{te\over x}\right)^{\!x}\,dx\) ?

[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^-\).

[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\).

1. Montrer que \(f\) est bien défini.

2. Continuité et dérivabilité de \(f\).

3. Étudier le comportement de \(f\) en \(+\infty\).

[planches/ex0879] centrale MP 2016 (avec Python)

Soit \(\varphi\) la fonction de \(\mathbf{R}\) dans \(\mathbf{R}\) telle que : \[\forall x\in\mathbf{R}_+,\ \varphi(x)={2\over\pi}\int_0^{\pi/2}\mathop{\mathchoice{\hbox{ch}}{\hbox{ch}}{\mathrm{ch}}{\mathrm{ch}}}\nolimits(2\sqrt x\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits(t))\,dt,\quad\forall x\in\mathbf{R}_-,\ \varphi(x)={2\over\pi}\int_0^{\pi/2}\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits(2\sqrt{-x}\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits(t))\,dt.\]

1. Représenter \(\varphi\) sur \([-3,5]\) et sur \([-1000,0]\).

2. Pour \(n\in\mathbf{N}\), donner une expression de \(K_n=\displaystyle\int_0^{\pi/2}\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits(t)^{2n}\,dt\).

3. Développer \(\varphi\) en série entière au voisinage de 0.

4. Déterminer la limite de \(\varphi\) en \(+\infty\).

5. Montrer que \(\varphi\) est positive sur \(\left[-1,+\infty\right[\), croissante sur \(\left[-2,+\infty\right[\), convexe sur \(\left[-3,+\infty\right[\).

[planches/ex7631] ens lyon MP 2022

1. 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)\).

2. Déterminer un équivalent de \(I\) en \(0^+\).

[oraux/ex5521] mines PC 2012 Soit \(f:x\in\mathbf{R}^{+*}\mapsto\displaystyle\int_0^{+\infty} \frac{e^{-xt}}{x+t}\,dt\). Montrer que \(f\) est définie et de classe \({\cal C}^\infty\) sur \(\mathbf{R}^{+*}\). Donner un équivalent de \(f\) en \(0^+\) et en \(+\infty\).

[planches/ex0904] navale PSI 2016 Soit \(x>0\). Justifier l’existence de \[f(x)=\int_0^x{e^{-t}\over\sqrt{t(x-t)}}\,dt.\] Déterminer la limite de \(f\) en \(+\infty\).

[examen/ex4247] imt PSI 2025 Soit \(f:x\mapsto\displaystyle\int_0^{+\infty}\frac{\mathrm{d}t}{1+e^{tx}+e^{-t}}\).

1. Déterminer le domaine de définition \(D\) de \(f\).

2. Montrer que \(f\) est continue sur \(D\).

3. Donner des équivalents de \(f\) aux bornes de \(D\).

[planches/ex9040] ccinp PC 2022 Pour \(x\in\mathbf{R}\), on pose \(f(x)=\displaystyle\int_0^1t^xe^{2t}\,dt\).

1. Trouver les valeurs de \(x\) pour lesquelles \(\displaystyle\int_0^1t^x\,dt\) converge. En déduire le domaine de définition de \(f\).

2. 1. Pour \(x\in\left]-1,+\infty\right[\), montrer que \(0\leqslant f(x)\leqslant\displaystyle{e^2\over1+x}\). En déduire que \(\mathop{\mathchoice{\hbox{lim}}{\hbox{lim}}{\mathrm{lim}}{\mathrm{lim}}}\limits_{+\infty}f=0\).

   2. Trouver une inégalité montrant que \(\mathop{\mathchoice{\hbox{lim}}{\hbox{lim}}{\mathrm{lim}}{\mathrm{lim}}}\limits_{-1^+}f=+\infty\).

3. 1. Montrer que \(f\) est de classe \(\mathscr{C}^1\) et calculer \(f'(x)\).

   2. Exprimer \(f(x)\) en fonction de \(f(x+1)\).

4. Trouver deux réels \(\alpha\) et \(\beta\) tels que \(f(x)\mathbin{\mathop=\limits_{x\rightarrow+\infty}}\displaystyle{\alpha\over x}+{\beta\over x^2}+o\left({1\over x^2}\right)\).

5. Montrer que \(f(x)\mathbin{\mathop{\sim}\limits_{-1^+}}\displaystyle{1\over1+x}\).

[planches/ex9499] polytechnique MP 2023 Soient \(\alpha\), \(\beta>0\). Pour \(x>0\), on pose \(I(x)=\displaystyle\int_0^{+\infty}t^{\beta-1}e^{-t-xt^\alpha}\mathrm{d}t\).

1. Déterminer la limite et un équivalent de \(I\) en \(+\infty\).

2. Donner un développement asymptotique de \(I\) à tout ordre.

3. Donner une condition nécessaire et suffisante pour que ce développement soit la somme partielle d’une série convergente pour tout \(x>0\).

[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\).

[planches/ex5294] mines PC 2019 Soit \(f\in\mathscr{C}^0([0,1],\mathbf{R}_+^*)\). On pose \(F:a\in\mathbf{R}_+\longmapsto\displaystyle\int_0^1f(t)^a\,dt\).

1. Montrer que \(F\) est dérivable. Calculer \(F'(0)\).

2. Déterminer la limite de \(a\longmapsto(F(a))^{1/a}\) lorsque \(a\rightarrow0^+\).

[planches/ex3948] centrale PSI 2018 Soit \(f:\left]0,1\right]\rightarrow\mathbf{R}\) continue, telle que \(f(t)\sim\lambda t^\alpha\) au voisinage de 0 avec \(\lambda\in\mathbf{R}^*\) et \(\alpha\in\mathbf{R}\). On pose \(g:x\mapsto\displaystyle\int_0^1{t^xf(t)\over\sqrt{1-t}}\,dt\).

1. Déterminer le domaine de définition de \(g\).

2. Montrer que \(g\) est continue.

3. Montrer que \(g\) est de classe \(\mathscr{C}^1\).

4. Sans utiliser le théorème de convergence dominée, déterminer la limite de \(g\) en \(+\infty\).

[planches/ex3283] polytechnique MP 2018

1. Soient \(A\), \(B\), \(K\in\mathbf{R}_+^*\) et \(f\in\mathscr{C}^0(\mathbf{R}_+,\mathbf{R}_+)\) telle que, pour tout \(t\geqslant 0\), \(f(t)\leqslant Ke^{Bt}\). On suppose qu’il existe \((a_n)_{n\geqslant 0}\in\mathbf{R}^\mathbf{N}\) telle que, pour tout \(t\in[0,A]\), \(f(t)=\displaystyle\sum\limits_{k=0}^{+\infty}a_kt^k\). Donner un développement asymptotique à tout ordre de \(G:x\mapsto\displaystyle\int_0^{+\infty}e^{-tx}f(t)\,dt\) lorsque \(x\rightarrow+\infty\).

2. Soit \(a\in\mathbf{R}\). Donner un développement asymptotique à tout ordre, lorsque \(x\rightarrow+\infty\), de \(g:x\mapsto x^ae^x\displaystyle\int_x^{+\infty}e^{-t}t^{a-1}\,dt\).

[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/ex3066] polytechnique M 1993 Déterminer un équivalent, lorsque \(a\) tend vers \(0^+\), de : \[I_a=\int_0^{+\infty}{dt\over(1+t^4)(t^2+a^2)}.\]

[examen/ex3011] polytechnique MP 2025 Déterminer un équivalent de \(\displaystyle\int_0^{+\infty}(te^{-t})^x\,\mathrm{d}t\) quand \(x\) tend vers \(+\infty\).

[concours/ex3661] mines M 1992 On pose \(F(x)=\displaystyle\int_0^1\sqrt{x^2+2xt+t^3}\,dt\).

1. Montrer que \(F\) est définie sur \(\mathbf{R}_+\) et sur un voisinage de \(-\infty\).

2. Montrer que \(F\) est dérivable sur \(\mathbf{R}_+^*\). \(F\,'\) a-t-elle une limite en \(0\) ?

3. Montrer que le graphe de \(F\) admet une asymptote en \(+\infty\), la déterminer.

4. Montrer que le domaine de définition de \(F\) est \(\left]-\infty,\xi\right]\cup\left[0,+\infty\right[\), le réel \(\xi\) étant à déterminer.

[planches/ex0693] mines MP 2013 Pour \(x\) dans \(\mathbf{R}^*\), on pose : \[I(x)=\int_0^{+\infty}{1-\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits(t)\over\mathop{\mathchoice{\hbox{sh}}{\hbox{sh}}{\mathrm{sh}}{\mathrm{sh}}}\nolimits^2(xt)}\,dt.\]

1. Existence de \(I(x)\) ?

2. Donner la limite puis un équivalent de \(I(x)\) lorsque \(x\) tend vers \(+\infty\).

[planches/ex5120] mines PSI 2019 Soit \(f:x\longmapsto\displaystyle\int_0^1e^{t^x\mathop{\mathchoice{\hbox{ln}}{\hbox{ln}}{\mathrm{ln}}{\mathrm{ln}}}\nolimits t}\,dt\).

1. Montrer que \(f\) est définie sur \(\mathbf{R}\).

2. Montrer que \(f\) est croissante et continue sur \(\mathbf{R}\).

3. Donner une expression de \(f(x)\) comme somme de série pour \(x>0\).

4. Étudier la limite de \(f\) en \(+\infty\).