Unit 5, lesson 40

The Natural Logarithm Function

How the natural logarithm of a number is the exponent on e that gives that number, why it needs a positive input but can give negative outputs, and how to find the domain and asymptote of a shifted logarithm.

  • Theory part 79
  • Practice part 80
  • Logarithms

When a quantity grows like ekte^{kt} and you want to know when it reaches a certain size, you need to read an exponent on ee back out of a number. The natural logarithm does exactly that. It is the logarithm calculus uses almost everywhere, so its exact values and the shape of its graph are worth knowing by heart.

Key terms

Natural logarithm with base e

Definition The natural logarithm is the logarithm with base ee,

ln⁡x=log⁡ex,x>0.\ln x = \log_e x, \qquad x > 0.

So for x>0x > 0, ln⁡x\ln x is the unique real number yy with ey=xe^y = x. In symbols,

ln⁡x=yexactly wheney=x.\ln x = y \quad \text{exactly when} \quad e^y = x.

The base e≈2.71828e \approx 2.71828 is positive and not equal to 11, so everything true of log⁡ax\log_a x for a base a>1a > 1 is true of ln⁡x\ln x.

In plain words The natural log of a number is the power you must put on ee to get that number.

Example The exponent that turns ee into e2e^2 is 22, so ln⁡ ⁣(e2)=2\ln\!\left(e^2\right) = 2. Similarly ln⁡1e=−1\ln \frac{1}{e} = -1, because e−1=1ee^{-1} = \frac{1}{e}, and ln⁡e=12\ln \sqrt{e} = \frac{1}{2}, because e1/2=ee^{1/2} = \sqrt{e}.

Inverse of the natural exponential

Definition The functions exe^x on R\mathbb{R} and ln⁡x\ln x on (0,∞)(0, \infty) are inverses of each other, which means

ln⁡ ⁣(eu)=u  for every real u,eln⁡x=x  for every x>0.\begin{gathered} \ln\!\left(e^u\right) = u \ \text{ for every real } u, \\[0.4em] e^{\ln x} = x \ \text{ for every } x > 0. \end{gathered}

The graph of y=ln⁡xy = \ln x is the reflection of the graph of y=exy = e^x across the line y=xy = x. It is strictly increasing on (0,∞)(0, \infty), and its range is R\mathbb{R}.

In plain words Taking ln⁡\ln undoes raising ee to a power, and raising ee to a power undoes taking ln⁡\ln. The second direction works only for positive numbers.

Example Each exact pair on y=exy = e^x gives a pair on y=ln⁡xy = \ln x with the coordinates swapped.

xx1e2\frac{1}{e^2}1e\frac{1}{e}11eee2e^2
ln⁡x\ln x−2-2−1-1001122

Also eln⁡7=7e^{\ln 7} = 7, while eln⁡(−7)e^{\ln(-7)} has no real value because −7-7 is not in the domain of ln⁡\ln.

Positive input

Definition The real function ln⁡x\ln x is defined exactly for x>0x > 0. Zero and negative inputs have no real natural logarithm, because ey>0e^y > 0 for every real yy. For ln⁡(g(x))\ln(g(x)) the domain is the set of xx in the domain of gg with g(x)>0g(x) > 0.

In plain words Before you take ln⁡\ln of anything, make sure that thing is positive.

Example The function ln⁡ ⁣(x2−4)\ln\!\left(x^2 - 4\right) needs x2−4>0x^2 - 4 > 0, which holds when x<−2x < -2 or x>2x > 2. Its domain is (−∞,−2)∪(2,∞)(-\infty, -2) \cup (2, \infty). The value ln⁡0\ln 0 does not exist.

Zero at one

Definition Since e0=1e^0 = 1 and e1=ee^1 = e,

ln⁡1=0,ln⁡e=1.\ln 1 = 0, \qquad \ln e = 1.

The point (1,0)(1, 0) is the only xx-intercept of y=ln⁡xy = \ln x, and the point (e,1)(e, 1) marks where the graph reaches height 11.

In plain words The natural log of 11 is zero because ee to the zero is 11. These two points anchor every sketch.

Example To find where ln⁡(2x−5)=0\ln(2x - 5) = 0, set the argument equal to 11. Then 2x−5=12x - 5 = 1, so x=3x = 3. The value x=3x = 3 also makes the argument positive, so it is in the domain.

Negative logarithm values

Definition For the natural logarithm,

ln⁡x<0  if 0<x<1,ln⁡x=0  if x=1,ln⁡x>0  if x>1.\begin{gathered} \ln x < 0 \ \text{ if } 0 < x < 1, \\[0.4em] \ln x = 0 \ \text{ if } x = 1, \\[0.4em] \ln x > 0 \ \text{ if } x > 1. \end{gathered}

A negative output is perfectly valid. What is not allowed is a nonpositive input.

In plain words Numbers between 00 and 11 come from negative powers of ee, so their logarithms are negative. The sign of ln⁡x\ln x tells you which side of 11 the input is on.

Example The value ln⁡0.5\ln 0.5 is about −0.693-0.693, a real negative number. Do not confuse it with ln⁡(−0.5)\ln(-0.5), which does not exist. Also ln⁡(e−3)=−3\ln(e^{-3}) = -3, so the input e−3≈0.0498e^{-3} \approx 0.0498 has a negative logarithm.

Shifted logarithm

Definition For a real constant hh, the function

y=ln⁡(x−h)y = \ln(x - h)

is defined exactly when x>hx > h, so its domain is (h,∞)(h, \infty). Its graph is the graph of y=ln⁡xy = \ln x shifted hh units to the right when h>0h > 0, and ∣h∣\lvert h \rvert units to the left when h<0h < 0. It has vertical asymptote x=hx = h and xx-intercept (h+1,0)(h + 1, 0). Adding a constant kk, as in y=ln⁡(x−h)+ky = \ln(x - h) + k, moves the graph up by kk and does not change the domain or the asymptote.

In plain words The shift moves the gate. Instead of needing x>0x > 0, the input must now get past x=hx = h, and the asymptote moves with it.

Example For y=ln⁡(x−2)y = \ln(x - 2) the domain is (2,∞)(2, \infty) and the asymptote is x=2x = 2. Shifting the exact points of ln⁡x\ln x two units right gives

xx2+1e2 + \frac{1}{e}332+e2 + e
ln⁡(x−2)\ln(x - 2)−1-10011

The line x=2x = 2 is drawn dashed, since no point of the graph lies on it.

Vertical asymptote

Definition As x→0+x \to 0^+, ln⁡x→−∞\ln x \to -\infty, so the line x=0x = 0 is a vertical asymptote of y=ln⁡xy = \ln x. For y=ln⁡(x−h)y = \ln(x - h), ln⁡(x−h)→−∞\ln(x - h) \to -\infty as x→h+x \to h^+, so the line x=hx = h is the vertical asymptote. The graph approaches it only from the right and never meets it.

In plain words Near the edge of the domain the graph plunges down without bound. To the right it keeps rising without bound, so it has no horizontal asymptote, even though it climbs very slowly.

Example The input 10−610^{-6} has ln⁡ ⁣(10−6)≈−13.8\ln\!\left(10^{-6}\right) \approx -13.8, while to reach a height of only 1010 you need x=e10≈22026x = e^{10} \approx 22026. The graph falls fast near x=0x = 0 and climbs slowly far to the right.

Check yourself

  1. Find the exact values of ln⁡ ⁣(e5)\ln\!\left(e^5\right), ln⁡1e\ln \frac{1}{\sqrt{e}} and eln⁡7e^{\ln 7}.
Show the answer

The values are 55, −12-\frac{1}{2} and 77. The middle one holds because 1e=e−1/2\frac{1}{\sqrt{e}} = e^{-1/2}.

  1. For y=ln⁡(x+3)−1y = \ln(x + 3) - 1, give the domain, the vertical asymptote and the xx-intercept.
Show the answer

The argument needs x+3>0x + 3 > 0, so the domain is (−3,∞)(-3, \infty) and the asymptote is x=−3x = -3. Setting ln⁡(x+3)=1\ln(x + 3) = 1 gives x+3=ex + 3 = e, so the xx-intercept is (e−3,0)(e - 3, 0), about (−0.28,0)(-0.28, 0).

  1. For which xx is ln⁡(x−1)\ln(x - 1) negative?
Show the answer

A natural logarithm is negative exactly when its argument lies strictly between 00 and 11. So 0<x−1<10 < x - 1 < 1, which gives 1<x<21 < x < 2.

How this lesson connects