Question Number 41762 by math khazana by abdo last updated on 12/Aug/18
$${let}\:{f}\left({x}\right)\:=\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{{ln}\left(\mathrm{1}+{xt}^{\mathrm{2}} \right)}{\mathrm{1}+{t}^{\mathrm{2}} }\:{dt} \\ $$$$\left.\mathrm{1}\right)\:{find}\:{a}\:{simple}\:{form}\:{of}\:{f}\left({x}\right) \\ $$$$\left.\mathrm{2}\right)\:{calculate}\:\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{{ln}\left(\mathrm{1}+{t}^{\mathrm{2}} \right)}{\mathrm{1}+{t}^{\mathrm{2}} }{dt} \\ $$$$\left.\mathrm{3}\right)\:{calculate}\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{{ln}\left(\mathrm{1}+\mathrm{2}{t}^{\mathrm{2}} \right)}{\mathrm{1}+{t}^{\mathrm{2}} }\:{dt} \\ $$
Commented by math khazana by abdo last updated on 13/Aug/18
$${we}\:{have}\:{f}^{'} \left({x}\right)=\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\frac{{t}^{\mathrm{2}} }{\left(\mathrm{1}+{xt}^{\mathrm{2}} \right)\left(\mathrm{1}+{t}^{\mathrm{2}} \right)}{dt} \\ $$$${let}\:{decompose}\:{F}\left({t}\right)\:=\frac{{t}^{\mathrm{2}} }{\left(\mathrm{1}+{xt}^{\mathrm{2}} \right)\left(\mathrm{1}+{t}^{\mathrm{2}} \right)} \\ $$$${F}\left({t}\right)=\:\frac{{at}+{b}}{{t}^{\mathrm{2}} \:+\mathrm{1}}\:+\frac{{ct}\:+{d}}{{xt}^{\mathrm{2}} \:+\mathrm{1}} \\ $$$${F}\left(−{t}\right)={F}\left({t}\right)\:\Rightarrow\frac{−{at}\:+{b}}{{t}^{\mathrm{2}} \:+\mathrm{1}}\:+\frac{−{ct}\:+{d}}{{xt}^{\mathrm{2}} \:+\mathrm{1}}\:={F}\left({t}\right)\:\Rightarrow \\ $$$${a}={c}=\mathrm{0}\Rightarrow{F}\left({t}\right)=\frac{{b}}{{t}^{\mathrm{2}} \:+\mathrm{1}}\:+\frac{{d}}{{xt}^{\mathrm{2}} \:+\mathrm{1}} \\ $$$${lim}_{{t}\rightarrow+\infty} {t}^{\mathrm{2}} \:{F}\left({t}\right)=\frac{\mathrm{1}}{{x}}\:={b}\:\:+\frac{{d}}{{x}}\:\Rightarrow\mathrm{1}={bx}\:+{d}\:\Rightarrow \\ $$$${d}=\mathrm{1}−{bx}\:\Rightarrow{F}\left({t}\right)=\frac{{b}}{{t}^{\mathrm{2}} \:+\mathrm{1}}\:+\frac{\mathrm{1}−{bx}}{{xt}^{\mathrm{2}} \:+\mathrm{1}} \\ $$$${F}\left(\mathrm{0}\right)\:=\mathrm{0}\:={b}\:+\mathrm{1}−{bx}\:=\left(\mathrm{1}−{x}\right){b}\:+\mathrm{1}\:\Rightarrow{b}=\frac{\mathrm{1}}{{x}−\mathrm{1}} \\ $$$${d}=\mathrm{1}−\frac{{x}}{{x}−\mathrm{1}}\:=\frac{−\mathrm{1}}{{x}−\mathrm{1}}\:\Rightarrow \\ $$$${F}\left({t}\right)=\:\:\frac{\mathrm{1}}{\left({x}−\mathrm{1}\right)\left({t}^{\mathrm{2}} \:+\mathrm{1}\right)}\:−\frac{\mathrm{1}}{\left({x}−\mathrm{1}\right)\left({xt}^{\mathrm{2}} \:+\mathrm{1}\right)}\:\Rightarrow \\ $$$${f}^{'} \left({x}\right)\:=\frac{\mathrm{1}}{{x}−\mathrm{1}}\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{{dt}}{\mathrm{1}+{t}^{\mathrm{2}} }\:−\frac{\mathrm{1}}{{x}−\mathrm{1}}\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\frac{{dx}}{\mathrm{1}+{xt}^{\mathrm{2}} } \\ $$$$=\frac{\pi}{\mathrm{4}\left({x}−\mathrm{1}\right)}\:−\frac{\mathrm{1}}{{x}−\mathrm{1}}\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\frac{{dt}}{\mathrm{1}+{xt}^{\mathrm{2}} } \\ $$$${case}\mathrm{1}\:\:{x}>\mathrm{0}\:\:{changement}\:{t}\sqrt{{x}}={u}\:{give} \\ $$$$\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\:\frac{{dt}}{\mathrm{1}+{xt}^{\mathrm{2}} }\:=\:\int_{\mathrm{0}} ^{\sqrt{{x}}} \:\:\:\:\frac{\mathrm{1}}{\mathrm{1}+{u}^{\mathrm{2}} }\:\frac{{du}}{\:\sqrt{{x}}}\:=\frac{\mathrm{1}}{\:\sqrt{{x}}}\:{arctan}\left(\sqrt{{x}}\right)\Rightarrow \\ $$$${f}^{'} \left({x}\right)\:=\frac{\pi}{\mathrm{4}\left({x}−\mathrm{1}\right)}\:−\frac{{arctan}\left(\sqrt{{x}}\right)}{\left({x}−\mathrm{1}\right)\sqrt{{x}}}\:\Rightarrow \\ $$$${f}\left({x}\right)\:=\frac{\pi}{\mathrm{4}}\:\int_{\mathrm{0}} ^{{x}} \:\:\:\frac{{dt}}{{t}−\mathrm{1}}\:\:−\:\int_{\mathrm{0}} ^{{x}} \:\:\:\:\frac{{arctan}\left(\sqrt{{t}}\right)}{\left({t}−\mathrm{1}\right)\sqrt{{t}}}\:+{c} \\ $$$${c}={f}\left(\mathrm{0}\right)=\mathrm{0}\:\Rightarrow{f}\left({x}\right)=\frac{\pi}{\mathrm{4}}{ln}\mid{x}−\mathrm{1}\mid\:−\int_{\mathrm{0}} ^{{x}} \:\:\frac{{arctan}\left(\sqrt{{t}}\right)}{\left({t}−\mathrm{1}\right)\sqrt{{t}}}{dt} \\ $$$${but}\:\:\int_{\mathrm{0}} ^{{x}} \:\:\:\frac{{arctan}\left(\sqrt{{t}}\right)}{\left({t}−\mathrm{1}\right)\sqrt{{t}}}\:{dt}\:=_{\sqrt{{t}}={u}} \:\:\mathrm{2}\int_{\mathrm{0}} ^{\sqrt{{x}}} \:\:\:\frac{{arctan}\left({u}\right)}{\left({u}^{\mathrm{2}} −\mathrm{1}\right){u}}\:{udu} \\ $$$$=\mathrm{2}\:\int_{\mathrm{0}} ^{\sqrt{{x}}} \:\:\:\frac{{arctan}\left({u}\right)}{{u}^{\mathrm{2}} −\mathrm{1}}\:{du}\:\Rightarrow \\ $$$${f}\left({x}\right)=\frac{\pi}{\mathrm{4}}{ln}\mid{x}−\mathrm{1}\mid\:+\mathrm{2}\:\:\int_{\mathrm{0}} ^{\sqrt{{x}}} \:\:\:\:\frac{{arctanu}}{\mathrm{1}−{u}^{\mathrm{2}} }\:{du} \\ $$
Commented by math khazana by abdo last updated on 13/Aug/18
$${case}\:\mathrm{2}\:\:{x}<\mathrm{0}\:\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\:\frac{{dx}}{\mathrm{1}+{xt}^{\mathrm{2}} }\:=\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\frac{{dt}}{\mathrm{1}−\left(\sqrt{−{x}}{t}\right)^{\mathrm{2}} } \\ $$$$=_{\sqrt{−{x}}{t}\:={u}} \:\:\int_{\mathrm{0}} ^{\sqrt{−{x}}} \:\:\:\:\frac{\mathrm{1}}{\mathrm{1}−{u}^{\mathrm{2}} }\:\frac{{du}}{\:\sqrt{−{x}}} \\ $$$$=\frac{\mathrm{1}}{\:\sqrt{−{x}}}\:\int_{\mathrm{0}} ^{\sqrt{−{x}}} \:\:\frac{{du}}{\mathrm{1}−{u}^{\mathrm{2}} }\:=\:\frac{\mathrm{1}}{\mathrm{2}\sqrt{−{x}}}\:\int_{\mathrm{0}} ^{\sqrt{−{x}}} \:\:\left(\frac{\mathrm{1}}{\mathrm{1}−{u}}\:+\frac{\mathrm{1}}{\mathrm{1}+{u}}\right){du} \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}\sqrt{−{x}}}\left[{ln}\mid\frac{\mathrm{1}+{u}}{\mathrm{1}−{u}}\mid\right]_{\mathrm{0}} ^{\sqrt{−{x}}} \:=\:\frac{\mathrm{1}}{\mathrm{2}\sqrt{−{x}}}{ln}\mid\frac{\mathrm{1}+\sqrt{−{x}}}{\mathrm{1}−\sqrt{−{x}}}\mid\:\Rightarrow \\ $$$${f}^{'} \left({x}\right)\:=\:\frac{\pi}{\mathrm{4}\left({x}−\mathrm{1}\right)}\:−\frac{\mathrm{1}}{\mathrm{2}\left({x}−\mathrm{1}\right)\sqrt{−{x}}}{ln}\mid\frac{\mathrm{1}+\sqrt{−{x}}}{\mathrm{1}−\sqrt{−{x}}}\mid\:\Rightarrow \\ $$$${f}\left({x}\right)=\frac{\pi}{\mathrm{4}}{ln}\mid{x}−\mathrm{1}\mid\:−\int\:\:\frac{\mathrm{1}}{\mathrm{2}\left({x}−\mathrm{1}\right)\sqrt{−{x}}}{ln}\mid\frac{\mathrm{1}+\sqrt{−{x}}}{\mathrm{1}−\sqrt{−{x}}}\mid{dx}\:+{c} \\ $$$$ \\ $$
Commented by math khazana by abdo last updated on 13/Aug/18
$$\left.\mathrm{2}\right)\:{let}\:{A}\:=\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{{ln}\left(\mathrm{1}+{t}^{\mathrm{2}} \right)}{\mathrm{1}+{t}^{\mathrm{2}} }{dt}\:\: \\ $$$${A}=_{{t}={tan}\theta} \:\:\:\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{4}}} \:\:\:\frac{{ln}\left(\mathrm{1}+{tan}^{\mathrm{2}} \theta\right)}{\mathrm{1}+{tan}^{\mathrm{2}} \theta}\:\left(\mathrm{1}+{tan}^{\mathrm{2}} \theta\right){d}\theta \\ $$$$=\:\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{4}}} {ln}\left(\frac{\mathrm{1}}{{cos}^{\mathrm{2}} \theta}\right){d}\theta\:=−\mathrm{2}\:\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{4}}} {ln}\left({cos}\theta\right){d}\theta\:\: \\ $$$${let}\:{H}\:=\:\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{4}}} {ln}\left({cos}\theta\right){d}\theta\:\:{and}\:{K}\:=\:\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{4}}} {ln}\left({sin}\theta\right){d}\theta \\ $$$${we}\:{have}\:\:{H}\:=_{\theta=\frac{\pi}{\mathrm{2}}−{t}} \:−\int_{\frac{\pi}{\mathrm{2}}} ^{\frac{\pi}{\mathrm{4}}} \:\:{ln}\left({sint}\right){dt} \\ $$$$=\:\int_{\frac{\pi}{\mathrm{4}}} ^{\frac{\pi}{\mathrm{2}}} \:{ln}\left({sint}\right){dt}\:=\:−\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{4}}} {ln}\left({sint}\right){dt}\:+\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} {ln}\left({sint}\right){dt} \\ $$$$=−{K}\:−\frac{\pi}{\mathrm{2}}{ln}\left(\mathrm{2}\right)\:\Rightarrow\:{H}\:+{K}\:=−\frac{\pi}{\mathrm{2}}{ln}\left(\mathrm{2}\right)\: \\ $$$${K}−{H}\:=\:\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{4}}} \:{ln}\left({sin}\theta\right){d}\theta\:−\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{4}}} {ln}\left({cos}\theta\right){d}\theta \\ $$$$=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{4}}} {ln}\left({tan}\theta\right){d}\theta\:=_{{tan}\theta\:={u}} \:\:\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\frac{{ln}\left({u}\right)}{\mathrm{1}+{u}^{\mathrm{2}} }\:{du} \\ $$$$=\int_{\mathrm{0}} ^{\mathrm{1}} \left(\sum_{{n}=\mathrm{0}} ^{\infty} \left(−\mathrm{1}\right)^{{n}} {u}^{\mathrm{2}{n}} \right){ln}\left({u}\right)\:{du} \\ $$$$=\sum_{{n}=\mathrm{0}} ^{\infty} \:\:\left(−\mathrm{1}\right)^{{n}} \:\:\int_{\mathrm{0}} ^{\mathrm{1}} \:{u}^{\mathrm{2}{n}} {ln}\left({u}\right){du}\:\:{by}\:{parts} \\ $$$${A}_{{n}} =\:\int_{\mathrm{0}} ^{\mathrm{1}} {u}^{\mathrm{2}{n}} {ln}\left({u}\right){du}\:=\:\left[\frac{\mathrm{1}}{\mathrm{2}{n}+\mathrm{1}}{u}^{\mathrm{2}{n}+\mathrm{1}} {ln}\left({u}\right)\right]_{\mathrm{0}} ^{\mathrm{1}} \\ $$$$−\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\frac{\mathrm{1}}{\left(\mathrm{2}{n}+\mathrm{1}\right)}\:{u}^{\mathrm{2}{n}} {du}\:=−\frac{\mathrm{1}}{\left(\mathrm{2}{n}+\mathrm{1}\right)^{\mathrm{2}} }\:\Rightarrow \\ $$$${K}−{H}\:=\:\sum_{{n}=\mathrm{0}} ^{\infty} \:\:\:\frac{\left(−\mathrm{1}\right)^{{n}+\mathrm{1}} }{\left(\mathrm{2}{n}+\mathrm{1}\right)^{\mathrm{2}} }\:\:=\:\lambda_{\mathrm{0}} \:\Rightarrow \\ $$$$\mathrm{2}{K}\:=−\frac{\pi}{\mathrm{2}}{ln}\left(\mathrm{2}\right)\:+\lambda_{\mathrm{0}} \:\Rightarrow{K}\:=−\frac{\pi}{\mathrm{4}}{ln}\left(\mathrm{2}\right)\:+\frac{\lambda_{\mathrm{0}} }{\mathrm{2}} \\ $$$${H}\:=−\frac{\pi}{\mathrm{2}}{ln}\left(\mathrm{2}\right)\:−{K}\:=−\frac{\pi}{\mathrm{4}}{ln}\left(\mathrm{2}\right)−\frac{\lambda_{\mathrm{0}} }{\mathrm{2}} \\ $$