Exponential Function

Work in progress. This note is still being written and incomplete.

For any complex number zz,

ez=exp⁡(z)=∑n=0∞znn!e^z = \exp(z) = \sum_{n=0}^{\infty} \frac{z^n}{n!}

exp⁡\exp is an entire function.

For z=x+iyz = x + iy,

ez=ex(cos⁡y+isin⁡y)e^z = e^x(\cos y + i\sin y)

Properties

  • ddz ez=ez\dfrac{\text{d}}{\text{d}z}\,e^z = e^z
  • ez1+z2=ez1ez2e^{z_1 + z_2} = e^{z_1}e^{z_2}
  • eiθ=cos⁡θ+isin⁡θe^{i\theta} = \cos\theta + i\sin\theta, for real θ\theta
  • ez+2nπi=eze^{z + 2n\pi i} = e^z, for all z∈Cz \in \mathbb{C} and n∈Zn \in \mathbb{Z}
  • ez=1e^z = 1 iff z=2nπiz = 2n\pi i, where n∈Zn \in \mathbb{Z}
  • ez1=ez2e^{z_1} = e^{z_2} iff z1=z2+2nπiz_1 = z_2 + 2n\pi i, where n∈Zn \in \mathbb{Z}
  • ∣ez∣=ex=eRe⁡z|e^z| = e^x = e^{\operatorname{Re} z}, for z=x+iyz = x + iy

Analyticity

eze^z is analytic on C\mathbb{C}, with ddz ez=ez\dfrac{\text{d}}{\text{d}z}\,e^z = e^z.

Mapping

Let ω=ez\omega = e^z with z=x+iyz = x + iy. In polar form, ω\omega has modulus exe^x and argument yy. So the real part xx of zz sets the distance of ω\omega from the origin, and the imaginary part yy sets the angle of ω\omega.

π -π Re z Im z z-plane Re w Im w w-plane

z = 0.50 + 1.00i |w| = e^0.50 = 1.65, arg w = 1.00

  • A vertical line x=cx = c maps onto the circle ∣ω∣=ec|\omega| = e^c centered at the origin. As yy increases by 2π2\pi, the image goes around the circle once.
  • A horizontal line y=cy = c maps onto the ray arg⁡ω=c\arg \omega = c from the origin, excluding the origin.
  • A horizontal strip α<y<α+2π\alpha < y < \alpha + 2\pi maps one-to-one onto the plane with the origin and the ray arg⁡ω=α\arg \omega = \alpha removed.
  • A rectangle a<x<ba < x < b, α<y<β\alpha < y < \beta with β−α≤2π\beta - \alpha \le 2\pi maps one-to-one onto a part of an annulus, between the circles ∣ω∣=ea|\omega| = e^a and ∣ω∣=eb|\omega| = e^b and between the rays arg⁡ω=α\arg \omega = \alpha and arg⁡ω=β\arg \omega = \beta.

The whole zz-plane maps onto C∖{0}\mathbb{C} \setminus \{0\}, covering each point infinitely many times, once per strip of height 2π2\pi. The image never contains 00, since ∣ez∣=ex>0|e^z| = e^x > 0.

Written by October 17, 2026 2 min read
Was this helpful?