¿Es posible obtener la suma de las siguientes series sin utilizar funciones hipergeométricas?

Question

Sé que la siguiente serie: $$ \ sum_ {n = 1} ^ {+ \ infty} \ frac {(n!) ^ 2} {(2n)!} $$ converge. Si lo conecto en Wolphram Alpha, puedo ver que su suma es $$ \ frac {1} {27} \ left (9 + 2 \ sqrt {3} \ pi \ right). $$ ¿Es posible obtenerlo sin el uso de las funciones hipergeométricas?

Answer 1

Empecé por el hecho de que

$\Gamma(n+\frac{1}{2})=\frac{(2n)!}{4^n n!}\sqrt{\pi}$ } Dividir ambos lados por $n!$ y expresar $\frac{(n!)^2}{(2n)!}$

Tenemos

$\frac{(n!)^2}{(2n)!}=\frac{n!}{4^n \Gamma(n+\frac{1}{2})}\sqrt\pi=\frac{\Gamma(n+1)}{4^n \Gamma(n+\frac{1}{2})}\Gamma(\frac{1}{2})$

Introducir $\beta$ función y tomar la suma de los dos lados de $0$ a $\infty$

$S=\sum\limits_{n=1}^\infty\frac{(n!)^2}{(2n)!}=\sum\limits_{n=0}^\infty \frac{2n+1}{2^{2n+1}}\beta(n+1,\frac{1}{2})-1$

Basado en la definición de $\beta$ función puede ser escrito

$S=\sum\limits_{n=0}^\infty \frac{2n+1}{2^{2n+1}}\int\limits_0^1\frac{t^n}{ \sqrt{1-t}} dt-1=\int\limits_0^1\sum\limits_{n=0}^\infty\frac{2n+1}{2^{2n+1}}\frac{t^n}{ \sqrt{1-t}}dt-1$

La integral se puede dividir en dos partes:

$\int\limits_0^1\frac{1}{\sqrt{1-t}}\sum\limits_{n=0}^\infty n(\frac{t}{4})^n dt+\frac{1}{2}\int\limits_0^1\frac{1}{\sqrt{1-t}}\sum\limits_{n=0}^\infty (\frac{t}{4})^n dt-1 $

Tome $\frac{t}{4}\sum\limits_{n=0}^\infty n(\frac{t}{4})^{n-1}=t\frac{d}{dt}\sum\limits_{n=0}^\infty (\frac{t}{4})^n=\frac{4t}{(4-t)^2}$ y $\sum\limits_{n=0}^\infty (\frac{t}{4})^n=\frac{4}{4-t}$ en cuenta:

$S=\int\limits_0^1\frac{2(4+t)}{\sqrt{1-t}(4-t)^2}dt-1$

Deje $x=\sqrt{1-t}$ entonces $S=4\int\limits_0^1 \frac{(5-x^2)}{(3+x^2)}dx-1$

La formación de la integral de la siguiente manera:

$S=\frac{8}{9}\int\limits_0^1\frac{1}{(1+(\frac{x}{\sqrt3})^2)^2}dx+\frac{4}{3}\int\limits_0^1\frac{1-(\frac{x}{\sqrt3})^2}{(1+(\frac{x}{\sqrt3})^2)^2}dx-1$

La aplicación de la siguiente sustitución:$\frac{x}{\sqrt3}=\tan \theta$ nos receie:

$S=\frac{8\sqrt3}{9}\int\limits_0^{\frac{\pi}{6}}\cos^2 \theta d\theta+\frac{4\sqrt3}{3}\int\limits_0^{\frac{\pi}{6}}\cos2\theta d\theta-1=\frac{2\sqrt3\pi}{27}+\frac{1}{3}$

Answer 2

El uso de series geométricas (y sus derivados), obtenemos $$ \sum_{n=0}^\infty(2n+1)x^n=\frac{1+x}{(1-x)^2}\tag1 $$ Deje $\alpha=\frac{1+i\sqrt3}2$, luego $$ \begin{align} \sum_{n=0}^\infty\frac{n!^2}{(2n)!} &=\sum_{n=0}^\infty(2n+1)\int_0^1t^n(1-t)^n\,\mathrm{d}t\tag2\\ &=\int_0^1\frac{1+t(1-t)}{(1-t(1-t))^2}\,\mathrm{d}t\tag3\\[3pt] &=\int_0^1\frac{1+t-t^2}{\left(1-t+t^2\right)^2}\,\mathrm{d}t\tag4\\ &=\int_0^1\left(-\frac23\frac1{(t-\alpha)^2}-\frac23\frac1{(t-\bar\alpha)^2}+i\frac1{3\sqrt3}\left(\frac1{t-\bar\alpha}-\frac1{t-\alpha}\right)\right)\mathrm{d}t\tag5\\[3pt] &=\left[\color{#C00}{\frac23\frac1{t-\alpha}}+\color{#090}{\frac23\frac1{t-\bar\alpha}}+i\frac1{3\sqrt3}\big(\color{#00F}{\log(t-\bar\alpha)}\color{#C90}{-\log(t-\alpha)}\big)\right]_0^1\tag6\\[6pt] &=\color{#C00}{\frac23}+\color{#090}{\frac23}+\color{#00F}{\frac\pi{9\sqrt3}}\color{#C90}{+\frac\pi{9\sqrt3}}\tag7\\[6pt] &=\frac43+\frac{2\pi}{9\sqrt3}\tag8 \end{align} $$ Explicación:
$(2)$: Función Beta
$(3)$: aplicar $(1)$
$(4)$: ampliar
$(5)$: Fracciones Parciales
$(6)$: integrar cada término
$(7)$: evaluar en los límites de
$(8)$: combinar

Restando el $n=0$ plazo, obtenemos $$ \sum_{n=1}^\infty\frac{n!^2}{(2n)!}=\frac13+\frac{2\pi}{9\sqrt3}\tag9 $$

Answer 3

Si también acepta alternativas sin sentido:

$\displaystyle\sum\limits_{n=1}^\infty\frac{n!^2}{(2n)!} = \sum\limits_{n=1}^\infty\frac{1}{(2n)!} \int\limits_0^\infty\frac{t^n}{e^t}dt \int\limits_0^\infty\frac{s^n}{e^s}ds = \int\limits_0^\infty \int\limits_0^\infty \frac{\cosh(\sqrt{ts})-1}{e^{t+s}} dt ds$

$\displaystyle \int\limits_0^\infty \frac{\cosh(\sqrt{ts})-1}{e^s} dt = \frac{\sqrt{\pi}}{2}e^{t/4}\sqrt{t}~\text{erf}\left(\frac{\sqrt{t}}{2}\right) $

$\displaystyle a>0 :\enspace \int\limits_0^\infty \frac{\sqrt{t}~\text{erf}\left(\frac{\sqrt{t}}{2}\right)}{e^{at}} dt = \frac{\frac{2\sqrt{a}}{4a+1} + \cot^{-1}(2\sqrt{a})}{\sqrt{\pi}a^{3/2}}\enspace$ ; $~$ aquí: $\enspace\displaystyle a:=\frac{3}{4}$

ver por ejemplo erf (x)