Evaluación de $\sum_{n \geq 0} \frac{x^{8n}}{(8n)!}$

Question

$$\sum_{n \geq 0} \frac{x^{8n}}{(8n)!}$$

Aquí está mi intento:

$$\sum_{n \geq 0, \text{even}} \frac{x^{4n}}{(4n)!}$$

$$=\sum_{n \geq 0} \frac{(-1)^n+1^n}{2} \frac{x^{4n}}{(4n)!}$$

Por convergencia puedo dividir las sumas.

$$=\frac{1}{2} \sum_{n \geq 0} \frac{x^{4n}}{(4n)!}+\frac{1}{2} \sum_{n \geq 0} (-1)^n \frac{x^{4n}}{(4n)!}$$

Ahora considera,

$$\sum_{n \geq 0} \frac{x^{4n}}{(4n)!}$$

$$=\sum_{n \geq 0, \text{even}} \frac{x^{2n}}{(2n)!}$$

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

$$=\frac{1}{2} \left( \cos(x)+\cosh (x) \right)$$

Ahora si encuentro,

$$\sum_{n \geq 0} (-1)^n \frac{x^{4n}}{(4n)!}$$

Acabaré con el problema. ¿Cómo lo hago?

Pregunta extra:

Compute

$$\sum_{n \geq 0} \frac{x^{3n}}{(3n)!}$$

Para este me he quedado sin ideas.

Answer 1

Si permites números complejos,

$$\sum_{n\ge0}(-1)^n\frac{x^{4n}}{(4n)!}=\sum_{n\ge0}\frac{(xe^{\pi i/4})^{4n}}{(4n)!}=\frac12(\cos(xe^{\pi i/4})+\cosh(xe^{\pi i/4}))$$

Por la fórmula de Euler y las fórmulas de suma de ángulos,

$$\Re(\cos(xe^{\pi i/4}))=\Re(\cosh(xe^{\pi i/4}))=\cos\left(\frac x{\sqrt2}\right)\cosh\left(\frac x{\sqrt2}\right)$$

Por lo tanto, podemos concluir que

$$\sum_{n\ge0}(-1)^n\frac{x^{4n}}{(4n)!}=\cos\left(\frac x{\sqrt2}\right)\cosh\left(\frac x{\sqrt2}\right)$$

---

Como nota al margen como menciona kccu, tenemos

$$f(x)=\sum_{n\ge0}\frac{x^{kn}}{(kn)!}\implies f^{(n)}(0)=\begin{cases}1&n\equiv0\mod8\\0&n\not\equiv0\mod8\end{cases}$$

que da la ecuación diferencial básica

$$f(x)=f^{(k)}(x),f(0)=1,f'(0)=f''(0)=0=\dots=,f^{(k-1)}(0)=0$$

Así, por ecuaciones auxiliares encontramos que

$$x=x^k\implies x=0,e^{2\pi ni/(k-1)}$$

Y luego tomando partes reales e interpolando a través de los valores iniciales de la derivada.

Answer 2

$\newcommand{\bbx}[1]{\,\bbox[8px,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_{n = 0}^{\infty}{x^{8n} \over \pars{8n}!} & = \sum_{n = 0}^{\infty}{x^{n} \over n!} {\sum_{k = 0}^{7}\bracks{\exp\pars{k\pi\ic/4}}^{n} \over 8} = {1 \over 8}\sum_{k = 0}^{7}\sum_{n = 0}^{\infty}{\bracks{\exp\pars{k\pi\ic/4}x}^{n} \over n!} \\[5mm] & = \bbx{\ds{{1 \over 8}\sum_{k = 0}^{7} \exp\pars{\exp\pars{k\,{\pi \over 4}\,\ic}x}}} \end{align}

Answer 3

He aquí una forma explícita alternativa de calcular la serie $\sum_0^{\infty} \frac{x^{pn}}{(pn)!}$ para cualquier número entero positivo $p$ .

Sea $\zeta$ sea una primitiva $p^{th}$ raíz de la unidad.

Arreglar algunos $n \not\equiv 0 \pmod p$ . Luego dejar que $x=\sum_{i=1}^p \zeta^{ni}$ vemos que $\zeta^n x = x$ y $\zeta^n \neq 1$ de modo que $x=0$ . En $n \equiv 0 \pmod p$ es evidente que $\sum_{i=1}^p \zeta^{ni}=p$ .

Por lo tanto $$\frac{1}{p}\big(e^x + e^{\zeta x} + e^{\zeta^2 x} +...+e^{\zeta^{p-1}x}\big) = \frac{1}{p} \sum_{n=0}^{\infty} (1+\zeta^n+...+\zeta^{(p-1)n})\frac{x^{n}}{n!} = \sum_{n=0}^{\infty} \frac{x^{pn}}{(pn)!}$$