Question Number 97620 by mathmax by abdo last updated on 08/Jun/20
$$\mathrm{calculate}\:\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{sin}\left(\pi\mathrm{x}^{\mathrm{2}} \right)}{\mathrm{x}^{\mathrm{4}} −\mathrm{x}^{\mathrm{2}} +\mathrm{1}}\mathrm{dx} \\ $$
Answered by mathmax by abdo last updated on 10/Jun/20
$$\mathrm{let}\:\mathrm{I}\:=\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{sin}\left(\pi\mathrm{x}^{\mathrm{2}} \right)}{\mathrm{x}^{\mathrm{4}} −\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dx}\:\Rightarrow\mathrm{2I}\:=\int_{−\infty} ^{+\infty} \:\frac{\mathrm{sin}\left(\pi\mathrm{x}^{\mathrm{2}} \right)}{\mathrm{x}^{\mathrm{4}} −\mathrm{x}^{\mathrm{2}} +\mathrm{1}}\mathrm{dx}\:=\mathrm{Im}\left(\int_{−\infty} ^{+\infty} \:\frac{\mathrm{e}^{\mathrm{i}\pi\mathrm{x}^{\mathrm{2}} } }{\mathrm{x}^{\mathrm{4}} −\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dx}\right) \\ $$$$\mathrm{let}\:\varphi\left(\mathrm{z}\right)\:=\frac{\mathrm{e}^{\mathrm{i}\pi\mathrm{z}^{\mathrm{2}} } }{\mathrm{z}^{\mathrm{4}} −\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}}\:\:\mathrm{poles}\:\mathrm{of}\:\varphi? \\ $$$$\mathrm{z}^{\mathrm{4}} −\mathrm{z}^{\mathrm{2}} \:+\mathrm{1}\:=\mathrm{0}\Rightarrow\mathrm{t}^{\mathrm{2}} −\mathrm{t}\:+\mathrm{1}\:=\mathrm{0}\:\:\:\left(\mathrm{t}=\mathrm{z}^{\mathrm{2}} \right) \\ $$$$\Delta\:=−\mathrm{3}\:\Rightarrow\mathrm{t}_{\mathrm{1}} =\frac{\mathrm{1}+\mathrm{i}\sqrt{\mathrm{3}}}{\mathrm{2}}\:=\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{3}}} \:\mathrm{and}\:\mathrm{t}_{\mathrm{2}} =\frac{\mathrm{1}−\mathrm{i}\sqrt{\mathrm{3}}}{\mathrm{2}}\:=\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{3}}} \:\Rightarrow \\ $$$$\varphi\left(\mathrm{z}\right)\:=\frac{\mathrm{e}^{\mathrm{i}\pi\mathrm{z}^{\mathrm{2}} } }{\left(\mathrm{z}^{\mathrm{2}} −\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{3}}} \right)\left(\mathrm{z}^{\mathrm{2}} −\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{3}}} \right)}\:=\frac{\mathrm{e}^{\mathrm{i}\pi\mathrm{z}^{\mathrm{2}} } }{\left(\mathrm{z}−\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{6}}} \right)\left(\mathrm{z}+\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{6}}} \right)\left(\mathrm{z}−\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{6}}} \right)\left(\mathrm{z}+\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{6}}} \right)} \\ $$$$\mathrm{residus}\:\mathrm{theorem}\:\mathrm{give}\: \\ $$$$\int_{−\infty} ^{+\infty} \:\varphi\left(\mathrm{z}\right)\mathrm{dz}\:=\mathrm{2i}\pi\left\{\:\mathrm{Res}\left(\varphi,\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{6}}} \right)\:+\mathrm{Res}\left(\varphi,−\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{6}}} \right)\right\} \\ $$$$\mathrm{Res}\left(\varphi,\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{6}}} \right)\:=\mathrm{lim}_{\mathrm{z}\rightarrow\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{6}}} } \:\:\left(\mathrm{z}−\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{6}}} \right)\varphi\left(\mathrm{z}\right)\:=\frac{\mathrm{e}^{\mathrm{i}\pi\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{3}}} } }{\mathrm{2e}^{\frac{\mathrm{i}\pi}{\mathrm{6}}} \left(\mathrm{2isin}\left(\frac{\pi}{\mathrm{3}}\right)\right)}\:=\frac{\mathrm{e}^{\mathrm{i}\pi\left(\frac{\mathrm{1}}{\mathrm{2}}+\frac{\mathrm{i}\sqrt{\mathrm{3}}}{\mathrm{2}}\right)} }{\mathrm{4i}×\frac{\sqrt{\mathrm{3}}}{\mathrm{2}}}\:\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{6}}} \\ $$$$=\frac{\mathrm{1}}{\mathrm{2i}\sqrt{\mathrm{3}}}\:\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{6}}} \:\:\mathrm{i}\:.\:\:\mathrm{e}^{−\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \:=\frac{\mathrm{1}}{\mathrm{2}\sqrt{\mathrm{3}}}\:\mathrm{e}^{−\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \:\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{6}}} \\ $$$$\mathrm{Res}\left(\varphi,−\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{6}}} \right)\:=\frac{\mathrm{e}^{\mathrm{i}\pi\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{3}}} } }{−\mathrm{2e}^{−\frac{\mathrm{i}\pi}{\mathrm{6}}} \left(−\mathrm{2i}\:\mathrm{sin}\left(\frac{\pi}{\mathrm{3}}\right)\right)}\:=\frac{\mathrm{1}}{\mathrm{4i}×\frac{\sqrt{\mathrm{3}}}{\mathrm{2}}}\:\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{6}}} \:\:\mathrm{e}^{\mathrm{i}\pi\left(\frac{\mathrm{1}}{\mathrm{2}}−\frac{\mathrm{i}\sqrt{\mathrm{3}}}{\mathrm{2}}\right)} \\ $$$$=\frac{\mathrm{1}}{\mathrm{2i}\sqrt{\mathrm{3}}}\:.\mathrm{i}\:.\mathrm{e}^{\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \:\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{6}}} \:=\frac{\mathrm{1}}{\mathrm{2}\sqrt{\mathrm{3}}}\:\mathrm{e}^{\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \:\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{6}}} \:\Rightarrow \\ $$$$\int_{−\infty} ^{+\infty} \:\varphi\left(\mathrm{z}\right)\mathrm{dz}\:=\mathrm{2i}\pi\left\{\:\frac{\mathrm{1}}{\mathrm{2}\sqrt{\mathrm{3}}}\:\mathrm{e}^{−\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{6}}} \:+\frac{\mathrm{1}}{\mathrm{2}\sqrt{\mathrm{3}}}\:\mathrm{e}^{\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \:\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{6}}} \right\} \\ $$$$=\frac{\mathrm{i}\pi}{\:\sqrt{\mathrm{3}}}\left\{\:\mathrm{e}^{−\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{2}}} \:\left(\frac{\sqrt{\mathrm{3}}}{\mathrm{2}}−\frac{\mathrm{i}}{\mathrm{2}}\right)\:+\mathrm{e}^{\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \left(\frac{\sqrt{\mathrm{3}}}{\mathrm{2}}+\frac{\mathrm{i}}{\mathrm{2}}\right)\right\} \\ $$$$=\frac{\mathrm{i}\pi}{\:\sqrt{\mathrm{3}}}\left\{\:\frac{\sqrt{\mathrm{3}}}{\mathrm{2}}\:\mathrm{e}^{−\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \:−\frac{\mathrm{i}}{\mathrm{2}}\:\mathrm{e}^{−\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \:+\frac{\sqrt{\mathrm{3}}}{\mathrm{2}}\:\mathrm{e}^{\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \:+\frac{\mathrm{i}}{\mathrm{2}}\:\mathrm{e}^{\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \:\right\} \\ $$$$=\frac{\mathrm{i}\pi}{\mathrm{2}}\:\mathrm{e}^{−\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \:+\frac{\mathrm{i}\pi}{\mathrm{2}}\:\mathrm{e}^{\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \:+\left(…\right)\:\Rightarrow\mathrm{Im}\left(\int_{−\infty} ^{+\infty} \:\varphi\left(\mathrm{z}\right)\mathrm{dz}\:=\frac{\pi}{\mathrm{2}}\:\left(\mathrm{e}^{\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \:+\mathrm{e}^{−\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \right)\:=\mathrm{2I}\:\Rightarrow\right. \\ $$$$\bigstar\mathrm{I}\:=\frac{\pi}{\mathrm{4}}\left(\:\mathrm{e}^{\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \:+\mathrm{e}^{−\frac{\pi\sqrt{\mathrm{3}}}{\mathrm{4}}} \right)\bigstar \\ $$