Limits in indeterminate forms (HL)

This expands upon the discussion in Limits, continuity and differentiability. Here we elaborate on

limxa(f(x)+g(x))=L does not imply limxaf(x)+limxag(x)=L\begin{align*}&\,\lim_{x\to a} (f(x) + g(x)) = L \\ \text{ does not imply } &\, \lim_{x\to a} f(x) + \lim_{x\to a} g(x) = L \end{align*}
limxa(f(x)g(x))=L does not imply limxaf(x)limxag(x)=L\begin{align*}&\,\lim_{x\to a} (f(x) \cdot g(x)) = L \\ \text{ does not imply } &\, \lim_{x\to a} f(x) \cdot \lim_{x\to a} g(x) = L \end{align*}

Contents

Indeterminate forms

The indeterminate forms are what that would result, if the single limit were split into two. They are

00,,0,,00,1,0\frac00,\, \frac \infty\infty,\, 0 \cdot\infty,\, \infty -\infty,\, 0^0,\, 1^\infty,\, \infty^0

Limits in indeterminate forms may evaluate to any real number, as well as undefined. The l’Hôpital’s rule, possibly through repeated use, can determine the value of some of such limits.

L’Hôpital’s rule

The l’Hôpital’s rule can be used on limxcf(x)g(x)\displaystyle \lim_{x\to c}\frac{f(x)}{g(x)} when all of the following are true

  1. The fraction is in the 00\frac00 or ±\pm \frac\infty\infty form. (As we’ll briefly touch upon, other indeterminate forms can be written as one of these two, though only these two are tested in IB Math AA.)
  2. The limit limxcf(x)g(x)\displaystyle \lim_{x\to c}\frac{f^\prime(x)}{g^\prime(x)} exists, which additionally requires both f(x)f(x) and g(x)g(x) to be differentiable near x=cx = c.

Then

limxcf(x)g(x)=limxcf(x)g(x)\lim_{x\to c} \frac{f(x)}{g(x)} = \lim_{x\to c} \frac{f^\prime(x)}{g^\prime(x)}

L’Hôpital’s rule may be applied multiple times, as long as each intermediate result is indeterminate.

When the question in IB Math AA explicitly mentions l’Hôpital’s rule, then the limit exists. Though, there are cases when limxcf(x)g(x)\displaystyle \lim_{x\to c}\frac{f^\prime(x)}{g^\prime(x)} does not exist, but limxcf(x)g(x)\displaystyle \lim_{x\to c}\frac{f(x)}{g(x)} does, or vice versa. For examples of when these may occur, refer to the wikipedia article 

Extension

These are technically not part of the syllabus, but they can be useful to know

For f(x)g(x)f(x) \cdot g(x) in indeterminate form, use

limxaf(x)g(x)=limxaf(x)g(x)1=limxag(x)f(x)1\begin{align*} \lim_{x\to a} f(x)\cdot g(x) &= \lim_{x\to a} \frac{f(x)}{g(x)^{-1}} \\ &= \lim_{x\to a} \frac{g(x)}{f(x)^{-1}} \end{align*}

Which one goes on the denominator is entirely personal taste, depending on what is easier to differentiate.

For f(x)g(x)f(x)^{g(x)} in indeterminate form

limxaf(x)g(x)=(e)limxag(x)lnf(x)=(e)limxalnf(x)g(x)1\begin{align*} \lim_{x\to a} f(x)^{g(x)} &= (e)^{\displaystyle\lim_{x\to a} g(x) \ln f(x)} \\ &= (e)^{\displaystyle\lim_{x\to a} \frac{\ln f(x)}{g(x)^{-1}}} \end{align*}

Finally, \infty -\infty is the trickiest but they may have a common factor or it’s possible to convert two fractions into one with a common denominator.

Alternative method

Many limits can be expressed using Maclaurin series, which transforms the limit to a limit of a polynomial. See the bottom of the Maclaurin series page for a practical example.