Section 2.4 : Limit Properties
The time has almost come for us to actually compute some limits. However, before we do that we will need some properties of limits that will make our life somewhat easier. So, let’s take a look at those first. The proof of some of these properties can be found in the Proof of Various Limit Properties section of the Extras chapter.
Properties
First, we will assume that \(\mathop {\lim }\limits_{x \to a} f\left( x \right)\) and \(\mathop {\lim }\limits_{x \to a} g\left( x \right)\) exist and that \(c\) is any constant. Then,
- \(\mathop {\lim }\limits_{x \to a} \left[ {cf\left( x \right)} \right] = c\mathop {\lim }\limits_{x \to a} f\left( x \right)\)
In other words, we can “factor” a multiplicative constant out of a limit.
- \(\mathop {\lim }\limits_{x \to a} \left[ {f\left( x \right) \pm g\left( x \right)} \right] = \mathop {\lim }\limits_{x \to a} f\left( x \right) \pm \mathop {\lim }\limits_{x \to a} g\left( x \right)\)
So, to take the limit of a sum or difference all we need to do is take the limit of the individual parts and then put them back together with the appropriate sign. This is also not limited to two functions. This fact will work no matter how many functions we’ve got separated by “+” or “-”.
- \(\mathop {\lim }\limits_{x \to a} \left[ {f\left( x \right)g\left( x \right)} \right] = \mathop {\lim }\limits_{x \to a} f\left( x \right)\,\,\,\mathop {\lim }\limits_{x \to a} g\left( x \right)\)
We take the limits of products in the same way that we can take the limit of sums or differences. Just take the limit of the pieces and then put them back together. Also, as with sums or differences, this fact is not limited to just two functions.
- \(\displaystyle \mathop {\lim }\limits_{x \to a} \left[ {\frac{{f\left( x \right)}}{{g\left( x \right)}}} \right] = \frac{{\mathop {\lim }\limits_{x \to a} f\left( x \right)}}{{\mathop {\lim }\limits_{x \to a} g\left( x \right)}}{\rm{,}}\,\,\,\,\,{\rm{provided }}\,\mathop {\lim }\limits_{x \to a} g\left( x \right) \ne 0\)
As noted in the statement we only need to worry about the limit in the denominator being zero when we do the limit of a quotient. If it were zero we would end up with a division by zero error and we need to avoid that.
- \(\mathop {\lim }\limits_{x \to a} {\left[ {f\left( x \right)} \right]^n} = {\left[ {\mathop {\lim }\limits_{x \to a} f\left( x \right)} \right]^n},\,\,\,\,{\mbox{where }}n{\mbox{ is any real number}}\)
In this property \(n\) can be any real number (positive, negative, integer, fraction, irrational, zero, etc.). In the case that \(n\) is an integer this rule can be thought of as an extended case of 3.
For example, consider the case of \(n = \)2.
\[\begin{align*}\mathop {\lim }\limits_{x \to a} {\left[ {f\left( x \right)} \right]^2} & = \mathop {\lim }\limits_{x \to a} \left[ {f\left( x \right)f\left( x \right)} \right]\\ & = \mathop {\lim }\limits_{x \to a} f\left( x \right)\mathop {\lim }\limits_{x \to a} f\left( x \right)\hspace{0.5in}{\mbox{using property 3}}\\ & = {\left[ {\mathop {\lim }\limits_{x \to a} f\left( x \right)} \right]^2}\end{align*}\]The same can be done for any integer \(n\).
- \(\mathop {\lim }\limits_{x \to a} \left[ {\sqrt[n]{{f\left( x \right)}}} \right] = \sqrt[n]{{\mathop {\lim }\limits_{x \to a} f\left( x \right)}}\)
This is just a special case of the previous example.
\[\begin{align*}\mathop {\lim }\limits_{x \to a} \left[ {\sqrt[n]{{f\left( x \right)}}} \right] & = \mathop {\lim }\limits_{x \to a} {\left[ {f\left( x \right)} \right]^{\frac{1}{n}}}\\ & = {\left[ {\mathop {\lim }\limits_{x \to a} f\left( x \right)} \right]^{\frac{1}{n}}}\\ & = \sqrt[n]{{\mathop {\lim }\limits_{x \to a} f\left( x \right)}}\end{align*}\] - \(\mathop {\lim }\limits_{x \to a} c = c,\,\,\,\,c{\mbox{ is any real number}}\)
In other words, the limit of a constant is just the constant. You should be able to convince yourself of this by drawing the graph of \(f\left( x \right) = c\).
- \(\mathop {\lim }\limits_{x \to a} x = a\)
As with the last one you should be able to convince yourself of this by drawing the graph of \(f\left( x \right) = x\).
- \(\mathop {\lim }\limits_{x \to a} {x^n} = {a^n}\)
This is really just a special case of property 5 using \(f\left( x \right) = x\).
Note that all these properties also hold for the two one-sided limits as well we just didn’t write them down with one sided limits to save on space.
Let’s compute a limit or two using these properties. The next couple of examples will lead us to some truly useful facts about limits that we will use on a continual basis.
This first time through we will use only the properties above to compute the limit.
First, we will use property 2 to break up the limit into three separate limits. We will then use property 1 to bring the constants out of the first two limits. Doing this gives us,
\[\begin{align*}\mathop {\lim }\limits_{x \to - 2} \left( {3{x^2} + 5x - 9} \right) & = \mathop {\lim }\limits_{x \to - 2} 3{x^2} + \mathop {\lim }\limits_{x \to - 2} 5x - \mathop {\lim }\limits_{x \to - 2} 9\\ & = 3\mathop {\lim }\limits_{x \to - 2} {x^2} + \mathop {5\lim }\limits_{x \to - 2} x - \mathop {\lim }\limits_{x \to - 2} 9\end{align*}\]We can now use properties 7 through 9 to actually compute the limit.
\[\begin{align*}\mathop {\lim }\limits_{x \to - 2} \left( {3{x^2} + 5x - 9} \right) & = 3\mathop {\lim }\limits_{x \to - 2} {x^2} + \mathop {5\lim }\limits_{x \to - 2} x - \mathop {\lim }\limits_{x \to - 2} 9\\ & = 3{\left( { - 2} \right)^2} + 5\left( { - 2} \right) - 9\\ & = - 7\end{align*}\]Now, let’s notice that if we had defined
\[p\left( x \right) = 3{x^2} + 5x - 9\]then the proceeding example would have been,
\[\begin{align*}\mathop {\lim }\limits_{x \to - 2} p\left( x \right) & = \mathop {\lim }\limits_{x \to - 2} \left( {3{x^2} + 5x - 9} \right)\\ & = 3{\left( { - 2} \right)^2} + 5\left( { - 2} \right) - 9\\ & = - 7\\ & = p\left( { - 2} \right)\end{align*}\]In other words, in this case we see that the limit is the same value that we’d get by just evaluating the function at the point in question. This seems to violate one of the main concepts about limits that we’ve seen to this point.
In the previous two sections we made a big deal about the fact that limits do not care about what is happening at the point in question. They only care about what is happening around the point. So how does the previous example fit into this since it appears to violate this main idea about limits?
Despite appearances the limit still doesn’t care about what the function is doing at \(x = - 2\). In this case the function that we’ve got is simply “nice enough” so that what is happening around the point is exactly the same as what is happening at the point. Eventually we will formalize up just what is meant by “nice enough”. At this point let’s not worry too much about what “nice enough” is. Let’s just take advantage of the fact that some functions will be “nice enough”, whatever that means.
The function in the last example was a polynomial. It turns out that all polynomials are “nice enough” so that what is happening around the point is exactly the same as what is happening at the point. This leads to the following fact.
Fact
If \(p(x)\) is a polynomial then,
\[\mathop {\lim }\limits_{x \to a} p\left( x \right) = p\left( a \right)\]By the end of this section we will generalize this out considerably to most of the functions that we’ll be seeing throughout this course.
Let’s take a look at another example.
First notice that we can use property 4 to write the limit as,
\[\mathop {\lim }\limits_{z \to 1} \frac{{6 - 3z + 10{z^2}}}{{ - 2{z^4} + 7{z^3} + 1}} = \frac{{\mathop {\lim }\limits_{z \to 1} 6 - 3z + 10{z^2}}}{{\mathop {\lim }\limits_{z \to 1} - 2{z^4} + 7{z^3} + 1}}\]Well, actually we should be a little careful. We can do that provided the limit of the denominator isn’t zero. As we will see however, it isn’t in this case so we’re okay.
Now, both the numerator and denominator are polynomials so we can use the fact above to compute the limits of the numerator and the denominator and hence the limit itself.
\[\begin{align*}\mathop {\lim }\limits_{z \to 1} \frac{{6 - 3z + 10{z^2}}}{{ - 2{z^4} + 7{z^3} + 1}} & = \frac{{6 - 3\left( 1 \right) + 10{{\left( 1 \right)}^2}}}{{ - 2{{\left( 1 \right)}^4} + 7{{\left( 1 \right)}^3} + 1}}\\ & = \frac{{13}}{6}\end{align*}\]Notice that the limit of the denominator wasn’t zero and so our use of property 4 was legitimate.
In the previous example, as with polynomials, all we really did was evaluate the function at the point in question. So, it appears that there is a fairly large class of functions for which this can be done. Let’s generalize the fact from above a little.
Fact
Provided \(f(x)\) is “nice enough” we have,
\[\mathop {\lim }\limits_{x \to a} f\left( x \right) = f\left( a \right)\hspace{0.5in}\mathop {\lim }\limits_{x \to {a^ - }} f\left( x \right) = f\left( a \right)\hspace{0.5in}\mathop {\lim }\limits_{x \to {a^ + }} f\left( x \right) = f\left( a \right)\]Again, we will formalize up just what we mean by “nice enough” eventually. At this point all we want to do is worry about which functions are “nice enough”. Some functions are “nice enough” for all \(x\) while others will only be “nice enough” for certain values of \(x\). It will all depend on the function.
As noted in the statement, this fact also holds for the two one-sided limits as well as the normal limit.
Here is a list of some of the more common functions that are “nice enough”.
- Polynomials are nice enough for all \(x\)’s.
- If \(\displaystyle f\left( x \right) = \frac{{p\left( x \right)}}{{q\left( x \right)}}\) then \(f(x)\) will be nice enough provided both \(p(x)\) and \(q(x)\) are nice enough and if we don’t get division by zero at the point we’re evaluating at.
- \(\cos \left( x \right),\,\,\sin \left( x \right)\) are nice enough for all \(x\)’s
- \(\sec \left( x \right),\,\,\tan \left( x \right)\) are nice enough provided \(x \ne \ldots , - \frac{{5\pi }}{2}, - \frac{{3\pi }}{2},\frac{\pi }{2},\frac{{3\pi }}{2},\frac{{5\pi }}{2}, \ldots \) In other words secant and tangent are nice enough everywhere cosine isn’t zero. To see why recall that these are both really rational functions and that cosine is in the denominator of both then go back up and look at the second bullet above.
- \(\csc \left( x \right),\,\,\cot \left( x \right)\) are nice enough provided \(x \ne \ldots , - 2\pi ,\,\, - \pi ,\,\,0,\,\,\pi ,\,\,2\pi , \ldots \) In other words cosecant and cotangent are nice enough everywhere sine isn’t zero.
- \(\sqrt[n]{x}\) is nice enough for all \(x\) if \(n\) is odd.
- \(\sqrt[n]{x}\) is nice enough for \(x \ge 0\) if \(n\) is even. Here we require \(x \ge 0\) to avoid having to deal with complex values.
- \({a^x},\,\,{{\bf{e}}^x}\) are nice enough for all \(x\)’s.
- \({\log _b}x,\,\,\,\ln x\) are nice enough for \(x > 0\). Remember we can only plug positive numbers into logarithms and not zero or negative numbers.
- Any sum, difference or product of the above functions will also be nice enough. Quotients will be nice enough provided we don’t get division by zero upon evaluating the limit.
The last bullet is important. This means that for any combination of these functions all we need to do is evaluate the function at the point in question, making sure that none of the restrictions are violated. This means that we can now do a large number of limits.
This is a combination of several of the functions listed above and none of the restrictions are violated so all we need to do is plug in \(x = 3\) into the function to get the limit.
\[\begin{align*}\mathop {\lim }\limits_{x \to 3} \left( { - \sqrt[5]{x} + \frac{{{{\bf{e}}^x}}}{{1 + \ln \left( x \right)}} + \sin \left( x \right)\cos \left( x \right)} \right) & = - \sqrt[5]{3} + \frac{{{{\bf{e}}^3}}}{{1 + \ln \left( 3 \right)}} + \sin \left( 3 \right)\cos \left( 3 \right)\\ & = {\rm{8}}{\rm{.1854272743}}\end{align*}\]Not a very pretty answer, but we can now do the limit.