Question Number 43058 by maxmathsup by imad last updated on 06/Sep/18
$${calculate}\:\:\int_{\mathrm{0}} ^{\infty} \:\:\:\:\:\frac{{x}\:{sin}\left(\frac{\pi{x}}{\mathrm{2}}\right)}{\left\{\mathrm{1}+\left({x}+\mathrm{1}\right)^{\mathrm{2}} \right\}\left\{\mathrm{1}+\left({x}−\mathrm{1}\right)^{\mathrm{2}} \right\}}{dx} \\ $$
Commented by maxmathsup by imad last updated on 09/Sep/18
$$\:\mathrm{2}{I}\:\:=\:\:\int_{−\infty} ^{+\infty} \:\:\:\:\:\frac{{xsin}\left(\frac{\pi{x}}{\mathrm{2}}\right)}{\left\{\mathrm{1}+\left({x}+\mathrm{1}\right)^{\mathrm{2}} \right\}\left\{\mathrm{1}+\left({x}−\mathrm{1}\right)^{\mathrm{2}} \right\}}{dx}={Im}\:\left(\int_{−\infty} ^{+\infty} \:\:\:\frac{{x}\:{e}^{\frac{{i}\pi{x}}{\mathrm{2}}} }{\left\{\mathrm{1}+\left({x}+\mathrm{1}\right)^{\mathrm{2}} \right\}\left\{\mathrm{1}+\left({x}−\mathrm{1}\right)^{\mathrm{2}} \right\}}{dx}\right) \\ $$$${let}\:\varphi\left({z}\right)\:=\:\frac{{z}\:{e}^{\frac{{i}\pi{z}}{\mathrm{2}}} }{\left\{\mathrm{1}+\left({z}+\mathrm{1}\right)^{\mathrm{2}} \right\}\left\{\mathrm{1}+\left({z}−\mathrm{1}\right)^{\mathrm{2}} \right\}}\:\:{we}\:{have}\: \\ $$$$\varphi\left({z}\right)\:=\:\frac{{z}\:{e}^{\frac{{i}\pi{z}}{\mathrm{2}}} }{\left\{\mathrm{1}+{z}^{\mathrm{2}} \:+\mathrm{2}{z}+\mathrm{1}\right\}\left\{\mathrm{1}+{z}^{\mathrm{2}} −\mathrm{2}{z}\:+\mathrm{1}\right\}}\:=\:\frac{{z}\:{e}^{\frac{{i}\pi{z}}{\mathrm{2}}} }{\left\{{z}^{\mathrm{2}} \:+\mathrm{2}{z}+\mathrm{2}\right\}\left\{{z}^{\mathrm{2}} \:−\mathrm{2}{z}\:+\mathrm{2}\right\}} \\ $$$${poles}\:{of}\:\varphi\:? \\ $$$${roots}\:{of}\:\:{z}^{\mathrm{2}} \:+\mathrm{2}{z}\:+\mathrm{2}\rightarrow\:\Delta^{'} \:=\:\mathrm{1}−\mathrm{2}\:=−\mathrm{1}\:\Rightarrow\:{z}_{\mathrm{1}} =−\mathrm{1}+{i}\:\:{and}\:{z}_{\mathrm{2}} =−\mathrm{1}−{i} \\ $$$${roots}\:{of}\:{z}^{\mathrm{2}} −\mathrm{2}{z}\:+\mathrm{2}\:\rightarrow\:\Delta^{'} \:=\mathrm{1}−\mathrm{2}=−\mathrm{1}\:\Rightarrow{z}_{\mathrm{3}} =\mathrm{1}+{i}\:\:{and}\:{z}_{\mathrm{4}} =\mathrm{1}−{i}\:\Rightarrow \\ $$$$\varphi\left({z}\right)\:=\:\frac{{z}\:{e}^{\frac{{i}\pi{z}}{\mathrm{2}}} }{\left({z}−{z}_{\mathrm{1}} \right)\left({z}−{z}_{\mathrm{2}} \right)\left({z}−{z}_{\mathrm{3}} \right)\left({z}−{z}_{\mathrm{4}} \right)}\:=\:\frac{{z}\:{e}^{\frac{{i}\pi{z}}{\mathrm{2}}} }{\left({z}−{z}_{\mathrm{1}} \right)\left({z}−{z}_{\mathrm{2}} \right)\left({z}+{z}_{\mathrm{2}} \right)\left({z}+{z}_{\mathrm{1}} \right)} \\ $$$$\int_{−\infty} ^{+\infty} \:\varphi\left({z}\right){dz}\:=\mathrm{2}{i}\pi\:\left\{\:{Res}\left(\varphi,{z}_{\mathrm{1}} \right)+{Res}\left(\varphi,{z}_{\mathrm{3}} \right)\right\} \\ $$$${Res}\left(\varphi,{z}_{\mathrm{1}} \right)\:={lim}_{{z}\rightarrow{z}_{\mathrm{1}} } \left({z}−{z}_{\mathrm{1}} \right)\varphi\left({z}\right)\:=\:\frac{{z}_{\mathrm{1}} \:{e}^{\frac{{i}\pi{z}_{\mathrm{1}} }{\mathrm{2}}} }{\left({z}_{\mathrm{1}} −{z}_{\mathrm{2}} \right)\left({z}_{\mathrm{1}} +{z}_{\mathrm{2}} \right)\left(\mathrm{2}{z}_{\mathrm{1}} \right)} \\ $$$$=\:\frac{{e}^{\frac{{i}\pi{z}_{\mathrm{1}} }{\mathrm{2}}} }{\mathrm{2}\left(\mathrm{2}{i}\right)\left(−\mathrm{2}\right)}\:=\:\frac{{e}^{\frac{{i}\pi{z}_{\mathrm{1}} }{\mathrm{2}}} }{−\mathrm{8}{i}} \\ $$$${Res}\left(\varphi,\:{z}_{\mathrm{3}} \right)\:=\:{Res}\left(\varphi,\:−{z}_{\mathrm{2}} \right)\:={lim}_{{z}\rightarrow−{z}_{\mathrm{2}} } \left({z}+{z}_{\mathrm{2}} \right)\varphi\left({z}\right) \\ $$$$=\:\frac{−{z}_{\mathrm{2}} \:{e}^{\frac{−{i}\pi{z}_{\mathrm{2}} }{\mathrm{2}}} }{\left(−\boldsymbol{{z}}_{\mathrm{2}} −\boldsymbol{{z}}_{\mathrm{1}} \right)\left(−\mathrm{2}\boldsymbol{{z}}_{\mathrm{2}} \right)\left(\boldsymbol{{z}}_{\mathrm{1}} −\boldsymbol{{z}}_{\mathrm{2}} \right)}\:=\:\frac{\boldsymbol{{e}}^{−\frac{\boldsymbol{{i}}\pi{z}_{\mathrm{2}} }{\mathrm{2}}} }{−\mathrm{2}\left({z}_{\mathrm{1}} \:+{z}_{\mathrm{2}} \right)\left({z}_{\mathrm{1}} −{z}_{\mathrm{2}} \right)} \\ $$$$=\:\:\frac{{e}^{−\frac{{i}\pi{z}_{\mathrm{2}} }{\mathrm{2}}} }{\left(−\mathrm{2}\right)\left(−\mathrm{2}\right)\left(\mathrm{2}\boldsymbol{{i}}\right)}\:=\:\frac{\boldsymbol{{e}}^{−\frac{\boldsymbol{{i}}\pi{z}_{\mathrm{2}} }{\mathrm{2}}} }{\mathrm{8}{i}}\:\Rightarrow \\ $$$$\int_{−\infty} ^{+\infty} \:\:\varphi\left({z}\right){dz}\:=\mathrm{2}{i}\pi\left\{\:−\frac{{e}^{\frac{{i}\pi{z}_{\mathrm{1}} }{\mathrm{2}}} }{\mathrm{8}{i}}\:+\:\frac{{e}^{−\frac{{i}\pi{z}_{\mathrm{2}} }{\mathrm{2}}} }{\mathrm{8}{i}}\right\}=−\frac{\pi}{\mathrm{4}}\left\{\:\:{e}^{\frac{{i}\pi{z}_{\mathrm{1}} }{\mathrm{2}}} \:−{e}^{−\frac{{i}\pi\:\overset{−} {{z}}_{\mathrm{1}} }{\mathrm{2}}} \right\} \\ $$$$=−\frac{\pi}{\mathrm{4}}\:\left\{\mathrm{2}{i}\:{Im}\left({e}^{\frac{{i}\pi{z}_{\mathrm{1}} }{\mathrm{2}}} \right)\right\}\:=−\frac{{i}\pi}{\mathrm{2}}\:{Im}\left(\:{e}^{\frac{{i}\pi{z}_{\mathrm{1}} }{\mathrm{2}}} \right)\:\:{but} \\ $$$$\:{e}^{\frac{{i}\pi{z}_{\mathrm{1}} }{\mathrm{2}}} \:\:\:={e}^{\frac{{i}\pi\left(−\mathrm{1}+{i}\right)}{\mathrm{2}}} \:\:=\:{e}^{\frac{−{i}\pi−\pi}{\mathrm{2}}} \:=\:{e}^{−\frac{\pi}{\mathrm{2}}} \:\:\left(−\boldsymbol{{i}}\right)\:\Rightarrow\:\int_{−\infty} ^{+\infty} \:\:\varphi\left({z}\right){dz}\:=−\frac{{i}\pi}{\mathrm{2}}\:\left(−{e}^{−\frac{\pi}{\mathrm{2}}} \right) \\ $$$$=\:\frac{{i}\pi}{\mathrm{2}}\:{e}^{−\frac{\pi}{\mathrm{2}}} \:\:\:\:\Rightarrow\:\mathrm{2}{I}\:=\:\frac{\pi}{\mathrm{2}}\:{e}^{−\frac{\pi}{\mathrm{2}}} \:\Rightarrow\:{I}\:=\:\frac{\pi}{\mathrm{4}}\:{e}^{−\frac{\pi}{\mathrm{2}}} \:\:. \\ $$$$ \\ $$