Question Number 73179 by mathmax by abdo last updated on 07/Nov/19
$${caoculate}\:\int_{\mathrm{0}} ^{\infty} \:\:\frac{{arctan}\left({x}^{\mathrm{2}} −\mathrm{1}\right)}{\mathrm{2}{x}^{\mathrm{2}} \:+\mathrm{1}}{dx} \\ $$
Commented by mathmax by abdo last updated on 07/Nov/19
$${residus}\:{method}\:{but}\:{need}\:{more}\:{proof}\:{let}\:{A}\:=\int_{\mathrm{0}} ^{\infty} \:\frac{{arctan}\left({x}^{\mathrm{2}} −\mathrm{1}\right)}{\mathrm{2}{x}^{\mathrm{2}} \:+\mathrm{1}}{dx} \\ $$$$\Rightarrow\mathrm{2}{A}\:=\int_{−\infty} ^{+\infty} \:\:\frac{{arctan}\left({x}^{\mathrm{2}} −\mathrm{1}\right)}{\mathrm{2}{x}^{\mathrm{2}} \:+\mathrm{1}}{dx}\:{let}\:{W}\left({z}\right)=\frac{{arctan}\left({z}^{\mathrm{2}} −\mathrm{1}\right)}{\mathrm{2}{z}^{\mathrm{2}} \:+\mathrm{1}}\:\Rightarrow \\ $$$${W}\left({z}\right)=\frac{{arctan}\left({z}^{\mathrm{2}} −\mathrm{1}\right)}{\mathrm{2}\left({z}^{\mathrm{2}} \:+\frac{\mathrm{1}}{\mathrm{2}}\right)}\:=\frac{{arctan}\left({z}^{\mathrm{2}} −\mathrm{1}\right)}{\mathrm{2}\left({z}−\frac{{i}}{\:\sqrt{\mathrm{2}}}\right)\left({z}+\frac{{i}}{\:\sqrt{\mathrm{2}}\:}\right)}\:\Rightarrow \\ $$$$\int_{−\infty} ^{+\infty} \:{W}\left({z}\right){dz}\:=\mathrm{2}{i}\pi\:{Res}\left({W},\frac{{i}}{\:\sqrt{\mathrm{2}}}\right)\:{and}\: \\ $$$${Res}\left({W},\frac{{i}}{\:\sqrt{\mathrm{2}}}\right)={lim}_{{z}\rightarrow\frac{{i}}{\:\sqrt{\mathrm{2}}}} \:\left({z}−\frac{{i}}{\:\sqrt{\mathrm{2}}}\right){W}\left({z}\right)\:=\frac{{arctan}\left(\left(\frac{{i}}{\:\sqrt{\mathrm{2}}}\right)^{\mathrm{2}} −\mathrm{1}\right)}{\mathrm{2}\left(\frac{\mathrm{2}{i}}{\:\sqrt{\mathrm{2}}}\right)} \\ $$$$=\sqrt{\mathrm{2}}\frac{{arctan}\left(−\frac{\mathrm{1}}{\mathrm{2}}−\mathrm{1}\right)}{\mathrm{4}{i}}\:=−\frac{\sqrt{\mathrm{2}}}{\mathrm{4}{i}}\:{arctan}\left(\frac{\mathrm{3}}{\mathrm{2}}\right)\:\Rightarrow \\ $$$$\int_{−\infty} ^{+\infty} \:\:{W}\left({z}\right){dz}\:=\mathrm{2}{i}\pi×\left(−\frac{\sqrt{\mathrm{2}}}{\mathrm{4}{i}}\right){arctan}\left(\frac{\mathrm{3}}{\mathrm{2}}\right)=−\frac{\pi\sqrt{\mathrm{2}}}{\mathrm{2}}\:{arctan}\left(\frac{\mathrm{3}}{\mathrm{2}}\right)=\mathrm{2}{A} \\ $$$$\Rightarrow\:{A}\:=−\frac{\pi\sqrt{\mathrm{2}}}{\mathrm{4}}\:{arctan}\left(\frac{\mathrm{3}}{\mathrm{2}}\right)\:{and}\:{if}\:{the}\:{graph}\:{of}\:{the}\:{function} \\ $$$${x}\rightarrow\frac{{arctan}\left({x}^{\mathrm{2}} −\mathrm{1}\right)}{\mathrm{2}{x}^{\mathrm{2}} \:+\mathrm{1}}\:{is}\:{on}\left({x}^{'} {ox}\right)\:{we}\:{take}\:{the}\:{absolute}\:{value}… \\ $$
Answered by mind is power last updated on 07/Nov/19
$$\int_{\mathrm{0}} ^{+\infty} \frac{\mathrm{arctan}\left(\mathrm{x}^{\mathrm{2}} −\mathrm{1}\right)}{\mathrm{2x}^{\mathrm{2}} +\mathrm{1}}\mathrm{dx}=\mathrm{a} \\ $$$$\int\frac{\mathrm{dx}}{\mathrm{2x}^{\mathrm{2}} +\mathrm{1}}=\frac{\mathrm{1}}{\:\sqrt{\mathrm{2}}}\mathrm{arctan}\left(\mathrm{x}\sqrt{\mathrm{2}}\right) \\ $$$${a}=\left[\frac{{arctan}\left({x}\sqrt{\mathrm{2}}\right)}{\:\sqrt{\mathrm{2}}}.{arctan}\left({x}^{\mathrm{2}} −\mathrm{1}\right)\right]_{\mathrm{0}} ^{+\infty} −\frac{\mathrm{1}}{\:\sqrt{\mathrm{2}}}\int_{\mathrm{0}} ^{+\infty} \frac{\mathrm{arctan}\left(\mathrm{x}\sqrt{\mathrm{2}}\right).\mathrm{2xdx}}{\left(\mathrm{x}^{\mathrm{2}} −\mathrm{1}\right)^{\mathrm{2}} +\mathrm{1}} \\ $$$$\mathrm{a}=\frac{\pi^{\mathrm{2}} }{\mathrm{4}\sqrt{\mathrm{2}}}−\sqrt{\mathrm{2}}\int_{\mathrm{0}} ^{+\infty} \frac{\mathrm{arctan}\left(\mathrm{x}\sqrt{\mathrm{2}}\right)\mathrm{xdx}}{\left(\mathrm{x}^{\mathrm{2}} −\mathrm{1}\right)^{\mathrm{2}} +\mathrm{1}}=\frac{\pi^{\mathrm{2}} }{\mathrm{4}\sqrt{\mathrm{2}}}−\frac{\mathrm{1}}{\:\sqrt{\mathrm{2}}}\int_{−\infty} ^{+\infty} \frac{\mathrm{arctan}\left(\mathrm{x}\sqrt{\mathrm{2}}\right)\mathrm{xdx}}{\left(\mathrm{x}^{\mathrm{2}} −\mathrm{1}\right)^{\mathrm{2}} +\mathrm{1}} \\ $$$$\mathrm{on}\:\mathrm{pose}\:\mathrm{f}\left(\mathrm{t}\right)=\int_{−\infty} ^{+\infty} \frac{\mathrm{xarctan}\left(\mathrm{tx}\right)}{\left(\mathrm{x}^{\mathrm{2}} −\mathrm{1}\right)^{\mathrm{2}} +\mathrm{1}}\mathrm{dx} \\ $$$$\mathrm{t}\geqslant\mathrm{0} \\ $$$$\mathrm{f}'\left(\mathrm{t}\right)=\int_{−\infty} ^{+\infty} \frac{\mathrm{x}^{\mathrm{2}} \mathrm{dx}}{\left(\mathrm{1}+\mathrm{x}^{\mathrm{2}} \mathrm{t}^{\mathrm{2}} \right)\left(\mathrm{x}^{\mathrm{2}} −\mathrm{1}−\mathrm{i}\right)\left(\mathrm{x}^{\mathrm{2}} −\mathrm{1}+\mathrm{i}\right)} \\ $$$$\mathrm{pols}\:\mathrm{are}\:\mathrm{x}_{\mathrm{0}} =+\frac{\mathrm{i}}{\mathrm{t}},\mathrm{x}^{\mathrm{2}} =\mathrm{1}+\mathrm{i}\Rightarrow\mathrm{x}_{\mathrm{2}} =\left(\mathrm{2}^{\frac{\mathrm{1}}{\mathrm{4}}} \right)\mathrm{e}^{\frac{\mathrm{i}\pi}{\mathrm{8}}} \\ $$$$\mathrm{x}=−\mathrm{1}+\mathrm{i}\Rightarrow\mathrm{x}_{\mathrm{1}} =\left(\mathrm{2}^{\frac{\mathrm{1}}{\mathrm{4}}} \right)\mathrm{e}^{\frac{\mathrm{i3}\pi}{\mathrm{8}}} \\ $$$$\mathrm{f}'\left(\mathrm{t}\right)=\mathrm{2i}\pi\:\mathrm{res}\left(\mathrm{f},\mathrm{x}_{\mathrm{0}} ,\mathrm{x}_{\mathrm{1}} \mathrm{x}_{\mathrm{2}} \right) \\ $$$$\mathrm{2i}\pi\mathrm{res}\left(\mathrm{f},\frac{\mathrm{i}}{\mathrm{t}}\right)=\mathrm{2i}\pi.\frac{\frac{−\mathrm{1}}{\mathrm{t}^{\mathrm{2}} }}{\left(\mathrm{2i}\right)\mathrm{t}\left(\left(\frac{\mathrm{1}+\mathrm{t}^{\mathrm{2}} }{\mathrm{t}^{\mathrm{2}} }\right)^{\mathrm{2}} +\mathrm{1}\right)}=\frac{−\pi\mathrm{t}}{\left(\mathrm{2t}^{\mathrm{4}} +\mathrm{2t}^{\mathrm{2}} +\mathrm{1}\right)} \\ $$$$\mathrm{too}\:\mathrm{be}\:\mathrm{continued} \\ $$$$ \\ $$$$ \\ $$$$ \\ $$