Question Number 57233 by maxmathsup by imad last updated on 31/Mar/19
$${find}\:{the}\:{value}\:{of}\:\int_{\mathrm{0}} ^{+\infty} \:\:\frac{{x}^{\mathrm{4}} }{\left(\mathrm{1}+{x}^{\mathrm{2}} \:+{x}^{\mathrm{4}} \right)^{\mathrm{2}} }{dx} \\ $$
Commented by maxmathsup by imad last updated on 04/Apr/19
$${let}\:{I}\:=\int_{\mathrm{0}} ^{\infty} \:\:\:\frac{{x}^{\mathrm{4}} }{\left(\mathrm{1}+{x}^{\mathrm{2}} \:+{x}^{\mathrm{4}} \right)^{\mathrm{2}} }\:{dx}\:\Rightarrow\mathrm{2}{I}\:=\int_{−\infty} ^{+\infty} \:\:\frac{{x}^{\mathrm{4}} }{\left({x}^{\mathrm{4}} \:+{x}^{\mathrm{2}} \:+\mathrm{1}\right)^{\mathrm{2}} }\:{dx}\:{let} \\ $$$$\varphi\left({z}\right)\:=\frac{{z}^{\mathrm{4}} }{\left({z}^{\mathrm{4}} \:+{z}^{\mathrm{2}} \:+\mathrm{1}\right)^{\mathrm{2}} }\:\:.{poles}\:{of}\:\varphi? \\ $$$${z}^{\mathrm{4}} \:+{z}^{\mathrm{2}} \:+\mathrm{1}\:=\mathrm{0}\:\Rightarrow{t}^{\mathrm{2}} \:+{t}\:+\mathrm{1}\:=\mathrm{0}\:\left({witht}={z}^{\mathrm{2}} \right)\:\rightarrow\Delta=\mathrm{1}−\mathrm{4}=−\mathrm{3}\:\Rightarrow \\ $$$${t}_{\mathrm{1}} =\frac{−\mathrm{1}+{i}\sqrt{\mathrm{3}}}{\mathrm{2}}\:={e}^{\frac{{i}\mathrm{2}\pi}{\mathrm{3}}} \:\:{and}\:{t}_{\mathrm{2}} =\frac{−\mathrm{1}−{i}\sqrt{\mathrm{3}}}{\mathrm{2}}\:={e}^{−\frac{{i}\mathrm{2}\pi}{\mathrm{3}}} \\ $$$${z}^{\mathrm{2}} \:={t}_{\mathrm{1}} \:\Rightarrow{z}\:=\overset{−} {+}\:{e}^{\frac{{i}\pi}{\mathrm{3}}} \\ $$$${z}^{\mathrm{2}} \:={t}_{\mathrm{2}} \Rightarrow{z}\:=\overset{−} {+}{e}^{−\frac{{i}\pi}{\mathrm{3}}} \:\Rightarrow{the}\:{poles}\:{of}\:\varphi\:{are}\:\:\overset{−} {+}\:{e}^{\frac{{i}\pi}{\mathrm{3}}} \:{and}\:\overset{−} {+}\:{e}^{−\frac{{i}\pi}{\mathrm{3}}} \:\:\left({doubles}\right)\:{and} \\ $$$$\varphi\left({z}\right)\:=\frac{{z}^{\mathrm{4}} }{\left({z}−{e}^{\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{2}} \left({z}+{e}^{\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{2}} \left({z}−{e}^{−\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{2}} \left({z}+{e}^{−\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{2}} }\:\:\:{residus}\:{theorem}\:{give} \\ $$$$\int_{−\infty} ^{+\infty} \:\varphi\left({z}\right){dz}\:=\mathrm{2}{i}\pi\:\left\{\:{Res}\left(\varphi,{e}^{\frac{{i}\pi}{\mathrm{3}}} \right)\:+{Res}\left(\varphi,−{e}^{−\frac{{i}\pi}{\mathrm{3}}} \right)\right\} \\ $$$${Res}\left(\varphi,{e}^{\frac{{i}\pi}{\mathrm{3}}} \right)\:={lim}_{{z}\rightarrow{e}^{\frac{{i}\pi}{\mathrm{3}}} } \:\:\:\:\frac{\mathrm{1}}{\left(\mathrm{2}−\mathrm{1}\right)!}\:\left\{\left({z}−{e}^{\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{2}} \varphi\left({z}\right)\right\}^{\left(\mathrm{1}\right)} \\ $$$$={lim}_{{z}\rightarrow{e}^{\frac{{i}\pi}{\mathrm{3}}} } \:\left\{\:\frac{{z}^{\mathrm{4}} }{\left({z}+{e}^{\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{2}} \left({z}−{e}^{−\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{2}} \:\left({z}+{e}^{−\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{2}} }\right\}^{\left(\mathrm{1}\right)} \\ $$$$={lim}_{{z}\rightarrow{e}^{\frac{{i}\pi}{\mathrm{3}}} \:\:} \:\:\:\:\frac{\mathrm{4}{z}^{\mathrm{3}} \left({z}+{e}^{\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{2}} \left({z}−{e}^{−\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{2}} \left({z}+{e}^{−\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{2}} \:−{z}^{\mathrm{4}} \left\{\left({z}+{e}^{\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{2}} \left({z}−{e}^{−\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{2}} \left({z}+{e}^{−\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{2}} \right\}^{\left(\mathrm{1}\right)} }{\left({z}+{e}^{\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{4}} \left({z}−{e}^{−\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{4}} \left({z}+{e}^{−\frac{{i}\pi}{\mathrm{3}}} \right)^{\mathrm{4}} } \\ $$$$….{be}\:{continued}… \\ $$