# Definition:Natural Logarithm/Complex/Definition 1

## Definition

Let $z = r e^{i \theta}$ be a complex number expressed in exponential form such that $z \ne 0$.

The **complex natural logarithm** of $z \in \C_{\ne 0}$ is the multifunction defined as:

- $\map \ln z := \set {\map \ln r + i \paren {\theta + 2 k \pi}: k \in \Z}$

where $\map \ln r$ is the natural logarithm of the (strictly) positive real number $r$.

## Also defined as

It can also be written:

- $\map \ln z := \ln \cmod z + i \arg z$

where:

- $\cmod z$ is the modulus of $z$
- $\arg z$ is the argument of $z$, which is a multifunction.

## Principal Branch

The principal branch of the complex natural logarithm is usually defined in one of two ways:

\(\ds \map \Ln z\) | \(=\) | \(\ds \map \ln r + i \theta\) | for $\theta \in \hointr 0 {2 \pi}$ | |||||||||||

\(\ds \map \Ln z\) | \(=\) | \(\ds \map \ln r + i \theta\) | for $\theta \in \hointl {-\pi} \pi$ |

It is important to specify which is in force during a particular exposition.

## Notation

The notation for the natural logarithm function is misleadingly inconsistent throughout the literature. It is written variously as:

- $\ln z$
- $\log z$
- $\Log z$
- $\log_e z$

The first of these is commonly encountered, and is the preferred form on $\mathsf{Pr} \infty \mathsf{fWiki}$. However, many who consider themselves serious mathematicians believe this notation to be unsophisticated.

The second and third are ambiguous (it doesn't tell you which base it is the logarithm of).

While the fourth option is more verbose than the others, there is no confusion about exactly what is meant.

## Also see

- Results about
**logarithms**can be found**here**.

## Linguistic Note

The word **logarithm** comes from the Ancient Greek **λόγος** (**lógos**), meaning **word** or **reason**, and **ἀριθμός** (**arithmós**), meaning **number**.

## Sources

- 1960: Walter Ledermann:
*Complex Numbers*... (previous) ... (next): $\S 4.6$. The Logarithm: $(4.25)$ - 1968: Murray R. Spiegel:
*Mathematical Handbook of Formulas and Tables*... (previous) ... (next): $\S 7$: Logarithm of a Complex Number: $7.29$ - 1981: Murray R. Spiegel:
*Theory and Problems of Complex Variables*(SI ed.) ... (previous) ... (next): $2$: Functions, Limits and Continuity: The Elementary Functions: $6$ - 1983: Ian Stewart and David Tall:
*Complex Analysis (The Hitchhiker's Guide to the Plane)*... (previous) ... (next): $0$ The origins of complex analysis, and a modern viewpoint: $1$. The origins of complex numbers