1.11: The Function log(z)
- Page ID
- 50404
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.
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.
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.
- Since \(\text{arg} (z)\) has infinitely many possible values, so does \(\text{log} (z)\).
- \(\text{log} (0)\) is not defined. (Both because \(\text{arg} (0)\) is not defined and \(\text{log} (|0|)\) is not defined.)
- 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.
- 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).
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\).
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.
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.
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.
Mapping \(\text{log} (z)\): mapping circles and rays
Complex Powers
We can use the log function to define complex powers.
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)\).
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.
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}\).
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\).