Learn Mathematics

The Complex Exponential Function

In calculus we are first introduced to the real exponential function $f(x) = e^x$ which is defined for all $x \in \mathbb{R}$ and whose range is $(0, \infty)$. The graph of $f$ is given below.

We would now like to extend this function to allow inputs of all complex numbers (and not just real numbers), i.e., we would like to define the complex exponential function $f(z) = e^z$ for all $z \in \mathbb{C}$. For an idea of how to do this, first recall the following Maclaurin series representation for the functions $\cos x$ and $\sin x$:

Since $y \in \mathbb{R}$, $e^{yi}$ is well defined for each imaginary number $yi$. We will take this to be the definition of $e^{yi}$ even though we have not yet shown the convergence of the complex Maclaurin series above. Now, for a more general complex number $z = x + yi$ we would like for the usual rules of exponents to hold, i.e., we would like $e^{z} = e^{x + yi} = e^x \cdot e^{yi}$ for all $z \in \mathbb{C}$. We formally define this rule below.

The values of $e^z$ have a nice geometric interpretation. If $z = x + yi$ then the modulus of the complex number $f(z) = e^z$ is simply $e^x$, and the argument of $f(z) = e^z$ is $y$. Notice that if $z \in \mathbb{R}$ then $y = 0$ and $e^z = e^{x + 0i} = e^x$ which is the real-valued exponential function.

Polar Representations of Complex Numbers and the Exponential Function

Recall that if $z \in \mathbb{C}$ is a nonzero complex number then $z$ has a polar representation $z = r(\cos \theta + i \sin \theta)$ where $\theta = \mathrm{arg} (z)$ is the angle made between $z$ and the positive real axis and $r = \mid z \mid$.