Question Number 138799 by TheSupreme last updated on 18/Apr/21
$$\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\mathrm{tan}\left(\mathrm{x}\right)−\alpha\right){dx}=… \\ $$$$\alpha\in\mathbb{C} \\ $$
Answered by mathmax by abdo last updated on 19/Apr/21
$$\Phi=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\mathrm{tanx}−\alpha\right)\mathrm{dx}\:\:\:\Rightarrow\Phi=_{\mathrm{tanx}=\mathrm{t}} \:\:\int_{\mathrm{0}} ^{\infty} \:\mathrm{ln}\left(\mathrm{t}−\alpha\right)\frac{\mathrm{dt}}{\mathrm{1}+\mathrm{t}^{\mathrm{2}} } \\ $$$$=\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{ln}\left(\mathrm{t}−\alpha\right)}{\mathrm{1}+\mathrm{t}^{\mathrm{2}} }\mathrm{dt}\:\:\mathrm{let}\:\alpha=\mathrm{x}+\mathrm{iy}\:\Rightarrow\mathrm{t}−\alpha\:=\mathrm{t}−\mathrm{x}−\mathrm{iy}=\sqrt{\left(\mathrm{t}−\mathrm{x}\right)^{\mathrm{2}} +\mathrm{y}^{\mathrm{2}} }\mathrm{e}^{\mathrm{iarctan}\left(−\frac{\mathrm{y}}{\mathrm{t}−\mathrm{x}}\right)} \\ $$$$\Rightarrow\Phi=\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{ln}\left(\sqrt{\left(\mathrm{t}−\mathrm{x}\right)^{\mathrm{2}} +\mathrm{y}^{\mathrm{2}} }\right)−\mathrm{iarctan}\left(\frac{\mathrm{y}}{\mathrm{t}−\mathrm{x}}\right)}{\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dt} \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}}\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{ln}\left(\left(\mathrm{t}−\mathrm{x}\right)^{\mathrm{2}} +\mathrm{y}^{\mathrm{2}} \right)}{\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dt}−\mathrm{i}\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{arctan}\left(\frac{\mathrm{y}}{\mathrm{t}−\boldsymbol{\mathrm{x}}}\right)}{\boldsymbol{\mathrm{t}}^{\mathrm{2}} \:+\mathrm{1}}\boldsymbol{\mathrm{dt}}\:\:\:\boldsymbol{\mathrm{we}}\:\boldsymbol{\mathrm{have}} \\ $$$$\int_{\mathrm{0}} ^{\infty} \:\frac{\boldsymbol{\mathrm{log}}\left(\left(\boldsymbol{\mathrm{t}}−\boldsymbol{\mathrm{x}}\right)^{\mathrm{2}} +\boldsymbol{\mathrm{y}}^{\mathrm{2}} \right)}{\boldsymbol{\mathrm{t}}^{\mathrm{2}} \:+\mathrm{1}}\boldsymbol{\mathrm{dt}}\:=\int_{\mathrm{0}} ^{\infty} \:\frac{\boldsymbol{\mathrm{log}}\left(\boldsymbol{\mathrm{t}}^{\mathrm{2}} −\mathrm{2}\boldsymbol{\mathrm{xt}}\:+\boldsymbol{\mathrm{x}}^{\mathrm{2}} +\boldsymbol{\mathrm{y}}^{\mathrm{2}} \right)}{\boldsymbol{\mathrm{t}}^{\mathrm{2}} \:+\mathrm{1}}\boldsymbol{\mathrm{dt}} \\ $$$$\boldsymbol{\varphi}\left(\mathrm{x}\right)=\int_{\mathrm{0}} ^{\infty} \:\:\:\:\frac{\mathrm{log}\left(\mathrm{t}^{\mathrm{2}} −\mathrm{2xt}\:+\mathrm{x}^{\mathrm{2}} \:+\mathrm{y}^{\mathrm{2}} \right)}{\mathrm{t}^{\mathrm{2}} +\mathrm{1}}\mathrm{dt}\:\Rightarrow \\ $$$$\varphi^{'} \left(\mathrm{x}\right)=\int_{\mathrm{0}} ^{\infty} \frac{−\mathrm{2t}+\mathrm{2x}}{\left(\mathrm{t}^{\mathrm{2}} −\mathrm{2xt}+\mathrm{x}^{\mathrm{2}} +\mathrm{y}^{\mathrm{2}} \right)\left(\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}\right)}\mathrm{dt}\:\:\mathrm{we}\:\mathrm{must}\:\mathrm{decompose} \\ $$$$\mathrm{F}\left(\mathrm{t}\right)=\frac{−\mathrm{2t}+\mathrm{2x}}{\left(\mathrm{t}^{\mathrm{2}} −\mathrm{2xt}+\mathrm{x}^{\mathrm{2}} \:+\mathrm{y}^{\mathrm{2}} \right)\left(\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}\right)}\:…. \\ $$$$\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{arctan}\left(\frac{\mathrm{y}}{\mathrm{t}−\mathrm{x}}\right)}{\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dt}\:=\int_{\mathrm{0}} ^{\infty} \:\frac{\overset{−} {+}\frac{\pi}{\mathrm{2}}−\mathrm{arctan}\left(\frac{\mathrm{t}−\mathrm{x}}{\mathrm{y}}\right)}{\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dt} \\ $$$$=\overset{−\:} {+}\frac{\pi^{\mathrm{2}} }{\mathrm{4}}−\int_{\mathrm{0}} ^{\infty} \:\:\frac{\mathrm{arctan}\left(\mathrm{t}−\mathrm{x}\right)}{\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dt}\:+\frac{\pi}{\mathrm{2}}\mathrm{arctany} \\ $$$$\Psi\left(\mathrm{x}\right)=\int_{\mathrm{0}} ^{\infty} \:\:\frac{\mathrm{arctan}\left(\mathrm{t}−\mathrm{x}\right)}{\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dt}\:\Rightarrow\Psi^{'} \left(\mathrm{x}\right)=\int_{\mathrm{0}} ^{\infty} \:\:\frac{−\mathrm{1}}{\left(\mathrm{1}+\left(\mathrm{t}−\mathrm{x}\right)^{\mathrm{2}} \right)\left(\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}\right)}\mathrm{dt} \\ $$$$=−\int_{\mathrm{0}} ^{\infty} \:\:\:\frac{\mathrm{dt}}{\left(\mathrm{t}^{\mathrm{2}} −\mathrm{2xt}\:+\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)\left(\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}\right)}\:\:\mathrm{rest}\:\mathrm{decomposition}…\mathrm{be}\:\mathrm{continued}… \\ $$
Commented by mathmax by abdo last updated on 19/Apr/21
$$\mathrm{sorry}\:\:\int_{\mathrm{0}} ^{\infty} \:\frac{\overset{−} {+}\frac{\pi}{\mathrm{2}}−\mathrm{arctan}\left(\frac{\mathrm{t}−\mathrm{x}}{\mathrm{y}}\right)}{\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dt} \\ $$$$=\overset{−} {+}\:\frac{\pi^{\mathrm{2}} }{\mathrm{4}}−\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{arctan}\left(\frac{\mathrm{t}}{\mathrm{y}}−\frac{\mathrm{x}}{\mathrm{y}}\right)}{\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dt}\:\mathrm{so}\:\mathrm{we}\:\mathrm{considere} \\ $$$$\Psi\left(\mathrm{x}\right)=\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{arctan}\left(\frac{\mathrm{t}}{\mathrm{y}}−\frac{\mathrm{x}}{\mathrm{y}}\right)}{\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dt}\:\Rightarrow \\ $$$$\Psi^{'} \left(\mathrm{y}\right)=\int_{\mathrm{0}} ^{\infty} \frac{−\mathrm{1}}{\mathrm{y}\left(\mathrm{1}+\left(\frac{\mathrm{t}}{\mathrm{y}}−\frac{\mathrm{x}}{\mathrm{y}}\right)^{\mathrm{2}} \right)\left(\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}\right)}\mathrm{dt}=….. \\ $$
Commented by mathmax by abdo last updated on 19/Apr/21
$$\mathrm{let}\:\mathrm{try}\:\mathrm{another}\:\mathrm{way}\:\Phi=\int_{\mathrm{0}} ^{\infty} \frac{\mathrm{log}\left(\mathrm{t}−\alpha\right)}{\mathrm{1}+\mathrm{t}^{\mathrm{2}} }\:\mathrm{dt}\:=\Psi\left(\alpha\right)\:\Rightarrow \\ $$$$\Psi^{'} \left(\alpha\right)\:=\int_{\mathrm{0}} ^{\infty} \:\:\frac{−\mathrm{1}}{\left(\mathrm{t}−\alpha\right)\left(\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}\right)}\mathrm{dt}\:\:\mathrm{let}\:\mathrm{decompose} \\ $$$$\mathrm{F}\left(\mathrm{t}\right)\:=\frac{\mathrm{1}}{\left(\mathrm{t}−\alpha\right)\left(\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}\right)}\:\Rightarrow\mathrm{F}\left(\mathrm{t}\right)=\frac{\mathrm{a}}{\mathrm{t}−\alpha}\:+\frac{\mathrm{bt}+\mathrm{c}}{\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}} \\ $$$$\mathrm{a}=\frac{\mathrm{1}}{\alpha^{\mathrm{2}} \:+\mathrm{1}}\:\:,\mathrm{lim}_{\mathrm{t}\rightarrow+\infty} \mathrm{tF}\left(\mathrm{t}\right)=\mathrm{0}\:=\mathrm{a}+\mathrm{b}\:\Rightarrow\mathrm{b}=−\frac{\mathrm{1}}{\alpha^{\mathrm{2}} \:+\mathrm{1}} \\ $$$$\mathrm{F}\left(\mathrm{0}\right)=−\frac{\mathrm{1}}{\alpha}=−\frac{\mathrm{a}}{\alpha}\:+\mathrm{c}\:\Rightarrow\mathrm{1}=\mathrm{a}−\alpha\mathrm{c}\:\Rightarrow\alpha\mathrm{c}=\mathrm{a}−\mathrm{1}\:\Rightarrow\mathrm{c}=\frac{\mathrm{a}−\mathrm{1}}{\alpha} \\ $$$$=\frac{\frac{\mathrm{1}}{\alpha^{\mathrm{2}} +\mathrm{1}}−\mathrm{1}}{\alpha}\:=−\frac{\alpha^{\mathrm{2}} }{\alpha\left(\alpha^{\mathrm{2}} \:+\mathrm{1}\right)}=−\frac{\alpha}{\alpha^{\mathrm{2}} \:+\mathrm{1}}\:\Rightarrow\mathrm{F}\left(\mathrm{t}\right)=\frac{\mathrm{1}}{\left(\alpha^{\mathrm{2}} \:+\mathrm{1}\right)\left(\mathrm{t}−\alpha\right)} \\ $$$$+\frac{−\frac{\mathrm{1}}{\alpha^{\mathrm{2}} \:+\mathrm{1}}\mathrm{t}\:−\frac{\alpha}{\alpha^{\mathrm{2}} \:+\mathrm{1}}}{\mathrm{t}^{\mathrm{2}} \:+\mathrm{1}}\:\Rightarrow\int_{\mathrm{0}} ^{\infty} \:\mathrm{F}\left(\mathrm{t}\right)\mathrm{dt} \\ $$$$=\frac{\mathrm{1}}{\alpha^{\mathrm{2}} \:+\mathrm{1}}\int_{\mathrm{0}} ^{\infty} \frac{\mathrm{dt}}{\mathrm{t}−\alpha}−\frac{\mathrm{1}}{\mathrm{2}\left(\alpha^{\mathrm{2}} +\mathrm{1}\right)}\int_{\mathrm{0}} ^{\infty} \:\:\frac{\mathrm{2t}}{\mathrm{t}^{\mathrm{2}\:} +\mathrm{1}}\mathrm{dt}−\frac{\alpha}{\alpha^{\mathrm{2}} \:+\mathrm{1}}×\frac{\pi}{\mathrm{2}} \\ $$$$=\frac{\mathrm{1}}{\alpha^{\mathrm{2}} \:+\mathrm{1}}\left[\mathrm{log}\left(\frac{\mathrm{t}−\alpha}{\:\sqrt{\mathrm{t}^{\mathrm{2}\:} +\mathrm{1}}}\right)\right]_{\mathrm{0}} ^{\infty} −\frac{\pi\alpha}{\alpha^{\mathrm{2}} \:+\mathrm{1}} \\ $$$$=\frac{\mathrm{1}}{\alpha^{\mathrm{2}} \:+\mathrm{1}}\left(−\mathrm{log}\left(−\alpha\right)\right)−\frac{\pi\alpha}{\mathrm{2}\left(\alpha^{\mathrm{2}} \:+\mathrm{1}\right)}\:\Rightarrow\Psi\left(\alpha\right)=−\int\:\frac{\mathrm{log}\left(−\alpha\right)}{\alpha^{\mathrm{2}} \:+\mathrm{1}}\mathrm{d}\alpha \\ $$$$−\frac{\pi}{\mathrm{4}}\mathrm{log}\left(\mathrm{1}+\alpha^{\mathrm{2}} \right)\:+\mathrm{C}….\mathrm{be}\:\mathrm{continued}… \\ $$
Answered by phanphuoc last updated on 18/Apr/21
$${u}={tgx}−>\:{du}/\mathrm{1}+{u}^{\mathrm{2}} ={dx} \\ $$$${I}=\int_{\mathrm{0}} ^{\infty} {ln}\left({u}+\alpha\right)/{u}^{\mathrm{2}} +\mathrm{1}{du} \\ $$$${I}=\mathrm{2}\pi{iRes}\left({f}\left({u}\right),{i}\right)=\pi{ln}\left({i}+\alpha\right) \\ $$