Question Number 108582 by mathmax by abdo last updated on 17/Aug/20
$$\mathrm{calculate}\:\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{ln}\left(\mathrm{1}+\mathrm{x}\right)}{\mathrm{1}+\mathrm{x}^{\mathrm{2}} }\:\mathrm{dx} \\ $$
Answered by mnjuly1970 last updated on 18/Aug/20
$$\mathrm{x}=\mathrm{tan}\left(\mathrm{t}\right)\Rightarrow\:\Omega=\int_{\mathrm{0}} ^{\:\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\mathrm{tan}\left(\mathrm{t}\right)\right)\mathrm{dt}=\int_{\mathrm{0}} ^{\:\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\mathrm{cot}\left(\mathrm{t}\right)\right)\mathrm{dt} \\ $$$$\Omega=−\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\mathrm{tan}\left(\mathrm{t}\right)\right)\mathrm{dt}\Rightarrow\mathrm{2}\Omega=\mathrm{0}\:\Rightarrow\Omega=\mathrm{0}\:…. \\ $$$$\: \\ $$
Commented by Her_Majesty last updated on 18/Aug/20
$${how}??? \\ $$
Commented by mathmax by abdo last updated on 18/Aug/20
$$\mathrm{you}\:\mathrm{answer}\:\mathrm{is}\:\mathrm{not}\:\mathrm{correct}\:\mathrm{sir} \\ $$
Answered by mathmax by abdo last updated on 18/Aug/20
$$\mathrm{I}\:=\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{ln}\left(\mathrm{1}+\mathrm{x}\right)}{\mathrm{1}+\mathrm{x}^{\mathrm{2}} }\mathrm{dx}\:\mathrm{we}\:\mathrm{do}\:\mathrm{the}\:\mathrm{changement}\:\mathrm{x}=\mathrm{tant}\:\Rightarrow \\ $$$$\mathrm{I}\:=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \:\frac{\mathrm{ln}\left(\mathrm{1}+\mathrm{tant}\right)}{\mathrm{1}+\mathrm{tan}^{\mathrm{2}} \mathrm{t}}\left(\mathrm{1}+\mathrm{tan}^{\mathrm{2}} \mathrm{t}\right)\:\mathrm{dt} \\ $$$$=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\mathrm{1}+\mathrm{tant}\right)\mathrm{dt}\:\mathrm{let}\:\mathrm{f}\left(\mathrm{a}\right)\:=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \:\mathrm{ln}\left(\mathrm{a}+\mathrm{tant}\right)\mathrm{dt}\:\:\left(\mathrm{a}>\mathrm{0}\right)\:\Rightarrow \\ $$$$\mathrm{f}^{'} \left(\mathrm{a}\right)\:=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \:\frac{\mathrm{dt}}{\mathrm{a}+\mathrm{tant}}\:\:=_{\mathrm{tant}\:=\mathrm{u}} \:\:\:\:\int_{\mathrm{0}} ^{\infty} \:\:\:\frac{\mathrm{du}}{\left(\mathrm{1}+\mathrm{u}^{\mathrm{2}} \right)\left(\mathrm{a}+\mathrm{u}\right)}\:\mathrm{let}\:\mathrm{decompose} \\ $$$$\mathrm{F}\left(\mathrm{u}\right)\:=\frac{\mathrm{1}}{\left(\mathrm{u}+\mathrm{a}\right)\left(\mathrm{u}^{\mathrm{2}} \:+\mathrm{1}\right)}\:\Rightarrow\mathrm{F}\left(\mathrm{u}\right)\:=\frac{\alpha}{\mathrm{u}+\mathrm{a}}\:+\frac{\beta\mathrm{u}\:+\mathrm{c}}{\mathrm{u}^{\mathrm{2}} \:+\mathrm{1}} \\ $$$$\alpha\:=\frac{\mathrm{1}}{\mathrm{a}^{\mathrm{2}} \:+\mathrm{1}}\:\:\:\:\:\:\mathrm{lim}_{\mathrm{u}\rightarrow+\infty} \mathrm{uF}\left(\mathrm{u}\right)\:=\mathrm{o}\:=\alpha+\beta\:\Rightarrow\beta\:=−\frac{\mathrm{1}}{\mathrm{a}^{\mathrm{2}} \:+\mathrm{1}} \\ $$$$\mathrm{F}\left(\mathrm{o}\right)\:=\frac{\mathrm{1}}{\mathrm{a}}\:=\frac{\alpha}{\mathrm{a}}\:+\mathrm{c}\:\Rightarrow\mathrm{c}\:=\frac{\mathrm{1}}{\mathrm{a}}−\frac{\mathrm{1}}{\mathrm{a}\left(\mathrm{a}^{\mathrm{2}} \:+\mathrm{1}\right)}\:=\frac{\mathrm{1}}{\mathrm{a}}\left\{\mathrm{1}−\frac{\mathrm{1}}{\mathrm{a}^{\mathrm{2}} +\mathrm{1}}\right\} \\ $$$$=\frac{\mathrm{1}}{\mathrm{a}}×\frac{\mathrm{a}^{\mathrm{2}} }{\mathrm{a}^{\mathrm{2}} \:+\mathrm{1}}\:=\frac{\mathrm{a}}{\mathrm{a}^{\mathrm{2}} \:+\mathrm{1}}\:\Rightarrow\mathrm{F}\left(\mathrm{u}\right)\:=\frac{\mathrm{1}}{\left(\mathrm{a}^{\mathrm{2}} +\mathrm{1}\right)\left(\mathrm{u}+\mathrm{a}\right)}+\frac{−\frac{\mathrm{1}}{\mathrm{a}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{u}\:+\frac{\mathrm{a}}{\mathrm{a}^{\mathrm{2}} \:+\mathrm{1}}}{\mathrm{u}^{\mathrm{2}} \:+\mathrm{1}} \\ $$$$\Rightarrow\mathrm{f}^{'} \left(\mathrm{a}\right)\:=\frac{\mathrm{1}}{\mathrm{a}^{\mathrm{2}} \:+\mathrm{1}}\left\{\:\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{du}}{\mathrm{u}+\mathrm{a}}−\frac{\mathrm{1}}{\mathrm{2}}\int_{\mathrm{0}} ^{\infty} \frac{\mathrm{2u}}{\mathrm{u}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{du}\:+\mathrm{a}\:\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{du}}{\mathrm{u}^{\mathrm{2}} \:+\mathrm{1}}\right\} \\ $$$$=\frac{\mathrm{1}}{\mathrm{a}^{\mathrm{2}} \:+\mathrm{1}}\left\{\:\left[\mathrm{ln}\mid\frac{\mathrm{u}+\mathrm{a}}{\:\sqrt{\mathrm{u}^{\mathrm{2}} +\mathrm{1}}}\mid\right]_{\mathrm{0}} ^{+\infty} \:+\frac{\mathrm{a}\pi}{\mathrm{2}}\right\}\:=−\frac{\mathrm{lna}}{\mathrm{1}+\mathrm{a}^{\mathrm{2}} }+\frac{\pi}{\mathrm{2}}\frac{\mathrm{a}}{\mathrm{a}^{\mathrm{2}} \:+\mathrm{1}}\:\Rightarrow \\ $$$$\mathrm{f}\left(\mathrm{a}\right)\:=−\int_{\mathrm{0}} ^{\mathrm{a}} \:\frac{\mathrm{lnz}}{\mathrm{1}+\mathrm{z}^{\mathrm{2}} }\mathrm{dz}\:+\frac{\pi}{\mathrm{2}}\int_{\mathrm{0}} ^{\mathrm{a}} \:\frac{\mathrm{zdz}}{\mathrm{z}^{\mathrm{2}} \:+\mathrm{1}}+\mathrm{c}\:=\frac{\pi}{\mathrm{4}}\mathrm{ln}\left(\mathrm{a}^{\mathrm{2}} \:+\mathrm{1}\right)−\int_{\mathrm{0}} ^{\mathrm{a}} \:\frac{\mathrm{lnz}}{\mathrm{1}+\mathrm{z}^{\mathrm{2}} }\mathrm{dz}\:+\mathrm{c} \\ $$$$\mathrm{c}=\mathrm{f}\left(\mathrm{0}\right)\:=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\frac{\mathrm{sint}}{\mathrm{cost}}\right)\mathrm{dt}\:=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\mathrm{sing}\right)\mathrm{dt}−\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\mathrm{cost}\right)\mathrm{dt}\:=\mathrm{0}\:\Rightarrow \\ $$$$\mathrm{f}\left(\mathrm{a}\right)\:=\frac{\pi}{\mathrm{4}}\mathrm{ln}\left(\mathrm{1}+\mathrm{a}^{\mathrm{2}} \right)−\int_{\mathrm{0}} ^{\mathrm{a}} \:\frac{\mathrm{lnz}}{\mathrm{1}+\mathrm{z}^{\mathrm{2}} }\mathrm{dz}\:\Rightarrow \\ $$$$\mathrm{f}\left(\mathrm{1}\right)\:=\frac{\pi}{\mathrm{4}}\mathrm{ln}\left(\mathrm{2}\right)−\int_{\mathrm{0}} ^{\mathrm{1}\:} \:\frac{\mathrm{lnz}}{\mathrm{1}+\mathrm{z}^{\mathrm{2}} }\mathrm{dz}\:\mathrm{but} \\ $$$$\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{\mathrm{lnz}}{\mathrm{1}+\mathrm{z}^{\mathrm{2}} }\mathrm{dz}=\int_{\mathrm{0}} ^{\mathrm{1}} \:\mathrm{lnz}\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \:\left(−\mathrm{1}\right)^{\mathrm{n}} \:\mathrm{z}^{\mathrm{2n}} \:\mathrm{dz}=\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \:\left(−\mathrm{1}\right)^{\mathrm{n}} \:\int_{\mathrm{0}} ^{\mathrm{1}} \:\mathrm{z}^{\mathrm{2n}} \:\mathrm{ln}\left(\mathrm{z}\right)\mathrm{dz} \\ $$$$=\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \:\left(−\mathrm{1}\right)^{\mathrm{n}} \left\{\left[\frac{\mathrm{z}^{\mathrm{2n}+\mathrm{1}} }{\mathrm{2n}+\mathrm{1}}\:\mathrm{lnz}\right]_{\mathrm{0}} ^{\mathrm{1}} −\frac{\mathrm{1}}{\mathrm{2n}+\mathrm{1}}\int_{\mathrm{0}} ^{\mathrm{1}} \:\mathrm{z}^{\mathrm{2n}} \:\mathrm{dz}\right\} \\ $$$$=−\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \:\left(−\mathrm{1}\right)^{\mathrm{n}} \frac{\mathrm{1}}{\left(\mathrm{2n}+\mathrm{1}\right)^{\mathrm{2}} }\:\:=−\mathrm{K}\:\:\left(\:\mathrm{catalan}\:\mathrm{constant}\right)\:\Rightarrow \\ $$$$\int_{\mathrm{0}} ^{\infty} \frac{\mathrm{ln}\left(\mathrm{1}+\mathrm{x}\right)}{\mathrm{1}+\mathrm{x}^{\mathrm{2}} }\mathrm{dx}\:=\frac{\pi\mathrm{ln}\left(\mathrm{2}\right)}{\mathrm{4}}\:+\mathrm{K} \\ $$