¿Por qué es $\sum_{k=0}^{\infty} \frac{k!}{\prod_{j=0}^{k} \left(2j+3\right)} = 2-\frac{\pi}{2}$ ¿y cómo se deriva esta solución?

Question

Hace poco me encontré con el problema:

$$\sum_{k=0}^{\infty} \frac{k!}{\prod_{j=0}^{k} \left(2j+3\right)}$$ y decidí intentar encontrar su solución. Empecé escribiendo un programa que me dio la respuesta $0.4292036732051...$ lo que me pareció que probablemente significaba que la solución era $2-\frac{\pi}{2}$ pero quería ver si podía probarlo. Comencé manipulando el denominador en un doble factorial resultando en: $$\sum_{k=0}^{\infty} \frac{k!}{\left(2k+3\right)!!}$$ Entonces, pensé que las cosas serían más fáciles de trabajar si sólo tuviera factoriales regulares. Esto me dio: $$\sum_{k=0}^{\infty} \frac{4\cdot2^k k! \left(k+2\right)!}{\left(2k+4\right)!}$$ Desgraciadamente no tenía mucha pista para partir de aquí teniendo en cuenta que no he tratado con factoriales a menudo, y mucho menos en series infinitas como esta. Tengo curiosidad por saber cómo se puede avanzar desde aquí y también cómo resolver series infinitas que tienen una estructura similar. Cualquier ayuda se agradece.

Answer 1

Obtenemos \begin{align*} \sum_{k=0}^\infty\frac{k!}{(2k+3)!!}&=\sum_{k=0}^\infty\frac{k!(2k+2)!!}{(2k+3)!}\\ &=\sum_{k=0}^\infty\frac{k!2^{k+1}(k+1)!}{(2k+3)!}\\ &=\sum_{k=0}^\infty\binom{2k}{k}^{-1}\frac{2^k}{(2k+1)(2k+3)}\\ &=\sum_{k=0}^\infty\binom{2k}{k}^{-1}\frac{2^{k-1}}{2k+1}-\sum_{k=0}^\infty\binom{2k}{k}^{-1}\frac{2^{k-1}}{2k+3}\tag{1} \end{align*}

Utilizamos una representación de los coeficientes binomiales recíprocos a través de la _Función beta_ :

\begin{align*} \binom{n}{k}^{-1}=(n+1)\int_0^1z^k(1-z)^{n-k}\,dz\tag{2} \end{align*}

y la serie de la izquierda de (1) se puede calcular como

\begin{align*} \color{blue}{\sum_{k=0}^\infty\binom{2k}{k}^{-1}\frac{2^{k-1}}{2k+1}} &=\sum_{k=0}^\infty 2^{k-1}\int_0^1z^k(1-z)^k\,dz\tag{3}\\ &=\frac{1}{2}\int_{0}^{1}\sum_{k=0}^\infty \left(2z(1-z)\right)^k\,dz\\ &=\frac{1}{2}\int_{0}^1\frac{dz}{1-2z(1-z)}\tag{4}\\ &=\frac{1}{2}\int_{0}^{1}\frac{dz}{z^2+(1-z)^2}\\ &=\frac{1}{2}\int_{0}^{\infty}\frac{du}{1+u^2}\tag{5}\\ &\,\,\color{blue}{=\frac{\pi}{4}}\tag{6} \end{align*}

Comentario:

• En (3) utilizamos la identidad (2).

• En (4) aplicamos la _expansión de la serie geométrica_ .

• En (5) utilizamos la sustitución $u=\frac{1-z}{z}, du=-\frac{1}{z^2}dz$ .

También queremos aplicar (2) a la serie derecha de (1). Para hacerlo convenientemente necesitamos un poco de trabajo preparatorio: \begin{align*} \sum_{k=0}^\infty&\binom{2k}{k}^{-1}\frac{2^{k-1}}{2k+3}\\ &=\sum_{k=0}^\infty\frac{k!k!}{(2k)!}\cdot\frac{2^{k-1}}{2k+3}\\ &=\sum_{k=0}^\infty\frac{k!(k+1)!(2k+1)}{(2k+1)!(k+1)}\cdot\frac{2^{k-1}}{2k+3}\\ &=\sum_{k=0}^\infty\frac{(k+1)!(k+1)!}{(2k+2)!}\cdot\frac{2^{k+1}}{2k+3}-\sum_{k=0}^\infty\frac{k!(k+1)!}{(2k+1)!(k+1)}\cdot\frac{2^{k-1}}{2k+3}\\ &=\sum_{k=0}^\infty\binom{2k+2}{k+1}^{-1}\frac{2^{k+1}}{2k+3}-\sum_{k=0}^\infty\binom{2k}{k}^{-1}\frac{2^{k-1}}{(2k+1)(2k+3)}\\ &=\sum_{k=0}^\infty\binom{2k+2}{k+1}^{-1}\frac{2^{k+1}}{2k+3} -\sum_{k=0}^\infty\binom{2k}{k}^{-1}\frac{2^{k-2}}{2k+1} +\sum_{k=0}^\infty\binom{2k}{k}^{-1}\frac{2^{k-2}}{2k+3}\tag{7}\\ \end{align*} En la última línea (7) utilizamos una descomposición parcial de la fracción como hicimos en (1).

Ahora estamos bien preparados para hacer el cálculo. Obtenemos junto con (6)

\begin{align*} \color{blue}{\sum_{k=0}^\infty \binom{2k}{k}^{-1}\frac{2^{k-2}}{2k+3}} &=\sum_{k=0}^\infty\binom{2k+2}{k+1}^{-1}\frac{2^{k+1}}{2k+3}-\frac{\pi}{8}\\ &=\sum_{k=0}^\infty2^{k+1}\int_{0}^1z^{k+1}(1-z)^{k+1}\,dz-\frac{\pi}{8}\\ &=\sum_{k=1}^\infty2^k\int_{0}^1z^k(1-z)^k\,dz-\frac{\pi}{8}\\ &=\frac{\pi}{2}-2^0\int_{0}^1\,dz-\frac{\pi}{8}\\ &\,\,\color{blue}{=\frac{3}{8}\pi-1}\tag{8} \end{align*}

Finalmente concluimos de (1) junto con (6) y (8) \begin{align*} \color{blue}{\sum_{k=0}^\infty\frac{k!}{(2k+3)!!}} &=\sum_{k=0}^\infty\binom{2k}{k}^{-1}\frac{2^{k-1}}{2k+1}-\sum_{k=0}^\infty\binom{2k}{k}^{-1}\frac{2^{k-1}}{2k+3}\\ &=\frac{\pi}{4}-2\left(\frac{3}{8}\pi-1\right)\\ &\,\,\color{blue}{=2-\frac{\pi}{2}} \end{align*}

y la afirmación es la siguiente.

Answer 2

A partir de $$4\sum_{k=0}^{\infty} \frac{2^k k! \left(k+2\right)!}{\left(2k+4\right)!} $$ Considere $$4\sum_{k=0}^{\infty}\frac{k! (k+2)!}{ (2 k+4)!}(2t)^{2k}$$ y, ahora, el truco es reconocer (no tan obvio) que esto es $$\frac{1}{t^2}-\frac{\sqrt{1-t^2} }{t^3}\sin ^{-1}(t)$$ Hacer $t=\frac 1 {\sqrt 2}$ y obtener el resultado.

Answer 3

$\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} \sum_{k = 0}^{\infty}{k! \over \prod_{j = 0}^{k}\pars{2j + 3}} & = \sum_{k = 0}^{\infty}{k! \over 2^{k + 1}\prod_{j = 0}^{k}\pars{j + 3/2}} = \sum_{k = 0}^{\infty}{k! \over 2^{k + 1}\pars{3/2}^{\overline{k + 1}}} \\[5mm] & = \sum_{k = 0}^{\infty}{1 \over 2^{k + 1}}\,{k! \over \Gamma\pars{3/2 + k + 1}/\Gamma\pars{3/2}} \\[5mm] & = \sum_{k = 0}^{\infty}\,{1 \over 2^{k + 1}}\, {\Gamma\pars{k + 1}\Gamma\pars{3/2} \over \Gamma\pars{k + 5/2}} \\[5mm] & = \sum_{k = 0}^{\infty}{1 \over 2^{k + 1}}\, \int_{0}^{1}t^{k}\pars{1 - t}^{1/2}\,\dd t \\[5mm] & = {1 \over 2}\int_{0}^{1}\root{1 - t} \sum_{k = 0}^{\infty}\pars{t \over 2}^{k}\,\dd t \\[5mm] & = \int_{0}^{1}{\root{1 - t} \over 2 - t}\,\dd t \,\,\,\stackrel{t\ =\ 1 - x^{2}}{=}\,\,\, 2\int_{0}^{1}\pars{1 - {1 \over 1 + x^{2}}}\,\dd x \\[5mm] & = \bbx{2 - {\pi \over 2}}\ \approx\ 0.4292 \end{align}