Definition:Natural Logarithm

From ProofWiki
Jump to: navigation, search

Definition

Positive Real Numbers

Let $x \in \R$ be a real number such that $x > 0$.

The (natural) logarithm of $x$ is defined as:

$\displaystyle \ln x := \int_1^x \frac {\mathrm dt} t$


Complex Numbers

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:

$\ln \left({z}\right) := \left\{{\ln \left({r}\right) + i \theta + 2 k \pi i: k \in \Z}\right\}$

where $\ln \left({r}\right)$ is the natural logarithm of the (strictly) positive real number $r$.


Notation

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

$\ln 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 is ambiguous (it doesn't tell you which base it is the logarithm of).

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


Also known as

The natural logarithm is sometimes referred to as the Napierian logarithm for John Napier, although this was not actually the logarithm he was famous for inventing.


Also see

  • Results about logarithms can be found here.


Historical Note

The natural logarithm was discovered by accident by John Napier in around $1590$, evolving from his invention of the Napierian logarithm as a tool for multiplication of numbers by addition.

He had no concept of the notion of the base of a logarithm and certainly did not use Euler's number $e$.


Sources