Question Number 75228 by ~blr237~ last updated on 08/Dec/19
$$\:\mathrm{Let}\:\mathrm{consider}\: \\ $$$$\mathrm{A}=\underset{{x}\rightarrow\mathrm{0}} {\mathrm{lim}}\:\left(\int_{\mathrm{0}} ^{\mathrm{1}} \left(\Gamma\left(\mathrm{t}\right)\right)^{\mathrm{x}} \mathrm{dt}\right)^{\frac{\mathrm{1}}{\mathrm{x}}} \\ $$$$\mathrm{Prove}\:\mathrm{that}\:\:\mathrm{A}=\int_{\mathrm{0}} ^{\mathrm{1}} \mathrm{ln}\left(\Gamma\left(\mathrm{t}\right)\right)\mathrm{dt}\:\: \\ $$$$\mathrm{Deduce}\:\mathrm{the}\:\mathrm{value}\:\mathrm{of}\:\mathrm{A} \\ $$
Commented by mind is power last updated on 08/Dec/19
$$\mathrm{ln}\left\{\left(\int_{\mathrm{0}} ^{\mathrm{1}} \Gamma^{\mathrm{x}} \left(\mathrm{t}\right)\mathrm{dt}\right)^{\frac{\mathrm{1}}{\mathrm{x}}} \right\}=\mathrm{g}\left(\mathrm{x}\right) \\ $$$$=\frac{\mathrm{ln}\left(\int_{\mathrm{0}} ^{\mathrm{1}} \Gamma^{\mathrm{x}} \left(\mathrm{t}\right)\mathrm{dt}\right)}{\mathrm{x}}=\mathrm{g}\left(\mathrm{x}\right) \\ $$$$\mathrm{let}\:\mathrm{h}\left(\mathrm{x}\right)=\mathrm{ln}\left(\int_{\mathrm{0}} ^{\mathrm{1}} \Gamma^{\mathrm{x}} \left(\mathrm{t}\right)\mathrm{dt}\right) \\ $$$$\mathrm{g}\left(\mathrm{x}\right)=\frac{\mathrm{h}\left(\mathrm{x}\right)}{\mathrm{x}}=\frac{\mathrm{h}\left(\mathrm{x}\right)−\mathrm{h}\left(\mathrm{0}\right)}{\mathrm{x}−\mathrm{0}} \\ $$$$\underset{{x}\rightarrow\mathrm{0}} {\mathrm{lim}}\:\mathrm{g}\left(\mathrm{x}\right)=\mathrm{h}'\left(\mathrm{x}\right)\mid_{\mathrm{x}=\mathrm{0}} \\ $$$$\mathrm{h}'\left(\mathrm{x}\right)=\frac{\int_{\mathrm{0}} ^{\mathrm{1}} \mathrm{ln}\left\{\Gamma\left(\mathrm{t}\right)\right\}.\Gamma^{\mathrm{x}} \left(\mathrm{t}\right)}{\int_{\mathrm{0}} ^{\mathrm{1}} \Gamma^{\mathrm{x}} \left(\mathrm{t}\right)\mathrm{dt}}\mathrm{dt} \\ $$$$\mathrm{x}=\mathrm{0},\mathrm{give}\:\mathrm{us}\:\:\int_{\mathrm{0}} ^{\mathrm{1}} \mathrm{ln}\left(\Gamma\left(\mathrm{t}\right)\right)\mathrm{dt} \\ $$$$\int_{\mathrm{0}} ^{\mathrm{1}} \mathrm{ln}\left(\Gamma\left(\mathrm{t}\right)\right)\mathrm{dt}=\int_{\mathrm{0}} ^{\mathrm{1}} \mathrm{ln}\left(\Gamma\left(\mathrm{1}−\mathrm{t}\right)\right)\mathrm{dt} \\ $$$$\Rightarrow\mathrm{2A}=\int_{\mathrm{0}} ^{\mathrm{1}} \left\{\mathrm{ln}\left(\Gamma\left(\mathrm{t}\right)\right)+\mathrm{ln}\left(\Gamma\left(\mathrm{1}−\mathrm{t}\right)\right)\right\}\mathrm{dt} \\ $$$$=\int_{\mathrm{0}} ^{\mathrm{1}} \mathrm{ln}\left(\Gamma\left(\mathrm{t}\right)\Gamma\left(\mathrm{1}−\mathrm{t}\right)\right)\mathrm{dt} \\ $$$$\Gamma\left(\mathrm{t}\right).\Gamma\left(\mathrm{1}−\mathrm{t}\right)=\frac{\pi}{\mathrm{sin}\left(\pi\mathrm{t}\right)} \\ $$$$=\int_{\mathrm{0}} ^{\mathrm{1}} \left\{\mathrm{ln}\left(\pi\right)−\mathrm{ln}\left(\mathrm{sin}\left(\pi\mathrm{t}\right)\right)\right\}\mathrm{dt} \\ $$$$=\mathrm{ln}\left(\pi\right)−\int_{\mathrm{0}} ^{\mathrm{1}} \mathrm{ln}\left(\mathrm{sin}\left(\pi\mathrm{t}\right)\right)\mathrm{dt} \\ $$$$\mathrm{u}=\pi\mathrm{t}\Rightarrow\int_{\mathrm{0}} ^{\mathrm{1}} \mathrm{ln}\left(\mathrm{sin}\left(\pi\mathrm{t}\right)\right)\mathrm{dt}=\frac{\int_{\mathrm{0}} ^{\pi} \mathrm{ln}\left(\mathrm{sin}\left(\mathrm{u}\right)\right)\mathrm{du}}{\pi} \\ $$$$\int_{\mathrm{0}} ^{\pi} \mathrm{ln}\left(\mathrm{sin}\left(\mathrm{u}\right)\right)\mathrm{du}=\mathrm{2}\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\mathrm{sin}\left(\mathrm{u}\right)\right)\mathrm{du} \\ $$$$\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\mathrm{sin}\left(\mathrm{2u}\right)\right)\mathrm{du}=\frac{\pi}{\mathrm{2}}\mathrm{ln}\left(\mathrm{2}\right)+\mathrm{2}\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\mathrm{sin}\left(\mathrm{u}\right)\right)\mathrm{du} \\ $$$$=\int_{\mathrm{0}} ^{\pi} \mathrm{ln}\left(\mathrm{sin}\left(\mathrm{w}\right)\right)\frac{\mathrm{dw}}{\mathrm{2}}=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\mathrm{sin}\left(\mathrm{w}\right)\right)\mathrm{dw}=\mathrm{2}\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\mathrm{sin}\left(\mathrm{y}\right)\right)\mathrm{dy}+\frac{\pi}{\mathrm{2}}\mathrm{ln}\left(\mathrm{2}\right) \\ $$$$\Rightarrow\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}\left(\mathrm{sin}\left(\mathrm{w}\right)\right)\mathrm{dw}=−\frac{\pi}{\mathrm{2}}\mathrm{ln}\left(\mathrm{2}\right) \\ $$$$\mathrm{2A}=\mathrm{ln}\left(\pi\right)−\mathrm{2}.−\frac{\mathrm{1}}{\mathrm{2}}\mathrm{ln}\left(\mathrm{2}\right) \\ $$$$\mathrm{2A}=\mathrm{ln}\left(\mathrm{2}\pi\right)\Rightarrow\mathrm{A}=\frac{\mathrm{ln}\left(\mathrm{2}\pi\right)}{\mathrm{2}} \\ $$