Skip to contentSkip to lesson map

Limits and the Derivative

Status
Updates coming
Reading
MMAC Ch 4.7, pp 461-476
Lesson map

Objectives

  1. Understand when a limit exists; understand and write limit notation.
  2. Visually and numerically estimate a limit, or justify why it does not exist.
  3. Determine if a function is continuous at an input using the limit definition of continuity; understand that certain combinations of modeling functions are continuous on their domains.
  4. Understand and apply the limit definition of the derivative to estimate a derivative at a given input.

1. Limits

Objective. Understand when a limit exists; understand and write limit notation.

Definition 1 (Limit).

The limit of a function f(x)f(x) as the variable xx approaches a number aa is the number that the outputs of f(x)f(x) approach as the inputs xx get close (but not necessarily equal) to aa from both the left and the right, and is denoted by lim⁡x→af(x)\displaystyle\lim_{x\to a} f(x). If f(x)f(x) does not approach a unique number, then lim⁡x→af(x)\displaystyle\lim_{x\to a} f(x) does not exist. The notation lim⁡x→2f(x)=15\displaystyle\lim_{x\to 2} f(x) = 15 reads “the limit of f(x)f(x) as xx approaches 2 is 15.”

The function f(x)=1/x2f(x) = 1/x^2 has no limit as xx approaches 0. Its outputs f(±0.1)=100f(\pm 0.1) = 100, f(±0.01)=10,000f(\pm 0.01) = 10{,}000, and f(±0.001)=1,000,000f(\pm 0.001) = 1{,}000{,}000 rise without bound, and the definition requires the outputs to approach a unique number.

Figure

Dots on a graph. A filled dot at x=ax = a marks the value f(a)f(a), and an open dot at x=ax = a marks a point missing from the graph.

Limit and function value. The limit does not depend on f(a)f(a). Each graph below shows a function whose outputs approach 3 as xx approaches 2. In all three, lim⁡x→2f(x)=3\displaystyle\lim_{x\to 2} f(x) = 3.

Value equal to the limit

Figure

The filled dot on the curve gives f(2)=3f(2) = 3, the same number as the limit.

Value different from the limit

Figure

The filled dot above the curve gives f(2)=5f(2) = 5, and the limit is still 3.

Undefined value

Figure

The open dot marks f(2)f(2) as undefined, and the limit is still 3.

The left-hand limit of a function f(x)f(x) as xx approaches aa is the number that the outputs of f(x)f(x) approach as the inputs xx get close to aa through values less than aa, and is denoted by lim⁡x→a−f(x)\displaystyle\lim_{x\to a^-} f(x).

The right-hand limit of a function f(x)f(x) as xx approaches aa is the number that the outputs of f(x)f(x) approach as the inputs xx get close to aa through values greater than aa, and is denoted by lim⁡x→a+f(x)\displaystyle\lim_{x\to a^+} f(x).

Limit notation. Each notation reads as follows.

NotationReading
lim⁡x→af(x)\displaystyle\lim_{x\to a} f(x)the limit of f(x)f(x) as xx approaches aa
lim⁡x→a−f(x)\displaystyle\lim_{x\to a^-} f(x)the left-hand limit of f(x)f(x) as xx approaches aa
lim⁡x→a+f(x)\displaystyle\lim_{x\to a^+} f(x)the right-hand limit of f(x)f(x) as xx approaches aa

Theorem 2 (Existence of a limit).

The limit lim⁡x→af(x)\displaystyle\lim_{x\to a} f(x) exists exactly when the left-hand limit and the right-hand limit both exist and are equal.

Example 1

Evaluate each limit using the graph of f(x)f(x), or explain why the limit does not exist:

(a) lim⁡x→0f(x),(b) lim⁡x→2f(x),(c) lim⁡x→3f(x). \text{(a)}\ \lim_{x\to 0} f(x), \qquad \text{(b)}\ \lim_{x\to 2} f(x), \qquad \text{(c)}\ \lim_{x\to 3} f(x).
Figure
ShowHide solution
  • By the definition of a limit, lim⁡x→0f(x)\displaystyle\lim_{x\to 0} f(x) equals 4, because the outputs approach 4 as the inputs approach 0 from both the left and the right.
  • The limit lim⁡x→2f(x)\displaystyle\lim_{x\to 2} f(x) equals 15, because the outputs approach 15 as the inputs approach 2 from both sides. The value f(2)f(2) is undefined, because the graph has an open dot at (2,15)(2, 15).
  • The limit lim⁡x→3f(x)\displaystyle\lim_{x\to 3} f(x) does not exist, because lim⁡x→3−f(x)=25\displaystyle\lim_{x\to 3^-} f(x) = 25, at the open dot, and lim⁡x→3+f(x)=22\displaystyle\lim_{x\to 3^+} f(x) = 22, at the filled dot, are different numbers.

Example 2

A parking garage charges C(t)C(t) dollars to park for tt hours. As tt approaches 2 through times less than 2 hours, the charge approaches 10 dollars. As tt approaches 2 through times greater than 2 hours, the charge approaches 15 dollars. Write both statements in limit notation, and determine whether lim⁡t→2C(t)\displaystyle\lim_{t\to 2} C(t) exists.

ShowHide solution

By the definitions of the left-hand and right-hand limits, the two statements are

lim⁡t→2−C(t)=10,lim⁡t→2+C(t)=15. \lim_{t\to 2^-} C(t) = 10, \qquad \lim_{t\to 2^+} C(t) = 15.

The first reads “the left-hand limit of C(t)C(t) as tt approaches 2 is 10.” By the existence of a limit theorem, lim⁡t→2C(t)\displaystyle\lim_{t\to 2} C(t) does not exist, because the one-sided limits 10 and 15 are different numbers. Near 2 hours the charge approaches no single amount: it jumps by 5 dollars at 2 hours.

Lesson map

2. Estimating a Limit

Objective. Visually and numerically estimate a limit, or justify why it does not exist.

Limit from a graph.

  1. Trace the graph toward x=ax = a from the left and read the height it approaches.
  2. Trace the graph toward x=ax = a from the right and read the height it approaches.
  3. Compare the two heights. Equal heights give the limit, and different heights mean the limit does not exist. A graph that rises or falls without bound on either side approaches no height, and the limit does not exist.

A limit that does not exist. The two graphs show the two ways a limit fails to exist in this course.

Different one-sided limits

Figure

The limit as xx approaches 1 does not exist, because the outputs approach 2 from the left and 4 from the right.

Outputs without bound

Figure

The limit as xx approaches 0 does not exist, because the outputs of 1/x1/x rise without bound to the right of x=0x = 0 and fall without bound to the left.

Example 3

Evaluate each limit using the graph of g(x)g(x), or explain why the limit does not exist:

(a) lim⁡x→−1g(x),(b) lim⁡x→0g(x),(c) lim⁡x→1g(x). \text{(a)}\ \lim_{x\to -1} g(x), \qquad \text{(b)}\ \lim_{x\to 0} g(x), \qquad \text{(c)}\ \lim_{x\to 1} g(x).
Figure
ShowHide solution
  • The limit lim⁡x→−1g(x)\displaystyle\lim_{x\to -1} g(x) equals 3, because the graph is level at height 3 on both sides of x=−1x = -1.
  • The limit lim⁡x→0g(x)\displaystyle\lim_{x\to 0} g(x) does not exist, because lim⁡x→0−g(x)=3\displaystyle\lim_{x\to 0^-} g(x) = 3 and lim⁡x→0+g(x)=0\displaystyle\lim_{x\to 0^+} g(x) = 0 are different numbers.
  • The limit lim⁡x→1g(x)\displaystyle\lim_{x\to 1} g(x) equals 1, because the outputs approach 1 as the inputs approach 1 from both sides. The filled dot gives g(1)=2g(1) = 2.

Limit from a formula.

  1. Choose inputs on each side of aa, such as a−0.1a - 0.1, a−0.01a - 0.01, and a−0.001a - 0.001 on the left and a+0.001a + 0.001, a+0.01a + 0.01, and a+0.1a + 0.1 on the right.
  2. Evaluate the function at each input.
  3. Compare the outputs. If the outputs on each side approach one number as the inputs get closer to aa, and the two sides agree, then that number is the estimate of the limit. If the two sides approach different numbers, or the outputs rise or fall without bound, then the limit does not exist.

Example 4

Numerically approximate the limit in R, with xx in radians:

lim⁡x→0sin⁡(x)x. \lim_{x\to 0} \frac{\sin(x)}{x}.
ShowHide solution

Define g(x)=sin⁡(x)xg(x) = \dfrac{\sin(x)}{x} and evaluate it at inputs on each side of x=0x = 0 and at x=0x = 0 itself. Used R.

g = makeFun(sin(x)/x ~ x)
g(c(-0.1, -0.01, -0.001))
[1] 0.9983342 0.9999833 0.9999998
g(c(0.1, 0.01, 0.001))
[1] 0.9983342 0.9999833 0.9999998
g(0)
[1] NaN

R returns the three outputs in the order of the inputs inside c(). It returns NaN (not a number) for g(0), because 00\frac{0}{0} is undefined. The outputs at x=±0.01x = \pm 0.01 and x=±0.001x = \pm 0.001 all round to 1.000, from both the left and the right. The numerical estimate of the limit is

lim⁡x→0sin⁡(x)x≈1.000. \lim_{x\to 0} \frac{\sin(x)}{x} \approx 1.000.

On the graph of gg, the curve approaches the dashed line at height 1 from both sides of x=0x = 0, and the open dot at (0,1)(0, 1) marks the point missing from the graph.

Figure

Example 5

Numerically approximate the limit in R, or justify why it does not exist:

lim⁡x→0∣x∣x. \lim_{x\to 0} \frac{|x|}{x}.
ShowHide solution

Evaluate s(x)=∣x∣xs(x) = \dfrac{|x|}{x} on each side of x=0x = 0, as in Example 4. Used R.

s = makeFun(abs(x)/x ~ x)
s(c(-0.1, -0.01, -0.001))
[1] -1 -1 -1
s(c(0.1, 0.01, 0.001))
[1] 1 1 1

The limit does not exist, because the outputs approach −1-1 from the left and 11 from the right. For every xx with x<0x < 0, ∣x∣=−x|x| = -x and s(x)=−1s(x) = -1. For every xx with x>0x > 0, ∣x∣=x|x| = x and s(x)=1s(x) = 1. The graph jumps from height −1-1 to height 1 at x=0x = 0.

Figure

Lesson map

3. Continuity

Objective. Determine if a function is continuous at an input using the limit definition of continuity; understand that certain combinations of modeling functions are continuous on their domains.

Definition 3 (Continuous).

A function f(x)f(x) is continuous at x=ax = a if and only if

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

At an endpoint of the domain, such as x=0x = 0 for x\sqrt{x}, the limit is the one-sided limit from inside the domain. A function f(x)f(x) is continuous on its domain exactly when f(x)f(x) is continuous at every input in its domain.

The function q(x)=x2−1x−1q(x) = \dfrac{x^2 - 1}{x - 1} is not continuous at x=1x = 1. Its limit there exists, because for every xx with x≠1x \neq 1,

q(x)=(x−1)(x+1)x−1=x+1. q(x) = \frac{(x - 1)(x + 1)}{x - 1} = x + 1.

As xx approaches 1, the outputs approach 1+1=21 + 1 = 2, and lim⁡x→1q(x)=2\displaystyle\lim_{x\to 1} q(x) = 2. The value q(1)q(1) is undefined, because substituting x=1x = 1 gives 00\frac{0}{0}. The definition requires the limit to equal q(1)q(1). Therefore q(x)q(x) is not continuous at x=1x = 1.

Criterion 4 (Continuity).

A function f(x)f(x) is continuous at x=ax = a exactly when all three conditions are true:

  1. The value f(a)f(a) is defined.
  2. The limit lim⁡x→af(x)\displaystyle\lim_{x\to a} f(x) exists.
  3. The limit lim⁡x→af(x)\displaystyle\lim_{x\to a} f(x) equals f(a)f(a).

As in the definition, at an endpoint of the domain the limits in the second and third conditions are one-sided.

A function is continuous on an interval when it is continuous at every input in the interval, and its graph over that interval can then be drawn without lifting the pen.

Failed conditions. Each function graphed below is not continuous at x=ax = a, and the first condition to fail is a different one in each.

Undefined value

Figure

The first condition fails: the open dot marks f(a)f(a) as undefined.

Limit nonexistent

Figure

The second condition fails: the one-sided limits 2 and 4 differ.

Value different from the limit

Figure

The third condition fails: the limit 3 differs from f(a)=5f(a) = 5.

Example 6

Use the graph of f(x)f(x) to determine whether f(x)f(x) is continuous at x=−2x = -2, at x=0x = 0, and at x=2x = 2.

Figure
ShowHide solution
  • By the definition of continuous, f(x)f(x) is continuous at x=−2x = -2, because lim⁡x→−2f(x)=−1\displaystyle\lim_{x\to -2} f(x) = -1 equals f(−2)=−1f(-2) = -1, the height of the corner at (−2,−1)(-2, -1).
  • The function f(x)f(x) is not continuous at x=0x = 0, because f(0)f(0) is undefined: the graph has an open dot at (0,1)(0, 1).
  • The function f(x)f(x) is not continuous at x=2x = 2, because lim⁡x→2f(x)=1\displaystyle\lim_{x\to 2} f(x) = 1 and f(2)=2f(2) = 2 are not equal.

Theorem 5 (Continuous functions).

  • Linear, exponential, power, trigonometric, and sigmoidal functions are continuous on their domains.
  • A function built from the common modeling functions by sums, differences, products, quotients, and one function inside another is continuous on its domain.

The natural logarithm ln⁡(x)\ln(x) is also continuous on its domain. An input that makes a denominator zero, or puts zero or a negative number into a logarithm, lies outside the domain of a combination of common modeling functions. So does an input that puts a negative number under an even root, such as a square root.

For a piecewise function whose pieces are continuous on their intervals, check the three conditions at each boundary between pieces.

If f(x)f(x) is continuous at x=ax = a, then substituting x=ax = a into f(x)f(x) gives lim⁡x→af(x)\displaystyle\lim_{x\to a} f(x).

Example 7

Identify where each function is continuous:

a(x)=esin⁡(3x)+1x,b(x)=cos⁡(9x+5)4x−7,c(x)={2x<48xx≥4. a(x) = e^{\sin(3x)} + \frac{1}{\sqrt{x}}, \qquad b(x) = \frac{\cos(9x + 5)}{4x - 7}, \qquad c(x) = \begin{cases} 2 & x < 4 \\ 8x & x \geq 4 \end{cases}.
ShowHide solution
  • By the continuous functions theorem, a(x)a(x) is continuous on (0,∞)(0, \infty), the inputs where both of its terms are continuous. The function esin⁡(3x)e^{\sin(3x)}, a sine inside an exponential, is continuous on all real numbers. The power function 1x=x−1/2\dfrac{1}{\sqrt{x}} = x^{-1/2} has domain x>0x > 0, because a square root of a negative number and division by zero are both undefined, and it is continuous on that domain.
  • By the continuous functions theorem, b(x)b(x) is continuous on all real numbers except x=74x = \frac{7}{4}, because it is a quotient of continuous functions and 4x−7=04x - 7 = 0 at x=74x = \frac{7}{4}.
  • Because both pieces of c(x)c(x) are linear, x=4x = 4 is the only input to check. The one-sided limits at x=4x = 4 are

    lim⁡x→4−c(x)=2,lim⁡x→4+c(x)=8(4)=32. \lim_{x\to 4^-} c(x) = 2, \qquad \lim_{x\to 4^+} c(x) = 8(4) = 32.

    The limit lim⁡x→4c(x)\displaystyle\lim_{x\to 4} c(x) does not exist, because the one-sided limits differ. Therefore c(x)c(x) is continuous on all real numbers except x=4x = 4.

Example 8

Identify where the function is continuous:

d(x)={x2x<0xx≥0. d(x) = \begin{cases} x^2 & x < 0 \\ x & x \geq 0 \end{cases}.
ShowHide solution

Because both pieces are continuous, x=0x = 0 is the only input to check against the continuity criterion. The first condition is true, because d(0)=0d(0) = 0 from the piece for x≥0x \geq 0. Substituting x=0x = 0 into each continuous piece gives the one-sided limits lim⁡x→0−x2=0\displaystyle\lim_{x\to 0^-} x^2 = 0 and lim⁡x→0+x=0\displaystyle\lim_{x\to 0^+} x = 0. By the existence of a limit theorem, lim⁡x→0d(x)=0\displaystyle\lim_{x\to 0} d(x) = 0, and this limit equals d(0)d(0). The second and third conditions are true. Therefore d(x)d(x) is continuous on all real numbers. On the graph, the parabola y=x2y = x^2 from the left and the line y=xy = x from the right meet at (0,d(0))=(0,0)(0, d(0)) = (0, 0), and the graph can be drawn without lifting the pen.

Figure

Lesson map

4. Limit Definition of the Derivative

Objective. Understand and apply the limit definition of the derivative to estimate a derivative at a given input.

Figure

The secant line through (a,f(a))(a, f(a)) and (a+h,f(a+h))(a + h, f(a + h)) has slope (f(a+h)−f(a))/h\bigl(f(a + h) - f(a)\bigr)/h, the average rate of change of f(x)f(x) over the interval between aa and a+ha + h (Lesson 25 Notes, section 1). As hh approaches 0, the point (a+h,f(a+h))(a + h, f(a + h)) slides along the graph toward (a,f(a))(a, f(a)), and, when f′(a)f'(a) exists, the secant line approaches the tangent line. A positive hh gives an interval to the right of aa, and a negative hh gives an interval to the left of aa.

Definition 6 (Limit definition of the derivative).

By the limit definition of the derivative, the derivative of a function f(x)f(x) for input x=ax = a is

f′(a)=lim⁡h→0f(a+h)−f(a)h. f'(a) = \lim_{h\to 0} \frac{f(a + h) - f(a)}{h}.

The derivative f′(a)f'(a) is the instantaneous rate of change of f(x)f(x) when x=ax = a (Lesson 25 Notes, section 3). It exists only when, as hh approaches 0, the average rates of change from both sides of aa approach the same number.

The function c(x)c(x) of Example 7, equal to 2 for x<4x < 4 and to 8x8x for x≥4x \geq 4, has no derivative when x=4x = 4. The piece 8x8x gives its value there, c(4)=32c(4) = 32. For every hh with h<0h < 0, the average rate of change in the definition is

c(4+h)−c(4)h=2−32h=−30h, \frac{c(4 + h) - c(4)}{h} = \frac{2 - 32}{h} = \frac{-30}{h},

which rises without bound as hh approaches 0 from the left. The definition requires the average rate of change to approach a number.

Estimating a derivative.

  1. Substitute the function and the input aa into the definition.
  2. Compute the average rate of change for values of hh on both sides of 0 that shrink by a factor of 10, such as h=±0.001h = \pm 0.001, ±0.0001\pm 0.0001, and ±0.00001\pm 0.00001.
  3. Apply the stopping test from the Lesson 25 Notes, section 2: stop at a step where, to three decimals, the rates for +h+h and −h-h agree with each other and with the rates on the step before.
  4. Report the number the average rates of change approach from both sides, with units. If the two sides approach different numbers, or the rates rise or fall without bound, then the derivative does not exist.

Example 9

Write the limit definition of f′(2)f'(2) and use it to estimate f′(2)f'(2) in R:

f(x)=3x2−2x. f(x) = 3x^2 - 2x.
ShowHide solution

By the limit definition of the derivative,

f′(a)=lim⁡h→0f(a+h)−f(a)h. f'(a) = \lim_{h\to 0} \frac{f(a + h) - f(a)}{h}.

Calculate f(2)f(2), the value subtracted in the numerator:

f(2)=3(2)2−2(2)=12−4=8. f(2) = 3(2)^2 - 2(2) = 12 - 4 = 8.

Substitute f(x)f(x), a=2a = 2, and f(2)=8f(2) = 8 into the limit definition of the derivative:

f′(2)=lim⁡h→03(2+h)2−2(2+h)−8h. f'(2) = \lim_{h\to 0} \frac{3(2 + h)^2 - 2(2 + h) - 8}{h}.

Compute the average rate of change in the definition for h=±0.001h = \pm 0.001, ±0.0001\pm 0.0001, and ±0.00001\pm 0.00001. Used R.

f = makeFun(3*x^2 - 2*x ~ x)
h = c(0.001, 0.0001, 0.00001, -0.001, -0.0001, -0.00001)
(f(2 + h) - f(2))/h
[1] 10.00300 10.00030 10.00003  9.99700  9.99970  9.99997

The line h = c(...) stores the six values of hh. The line (f(2 + h) - f(2))/h computes the average rate of change in the definition for each one, and R prints the six quotients in the same order, the three positive values of hh first. At h=±0.001h = \pm 0.001 the average rates of change round to 10.003 and 9.997. At h=±0.0001h = \pm 0.0001 and at h=±0.00001h = \pm 0.00001 all four round to 10.000. The stopping test is met:

f′(2)≈10.000. f'(2) \approx 10.000.

Example 10

The median home price PP in the United States, in thousands of dollars, in year YY from 2001 to 2010 is modeled by

P(Y)=0.17(Y−2001)4−3.2(Y−2001)3+16.7(Y−2001)2−10.9(Y−2001)+177.7. P(Y) = 0.17(Y - 2001)^4 - 3.2(Y - 2001)^3 + 16.7(Y - 2001)^2 - 10.9(Y - 2001) + 177.7.

Estimate P′(2005)P'(2005) in R using the limit definition of the derivative, and explain what the value means.

ShowHide solution

The limit definition of the derivative when Y=2005Y = 2005 is

P′(2005)=lim⁡h→0P(2005+h)−P(2005)h. P'(2005) = \lim_{h\to 0} \frac{P(2005 + h) - P(2005)}{h}.

Estimate the limit as in Example 9, with h=±0.0001h = \pm 0.0001, ±0.00001\pm 0.00001, and ±0.000001\pm 0.000001. Used R.

P = makeFun(0.17*(Y - 2001)^4 - 3.2*(Y - 2001)^3 +
16.7*(Y - 2001)^2 - 10.9*(Y - 2001) + 177.7 ~ Y)
h = c(0.0001, 0.00001, 0.000001, -0.0001, -0.00001, -0.000001)
(P(2005 + h) - P(2005))/h
[1] 12.61946 12.61995 12.62000 12.62054 12.62005 12.62001

At h=±0.0001h = \pm 0.0001 the average rates of change round to 12.619 and 12.621. At h=±0.00001h = \pm 0.00001 and at h=±0.000001h = \pm 0.000001 all four round to 12.620. The stopping test is met:

P′(2005)≈12.620. P'(2005) \approx 12.620.

The units are thousand dollars per year, and the dimension is [P]/[Y]=BT−1[P]/[Y] = BT^{-1}. Based on the model, the median home price was increasing at about $12,620 per year in 2005.

Example 11

Use the limit definition of the derivative, with average rates of change computed in R, to show that f′(0)f'(0) does not exist:

f(x)=∣x∣. f(x) = |x|.
ShowHide solution

Substituting f(x)=∣x∣f(x) = |x| and a=0a = 0 into the limit definition of the derivative gives

f′(0)=lim⁡h→0∣0+h∣−∣0∣h=lim⁡h→0∣h∣h, f'(0) = \lim_{h\to 0} \frac{|0 + h| - |0|}{h} = \lim_{h\to 0} \frac{|h|}{h},

the limit of Example 5 with hh in place of xx. Compute the average rate of change ∣h∣h\dfrac{|h|}{h} for h=±0.1h = \pm 0.1, ±0.01\pm 0.01, and ±0.001\pm 0.001. Used R.

f = makeFun(abs(x) ~ x)
h = c(0.1, 0.01, 0.001, -0.1, -0.01, -0.001)
(f(0 + h) - f(0))/h
[1]  1  1  1 -1 -1 -1

The average rates of change equal 1 for positive hh, because ∣h∣=h|h| = h there, and −1-1 for negative hh, because ∣h∣=−h|h| = -h there. Because they approach different numbers from the two sides, f′(0)f'(0) does not exist. The graph of ∣x∣|x| shows the same fact as a corner at (0,0)(0, 0), where the slope is −1-1 on the left and 1 on the right.

Figure

Lesson map

Found a mistake, a broken tool or something unclear? Report a problem