Active Calculus · 1: Understanding the Derivative

1.2: The Notion of Limit

Motivating Questions
  • What is the mathematical notion of limit and what role do limits play in the study of functions?
  • What is the meaning of the notation lim⁡x→af(x)=L?\lim_{x \to a} f(x) = L\text{?}
  • How do we go about determining the value of the limit of a function at a point?
  • How do we manipulate average velocity to compute instantaneous velocity?

In Section 1.1 we used a function, s(t),s(t)\text{,} to model the location of a moving object at a given time. Functions can model other interesting phenomena, such as the rate at which an automobile consumes gasoline at a given velocity, or the reaction of a patient to a given dosage of a drug. We can use calculus to study how a function value changes in response to changes in the input variable.

Think about the falling ball whose position function is given by s(t)=64−16t2.s(t) = 64 - 16t^2\text{.} Its average velocity on the interval [1,x][1,x] is given by

AV[1,x]=s(x)−s(1)x−1=(64−16x2)−(64−16)x−1=16−16x2x−1. AV_{[1,x]} = \frac{s(x) - s(1)}{x-1} = \frac{(64-16x^2) - (64-16)}{x-1} = \frac{16 - 16x^2}{x-1}\text{.}

Note that the average velocity is a function of x.x\text{.} That is, the function g(x)=16−16x2x−1g(x) = \frac{16 - 16x^2}{x-1} tells us the average velocity of the ball on the interval from t=1t = 1 to t=x.t = x\text{.} To find the instantaneous velocity of the ball when t=1,t = 1\text{,} we need to know what happens to g(x)g(x) as xx gets closer and closer to 1.1\text{.} But also notice that g(1)g(1) is not defined, because it leads to the quotient 0/0.0/0\text{.}

This is where the notion of a limit comes in. By using a limit, we can investigate the behavior of g(x)g(x) as xx gets arbitrarily close, but not equal, to 1.1\text{.} We first use the graph of a function to explore points where interesting behavior occurs.

Preview Activity 1.2.11.2.1.

Suppose that gg is the function given by the graph below. Use the graph in Figure1.2.11.2.1 to answer each of the following questions.

  1. Determine the values g(−2),g(-2)\text{,} g(−1),g(-1)\text{,} g(0),g(0)\text{,} g(1),g(1)\text{,} and g(2),g(2)\text{,} if defined. If the function value is not defined, explain what feature of the graph tells you this.
  2. For each of the values a=−1,a = -1\text{,} a=0,a = 0\text{,} and a=2,a = 2\text{,} complete the following sentence: “As xx gets closer and closer (but not equal) to a,a\text{,} g(x)g(x) gets as close as we want to ______________.”
  3. What happens as xx gets closer and closer (but not equal) to a=1?a = 1\text{?} Does the function g(x)g(x) get as close as we would like to a single value?

1_2_PA1.svg

Figure1.2.11.2.1. Graph of y=g(x)y = g(x) for Preview Activity 1.2.11.2.1.

Notion of Limit

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 ff has limit LL as xx approaches a.a\text{.}” To begin, think about a recent example.

In Preview Activity 1.2.11.2.1, we saw that as xx gets closer and closer (but not equal) to 0, g(x)g(x) gets as close as we want to the value 4. At first, this may feel counterintuitive, because the value of g(0)g(0) is 1,1\text{,} not 4.4\text{.} But limits describe the behavior of a function arbitrarily close to a fixed input, and the value of the function at the fixed input does not matter. More formally, 1  we say the following.

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 LL as we like” and “sufficiently close to a.a\text{.}” That can be accomplished through what is traditionally called the epsilon-delta definition of limits. The definition presented here is sufficient for the purposes of this text.

Definition 1.2.11.2.1

Given a function f,f\text{,} a fixed input x=a,x = a\text{,} and a real number L,L\text{,} we say that ff has limit LL as xx approaches aa, and write

lim⁡x→af(x)=L \lim_{x \to a} f(x) = L

provided that we can make f(x)f(x) as close to LL as we like by taking xx sufficiently close (but not equal) to a.a\text{.} If we cannot make f(x)f(x) as close to a single value as we would like as xx approaches a,a\text{,} then we say that ff does not have a limit as xx approaches a.a\text{.}

Example 1.2.11.2.1

For the function gg pictured in Figure1.2.11.2.1, we make the following observations:

lim⁡x→−1g(x)=3, lim⁡x→0g(x)=4, and lim⁡x→2g(x)=1. \lim_{x \to -1} g(x) = 3, \ \lim_{x \to 0} g(x) = 4, \ \text{and} \ \lim_{x \to 2} g(x) = 1\text{.}

When working 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.

However, gg does not have a limit as x→1.x \to 1\text{.} There is a jump in the graph at x=1.x = 1\text{.} If we approach x=1x = 1 from the left, the function values tend to get close to 3, but if we approach x=1x = 1 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 gg does not exist at x=1.x = 1\text{.}

For any function f,f\text{,} there are typically three ways to answer the question “does ff have a limit at x=a,x = a\text{,} and if so, what is the limit?” The first is to reason graphically as we have just done with the example from Preview Activity 1.2.11.2.1. If we have a formula for f(x),f(x)\text{,} there are two additional possibilities:

  1. Evaluate the function at a sequence of inputs that approach aa on either side (typically using some sort of computing technology), and ask if the sequence of outputs seems to approach a single value.
  2. Use the algebraic form of the function to understand the trend in its output values as the input values approach a.a\text{.}

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.

Example 1.2.21.2.2: Limits of Two Functions

For each of the following functions, we'd like to know whether or not the function has a limit at the stated aa-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.

  1. f(x)=4−x2x+2;f(x) = \frac{4-x^2}{x+2}\text{;} a=−1,a = -1\text{,} a=−2a = -2
  2. g(x)=sin⁡(πx);g(x) = \sin\left(\frac{\pi}{x}\right)\text{;} a=3,a = 3\text{,} a=0a = 0
Answer

a. We first construct a graph of ff along with tables of values near a=−1a = -1 and a=−2.a = -2\text{.}

Table 1.2.11.2.1. Table of ff values near x=−1.x=-1\text{.}
xx f(x)f(x)
−0.9-0.9 2.92.9
−0.99-0.99 2.992.99
−0.999-0.999 2.9992.999
−0.9999-0.9999 2.99992.9999
−1.1-1.1 3.13.1
−1.01-1.01 3.013.01
−1.001-1.001 3.0013.001
−1.0001-1.0001 3.00013.0001
Table 1.2.21.2.2. Table of ff values near x=−2.x=-2\text{.}
xx f(x)f(x)
−1.9-1.9 3.93.9
−1.99-1.99 3.993.99
−1.999-1.999 3.9993.999
−1.9999-1.9999 3.99993.9999
−2.1-2.1 4.14.1
−2.01-2.01 4.014.01
−2.001-2.001 4.0014.001
−2.0001-2.0001 4.00014.0001
1_2_Ex1f.svgFigure1.2.21.2.2 . Plot of f(x)f(x) on [−4,2].[-4,2]\text{.}

From Table 1.2.11.2.1, it appears that we can make ff as close as we want to 3 by taking xx sufficiently close to −1,-1\text{,} which suggests that lim⁡x→−1f(x)=3.\lim_{x \to -1} f(x) = 3\text{.} This is also consistent with the graph of f.f\text{.} To see this a bit more rigorously and from an algebraic point of view, consider the formula for f:f\text{:} f(x)=4−x2x+2.f(x) = \frac{4-x^2}{x+2}\text{.} As x→−1,x \to -1\text{,} (4−x2)→(4−(−1)2)=3,(4-x^2) \to (4 - (-1)^2) = 3\text{,} and (x+2)→(−1+2)=1,(x+2) \to (-1 + 2) = 1\text{,} so as x→−1,x \to -1\text{,} the numerator of ff tends to 3 and the denominator tends to 1, hence lim⁡x→−1f(x)=31=3.\lim_{x \to -1} f(x) = \frac{3}{1} = 3\text{.}

The situation is more complicated when x→−2,x \to -2\text{,} because f(−2)f(-2) is not defined. If we try to use a similar algebraic argument regarding the numerator and denominator, we observe that as x→−2,x \to -2\text{,} (4−x2)→(4−(−2)2)=0,(4-x^2) \to (4 - (-2)^2) = 0\text{,} and (x+2)→(−2+2)=0,(x+2) \to (-2 + 2) = 0\text{,} so as x→−2,x \to -2\text{,} the numerator and denominator of ff both tend to 0. We call 0/00/0 an indeterminate form. This tells us that there is somehow more work to do. From Table 1.2.21.2.2 and Figure1.2.21.2.2 , it appears that ff should have a limit of 44 at x=−2.x = -2\text{.}

To see algebraically why this is the case, observe that

lim⁡x→−2f(x)=lim⁡x→−24−x2x+2=lim⁡x→−2(2−x)(2+x)x+2.\begin{align*} \lim_{x \to -2} f(x) = & \lim_{x \to -2} \frac{4-x^2}{x+2}\\[4pt] = & \lim_{x \to -2} \frac{(2-x)(2+x)}{x+2}\text{.} \end{align*}

It is important to observe that, since we are taking the limit as x→−2,x \to -2\text{,} we are considering xx values that are close, but not equal, to −2.-2\text{.} Because we never actually allow xx to equal −2,-2\text{,} the quotient 2+xx+2\frac{2+x}{x+2} has value 1 for every possible value of x.x\text{.} Thus, we can simplify the most recent expression above, and find that

lim⁡x→−2f(x)=lim⁡x→−22−x. \lim_{x \to -2} f(x) = \lim_{x \to -2} 2-x\text{.}

This limit is now easy to determine, and its value clearly is 4.4\text{.} Thus, from several points of view we've seen that lim⁡x→−2f(x)=4.\lim_{x \to -2} f(x) = 4\text{.}

b. Next we turn to the function g,g\text{,} and construct two tables and a graph.

Table 1.2.31.2.3 . Table of gg values near x=3.x=3\text{.}
xx g(x)g(x)
2.92.9 0.848640.84864
2.992.99 0.864280.86428
2.9992.999 0.865850.86585
2.99992.9999 0.866010.86601
3.13.1 0.883510.88351
3.013.01 0.867770.86777
3.0013.001 0.866200.86620
3.00013.0001 0.866040.86604
Table 1.2.41.2.4. Table of gg values near x=0.x=0\text{.}
xx g(x)g(x)
−0.1-0.1 00
−0.01-0.01 00
−0.001-0.001 00
−0.0001-0.0001 00
0.10.1 00
0.010.01 00
0.0010.001 00
0.00010.0001 00
1_2_Ex1g.svg
Figure1.2.31.2.3 . Plot of g(x)g(x) on [−4,4].[-4,4]\text{.}

First, as x→3,x \to 3\text{,} it appears from the table values that the function is approaching a number between 0.866010.86601 and 0.86604.0.86604\text{.} From the graph it appears that g(x)→g(3)g(x) \to g(3) as x→3.x \to 3\text{.} The exact value of g(3)=sin⁡(π3)g(3) = \sin(\frac{\pi}{3}) is 32,\frac{\sqrt{3}}{2}\text{,} which is approximately 0.8660254038. This is convincing evidence that

lim⁡x→3g(x)=32. \lim_{x \to 3} g(x) = \frac{\sqrt{3}}{2}\text{.}

As x→0,x \to 0\text{,} we observe that πx\frac{\pi}{x} does not behave in an elementary way. When xx is positive and approaching zero, we are dividing by smaller and smaller positive values, and πx\frac{\pi}{x} increases without bound. When xx is negative and approaching zero, πx\frac{\pi}{x} decreases without bound. In this sense, as we get close to x=0,x = 0\text{,} the inputs to the sine function are growing rapidly, and this leads to increasingly rapid oscillations in the graph of gg betweem 11 and −1.-1\text{.} If we plot the function g(x)=sin⁡(πx)g(x) = \sin\left(\frac{\pi}{x}\right) with a graphing utility and then zoom in on x=0,x = 0\text{,} we see that the function never settles down to a single value near the origin, which suggests that gg does not have a limit at x=0.x = 0\text{.}

How do we reconcile the graph with the righthand table above, which seems to suggest that the limit of gg as xx approaches 00 may in fact be 0?0\text{?} The data misleads us because of the special nature of the sequence of input values {0.1,0.01,0.001,…}.\{0.1, 0.01, 0.001, \ldots\}\text{.} When we evaluate g(10−k),g(10^{-k})\text{,} we get g(10−k)=sin⁡(π10−k)=sin⁡(10kπ)=0g(10^{-k}) = \sin\left(\frac{\pi}{10^{-k}}\right) = \sin(10^k \pi) = 0 for each positive integer value of k.k\text{.} But if we take a different sequence of values approaching zero, say {0.3,0.03,0.003,…},\{0.3, 0.03, 0.003, \ldots\}\text{,} then we find that

g(3⋅10−k)=sin⁡(π3⋅10−k)=sin⁡(10kπ3)=32≈0.866025. g(3 \cdot 10^{-k}) = \sin\left(\frac{\pi}{3 \cdot 10^{-k}}\right) = \sin\left(\frac{10^k \pi}{3}\right) = \frac{\sqrt{3}}{2} \approx 0.866025\text{.}

That sequence of function values suggests that the value of the limit is 32.\frac{\sqrt{3}}{2}\text{.} Clearly the function cannot have two different values for the limit, so gg has no limit as x→0.x \to 0\text{.}

An important lesson to take from Example 1.2.21.2.2 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.

Activity 1.2.21.2.2

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.

  1. lim⁡x→1x2−1x−1\displaystyle \lim_{x \to 1} \frac{x^2 - 1}{x-1}
  2. lim⁡x→0(2+x)3−8x\displaystyle \lim_{x \to 0} \frac{(2+x)^3 - 8}{x}
  3. lim⁡x→0x+1−1x\displaystyle \lim_{x \to 0} \frac{\sqrt{x+1} - 1}{x}

Recall that our primary motivation for considering limits of functions comes from our interest in studying the rate of change of a function. To that end, we close this section by revisiting our previous work with average and instantaneous velocity and highlighting the role that limits play.

Instantaneous Velocity

Suppose that we have a moving object whose position at time tt is given by a function s.s\text{.} We know that the average velocity of the object on the time interval [a,b][a,b] is AV[a,b]=s(b)−s(a)b−a.AV_{[a,b]} = \frac{s(b)-s(a)}{b-a}\text{.} We define the instantaneous velocity at aa to be the limit of average velocity as bb approaches a.a\text{.} Note particularly that as b→a,b \to a\text{,} the length of the time interval gets shorter and shorter (while always including aa). We will write IVt=aIV_{t=a} for the instantaneous velocity at t=a,t = a\text{,} and thus

IVt=a=lim⁡b→aAV[a,b]=lim⁡b→as(b)−s(a)b−a. IV_{t=a} = \lim_{b \to a} AV_{[a,b]} = \lim_{b \to a} \frac{s(b)-s(a)}{b-a}\text{.}

Equivalently, if we think of the changing value bb as being of the form b=a+h,b = a + h\text{,} where hh is some small number, then we may instead write

IVt=a=lim⁡h→0AV[a,a+h]=lim⁡h→0s(a+h)−s(a)h. IV_{t=a} = \lim_{h \to 0} AV_{[a,a+h]} = \lim_{h \to 0} \frac{s(a+h)-s(a)}{h}\text{.}

Again, the most important idea here is that to compute instantaneous velocity, we take a limit of average velocities as the time interval shrinks.

Activity 1.2.31.2.3

Consider a moving object whose position function is given by s(t)=t2,s(t) = t^2\text{,} where ss is measured in meters and tt is measured in minutes.

  1. Determine the most simplified expression for the average velocity of the object on the interval [3,3+h],[3, 3+h]\text{,} where h>0.h \gt 0\text{.}
  2. Determine the average velocity of the object on the interval [3,3.2].[3,3.2]\text{.} Include units on your answer.
  3. Determine the instantaneous velocity of the object when t=3.t = 3\text{.} Include units on your answer.

The closing activity of this section asks you to make some connections among average velocity, instantaneous velocity, and slopes of certain lines.

Activity 1.2.41.2.4

For the moving object whose position ss at time tt is given by the graph in Figure1.2.41.2.4, answer each of the following questions. Assume that ss is measured in feet and tt is measured in seconds.

1_2_Act3.svg

Figure1.2.41.2.4 . Plot of the position function y=s(t)y = s(t) in Activity 1.2.41.2.4 .

a. Use the graph to estimate the average velocity of the object on each of the following intervals: [0.5,1],[0.5,1]\text{,} [1.5,2.5],[1.5,2.5]\text{,} [0,5].[0,5]\text{.} Draw each line whose slope represents the average velocity you seek.

b. How could you use average velocities or slopes of lines to estimate the instantaneous velocity of the object at a fixed time?

c. Use the graph to estimate the instantaneous velocity of the object when t=2.t = 2\text{.} Should this instantaneous velocity at t=2t = 2 be greater or less than the average velocity on [1.5,2.5][1.5,2.5] that you computed in (a)? Why?

Summary

  • Limits enable us to examine trends in function behavior near a specific point. In particular, taking a limit at a given point asks if the function values nearby tend to approach a particular fixed value.
  • We read lim⁡x→af(x)=L,\lim_{x \to a} f(x) = L\text{,} as “the limit of ff as xx approaches aa is L,L\text{,}” which means that we can make the value of f(x)f(x) as close to LL as we want by taking xx sufficiently close (but not equal) to a.a\text{.}
  • To find lim⁡x→af(x)\lim_{x \to a} f(x) for a given value of aa and a known function f,f\text{,} we can estimate this value from the graph of f,f\text{,} or we can make a table of function values for xx-values that are closer and closer to a.a\text{.} If we want the exact value of the limit, we can work with the function algebraically to understand how different parts of the formula for ff change as x→a.x \to a\text{.}
  • We find the instantaneous velocity of a moving object at a fixed time by taking the limit of average velocities of the object over shorter and shorter time intervals containing the time of interest.

Credit and licence

This page titled 1.2: The Notion of Limit was last modified on Thu, 28 Sep 2023 14:29:38 GMT and is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Matthew Boelkins, David Austin, and Steven Schlicker ( ScholarWorks @Grand Valley State University ) via source content that was edited to the style and standards of the LibreTexts platform.

Source: https://math.libretexts.org/Bookshelves/Calculus/Active_Calculus_(Boelkins_et_al.)/01%3A_Understanding_the_Derivative/1.02%3A_The_Notion_of_Limit

Licence: CC BY-SA 4.0 (creativecommons.org/licenses/by-sa/4.0/). You may share and adapt it under the same licence, with this credit. WorldClass adapted the formatting only: the text is the authors', with interactive parts and links to other sites left out.

Build status · Flash Infinity AI™ is a trademark of AI-Flash Inc.. WorldClass is not affiliated with, approved or accredited by any exam board, curriculum provider or university unless a page says so.