Power Series for Complex Exponential

Power Series for Complex Exponential
$\begingroup$

Let $z=x+iy$ where $x,y\in\mathbb{R}$. The exponential function is $$e^z=e^x(\cos{y}+i\sin{y}).$$

Using the power series of $e^x$, $\cos{y}$ and $\sin{y}$, find a power series representation for $e^{z}$.


Recall that $$e^{x} = \sum_{k=0}^\infty \frac{x^k}{k!},\quad \cos{y} = \sum_{k=0}^\infty \frac{(iy)^{2k}}{(2k)!},\quad\sin{y} = \sum_{k=0}^\infty \frac{i^{2k}y^{2k+1}}{(2k+1)!}$$

Then

\begin{align} e^{z} &= \left[\sum_{k=0}^\infty \frac{x^k}{k!}\right]\left[\sum_{k=0}^\infty\left(\frac{(iy)^{2k}}{(2k)!}+i\frac{i^{2k}y^{2k+1}}{(2k+1)!}\right)\right]\\ &= \left[\sum_{k=0}^\infty \frac{x^k}{k!}\right]\left[\sum_{k=0}^\infty\left(\frac{(iy)^{2k}(2k+1)}{(2k+1)!}+i\frac{(iy)^{2k}y}{(2k+1)!}\right)\right]\\ &= \left[\sum_{k=0}^\infty \frac{x^k}{k!}\right]\left[\sum_{k=0}^\infty\frac{(iy)^{2k}}{(2k+1)!}\left(2k+1+iy\right)\right] \end{align}

Now I can't really see where to go.

$\endgroup$
2

1 Answer

$\begingroup$

Recall that $$ e^{z}=\sum_{n=0}^{+\infty}\frac{z^n}{n!},\;\;\;z\in\Bbb C $$ is one of the possible definition of the complex exponential.

If you want real exponential simply take $z$ real.

The formula $e^z=e^x(\cos y+i\sin y)$ is a consequence, and maybe you are confusing what comes first: taking the definition of complex exponential given above and reminding the Taylor expansion of $\sin$ and $\cos$, you can easily prove the Euler Identity: $$ e^{it}=\cos t+i\sin t,\;\;\; t\in\Bbb R $$ from which you immediately get $e^z=e^x(\cos y+i\sin y)$.

Maybe you are confused because you've tried to do the inverse path.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Alexander Ross
Author

Alexander Ross

Alexander Ross has covered the video game industry for a decade, writing deep dives on game design, esports tournaments, VR developments, and gaming culture.