Question Number 52459 by Abdo msup. last updated on 08/Jan/19
$${let}\:{f}\left(\alpha\right)=\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{{ln}\left(\mathrm{1}+{i}\alpha{x}\right)}{\mathrm{1}+{x}^{\mathrm{2}} }{dx} \\ $$$$\left.\mathrm{1}\right){determine}\:{a}\:{explicit}\:{form}\:{of}\:{f}\left(\alpha\right) \\ $$$$\left.\mathrm{2}\right)\:{calculate}\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{{ln}\left(\mathrm{1}+{ix}\right)}{\mathrm{1}+{x}^{\mathrm{2}} }{dx}\:{and}\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{{ln}\left(\mathrm{1}+\mathrm{2}{ix}\right)}{\mathrm{1}+{x}^{\mathrm{2}} }{dx}. \\ $$
Commented by maxmathsup by imad last updated on 08/Jan/19
$$\left.\mathrm{1}\right)\:{we}\:{have}\:{f}^{'} \left(\alpha\right)\:=\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{{ix}}{\left(\mathrm{1}+{i}\alpha{x}\right)\left(\mathrm{1}+{x}^{\mathrm{2}} \right)}{dx}\:\:{so}\:{for}\:\alpha\neq\mathrm{0}\: \\ $$$${f}^{'} \left(\alpha\right)=\frac{\mathrm{1}}{\alpha}\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{\mathrm{1}+{i}\alpha{x}−\mathrm{1}}{\left(\mathrm{1}+{i}\alpha{x}\right)\left({x}^{\mathrm{2}} \:+\mathrm{1}\right)}{dx}\:=\frac{\mathrm{1}}{\alpha}\:−\frac{\mathrm{1}}{\alpha}\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{{dx}}{\left({i}\alpha{x}+\mathrm{1}\right)\left({x}^{\mathrm{2}} \:+\mathrm{1}\right)}{dx}\:{let} \\ $$$${decompose}\:{F}\left({x}\right)=\frac{\mathrm{1}}{\left({i}\alpha{x}+\mathrm{1}\right)\left({x}^{\mathrm{2}} \:+\mathrm{1}\right)}\:\Rightarrow \\ $$$${F}\left({x}\right)=\frac{{a}}{{i}\alpha{x}+\mathrm{1}}\:+\frac{{bx}+{c}}{{x}^{\mathrm{2}} \:+\mathrm{1}} \\ $$$${a}={lim}_{{x}\rightarrow\frac{−\mathrm{1}}{{i}\alpha}} \:\:\:\left({i}\alpha{x}+\mathrm{1}\right){F}\left({x}\right)\:=\:\frac{\mathrm{1}}{\left(\left(\frac{\mathrm{1}}{{i}\alpha\:}\right)^{\mathrm{2}} \:+\mathrm{1}\right)}\:=\frac{\mathrm{1}}{\frac{\mathrm{1}}{−\alpha^{\mathrm{2}} }+\mathrm{1}}\:=−\frac{\mathrm{1}}{\mathrm{1}−\alpha^{\mathrm{2}} }\:\alpha^{\mathrm{2}} \:=\frac{\alpha^{\mathrm{2}} }{\alpha^{\mathrm{2}} −\mathrm{1}} \\ $$$${lim}_{{x}\rightarrow+\infty\:} \:\:{xF}\left({x}\right)=\mathrm{0}\:=\frac{{a}}{{i}\alpha}\:+{b}\:\Rightarrow{b}=−\frac{{a}}{{i}\alpha}\:=\frac{{ia}}{\alpha}\:\Rightarrow \\ $$$${F}\left({x}\right)=\frac{\alpha^{\mathrm{2}} }{\alpha^{\mathrm{2}} −\mathrm{1}}\:\frac{\mathrm{1}}{{i}\alpha{x}+\mathrm{1}}\:+\frac{\frac{{ia}}{\alpha}{x}+{c}}{{x}^{\mathrm{2}} \:+\mathrm{1}}\:\:\left({we}\:{suppose}\:\alpha\neq\overset{−} {+}\mathrm{1}\right) \\ $$$${F}\left({o}\right)=\mathrm{1}\:=\frac{\alpha^{\mathrm{2}} }{\alpha^{\mathrm{2}} −\mathrm{1}}\:+{c}\:\Rightarrow{c}=\mathrm{1}−\frac{\alpha^{\mathrm{2}} }{\alpha^{\mathrm{2}} −\mathrm{1}}\:=\frac{−\mathrm{1}}{\alpha^{\mathrm{2}} −\mathrm{1}}\:\Rightarrow \\ $$$${F}\left({x}\right)\:=\frac{\alpha^{\mathrm{2}} }{\left(\alpha^{\mathrm{2}} −\mathrm{1}\right)\left(\mathrm{1}+{i}\alpha{x}\right)}\:+\frac{\frac{{i}}{\alpha}\frac{\alpha^{\mathrm{2}} }{\alpha^{\mathrm{2}} −\mathrm{1}}{x}−\frac{\mathrm{1}}{\alpha^{\mathrm{2}} −\mathrm{1}}}{{x}^{\mathrm{2}} \:+\mathrm{1}} \\ $$$$=\frac{\alpha^{\mathrm{2}} }{\left(\alpha^{\mathrm{2}} −\mathrm{1}\right)\left(\mathrm{1}+{i}\alpha{x}\right)}\:\:+\frac{\mathrm{1}}{\alpha^{\mathrm{2}} −\mathrm{1}}\:\frac{{i}\alpha{x}−\mathrm{1}}{{x}^{\mathrm{2}} \:+\mathrm{1}}\:\Rightarrow \\ $$$${f}^{'} \left(\alpha\right)=\frac{\mathrm{1}}{\alpha}\:−\frac{\mathrm{1}}{\alpha}\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{\alpha^{\mathrm{2}} }{\left(\alpha^{\mathrm{2}} −\mathrm{1}\right)\left(\mathrm{1}+{i}\alpha{x}\right)}\:{dx}−\frac{\mathrm{1}}{\alpha\left(\alpha^{\mathrm{2}} −\mathrm{1}\right)}\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{{i}\alpha{x}\:−\mathrm{1}}{{x}^{\mathrm{2}} \:+\mathrm{1}}{dx} \\ $$$$=\frac{\mathrm{1}}{\alpha}\:−\frac{\alpha}{\alpha^{\mathrm{2}} −\mathrm{1}}\frac{\mathrm{1}}{{i}\alpha}\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\frac{{i}\alpha{dx}}{\mathrm{1}+{i}\alpha{x}}\:{dx}\:−\frac{{i}}{\mathrm{2}\left(\alpha^{\mathrm{2}} −\mathrm{1}\right)}\left[{ln}\left({x}^{\mathrm{2}} \:+\mathrm{1}\right)\right]_{\mathrm{0}} ^{\mathrm{1}} \:\:+\frac{\pi}{\mathrm{4}\alpha\left(\alpha^{\mathrm{2}} −\mathrm{1}\right)} \\ $$$$=\frac{\mathrm{1}}{\alpha}\:+\frac{{i}}{\alpha^{\mathrm{2}} −\mathrm{1}}{ln}\left(\mathrm{1}+{i}\alpha\right)\:−\frac{{iln}\left(\mathrm{2}\right)}{\mathrm{2}\left(\alpha^{\mathrm{2}} −\mathrm{1}\right)}\:+\frac{\pi}{\mathrm{4}\alpha\left(\alpha^{\mathrm{2}} −\mathrm{1}\right)}\:\Rightarrow \\ $$$${f}\left(\alpha\right)\:={ln}\mid\alpha\mid\:+{i}\:\int\:\:\frac{{ln}\left(\mathrm{1}+{i}\alpha\right)}{\alpha^{\mathrm{2}} −\mathrm{1}}{d}\alpha\:+{i}\frac{{ln}\left(\mathrm{2}\right)}{\mathrm{2}}\:\int\:\frac{{d}\alpha}{\alpha^{\mathrm{2}} −\mathrm{1}}\:+\frac{\pi}{\mathrm{4}}\:\int\:\:\:\frac{{d}\alpha}{\alpha\left(\alpha^{\mathrm{2}} −\mathrm{1}\right)}\:+{c}\:{but} \\ $$$$\int\:\:\:\frac{{d}\alpha}{\alpha^{\mathrm{2}} −\mathrm{1}}\:=\frac{\mathrm{1}}{\mathrm{2}}\:\int\:\left(\frac{\mathrm{1}}{\alpha−\mathrm{1}}\:−\frac{\mathrm{1}}{\alpha+\mathrm{1}}\right){d}\alpha\:=\frac{\mathrm{1}}{\mathrm{2}}{ln}\mid\frac{\alpha−\mathrm{1}}{\alpha+\mathrm{1}}\mid\:{let}\:{decompose} \\ $$$${w}\left(\alpha\right)=\frac{\mathrm{1}}{\alpha\left(\alpha^{\mathrm{2}} −\mathrm{1}\right)}\:=\frac{\mathrm{1}}{\alpha\left(\alpha−\mathrm{1}\right)\left(\alpha+\mathrm{1}\right)} \\ $$$${w}\left(\alpha\right)=\frac{{a}}{\alpha}\:+\frac{{b}}{\alpha−\mathrm{1}}\:+\frac{{c}}{\alpha+\mathrm{1}}\:\Rightarrow{a}\:=−\mathrm{1} \\ $$$${b}=\frac{\mathrm{1}}{\mathrm{2}}\:\:{and}\:\:{c}=\frac{\mathrm{1}}{\mathrm{2}}\:\Rightarrow{w}\left(\alpha\right)=−\frac{\mathrm{1}}{\alpha}\:+\frac{\mathrm{1}}{\mathrm{2}\left(\alpha−\mathrm{1}\right)}\:+\frac{\mathrm{1}}{\mathrm{2}\left(\alpha+\mathrm{1}\right)}\:\Rightarrow \\ $$$$\int\:\frac{{d}\alpha}{\alpha\left(\alpha^{\mathrm{2}} −\mathrm{1}\right)}\:=−{ln}\mid\alpha\mid\:+\frac{\mathrm{1}}{\mathrm{2}}{ln}\mid\alpha^{\mathrm{2}} −\mathrm{1}\mid\:\Rightarrow \\ $$$${f}\left(\alpha\right)={i}\:\int\:\:\frac{{ln}\left(\mathrm{1}+{i}\alpha\right)}{\alpha^{\mathrm{2}} −\mathrm{1}}{d}\alpha\:+\frac{{iln}\left(\mathrm{2}\right)}{\mathrm{4}}{ln}\mid\frac{\alpha−\mathrm{1}}{\alpha+\mathrm{1}}\mid+\:\left(\mathrm{1}−\frac{\pi}{\mathrm{4}}\right){ln}\mid\alpha\mid+\frac{\pi}{\mathrm{8}}{ln}\mid\alpha^{\mathrm{2}} −\mathrm{1}\mid\:+{c} \\ $$$$ \\ $$
Commented by Abdo msup. last updated on 08/Jan/19
$$\left.\mathrm{2}\right)\:{we}\:{have}\:\mathrm{1}+{ix}=\sqrt{\mathrm{1}+{x}^{\mathrm{2}} }\left(\frac{\mathrm{1}}{\:\sqrt{\mathrm{1}+{x}^{\mathrm{2}} }}\:+{i}\frac{{x}}{\:\sqrt{\mathrm{1}+{x}^{\mathrm{2}} }}\right)={r}\:{e}^{{i}\theta} \:\Rightarrow \\ $$$${r}=\sqrt{\mathrm{1}+{x}^{\mathrm{2}} }\:{and}\:\theta={arctanx}\:\Rightarrow \\ $$$${ln}\left(\mathrm{1}+{ix}\right)=\frac{\mathrm{1}}{\mathrm{2}}{ln}\left(\mathrm{1}+{x}^{\mathrm{2}} \right)+{iarctanx}\:\Rightarrow \\ $$$$\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{{ln}\left(\mathrm{1}+{ix}\right)}{\mathrm{1}+{x}^{\mathrm{2}} }\:=\frac{\mathrm{1}}{\mathrm{2}}\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{{ln}\left(\mathrm{1}+{x}^{\mathrm{2}} \right)}{\mathrm{1}+{x}^{\mathrm{2}} }\:{dx}\:+{i}\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{{arctanx}}{\mathrm{1}+{x}^{\mathrm{2}} }{dx} \\ $$$${by}\:{parts}\:{I}=\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{{arctanx}}{\mathrm{1}+{x}^{\mathrm{2}} }{dx}=\left[{arctan}^{\mathrm{2}} {x}\right]_{\mathrm{0}} ^{\mathrm{1}} \\ $$$$−\int_{\mathrm{0}} ^{\mathrm{1}} \:\frac{{arctanx}}{\mathrm{1}+{x}^{\mathrm{2}} }\:=\frac{\pi^{\mathrm{2}} }{\mathrm{16}}\:−{I}\:\Rightarrow\mathrm{2}{I}=\frac{\pi^{\mathrm{2}} }{\mathrm{16}}\:\Rightarrow{I}=\frac{\pi^{\mathrm{2}} }{\mathrm{32}} \\ $$$${let}\:{find}\:\int_{\mathrm{0}} ^{\mathrm{1}} \frac{{ln}\left(\mathrm{1}+{x}^{\mathrm{2}} \right)}{\mathrm{1}+{x}^{\mathrm{2}} }\:\:{dx}\:{let}\: \\ $$$${f}\left({t}\right)=\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\frac{{ln}\left(\mathrm{1}+{tx}^{\mathrm{2}} \right)}{\mathrm{1}+{x}^{\mathrm{2}} }\:{dx}\:{with}\:{t}>\mathrm{0}\:{we}\:{have} \\ $$$${f}^{'} \left({t}\right)\:=\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\frac{{x}^{\mathrm{2}} }{\left(\mathrm{1}+{tx}^{\mathrm{2}} \right)\left(\mathrm{1}+{x}^{\mathrm{2}} \right)}{dx} \\ $$$$=_{\sqrt{{t}}{x}={u}} \:\:\:\:\:\int_{\mathrm{0}} ^{\sqrt{{t}}} \:\:\:\:\:\:\frac{{u}^{\mathrm{2}} }{{t}\left(\mathrm{1}+{u}^{\mathrm{2}} \right)\left(\mathrm{1}+\frac{{u}^{\mathrm{2}} }{{t}}\right)}\:\frac{{du}}{\:\sqrt{{t}}} \\ $$$$=\frac{\mathrm{1}}{\:\sqrt{{t}}}\:\int_{\mathrm{0}} ^{\sqrt{{t}}} \:\:\:\:\:\frac{{u}^{\mathrm{2}} }{\left({u}^{\mathrm{2}} +\mathrm{1}\right)\left({u}^{\mathrm{2}} \:+{t}\right)}\:{du}\:\:{let}\:{decompose} \\ $$$${F}\left({u}\right)\:=\frac{{u}^{\mathrm{2}} }{\left({u}^{\mathrm{2}} \:+\mathrm{1}\right)\left({u}^{\mathrm{2}} \:+{t}\right)}\:\Rightarrow \\ $$$${F}\left({u}\right)=\frac{{au}\:+{b}}{{u}^{\mathrm{2}} \:+\mathrm{1}}\:+\frac{{cu}+{d}}{{u}^{\mathrm{2}} \:+{t}} \\ $$$${F}\left(−{u}\right)={F}\left({u}\right)\:\Rightarrow\frac{−{au}+{b}}{{u}^{\mathrm{2}} \:+\mathrm{1}}\:+\frac{−{cu}\:+{d}}{{u}^{\mathrm{2}} \:+{t}} \\ $$$$={F}\left({u}\right)\:\Rightarrow{a}=\mathrm{0}\:{and}\:{c}=\mathrm{0}\:\Rightarrow \\ $$$${F}\left({u}\right)=\frac{{b}}{{u}^{\mathrm{2}} \:+\mathrm{1}}\:+\frac{{d}}{{u}^{\mathrm{2}} \:+{t}}\:\:{we}\:{see}\:{that}\: \\ $$$${F}\left({u}\right)=\frac{\mathrm{1}}{{t}−\mathrm{1}}\left(\frac{\mathrm{1}}{{u}^{\mathrm{2}} \:+\mathrm{1}}−\frac{\mathrm{1}}{{u}^{\mathrm{2}} \:+{t}}\right)\:\:\Rightarrow \\ $$$$\int_{\mathrm{0}} ^{\sqrt{{t}}} \:{F}\left({u}\right){du}\:=\frac{\mathrm{1}}{{t}−\mathrm{1}}\:\int_{\mathrm{0}} ^{\sqrt{{t}}} \:\:\frac{{du}}{{u}^{\mathrm{2}} \:+\mathrm{1}}\:−\frac{\mathrm{1}}{{t}−\mathrm{1}}\:\int_{\mathrm{0}} ^{\sqrt{{t}}} \:\:\frac{{du}}{{u}^{\mathrm{2}} \:+{t}} \\ $$$${but}\:\int_{\mathrm{0}} ^{\sqrt{{t}}} \:\:\frac{{du}}{\mathrm{1}+{u}^{\mathrm{2}} }\:={arctan}\left(\sqrt{{t}}\right) \\ $$$$\int_{\mathrm{0}} ^{\sqrt{{t}}} \:\:\frac{{du}}{{u}^{\mathrm{2}} \:+{t}}\:=_{{u}=\sqrt{{t}}\alpha} \:\:\:\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\:\:\frac{\sqrt{{t}}{d}\alpha}{{t}\left(\mathrm{1}+\alpha^{\mathrm{2}} \right)}\:=\frac{\mathrm{1}}{\:\sqrt{{t}}}\frac{\pi}{\mathrm{4}}\:\Rightarrow \\ $$$${f}^{'} \left({t}\right)=\frac{\mathrm{1}}{\:\sqrt{{t}}}\left\{\frac{{arctan}\left(\sqrt{{t}}\right)}{{t}−\mathrm{1}}\:−\frac{\pi}{\mathrm{4}\sqrt{{t}}\left({t}−\mathrm{1}\right)}\right\}\:\Rightarrow \\ $$$${f}\left({t}\right)\:=\int\:\:\:\frac{{arctan}\left(\sqrt{{t}}\right)}{\:\sqrt{{t}}\left({t}−\mathrm{1}\right)}{dy}\:−\frac{\pi}{\mathrm{4}}\:\int\:\:\frac{{dt}}{{t}\left({t}−\mathrm{1}\right)}\:+{C} \\ $$$$\int\:\:\:\frac{{dt}}{{t}\left({t}−\mathrm{1}\right)}\:=\int\:\left(\frac{\mathrm{1}}{{t}−\mathrm{1}}\:−\frac{\mathrm{1}}{{t}}\right){dt}={ln}\mid\frac{{t}−\mathrm{1}}{{t}}\mid\:+{c}_{\mathrm{1}} \\ $$$$\int\:\:\frac{{arctan}\left(\sqrt{{t}}\right)}{\:\sqrt{{t}}\left({t}−\mathrm{1}\right)}{dt}\:=_{\sqrt{{t}}={u}} \:\:\:\int\:\:\:\:\frac{{arctan}\left({u}\right)}{{u}\left({u}^{\mathrm{2}} −\mathrm{1}\right)}\:\left(\mathrm{2}{u}\right){du} \\ $$$$=\mathrm{2}\:\int\:\:\frac{{arctan}\left({u}\right)}{{u}^{\mathrm{2}} −\mathrm{1}}\:{du}\:….{be}\:{continued}… \\ $$$$ \\ $$$$ \\ $$$$ \\ $$