Question Number 132191 by rs4089 last updated on 12/Feb/21
$$\int_{\mathrm{0}} ^{\mathrm{1}} \frac{{log}_{{e}} \left({x}+\mathrm{1}\right)}{{x}\left({x}^{\mathrm{2}} +\mathrm{1}\right)}{dx} \\ $$
Answered by mathmax by abdo last updated on 12/Feb/21
$$\mathrm{at}\:\mathrm{form}\:\mathrm{of}\:\mathrm{serie}\:\:\mathrm{I}=\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{\mathrm{ln}\left(\mathrm{x}+\mathrm{1}\right)}{\mathrm{x}\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)}\mathrm{dx}\:\Rightarrow\mathrm{I}\:=\int_{\mathrm{0}} ^{\mathrm{1}} \frac{\mathrm{ln}\left(\mathrm{1}+\mathrm{x}\right)}{\mathrm{x}}\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \:\left(−\mathrm{1}\right)^{\mathrm{n}} \mathrm{x}^{\mathrm{2n}} \:\mathrm{dx} \\ $$$$\mathrm{also}\:\mathrm{ln}^{'} \left(\mathrm{1}+\mathrm{x}\right)=\frac{\mathrm{1}}{\mathrm{1}+\mathrm{x}}=\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \left(−\mathrm{1}\right)^{\mathrm{n}} \mathrm{x}^{\mathrm{n}} \:\Rightarrow\mathrm{ln}\left(\mathrm{1}+\mathrm{x}\right)=\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \left(−\mathrm{1}\right)^{\mathrm{n}} \:\frac{\mathrm{x}^{\mathrm{n}+\mathrm{1}} }{\mathrm{n}+\mathrm{1}} \\ $$$$=\sum_{\mathrm{n}=\mathrm{1}} ^{\infty} \:\frac{\left(−\mathrm{1}\right)^{\mathrm{n}−\mathrm{1}} }{\mathrm{n}}\mathrm{x}^{\mathrm{n}} \:\Rightarrow\frac{\mathrm{ln}\left(\mathrm{1}+\mathrm{x}\right)}{\mathrm{x}}.\frac{\mathrm{1}}{\mathrm{1}+\mathrm{x}^{\mathrm{2}} }=\left(\sum_{\mathrm{n}=\mathrm{1}} ^{\infty} \:\frac{\left(−\mathrm{1}\right)^{\mathrm{n}−\mathrm{1}} }{\mathrm{n}}\mathrm{x}^{\mathrm{n}−\mathrm{1}} \right)\left(\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \left(−\mathrm{1}\right)^{\mathrm{n}} \mathrm{x}^{\mathrm{2n}} \right) \\ $$$$=\left(\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \:\frac{\left(−\mathrm{1}\right)^{\mathrm{n}} }{\mathrm{n}+\mathrm{1}}\mathrm{x}^{\mathrm{n}} \right).\left(\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \:\left(−\mathrm{1}\right)^{\mathrm{n}} \:\mathrm{x}^{\mathrm{2n}} \right)=\left(\Sigma\mathrm{a}_{\mathrm{n}} \right).\left(\Sigma\mathrm{b}_{\mathrm{n}} \right) \\ $$$$=\Sigma\:\mathrm{c}_{\mathrm{n}} \:\:\mathrm{with}\:\mathrm{c}_{\mathrm{n}} =\sum_{\mathrm{i}+\mathrm{j}=\mathrm{n}} \:\mathrm{a}_{\mathrm{i}} \mathrm{b}_{\mathrm{j}} \:\:=\sum_{\mathrm{i}+\mathrm{j}=\mathrm{n}} \:\:\:\frac{\left(−\mathrm{1}\right)^{\mathrm{i}} }{\mathrm{i}+\mathrm{1}}\mathrm{x}^{\mathrm{i}} \:\left(−\mathrm{1}\right)^{\mathrm{j}} \:\mathrm{x}^{\mathrm{2j}} \\ $$$$=\sum_{\mathrm{i}=\mathrm{0}} ^{\mathrm{n}} \:\frac{\left(−\mathrm{1}\right)^{\mathrm{i}} }{\mathrm{i}+\mathrm{1}}\mathrm{x}^{\mathrm{i}} \left(−\mathrm{1}\right)^{\mathrm{n}−\mathrm{i}} \mathrm{x}^{\mathrm{2}\left(\mathrm{n}−\mathrm{i}\right)} \:\Rightarrow \\ $$$$\mathrm{I}\:=\int_{\mathrm{0}} ^{\mathrm{1}} \sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \:\mathrm{c}_{\mathrm{n}} \mathrm{dx}\:=\int_{\mathrm{0}} ^{\mathrm{1}} \:\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \left(\sum_{\mathrm{i}=\mathrm{0}} ^{\mathrm{n}} \:\frac{\left(−\mathrm{1}\right)^{\mathrm{n}} }{\mathrm{i}+\mathrm{1}}\:\mathrm{x}^{\mathrm{2n}−\mathrm{i}} \right)\mathrm{dx} \\ $$$$=\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \:\left(−\mathrm{1}\right)^{\mathrm{n}} \left(\sum_{\mathrm{i}=\mathrm{0}} ^{\mathrm{n}} \:\frac{\mathrm{1}}{\mathrm{i}+\mathrm{1}}\int_{\mathrm{0}} ^{\mathrm{1}} \:\mathrm{x}^{\mathrm{2n}−\mathrm{i}} \:\mathrm{dx}\right) \\ $$$$=\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \:\left(−\mathrm{1}\right)^{\mathrm{n}} \left(\sum_{\mathrm{i}=\mathrm{0}} ^{\mathrm{n}} \:\frac{\mathrm{1}}{\left(\mathrm{i}+\mathrm{1}\right)\left(\mathrm{2n}−\mathrm{i}+\mathrm{1}\right)}\right) \\ $$
Answered by mathmax by abdo last updated on 12/Feb/21
$$\mathrm{let}\:\mathrm{try}\:\mathrm{parametric}\:\mathrm{method}\:\Phi=\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{\mathrm{ln}\left(\mathrm{1}+\mathrm{x}\right)}{\mathrm{x}\left(\mathrm{x}^{\mathrm{2}} +\mathrm{1}\right)}\mathrm{dx}\:\mathrm{let} \\ $$$$\mathrm{f}\left(\mathrm{a}\right)=\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{\mathrm{ln}\left(\mathrm{1}+\mathrm{ax}\right)}{\mathrm{x}\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)}\:\:\mathrm{with}\:\mathrm{a}>\mathrm{0}\:\Rightarrow\mathrm{f}^{'} \left(\mathrm{a}\right)=\int_{\mathrm{0}} ^{\mathrm{1}} \frac{\mathrm{x}}{\left(\mathrm{1}+\mathrm{ax}\right)\mathrm{x}\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)}\mathrm{dx} \\ $$$$=\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{\mathrm{dx}}{\left(\mathrm{1}+\mathrm{ax}\right)\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)}\:\:\mathrm{let}\:\mathrm{decompose}\:\mathrm{F}\left(\mathrm{x}\right)=\frac{\mathrm{1}}{\left(\mathrm{ax}+\mathrm{1}\right)\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)} \\ $$$$\mathrm{F}\left(\mathrm{x}\right)=\frac{\alpha}{\mathrm{ax}+\mathrm{1}}\:+\frac{\mathrm{mx}+\mathrm{n}}{\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}} \\ $$$$\alpha=\frac{\mathrm{1}}{\left(\frac{\mathrm{1}}{\mathrm{a}^{\mathrm{2}} }+\mathrm{1}\right)}=\frac{\mathrm{a}^{\mathrm{2}} }{\mathrm{1}+\mathrm{a}^{\mathrm{2}} }\:,\mathrm{lim}_{\mathrm{x}\rightarrow+\infty} \mathrm{xF}\left(\mathrm{x}\right)=\mathrm{0}\:=\frac{\alpha}{\mathrm{a}}\:+\mathrm{m}\:\Rightarrow\mathrm{m}=−\frac{\alpha}{\mathrm{a}}=−\frac{\mathrm{a}}{\mathrm{1}+\mathrm{a}^{\mathrm{2}} } \\ $$$$\mathrm{F}\left(\mathrm{0}\right)=\mathrm{1}\:=\alpha\:+\mathrm{n}\:\Rightarrow\mathrm{n}=\mathrm{1}−\alpha\:=\mathrm{1}−\frac{\mathrm{a}^{\mathrm{2}} }{\mathrm{1}+\mathrm{a}^{\mathrm{2}} }=\frac{\mathrm{1}}{\mathrm{1}+\mathrm{a}^{\mathrm{2}} }\:\Rightarrow \\ $$$$\mathrm{F}\left(\mathrm{x}\right)=\frac{\mathrm{a}^{\mathrm{2}} }{\left(\mathrm{1}+\mathrm{a}^{\mathrm{2}} \right)\left(\mathrm{ax}+\mathrm{1}\right)}\:+\frac{−\frac{\mathrm{a}}{\mathrm{1}+\mathrm{a}^{\mathrm{2}} }\mathrm{x}+\frac{\mathrm{1}}{\mathrm{1}+\mathrm{a}^{\mathrm{2}} }}{\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}} \\ $$$$\Rightarrow\int_{\mathrm{0}} ^{\mathrm{1}} \:\mathrm{F}\left(\mathrm{x}\right)\mathrm{dx}\:=\frac{\mathrm{a}^{\mathrm{2}} }{\mathrm{1}+\mathrm{a}^{\mathrm{2}} }\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{\mathrm{dx}}{\mathrm{ax}+\mathrm{1}}−\frac{\mathrm{1}}{\mathrm{1}+\mathrm{a}^{\mathrm{2}} }\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{\mathrm{ax}−\mathrm{1}}{\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dx} \\ $$$$=\frac{\mathrm{a}}{\mathrm{1}+\mathrm{a}^{\mathrm{2}} }\left[\mathrm{ln}\left(\mathrm{ax}+\mathrm{1}\right)\right]_{\mathrm{0}} ^{\mathrm{1}} \:−\frac{\mathrm{a}}{\mathrm{2}\left(\mathrm{1}+\mathrm{a}^{\mathrm{2}} \right)}\left[\mathrm{ln}\left(\mathrm{1}+\mathrm{x}^{\mathrm{2}} \right)\right]_{\mathrm{0}} ^{\mathrm{1}} +\frac{\mathrm{1}}{\mathrm{1}+\mathrm{a}^{\mathrm{2}} }.\frac{\pi}{\mathrm{4}} \\ $$$$=\frac{\mathrm{a}}{\mathrm{1}+\mathrm{a}^{\mathrm{2}} }\mathrm{ln}\left(\mathrm{a}+\mathrm{1}\right)−\frac{\mathrm{aln}\left(\mathrm{2}\right)}{\mathrm{2}\left(\mathrm{1}+\mathrm{a}^{\mathrm{2}} \right)}+\frac{\pi}{\mathrm{4}\left(\mathrm{1}+\mathrm{a}^{\mathrm{2}} \right)}\:\Rightarrow \\ $$$$\mathrm{f}\left(\mathrm{a}\right)\:=\int\:\:\frac{\mathrm{aln}\left(\mathrm{a}+\mathrm{1}\right)}{\mathrm{1}+\mathrm{a}^{\mathrm{2}} }\mathrm{da}\:−\frac{\mathrm{ln}\left(\mathrm{2}\right)}{\mathrm{2}}\int\:\:\frac{\mathrm{ada}}{\mathrm{1}+\mathrm{a}^{\mathrm{2}} }\:+\frac{\pi}{\mathrm{4}}\:\mathrm{arctana}\:+\mathrm{c} \\ $$$$=\int\:\:\frac{\mathrm{aln}\left(\mathrm{1}+\mathrm{a}\right)}{\mathrm{1}+\mathrm{a}^{\mathrm{2}} }\mathrm{da}−\frac{\mathrm{ln}\left(\mathrm{2}\right)}{\mathrm{4}}\mathrm{ln}\left(\mathrm{1}+\mathrm{a}^{\mathrm{2}} \right)+\frac{\pi}{\mathrm{4}}\:\mathrm{arctan}\left(\mathrm{a}\right)+\mathrm{C} \\ $$$$\int\:\:\frac{\mathrm{a}}{\mathrm{a}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{ln}\left(\mathrm{1}+\mathrm{a}\right)\mathrm{da}\:=\frac{\mathrm{1}}{\mathrm{2}}\mathrm{ln}\left(\mathrm{a}^{\mathrm{2}} +\mathrm{1}\right)\mathrm{ln}\left(\mathrm{1}+\mathrm{a}\right)−\int\:\frac{\mathrm{1}}{\mathrm{2}}\mathrm{ln}\left(\mathrm{a}^{\mathrm{2}} \:+\mathrm{1}\right)\frac{\mathrm{da}}{\mathrm{1}+\mathrm{a}} \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}}\mathrm{ln}\left(\mathrm{1}+\mathrm{a}\right)\mathrm{ln}\left(\mathrm{1}+\mathrm{a}^{\mathrm{2}} \right)−\frac{\mathrm{1}}{\mathrm{2}}\int\:\frac{\mathrm{ln}\left(\mathrm{1}+\mathrm{a}^{\mathrm{2}} \right)}{\mathrm{1}+\mathrm{a}}\mathrm{da}\:\:\Rightarrow \\ $$$$\mathrm{f}\left(\mathrm{a}\right)=\int_{\mathrm{0}} ^{\mathrm{a}} \:\frac{\mathrm{xln}\left(\mathrm{1}+\mathrm{x}\right)}{\mathrm{1}+\mathrm{x}^{\mathrm{2}} }\mathrm{dx}−\frac{\mathrm{ln}\left(\mathrm{2}\right)}{\mathrm{4}}\mathrm{ln}\left(\mathrm{1}+\mathrm{a}^{\mathrm{2}} \right)+\frac{\pi}{\mathrm{4}}\:\mathrm{arctan}\left(\mathrm{a}\right)\:+\mathrm{C} \\ $$$$\mathrm{C}=\mathrm{f}\left(\mathrm{0}\right)=\mathrm{0} \\ $$$$\mathrm{f}\left(\mathrm{1}\right)=\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{\mathrm{xln}\left(\mathrm{1}+\mathrm{x}\right)}{\mathrm{1}+\mathrm{x}^{\mathrm{2}} }\mathrm{dx}−\frac{\mathrm{ln}^{\mathrm{2}} \left(\mathrm{2}\right)}{\mathrm{4}}\:+\frac{\pi^{\mathrm{2}} }{\mathrm{16}}\:=\Phi \\ $$$$\mathrm{we}\:\mathrm{have}\:\mathrm{by}\:\mathrm{parts}\:\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{\mathrm{xln}\left(\mathrm{1}+\mathrm{x}\right)}{\mathrm{1}+\mathrm{x}^{\mathrm{2}} }\mathrm{dx}=\left[\frac{\mathrm{1}}{\mathrm{2}}\mathrm{ln}\left(\mathrm{1}+\mathrm{x}\right)\mathrm{ln}\left(\mathrm{1}+\mathrm{x}^{\mathrm{2}} \right)\right]_{\mathrm{0}} ^{\mathrm{1}} \\ $$$$−\frac{\mathrm{1}}{\mathrm{2}}\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{\mathrm{ln}\left(\mathrm{1}+\mathrm{x}^{\mathrm{2}} \right)}{\mathrm{1}+\mathrm{x}}\mathrm{dx}\:=\frac{\mathrm{1}}{\mathrm{2}}\mathrm{ln}^{\mathrm{2}} \left(\mathrm{2}\right)−\frac{\mathrm{1}}{\mathrm{2}}\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{\mathrm{ln}\left(\mathrm{1}+\mathrm{x}^{\mathrm{2}} \right)}{\mathrm{1}+\mathrm{x}}\mathrm{dx} \\ $$$$\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{\mathrm{ln}\left(\mathrm{1}+\mathrm{x}^{\mathrm{2}} \right)}{\mathrm{1}+\mathrm{x}}\mathrm{dx}\:=\int_{\mathrm{0}} ^{\mathrm{1}} \mathrm{ln}\left(\mathrm{1}+\mathrm{x}^{\mathrm{2}} \right)\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \left(−\mathrm{1}\right)^{\mathrm{n}} \:\mathrm{x}^{\mathrm{n}} \:\mathrm{dx} \\ $$$$=\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \:\left(−\mathrm{1}\right)^{\mathrm{n}} \:\int_{\mathrm{0}} ^{\mathrm{1}} \:\mathrm{x}^{\mathrm{n}} \mathrm{ln}\left(\mathrm{1}+\mathrm{x}^{\mathrm{2}} \right)\mathrm{dx}\:=\sum_{\mathrm{n}=\mathrm{0}} ^{\infty} \left(−\mathrm{1}\right)^{\mathrm{n}} \mathrm{u}_{\mathrm{n}} \\ $$$$\mathrm{u}_{\mathrm{n}} =\int_{\mathrm{0}} ^{\mathrm{1}} \:\mathrm{x}^{\mathrm{n}} \mathrm{ln}\left(\mathrm{1}+\mathrm{x}^{\mathrm{2}} \right)\mathrm{dx}\:\:=\left[\frac{\mathrm{x}^{\mathrm{n}+\mathrm{1}} }{\mathrm{n}+\mathrm{1}}\mathrm{ln}\left(\mathrm{1}+\mathrm{x}^{\mathrm{2}} \right)\right]_{\mathrm{0}} ^{\mathrm{1}} −\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{\mathrm{x}^{\mathrm{n}+\mathrm{1}} }{\mathrm{n}+\mathrm{1}}×\frac{\mathrm{2x}}{\mathrm{1}+\mathrm{x}^{\mathrm{2}} }\mathrm{dx} \\ $$$$=\frac{\mathrm{ln}\left(\mathrm{2}\right)}{\mathrm{n}+\mathrm{1}}−\frac{\mathrm{2}}{\mathrm{n}+\mathrm{1}}\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{\mathrm{x}^{\mathrm{n}+\mathrm{2}} }{\mathrm{1}+\mathrm{x}^{\mathrm{2}} }\:\mathrm{dx}\:…..\mathrm{be}\:\mathrm{continued}… \\ $$