Mostrar que $\sum\limits_{n=0}^{\infty} \binom{3n}{n} (\frac{4}{125})^n=\frac{1}{2\pi i}\int_{C(0;1)}\frac{-125}{(z-4)(4z^2+28z-1)}dz$

Question

Definir $C(0;1)$ a ser el círculo con el centro $0$ y radio de $1$ recorrido en el sentido contrario. Mostrar que $$\sum\limits_{n=0}^{\infty} \binom{3n}{n} \left(\frac{4}{125}\right)^n=\frac{1}{2\pi i}\int_{C(0;1)}\frac{-125}{(z-4)(4z^2+28z-1)}dz \tag{1}$$

Sé que $$4z^2+28z-1=4\left(z-\frac{-7+5\sqrt 2}{2}\right)\left(z-\frac{-7-5\sqrt 2}{2}\right)$$ and I managed to show that $$\frac{1}{2\pi i}\int_{C(0;1)}\frac{-125}{(z-4)(4z^2+28z-1)}dz=\frac{15\sqrt 2}{28} +\frac{5}{14}$$ by Cauchy's Integral Formula where $z=\frac{-7+5\sqrt 2}{2}$ is the only singularity in $C(0;1)$.

Ahora mi pregunta es, hay alguna manera de mostrar a $(1)$ por Laurent expansión de la serie junto con el binomio identidad? Yo soy la menor idea de cómo puedo proceder.

Answer 1

Para lidiar con la LHS, comience con la identidad, válidos para todo entero $n\geqslant0$, $${3n\choose n}=[z^n](1+z)^{3n}=[z^0]z^{-n}(1+z)^{3n}$$ hence, for $|u|$ small enough, $$S(u)=\sum_{n=0}^\infty{3n\choose n}u^n$$ is $$S(u)=\frac1{2i\pi}\int_C\sum_{n=0}^\infty u^nz^{-n}(1+z)^{3n}\frac{dz}z=\frac1{2i\pi}\int_C\frac1{1-uz^{-1}(1+z)^3}\frac{dz}z$$ that is, $$S(u)=\frac1{2i\pi}\int_C\frac1{a(z)}dz$$ with $$a(z)=z-u(1+z)^3$$ For $u=4/125$, $a(z)$ has three simple poles, the only one inside $C$ is $$w=\frac{5\sqrt2-7}2$$ hence the residue formula yields $$S(u)=\frac1{a'(w)}=\frac1{1-3u(1+w)^2}=\frac{1+w}{1-2w}$$ y queda por comprobar que el último cociente es el valor deseado.