Complex logarithm

A complex logarithm is a mathematical tool that generalizes the natural logarithm to nonzero complex numbers. In standard math, the natural logarithm is the inverse of the real exponential function. However, when we move into the complex plane, things become more complicated. A complex logarithm can refer to a single value, a complex-valued function, or a multi-valued relationship. It is a fundamental concept used to understand how complex numbers behave under exponentiation.

To understand how it works, we look at a complex number in its polar form. A nonzero complex number $z$ can be written as $r e^{i\theta}$. Here, $r$ is the absolute value, which is the distance from the center. The term $\theta$ is the argument, which represents the angle. The logarithm of this number consists of two parts. The real part is the natural logarithm of the distance $r$. The imaginary part is the angle $\theta$. Because you can add any integer multiple of $2\pi$ to an angle and end up in the same place, there are many possible values for the logarithm.

These multiple values create a unique challenge. For any nonzero complex number, there is an infinite set of logarithms. These values are equally spaced along a vertical line in the complex plane. Because of this, the complex exponential function is not injective. This means it does not map distinct values to distinct values. Specifically, adding $2\pi i$ to a number does not change its result when you apply the exponential function. Therefore, the exponential function does not have a standard inverse.

Mathematicians use two main methods to solve this problem. The first method is to use branches. A branch is a continuous function that selects exactly one logarithm for each number in a specific area. This is similar to how we pick one specific real number as the logarithm in basic math. The second method is to use a Riemann surface. This is an elegant geometric object that packages all possible branches together. Instead of a flat plane, the domain becomes a surface that covers the complex plane in an infinite-to-1 way.

A common choice is the principal value, often written as $\text{Log}(z)$. This version picks the logarithm whose imaginary part stays between $-\pi$ and $\pi$. The principal value is continuous everywhere except along the negative real axis. This line is known as a branch cut. If you try to cross this cut, the function value jumps by $2\pi i$. This discontinuity occurs because the angle suddenly shifts from one end of the range to the other.

We can also define branches through integration. The function can be built by integrating $1/z$ along a path. In a simply connected region, which is an area with no holes, the choice of path does not change the result. This allows mathematicians to construct logarithms in specific areas of the complex plane. For example, a branch can be defined on a small disk using the Mercator series. These branches are useful because they allow for differentiation. Each branch is a holomorphic function, meaning it is complex differentiable.

One of the most interesting uses of the complex logarithm is as a conformal map. A conformal map is a function that preserves angles between curves. The principal branch of the complex logarithm performs a specific geometric transformation. It maps circles centered at the origin to vertical lines in the complex plane. It also maps rays emanating from the origin to horizontal lines.

This ability to turn circular shapes into straight lines is a powerful property.