Loading [MathJax]/extensions/TeX/boldsymbol.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

1.11: The Function log(z)

( \newcommand{\kernel}{\mathrm{null}\,}\)

Our goal in this section is to define the log function. We want \text{log} (z) to be the inverse of e^z. That is, we want e^{\text{log} (z)} = z. We will see that \text{log} (z) is multiple-valued, so when we use it we will have to specify a branch.

We start by looking at the simplest example which illustrates that \text{log} (z) is multiple-valued.

Example \PageIndex{1}

Find \text{log} (1).

Solution

We know that e^{0} = 1, so \text{log} (1) = 0 is one answer.

We also know that e^{2\pi i} = 1, so \text{log} (1) = 2\pi i is another possible answer. In fact, we can choose any multiple of 2\pi i:

\text{log} (1) = 2n \pi i \nonumber

where n is any integer.

This example leads us to consider the polar form for z as we try to define \text{log} (z). If z = re^{i \theta} then one possible value for \text{log} (z) is

\begin{align*} \text{log} (z) &= \text{log} (re^{i \theta}) \\[4pt] &= \text{log} (r) + i \theta, \end{align*}

here \text{log} (r) is the usual logarithm of a real positive number. For completeness we show explicitly that with this definition e^{\text{log} (z)} = z:

\begin{align*} e^{\text{log} (z)} &= e^{\text{log} (r) + i \theta} \\[4pt] &= e^{\text{log} (r)} e^{i \theta} \\[4pt] &= re^{i \theta} \\[4pt] &= z \end{align*}

Since r = |z| and \theta = \text{arg} (z) we have arrived at our definition.

Definition: Complex Log Function

The function \text{log} (z) is defined as

\text{log} (z) = \text{log} (|z|) + i \text{arg} (z), \nonumber

where \text{log} (|z|) is the usual natural logarithm of a positive real number.

Remarks.

  1. Since \text{arg} (z) has infinitely many possible values, so does \text{log} (z).
  2. \text{log} (0) is not defined. (Both because \text{arg} (0) is not defined and \text{log} (|0|) is not defined.)
  3. Choosing a branch for \text{arg} (z) makes \text{log} (z) single valued. The usual terminology is to say we have chosen a branch of the log function.
  4. The principal branch of log comes from the principal branch of arg. That is,

\text{log} (z) = \text{log} (|z|) + i \text{arg} (z), where -\pi < \text{arg} (z) \le \pi (principal branch).

Example \PageIndex{2}

Compute all the values of \text{log} (i). Specify which one comes from the principal branch.

Solution

We have that |i| = 1 and \text{arg} (i) = \dfrac{\pi}{2} + 2n \pi, so

\begin{align*} \text{log} (i) &= \text{log} (1) + i \dfrac{\pi}{2} + i 2n \pi \\[4pt] &= i \dfrac{\pi}{2} + i2n\pi, \end{align*}

where n is any integer.

The principal branch of \text{arg} (z) is between -\pi and \pi, so \text{Arg} (i) = \pi /2. Therefore, the value of \text{log} (i) from the principal branch is i \pi /2.

Example \PageIndex{3}

Compute all the values of \text{log} (-1 - \sqrt{3} i). Specify which one comes from the principal branch.

Solution

Let z = -1 - \sqrt{3} i. Then |z| = 2 and in the principal branch \text{Arg} (z) = -2\pi /3. So all the values of \text{log} (z) are

\text{log} (z) = \text{log} (2) - i \dfrac{2\pi}{3} + i2n \pi. \nonumber

The value from the principal branch is \text{log} (z) = \text{log} (2) - i 2\pi /3.

Figures showing w = \text{log} (z) as a mapping

The figures below show different aspects of the mapping given by \text{log}(z).

In the first figure we see that a point z is mapped to (infinitely) many values of w. In this case we show \text{log} (1) (blue dots), \text{log} (4) (red dots), \text{log} (i) (blue cross), and \text{log} (4i) (red cross). The values in the principal branch are inside the shaded region in the w-plane. Note that the values of \text{log}(z) for a given z are placed at intervals of 2\pi i in the w-plane.

屏幕快照 2020-09-02 下午1.36.30.png
Mapping \text{log} (z): \text{log} (1), \text{log} (4), \text{log} (i), \text{log} (4i)

The next figure illustrates that the principal branch of log maps the punctured plane to the horizontal strip -\pi < \text{Im} (w) \le \pi. We again show the values of \text{log} (1), \text{log} (4), \text{log} (i), \text{log} (4i). Since we’ve chosen a branch, there is only one value shown for each log.

屏幕快照 2020-09-02 下午1.43.26.png
Mapping \text{log} (z): the principal branch and the punctured plane

The third figure shows how circles centered on 0 are mapped to vertical lines, and rays from the origin are mapped to horizontal lines. If we restrict ourselves to the principal branch the circles are mapped to vertical line segments and rays to a single horizontal line in the principal (shaded) region of the w-plane.

屏幕快照 2020-09-02 下午1.46.29.png
Mapping \text{log} (z): mapping circles and rays

Complex Powers

We can use the log function to define complex powers.

Definition: Complex Power

Let z and a be complex numbers then the power z^{a} is defined as

z^a = e^{a \text{log} (z)}. \nonumber

This is generally multiple-valued, so to specify a single value requires choosing a branch of \text{log} (z).

Example \PageIndex{4}

Compute all the values of \sqrt{2i}. Give the value associated to the principal branch of \text{log} (z).

Solution

We have

\text{log} (2i) = \text{log} (2e^{\dfrac{i \pi}{2}}) = \text{log} (2) + i \dfrac{\pi} {2} + i2n \pi. \nonumber

So,

\begin{align*} \sqrt{2i} &= (2i)^{1/2} \\[4pt] &= e^{\frac{\text{log} (2i)}{2}} \\[4pt] &= e^{\frac{\text{log} (2)}{2} + \dfrac{i\pi}{4} + in \pi} \\[4pt] &= \sqrt{2} e^{\dfrac{i\pi}{4} + in\pi}. \end{align*}

(As usual n is an integer.) As we saw earlier, this only gives two distinct values. The principal branch has \text{Arg} (2i) = \pi /2, so

\begin{align*} \sqrt{2i} &= \sqrt{2} e^{(\frac{i \pi }{4})} \\[4pt] &= \sqrt{2} \frac{(1 + i)}{\sqrt{2}} \\[4pt] &= 1 + i. \end{align*}

The other distinct value is when n = 1 and gives minus the value just above.

Example \PageIndex{5}

Cube roots: Compute all the cube roots of i. Give the value which comes from the principal branch of \text{log} (z).

Solution

We have \text{log} (i) = i \dfrac{\pi}{2} + i 2n \pi, where n is any integer. So,

i^{1/3} = e^{\frac{\text{log} (i)}{3}} = e^{i \frac{\pi}{6} + i \frac{2n \pi}{3}}

This gives only three distinct values

e^{i\pi /6}, e^{i5\pi /6}, e^{i9\pi /6}

On the principal branch \text{log} (i) = i \dfrac{\pi}{2}, so the value of i^{1/3} which comes from this is

e^{i\pi /6} = \dfrac{\sqrt{3}}{2} + \dfrac{i}{2}.

Example \PageIndex{6}

Compute all the values of 1^{i}. What is the value from the principal branch?

Solution

This is similar to the problems above. \text{log} (1) = 2n\pi i, so

1^{i} = e^{i \text{log} (1)} = e^{i2n\pi i} = e^{-2n\pi}, \nonumber

where n is an integer.

The principal branch has \text{log} (1) = 0 so 1^i = 1.


This page titled 1.11: The Function log(z) is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Jeremy Orloff (MIT OpenCourseWare) via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?