AP Calculus AB/BC

Part 1 · limits

Limits at infinity and asymptotes

What a function does far out, and how the two kinds of asymptote come from two different limits.

By the end of this chapter you can

  • Evaluate a limit as x grows without bound
  • Find horizontal asymptotes by comparing degrees
  • Distinguish a vertical asymptote from a hole
  • Rank the growth rates that decide every such limit

So far the input has approached a finite point. Let it run off instead: xx \to \infty asks what the function settles down to far out, and the answer is a horizontal asymptote when there is one.

This is the same limit idea with a different approach, and the technique is different too — nothing to factor and cancel, because nothing is 00\tfrac{0}{0}. The competition is between things growing.

The one move: divide by the dominant term

For a ratio of polynomials, divide top and bottom by the highest power of xx appearing anywhere in the fraction. Every term then either survives as a constant or dies as cxk0\tfrac{c}{x^k} \to 0.

limx3x2+5x12x27=limx3+5x1x227x2=32\lim_{x \to \infty}\frac{3x^2 + 5x - 1}{2x^2 - 7} = \lim_{x \to \infty}\frac{3 + \tfrac{5}{x} - \tfrac{1}{x^2}}{2 - \tfrac{7}{x^2}} = \frac{3}{2}

  • limx(3x2+5x12x27)=32\lim_{x \to \infty}\left(\frac{3 x^{2} + 5 x - 1}{2 x^{2} - 7}\right) = \frac{3}{2}
  • limx1x=0\lim_{x \to \infty} \frac{1}{x} = 0
  • limx(2x+1x2+3)=0\lim_{x \to \infty}\left(\frac{2 x + 1}{x^{2} + 3}\right) = 0
  • limx(x3+1x2+1)=\lim_{x \to \infty}\left(\frac{x^{3} + 1}{x^{2} + 1}\right) = \infty
checked by the build

Those three outcomes are the only ones, and a degree comparison predicts which without doing any work:

Degrees Limit Asymptote
top << bottom 00 y=0y = 0
top == bottom ratio of leading coefficients y=y = that ratio
top >> bottom ±\pm\infty none (horizontal)

Roots need care about sign

x2=x\sqrt{x^2} = |x|, not xx. Going to ++\infty that distinction is invisible; going to -\infty it flips the answer’s sign.

limx4x2+1x=2butlimx4x2+1x=2\lim_{x \to \infty}\frac{\sqrt{4x^2+1}}{x} = 2 \qquad\text{but}\qquad \lim_{x \to -\infty}\frac{\sqrt{4x^2+1}}{x} = -2

  • limx(4x2+1x)=2\lim_{x \to \infty}\left(\frac{\sqrt{4 x^{2} + 1}}{x}\right) = 2
  • limx(4x2+1x)=2\lim_{x \to -\infty}\left(\frac{\sqrt{4 x^{2} + 1}}{x}\right) = -2
checked by the build

Both are verified above, and they differ. A student who writes x2=x\sqrt{x^2} = x gets the second one wrong and has no way to notice.

Which grows faster

Beyond polynomials, limits at infinity are decided by a ranking. Each of these beats everything to its left, eventually and permanently:

lnx    xp    ex    x!\ln x \;\ll\; x^{p} \;\ll\; e^{x} \;\ll\; x!

“Eventually” is doing real work in that sentence. x100x^{100} is vastly larger than exe^x for a long time — they cross somewhere past x1000x \approx 1000 — and after the crossing the exponential wins by margins that grow without bound. A table of small values would tell you the opposite of the truth.

  • limx(log(x)x)=0\lim_{x \to \infty}\left(\frac{\log{\left(x \right)}}{x}\right) = 0
  • limx(x5ex)=0\lim_{x \to \infty}\left(x^{5} e^{- x}\right) = 0
  • limx(exx100)=\lim_{x \to \infty}\left(\frac{e^{x}}{x^{100}}\right) = \infty
checked by the build

The middle claim is the useful one: any power divided by an exponential tends to zero. It settles most questions of this kind on sight.

Vertical asymptotes

A horizontal asymptote comes from xx \to \infty. A vertical one comes from the other kind of limit — a finite point where the function grows without bound.

For a rational function, that is a zero of the denominator which is not also a zero of the numerator. When it is a zero of both, the factor cancels and you get a hole instead.

x1(x1)(x+2)\frac{x-1}{(x-1)(x+2)}

has a hole at x=1x = 1 and a vertical asymptote at x=2x = -2 — the same expression producing both kinds of behaviour, distinguished only by whether the factor cancels.

  • 1x+2=1x+2\frac{1}{x + 2} = \frac{1}{x + 2}
  • limx11x+2=13\lim_{x \to 1} \frac{1}{x + 2} = \frac{1}{3}
checked by the build

At x=1x = 1 the limit is a perfectly ordinary 13\tfrac13 — the hole is invisible to the limit, which is chapter 1.1’s point arriving again. At x=2x = -2 nothing cancels, and there is no limit at all.