Question Number 103721 by Dwaipayan Shikari last updated on 16/Jul/20 | ||
$$\int_{\mathrm{0}} ^{\infty} \frac{{cosx}}{{x}^{\mathrm{2}} +\mathrm{1}}{dx} \\ $$ | ||
Answered by Ar Brandon last updated on 16/Jul/20 | ||
$$\mathcal{I}=\int_{\mathrm{0}} ^{\infty} \frac{\mathrm{cosx}}{\mathrm{x}^{\mathrm{2}} +\mathrm{1}}\mathrm{dx} \\ $$$$\mathrm{Let}\:\mathrm{f}\left(\mathrm{a}\right)=\int_{\mathrm{0}} ^{\infty} \frac{\mathrm{cosx}}{\mathrm{x}^{\mathrm{2}} +\mathrm{1}}\centerdot\mathrm{e}^{−\mathrm{a}\left(\mathrm{x}^{\mathrm{2}} +\mathrm{1}\right)} \mathrm{dx}\Rightarrow\mathrm{f}'\left(\mathrm{a}\right)=−\int_{\mathrm{0}} ^{\infty} \mathrm{cosx}\centerdot\mathrm{e}^{−\mathrm{a}\left(\mathrm{x}^{\mathrm{2}} +\mathrm{1}\right)} \mathrm{dx} \\ $$$$\mathrm{Let}\:\mathrm{p}=\int_{\mathrm{0}} ^{\infty} \mathrm{cosx}\centerdot\mathrm{e}^{−\mathrm{a}\left(\mathrm{x}^{\mathrm{2}} +\mathrm{1}\right)} \mathrm{dx}\:,\:\mathrm{q}=\int_{\mathrm{0}} ^{\infty} \mathrm{sinx}\centerdot\mathrm{e}^{−\mathrm{a}\left(\mathrm{x}^{\mathrm{2}} +\mathrm{1}\right)} \mathrm{dx} \\ $$$$\Rightarrow\mathrm{p}+\mathrm{qi}=\int_{\mathrm{0}} ^{\infty} \mathrm{e}^{\mathrm{xi}−\mathrm{a}\left(\mathrm{x}^{\mathrm{2}} +\mathrm{1}\right)} \mathrm{dx}=\int_{\mathrm{0}} ^{\infty} \mathrm{e}^{−\left(\mathrm{ax}^{\mathrm{2}} −\mathrm{xi}+\mathrm{a}\right)} \mathrm{dx} \\ $$$${What}\:{can}\:{we}\:{do}\:{next}\:? \\ $$ | ||
Commented by Aziztisffola last updated on 16/Jul/20 | ||
$$\mathrm{linearite}\:\mathrm{of}\:\mathrm{integral}\:\mathrm{and}\:\mathrm{use}\:\int_{−\infty} ^{+\infty} \mathrm{e}^{−\mathrm{x}^{\mathrm{2}} } \mathrm{dx}=\sqrt{\pi} \\ $$ | ||
Commented by abdomathmax last updated on 17/Jul/20 | ||
$$\mathrm{let}\:\mathrm{complete}\:\mathrm{the}\:\mathrm{work}\:\mathrm{of}\:\mathrm{sir}\:\mathrm{brandon} \\ $$$$\mathrm{we}\:\mathrm{have}\:\mathrm{f}^{'} \left(\mathrm{a}\right)\:=−\int_{\mathrm{0}} ^{\infty} \:\mathrm{cosx}\:\mathrm{e}^{−\mathrm{a}\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)} \mathrm{dx} \\ $$$$\Rightarrow−\mathrm{f}^{'} \left(\mathrm{a}\right)\:=\mathrm{Re}\left(\int_{\mathrm{0}} ^{\infty} \:\mathrm{e}^{\mathrm{ix}−\mathrm{ax}^{\mathrm{2}} −\mathrm{a}} \mathrm{dx}\right)\:\mathrm{and} \\ $$$$\int_{\mathrm{0}} ^{\infty} \:\mathrm{e}^{\mathrm{ix}−\mathrm{ax}^{\mathrm{2}} −\mathrm{a}} \mathrm{dx}\:=\frac{\mathrm{1}}{\mathrm{2}}\mathrm{e}^{−\mathrm{a}} \int_{−\infty} ^{\infty} \:\mathrm{e}^{−\mathrm{ax}^{\mathrm{2}} +\mathrm{ix}} \:\mathrm{dx}\:\:\:\:\left(\mathrm{a}>\mathrm{0}\right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}}\mathrm{e}^{−\mathrm{a}} \:\int_{−\infty} ^{\infty} \:\mathrm{e}^{−\mathrm{a}\left(\mathrm{x}^{\mathrm{2}} \:−\frac{\mathrm{2ix}}{\mathrm{2a}}\:\:\:+\left(\frac{\mathrm{i}}{\mathrm{2a}}\right)^{\mathrm{2}} −\left(\frac{\mathrm{i}}{\mathrm{2a}}\right)^{\mathrm{2}} \right)} \mathrm{dx} \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}}\mathrm{e}^{−\mathrm{a}} \:\int_{\mathrm{0}} ^{\infty} \:\:\mathrm{e}^{−\mathrm{a}\left(\left\{\mathrm{x}−\frac{\mathrm{i}}{\mathrm{2a}}\right\}^{\mathrm{2}} +\frac{\mathrm{1}}{\mathrm{4a}^{\mathrm{2}} }\right)} \:\mathrm{dx} \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}}\mathrm{e}^{−\mathrm{a}} \:.\mathrm{e}^{−\frac{\mathrm{1}}{\mathrm{4a}\:}} \:\int_{−\infty} ^{\infty} \:\:\mathrm{e}^{−\mathrm{a}\left(\mathrm{x}−\frac{\mathrm{i}}{\mathrm{2a}}\right)^{\mathrm{2}} } \mathrm{dx}\:\:\:\:\:\:\:\:\sqrt{\mathrm{a}}\left(\mathrm{x}−\frac{\mathrm{1}}{\mathrm{2a}}\right)=\mathrm{u} \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}}\mathrm{e}^{−\left(\mathrm{a}+\frac{\mathrm{1}}{\mathrm{4a}}\right)} \:\:\int_{−\infty} ^{+\infty} \:\mathrm{e}^{−\mathrm{u}^{\mathrm{2}} } \:\frac{\mathrm{du}}{\sqrt{\mathrm{a}}} \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}\sqrt{\mathrm{a}}}\:\mathrm{e}^{−\left(\mathrm{a}+\frac{\mathrm{1}}{\mathrm{4a}}\right)} \:\sqrt{\pi}\:\Rightarrow\mathrm{f}^{'} \left(\mathrm{a}\right)\:=−\frac{\mathrm{1}}{\mathrm{2}}\sqrt{\frac{\pi}{\mathrm{a}}}\mathrm{e}^{−\left(\mathrm{a}+\frac{\mathrm{1}}{\mathrm{4a}}\right)} \:\Rightarrow \\ $$$$\mathrm{f}\left(\mathrm{a}\right)\:=−\frac{\mathrm{1}}{\mathrm{2}}\int_{\mathrm{0}} ^{\mathrm{a}} \:\frac{\sqrt{\pi}}{\sqrt{\mathrm{t}}}\:\mathrm{e}^{−\left(\mathrm{t}+\frac{\mathrm{1}}{\mathrm{4t}}\right)} \:\mathrm{dt}\:+\mathrm{c} \\ $$$$=_{\sqrt{\mathrm{t}}=\mathrm{u}} \:\:\:−\frac{\sqrt{\pi}}{\mathrm{2}}\:\int_{\mathrm{0}} ^{\sqrt{\mathrm{a}}} \:\:\frac{\mathrm{1}}{\mathrm{u}}\:\mathrm{e}^{−\left(\mathrm{u}^{\mathrm{2}} \:+\frac{\mathrm{1}}{\mathrm{4u}^{\mathrm{2}} }\right)} \:\left(\mathrm{2u}\right)\mathrm{du}\:+\mathrm{c} \\ $$$$\mathrm{f}\left(\mathrm{a}\right)=\mathrm{c}−\sqrt{\pi}\int_{\mathrm{0}} ^{\sqrt{\mathrm{a}}} \:\mathrm{e}^{−\left(\mathrm{u}^{\mathrm{2}} \:+\frac{\mathrm{1}}{\mathrm{4u}^{\mathrm{2}} }\right)} \:\mathrm{du} \\ $$$$\mathrm{lim}_{\mathrm{a}\rightarrow+\infty} \mathrm{f}\left(\mathrm{a}\right)\:=\mathrm{0}\:\Rightarrow\mathrm{c}\:=\sqrt{\pi}\int_{\mathrm{0}} ^{\infty} \:\mathrm{e}^{−\left(\mathrm{u}^{\mathrm{2}} +\frac{\mathrm{1}}{\mathrm{4u}^{\mathrm{2}} }\right)} \mathrm{du}\:\Rightarrow \\ $$$$\mathrm{f}\left(\mathrm{a}\right)\:=\sqrt{\pi\:}\:\left(\:\int_{\mathrm{0}} ^{\infty} \:\mathrm{e}^{−\left(\mathrm{u}^{\mathrm{2}} \:+\frac{\mathrm{1}}{\mathrm{4u}^{\mathrm{2}} }\right)} \mathrm{du}−\int_{\mathrm{0}} ^{\sqrt{\mathrm{a}}} \:\mathrm{e}^{−\left(\mathrm{u}^{\mathrm{2}} \:+\frac{\mathrm{1}}{\mathrm{4u}^{\mathrm{2}} }\right)} \mathrm{du}\right. \\ $$$$=\sqrt{\pi}\:\int_{\sqrt{\mathrm{a}}} ^{+\infty} \:\:\mathrm{e}^{−\left(\mathrm{u}^{\mathrm{2}} +\frac{\mathrm{1}}{\mathrm{4u}^{\mathrm{2}} }\right)\:\mathrm{du}} \\ $$$$\mathrm{I}\:=\mathrm{lim}_{\mathrm{a}\rightarrow\mathrm{0}} \mathrm{f}\left(\mathrm{a}\right)\:=\sqrt{\pi}\int_{\mathrm{0}} ^{\infty} \:\mathrm{e}^{−\left(\mathrm{u}^{\mathrm{2}} \:+\frac{\mathrm{1}}{\mathrm{4u}^{\mathrm{2}} }\right)} \mathrm{du} \\ $$$$...\mathrm{be}\:\mathrm{continued}... \\ $$ | ||
Answered by abdomathmax last updated on 16/Jul/20 | ||
$$\mathrm{this}\:\mathrm{integral}\:\mathrm{is}\:\mathrm{solved}\:\mathrm{at}\:\mathrm{the}\:\mathrm{platform}? \\ $$$$\mathrm{let}\:\mathrm{A}\:=\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{cosx}}{\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dx}\:\Rightarrow\mathrm{2A}\:=\int_{−\infty} ^{+\infty} \:\frac{\mathrm{cosx}}{\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dx} \\ $$$$=\mathrm{Re}\left(\int_{−\infty} ^{+\infty} \:\frac{\mathrm{e}^{\mathrm{ix}} }{\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dx}\right)\:\mathrm{let}\:\varphi\left(\mathrm{z}\right)\:=\frac{\mathrm{e}^{\mathrm{iz}} }{\mathrm{z}^{\mathrm{2}} +\mathrm{1}} \\ $$$$\mathrm{we}\:\mathrm{have}\:\mathrm{lim}_{\mathrm{z}\rightarrow+\infty} \mid\mathrm{z}\varphi\left(\mathrm{z}\right)\mid\:=\mathrm{0}\:\mathrm{and}\: \\ $$$$\varphi\left(\mathrm{z}\right)\:=\frac{\mathrm{e}^{\mathrm{iz}} }{\left(\mathrm{z}−\mathrm{i}\right)\left(\mathrm{z}+\mathrm{i}\right)}\:\mathrm{residus}\:\mathrm{tbeorem}\:\mathrm{give} \\ $$$$\int_{−\infty} ^{+\infty} \:\varphi\left(\mathrm{z}\right)\mathrm{dz}\:=\mathrm{2i}\pi\:\mathrm{Res}\left(\varphi,\mathrm{i}\right)\:=\mathrm{2i}\pi×\frac{\mathrm{e}^{−\mathrm{1}} }{\mathrm{2i}} \\ $$$$=\frac{\pi}{\mathrm{e}}\:\Rightarrow\:\mathrm{2A}\:=\frac{\pi}{\mathrm{e}}\:\Rightarrow\:\mathrm{A}\:=\frac{\pi}{\mathrm{2e}} \\ $$ | ||
Commented by Ar Brandon last updated on 17/Jul/20 | ||
Well-done Sir | ||
Commented by Dwaipayan Shikari last updated on 17/Jul/20 | ||
$$\mathrm{Thanking}\:\mathrm{all}\:\mathrm{of}\:\mathrm{you} \\ $$ | ||
Commented by mathmax by abdo last updated on 17/Jul/20 | ||
$$\mathrm{you}\:\mathrm{are}\:\mathrm{welcome}\:\mathrm{sir}. \\ $$ | ||
Commented by Dwaipayan Shikari last updated on 01/Aug/20 | ||
https://t.me/c/1457744274/126 | ||