2
$\begingroup$

I'm interested to know for which $z \in \mathbb{C}$ the power series $\sum_{n=0}^{\infty}\frac{\cos(nz)}{n!}$ converges and what its value is when it does.

I've come up with the following argument, according to which the power series converges for all $z \in \mathbb{C}$, but the wording of the question has me a bit skeptical as to whether I'm correct.

$\sum_{n=0}^{\infty}\frac{\cos(nz)}{n!}=\sum_{n=0}^{\infty}\frac{e^{inz}+e^{-inz}}{2n!}=\frac{1}{2}\sum_{n=0}^{\infty}\frac{(e^{iz})^n}{n!}+\frac{1}{2}\sum_{n=0}^{\infty}\frac{(e^{-iz})^n}{n!}=\frac{1}{2}e^{e^{iz}}+\frac{1}{2}e^{e^{-iz}}$

Sorry that this is all on the same line. Do you buy it?

Thanks.

Edit:

In response to Qiaochu, I've put together the following inequality:

$\begin{align} |cos(nz)| &= |\frac{e^{inz}+e^{-inz}}{2}|\\ &=\frac{1}{2}|e^{inz}+e^{-inz}|\\ &\leq \frac{1}{2}|e^{inz}|+\frac{1}{2}|e^{-inz}|\\ &=\frac{1}{2}|e^{-nIm(z)}e^{inRe(z)}|+\frac{1}{2}|e^{nIm(z)}e^{-inRe(z)}|\\ &=\frac{1}{2}|\frac{1}{e^{nIm(z)}}|+\frac{1}{2}|e^{nIm(z)}|\\ &=\frac{1}{2}(\frac{1}{e^{nIm(z)}}+e^{nIm(z)})\\ \end{align}$

For $z$ with $Im(z)=0$, this gives us that that $|\frac{cos(nz)}{n!}|\leq \frac{1}{n!}$ for each $n$. Since $\sum_{n=0}^{\infty}1/n!=e$, the series converges (absolutely). Of course, this would have been obvious without having worked that all out.

How do I use the bound in the general case? Do I just say that the factorial denominator will grow much faster than this exponential numerator, and hence the series will converge?

  • 0
    More people should have voted this up. Oh well!2012-03-13

0 Answers 0