6 votos

Ayudar a encontrar una forma cerrada para: $\sum_{n=0}^{\infty}{(-1)^n\left({{\pi\over 2}}\right)^{2n}\over (2n+k)!}=F(k)$

Cuál es la forma cerrada para

$$\sum_{n=0}^{\infty}{(-1)^n\left({{\pi\over 2}}\right)^{2n}\over (2n+k)!}=F(k)?$$

Mi intento:

Han encontrado unos valores de $F(k)$, pero fue incapaz de encontrar una forma cerrada para él.

$F(0)=0$

$F(1)={2\over \pi}$

$F(2)=\left({2\over \pi}\right)^2$

$F(3)=\left({2\over \pi}\right)^2-\left({2\over \pi}\right)^3$

$F(4)={1\over 2}\left({2\over \pi}\right)^2-\left({2\over \pi}\right)^4$

$F(5)={1\over 6}\left({2\over \pi}\right)^2-\left({2\over \pi}\right)^4+\left({2\over \pi}\right)^5$

8voto

imtheman Puntos 2216

Tenga en cuenta que

$$\sum_{n=0}^\infty \frac{(-1)^nx^{2n}}{(2n)! } = \cos(x)$$

Se puede llegar al resultado de la integración de $k$-veces.

$$\sum_{n=0}^\infty \frac{(-1)^nx^{2n}}{(2n+k)! } = \frac{1}{x^{k}}\int^{x}_0 \mathrm{d}t_{k-1}\int^{t_{k-1}}_0 \mathrm{d}t_{k-2} \cdots\int^{t_1}_0\mathrm{d}t_0\cos(t_0) $$

Por ejemplo, cuando se $k=1$

$$\sum_{n=0}^\infty \frac{(-1)^n(\pi/2)^{2n}}{(2n+1)! } = \frac{2}{\pi}\int^{\pi/2}_0 \mathrm{d}t_0 \cos(t_0)\,= \frac{2}{\pi}$$

Para $k=2$

\begin{align} \sum_{n=0}^\infty \frac{(-1)^n(\pi/2)^{2n}}{(2n+2)! } &= \left( \frac{2}{\pi}\right)^2\int^{\pi/2}_0 \mathrm{d}t_{1}\int^{t_1}_0\mathrm{d}t_0\cos(t_0) \\ &= \left( \frac{2}{\pi}\right)^2\int^{\pi/2}_0 \mathrm{d}t_{1}\sin(t_1)\\ & = \left( \frac{2}{\pi}\right)^2 \end{align}

Para

$$f_k(x) = \sum_{n=0}^\infty \frac{(-1)^n x^{2n+k}}{(2n+k)!}$$

Podemos definir de forma recursiva

$$f_0(x) = \cos(x)$$

$$f_k(x) =\int^x_0 f_{k-1}(t)\,dt$$

Mediante la resolución de la fórmula recursiva

$$\sum_{n=0}^\infty \frac{(-1)^n x^{2n+k}}{(2n+k)!} = \begin{cases} \sum_{n=0}^{\lceil k/2 \rceil-2}\frac{x^{2n+1}(-1)^{\lceil k/2 \rceil+n}}{(2n+1)!}-(-1)^{\lceil k/2 \rceil}\sin(x) & \text{If $k$ is odd} \\ \sum_{n=0}^{k/2-1}\frac{x^{2n}(-1)^{n+k/2}}{(2n)!}-(-1)^{k/2}\cos(x) & \text{If $k$ is even}\end{cases}$$

Finalmente, tenemos que la forma cerrada

$$F(k) = \begin{cases}\left( \frac{2}{\pi}\right)^k \sum_{n=0}^{\lceil k/2 \rceil-2}\frac{(\pi/2)^{2n+1}(-1)^{\lceil k/2 \rceil+n}}{(2n+1)!}-\left( \frac{2}{\pi}\right)^k(-1)^{\lceil k/2 \rceil} & \text{If %#%#% is odd} \\ \left( \frac{2}{\pi}\right)^k\sum_{n=0}^{k/2-1}\frac{(\pi/2)^{2n}(-1)^{n+k/2}}{(2n)!}& \text{If %#%#% is even}\end{casos}$$

Para comprobar la corrección de la fórmula

Para $k$ hemos

$k$$

4voto

Igor Rivin Puntos 11326

Su suma es el valor especial en $x=(-(\pi/2)^2)$ $$\sum_{n=0}^\infty \frac{x^n}{(2n + k)!}=\frac{\, _1F_2\left(1;\frac{k}{2}+\frac{1}{2},\frac{k}{2}+1;\frac{x}{4}\right)}{k!}$ $

2voto

G Cab Puntos 51

La suma se puede expresar también en términos de la Regularización de la Gamma Incompleta de la función ($Q(a,z)$).
De hecho, la premisa de que para que una función general de un entero $f(k)$ hemos $$ \begin{gathered} \frac{{\left( {i^{\,k} + \left( { - i} \right)^{\,k} } \right)}} {2}f(k) = \left( {\frac{{e^{\,i\,k\frac{\pi } {2}} + e^{\, - \,i\,k\frac{\pi } {2}} }} {2}} \right)f(k) = \cos \left( {k\frac{\pi } {2}} \right)f(k) = \hfill \\ = \left[ {k = 2j} \right]\left( { - 1} \right)^{\,j} f(2j)\quad \left| {\;k,j\; \in \;\;\mathbb{Z}\,} \right. \hfill \\ \end{reunieron} $$ y que el Menor Gamma Incompleta de la función puede ser expresada como: $$ \begin{gathered} \gamma (s,z) = \int_{\,0\,}^{\,z\,} {t^{\,s - 1} \;e^{\, - \,t} dt} = \hfill \\ = z^{\,s} \;e^{\,\, - z} \;\Gamma (s)\;\sum\limits_{0\, \leqslant \,k} {\frac{{z^{\,k} }} {{\Gamma (s + k + 1)}}} = \frac{{z^{\,s} \;e^{\,\, - z} }} {s}\sum\limits_{0\, \leqslant \,k} {\frac{{z^{\,k} }} {{\left( {s + 1} \right)^{\,\overline {\,k\,} } \,}}} = \hfill \\ = z^{\,s} \;e^{\,\, - z} \sum\limits_{0\, \leqslant \,k} {\frac{{z^{\,k} }} {{s^{\,\overline {\,k + 1\,} } \,}}} = z^{\,s} \sum\limits_{0\, \leqslant \,j} {\frac{{\left( { - 1} \right)^{\,j} }} {{\,\left( {s + j} \right)}}\frac{{z^{\,j} }} {{j!}}} \hfill \\ \end{reunieron} $$ a continuación, podemos escribir $$ \begin{gathered} F(x,m) = \sum\limits_{0\, \leqslant \,k} {\left( { - 1} \right)^{\,k} \frac{{x^{\,2k} }} {{\left( {2k + m} \right)!}}} = \hfill \\ = \frac{1} {2}\left( {\sum\limits_{0\, \leqslant \,k} {\frac{{\left( {i\,x} \right)^{\,k} }} {{\left( {k + m} \right)!}}} + \sum\limits_{0\, \leqslant \,k} {\frac{{\left( { - \,i\,x} \right)^{\,k} }} {{\left( {k + m} \right)!}}} } \right) = \hfill \\ = \frac{1} {{2\,\Gamma (m)}}\left( {\frac{{e^{\,\,i\,x} \,\gamma (m,i\,x)}} {{\left( {i\,x} \right)^{\,m} }} + \frac{{e^{\, - \,i\,x} \,\gamma (m, - i\,x)}} {{\left( { - i\,x} \right)^{\,m} }}} \right) = \hfill \\ = \frac{1} {{\left| x \right|^{\,\,m} }}\,\operatorname{Re} \left( {e^{\,\,i\,x} e^{\,\, - \,i\,m\,\left( {sign(x)\pi /2} \right)} \,\frac{{\gamma (m,i\,x)}} {{\Gamma (m)}}} \right) = \hfill \\ = \frac{1} {{\left| x \right|^{\,\,m} }}\,\operatorname{Re} \left( {e^{\,\,i\,x} e^{\,\, - \,i\,m\,\left( {sign(x)\pi /2} \right)} \,\left( {1 - Q(m,i\,x)} \right)} \right) \hfill \\ \end{reunieron} $$

Así, por $x=\pi /2$ tenemos $$ \begin{gathered} F(\pi /2,m) = \sum\limits_{0\, \leqslant \,k} {\left( { - 1} \right)^{\,k} \frac{{\left( {\pi /2} \right)^{\,2k} }} {{\left( {2k + m} \right)!}}} = \hfill \\ = \left( {\frac{2} {\pi }} \right)^{\,\,m} \,\operatorname{Re} \left( {e^{\,\, - \,i\,\left( {m - 1} \right)\,\left( {\pi /2} \right)} \,\frac{{\gamma (m,i\,\pi /2)}} {{\Gamma (m)}}} \right) = \hfill \\ = \left( {\frac{2} {\pi }} \right)^{\,\,m} \,\operatorname{Re} \left( {e^{\,\, - \,i\,\left( {m - 1} \right)\,\left( {\pi /2} \right)} \,\left( {1 - Q(m,i\,\pi /2)} \right)} \right) \hfill \\ \end{reunieron} $$ ejemplo con $m=5$ $$ \begin{gathered} F(\pi /2,5) = \sum\limits_{0\, \leqslant \,k} {\left( { - 1} \right)^{\,k} \frac{{\left( {\pi /2} \right)^{\,2k} }} {{\left( {2k + 5} \right)!}}} = \hfill \\ = \left( {\frac{2} {\pi }} \right)^{\,\,5} \,\operatorname{Re} \left( {e^{\,\, - \,i\,4\,\left( {\pi /2} \right)} \,\left( {1 - Q(5,i\,\pi /2)} \right)} \right) = \hfill \\ = \left( {\frac{2} {\pi }} \right)^{\,\,5} \,\operatorname{Re} \,\left( {1 - \frac{1} {{24}}\left( {12\,\pi - \frac{1} {2}\pi ^{\,3} + i\left( {3\pi ^{\,2} - \frac{1} {{16}}\pi ^{\,4} - 24} \right)} \right)} \right) = \hfill \\ = \left( {\frac{2} {\pi }} \right)^{\,\,5} \left( {1 - \,\frac{\pi } {2} + \frac{1} {{48}}\pi ^{\,3} } \right) = \left( {\frac{2} {\pi }} \right)^{\,\,5} - \,\left( {\frac{2} {\pi }} \right)^{\,\,4} + \frac{1} {6}\left( {\frac{2} {\pi }} \right)^{\,2} \hfill \\ \end{reunieron} $$ que coincide con el valor dado por Zaid Alyafeai, así como con la fomula indicado por Igor Rivin $$ \begin{gathered} F(\pi /2,5) = \sum\limits_{0\, \leqslant \,k} {\left( { - 1} \right)^{\,k} \frac{{\left( {\pi /2} \right)^{\,2k} }} {{\left( {2k + 5} \right)!}}} = \left( {\frac{2} {\pi }} \right)^{\,\,5} - \,\left( {\frac{2} {\pi }} \right)^{\,\,4} + \frac{1} {6}\left( {\frac{2} {\pi }} \right)^{\,2} = \hfill \\ = 0.007860176 \cdots = \hfill \\ = \frac{1} {{5!}}{}_1F_2 \left( {1\;;\;\frac{5} {2} + \frac{1} {2},\;\frac{5} {2} + 1\;;\; - \frac{1} {4}\left( {\frac{\pi } {2}} \right)^{\,2} } \right) \hfill \\ \end{reunieron} $$ y respecto de este último, un equipo de cálculo a través de varios valores de $m$ $x$ se muestra en un partido completo.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X