Question Number 130536 by mathmax by abdo last updated on 26/Jan/21
$$\mathrm{calculate}\:\int_{\mathrm{0}} ^{\mathrm{2}\pi} \mathrm{ln}\left(\mathrm{x}^{\mathrm{2}} −\mathrm{2xcos}\theta\:+\mathrm{1}\right)\mathrm{d}\theta \\ $$
Answered by Ar Brandon last updated on 26/Jan/21
$$\mathrm{1}.\:\:\mathrm{1}−\mathrm{2acos}\left(\mathrm{x}\right)+\mathrm{a}^{\mathrm{2}} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:=\mathrm{cos}^{\mathrm{2}} −\mathrm{2acos}\left(\mathrm{x}\right)+\mathrm{a}^{\mathrm{2}} +\mathrm{sin}^{\mathrm{2}} \left(\mathrm{x}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:=\left(\mathrm{cos}\left(\mathrm{x}\right)−\mathrm{a}\right)^{\mathrm{2}} +\mathrm{sin}^{\mathrm{2}} \left(\mathrm{x}\right)>\mathrm{0} \\ $$$$\mathrm{2}.\:\:\mathrm{1}−\mathrm{2a}\:\mathrm{cos}\frac{\mathrm{2k}\pi}{\mathrm{n}}+\mathrm{a}^{\mathrm{2}} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:=\left(\mathrm{cos}\frac{\mathrm{2k}\pi}{\mathrm{n}}−\mathrm{a}\right)^{\mathrm{2}} +\mathrm{sin}^{\mathrm{2}} \frac{\mathrm{2k}\pi}{\mathrm{n}} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:=\left(\mathrm{cos}\frac{\mathrm{2k}\pi}{\mathrm{n}}−\mathrm{a}\right)^{\mathrm{2}} −\left(\mathrm{isin}\frac{\mathrm{2k}\pi}{\mathrm{n}}\right)^{\mathrm{2}} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:=\left(\mathrm{cos}\frac{\mathrm{2k}\pi}{\mathrm{n}}−\mathrm{isin}\frac{\mathrm{2k}\pi}{\mathrm{n}}−\mathrm{a}\right)\left(\mathrm{cos}\frac{\mathrm{2k}\pi}{\mathrm{n}}+\mathrm{isin}\frac{\mathrm{2k}\pi}{\mathrm{n}}−\mathrm{a}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:=\left(\mathrm{a}−\mathrm{e}^{\mathrm{2ik}\pi/\mathrm{n}} \right)\left(\mathrm{a}−\mathrm{e}^{−\mathrm{2ik}\pi/\mathrm{n}} \right) \\ $$$$\mathrm{3}.\:{See}\:{Mr}\:\mathrm{1549442205}{PVT}\:'\mathrm{s}\:{explanation}\:{on}\:{Q}\mathrm{107498} \\ $$$$\mathrm{4}.\:\:\mathrm{I}=\int_{\mathrm{0}} ^{\mathrm{2}\pi} \mathrm{ln}\left(\mathrm{1}−\mathrm{2a}\:\mathrm{cos}\left(\mathrm{x}\right)+\mathrm{a}^{\mathrm{2}} \right)\mathrm{dx} \\ $$$$\:\:\:\:\:\:\:\:=\underset{\mathrm{n}\rightarrow\infty} {\mathrm{lim}}\frac{\mathrm{2}\pi}{\mathrm{n}}\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{n}} {\sum}}\mathrm{ln}\left(\mathrm{1}−\mathrm{2a}\:\mathrm{cos}\left(\frac{\mathrm{2}\pi\mathrm{k}}{\mathrm{n}}\right)+\mathrm{a}^{\mathrm{2}} \right) \\ $$$$\:\:\:\:\:\:\:\:=\underset{\mathrm{n}\rightarrow\infty} {\mathrm{lim}}\frac{\mathrm{2}\pi}{\mathrm{n}}\mathrm{ln}\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{n}} {\prod}}\left(\mathrm{1}−\mathrm{2a}\:\mathrm{cos}\left(\frac{\mathrm{2}\pi\mathrm{k}}{\mathrm{n}}\right)+\mathrm{a}^{\mathrm{2}} \right) \\ $$$$\:\:\:\:\:\:\:\:=\underset{\mathrm{n}\rightarrow\infty} {\mathrm{lim}}\frac{\mathrm{2}\pi}{\mathrm{n}}\mathrm{ln}\left(\mathrm{a}^{\mathrm{n}} −\mathrm{1}\right)^{\mathrm{2}} =\underset{\mathrm{n}\rightarrow\infty} {\mathrm{lim}}\frac{\mathrm{4}\pi}{\mathrm{n}}\mathrm{ln}\left(\mathrm{a}^{\mathrm{n}} −\mathrm{1}\right) \\ $$$$\:\:\:\:\:\:\:\:=\mathrm{4}\pi\underset{\mathrm{n}\rightarrow\infty} {\mathrm{lim}}\left[\frac{\mathrm{ln}\left(\mathrm{a}^{\mathrm{n}} −\mathrm{1}\right)}{\mathrm{n}}\right]=\mathrm{4}\pi\underset{\mathrm{n}\rightarrow\infty} {\mathrm{lim}}\left[\frac{\mathrm{a}^{\mathrm{n}} \mathrm{lna}}{\mathrm{a}^{\mathrm{n}} −\mathrm{1}}\right] \\ $$$$\:\:\:\:\:\:\:\:=\mathrm{4}\pi\mathrm{ln}\left(\mathrm{a}\right) \\ $$
Answered by mathmax by abdo last updated on 26/Jan/21
$$\mathrm{let}\:\mathrm{f}\left(\mathrm{x}\right)=\int_{\mathrm{0}} ^{\mathrm{2}\pi} \mathrm{ln}\left(\mathrm{x}^{\mathrm{2}} −\mathrm{2xcos}\theta+\mathrm{1}\right)\mathrm{d}\theta\:\Rightarrow\mathrm{f}^{'} \left(\mathrm{x}\right)=\int_{\mathrm{0}} ^{\mathrm{2}\pi} \:\frac{\mathrm{2x}−\mathrm{2cos}\theta}{\mathrm{x}^{\mathrm{2}} −\mathrm{2xcos}\theta\:+\mathrm{1}}\mathrm{d}\theta \\ $$$$=_{\mathrm{e}^{\mathrm{i}\theta} \:=\mathrm{z}} \:\:\:\int_{\mid\mathrm{z}\mid=\mathrm{1}} \:\:\:\frac{\mathrm{2x}−\mathrm{2}\frac{\mathrm{z}+\mathrm{z}^{−\mathrm{1}} }{\mathrm{2}}}{\mathrm{x}^{\mathrm{2}} −\mathrm{2x}\frac{\mathrm{z}+\mathrm{z}^{−\mathrm{1}} }{\mathrm{2}}+\mathrm{1}}\frac{\mathrm{dz}}{\mathrm{iz}} \\ $$$$=\int_{\mid\mathrm{z}\mid=\mathrm{1}} \:\:\:\frac{\mathrm{2x}−\mathrm{z}−\mathrm{z}^{−\mathrm{1}} }{\left.\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}−\mathrm{xz}−\mathrm{xz}^{−\mathrm{1}} \right)\mathrm{iz}}\mathrm{dz}\:=\frac{\mathrm{1}}{\mathrm{i}}\int_{\mid\mathrm{z}\mid=\mathrm{1}} \:\:\frac{\mathrm{2x}−\mathrm{z}−\mathrm{z}^{−\mathrm{1}} }{\left(\mathrm{x}^{\mathrm{2}} +\mathrm{1}\right)\mathrm{z}−\mathrm{xz}^{\mathrm{2}} −\mathrm{x}}\mathrm{dz} \\ $$$$=\frac{\mathrm{1}}{\mathrm{i}}\int_{\mid\mathrm{z}\mid=\mathrm{1}} \:\:\:\frac{\mathrm{2xz}−\mathrm{z}^{\mathrm{2}} −\mathrm{1}}{−\mathrm{xz}^{\mathrm{2}} +\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)\mathrm{z}−\mathrm{x}}\mathrm{dz}\:=−\mathrm{i}\int_{\mid\mathrm{z}\mid=\mathrm{1}} \:\:\frac{\mathrm{z}^{\mathrm{2}} −\mathrm{2xz}+\mathrm{1}}{\mathrm{z}\left(\mathrm{xz}^{\mathrm{2}} −\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)\mathrm{z}+\mathrm{x}\right)}\mathrm{dz} \\ $$$$\varphi\left(\mathrm{z}\right)=\frac{\mathrm{z}^{\mathrm{2}} −\mathrm{2xz}+\mathrm{1}}{\mathrm{z}\left(\mathrm{xz}^{\mathrm{2}} −\left(\mathrm{x}^{\mathrm{2}} +\mathrm{1}\right)\mathrm{z}+\mathrm{x}\right)}\:\mathrm{poles}\:\mathrm{of}\:\varphi! \\ $$$$\Delta=\left(\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}\right)^{\mathrm{2}} −\mathrm{4x}^{\mathrm{2}} \:=\mathrm{x}^{\mathrm{4}} +\mathrm{2x}^{\mathrm{2}} +\mathrm{1}−\mathrm{4x}^{\mathrm{2}} \:=\left(\mathrm{x}^{\mathrm{2}} −\mathrm{1}\right)^{\mathrm{2}} \\ $$$$\Rightarrow\mathrm{z}_{\mathrm{1}} =\frac{\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}+\mid\mathrm{x}^{\mathrm{2}} −\mathrm{1}\mid}{\mathrm{2x}}\:\mathrm{and}\:\mathrm{z}_{\mathrm{2}} =\frac{\mathrm{x}^{\mathrm{2}} \:+\mathrm{1}−\mid\mathrm{x}^{\mathrm{2}} −\mathrm{1}\mid}{\mathrm{2x}} \\ $$$$\mathrm{case1}\:\:\:\mid\mathrm{x}\mid>\mathrm{1}\:\Rightarrow\mathrm{z}_{\mathrm{1}} =\frac{\mathrm{2x}^{\mathrm{2}} }{\mathrm{2x}}=\mathrm{x}\:\mathrm{and}\:\mathrm{z}_{\mathrm{2}} =\frac{\mathrm{2}}{\mathrm{2x}}=\frac{\mathrm{1}}{\mathrm{x}}\:\Rightarrow\mid\mathrm{z}_{\mathrm{2}} \mid=\frac{\mathrm{1}}{\mid\mathrm{x}\mid}<\mathrm{1}\:\Rightarrow \\ $$$$\int_{\mathrm{R}} \varphi\left(\mathrm{z}\right)\mathrm{dz}\:=\mathrm{2i}\pi\left\{\mathrm{Res}\left(\varphi,\mathrm{z}_{\mathrm{2}} \right)\right\} \\ $$$$\varphi\left(\mathrm{z}\right)=\frac{\mathrm{z}^{\mathrm{2}} −\mathrm{2xz}+\mathrm{1}}{\mathrm{zx}\left(\mathrm{z}−\mathrm{z}_{\mathrm{1}} \right)\left(\mathrm{z}−\mathrm{z}_{\mathrm{2}} \right)}\:\Rightarrow\mathrm{Res}\left(\varphi,\mathrm{o}\right)\:=\frac{\mathrm{1}}{\mathrm{z}_{\mathrm{1}} \mathrm{z}_{\mathrm{2}} }=\mathrm{1} \\ $$$$\mathrm{Res}\left(\varphi,\mathrm{z}_{\mathrm{2}} \right)=\frac{\mathrm{z}_{\mathrm{2}} ^{\mathrm{2}} −\mathrm{2xz}_{\mathrm{2}} +\mathrm{1}}{\mathrm{z}_{\mathrm{2}} \mathrm{x}\left(\frac{\mathrm{1}}{\mathrm{x}}−\mathrm{x}\right)}=\frac{\frac{\mathrm{1}}{\mathrm{x}^{\mathrm{2}} }−\mathrm{2}+\mathrm{1}}{\mathrm{1}−\mathrm{x}^{\mathrm{2}} }×\mathrm{x}=\frac{\mathrm{1}−\mathrm{x}^{\mathrm{2}} }{\mathrm{x}^{\mathrm{2}} \left(\mathrm{1}−\mathrm{x}^{\mathrm{2}} \right)}.\mathrm{x}=\frac{\mathrm{1}}{\mathrm{x}} \\ $$$$\int_{\mathrm{R}} \varphi\left(\mathrm{z}\right)\mathrm{dz}\:=\mathrm{2i}\pi\left\{\frac{\mathrm{1}}{\mathrm{x}}\right\}\:=\frac{\mathrm{2i}\pi}{\mathrm{x}}\:\Rightarrow\mathrm{f}^{'} \left(\mathrm{x}\right)=−\mathrm{i}\left(\frac{\mathrm{2i}\pi}{\mathrm{x}}\right)=\frac{\mathrm{2}\pi}{\mathrm{x}}\:\Rightarrow \\ $$$$\mathrm{f}\left(\mathrm{x}\right)=\mathrm{2}\pi\mathrm{ln}\mid\mathrm{x}\mid\:+\mathrm{c}_{\mathrm{0}} \:\:\:\mathrm{c}_{\mathrm{0}} =\mathrm{f}\left(\mathrm{1}\right)\:=\int_{\mathrm{0}} ^{\mathrm{2}\pi} \mathrm{ln}\left(\mathrm{2}−\mathrm{2cos}\theta\right)\mathrm{d}\theta \\ $$$$=\mathrm{2}\pi\mathrm{ln}\left(\mathrm{2}\right)+\int_{\mathrm{0}} ^{\mathrm{2}\pi} \mathrm{ln}\left(\mathrm{2sin}^{\mathrm{2}} \left(\frac{\theta}{\mathrm{2}}\right)\right)\mathrm{d}\theta\:=\mathrm{4}\pi\mathrm{ln}\left(\mathrm{2}\right)+\mathrm{2}\int_{\mathrm{0}} ^{\mathrm{2}\pi} \mathrm{ln}\left(\mathrm{sin}\left(\frac{\theta}{\mathrm{2}}\right)\right)\mathrm{d}\theta\left(\frac{\theta}{\mathrm{2}}=\mathrm{t}\right) \\ $$$$=\mathrm{4}\pi\mathrm{ln}\left(\mathrm{2}\right)+\mathrm{4}\int_{\mathrm{0}} ^{\pi} \mathrm{ln}\left(\mathrm{sin}\left(\mathrm{t}\right)\right)\mathrm{dt}\:\mathrm{but} \\ $$$$\int_{\mathrm{0}} ^{\pi} \mathrm{ln}\left(\mathrm{sint}\right)\mathrm{dt}\:=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\mathrm{sint}\right)\mathrm{dt}\:+\int_{\frac{\pi}{\mathrm{2}}} ^{\pi} \mathrm{ln}\left(\mathrm{sint}\right)\mathrm{dt}\:= \\ $$$$=−\frac{\pi}{\mathrm{2}}\mathrm{ln2}−\frac{\pi}{\mathrm{2}}\mathrm{ln2}\:=−\pi\mathrm{ln2}\:\Rightarrow\mathrm{c}_{\mathrm{0}} =\mathrm{4}\pi\mathrm{ln2}−\mathrm{4}\pi\mathrm{ln2}\:=\mathrm{0}\:\Rightarrow \\ $$$$\mathrm{f}\left(\mathrm{x}\right)=\mathrm{2}\pi\mathrm{ln}\mid\mathrm{x}\mid \\ $$$$\mathrm{case}\:\mathrm{2}\:\mid\mathrm{x}\mid<\mathrm{1}\:\mathrm{we}\:\mathrm{get}\:\mathrm{z}_{\mathrm{1}} =\frac{\mathrm{1}}{\mathrm{x}}\:\mathrm{and}\:\mathrm{z}_{\mathrm{2}} =\mathrm{x}\:\:\mathrm{due}\:\mathrm{to}\:\mathrm{symetrie}\:\mathrm{we}\:\mathrm{get}\:\mathrm{the} \\ $$$$\mathrm{same}\:\mathrm{value}\:\Rightarrow\mathrm{f}\left(\mathrm{x}\right)=\mathrm{2}\pi\mathrm{ln}\mid\mathrm{x}\mid \\ $$