Subsection 1.5.1 Limits at Infinity
Up until this point we have discussed what happens to a function as we move its input \(x\) closer and closer to a particular point \(a\text{.}\) For a great many applications of limits we need to understand what happens to a function when its input becomes extremely large — for example what happens to a population at a time far in the future.
The definition of a limit at infinity has a similar flavour to the definition of limits at finite points that we saw above, but the details are a little different. We also need to distinguish between positive and negative infinity. As \(x\) becomes very large and positive it moves off towards \(+\infty\) but when it becomes very large and negative it moves off towards \(-\infty\text{.}\)
Again we give an informal definition; the full formal definition can be found in (the optional) Section
1.8 near the end of this chapter.
Definition 1.5.1. Limits at infinity — informal.
We write
\begin{align*}
\lim_{x \to \infty} f(x) &= L
\end{align*}
when the value of the function \(f(x)\) gets closer and closer to \(L\) as we make \(x\) larger and larger and positive.
Similarly we write
\begin{align*}
\lim_{x \to -\infty} f(x) &= L
\end{align*}
when the value of the function \(f(x)\) gets closer and closer to \(L\) as we make \(x\) larger and larger and negative.
Example 1.5.2. Limits to \(+\infty\) and \(-\infty\).
Consider the two functions depicted below
The dotted horizontal lines indicate the behaviour as \(x\) becomes very large. The function on the left has limits as \(x \to \infty\) and as \(x \to -\infty\) since the function “settles down” to a particular value. On the other hand, the function on the right does not have a limit as \(x \to -\infty\) since the function just keeps getting bigger and bigger.
Just as was the case for limits as \(x \to a\) we will start with two very simple building blocks and build other limits from those.
Theorem 1.5.3.
Let \(c \in \mathbb{R}\) then the following limits hold
\begin{align*}
\lim_{x \to \infty} c &= c & \lim_{x \to -\infty} c &= c\\
\lim_{x \to \infty} \frac{1}{x} &= 0 & \lim_{x \to -\infty} \frac{1}{x} &= 0
\end{align*}
Again, these limits interact nicely with standard arithmetic:
Theorem 1.5.4. Arithmetic of limits at infinity.
Let \(f(x), g(x)\) be two functions for which the limits
\begin{align*}
\lim_{x \to \infty} f(x)&=F & \lim_{x \to \infty} g(x) &=G
\end{align*}
exist. Then the following limits hold
\begin{align*}
\lim_{x \to \infty} f(x) \pm g(x) &= F \pm G\\
\lim_{x \to \infty} f(x) g(x) &= F G\\
\lim_{x \to \infty} \frac{f(x)}{ g(x) } &= \frac{F}{G} & \text{provided } G \neq 0\\
\end{align*}
and for real numbers \(p\)
\begin{align*}
\lim_{x \to \infty} f(x)^p &= F^p & \text{provided $F^p$ and $f(x)^p$ are defined for all $x$}
\end{align*}
The analogous results hold for limits to \(-\infty\text{.}\)
Note that, as was the case in Theorem
1.4.9, we need a little extra care with powers of functions. We must avoid taking square roots of negative numbers, or indeed any even root of a negative number .
Hence we have for all rational \(r \gt 0\)
\begin{align*}
\lim_{x \to \infty} \frac{1}{x^r} &= 0
\end{align*}
but we have to be careful with
\begin{align*}
\lim_{x \to -\infty} \frac{1}{x^r} &= 0
\end{align*}
This is only true if the denominator of \(r\) is not an even number .
For example
\(\ds \lim_{x \to \infty} \frac{1}{x^{1/2}} = 0\text{,}\) but \(\ds \lim_{x \to -\infty} \frac{1}{x^{1/2}}\) does not exist, because \(x^{1/2}\) is not defined for \(x \lt 0\text{.}\)
On the other hand, \(x^{4/3}\) is defined for negative values of \(x\) and \(\ds \lim_{x \to -\infty} \frac{1}{x^{4/3}} = 0\text{.}\)
Our first application of limits at infinity will be to examine the behaviour of a rational function for very large \(x\text{.}\) To do this we use a “trick”.
Example 1.5.5. \(\ds \lim_{x \to \infty} \frac{x^2-3x+4}{3x^2+8x+1}\).
Compute the following limit:
\begin{gather*}
\lim_{x \to \infty} \frac{x^2-3x+4}{3x^2+8x+1}
\end{gather*}
As \(x\) becomes very large, it is the \(x^2\) term that will dominate in both the numerator and denominator and the other bits become irrelevant. That is, for very large \(x\text{,}\) \(x^2\) is much much larger than \(x\) or any constant. So we pull out these dominant parts
\begin{align*}
\frac{x^2-3x+4}{3x^2+8x+1}
&= \frac{x^2 \left(1-\frac{3}{x}+\frac{4}{x^2}\right)}
{x^2 \left(3+\frac{8}{x}+\frac{1}{x^2} \right)}\\
&= \frac{1-\frac{3}{x}+\frac{4}{x^2}}
{3+\frac{8}{x}+\frac{1}{x^2}} & \text{ remove the common factors}
\end{align*}
\begin{align*}
\lim_{x \to \infty} \frac{x^2-3x+4}{3x^2+8x+1}
&= \lim_{x \to \infty} \frac{1-\frac{3}{x}+\frac{4}{x^2}}
{3+\frac{8}{x}+\frac{1}{x^2}}\\
&= \frac{\ds \lim_{x \to \infty}\left(1-\frac{3}{x}+\frac{4}{x^2}\right)}
{\ds \lim_{x \to \infty}\left(3+\frac{8}{x}+\frac{1}{x^2} \right)}
& \text{arithmetic of limits}\\
&= \frac{\ds \lim_{x \to \infty} 1
- \lim_{x \to \infty} \frac{3}{x} + \lim_{x \to \infty} \frac{4}{x^2}}
{\ds \lim_{x \to \infty} 3
+ \lim_{x \to \infty} \frac{8}{x}+ \lim_{x \to \infty} \frac{1}{x^2} }
& \text{more arithmetic of limits}\\
&= \frac{1+0+0}{3+0+0} = \frac{1}{3}
\end{align*}
The following one gets a little harder
Example 1.5.6. Be careful of limits involving roots.
Find the limit as \(x \to \infty\) of \(\frac{\sqrt{4x^2+1}}{5x-1}\)
We use the same trick — try to work out what is the biggest term in the numerator and denominator and pull it to one side.
The denominator is dominated by \(5x\text{.}\)
The biggest contribution to the numerator comes from the \(4x^2\) inside the square-root. When we pull \(x^2\) outside the square-root it becomes \(x\text{,}\) so the numerator is dominated by \(x \cdot \sqrt{4} = 2x\)
To see this more explicitly rewrite the numerator
\begin{align*}
\sqrt{4x^2+1} &= \sqrt{x^2 (4+1/x^2)} = \sqrt{x^2} \sqrt{4+1/x^2} =
x\sqrt{4+1/x^2}.
\end{align*}
Thus the limit as
\(x \to \infty\) is
\begin{align*}
\lim_{x \to \infty} \frac{\sqrt{4x^2+1}}{5x-1}
&= \lim_{x \to \infty} \frac{x \sqrt{4+1/x^2}}{x(5-1/x)}\\
&= \lim_{x \to \infty} \frac{\sqrt{4+1/x^2}}{5-1/x}\\
& = \frac{2}{5}
\end{align*}
Now let us also think about the limit of the same function, \(\frac{\sqrt{4x^2+1}}{5x-1}\text{,}\) as \(x \rightarrow -\infty\text{.}\) There is something subtle going on because of the square-root. First consider the function
\begin{align*}
h(t) &= \sqrt{t^2}
\end{align*}
Evaluating this at \(t=7\) gives
\begin{align*}
h(7) &= \sqrt{ 7^2 } = \sqrt{49} = 7
\end{align*}
We’ll get much the same thing for any \(t \geq 0\text{.}\) For any \(t \ge 0\text{,}\) \(h(t)=\sqrt{t^2}\) returns exactly \(t\text{.}\) However now consider the function at \(t=-3\)
\begin{align*}
h(-3) &= \sqrt{ (-3)^2 } = \sqrt{9} = 3 = - (-3)
\end{align*}
that is the function is returning \(-1\) times the input.
This is because when we defined \(\sqrt{\text{ }}\text{,}\) we defined it to be the positive square-root. i.e. the function \(\sqrt{t}\) can never return a negative number. So being more careful
\begin{align*}
h(t) &= \sqrt{t^2} = | t |
\end{align*}
Where the \(|t|\) is the absolute value of \(t\text{.}\) You are perhaps used to thinking of absolute value as “remove the minus sign”, but this is not quite correct. Let’s sketch the function
It is a piecewise function defined by
\begin{align*}
|x| &= \begin{cases} x & x \geq 0 \\ -x & x \lt 0 \end{cases}
\end{align*}
Hence our function \(h(t)\) is really
\begin{align*}
h(t) &= \sqrt{t^2} =
\begin{cases}
t & t \geq 0 \\
-t & t \lt 0
\end{cases}
\end{align*}
So that when we evaluate \(h(-7)\) it is
\begin{align*}
h(-7) &= \sqrt{ (-7)^2 } = \sqrt{49} = 7 = -(-7)
\end{align*}
We are now ready to examine the limit as \(x \to -\infty\) in our previous example. Mostly it is copy and paste from above.
Example 1.5.7. Be careful of limits involving roots — continued.
Find the limit as \(x \to -\infty\) of \(\frac{\sqrt{4x^2+1}}{5x-1}\)
We use the same trick — try to work out what is the biggest term in the numerator and denominator and pull it to one side. Since we are taking the limit as \(x \to -\infty\) we should think of \(x\) as a large negative number.
The denominator is dominated by \(5x\text{.}\)
The biggest contribution to the numerator comes from the \(4x^2\) inside the square-root. When we pull the \(x^2\) outside a square-root it becomes \(|x| = -x\) (since we are taking the limit as \(x \to -\infty\)), so the numerator is dominated by \(-x\cdot\sqrt{4} = -2x\)
To see this more explicitly rewrite the numerator
\begin{align*}
\sqrt{4x^2+1} &= \sqrt{x^2 (4+1/x^2)} = \sqrt{x^2} \sqrt{4+1/x^2}\\
&= |x|\sqrt{4+1/x^2} \qquad \text{ and since $x \lt 0$ we have}\\
& = -x\sqrt{4+1/x^2}
\end{align*}
Thus the limit as
\(x \to -\infty\) is
\begin{align*}
\lim_{x \to -\infty} \frac{\sqrt{4x^2+1}}{5x-1}
&= \lim_{x \to -\infty} \frac{-x \sqrt{4+1/x^2}}{x(5-1/x)}\\
&= \lim_{x \to -\infty} \frac{-\sqrt{4+1/x^2}}{5-1/x}\\
& = -\frac{2}{5}
\end{align*}
So the limit as \(x \to -\infty\) is almost the same but we gain a minus sign. This is definitely not the case in general — you have to think about each example separately.
Here is a sketch of the function in question.
Example 1.5.8. Do not try to add and subtract infinity.
Compute the following limit:
\begin{gather*}
\lim_{x \to \infty} \left( x^{7/5}-x \right)
\end{gather*}
In this case we cannot use the arithmetic of limits to write this as
\begin{align*}
\lim_{x \to \infty} \left( x^{7/5}-x \right)
&= \left( \lim_{x \to \infty} x^{7/5}\right)
- \left( \lim_{x \to \infty} x \right)\\
&= \infty -\infty
\end{align*}
because the limits do not exist. We can only use the limit laws when the limits exist. So we should go back and think some more.
When \(x\) is very large, \(x^{7/5} = x\cdot x^{2/5}\) will be much larger than \(x\text{,}\) so the \(x^{7/5}\) term will dominate the \(x\) term. So factor out \(x^{7/5}\) and rewrite it as
\begin{align*}
x^{7/5}-x &= x^{7/5} \left(1 - \frac{1}{x^{2/5}} \right)
\end{align*}
Consider what happens to each of the factors as \(x \to \infty\)
For large
\(x\text{,}\) \(x^{7/5} \gt x\) (this is actually true for any
\(x \gt 1\)). In the limit as
\(x \to +\infty\text{,}\) \(x\) becomes arbitrarily large and positive, and
\(x^{7/5}\) must be bigger still, so it follows that
\begin{align*}
\lim_{x \to \infty} x^{7/5} &= + \infty.
\end{align*}
On the other hand,
\((1-x^{-2/5})\) becomes closer and closer to
\(1\) — we can use the arithmetic of limits to write this as
\begin{align*}
\lim_{x \to \infty} (1-x^{-2/5}) &= \lim_{x \to \infty} 1 - \lim_{x \to
\infty} x^{-2/5} = 1-0 = 1
\end{align*}
So the product of these two factors will be come larger and larger (and positive) as \(x\) moves off to infinity. Hence we have
\begin{align*}
\lim_{x \to \infty} x^{7/5} \left(1 - 1/x^{2/5} \right) &= + \infty
\end{align*}
But remember \(+\infty\) and \(-\infty\) are not numbers; the last equation in the example is shorthand for “the function becomes arbitrarily large”.
In the previous section we saw that finite limits and arithmetic interact very nicely (see Theorems
1.4.3 and
1.4.9). This enabled us to compute the limits of more complicated function in terms of simpler ones. When limits of functions go to plus or minus infinity we are quite a bit more restricted in what we can deduce. The next theorem states some results concerning the sum, difference, ratio and product of infinite limits — unfortunately in many cases we cannot make general statements and the results will depend on the details of the problem at hand.
Theorem 1.5.9. Arithmetic of infinite limits.
Let \(a,c,H \in \mathbb{R}\) and let \(f,g,h\) be functions defined in an interval around \(a\) (but they need not be defined at \(x=a\)), so that
\begin{align*}
\lim_{x \to a} f(x) &= +\infty &
\lim_{x \to a} g(x) &= +\infty &
\lim_{x \to a} h(x) &= H
\end{align*}
\(\displaystyle \ds \lim_{x \to a} ( f(x) + g(x) ) = +\infty\)
\(\displaystyle \ds \lim_{x \to a} ( f(x) + h(x) ) = +\infty\)
\(\ds \lim_{x \to a} ( f(x) - g(x) )\) undetermined
\(\displaystyle \ds \lim_{x \to a} ( f(x) - h(x) ) = +\infty\)
\(\displaystyle \ds \lim_{x \to a} c f(x) =
\begin{cases}
+\infty & c \gt 0 \\
0 & c=0 \\
-\infty & c \lt 0
\end{cases}\)
\(\ds \lim_{x \to a} ( f(x) \cdot g(x) ) = +\infty\text{.}\)
\(\displaystyle \ds \lim_{x \to a} f(x) h(x) =
\begin{cases}
+\infty & H \gt 0 \\
-\infty & H \lt 0\\
\text{undetermined} & H=0
\end{cases}\)
\(\ds \lim_{x \to a} \frac{f(x)}{g(x)}\) undetermined
\(\displaystyle \ds \lim_{x \to a} \frac{f(x)}{h(x)} =
\begin{cases}
+\infty & H \gt 0 \\
-\infty & H \lt 0\\
\text{undetermined} & H=0
\end{cases}\)
\(\displaystyle \ds \lim_{x \to a} \frac{h(x)}{f(x)} = 0\)
\(\displaystyle \ds \lim_{x \to a} f(x)^p =
\begin{cases}
+\infty & p \gt 0 \\
0 & p \lt 0\\
1 & p=0
\end{cases}\)
Note that by “undetermined” we mean that the limit may or may not exist, but cannot be determined from the information given in the theorem. See Example
1.4.7 for an example of what we mean by “undetermined”. Additionally consider the following example.
Example 1.5.10. Be careful with the arithmetic of infinite limits.
Consider the following 3 functions:
\begin{align*}
f(x)&=x^{-2} & g(x)&=2x^{-2} &h(x)&=x^{-2}-1.\\
\end{align*}
Their limits as \(x \to 0\) are:
\begin{align*}
\lim_{x\to0} f(x) &= +\infty &
\lim_{x\to0} g(x) &= +\infty &
\lim_{x\to0} h(x) &= +\infty.
\end{align*}
Say we want to compute the limit of the difference of two of the above functions as \(x \to 0\text{.}\) Then the previous theorem cannot help us. This is not because it is too weak, rather it is because the difference of two infinite limits can be, either plus infinity, minus infinity or some finite number depending on the details of the problem. For example,
\begin{align*}
\lim_{x\to0} \left( f(x)-g(x) \right) &= \lim_{x\to0} -x^{-2} = -\infty\\
\lim_{x\to0} \left( f(x)-h(x) \right) &= \lim_{x\to0} 1 = 1\\
\lim_{x\to0} \left( g(x)-h(x) \right) &= \lim_{x\to0} x^{-2}+1 = +\infty
\end{align*}