Skip to main content
Mathematics LibreTexts

4.10: Limits Revisited

  • Page ID
    477
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    We have defined and used the concept of limit, primarily in our development of the derivative. Recall that \(\lim_{x\to a}f(x)=L\) is true if, in a precise sense, \(f(x)\) gets closer and closer to \(L\) as \(x\) gets closer and closer to \(a\). While some limits are easy to see, others take some ingenuity; in particular, the limits that define derivatives are always difficult on their face, since in

    \[\lim_{\Delta x\to 0} {f(x+\Delta x)-f(x)\over \Delta x}\]

    both the numerator and denominator approach zero. Typically this difficulty can be resolved when \(f\) is a "nice'' function and we are trying to compute a derivative. Occasionally such limits are interesting for other reasons, and the limit of a fraction in which both numerator and denominator approach zero can be difficult to analyze. Now that we have the derivative available, there is another technique that can sometimes be helpful in such circumstances.

    Before we introduce the technique, we will also expand our concept of limit. We will occasionally want to know what happens to some quantity when a variable gets very large or "goes to infinity''.

    Example 4.10.1

    What happens to \(\dfrac{1}{x}\) as \(x\) goes to 0? From the right, \(\dfrac{1}{x}\) gets bigger and bigger, or goes to infinity. From the left it goes to negative infinity.

    Example 4.10.2

    What happens to the function \(\cos(1/x)\) as \(x\) goes to infinity? It seems clear that as \(x\) gets larger and larger, \(1/x\) gets closer and closer to zero, so \(\cos(1/x)\) should be getting closer and closer to \(\cos(0)=1\).

    As with ordinary limits, this concept of "limit at infinity'' can be made precise. Roughly, we want \(\lim_{x\to \infty}f(x)=L\) to mean that we can make \(f(x)\) as close as we want to \(L\) by making \(x\) large enough. Compare this definition to the definition of limit in section 2.3.

    Definition 4.10.3

     If \(f\) is a function, we say that

    \[\lim _{x \rightarrow a} f(x)=\infty\]

    if for every \(N>0\) there is a \(\delta>0\) such that whenever \(|x-a|<\delta, f(x)>N\). We can extend this in the obvious ways to define \(\lim _{x \rightarrow a} f(x)=-\infty, \lim _{x \rightarrow a^{-}} f(x)= \pm \infty\), and \(\lim _{x \rightarrow a^{+}} f(x)= \pm \infty\)

    Definition 4.10.4: Limit at infinity

    If \(f\) is a function, we say that

    \[ \lim_{x\rightarrow \infty} f(x)=L \]

    if for every \(\epsilon >0\) there is an \(N > 0\) so that whenever \(x>N\), \(|f(x)-L|<\epsilon\).

    We may similarly define \(\lim_{x\rightarrow -\infty} f(x)=L\), and using the idea of the previous definition, we may define \(\lim_{x \rightarrow \pm \infty} f(x) =\pm \infty\).

    We include this definition for completeness, but we will not explore it in detail. Suffice it to say that such limits behave in much the same way that ordinary limits do; in particular there is a direct analog of theorem 2.3.6.

    Now consider this limit:

    \[\lim_{x\to \pi}{x^2-\pi^2\over \sin x}.\]

    As \(x\) approaches \(\pi\), both the numerator and denominator approach zero, so it is not obvious what, if anything, the quotient approaches. We can often compute such limits by application of the following theorem.

    Theorem 4.10.5: L'Hôpital's Rule

    For "sufficiently nice'' functions \(f(x)\) and \(g(x)\), if

    \[\lim_{x\to a} f(x)= 0 = \lim_{x\to a} g(x)\]

    or

    \[\lim_{x\to a} f(x)= \pm\infty = \lim_{x\to a} g(x),\]

    and if

    \[\lim_{x\to a}{f'(x)\over g'(x)}\]

    exists, then

    \[\lim_{x\to a}{f(x)\over g(x)}=\lim_{x\to a}{f'(x)\over g'(x)}.\]

    This remains true if "\(x\to a\)'' is replaced by "\(x\to \infty\)'' or "\(x\to -\infty\)''.

    This theorem is somewhat difficult to prove, in part because it incorporates so many different possibilities, so we will not prove it here. We also will not need to worry about the precise definition of "sufficiently nice'', as the functions we encounter will be suitable.

    Example 4.10.6

    Compute \(\lim_{x\to \pi}{x^2-\pi^2\over \sin x}\) in two ways.

    Solution

    First we use L'Hôpital's Rule: Since the numerator and denominator both approach zero,

    \[\lim_{x\to \pi}{x^2-\pi^2\over \sin x}= \lim_{x\to \pi}{2x \over \cos x},\]

    provided the latter exists. But in fact this is an easy limit, since the denominator now approaches \(-1\), so

    \[\lim_{x\to \pi}{x^2-\pi^2\over \sin x}={2\pi\over -1} = -2\pi.\]

    We don't really need L'Hôpital's Rule to do this limit. Rewrite it as

    \[\lim_{x\to \pi}(x+\pi){x-\pi\over \sin x}\]

    and note that

    \[\lim_{x\to \pi}{x-\pi\over \sin x}= \lim_{x\to \pi}{x-\pi\over -\sin (x-\pi)}= \lim_{x\to 0}-{x\over \sin x}\]

    since \(x-\pi\) approaches zero as \(x\) approaches \(\pi\). Now

    \[\lim_{x\to \pi}(x+\pi){x-\pi\over \sin x}= \lim_{x\to \pi}(x+\pi)\lim_{x\to 0}-{x\over \sin x}= 2\pi(-1)=-2\pi\]

    as before.

    Example 4.10.7

    Compute \(\lim_{x\to \infty}{2x^2-3x+7\over x^2+47x+1}\) in two ways.

    As \(x\) goes to infinity both the numerator and denominator go to infinity, so we may apply L'Hôpital's Rule:

    \[\lim_{x\to \infty}{2x^2-3x+7\over x^2+47x+1}= \lim_{x\to \infty}{4x-3\over 2x+47}.\]

    In the second quotient, it is still the case that the numerator and denominator both go to infinity, so we are allowed to use L'Hôpital's Rule again:

    \[\lim_{x\to \infty}{4x-3\over 2x+47}=\lim_{x\to \infty}{4\over 2}=2.\]

    So the original limit is 2 as well.

    Again, we don't really need L'Hôpital's Rule, and in fact a more elementary approach is easier---we divide the numerator and denominator by \(x^2\):

    \[\lim_{x\to \infty} \dfrac{2x^2-3x+7}{x^2+47x+1} = \lim_{x\to \infty} \dfrac{2x^2-3x+7}{x^2+47x+1}\dfrac{1\over x^2}{1\over x^2} = \lim_{x\to \infty}{2-{3\over x}+{7\over x^2}\over 1+{47\over x}+{1\over x^2}}.\]

    Now as \(x\) approaches infinity, all the quotients with some power of \(x\) in the denominator approach zero, leaving 2 in the numerator and 1 in the denominator, so the limit again is 2.

    Example 4.10.8

    Compute \(\lim_{x\to 0}{\sec x - 1\over \sin x}\).

    Solution

    Both the numerator and denominator approach zero, so applying L'Hôpital's Rule:

    \[\lim_{x\to 0}{\sec x - 1\over \sin x}= \lim_{x\to 0}{\sec x\tan x\over \cos x}={1\cdot 0\over 1}=0.\]

    Example 4.10.9

    Compute \(\lim_{x\to 0^+} x\ln x\).

    Solution

    This doesn't appear to be suitable for L'Hôpital's Rule, but it also is not "obvious''. As \(x\) approaches zero, \(\ln x\) goes to \(-\infty\), so the product looks like \((\hbox{something very small})\cdot (\hbox{something very large and negative})\). But this could be anything: it depends on how small and how large. For example, consider \((x^2)(1/x)\), \((x)(1/x)\), and \((x)(1/x^2)\). As \(x\) approaches zero, each of these is \((\hbox{something very small})\cdot (\hbox{something very large})\), yet the limits are respectively zero, \(1\), and \(\infty\).

    We can in fact turn this into a L'Hôpital's Rule problem:

    \[x\ln x = {\ln x\over 1/x}={\ln x\over x^{-1}}.\]

    Now as \(x\) approaches zero, both the numerator and denominator approach infinity (one \(-\infty\) and one \(+\infty\), but only the size is important). Using L'Hôpital's Rule:

    \[\lim_{x\to 0^+} {\ln x\over x^{-1}}= \lim_{x\to 0^+} {1/x\over -x^{-2}} =\lim_{x\to 0^+} {1\over x}(-x^2)= \lim_{x\to 0^+} -x = 0.\]

    One way to interpret this is that since \(\lim_{x\to 0^+}x\ln x = 0\), the \(x\) approaches zero much faster than the \(\ln x\) approaches \(-\infty\).

    Contributors

    •  

    This page titled 4.10: Limits Revisited is shared under a CC BY-NC-SA license and was authored, remixed, and/or curated by David Guichard.

    • Was this article helpful?