Derivatives and Continuity
Now that we can graph a derivative, let’s examine the behavior of the graphs.
First, we consider the relationship between differentiability and continuity. We will see that if a function is differentiable at a point, it must be continuous there; however, a function that is continuous at a point need not be differentiable at that point. In fact, a function may be continuous at a point and fail to be differentiable at the point for one of several reasons.
differentiability implies continuity
Let [latex]f(x)[/latex] be a function and [latex]a[/latex] be in its domain. If [latex]f(x)[/latex] is differentiable at [latex]a[/latex], then [latex]f[/latex] is continuous at [latex]a[/latex].
Proof
If [latex]f(x)[/latex] is differentiable at [latex]a[/latex], then [latex]f^{\prime}(a)[/latex] exists and
We want to show that [latex]f(x)[/latex] is continuous at [latex]a[/latex] by showing that [latex]\underset{x\to a}{\lim}f(x)=f(a)[/latex]. Thus,
Therefore, since [latex]f(a)[/latex] is defined and [latex]\underset{x\to a}{\lim}f(x)=f(a)[/latex], we conclude that [latex]f[/latex] is continuous at [latex]a[/latex].
[latex]_\blacksquare[/latex]
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 [latex]f(x)=|x|[/latex]. This function is continuous everywhere; however, [latex]f^{\prime}(0)[/latex] is undefined. This observation leads us to believe that continuity does not imply differentiability. Let’s explore further.
For [latex]f(x)=|x|[/latex],
This limit does not exist because
Let’s consider some additional situations in which a continuous function fails to be differentiable.
Consider the function [latex]f(x)=\sqrt[3]{x}[/latex]:
Thus [latex]f^{\prime}(0)[/latex] does not exist. A quick look at the graph of [latex]f(x)=\sqrt[3]{x}[/latex] clarifies the situation. The function has a vertical tangent line at [latex]0[/latex] (Figure 7).
The function [latex]f(x)=\begin{cases} x \sin\left(\frac{1}{x}\right) & \text{ if } \, x \ne 0 \\ 0 & \text{ if } \, x = 0 \end{cases}[/latex] also has a derivative that exhibits interesting behavior at [latex]0[/latex].
We see that,
This limit does not exist, essentially because the slopes of the secant lines continuously change direction as they approach zero (Figure 8).
In summary:
- 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.
- We saw that [latex]f(x)=|x|[/latex] failed to be differentiable at [latex]0[/latex] 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 [latex]0[/latex]. From this we conclude that in order to be differentiable at a point, a function must be “smooth” at that point.
- As we saw in the example of [latex]f(x)=\sqrt[3]{x}[/latex], a function fails to be differentiable at a point where there is a vertical tangent line.
- As we saw with [latex]f(x)=\begin{cases} x \sin(\frac{1}{x}) & \text{ if } \, x \ne 0 \\ 0 & \text{ if } \, x = 0 \end{cases}[/latex] a function may fail to be differentiable at a point in more complicated ways as well.
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 (Figure 9). The function that describes the track is to have the form
where [latex]x[/latex] and [latex]f(x)[/latex] are in inches.
For the car to move smoothly along the track, the function [latex]f(x)[/latex] must be both continuous and differentiable at [latex]-10[/latex]. Find values of [latex]b[/latex] and [latex]c[/latex] that make [latex]f(x)[/latex] both continuous and differentiable.
Find values of [latex]a[/latex] and [latex]b[/latex] that make [latex]f(x)=\begin{cases} ax+b & \text{ if } \, x < 3 \\ x^2 & \text{ if } \, x \ge 3 \end{cases}[/latex] both continuous and differentiable at [latex]3[/latex].