Question Number 136858 by mathmax by abdo last updated on 27/Mar/21
$$\mathrm{calculate}\:\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{cos}\left(\mathrm{sinx}\right)−\mathrm{sin}\left(\mathrm{cosx}\right)}{\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)^{\mathrm{2}} }\mathrm{dx} \\ $$
Answered by mathmax by abdo last updated on 27/Mar/21
$$\Phi=\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{cos}\left(\mathrm{sinx}\right)}{\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)^{\mathrm{2}} }\mathrm{dx}−\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{sin}\left(\mathrm{cosx}\right)}{\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)^{\mathrm{2}} }\mathrm{dx}\:=\mathrm{I}−\mathrm{J} \\ $$$$\mathrm{2I}\:=\int_{−\infty} ^{+\infty} \:\frac{\mathrm{cos}\left(\mathrm{sinx}\right)}{\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)^{\mathrm{2}} }\mathrm{dx}\:=\mathrm{Re}\left(\int_{−\infty} ^{+\infty} \:\frac{\mathrm{e}^{\mathrm{isinx}} }{\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)^{\mathrm{2}} }\mathrm{dx}\right)\:\mathrm{let} \\ $$$$\mathrm{W}\left(\mathrm{z}\right)=\frac{\mathrm{e}^{\mathrm{isinz}} }{\left(\mathrm{z}^{\mathrm{2}} \:+\mathrm{1}\right)^{\mathrm{2}} }\:\Rightarrow\mathrm{w}\left(\mathrm{z}\right)=\frac{\mathrm{e}^{\mathrm{isinz}} }{\left(\mathrm{z}−\mathrm{i}\right)^{\mathrm{2}} \left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{2}} } \\ $$$$\int_{\mathrm{R}} \mathrm{w}\left(\mathrm{z}\right)\mathrm{dz}\:=\mathrm{2i}\pi\mathrm{Res}\left(\mathrm{w},\mathrm{i}\right) \\ $$$$\mathrm{Res}\left(\mathrm{w},\mathrm{i}\right)\:=\mathrm{lim}_{\mathrm{z}\rightarrow\mathrm{i}} \:\:\frac{\mathrm{1}}{\left(\mathrm{2}−\mathrm{1}\right)!}\left\{\left(\mathrm{z}−\mathrm{i}\right)^{\mathrm{2}} \mathrm{w}\left(\mathrm{z}\right)\right\}^{\left(\mathrm{1}\right)} \\ $$$$=\mathrm{lim}_{\mathrm{z}\rightarrow\mathrm{i}} \:\:\left\{\:\frac{\mathrm{e}^{\mathrm{isinz}} }{\left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{2}} }\right\}^{\left(\mathrm{1}\right)} \:=\mathrm{lim}_{\mathrm{z}\rightarrow\mathrm{i}} \:\:\frac{\mathrm{icosz}\:\mathrm{e}^{\mathrm{isinz}} \left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{2}} −\mathrm{2}\left(\mathrm{z}+\mathrm{i}\right)\mathrm{e}^{\mathrm{isinz}} }{\left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{4}} } \\ $$$$=\mathrm{lim}_{\mathrm{z}\rightarrow\mathrm{i}} \:\:\:\frac{\left(\mathrm{icosz}\left(\mathrm{z}+\mathrm{i}\right)−\mathrm{2}\right)\mathrm{e}^{\mathrm{isinz}} }{\left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{3}} }=\frac{\left(−\mathrm{2cosi}−\mathrm{2}\right)\mathrm{e}^{\mathrm{isini}} }{\left(\mathrm{2i}\right)^{\mathrm{3}} } \\ $$$$=\frac{\left(−\mathrm{2cosi}−\mathrm{2}\right)\mathrm{e}^{\mathrm{isini}} }{−\mathrm{8i}}\:=\frac{\left(\mathrm{1}+\mathrm{cos}\left(\mathrm{i}\right)\right)\mathrm{e}^{\mathrm{isin}\left(\mathrm{i}\right)} }{\mathrm{4i}} \\ $$$$\mathrm{we}\:\mathrm{have}\:\mathrm{cosz}\:=\frac{\mathrm{e}^{\mathrm{iz}} \:+\mathrm{e}^{−\mathrm{iz}} }{\mathrm{2}}\:\Rightarrow\mathrm{cos}\left(\mathrm{i}\right)=\frac{\mathrm{e}^{−\mathrm{1}} \:+\mathrm{e}}{\mathrm{2}}\:=\mathrm{ch}\left(\mathrm{1}\right) \\ $$$$\mathrm{sin}\left(\mathrm{z}\right)\:=\frac{\mathrm{e}^{\mathrm{iz}} −\mathrm{e}^{−\mathrm{iz}} }{\mathrm{2i}}\:\Rightarrow\mathrm{sin}\left(\mathrm{i}\right)=\frac{\mathrm{e}^{−\mathrm{1}} −\mathrm{e}}{\mathrm{2i}}\:\Rightarrow\mathrm{isin}\left(\mathrm{i}\right)=\frac{\mathrm{e}^{−\mathrm{1}} −\mathrm{e}}{\mathrm{2}}=−\mathrm{sh}\left(\mathrm{1}\right)\:\Rightarrow \\ $$$$\mathrm{Res}\left(\mathrm{w},\mathrm{i}\right)=\frac{\left(\mathrm{1}+\mathrm{ch}\left(\mathrm{1}\right)\right)\mathrm{e}^{−\mathrm{sh}\left(\mathrm{1}\right)} }{\mathrm{4i}}\:\Rightarrow\int_{\mathrm{R}} \mathrm{w}\left(\mathrm{z}\right)\mathrm{dz}=\mathrm{2i}\pi\:\frac{\left(\mathrm{1}+\mathrm{ch}\left(\mathrm{1}\right)\right)\mathrm{e}^{−\mathrm{sh}\left(\mathrm{1}\right)} }{\mathrm{4i}} \\ $$$$=\frac{\pi}{\mathrm{2}}\left(\mathrm{1}+\mathrm{ch}\left(\mathrm{1}\right)\right)\mathrm{sh}\left(\mathrm{1}\right)\:\Rightarrow\mathrm{I}=\frac{\pi}{\mathrm{4}}\left(\mathrm{1}+\mathrm{ch}\left(\mathrm{1}\right)\right)\mathrm{e}^{−\mathrm{sh}\left(\mathrm{1}\right)} \\ $$$$\mathrm{2J}\:=\int_{−\infty} ^{+\infty} \:\:\frac{\mathrm{sin}\left(\mathrm{cosx}\right)}{\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)^{\mathrm{2}} }\mathrm{dx}\:=\mathrm{Im}\left(\int_{−\infty} ^{+\infty} \:\frac{\mathrm{e}^{\mathrm{icosx}} }{\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)^{\mathrm{2}} }\mathrm{dx}\right)\:\mathrm{let} \\ $$$$\varphi\left(\mathrm{z}\right)=\frac{\mathrm{e}^{\mathrm{icosz}} }{\left(\mathrm{z}^{\mathrm{2}} \:+\mathrm{1}\right)^{\mathrm{2}} }\:\Rightarrow\varphi\left(\mathrm{z}\right)=\frac{\mathrm{e}^{\mathrm{icosz}} }{\left(\mathrm{z}−\mathrm{i}\right)^{\mathrm{2}} \left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{2}} } \\ $$$$\int_{\mathrm{R}} \varphi\left(\mathrm{z}\right)\mathrm{dz}\:=\mathrm{2i}\pi\:\mathrm{Res}\left(\varphi,\mathrm{i}\right) \\ $$$$\mathrm{Res}\left(\varphi,\mathrm{i}\right)=\mathrm{lim}_{\mathrm{z}\rightarrow\mathrm{i}} \:\:\frac{\mathrm{1}}{\left(\mathrm{2}−\mathrm{1}\right)!}\left\{\left(\mathrm{z}−\mathrm{i}\right)^{\mathrm{2}} \varphi\left(\mathrm{z}\right)\right\}^{\left(\mathrm{1}\right)} \\ $$$$=\mathrm{lim}_{\mathrm{z}\rightarrow\mathrm{i}} \:\:\:\left\{\frac{\mathrm{e}^{\mathrm{icosz}} }{\left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{2}} }\right\}^{\left(\mathrm{1}\right)} \:=\mathrm{lim}_{\mathrm{z}\rightarrow\mathrm{i}} \:\:\frac{−\mathrm{isinze}^{\mathrm{icosz}} \left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{2}} −\mathrm{2}\left(\mathrm{z}+\mathrm{i}\right)\:\mathrm{e}^{\mathrm{icosz}} }{\left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{4}} } \\ $$$$=\mathrm{lim}_{\mathrm{z}\rightarrow\mathrm{i}} \:\:\:\frac{\left(−\mathrm{isinz}\left(\mathrm{z}+\mathrm{i}\right)−\mathrm{2}\right)\mathrm{e}^{\mathrm{icosz}} }{\left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{3}} }\:=\frac{\left(\mathrm{2sini}−\mathrm{2}\right)\mathrm{e}^{\mathrm{icosi}} }{−\mathrm{8i}} \\ $$$$=\frac{\left(\mathrm{1}−\mathrm{sini}\right)\mathrm{e}^{\mathrm{icosi}} }{\mathrm{4i}}\:\Rightarrow\int_{\mathrm{R}} \varphi\left(\mathrm{z}\right)\mathrm{dz}\:=\mathrm{2i}\pi\frac{\left(\mathrm{1}−\mathrm{sin}\left(\mathrm{i}\right)\right)\mathrm{e}^{\mathrm{icosi}} }{\mathrm{4i}} \\ $$$$=\frac{\pi}{\mathrm{2}}\left(\mathrm{1}−\mathrm{sin}\left(\mathrm{i}\right)\mathrm{e}^{\mathrm{icos}\left(\mathrm{i}\right)} \right. \\ $$$$\mathrm{cos}\left(\mathrm{i}\right)=\mathrm{ch}\left(\mathrm{1}\right)\:\Rightarrow\mathrm{icos}\left(\mathrm{i}\right)=\mathrm{ich}\left(\mathrm{1}\right)\Rightarrow\mathrm{e}^{\mathrm{icos}\left(\mathrm{i}\right)} \:=\mathrm{e}^{\mathrm{ich}\left(\mathrm{1}\right)\:} \:=\mathrm{cos}\left(\mathrm{ch1}\right)+\mathrm{isin}\left(\mathrm{ch}\left(\mathrm{1}\right)\right) \\ $$$$\mathrm{sin}\left(\mathrm{i}\right)=\frac{\mathrm{e}^{\mathrm{i}\left(\mathrm{i}\right)} −\mathrm{e}^{−\mathrm{i}\left(\mathrm{i}\right)} }{\mathrm{2i}}\:=\frac{\mathrm{e}^{−\mathrm{i}} −\mathrm{e}}{\mathrm{2i}}\:=−\frac{\mathrm{e}−\mathrm{e}^{−\mathrm{1}} }{\mathrm{2i}}=−\mathrm{sh}\left(\mathrm{1}\right)\:\mathrm{rest}\:\mathrm{to}\:\mathrm{extract} \\ $$$$\mathrm{Im}\left(\:\int\:\:\varphi\right)…. \\ $$