Función generadora ordinaria para $\binom{3n}{n}$

Question

La función generadora ordinaria para los coeficientes binomiales centrales, es decir, $$\displaystyle \sum_{n=0}^{\infty} \binom{2n}{n} x^{n} = \frac{1}{\sqrt{1-4x}} \, , \quad |x| < \frac{1}{4},$$

puede deducirse utilizando la fórmula de duplicación de la función gamma y el teorema binomial generalizado.

Pero ¿qué pasa con la función generadora ordinaria para $ \displaystyle \binom{3n}{n}$ ?

Según Wolfram Alpha, $$ \sum_{n=0}^{\infty} \binom{3n}{n} x^{n} = \frac{2\cos \left(\frac{1}{3} \arcsin \left(\frac{3 \sqrt{3x}}{2} \right)\right)}{\sqrt{4-27x}} \, , \quad |x| < \frac{4}{27}. $$

¿Alguna sugerencia para demostrarlo?

EDITAR :

Abordar este problema utilizando el hecho de que $$ \text{Res} \Big[ \frac{(1+z)^{3n}}{z^{n+1}},0 \Big] = \binom{3n}{n},$$

Recibo $$ \sum_{n=0}^{\infty} \binom{3n}{n} x^{n} = -\frac{1}{2 \pi i x} \int_{C} \frac{dz}{z^{3}+3z^{2}+3z - \frac{z}{x}+1},$$

donde $C$ es un círculo centrado en $z=0$ tal que cada punto del círculo satisface $ \displaystyle\Big|\frac{x(1+z)^{3}}{z} \Big| < 1$ .

Evaluar esa integral de contorno parece bastante difícil.

Answer 1

Conversión estándar a series hipergeométricas y uso de la duplicación y triplicación de las $\Gamma$ -función produce \begin{equation} \sum_{n\ge 0}\binom{3n}{n}z^n = \sum_{n\ge 0}\frac{\Gamma(3n+1)}{\Gamma(2n+1)}\frac{z^n}{n!} = \sum_{n\ge 0}\frac{\Gamma(n+1/3)\Gamma(n+2/3)\Gamma(n+1)} {\Gamma(n+1/2)\Gamma(n+1)}\frac{z^n}{n!} \frac{(2\pi)^{1/2} 3^{3n+1/2}}{2\pi2^{2n+1/2}} \end{equation}

\begin{equation} = \frac{\Gamma(1/3)\Gamma(2/3)}{\Gamma(1/2)} \sum_{n\ge 0}\frac{\Gamma(n+1/3)\Gamma(n+2/3)\Gamma(1/2)} {\Gamma(n+1/2)\Gamma(1/3)\Gamma(2/3)}\frac{z^n}{n!} \frac{(2\pi)^{1/2} 3^{3n+1/2}}{2\pi2^{2n+1/2}} \end{equation}

\begin{equation} = \sqrt{3/(4\pi)} \frac{\Gamma(1/3)\Gamma(2/3)}{\Gamma(1/2)} \sum_{n\ge 0}\frac{\Gamma(n+1/3)\Gamma(n+2/3)\Gamma(1/2)} {\Gamma(n+1/2)\Gamma(1/3)\Gamma(2/3)}\frac{(2^{-2} 3^3z)^n}{n!} \end{equation}

\begin{equation} = \sqrt{3/(4\pi)} \frac{\Gamma(1/3)\Gamma(2/3)}{\Gamma(1/2)} \sum_{n\ge 0}\frac{(1/3)_n (2/3)_n} {(1/2)_n}\frac{(2^{-2} 3^3z)^n}{n!} \end{equation}

\begin{equation} = \sqrt{3/(4\pi)} \frac{\Gamma(1/3)\Gamma(2/3)}{\Gamma(1/2)}{} _2F_1(1/3, 2/3; 1/2; 2^{-2}3^3z) \end{equation} \begin{equation} = \sqrt{3} \frac{\Gamma(1/3)\Gamma(2/3)}{2\pi}{} _2F_1(1/3, 2/3; 1/2; 2^{-2}3^3z) \end{equation} Además ecuación 15.1.18 de Abramowitz/Stegun esta función hipergeométrica gaussiana puede reducirse mediante \begin{equation} _2F_1(a,1-a;1/2;\sin^2z)=\frac{\cos[(2a-1)z]}{\cos z} \end{equation} con el parámetro $a=1/3$ . Además $\Gamma(1/3)\Gamma(2/3) = 2\pi/\sqrt{ 3}$ según Secuencia OEIS A073006 .

Answer 2

Proposición : $$ f(z,a) = \int_{0}^{\infty} \dfrac{x^z}{x^2 +2ax +1} \mathrm{d}x = \dfrac{\pi}{\sin \pi z} \dfrac{\sin((1-z) \cos^{-1}(a))}{\sin(\cos^{-1}(a))}$$

Prueba : Tenga en cuenta que,

$$ \sum_{n=0}^{\infty}{{U}_{n}(a) {(-x)}^{n}} = \dfrac{1}{x^2 +2ax+1} $$

donde $ U_{n} (x) $ es el polinomio de Chebyshev de segundo tipo.

$$ \implies \sum_{n=0}^{\infty}{{U}_{n}(a) \Gamma(n+1) \frac{{(-x)}^{n}}{n!}} = \frac{1}{x^2 +2ax +1} $$

Usando el Teorema Maestro de Ramanujan, tenemos,

$$ f(z,a) = \dfrac{\pi}{\sin \pi z} U_{-s} (a) $$

$$ = \dfrac{\pi}{\sin \pi z} \dfrac{\sin((1-z) \cos^{-1}(a))}{\sin(\cos^{-1}(a))} \quad \square $$

Ahora, usando la Fórmula de Triplicación Gamma,

$$ (3n)! \; = \; \Gamma(3n+1) \; = \; \dfrac{1}{2\pi} 3^{2n+\frac12} \Gamma \left(n+\dfrac13\right)\Gamma \left(n+\dfrac23\right)\Gamma(n+1) $$

y por lo tanto

$$ {3n \choose n} \; = \; \frac{3^{3n+\frac12}}{2\pi} \times \frac{\Gamma \left(n+\dfrac13\right)\Gamma \left(n+\dfrac23 \right)}{\Gamma(2n+1)} \; = \;\frac{3^{2n+\frac12}}{2\pi} \operatorname{B} \left(n+\dfrac23,n+\dfrac13\right) $$

Así,

$$ \begin{array}{rcl}\displaystyle \text{S} \; =\; \sum_{n=0}^\infty {3n \choose n}x^n & = & \displaystyle\frac{\sqrt{3}}{2\pi}\sum_{n=0}^\infty 3^{2n} x^n \int_0^1 u^{n-\frac13}(1-u)^{n-\frac23}\,du \\ & = & \displaystyle \frac{\sqrt{3}}{2\pi} \int_0^1 \frac{u^{-\frac13}(1-u)^{-\frac23}}{1 - 27xu(1-u)}\,du \; =\; \frac{\sqrt{3}}{2\pi}\int_0^1 \frac{u^{-\frac13}(1-u)^{-\frac23}}{1 - 4a^2\, u(1-u)}\,du \end{array} $$

donde $a = \dfrac{3}{2} \sqrt{3x} $ . Sustituyendo $u = \sin^2\theta$ y luego $\tan\theta = t$ tenemos,

$$\text{S} = \dfrac{\sqrt{3}}{2 \pi} \int_0^\infty \frac{t^{\frac{1}{3}}(1 + t^2)}{(t^2 + 2at + 1)(t^2 - 2at + 1)} \mathrm{d}t $$

Usando la Fracción Parcial y la Proposición, tenemos,

$$\text{S} = \dfrac{\sqrt{3}}{2\pi} \left[ \dfrac{1}{2} f \left( \dfrac{1}{3} , -a \right) + \dfrac{1}{2} f\left( \dfrac{7}{3} , -a \right) - \dfrac{1}{4a} f\left( \dfrac{4}{3} , -a \right) - \dfrac{1}{4a} f\left( \dfrac{10}{3} , -a \right) + \dfrac{1}{2} f \left( \dfrac{1}{3} , a \right) + \dfrac{1}{2} f\left( \dfrac{7}{3} , a \right) + \dfrac{1}{4a} f\left( \dfrac{4}{3} , a \right) + \dfrac{1}{4a} f\left( \dfrac{10}{3} , a \right)\right] $$

Tras simplificar, tenemos,

$$ \text{S} = \dfrac{2\cos \left(\frac{1}{3} \sin^{-1} \left(\dfrac{3\sqrt{3x}}{2} \right)\right)}{\sqrt{4-27x}} \quad \square $$

Answer 3

La función generadora ordinaria de ${kn \choose n}$ es (la derivada de) una expansión en serie de potencias para la raíz real cerca de $1$ de un grado $n$ polinomio que se parece mucho a $$ x^k - x - t=0.$$ Existe una interpretación combinatoria que utiliza $k$ -generalizaciones de los números catalanes.

Por tanto, la fracción de la pregunta procede de resolver una ecuación cúbica, y la solución trigonométrica es para el caso con tres raíces reales. Esto es coherente con $x^3 - x = t$ para pequeños $t$ .

Lamentablemente no recuerdo el polinomio exacto. "Quíntica hipergeométrica" en Wikipedia encuentra

http://en.wikipedia.org/wiki/Bring_radical#Series_representation

Answer 4

La siguiente es una demostración de la identidad hipergeométrica $$_2F_1\left(a,1-a;\frac{1}{2};\sin^2(x)\right)=\frac{\cos[(2a-1)x]}{\cos x} \, , \quad - \frac{\pi}{2} < x < \frac{\pi}{2} \tag{1}.$$

Esta identidad se utiliza en la respuesta de R. J. Mathar.

Similar a mi respuesta aquí utilizaré primero el teorema del binomio generalizado para demostrar que $$_2F_1\left(a,1-a;\frac{1}{2};-z^{2}\right) = \frac{1}{2 \sqrt{1+z^{2}}} \left[\left(\sqrt{1+z^{2}}+z \right)^{2a-1} + \left(\sqrt{1+z^{2}}-z \right)^{2a-1} \right] \, , \quad |z| <1. $$

Identidad $(1)$ si $z$ se sustituye por $i \sin (x)$ .

---

\begin{align} &\frac{1}{2\sqrt{1+z^{2}}} \left[\left(\sqrt{1+z^{2}}+z \right)^{2a-1} + \left(\sqrt{1+z^{2}}-z \right)^{2a-1}\right] \\ &= \frac{1}{2\sqrt{1+z^{2}}} \left[\sum_{k=0}^{\infty} \binom{2a-1}{k} z^{k}\left(\sqrt{1+z^{2}} \right)^{2a-1-k} + \sum_{j=0}^{\infty} \binom{2a-1}{j} (-z)^{j} \left(\sqrt{1+z^{2}} \right)^{2a-1-j}\right ] \\ &= \sum_{k=0}^{\infty} \binom{2a-1}{2k} z^{2k} (1+z^{2})^{a-1-k}\\ &= \sum_{k=0}^{\infty} \binom{2a-1}{2k} z^{2k} \sum_{l=0}^{\infty} \binom{a-1-k}{l}z^{2l}\\ & \stackrel{(2)}= \sum_{n=0}^{\infty} \sum_{m=0}^{n}\binom{2a-1}{2m} \binom{a-1-m}{n-m} z^{2n} \\ &=\sum_{n=0}^{\infty} \frac{\Gamma(2a)}{\Gamma(a-n)}\sum_{m=0}^{n} \frac{\Gamma(a-m)}{\Gamma(2m+1)\Gamma(2a-2m) \Gamma(n-m+1)} \, z^{2n} \\ & \stackrel{(3)}= \sum_{n=0}^{\infty} \frac{\Gamma(2a)}{\Gamma(a-n)} \sum_{m=0}^{n} \frac{\pi}{2^{2a-1}} \frac{1}{\Gamma \left(m+\frac{1}{2}\right) \Gamma(m+1) \Gamma(a-m+\frac{1}{2}) \Gamma(n-m+1)} \, z^{2n} \\ &= \sum_{n=0}^{\infty} \frac{\Gamma(2a)}{\Gamma(a-n)} \frac{\pi}{2^{2a-1}} \frac{1}{\Gamma(n+ \frac{1}{2}) \Gamma(a+ \frac{1}{2})} \sum_{m=0}^{n} \binom{n-\frac{1}{2}}{n-m} \binom{a-\frac{1}{2}}{m} \, z^{2n} \\ & \stackrel{(4)}= \sum_{n=0}^{\infty} \frac{\Gamma(2a)}{\Gamma(a-n)} \frac{\pi}{2^{2a-1}}\frac{1}{\Gamma(n+ \frac{1}{2}) \Gamma(a+ \frac{1}{2})} \binom{a+n-1}{n} \, z^{2n} \\ & \stackrel{(5)} = \sum_{n=0}^{\infty} \frac{\Gamma(a+n)}{\Gamma(a-n)} \frac{\sqrt{\pi}}{\Gamma (n+\frac{1}{2})} \, \frac{z^{2n}}{n!} \frac{\Gamma(a)}{\Gamma(a)} \\ & \stackrel{(6)} = \sum_{n=0}^{\infty} \frac{\Gamma(a+n)}{\Gamma(a)} \frac{\Gamma(1-a+n)}{\Gamma(1-a)} \frac{\Gamma(\frac{1}{2})}{\Gamma(n+ \frac{1}{2})} \frac{(-z^{2})^{n}}{n!} \\ &= \, _2F_{1} \left(a, 1-a; \frac{1}{2}; -z^{2} \right) \end{align}

---

$(2)$ : Producto de Cauchy

$(3)$ : Fórmula de duplicación de la función gamma

$(4)$ : Identidad Chu-Vandermonde

$(5)$ : Fórmula de duplicación de nuevo

$(6)$ : $\frac{\Gamma(a)}{\Gamma(a-n)}= (-1)^{n} \frac{\Gamma(1-a+n)}{\Gamma(1-a)}$

---