Show that
$$\lim _{x \to \infty} \log \left( \frac{ \sqrt{x} \Gamma\left(\frac{x}{2}\right) } {\Gamma \left( \frac{x+1}{2}\right)} \right) = \frac{1}{2} \log(2),$$ where $\Gamma$ is the Gamma function.
I reduced this problem to calculate the limit:
$$\lim_{x \to \infty} \frac{B\left(\frac{x}{2},\frac{x}{2}\right)}{B\left(\frac{x+1}{2},\frac{x+1}{2}\right)} = 2, $$ where $B$ is the Beta function, but I don't know if this is useful or if there is other way to calculate this limit.
Any help will be very appreciated, thanks!
Best Answer
$\newcommand{\bbx}[1]{\,\bbox[15px,border:1px groove navy]{\displaystyle{#1}}\,} \newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$ \begin{align} &\bbox[10px,#ffd]{\lim _{x \to \infty} \ln\pars{\root{x}\Gamma\pars{x/2} \over \Gamma\pars{\bracks{x + 1}/2}}} = {1 \over 2}\,\ln\pars{2} + \lim _{x \to \infty} \ln\pars{\root{x}\Gamma\pars{x} \over \Gamma\pars{x + 1/2}} \\[5mm] = &\ {1 \over 2}\,\ln\pars{2} + \lim _{x \to \infty} \ln\pars{\root{x}\bracks{x - 1}! \over \bracks{x - 1/2}!} \\[5mm] = &\ {1 \over 2}\,\ln\pars{2} + \lim _{x \to \infty} \ln\pars{\root{x}\,{\root{2\pi}\bracks{x - 1}^{x - 1/2} \expo{-\pars{x - 1}} \over \root{2\pi}\bracks{x - 1/2}^{x}\expo{-\pars{x - 1/2}}}} \\[5mm] = &\ {1 \over 2}\,\ln\pars{2} + \lim _{x \to \infty} \ln\pars{\root{x}\,{x^{x - 1/2}\bracks{1 - 1/x}^{x - 1/2} \root{\expo{}} \over x^{x}\bracks{1 - \pars{1/2}/x}^{x}}} \\[5mm] = &\ {1 \over 2}\,\ln\pars{2}\ +\ \underbrace{\ln\pars{{\expo{-1}\root{\expo{}} \over\expo{-1/2}}}} _{\ds{=\ 0}}\ =\ \bbx{{1 \over 2}\,\ln\pars{2}}\approx 0.3466 \end{align}