<< Chapter < Page Chapter >> Page >

Differentiability implies continuity

Let f ( x ) be a function and a be in its domain. If f ( x ) is differentiable at a , then f is continuous at a .

Proof

If f ( x ) is differentiable at a , then f ( a ) exists and

f ( a ) = lim x a f ( x ) f ( a ) x a .

We want to show that f ( x ) is continuous at a by showing that lim x a f ( x ) = f ( a ) . Thus,

lim x a f ( x ) = lim x a ( f ( x ) f ( a ) + f ( a ) ) = lim x a ( f ( x ) f ( a ) x a · ( x a ) + f ( a ) ) Multiply and divide f ( x ) f ( a ) by x a . = ( lim x a f ( x ) f ( a ) x a ) · ( lim x a ( x a ) ) + lim x a f ( a ) = f ( a ) · 0 + f ( a ) = f ( a ).

Therefore, since f ( a ) is defined and lim x a f ( x ) = f ( a ) , we conclude that f is continuous at a .

We have just proven that differentiability implies continuity, but now we consider whether continuity implies differentiability. To determine an answer to this question, we examine the function f ( x ) = | x | . This function is continuous everywhere; however, f ( 0 ) is undefined. This observation leads us to believe that continuity does not imply differentiability. Let’s explore further. For f ( x ) = | x | ,

f ( 0 ) = lim x 0 f ( x ) f ( 0 ) x 0 = lim x 0 | x | | 0 | x 0 = lim x 0 | x | x .

This limit does not exist because

lim x 0 | x | x = −1 and lim x 0 + | x | x = 1 .

See [link] .

The function f(x) = the absolute value of x is graphed. It consists of two straight line segments: the first follows the equation y = −x and ends at the origin; the second follows the equation y = x and starts at the origin.
The function f ( x ) = | x | is continuous at 0 but is not differentiable at 0 .

Let’s consider some additional situations in which a continuous function fails to be differentiable. Consider the function f ( x ) = x 3 :

f ( 0 ) = lim x 0 x 3 0 x 0 = lim x 0 1 x 2 3 = + .

Thus f ( 0 ) does not exist. A quick look at the graph of f ( x ) = x 3 clarifies the situation. The function has a vertical tangent line at 0 ( [link] ).

The function f(x) = the cube root of x is graphed. It has a vertical tangent at x = 0.
The function f ( x ) = x 3 has a vertical tangent at x = 0 . It is continuous at 0 but is not differentiable at 0 .

The function f ( x ) = { x sin ( 1 x ) if x 0 0 if x = 0 also has a derivative that exhibits interesting behavior at 0 . We see that

f ( 0 ) = lim x 0 x sin ( 1 / x ) 0 x 0 = lim x 0 sin ( 1 x ) .

This limit does not exist, essentially because the slopes of the secant lines continuously change direction as they approach zero ( [link] ).

The function f(x) = x sin (1/2) if x does not equal 0 and f(x) = 0 if x = 0 is graphed. It looks like a rapidly oscillating sinusoidal function with amplitude decreasing to 0 at the origin.
The function f ( x ) = { x sin ( 1 x ) if x 0 0 if x = 0 is not differentiable at 0 .

In summary:

  1. We observe that if a function is not continuous, it cannot be differentiable, since every differentiable function must be continuous. However, if a function is continuous, it may still fail to be differentiable.
  2. We saw that f ( x ) = | x | failed to be differentiable at 0 because the limit of the slopes of the tangent lines on the left and right were not the same. Visually, this resulted in a sharp corner on the graph of the function at 0 . From this we conclude that in order to be differentiable at a point, a function must be “smooth” at that point.
  3. As we saw in the example of f ( x ) = x 3 , a function fails to be differentiable at a point where there is a vertical tangent line.
  4. As we saw with f ( x ) = { x sin ( 1 x ) if x 0 0 if x = 0 a function may fail to be differentiable at a point in more complicated ways as well.

A piecewise function that is continuous and differentiable

A toy company wants to design a track for a toy car that starts out along a parabolic curve and then converts to a straight line ( [link] ). The function that describes the track is to have the form f ( x ) = { 1 10 x 2 + b x + c if x < −10 1 4 x + 5 2 if x −10 where x and f ( x ) are in inches. For the car to move smoothly along the track, the function f ( x ) must be both continuous and differentiable at −10 . Find values of b and c that make f ( x ) both continuous and differentiable.

A cart is drawn on a line that curves through (−10, 5) to (10, 0) with y-intercept roughly (0, 2).
For the car to move smoothly along the track, the function must be both continuous and differentiable.

For the function to be continuous at x = −10 , lim x 10 f ( x ) = f ( −10 ) . Thus, since

lim x 10 f ( x ) = 1 10 ( −10 ) 2 10 b + c = 10 10 b + c

and f ( −10 ) = 5 , we must have 10 10 b + c = 5 . Equivalently, we have c = 10 b 5 .

For the function to be differentiable at −10 ,

f ( 10 ) = lim x 10 f ( x ) f ( −10 ) x + 10

must exist. Since f ( x ) is defined using different rules on the right and the left, we must evaluate this limit from the right and the left and then set them equal to each other:

lim x 10 f ( x ) f ( −10 ) x + 10 = lim x 10 1 10 x 2 + b x + c 5 x + 10 = lim x 10 1 10 x 2 + b x + ( 10 b 5 ) 5 x + 10 Substitute c = 10 b 5. = lim x 10 x 2 100 + 10 b x + 100 b 10 ( x + 10 ) = lim x 10 ( x + 10 ) ( x 10 + 10 b ) 10 ( x + 10 ) Factor by grouping. = b 2.

We also have

lim x 10 + f ( x ) f ( −10 ) x + 10 = lim x 10 + 1 4 x + 5 2 5 x + 10 = lim x 10 + ( x + 10 ) 4 ( x + 10 ) = 1 4 .

This gives us b 2 = 1 4 . Thus b = 7 4 and c = 10 ( 7 4 ) 5 = 25 2 .

Got questions? Get instant answers now!
Got questions? Get instant answers now!
Practice Key Terms 5

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, Calculus volume 1. OpenStax CNX. Feb 05, 2016 Download for free at http://cnx.org/content/col11964/1.2
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Calculus volume 1' conversation and receive update notifications?

Ask