Definition:Natural Logarithm/Complex

Definition
The complex natural logarithm of a complex value $z \in \C$ is written $\log \left({z}\right)$ (no base value) and is defined:


 * $\log \left({z}\right) := \ln \left|{z}\right| + i \arg \left({z}\right)$

The principal branch of the complex logarithm is written and defined:


 * $\operatorname{Log} \left({z}\right) := \ln \left|{z}\right| + i \operatorname{Arg} \left({z}\right)$

where $\arg \left({z}\right)$ is the continuous argument of $z$ and $\operatorname{Arg}\left({z}\right) = \arg \left({z}\right) \ \left({\bmod \left({2 \pi}\right)}\right)$ is the principal argument of $z$.

Notation
The natural logarithm of $x$ is written variously as:


 * $\ln z$
 * $\log z$
 * $\log_e z$

The first of these is fairly commonly encountered, and frequently preferred. The second is ambiguous (it doesn't tell you which base it is the logarithm of) and the third is verbose.

However, notation is misleadingly inconsistent throughout the literature, and if there is any confusion about exactly what is meant, the full (verbose) format can be argued for.

Note on Definition
For any definition of the exponential function that is not "the function inverse of the natural logarithm", the natural logarithm can be defined as the inverse of the exponential function.

Also see

 * Properties of Natural Logarithm