Question Number 41279 by math khazana by abdo last updated on 04/Aug/18
$${let}\:{f}\left({x}\right)=\int_{\mathrm{0}} ^{\infty} \:\:\:{arctan}\left({xt}^{\mathrm{2}} \right){dt}\:. \\ $$$${find}\:\:{a}\:{explicite}\:{form}\:{of}\:{f}^{'} \left({x}\right) \\ $$
Commented by maxmathsup by imad last updated on 05/Aug/18
$${we}\:{have}\:{f}^{'} \left({x}\right)=\:\int_{\mathrm{0}} ^{\infty} \:\:\:\:\frac{{t}^{\mathrm{2}} }{\mathrm{1}+{x}^{\mathrm{2}} {t}^{\mathrm{4}} }\:{dt}\:=\frac{\mathrm{1}}{\mathrm{2}}\:\int_{−\infty} ^{+\infty} \:\:\frac{{t}^{\mathrm{2}} }{\mathrm{1}+{x}^{\mathrm{2}} {t}^{\mathrm{4}} }\:{dt}\:{let}\:{consider}\:{the}\:{complex} \\ $$$${function}\:\varphi\left({z}\right)\:=\:\frac{{z}^{\mathrm{2}} }{\mathrm{1}+{x}^{\mathrm{2}} {z}^{\mathrm{4}} }\:\:{we}\:{have}\:\:{for}\:{x}>\mathrm{0} \\ $$$$\varphi\left({z}\right)\:=\:\frac{{z}^{\mathrm{2}} }{\left({xz}^{\mathrm{2}} \mathrm{2}\right)^{\mathrm{2}} −{i}^{\mathrm{2}} }\:=\frac{{z}^{\mathrm{2}} }{\left({xz}^{\mathrm{2}} −{i}\right)\left({xz}^{\mathrm{2}} \:+{i}\right)}\:=\:\frac{{z}^{\mathrm{2}} }{{x}^{\mathrm{2}} \left({t}^{\mathrm{2}} \:−\frac{{i}}{{x}}\right)\left({z}^{\mathrm{2}} \:+\frac{{i}}{{x}}\right)} \\ $$$$=\frac{{z}^{\mathrm{2}} }{{x}^{\mathrm{2}} \left({t}−\frac{\sqrt{{i}}}{\:\sqrt{{x}}}\right)\left({t}+\frac{\sqrt{{i}}}{\:\sqrt{{x}}}\right)\left({t}−\frac{\sqrt{−{i}}}{\:\sqrt{{x}}\:}\right)\left({t}+\frac{\sqrt{−{i}}}{\:\sqrt{{x}}}\right)}\: \\ $$$$=\:\frac{{z}^{\mathrm{2}} }{{x}^{\mathrm{2}} \left(\:{t}−\frac{{e}^{{i}\frac{\pi}{\mathrm{4}}} }{\:\sqrt{{x}}}\right)\left({t}\:+\frac{{e}^{\frac{{i}\pi}{\mathrm{4}}} }{\:\sqrt{{x}}}\right)\left({t}−\frac{{e}^{−\frac{{i}\pi}{\mathrm{4}}} }{\:\sqrt{{x}}\:}\right)\left({t}\:+\frac{{e}^{−\frac{{i}\pi}{\mathrm{4}}} }{\:\sqrt{{x}}}\right)}\:{so}\:{the}\:{poles}\:{of}\:\varphi\:{are} \\ $$$$\overset{−} {+}\:\frac{{e}^{\frac{{i}\pi}{\mathrm{4}}} }{\:\sqrt{{x}}}\:{and}\:\:\overset{−} {+}\:\:\frac{{e}^{−\frac{{i}\pi}{\mathrm{4}}} }{\:\sqrt{{x}}}\:\:{residus}\:{theorem}\:{give} \\ $$$$\int_{−\infty} ^{+\infty} \:\varphi\left({z}\right){dz}\:=\mathrm{2}{i}\pi\left\{\:{Res}\left(\varphi,\frac{{e}^{\frac{{i}\pi}{\mathrm{4}}} }{\:\sqrt{{x}}}\right)\:+{Res}\left(\varphi,−\frac{{e}^{−\frac{{i}\pi}{\mathrm{4}}} }{\:\sqrt{{x}}}\right)\right\}\:\:{but} \\ $$$${Res}\left(\varphi,\:\frac{{e}^{\frac{{i}\pi}{\mathrm{4}}} }{\:\sqrt{{x}}}\right)\:=\frac{{i}}{{x}\:{x}^{\mathrm{2}} \left(\mathrm{2}\frac{{e}^{\frac{{i}\pi}{\mathrm{4}}} }{\:\sqrt{{x}}}\right)\left(\mathrm{2}\frac{{i}}{{x}}\right)}\:=\:\frac{\sqrt{{x}}}{\mathrm{4}{x}^{\mathrm{2}} \:{e}^{\frac{{i}\pi}{\mathrm{4}}} }\:=\frac{\sqrt{{x}}}{\mathrm{4}{x}^{\mathrm{2}} }\:{e}^{−\frac{{i}\pi}{\mathrm{4}}} \\ $$$${Res}\left(\varphi,−\frac{{e}^{−\frac{{i}\pi}{\mathrm{4}}} }{\:\sqrt{{x}}}\right)\:=\frac{−{i}}{{x}\left(−\mathrm{2}\frac{{e}^{−\frac{{i}\pi}{\mathrm{4}}} }{\:\sqrt{{x}}}\right){x}^{\mathrm{2}} \left(−\mathrm{2}\frac{{i}}{{x}}\right)}\:=−\frac{\sqrt{{x}}}{\mathrm{4}{x}^{\mathrm{2}} }\:{e}^{\frac{{i}\pi}{\mathrm{4}}} \:\Rightarrow \\ $$$$\int_{−\infty} ^{+\infty} \:\:\varphi\left({z}\right){dz}\:=−\mathrm{2}{i}\pi\frac{\sqrt{{x}}}{\mathrm{4}{x}^{\mathrm{2}} }\left\{{e}^{\frac{{i}\pi}{\mathrm{4}}} \:−{e}^{−\frac{{i}\pi}{\mathrm{4}}} \right\}\:=−\mathrm{2}{i}\pi\:\frac{\sqrt{{x}}}{\mathrm{4}{x}^{\mathrm{2}} }\:\mathrm{2}{i}\:{sin}\left(\frac{\pi}{\mathrm{4}}\right) \\ $$$$=\frac{\sqrt{{x}}}{{x}^{\mathrm{2}} }\:\frac{\sqrt{\mathrm{2}}}{\mathrm{2}}\:\:{and}\:{f}^{'} \left({x}\right)=\frac{\mathrm{1}}{\mathrm{2}}\:\int_{−\infty} ^{+\infty} \:\varphi\left({z}\right){dz}\:=\:\frac{\sqrt{\mathrm{2}}}{\mathrm{4}{x}\sqrt{{x}}}\:\:{with}\:{x}>\mathrm{0} \\ $$$${if}\:{x}<\:{we}\:{put}\:{x}\:=−{u}\:\Rightarrow{f}\left({x}\right)\:=\:{f}\left(−{u}\right)\:=\int_{\mathrm{0}} ^{\infty} {arctan}\left(−{ut}^{\mathrm{2}} \right){dt} \\ $$$$=−{f}\left({u}\right)\:\Rightarrow{f}^{'} \left({x}\right)=−{f}^{'} \left({u}\right)\:=−\frac{\sqrt{\mathrm{2}}}{\mathrm{4}{u}\sqrt{{u}}}\:=−\frac{\sqrt{\mathrm{2}}}{−\mathrm{4}{x}\sqrt{−{x}}}\:=\frac{\sqrt{\mathrm{2}}}{\mathrm{4}{x}\sqrt{−{x}}}\:. \\ $$