Evaluar

Question

Evaluar $g(k)$ si $\sum\limits_{n=0}^{\infty}(-1)^n\sum\limits_{j=0}^{k}{k \choose j}\frac{(-1)^j}{2n+2j+1}=\frac{\pi}{2^{2-k}}+g(k)$.

El conocido Gregorio de la Serie,

$$\sum_{n=0}^{\infty}\frac{(-1)^n}{2n+1}=\frac{\pi}{4}\tag1$$

Permítanos generalizar $(1)$ en términos de los coeficientes binomiales ${k \choose j}$,

Donde $k\ge0$

$$\sum_{n=0}^{\infty}(-1)^n\sum_{j=0}^{k}{k \choose j}\frac{(-1)^j}{2n+2j+1}=\frac{\pi}{2^{2-k}}+g(k)\tag2$$

Expanda $(2)$ para $k=1,2$ e $3$,

$$\sum_{n=0}^{\infty}(-1)^n\left(\frac{1}{2n+1}-\frac{1}{2n+3}\right)=\frac{\pi}{2}-1\tag3$$

$$\sum_{n=0}^{\infty}(-1)^n\left(\frac{1}{2n+1}-2\frac{1}{2n+3}+\frac{1}{2n+5}\right)=\pi-\frac{8}{3}\tag4$$

$$\sum_{n=0}^{\infty}(-1)^n\left(\frac{1}{2n+1}-\frac{3}{2n+3}+\frac{3}{2n+5}-\frac{1}{2n+5}\right)=2\pi-\frac{88}{15}\tag5$$

El patrón de $g(k)$ no es tan obvio, yo no era capaz de determinar la forma cerrada $g(k)$

Q: ¿Cómo podemos encontrar la forma cerrada para $(2)?$

Answer 1

Vamos a hacer uso de la identidad $$ \sum_{k=0}^n(-1)^k\binom{n}{k}\frac1{k+\alpha}=\frac{n!\,\Gamma(\alpha)}{\Gamma(n+1+\alpha)}\tag1 $$ que puede ser demostrado por inducción en $n$.

---

La suma en la pregunta es $$ \begin{align} &\sum_{n=0}^\infty(-1)^n\sum_{j=0}^k\binom{k}{j}\frac{(-1)^j}{2n+2j+1}\tag2\\ &=\frac12\sum_{n=0}^\infty(-1)^n\sum_{j=0}^k\binom{k}{j}\frac{(-1)^j}{n+j+\frac12}\tag3\\ &=\frac12\sum_{n=0}^\infty(-1)^n\frac{k!\,\Gamma\!\left(n+\frac12\right)}{\Gamma\!\left(n+k+\frac32\right)}\tag4\\ &=\frac12\sum_{n=0}^\infty(-1)^n\int_0^1(1-t)^kt^{n-\frac12}\,\mathrm{d}t\tag5\\ &=\frac12\int_0^1\frac{(1-t)^k}{(1+t)\sqrt{t}}\,\mathrm{d}t\tag6\\ &=\int_0^1\frac{\left(1-t^2\right)^k}{1+t^2}\,\mathrm{d}t\tag7\\ &=\int_0^1\frac{\left(2-\left(1+t^2\right)\right)^k}{1+t^2}\,\mathrm{d}t\tag8\\ &=2^k\left(\frac\pi4+\sum_{j=1}^k\left(-\frac12\right)^j\binom{k}{j}\int_0^1\left(1+t^2\right)^{j-1}\,\mathrm{d}t\right)\tag9\\ &=2^k\left(\frac\pi4+\sum_{j=1}^k\left(-\frac12\right)^j\binom{k}{j}\sum_{i=0}^{j-1}\binom{j-1}{i}\frac1{2i+1}\right)\tag{10}\\ &=2^k\left(\frac\pi4-\frac12\sum_{j=0}^{k-1}\left(-\frac12\right)^j\sum_{m=1}^k\binom{k-m}{j}\sum_{i=0}^{j}\binom{j}{i}\frac1{2i+1}\right)\tag{11}\\ &=2^k\left(\frac\pi4-\frac12\sum_{m=1}^k\sum_{i=0}^{k-1}\sum_{j=i}^{k-m}\left(-\frac12\right)^j\binom{k-m}{i}\binom{k-m-i}{j-i}\frac1{2i+1}\right)\tag{12}\\ &=2^k\left(\frac\pi4-\frac12\sum_{m=1}^k\sum_{i=0}^{k-1}\sum_{j=0}^{k-m-i}\left(-\frac12\right)^{j+i}\binom{k-m}{i}\binom{k-m-i}{j}\frac1{2i+1}\right)\tag{13}\\ &=2^k\left(\frac\pi4-\frac12\sum_{m=1}^k\sum_{i=0}^{k-1}\left(-\frac12\right)^i\binom{k-m}{i}\left(\frac12\right)^{k-m-i}\frac1{2i+1}\right)\tag{14}\\ &=2^k\left(\frac\pi4-\frac14\sum_{m=1}^k\sum_{i=0}^{k-m}(-1)^i\binom{k-m}{i}\left(\frac12\right)^{k-m}\frac1{i+\frac12}\right)\tag{15}\\ &=2^k\left(\frac\pi4-\frac14\sum_{m=1}^k\left(\frac12\right)^{k-m}\frac{(k-m)!\,\Gamma\!\left(\frac12\right)}{\Gamma\!\left(k-m+\frac32\right)}\right)\tag{16}\\ &=2^k\left(\frac\pi4-\frac14\sum_{m=0}^{k-1}\left(\frac12\right)^m\frac{m!\,\Gamma\!\left(\frac12\right)}{\Gamma\!\left(m+\frac32\right)}\right)\tag{17}\\ &=2^k\left(\frac\pi4-\frac12\sum_{m=0}^{k-1}\frac{m!}{(2m+1)!!}\right)\tag{18}\\ \end{align} $$ Explicación:
$\phantom{1}(3)$: traer a $\frac12$ frente
$\phantom{1}(4)$: aplicar $(1)$
$\phantom{1}(5)$: aplicar la Función Beta
$\phantom{1}(6)$: suma de $n$
$\phantom{1}(7)$: sustituto $t\mapsto t^2$
$\phantom{1}(8)$: $1-t^2=2-\left(1+t^2\right)$
$\phantom{1}(9)$: aplicar el Teorema del Binomio
$(10)$: aplicar el Teorema del Binomio y de integrar
$(11)$: $\binom{k}{j}=\sum\limits_{m=1}^k\binom{k-m}{j-1}$ , y el sustituto de $j\mapsto j+1$
$(12)$: reordenar suma y $\binom{k-m}{j}\binom{j}{i}=\binom{k-m}{i}\binom{k-m-i}{j-i}$
$(13)$: sustituto $j\mapsto j+i$
$(14)$: aplicar el Teorema del Binomio
$(15)$: cambio de los factores de $2$
$(16)$: aplicar $(1)$
$(17)$: sustituto $m\mapsto k-m$
$(18)$: reescribir las funciones Gamma, como factoriales

Por lo tanto, $$ \bbox[5px,border:2px solid #C0A000]{g(k)=-2^{k-1}\sum_{m=0}^{k-1}\frac{m.}{(2m+1)!!}}\la etiqueta{19} $$

---

$(4)$ dice que asintóticamente, el total de la pregunta es $\frac12\sqrt{\frac\pi{k}}$, que se desvanece como $k\to\infty$. Por lo tanto, la suma de $(18)$ debe converger rápidamente a $\frac\pi2$. De hecho, la suma de $(18)$ es la suma parcial de la suma en esta pregunta cuyo límite es $\frac\pi2$.

Answer 2

Tenga en cuenta que las fracciones parciales de la descomposición de la matriz inversa de la Creciente Factorialnos da: $$ \eqalign{ & \left( {x - 1} \right)^{\,\underline {\, - \left( {m + 1} \right)\,} } = {1 \over {x^{\,\overline {\,m + 1\,} } }} = {{\Gamma (x)} \over {\Gamma (x + m + 1)}} = \;\quad \left| {\;0 \le {\rm integer }\, m} \right.\quad = \cr & = \sum\limits_{0\, \le \,k\, \le \,m} {{1 \over {x + k}}\left( {{{\left( { - 1} \right)^{\,k} } \over {\left( {m - k} \right)!k!}}} \right)} = \sum\limits_{0\, \le \,k\, \le \,m} {{1 \over {x + k}}\left( {{{\left( { - 1} \right)^{\,k} } \over {m.}}\binom{m}{k} } \right)} \cr} $$

Así $$ \eqalign{ & \sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,k} \right)} {\left( { - 1} \right)^{\,j} \binom{k}{j} {1 \over {2n + 2j + 1}}} = \cr Y = {1 \over 2}\sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,k} \right)} {\left( { - 1} \right)^{\,j} \binom{k}{j} {1 \over {\left( {n + 1/2 + j} \right)}}} = \cr y = {{k!} \over {2\left( {n + 1/2} \right)^{\,\overline {\,k + 1\,} } }} \cr} $$

Tenemos entonces que la suma de $n$ es

$$ \eqalign{ & S(k) = \sum\limits_{0\, \le \,n} {\left( { - 1} \right)^{\n} \sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,k} \right)} {\left( { - 1} \right)^{\,j} \left( \matriz{ k \cr j \cr} \right){1 \over {2n + 2j + 1}}} } = \cr Y = {1 \over 2}\sum\limits_{0\, \le \,n} {\left( { - 1} \right)^{\n} {{k!} \over {\left( {n + 1/2} \right)^{\,\overline {\,k + 1\,} } }}} = \cr Y = {1 \over {2\left( {k + 1} \right)}}\sum\limits_{0\, \le \,n} {\left( { - 1} \right)^{\n} {{1^{\,\overline {\,k + 1\,} } } \over {\left( {1 + n - 1/2} \right)^{\,\overline {\,k + 1\,} } }}} = \cr Y = {1 \over {2\left( {k + 1} \right)}}\sum\limits_{0\, \le \,n} {\left( { - 1} \right)^{\n} {{1^{\,\overline {\,n - 1/2\,} } } \over {\left( {2 + k} \right)^{\,\overline {\n - 1/2\,} } }}} = \cr & = {{1^{\,\overline {\, - 1/2\,} } } \más de {2\left( {k + 1} \right)\left( {2 + k} \right)^{\,\overline {\, - 1/2\,} } }} \sum\limits_{0\, \le \,n} {\left( { - 1} \right)^{\n} {{\left( {1/2} \right)^{\,\overline {\n\,} } } \over {\left( {3/2 + k} \right)^{\,\overline {\n\,} } }}} = \cr Y = {{\Gamma \left( {1/2} \right)\Gamma \left( {2 + k} \right)} \over {2\left( {k + 1} \right)\Gamma \left( 1 \right)\Gamma \left( {3/2 + k} \right) }} \sum\limits_{0\, \le \,n} {\left( { - 1} \right)^{\n} {{\left( {1/2} \right)^{\,\overline {\n\,} } } \over {\left( {3/2 + k} \right)^{\,\overline {\n\,} } }}} = \cr Y = {{\Gamma \left( {1/2} \right)\Gamma \left( {1 + k} \right)} \over {2\,\Gamma \left( {3/2 + k} \right)}}{}_2F_{\,1} \left( {\left. {\matriz{ {1/2\;,\;1} \cr {k + 3/2} \cr } \;} \right| - 1} \right) = \cr & = 2^{\,2\,k} {{\left( {k!} \right)^{\,2} } \over {\left( {2k + 1} \right)!}}\;\;{}_2F_{\,1} \left( {\left. {\matriz{ {1/2\;,\;1} \cr {k + 3/2} \cr } \;} \right| - 1} \right) \cr} $$

donde en la mitad de la derivación hemos usado la identidad $$ {{z^{\,\overline {\w\,} } } \over {\left( {z + a} \right)^{\,\overline {\w\,} } }} = {{z^{\,\overline {\,\,} } } \over {\left( {z + w} \right)^{\,\overline {\,\,} } }} $$ y al final, la duplicación de la fórmula para la Gamma $$ \Gamma \left( {2\,z} \right) = {{2^{\,2\,z - 1} } \over {\sqrt \pi }}\Gamma \left( z \right)\Gamma \left( {z + 1/2} \right) = 2^{\,2\,z - 1} {{\Gamma \left( z \right)\Gamma \left( {z + 1/2} \right)} \over {\Gamma \left( {1/2} \right)}} $$

Enfoque Alternativo

En realidad no es una más recta alternativas de abordaje a través de la Función Digamma $$ \eqalign{ & S(k) = \sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,k} \right)} {\left( { - 1} \right)^{\,j} \left( \matriz{ k \cr j \cr} \right)\sum\limits_{0\, \le \,n} {\left( { - 1} \right)^{\n} {1 \over {2n + 2j + 1}}} } = \cr & = \sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,k} \right)} {\left( { - 1} \right)^{\,j} \left( \matriz{ k \cr j \cr} \right)\sum\limits_{0\, \le \,m} {\left( {{1 \over {4m + 2j + 1}} - {1 \over {4m + 2j + 3}}} \right)} } = \cr Y = {1 \over 4}\sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,k} \right)} {\left( { - 1} \right)^{\,j} \left( \matriz{ k \cr j \cr} \right)\sum\limits_{0\, \le \,m} {\left( {{1 \over {m + j/2 + 1/4}} - {1 \más de {m + j/2 + 3/4}}} \right)} } = \cr Y = {1 \over 4}\sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,k} \right)} {\left( { - 1} \right)^{\,j} \left( \matriz{ k \cr j \cr} \right)\left( {\psi \left( {j/2 + 3/4} \right) - \psi \left( {j/2 + 1/4} \right)} \right)} = \cr Y = {1 \over 4}\sum\limits_{\left( {0\, \le } \right)\,j\,} {\left( \matriz{ k \cr 2j \cr} \right)\left( {\psi \left( {j + 3/4} \right) - \psi \left( {j + 1/4} \right)} \right) - \left( \matriz{ k \cr 2j + 1 \cr} \right)\left( {\psi \left( {j + 5/4} \right) - \psi \left( {j + 3/4} \right)} \right)} = \cr Y = {1 \over 4}\sum\limits_{\left( {0\, \le } \right)\,j\,} {\left( \matriz{ k + 1 \cr 2j + 1 \cr} \right)\psi \left( {j + 3/4} \right) - \left( \matriz{ k \cr 2j \cr} \right)\psi \left( {j + 1/4} \right) - \left( \matriz{ k \cr 2j + 1 \cr} \right)\psi \left( {j + 1 + 1/4} \right)} = \cr Y = {1 \over 4}\sum\limits_{\left( {0\, \le } \right)\,j\,} {\left( \matriz{ k + 1 \cr 2j + 1 \cr} \right)\left( {\psi \left( {j + 3/4} \right) - \psi \left( {j + 1/4} \right)} \right) - \left( \matriz{ k \cr 2j + 1 \cr} \right){1 \over {j + 1/4}}} \cr} $$

Ya podemos escribir (re. por ejemplo en esta página) $$ \eqalign{ & \psi \left( {j + 3/4} \right) = 4\sum\limits_{0\, \le \,l\, \le \,j - 1\,} {{1 \over {4\,l + 3}}} + {\pi \over 2} - \ln 8 - \gamma = \psi \left( {j + 3/4} \right) - \left( {\psi \left( {3/4} \right) - \left( {{\pi \over 2} - \ln 8 - \gamma } \right)} \right) \cr & \psi \left( {j + 1/4} \right) = 4\sum\limits_{0\, \le \,l\, \le \,j - 1\,} {{1 \over {4\,l + 1}}} - {\pi \over 2} - \ln 8 - \gamma = \psi \left( {j + 1/4} \right) - \left( {\psi \left( {1/4} \right) - \left( { - {\pi \over 2} - \ln 8 - \gamma } \right)} \right) \cr} $$ llegamos a expresar como la suma $$ \eqalign{ & S(k) = \sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,k} \right)} {\left( { - 1} \right)^{\,j} \binom{k}{j} \sum\limits_{0\, \le \,n} {\left( { - 1} \right)^{\n} {1 \over {2n + 2j + 1}}} } = \cr Y = {1 \over 4}\sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,k} \right)} {\left( { - 1} \right)^{\,j} \binom{k}{j} \left( {\psi \left( {j/2 + 3/4} \right) - \psi \left( {j/2 + 1/4} \right)} \right)} = \cr y = {\pi \más de 4}2^{\,k} - 2\sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,k} \right)\,} {\binom{k+1}{2j+1} \left( {\sum\limits_{0\, \le \,l\, \le \,j - 1\,} {{1 \over {\left( {4\,l + 3} \right)\left( {4\,l + 1} \right)}}} } \right)} - \sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,\left( {k - 1} \right)/2} \right)\,} {\binom{k}{2j+1}{1 \over {4j + 1}}} = \cr y = {\pi \más de 4}2^{\,k} - 2\sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,k} \right)\,} {\binom{k+1}{2j+1} \left( {\sum\limits_{0\, \le \,l\, \le \,j - 1\,} {{1 \over {\left( {4\,l + 2} \right)^{\,2} - 1}}} } \right)} - \sum\limits_{\left( {0\, \le } \right)\,j\,\left( { \le \,\left( {k - 1} \right)/2} \right)\,} {\binom{k}{2j+1}{1 \over {4j + 1}}} \cr} $$

Muy interesante la comparación de esta expresión con la dada por @robjohn

Answer 3

(2) es $$\frac11-\frac23+\frac25-\frac27+\cdots=-1+2\left(\frac11-\frac13+\frac15-\cdots\right),$ $ (3) es $$\frac11-\frac33+\frac45-\frac47+\cdots=-3+\frac13+4\left(\frac11-\frac13+\frac15-\cdots\right),$ $ (4) es $$\frac11-\frac43+\frac75-\frac87+\cdots=-7+\frac43-\frac15+8\left(\frac11-\frac13+\frac15-\cdots\right),$ $ etc.

En general, se obtiene $$ 2 ^ k \ frac \ pi4- \ sum_ {j = 0} ^ {k-1} (- 1) ^ j \ frac1 {2j +1} \ left (2 ^ k- \ sum_ { i = 0} ^ j {k \ elige i} \ derecha). $$