Question Number 115725 by Bird last updated on 28/Sep/20
$${calculate}\:\int_{\mathrm{0}} ^{\infty} \:\frac{{lnx}}{\left({x}^{\mathrm{2}\:} +{x}+\mathrm{2}\right)^{\mathrm{2}} }{dx} \\ $$
Answered by mathmax by abdo last updated on 28/Sep/20
$$\mathrm{let}\:\mathrm{f}\left(\mathrm{a}\right)\:=\int_{\mathrm{0}} ^{\infty} \:\:\frac{\mathrm{lnx}}{\mathrm{x}^{\mathrm{2}} \:+\mathrm{x}\:+\mathrm{a}}\mathrm{dx}\:\mathrm{with}\:\mathrm{a}>\frac{\mathrm{1}}{\mathrm{4}} \\ $$$$\mathrm{we}\:\mathrm{have}\:\mathrm{f}^{'} \left(\mathrm{a}\right)\:=−\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{lnx}}{\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{x}+\mathrm{a}\right)^{\mathrm{2}} }\:\mathrm{and}\:\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{lnx}}{\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{x}+\mathrm{a}\right)^{\mathrm{2}} }=−\mathrm{f}^{'} \left(\mathrm{2}\right) \\ $$$$\mathrm{let}\:\mathrm{explicite}\:\mathrm{f}\left(\mathrm{a}\right)\:\mathrm{by}\:\mathrm{using}\:\int_{\mathrm{0}} ^{\infty} \:\mathrm{q}\left(\mathrm{x}\right)\mathrm{ln}\left(\mathrm{x}\right)\mathrm{dx}=−\frac{\mathrm{1}}{\mathrm{2}}\mathrm{Re}\left(\sum_{\mathrm{i}} \:\mathrm{Res}\left(\mathrm{q}\left(\mathrm{z}\right)\mathrm{ln}^{\mathrm{2}} \mathrm{z}\:,\mathrm{a}_{\mathrm{i}} \right)\right. \\ $$$$\varphi\left(\mathrm{z}\right)\:=\mathrm{q}\left(\mathrm{z}\right)\mathrm{ln}^{\mathrm{2}} \mathrm{z}\:=\frac{\mathrm{ln}^{\mathrm{2}} \mathrm{z}}{\mathrm{z}^{\mathrm{2}} \:+\mathrm{z}+\mathrm{a}}\:\mathrm{poles}\:\mathrm{of}\:\varphi? \\ $$$$\Delta\:=\mathrm{1}−\mathrm{4a}<\mathrm{0}\:\Rightarrow\mathrm{z}_{\mathrm{1}} =\frac{−\mathrm{1}+\mathrm{i}\sqrt{\mathrm{4a}−\mathrm{1}}}{\mathrm{2}}\:\mathrm{and}\:\mathrm{z}_{\mathrm{2}} =\frac{−\mathrm{1}−\mathrm{i}\sqrt{\mathrm{4a}−\mathrm{1}}}{\mathrm{2}} \\ $$$$\mid\mathrm{z}_{\mathrm{1}} \mid\:=\frac{\mathrm{1}}{\mathrm{2}}\sqrt{\mathrm{1}+\mathrm{4a}−\mathrm{1}}=\sqrt{\mathrm{a}}\:\Rightarrow\mathrm{z}_{\mathrm{1}} =\sqrt{\mathrm{a}}\mathrm{e}^{−\mathrm{iarctan}\sqrt{\mathrm{4a}−\mathrm{1}}} \\ $$$$\mathrm{and}\:\mathrm{z}_{\mathrm{2}} =\sqrt{\mathrm{a}}\mathrm{e}^{\mathrm{iarctan}\sqrt{\mathrm{4a}−\mathrm{1}}} \:\:\:\:\mathrm{we}\:\mathrm{have}\:\varphi\left(\mathrm{z}\right)\:=\frac{\mathrm{ln}^{\mathrm{2}} \mathrm{z}}{\left(\mathrm{z}−\mathrm{z}_{\mathrm{1}} \right)\left(\mathrm{z}−\mathrm{z}_{\mathrm{2}} \right)} \\ $$$$\mathrm{Res}\left(\varphi,\mathrm{z}_{\mathrm{1}} \right)\:=\mathrm{lim}_{\mathrm{z}\rightarrow\mathrm{z}_{\mathrm{1}} } \:\:\:\left(\mathrm{z}−\mathrm{z}_{\mathrm{1}} \right)\varphi\left(\mathrm{z}\right)\:=\frac{\mathrm{ln}^{\mathrm{2}} \mathrm{z}_{\mathrm{1}} }{\mathrm{z}_{\mathrm{1}} −\mathrm{z}_{\mathrm{2}} } \\ $$$$=\frac{\left(\mathrm{ln}\sqrt{\mathrm{a}}+\mathrm{iarctan}\sqrt{\mathrm{4a}−\mathrm{1}}\right)^{\mathrm{2}} }{\mathrm{i}\sqrt{\mathrm{4a}−\mathrm{1}}}\:=\frac{\mathrm{ln}^{\mathrm{2}} \sqrt{\mathrm{a}}+\mathrm{2iln}\sqrt{\mathrm{a}}\mathrm{arctan}\sqrt{\mathrm{4a}−\mathrm{1}}−\mathrm{arctan}^{\mathrm{2}} \sqrt{\mathrm{4a}−\mathrm{1}}}{\mathrm{i}\sqrt{\mathrm{4a}−\mathrm{1}}} \\ $$$$=−\mathrm{i}\frac{\mathrm{ln}^{\mathrm{2}} \sqrt{\mathrm{a}}+\mathrm{2iln}\left(\sqrt{\mathrm{a}}\right)\:\mathrm{arctan}\sqrt{\mathrm{4a}−\mathrm{1}}−\mathrm{arctan}^{\mathrm{2}} \sqrt{\mathrm{4a}−\mathrm{1}}}{\:\sqrt{\mathrm{4a}−\mathrm{1}}} \\ $$$$=\frac{−\mathrm{iln}^{\mathrm{2}} \sqrt{\mathrm{a}}\:+\mathrm{lna}\:\mathrm{arctan}\sqrt{\mathrm{4a}−\mathrm{1}}+\mathrm{iarctan}^{\mathrm{2}} \sqrt{\mathrm{4a}−\mathrm{1}}}{\:\sqrt{\mathrm{4a}−\mathrm{1}}} \\ $$$$\mathrm{Res}\left(\varphi,\mathrm{z}_{\mathrm{2}} \right)\:=\mathrm{lim}_{\mathrm{z}\rightarrow\mathrm{z}_{\mathrm{2}} } \:\:\left(\mathrm{z}−\mathrm{z}_{\mathrm{2}} \right)\varphi\left(\mathrm{z}\right)\:=\frac{\mathrm{ln}^{\mathrm{2}} \mathrm{z}_{\mathrm{2}} }{\mathrm{z}_{\mathrm{2}} −\mathrm{z}_{\mathrm{1}} }\:=\frac{\left(\mathrm{ln}\sqrt{\mathrm{a}}+\mathrm{iarctan}\sqrt{\mathrm{4a}−\mathrm{1}}\right)^{\mathrm{2}} }{−\mathrm{i}\sqrt{\mathrm{4a}−\mathrm{1}}} \\ $$$$=\frac{\mathrm{ln}^{\mathrm{2}} \sqrt{\mathrm{a}}+\mathrm{2iln}\sqrt{\mathrm{a}}\mathrm{arctan}\sqrt{\mathrm{4a}−\mathrm{1}}−\mathrm{arctan}^{\mathrm{2}} \sqrt{\mathrm{4a}−\mathrm{1}}}{−\mathrm{i}\sqrt{\mathrm{4a}−\mathrm{1}}} \\ $$$$=\frac{\mathrm{iln}^{\mathrm{2}} \sqrt{\mathrm{a}}−\mathrm{lna}\:\mathrm{arctan}\sqrt{\mathrm{4a}−\mathrm{1}}−\mathrm{iarctan}^{\mathrm{2}} \sqrt{\mathrm{4a}−\mathrm{1}}}{\:\sqrt{\mathrm{4a}−\mathrm{1}}}\:\Rightarrow \\ $$$$\Sigma\:\mathrm{Res}=\frac{\mathrm{1}}{\:\sqrt{\mathrm{4a}−\mathrm{1}}}\left\{−\mathrm{iln}^{\mathrm{2}} \sqrt{\mathrm{a}}+\mathrm{lna}\:\mathrm{arctan}\sqrt{\mathrm{4a}−\mathrm{1}}+\mathrm{i}\:\mathrm{arctan}^{\mathrm{2}} \sqrt{\mathrm{4a}−\mathrm{1}}\right. \\ $$$$\left.+\mathrm{iln}^{\mathrm{2}} \sqrt{\mathrm{a}}−\mathrm{lna}\:\mathrm{arctan}\sqrt{\mathrm{4a}−\mathrm{1}}−\mathrm{iarctan}\sqrt{\mathrm{4a}−\mathrm{1}}\right\} \\ $$$$\mathrm{Re}\left(\Sigma\:\mathrm{Res}\left(…\right)\right)=\frac{\mathrm{1}}{\:\sqrt{\mathrm{4a}−\mathrm{1}}}\left\{\mathrm{o}\right\}\:=\mathrm{0}\:\Rightarrow\int_{\mathrm{0}} ^{\infty} \:\:\frac{\mathrm{lnx}}{\mathrm{x}^{\mathrm{2}} \:+\mathrm{x}+\mathrm{a}}\mathrm{dx}\:=\mathrm{0}\:\Rightarrow \\ $$$$\int_{\mathrm{0}} ^{\infty} \:\:\frac{\mathrm{lnx}}{\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{x}+\mathrm{a}\right)^{\mathrm{2}} }\mathrm{dx}\:=\mathrm{0} \\ $$