Nathan Wakefield, Christine Kelley, Marla Williams, Michelle Haver, Lawrence Seminario-Romero, Robert Huben, Aurora Marks, Stephanie Prahl, Based upon Active Calculus by Matthew Boelkins
Limits are a mathematical construct we can use to describe the behavior of a function near a point. Consider the function given by the graph in Figure 1.16 below. We can evaluate the function at a variety of points. For example, ,, and .
A careful look at the graph above shows that has a removable discontinuity at , making even though the overall shape of the graph might lead us to expect to be . In fact, you would probably agree that “as gets closer and closer (but NOT equal) to , gets as close as we want to .” This is the basic idea of a limit and we will expand on this idea in the following section.
Limits give us a way to identify a trend in the values of a function as its input variable approaches a particular value of interest. We need a precise understanding of what it means to say “a function has limit as approaches .”
In Figure 1.16, we saw that as gets closer and closer (but NOT equal) to 0, gets as close as we want to the value 4. At first, this may feel counterintuitive, because the value of is , not . Limits describe the behavior of a function arbitrarily close to a fixed input and are not affected by the value of the function at the fixed input. More formally, 16
What follows here is not what mathematicians consider the formal definition of a limit. To be completely precise, it is necessary to quantify both what it means to say “as close to as we like” and “sufficiently close to .” That can be accomplished through what is traditionally called the epsilon-delta definition of limits. That being said, the definition presented here is sufficient for the purposes of this text.
If a function is defined on an interval around , except perhaps at the point , we define the limit of the function as approaches to be a number (if one exists) such that is as close to as we want whenever is sufficiently close to (but ). If exists, we write
On the other hand, if as approaches we cannot make as close to a single value as we would like, then we say that does not have a limit as approaches .
Example1.17.
Recall the function from the section introduction, whose graph is reproduced below.
Figure1.18.Graph of
For the function pictured in Figure 1.18, we make the following observations:
and.
When finding a limit from a graph, it suffices to ask if the function approaches a single value from each side of the fixed input. The function value at the fixed input is irrelevant. This reasoning explains the values of the three limits stated above.
We further observe that does not have a limit as approaches because there is a jump in the graph at . If we approach from the left, the function values tend to get close to 3, but if we approach from the right, the function values get close to 2. There is no single number that all of these function values approach. This is why the limit of does not exist at .
For any function , there are typically three ways to answer the question “does have a limit at , and if so, what is the limit?” The first is to reason graphically. If we have a formula for , there are two additional possibilities:
Evaluate the function at a sequence of inputs that approach on either side (typically using some sort of computing technology), and ask if the sequence of outputs seems to approach a single value.
Use the algebraic form of the function to understand the trend in its output values as the input values approach .
The first approach produces only an approximation of the value of the limit, while the latter can often be used to determine the limit exactly.
Example1.19.
For each of the following functions, we’d like to know whether or not the function has a limit at the stated -values. Use both numerical and algebraic approaches to investigate and, if possible, estimate or determine the value of the limit. Compare the results with a careful graph of the function on an interval containing the points of interest.
;,
;,
Solution.
a. We first construct a graph of along with tables of values near and .
Table1.20.Table of values near .
Table1.21.Table of values near .
Figure1.22.Plot of on .
From Table 1.20, it appears that we can make as close as we want to 3 by taking sufficiently close to , which suggests that . This is also consistent with the graph of seen in Figure 1.22. To see this a bit more rigorously and from an algebraic point of view, consider the formula for :. As approaches , the numerator, , of approaches , and the denominator, , of approaches . Hence .
The situation is more complicated when approaches because is not defined. If we try to use a similar algebraic argument regarding the numerator and denominator, we observe that as approaches , the numerator approaches , and the denominator approaches , so as approaches , the numerator and denominator of both tend to 0. We call an indeterminate form. This tells us that there is somehow more work to do. From Table 1.21 and Figure 1.22, it appears that should have a limit of at .
To see algebraically why this is the case, observe that
.
It is important to observe that because we are taking the limit as approaches , we are considering values that are close, but not equal, to . Since we never actually allow to equal , the quotient has value 1 for every possible value of . Thus, we can simplify the most recent expression above, and find that
.
This limit is now easy to determine, and its value is . Thus, from several points of view we’ve seen that .
b. Next we turn to the function , and construct two tables and a graph.
Table1.23.Table of values near .
Table1.24.Table of values near .
Figure1.25.Plot of on .
First, as approaches , it appears from the values in Table 1.23 that the function is approaching a number between and . From the graph in Figure 1.25 it appears that approaches as approaches . The exact value of is , which is approximately 0.8660254038. This is convincing evidence that
.
As approaches , we observe that does not behave in an elementary way. When is positive and approaching zero, we are dividing by smaller and smaller positive values, and increases without bound. When is negative and approaching zero, decreases without bound. In this sense, as we get close to , the inputs to the sine function are growing rapidly, and this leads to increasingly rapid oscillations in the graph of between and . If we plot the function with a graphing utility and then zoom in on , we see that the function never settles down to a single value near the origin, which suggests that does not have a limit at .
How do we reconcile the graph in Figure 1.25 with Table 1.24, which seems to suggest that the limit of as approaches may in fact be ? The data misleads us because of the special nature of the sequence of input values . When we evaluate , we get for each positive integer value of . But if we take a different sequence of values approaching zero, say , then we find that
.
That sequence of function values suggests that the value of the limit is . Clearly the function cannot have two different values for the limit, so has no limit as approaches .
An important lesson to take from Example 1.19 is that tables can be misleading when determining the value of a limit. While a table of values is useful for investigating the possible value of a limit, we should also use other tools to confirm the value.
Example1.26.
Estimate the value of each of the following limits by constructing appropriate tables of values. Then determine the exact value of the limit by using algebra to simplify the function. Finally, plot each function on an appropriate interval to check your result visually.
Hint.
can be factored.
Expand the expression , and then combine like terms in the numerator.
Try multiplying the given function by this fancy form of 1: .
Answer.
.
.
.
Solution.
Estimating the values of the limits with tables is straightforward and should suggest the exact values stated below.
We saw earlier that has limit as approaches provided that we can make the value of as close to as we like by taking sufficiently close (but not equal to) . If so, we write . We also saw that there are cases where a function can fail to have a limit. The graphs that follow are two such examples.
Essentially there are two behaviors that a function can exhibit near a point where it fails to have a limit. In Figure 1.27 above, at the left we see a function whose graph shows a jump at . If we let approach 1 from the left side, the value of approaches 2, but if we let approach from the right, the value of tends to 3. Because the value of does not approach a single number as gets arbitrarily close to 1 from both sides, we know that does not have a limit at .
provided that we can make the value of as close to as we like by taking sufficiently close to while always having . We call the left-hand limit of as approaches .
For the function pictured at the right of Figure 1.27, the function fails to have a limit at for a different reason. While the function does not have a jump in its graph at , it is still not the case that approaches a single value as approaches 1. In particular, due to the infinitely oscillating behavior of to the right of , we say that the (right-hand) limit of as does not exist, and thus does not exist.
To summarize, if either a left- or right-hand limit fails to exist or if the left- and right-hand limits are not equal to each other, the overall limit does not exist.
The function given below in Figure 1.28 fails to have a limit at only two values: at (where the left- and right-hand limits are 2 and , respectively) and at , where does not exist). Note well that even at values such as and where there are holes in the graph, the limit still exists.
Figure1.28.A function demonstrates different limit behaviors.
Example1.29.
Consider a function that is piecewise-defined according to the formula
for for for for for
Use the given formula to answer the following questions.
For each of the values , compute .
For each of the values , determine and .
For each of the values , determine . If the limit fails to exist, explain why by discussing the left- and right-hand limits at the relevant -value.
For which values of is the following statement true?
Sketch an accurate, labeled graph of . Be sure to carefully use open circles () and filled circles () to represent key points on the graph, as dictated by the piecewise formula.
Hint.
Find the interval in which lies and evaluate the function there.
Remember that for , we only consider values of such that . Find the appropriate formula to use in the piecewise definition for to fit the values you are considering.
Use your work in (b) and compare left- and right-hand limits.
Use your work in (a) and (c).
Note that is piecewise linear.
Answer.
; is not defined; ; ;.
and
.
and
.
and
.
and
.
and
.
does not exist. The values of the limits as for are .
,, and .
Solution.
; is not defined; ; (by the rule); .
and
.
and
.
and
.
and
.
and
.
does not exist because the left-hand limit is while the right-hand limit is . All of the other requested limits exist, as in each case the left- and right-hand limits exist and are equal. The respective values of the limits as for are .
For ,, and ,. At , the limit fails to exist, but . At , the limit is , but is not defined. At , the limit is 3, but .
Using limits, we can formalize the idea of continuity. First consider the function in the left-most graph of Figure 1.30 above. Note that is not defined, which leads to the resulting hole in the graph of at . We will naturally say that is not continuous at . For the function , we observe that while , the value of is , and thus the limit does not equal the function value. Here, too, we will say that is not continuous, even though the function is defined at . Finally, the function appears to be the most well-behaved of all three, since at its limit and its function value agree. That is,
Conditions (a) and (b) are technically contained implicitly in (c), but we state them explicitly to emphasize their individual importance. The definition says that a function is continuous at provided that its limit as exists and equals its function value at . If a function is continuous at every point in an interval , we say the function is “continuous on .” If a function is continuous at every point in its domain, we simply say the function is “continuous.” Thus we note that continuous functions are particularly nice: to evaluate the limit of a continuous function at a point, all we need to do is evaluate the function.
For example, consider . It can be proved that every polynomial is a continuous function at every real number, and thus if we would like to know , we simply compute
This route of substituting an input value to evaluate a limit works whenever we know that the function being considered is continuous. Besides polynomial functions, all exponential functions and the sine and cosine functions are continuous at every point, as are many other familiar functions and combinations thereof.
Example1.31.
Determine if each of the functions below is continuous at .
.
.
if if
Hint.
Consider evaluating limits on each side and comparing that value to the value of the function at the point.
Answer.
is continuous at .
is not continuous at .
is not continuous at .
Solution.
For each of these functions, we want to check that the limit exists at , the function is defined at , and these two values match.
We can examine the graph of at or examine function values nearby on the left and right to find that . Evaluating . Thus, , and is continuous at .
Notice that the graph of has a vertical asymptote at , so is undefined. Hence, is not continuous at .
For values of near 2 (from the left and right), we have getting close to 5. Therefore, . However, . Since , is not continuous at .
There are several properties of limits and continuous functions that are useful to have in your toolbox. Specifically, limits and continuous functions behave well under typical mathematical operations. While these properties can be proven in detail, we proceed to only state the properties.
The concepts discussed in the last two sections will be important in later sections. The following is a short summary of these sections and an example that ties together the concepts of limits and continuity.
For a function defined on an interval around a number ,
means that the value of gets as close as we want to a number whenever is sufficiently close to , assuming the value exists.
We define a limit from the left and a limit from the right in the same way as above, while adding the stipulation that for the left limit and for the right limit. That is, as we move sufficiently close to from the left on a number line (), gets as close to the limit value as we want. Similarly for the limit from the right.
The one-sided limits help to determine if a limit exists as approaches a value . More specifically, if and only if
Limits also help us determine the continuity of a function at a point . A function that has a limit as , is defined at , and is continuous at .
Example1.33.
In this example, we take a closer look at a function whose graph we previously encountered in Figure 1.28. For convenience, this graph is reproduced below in Figure 1.34.
State all values of for which is not continuous at .
Which condition is stronger, and hence implies the other: has a limit at or is continuous at ? Explain, and hence complete the following sentence: “If at , then at ,” where you complete the blanks with has a limit and is continuous, using each phrase once.
Hint.
Consider the left- and right-hand limits at each value.
Carefully examine places on the graph where there’s an open circle.
Are there locations on the graph where the function has a limit but there’s a hole in the graph?
Remember that at least one of three conditions must fail: if the function lacks a limit, if the function is undefined, or if the limit exists but does not equal the function value, then is not continuous at the point.
Note that the definition of being continuous requires the limit to exist.
Answer.
;.
.
;.
;;;.
“If is continuous at , then has a limit at .”
Solution.
does not exist at since
,
and does not exist at since does not exist due to the infinitely oscillatory behavior of .
The only point at which is not defined is at .
At , note that exists (and appears to have value approximately ), but and thus . At , we have , but is not defined so the limit exists but does not equal the function value.
Based on our work in (a), (b), and (c), is not continuous at and because does not have a limit at those points; is not continuous at since is not defined there; and is not continuous at because at that point its limit does not equal its function value.
“If is continuous at , then has a limit at ,” since one of the defining properties of “being continuous” at is that the function has a limit at that input value. This shows that being continuous is a stronger condition than having a limit.
PTX:ERROR: WeBWorK problem UNL-Problems/Library/Valdosta/APEX_Calculus/1.3/APEX_1.3_6-13.pg with seed 35 does not have a statement tag Maybe it uses something other than BEGIN_TEXT or BEGIN_PGML to print the statement in its PG code Use -a to halt with returned content