Question Number 147176 by Lewis junior last updated on 18/Jul/21 | ||
Answered by Olaf_Thorendsen last updated on 18/Jul/21 | ||
$$\left(\mathrm{1}\right) \\ $$$$\left(\mathrm{a}\right)\:\mathrm{Soit}\:{x}\in\mathbb{R}_{+} ^{\ast} . \\ $$$$ \\ $$$$−\mathrm{Etude}\:\mathrm{de}\:\mathrm{F}\:: \\ $$$$ \\ $$$$\:\mathrm{La}\:\mathrm{fonction}\:\varphi\::\:{t}\rightsquigarrow\frac{{e}^{−{xt}} \mathrm{sin}{t}}{{t}}\:\mathrm{est}\:\mathrm{continue} \\ $$$$\left.\mathrm{par}\:\mathrm{morceaux}\:\mathrm{sur}\:\right]\mathrm{0};+\infty\left[.\right. \\ $$$$ \\ $$$$\mathrm{En}\:\mathrm{0}\::\:\mid\frac{{e}^{−{xt}} \mathrm{sin}{t}}{{t}}\mid\:\sim\:{e}^{−{xt}} \:\underset{{t}\rightarrow\mathrm{0}} {\rightarrow}\:\mathrm{1}\:\mathrm{donc}\:\mathrm{la} \\ $$$$\mathrm{fonction}\:\varphi\:\mathrm{est}\:\mathrm{prolongeable}\:\mathrm{par} \\ $$$$\mathrm{continuite}\:\mathrm{en}\:\mathrm{0}\:\mathrm{et}\:\mathrm{l}'\mathrm{integrale}\:\mathrm{converge}. \\ $$$$ \\ $$$$\mathrm{En}\:+\infty\::\:\mathrm{la}\:\mathrm{fonction}\:\mathrm{sin}\:\mathrm{est}\:\mathrm{de}\:\mathrm{classe}\:\mathscr{C}^{\mathrm{1}} \\ $$$$\mathrm{sur}\:\mathbb{R}_{+} \:\mathrm{et}\:\mathrm{sa}\:\mathrm{derivee}\:\mathrm{est}\:\mathrm{cos},\:\mathrm{qui}\:\mathrm{est} \\ $$$$\:\mathrm{bornee}\:\left(\mathrm{en}\:\mathrm{valeurs}\:\mathrm{absolues}\right)\:\mathrm{par}\:\mathrm{1}. \\ $$$$\mathrm{Donc}\:\mathrm{l}'\mathrm{inegalite}\:\mathrm{des}\:\mathrm{accroissements} \\ $$$$\mathrm{finis}\:\mathrm{entre}\:\mathrm{0}\:\mathrm{et}\:{t}\in\mathbb{R}_{+} ^{\ast} \:\mathrm{s}'\mathrm{ecrit} \\ $$$$\mid\mathrm{sin}\left(\mathrm{t}\right)\:−\:\mathrm{sin}\left(\mathrm{0}\right)\mid\leqslant\:\mathrm{1}×\mid{t}−\mathrm{0}\mid \\ $$$$\mathrm{Ainsi},\:\mathrm{en}\:\mathrm{divisant}\:\mathrm{par}\:{t}\:>\:\mathrm{0}\::\:\frac{\mid\mathrm{sin}{t}\mid}{{t}}\:\leqslant\:\mathrm{1} \\ $$$$\mathrm{Et}\:\mathrm{donc}\:\mid\varphi\left({t}\right)\mid\:\leqslant\:{e}^{−{xt}} ,\:\mathrm{qui}\:\mathrm{est}\:\mathrm{integrable} \\ $$$$\mathrm{au}\:\mathrm{voisinage}\:\mathrm{de}\:+\infty,\:\mathrm{d}'\mathrm{apres}\:\mathrm{les}\:\mathrm{criteres} \\ $$$$\mathrm{des}\:\mathrm{exponentielles}\:\left({x}>\mathrm{0}\right). \\ $$$$\mathrm{Conclusion}\::\:\mathrm{l}'\mathrm{integrale}\:\int_{\mathrm{0}} ^{+\infty} \frac{{e}^{−{xt}} \mathrm{sin}{t}}{{t}}{dt} \\ $$$$\mathrm{est}\:\mathrm{absolument}\:\mathrm{convergente},\:\mathrm{donc} \\ $$$$\mathrm{convergente},\:\mathrm{et}\:\mathrm{F}\left({x}\right)\:\mathrm{existe}.\:\mathrm{F}\:\mathrm{est} \\ $$$$\mathrm{definie}\:\mathrm{sur}\:\mathbb{R}_{+} ^{\ast} . \\ $$$$ \\ $$$$\left(\mathrm{b}\right)\:\mathrm{Soit}\:{a}\:\mathrm{un}\:\mathrm{reel}\:\mathrm{strictement}\:\mathrm{positif}. \\ $$$$\mathrm{Appliquons}\:\mathrm{le}\:\mathrm{theoreme}\:\mathrm{de}\:\mathrm{Leibniz} \\ $$$$\mathrm{de}\:\mathrm{derivation}\:\mathrm{des}\:\mathrm{integrales}\:\mathrm{dependant} \\ $$$$\mathrm{d}'\mathrm{un}\:\mathrm{parametre}\:\mathrm{sur}\:\mathrm{l}'\mathrm{intervalle} \\ $$$${D}\:=\:\left[{a};+\infty\left[,\:\mathrm{qui}\:\mathrm{nous}\:\mathrm{donne}\right.\right. \\ $$$$\mathrm{directement}\:\mathrm{que}\:\mathrm{la}\:\mathrm{fonction}\:\mathrm{est}\:\mathrm{de}\: \\ $$$$\mathrm{classe}\:\mathscr{C}^{\mathrm{1}} \:\left(\mathrm{et}\:\mathrm{donc}\:\mathrm{continue}\right). \\ $$$$ \\ $$$$\mathrm{Soit}\:{h}\::\:\left[{a};+\infty\left[×\right]\mathrm{0};+\infty\left[\rightarrow\mathbb{R}\:\mathrm{definie}\:\mathrm{par}\right.\right. \\ $$$${h}\left({x},{t}\right)\:=\:\frac{{e}^{−{xt}} \mathrm{sin}{t}}{{t}} \\ $$$$\: \\ $$$$\left.−\mathrm{Pour}\:\mathrm{tout}\:{t}\in\right]\mathrm{0};+\infty\left[,\:\mathrm{la}\:\mathrm{fonction}\right. \\ $$$${x}\rightsquigarrow{h}\left({x},{t}\right)\:\mathrm{est}\:\mathscr{C}^{\mathrm{1}} \:\:\mathrm{sur}\:\left[{a};+\infty\left[\:\mathrm{car}\right.\right. \\ $$$$\mathrm{l}'\mathrm{exponentielle}\:\mathrm{l}'\mathrm{est}. \\ $$$$−\mathrm{Pour}\:\mathrm{tout}\:{x}\in\left[{a};+\infty\left[,\:\mathrm{la}\:\mathrm{fonction}\right.\right. \\ $$$$\left.{t}\rightsquigarrow{h}\left({x},{t}\right)\:\mathrm{est}\:\mathrm{integrable}\:\:\mathrm{sur}\:\right]\mathrm{0};+\infty\left[\right. \\ $$$$\mathrm{d}'\mathrm{apres}\:\mathrm{la}\:\mathrm{question}\:\left(\mathrm{a}\right). \\ $$$$−\mathrm{Pour}\:\mathrm{tout}\:{x}\in\left[{a};+\infty\left[,\:\mathrm{la}\:\mathrm{fonction}\right.\right. \\ $$$${t}\rightsquigarrow\frac{\partial{h}}{\partial{x}}\left({x},{t}\right)\:=\:\frac{−{te}^{−{xt}} \mathrm{sin}{t}}{{t}}\:=\:−{e}^{{xt}} \mathrm{sin}{t}\:\mathrm{est} \\ $$$$\left.\mathrm{continue}\:\mathrm{par}\:\mathrm{morceaux}\:\mathrm{sur}\:\right]\mathrm{0};+\infty\left[.\right. \\ $$$$−\mathrm{La}\:\mathrm{fonction}\:\varphi\left({t}\right)\:=\:{e}^{−{at}} \mathrm{est}\:\mathrm{integrable} \\ $$$$\left.\mathrm{sur}\:\right]\mathrm{0};+\infty\left[\:\mathrm{d}'\mathrm{apres}\:\mathrm{le}\:\mathrm{critere}\:\mathrm{des}\right. \\ $$$$\mathrm{exponentielles}\:\left({a}>\mathrm{0}\right)\:\mathrm{et} \\ $$$$\forall\:\left({x},{t}\right)\left[{a};\infty\left[×\in\right]\mathrm{0};+\infty\left[\right.\right. \\ $$$$\mid\frac{\partial{h}}{\partial{x}}\left({x},{t}\right)\mid\:=\:\mid\mathrm{sin}{t}\mid{e}^{−{xt}} \:\leqslant\:{e}^{−{at}} \:=\:\varphi\left({t}\right) \\ $$$$\mathrm{Donc},\:\mathrm{d}'\mathrm{apres}\:\mathrm{le}\:\mathrm{theoreme}\:\mathrm{de}\:\mathrm{derivation}, \\ $$$$\mathrm{la}\:\mathrm{fonction}\:\mathrm{F}\:\mathrm{est}\:\mathrm{de}\:\mathrm{classe}\:\mathscr{C}^{\mathrm{1}} \:\mathrm{sur} \\ $$$$\left[{a};+\infty\left[\:\mathrm{et}\:\mathrm{F}'\left({x}\right)\:\:=\:−\int_{\mathrm{0}} ^{\infty} {e}^{−{xt}} \mathrm{sin}{t}\:{dt}\right.\right. \\ $$$$ \\ $$$$\left(\mathrm{c}\right) \\ $$$$\mathrm{Nous}\:\mathrm{avons}\:\mathrm{vu}\:\mathrm{que}\:\mid\frac{{e}^{−{xt}} \mathrm{sin}{t}}{{t}}\mid\:\leqslant\:{e}^{−{xt}} \\ $$$$\mathrm{Donc}\:\mid\mathrm{F}\left({x}\right)\mid\:\leqslant\:\int_{\mathrm{0}} ^{+\infty} \mid\frac{{e}^{−{xt}} \mathrm{sin}{t}}{{t}}\mid\:{dt} \\ $$$$\leqslant\:\int_{\mathrm{0}} ^{+\infty} {e}^{−{xt}} \:{dt}\:=\:\frac{\mathrm{1}}{{x}}\:\underset{{x}\rightarrow+\infty} {\rightarrow}\:\mathrm{0} \\ $$$$\mathrm{Par}\:\mathrm{majoration}\:\underset{{x}\rightarrow+\infty} {\mathrm{lim}}\:\mathrm{F}\left({x}\right)\:=\:\mathrm{0} \\ $$$$ \\ $$$$...\mathrm{to}\:\mathrm{be}\:\mathrm{continued}... \\ $$$$ \\ $$ | ||