Cerrado-formas de una serie infinita con factorial en el denominador

Question

Cómo evaluar el cerrado de las formas de la serie

\begin{equation} 1)\,\, \sum_{n=0}^\infty\frac{1}{(3n)!}\qquad\left|\qquad2)\,\, \sum_{n=0}^\infty\frac{1}{(3n+1)!}\qquad\right|\qquad3)\,\, \sum_{n=0}^\infty\frac{1}{(3n+2)!}\\ \end{equation}

Por supuesto, Wolfram Alpha nos puede dar el cerrado de las formas \begin{align} \sum_{n=0}^\infty\frac{1}{(3n)!}&=\frac{e}{3}+\frac{2\cos\left(\frac{\sqrt{3}}{2}\right)}{3\sqrt{e}}\\ \sum_{n=0}^\infty\frac{1}{(3n+1)!}&=\frac{e}{3}+\frac{2\sin\left(\frac{\sqrt{3}}{2}-\frac{\pi}{6}\right)}{3\sqrt{e}}\\ \sum_{n=0}^\infty\frac{1}{(3n+2)!}&=\frac{e}{3}-\frac{2\sin\left(\frac{\sqrt{3}}{2}+\frac{\pi}{6}\right)}{3\sqrt{e}} \end{align} pero ¿como conseguir esas cerrado de formas en la mano? Sólo puedo notar que \begin{equation} \sum_{n=0}^\infty\frac{1}{n!}=\sum_{n=0}^\infty\frac{1}{(3n)!}+\sum_{n=0}^\infty\frac{1}{(3n+1)!}+\sum_{n=0}^\infty\frac{1}{(3n+2)!}=e \end{equation} Podría alguien, por favor me ayudan? Cualquier ayuda sería muy apreciada. Gracias.

PS: por Favor, no se vaya hacia atrás.

Answer 1

Otro posible enfoque es el uso de la transformada de Fourier discreta. Deje $\omega=\exp\frac{2\pi i}{3}$. Entonces: $$f(n)=\frac{1}{3}\left(1+\omega^n+\omega^{2n}\right)=\mathbb{1}_{n\equiv 0\!\pmod{3}}(n),$$ por lo tanto: $$\color{red}{\sum_{n=0}^{+\infty}\frac{1}{(3n)!}}=\sum_{n=0}^{+\infty}\frac{f(n)}{n!}=\frac{1}{3}\left(\exp(1)+\exp(\omega)+\exp(\omega^2)\right)=\color{red}{\frac{e}{3}+\frac{2}{3\sqrt{e}}\cos\frac{\sqrt{3}}{2}.}$$ Los otros dos de la serie puede ser calculada con la misma técnica, haciendo notar que: $$f_1(n)=\frac{1}{3}\left(1+\omega^2\cdot\omega^n+\omega\cdot\omega^{2n}\right)=\mathbb{1}_{n\equiv 1\!\pmod{3}}(n),$$ $$f_2(n)=\frac{1}{3}\left(1+\omega\cdot\omega^n+\omega^2\cdot\omega^{2n}\right)=\mathbb{1}_{n\equiv 2\!\pmod{3}}(n).$$

Answer 2

Las técnicas relacionadas con: (I). Aquí es un enfoque que permite hacer frente a sus problemas. Consideremos la serie

$$ f(x) = \sum_{n=0}^{\infty}\frac{x^{3n}}{(3n)!}. $$

Tomando la transformada de Laplace da

$$ F(s) = \sum_{n=0}^{\infty}\frac{1}{s^{3n+1}} = \frac{s^2}{s^3-1}. $$

Para terminar el problema que usted necesita para encontrar la inversa de Laplace de $F(s)$. Una técnica es parcial fracción

$$ F(s) = \frac{1}{3(s-1)} + \frac{1}{3(s+1/2-i\sqrt{3}/2)} + \frac{1}{3(s+1/2+i\sqrt{3}/2)} .$$

Notas:

1) la transformada de Laplace se define como

$$ F(s) = \int_{0}^{\infty}f(x)e^{-sx}dx. $$

2) la transformada de Laplace de $x^m$ es

$$ \frac{\Gamma(m+1)}{s^{m+1}} $$

3) la transformada de Laplace de $e^{ax}$ es

$$ \frac{1}{s-a}. $$

O lo que es equivalente a la inversa de Laplace de $\frac{1}{s-a}$ $e^{ax}$

$$ $$

Answer 3

Este problema puede ser resuelto sin técnicas avanzadas. Tenemos la serie de Taylor $$ e^x = \sum_{n\geq 0} \frac{x^n}{n!}. $$ Como el interrogador señaló, conectar $x=1$ los rendimientos de la ecuación de $A+B+C=e$ conecta los tres desconocidos sumas. Sin embargo, el uso de cualquier raíz cúbica de la unidad también arroja luz sobre la cuestión, porque los numeradores $x^n$ va a repetir con el período de $3$. Deje $\omega = e^{2\pi i/3}$; conectar $x = \omega$ rendimientos $A + \omega B + \omega^2 C = e^{\omega}$, y de conectar $x = \omega^2$ rendimientos $A + \omega^2 B + \omega C = e^{\omega^2}$. Ahora tenemos tres ecuaciones que se pueden resolver fácilmente para las tres incógnitas $A$, $B$, y $C$. Por ejemplo, la adición de los tres ecuaciones rendimientos $$ 3A = e + e^\omega + e^{\omega^2} = e + e^{-1/2}\left(\cos \frac{\sqrt{3}}{2} + \sin \frac{\sqrt{3}}{2}\right) + e^{-1/2}\left(\cos \frac{-\sqrt{3}}{2} + i \sin \frac{-\sqrt{3}}{2}\right) $$ $$ = e + \frac{2}{\sqrt{e}} \cos \frac{\sqrt{3}}{2}, $$ de acuerdo con Wolfram Alpha.

Answer 4

$\newcommand{\ángulos}[1]{\left\langle\, nº 1 \,\right\rangle} \newcommand{\llaves}[1]{\left\lbrace\, nº 1 \,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\, nº 1 \,\right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil\, nº 1 \,\right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\piso}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\mitad}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\pars}[1]{\left (\, nº 1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\parcial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\vphantom{\large Un}\,#2\,}\,} \newcommand{\sech}{\,{\rm sech}} \newcommand{\sgn}{\,{\rm sgn}} \newcommand{\totald}[3][]{\frac{{\rm d}^{#1} #2}{{\rm d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\, nº 1 \,\right\vert}$ Con $\ds{\ell = 0,1,2}$:

\begin{align} {\cal I}_{\ell}&\equiv\sum_{n = 0}^{\infty}{1 \over \pars{3n + \ell}!}= \sum_{n = 0}^{\infty}\sum_{k=0}^{\infty}{\delta_{k,3n + \ell} \over k!} =\sum_{n,k = 0}^{\infty}{1 \over k!} \oint_{\atop{\atop\verts{z}\ =\ a\ >\ 1}}{1 \over z^{3n + \ell - k + 1}} \,{\dd z \over 2\pi\ic} \\[3mm]&=\oint_{\atop{\atop\verts{z}\ =\ a\ >\ 1}}{1 \over z^{\ell + 1}} \bracks{\sum_{n = 0}^{\infty}\pars{1 \over z^{3}}^{n}} \bracks{\sum_{k = 0}^{\infty}{z^{k} \over k!}}\,{\dd z \over 2\pi\ic} \\[3mm]&=\oint_{\atop{\atop\verts{z}\ =\ a\ >\ 1}}{1 \over z^{\ell + 1}} \,{1 \over 1 - 1/z^{3}}\,\expo{z}\,{\dd z \over 2\pi\ic} =\oint_{\atop{\atop\verts{z}\ =\ a\ >\ 1}} {z^{2 - \ell} \over z^{3} - 1}\,\expo{z}\,{\dd z \over 2\pi\ic} \\[3mm]&=\sum_{m = -1}^{1}{z_{m}^{2 - \ell}\expo{z_{m}} \over 3z_{m}^{2}}\qquad \mbox{where}\qquad z_{m} \equiv \exp\pars{2m\pi\ic \over 3}\,,\quad m = -1,0,1 \end{align}

A continuación, \begin{align} {\cal I}_{\ell} &= {1 \over 3} \sum_{m = -1}^{1}z_{m}^{-\ell}\expo{z_{m}} ={1 \over 3}\,\expo{} + {2 \over 3}\,\Re\pars{z_{1}^{-\ell}\expo{z_{1}}} ={1 \over 3}\,\expo{} +{2 \over 3}\,\Re\pars{\expo{-2\ell\pi\ic/3}\exp\pars{\expo{2\pi\ic/3}}} \\[3mm]&={1 \over 3}\,\expo{} +{2 \over 3}\, \Re\pars{\expo{-2\ell\pi\ic/3}\exp\pars{-\,\half + {\root{3} \over 2}\,\ic}} \\[3mm]&={1 \over 3}\,\expo{} +{2 \over 3\root{\expo{}}}\, \Re\exp\pars{\bracks{{\root{3} \over 2} - {2\pi \over 3}\,\ell}\ic} \end{align}

$$ {\cal I}_{\ell}\equiv\sum_{n = 0}^{\infty}{1 \over \pars{3n + \ell}!} ={1 \over 3}\,\expo{} +{2 \más de 3\raíz{\expo{}}}\,\cos\pars{{\raíz{3} \over 2} - {2\pi \más de 3}\,\ell} \,,\qquad\ell = 0,1,2 $$

$$\begin{array}{rclcl} {\cal I}_{0}&=&\color{#66f}{\large\sum_{n = 0}^{\infty}{1 \over \pars{3n}!}} &=&{1 \over 3}\,\expo{} +{2 \over 3\root{\expo{}}}\,\cos\pars{{\root{3} \over 2}} \\[5mm] {\cal I}_{1}&=&\color{#66f}{\large\sum_{n = 0}^{\infty}{1 \over \pars{3n + 1}!}} &=&{1 \over 3}\,\expo{} +{2 \over 3\root{\expo{}}}\ \overbrace{\cos\pars{{\root{3} \over 2} - {2\pi \over 3}}} ^{\ds{\color{#c00000}{\sin\pars{{\root{3} \over 2} - {\pi \over 6}}}}} \\[5mm] {\cal I}_{2}&=&\color{#66f}{\large\sum_{n = 0}^{\infty}{1 \over \pars{3n + 2}!}} &=&{1 \over 3}\,\expo{} +{2 \over 3\root{\expo{}}}\ \underbrace{\cos\pars{{\root{3} \over 2} - {4\pi \over 3}}} _{\ds{\color{#c00000}{-\sin\pars{{\root{3} \over 2} + {\pi \over 6}}}}} \end{array} $$