Inverse Functions: Logarithms and Complex Numbers (Part 30)

Ordinarily, there are no great difficulties with logarithms as we’ve seen with the inverse trigonometric functions. That’s because the graph of $y = a^x$ satisfies the horizontal line test for any $0 < a < 1$ or $a > 1$ . For example,

$e^x = 5 \Longrightarrow x = \ln 5$ ,

and we don’t have to worry about “other” solutions.

However, this goes out the window if we consider logarithms with complex numbers. Recall that the trigonometric form of a complex number $z = a+bi$ is

$z = r(\cos \theta + i \sin \theta) = r e^{i \theta}$

where $r = |z| = \sqrt{a^2 + b^2}$ and $\tan \theta = b/a$ , with $\theta$ in the appropriate quadrant. This is analogous to converting from rectangular coordinates to polar coordinates.

Over the past few posts, we developed the following theorem for computing $e^z$ in the case that $z$ is a complex number.

Definition. Let $z = r e^{i \theta}$ be a complex number so that $-\pi < \theta \le \theta$ . Then we define

$\log z = \ln r + i \theta$ .

Of course, this looks like what the definition ought to be if one formally applies the Laws of Logarithms to $r e^{i \theta}$ . However, this complex logarithm doesn’t always work the way you’d think it work. For example,