# How complex exponential converges and “sum of exponents” rule holds

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$?

-
Ratio test, binomial theorem. – anon Jul 11 '12 at 20:01
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. – Old John Jul 11 '12 at 20:02
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? – Aftnix Jul 11 '12 at 20:03
Latex output is not correct in my browser, sometimes its ok, sometimes it not. – Aftnix Jul 11 '12 at 20:05
@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. – user17794 Jul 11 '12 at 20:17

$$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$$

-
Thanks, thats what i was looking for. – Aftnix Jul 12 '12 at 8:51
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\fra‌​c{w^k}{k!}\sum_{n=0}^\infty\frac{z^n}{n!}$$ – Fardad Pouran Oct 6 at 7:22
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}

-

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}$.

-
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://math.stackexchange.com/questions/169623/how-complex-exponential-converges-and-sum-of-exponents-rule-holds?answertab=oldest", "fetch_time": 1448484228000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2015-48/segments/1448398445679.7/warc/CC-MAIN-20151124205405-00349-ip-10-71-132-137.ec2.internal.warc.gz", "warc_record_offset": 141467499, "warc_record_length": 19303, "token_count": 1194, "char_count": 3098, "score": 3.96875, "int_score": 4, "crawl": "CC-MAIN-2015-48", "snapshot_type": "longest", "language": "en", "language_score": 0.7325538396835327, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00006-of-00064.parquet"}