y=lnxy = \ln x

Graph of the Natural Logarithm y=lnxy = \ln x

y=lnxy = \ln x is the inverse of exe^x: it gives the power to which ee must be raised to obtain xx. Called the natural logarithm, it satisfies elnx=xe^{\ln x} = x.

Domain and range

Since eye^y only ever takes positive values, lnx\ln x makes sense only for x>0x > 0. The domain is x>0x > 0 and the range is all real numbers: the domain and range of the exponential, exactly swapped.

Monotonicity and shape

The derivative is as follows.

y=1xy' = \frac{1}{x}

It is positive for x>0x > 0, so the function increases monotonically, but the slope approaches 00 as xx grows, so the climb becomes ever gentler. The second derivative y=1x2y'' = -\dfrac{1}{x^2} is negative, so the curve is concave down throughout. It has no upper bound and rises forever, yet it does so remarkably slowly: ln10006.9\ln 1000 \approx 6.9.

Asymptotes and limits

As x0+x \to 0^{+} the function diverges to -\infty, so the yy-axis, the line x=0x = 0, is a vertical asymptote. As x+x \to +\infty it diverges to ++\infty, but more slowly than any power of xx; for every positive pp the following holds.

limxlnxxp=0\lim_{x \to \infty} \frac{\ln x}{x^p} = 0

Notable points

The curve passes through (1,0)(1, 0) and (e,1)(2.718,1)(e, 1) \approx (2.718, 1). Since a0=1a^0 = 1, every logarithm passes through (1,0)(1, 0) whatever its base. At (1,0)(1, 0) the tangent is the line y=x1y = x - 1, of slope 11.

Laws of logarithms

LawFormulaWhat it does
Productln(ab)=lna+lnb\ln(ab) = \ln a + \ln bturns multiplication into addition
Quotientlnab=lnalnb\ln \dfrac{a}{b} = \ln a - \ln bturns division into subtraction
Powerlnap=plna\ln a^p = p \ln aturns a power into multiplication

Lowering every operation by one level in this way is what made logarithms a computational tool for centuries.

Definition as an integral

The natural logarithm is also an antiderivative of 1x\dfrac{1}{x}.

1xdtt=lnx\int_{1}^{x} \frac{dt}{t} = \ln x

This integral is sometimes taken as the definition of the natural logarithm. The change-of-base formula logax=lnxlna\log_a x = \dfrac{\ln x}{\ln a} shows that every logarithm is a constant multiple of this one.

Applications

  • Statistics replaces a product of likelihoods with a sum of log-likelihoods
  • Information theory defines information content and entropy through logarithms
  • The O(logn)O(\log n) of computational complexity, as in binary search, measures algorithms that shrink the problem by a constant factor at every step