ensayar

Question

Estoy en busca de pruebas alternas para $$\sum_{n\geq0}\frac{\Gamma^2(n+1)}{\Gamma(2n+2)}=\frac{2\pi}{3^{3/2}}$$ He aquí la mía:

Recordemos que, para $x\in(0,2)$, $$\frac1x=\sum_{n\geq0}(1-x)^n$$ Por lo tanto, tenemos que, para $\frac{1-\sqrt5}2<x<\frac{1+\sqrt5}2$, $$\frac1{x^2-x+1}=\sum_{n\geq0}x^n(1-x)^n$$ Lo que da $$ \begin{align} \int_0^1\frac{\mathrm dx}{x^2-x+1}=&\int_0^1\sum_{n\geq0}x^n(1-x)^n\mathrm dx\\ =&\sum_{n\geq0}\int_0^1x^n(1-x)^n\mathrm dx\\ =&\sum_{n\geq0}\frac{\Gamma^2(n+1)}{\Gamma(2n+2)} \end{align} $$ El último paso fue a partir de la definición de la función Beta: $$B(a,b)=\int_0^1t^{a-1}(1-t)^{b-1}\mathrm dt=\frac{\Gamma(a)\Gamma(b)}{\Gamma(a+b)}$$ Establecimiento $I=\int_0^1\frac{\mathrm dx}{x^2-x+1}$, completamos el cuadrado: $$I=\int_0^1\frac{\mathrm dx}{(x-\frac12)^2+\frac34}$$ De preformación de la sustitución de $x=\frac{1+3^{1/2}\tan u}2$, tenemos $$I=\frac{3^{1/2}}2\int_{-\pi/6}^{\pi/6}\frac{\sec^2u\ \mathrm du}{\frac34+\frac34\tan^2u}$$ Y con un poco de simplificación, llegamos a $$\sum_{n\geq0}\frac{\Gamma^2(n+1)}{\Gamma(2n+2)}=\frac{2\pi}{3^{3/2}}$$ Lo que me lleva a mis preguntas. ¿De qué otra manera podemos demostrar esto? ¿Qué otras series puede ser evaluado usando trucos similares? Divertirse!

Answer 1

Un enfoque no-muy-alternativa:

<span class="math-container">$$ \sum{n\geq 0}\frac{\Gamma(n+1)^2}{\Gamma(2n+2)}=\sum{n\geq 0}\frac{1}{(2n+1)\binom{2n}{n}}=\sum{n\geq 1}\frac{2}{n\binom{2n}{n}} $ $</span> y <span class="math-container">$\sum{n\geq 1}\frac{z^{2n}}{n^2\binom{2n}{n}}$</span> es igual a <span class="math-container">$2\arcsin^2\tfrac{z}{2}$</span> (por el teorema de inversión de Lagrange o enfoques equivalentes), simplemente tenemos <span class="math-container">$$ \sum{n\geq 0}\frac{\Gamma(n+1)^2}{\Gamma(2n+2)}=\frac{d}{dz}\left.2\arcsin^2\tfrac{z}{2}\right|{z=1}=\left.\frac{4\arcsin(z/2)}{\sqrt{4-z^2}}\right|_{z=1}=\frac{2\pi}{3\sqrt{3}}.$ $</span>

Answer 2

$\newcommand{\bbx}[1]{\,\bbox[15px,border:1px groove armada]{\displaystyle{#1}}\,} \newcommand{\llaves}[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}{\parcial #3^{#1}}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$

De ahora en adelante, $\ds{\Psi}$ es el Digamma Función: $\ds{\Psi\pars{z} \equiv \totald{\ln\pars{\Gamma\pars{z}}}{z}}$ donde $\ds{\Gamma}$ es el La Función Gamma.

\begin{align} &\bbox[10px,#ffd]{\int_{0}^{1}{\dd x \over x^{2} - x + 1}} = \int_{0}^{1}{1 + x \over 1 + x^{3}}\,\dd x \\[5mm] = &\ \int_{0}^{1}{1 + x - x^{3} - x^{4}\over 1 - x^{6}}\,\dd x \\[5mm] = &\ {1 \over 6}\int_{0}^{1}{x^{-5/6} + x^{-2/3} - x^{-1/3} - x^{-1/6} \over 1 - x}\,\dd x \\[5mm] = &\ {1 \over 6}\left\{\bracks{% \int_{0}^{1}{1 - x^{-1/3} \over 1 - x}\,\dd x - \int_{0}^{1}{1 - x^{-2/3} \over 1 - x}\,\dd x} \right. \\[2mm] &\ + \left.\phantom{\left\{\,\right.} \bracks{\int_{0}^{1}{1 - x^{-1/6} \over 1 - x}\,\dd x - \int_{0}^{1}{1 - x^{-5/6} \over 1 - x}\,\dd x} \label{1}\tag{1} \right\} \\[5mm] = &\ {1 \over 6}\braces{\!% \bracks{\Psi\pars{2 \over 3} - \Psi\pars{1 \over 3}} + \bracks{\Psi\pars{5 \over 6} - \Psi\pars{1 \over 6}}\!}\label{2}\tag{2} \\[5mm] = &\ {1 \over 6}\bracks{\pi\cot\pars{\pi \over 3} + \pi\cot\pars{\pi \over 6}} = {1 \over 6}\pars{{\root{3} \over 3} + \root{3}}\pi \label{3}\tag{3} \\[5mm] = &\ \bbx{{2\root{3} \over 9}\,\pi} \approx 1.2092 \end{align}

\eqref{1} se evalúa con $\ds{\mathbf{\color{black}{6.3.22}}}$ A & S De La Identidad. En \eqref{2} y \eqref{3}, he utilizado el Euler Reflexión Fórmula.

Answer 3

Otra forma es a través de la función Hipergeométrica.

Desde el término de la suma es $$ t_ {\n} = {{\Gamma \left( {n + 1} \right)^{\,2} } \over {\Gamma \left( {2n + 2} \right)}} $$ y $$ \eqalign{ y t_{\,0} = {{\Gamma \left( 1 \right)^{\,2} } \over {\Gamma \left( 2 \right)}} = 1 \cr & {{t_{\,n + 1} } \over {t_ {\n} }} = {{\Gamma \left( {n + 2} \right)^{\,2} } \over {\Gamma \left( {2n + 4} \right)}}{{\Gamma \left( {2n + 2} \right)} \over {\Gamma \left( {n + 1} \right)^{\,2} }} = {{\a la izquierda( {n + 1} \right)^{\,2} } \over {\left( {2n + 3} \right)\left( {2n + 2} \right)}} \cr y = {{\left( {n + 1} \right)\left( {n + 1} \right)} \over {\left( {n + 3/2} \right)}}{{1/4} \over {\left( {n + 1} \right)}} \cr} $$ entonces $$ \eqalign{ & \sum\limits_{n = 0}^\infty {{{\Gamma \left( {n + 1} \right)^{\,2} } \over {\Gamma \left( {2\left( {n + 1} \right)} \right)}}} = {}_2F_{\,1} \left( {\left. {\matriz{ {1,\;1} \cr {3/2} \cr } \;} \right|\;1/4} \right) = \cr y = {{\arcsin \left( {\sqrt {1/4} } \right)} \over {\sqrt {1 - 1/4} \sqrt {1/4} }} = {{4\pi } \over {6\sqrt 3 }} = {{2\pi } \over {3\sqrt 3 }} \cr} $$