2
$\begingroup$
  1. How is it the complex exponential converges for any value of $z$ in the complex plane? $$e^{z} = 1 + \frac{z}{1!} + \frac{z^2}{2!} \cdots\cdots$$

  2. How is it the "sum of exponents" rule holds for complex exponential, that is $e^{w}e^{z} = e^{w+z} $?

...using only the definition of $e^z$?

  • 0
    Ratio test, binomial theorem.2012-07-11
  • 0
    Hint (for the second part): If you multiply the two power series together and collect up terms, and use the binomial theorem, you should be able to prove this. It can be justified by absolute convergence.2012-07-11
  • 0
    i know 2nd expression can be proved by binomial theorem, but failed to do so. and for the first one, if only the postulates of "complex arithmetic" is given, how it converges?2012-07-11
  • 0
    Latex output is not correct in my browser, sometimes its ok, sometimes it not.2012-07-11
  • 0
    @Aftnix If you are familiar with the proof of the ratio test in the real case, you should see that it carries over easily for complex series.2012-07-11

3 Answers 3

3

$$e^z=\sum_{n=0}^\infty\frac{z^n}{n!}$$ Putting $$a_n:=\frac{1}{n!}\Longrightarrow R:=\frac{1}{\lim_{n\to\infty}\sqrt[n]{|a_n|}}=\lim_{n\to\infty}\sqrt[n]{n!}=\infty$$

So the series has infinite convergence radius and is thus absolutely convergent for any $\,z\in\Bbb C\,$ , and from here it follows that $$e^{w+z}=\sum_{n=0}^\infty\frac{(w+z)^n}{n!}=\sum_{n=0}^\infty\sum_{k=0}^n\binom{n}{k}\frac{w^kz^{n-k}}{n!}=\sum_{n=0}^\infty\sum_{k=0}^n\frac{w^kz^{n-k}}{k!(n-k)!}=$$ $$=\sum_{k=0}^\infty\frac{w^k}{k!}\sum_{n=0}^\infty\frac{z^n}{n!}=:e^we^z$$

  • 0
    Thanks, thats what i was looking for.2012-07-12
  • 0
    Could you prove rigorously this by limits : $$\sum_{n=0}^\infty\sum_{k=0}^n\frac{w^kz^{n-k}}{k!(n-k)!}=\sum_{k=0}^\infty\frac{w^k}{k!}\sum_{n=0}^\infty\frac{z^n}{n!}$$2015-10-06
2
  1. One can use the ratio test or notice that for every $z \in \mathbb{C}$ one has $|z| \in \mathbb{R}$ and $$ \sum_{n=0}^\infty\frac{|z|^n}{n!}=e^{|z|}, $$ i.e. the series $\sum_{n=0}^\infty z^n/n!$ converges absolutely, and therefore it converges for every $z \in \mathbb{C}$.

2. $$ e^we^z=(\sum_{n=0}^\infty\frac{w^n}{n!})(\sum_{n=0}^\infty\frac{z^n}{n!})=\sum_{n=0}^{\infty}A_n(w,z), $$ where with the use of Cauchy product one has \begin{eqnarray} A_n(w,z)&=&\sum_{k=0}^n\frac{w^k}{k!}\frac{z^{n-k}}{(n-k)!}=\sum_{k=0}^n\frac{1}{n!}{n\choose k}w^kz^{n-k}=\frac{1}{n!}\sum_{k=0}^n{n\choose k}w^kz^{n-k}=\frac{(w+z)^n}{n!}. \end{eqnarray}

1

The second part can be proved also using the identity theorem: Two analytic functions are the same if they coincide on a set with a limit point. Look at $e^{w+z}$ and $e^w e^z$ with $w$ a fixed real number. The two functions (as functions of $z$) coincide on the real line. Therefore, they are equal for all $z \in \mathbb{C}$. Since $w$ was arbitrary they also coincide as functions of $w$ on the real line. Again by the identity theorem $e^{w+z}=e^w e^z$ for all $w \in \mathbb{C}$.