Chapter 2: Differentiation
Section 2.2: Precise Definition of the Derivative
Introduction
Section 2.1 introduced the idea of the derivative f′, explaining that it is a function giving the slope of the line tangent to the graph of f at points in the domain of f. It was also interpreted as the instantaneous rate of change of f.
This section will provide a formal definition of the derivative, and the next section will contain a useful list of differentiation rules.
Essentials
The Derivative
Definition 2.2.1
The derivative of the function f at x, denoted by the symbol f ′x, is given by
f ′x=limh→0fx+h−fxh
whenever the limit exists as a real (and therefore finite) number.
When the limit exists, f is said to be differentiable at x.
If this limit does not exist, then f is not differentiable at x.
Definition 2.2.1 is the formal statement that the derivative is the limiting slope of secant lines. To see this, write the slope of the secant line connecting the points⁡x,fx and⁡z,fz as
fz−fxz−x
Then, set h=z−x so that z=x+h. The slope of the secant line becomes
fx+h−fxh
Definition 2.2.2
The general expression for the slope of the secant line, namely,
is called the difference quotient. (In Maple, this is called the Newton quotient.)
Notations for the Derivative
There are several notations for the derivative of the function g. One of the most useful is g′, where, in Maple, the prime can be an apostrophe or the stroke found in the Punctuation palette. To evaluate a derivative at the specific point x=c, use the prime notation g′c.
Another common notation is dfdx which is implemented in Maple through the ⅆⅆx⁡f template in the Calculus (or Expression) palette. This notation suffers from two defects: there is no simple analog of g′c; and in Maple, the spacing in the template can't be modified. Although the notation dgcdx does sometimes appear in the literature, taken literally it means gc is evaluated first, then differentiated with respect to x, resulting in zero.
These two seemingly different notations for the derivative can be traced to the historical origins of the calculus. In England, Isaac Newton developed his version of the calculus using terms like fluxions and fusions, and notation like g.t for the derivative. In Germany, Gottfried Leibniz developed his version of the calculus using the differential notation dydx. Unfortunately, this notation makes it seem that the derivative is the ratio of finite quantities dy and dx, called differentials. This is not the case, and it is only when the differential is defined as a derivative y′ times an increment dx that the notation of Leibniz becomes comfortable. Readers interested in the historical arguments as to primality of the development of the calculus can find ample material in any good mathematical library or on the internet. No reference will be given here because no need is seen to re-open what was a long and acrimonious debate as to who deserved credit for "inventing" the calculus.
Theorem 2.2.1
Differentiability implies continuity, but continuity does not imply differentiability. Section 2.1 points out that at a cusp, corner, (where a function is continuous) it is not differentiable, so clearly, continuity does not imply differentiability. It is even possible for a function to be continuous everywhere, but differentiable nowhere!
The following theorem is true, but its converse is not.
If a function f is differentiable at a then f is continuous at a.
Proof of Theorem 2.2.1
The differentiability of f at a means
f′a=limh→0fa+h− fah
exists and is finite. To show f is continuous at a , show that limx→a fx=fa. For all x≠a it is valid to write
fx
= fa+fx−fa
= fa+fx−fax−a (x−a )
Applying the limit operator to both sides of this equation leads to
limx→afx
=limx→afa+fx−fax−a x−a
=fa+limx→afx−fax−a⁢limx→a x−a
The limit of the difference quotient can be recognized as the derivative of f at a, namely, f′a. Because this limit exists and is finite, the Product law for limits can be applied to conclude
=fa+f′a⋅0
=fa
Thus, f must be continuous at a.
Précis
The content of Definition 2.2.1 is summarized by
dfdxx=a|f(x)x=c=f′c=limh→0fc+h−fcc = limz→cfz−fcz−c
provided the limit exists (and is finite). These symbols formalize the idea that the limiting slopes of secant lines is the slope of the tangent line, and that the derivative is essentially the slope of the tangent line.
Examples
Example 2.2.1
Apply Definition 2.2.1 to fx=x3, to obtain f′c, the derivative at the point c,fc.
Example 2.2.2
Apply Definition 2.2.1 to fx=x2+1x+2, to obtain f′c, c≠−2.
Example 2.2.3
Apply Definition 2.2.1 to fx=x−1, to obtain f′c, c>1.
Example 2.2.4
Evaluate limz→2z2+1−5z−2.
<< Previous Section Table of Contents Next Section >>
© Maplesoft, a division of Waterloo Maple Inc., 2024. All rights reserved. This product is protected by copyright and distributed under licenses restricting its use, copying, distribution, and decompilation.
For more information on Maplesoft products and services, visit www.maplesoft.com
Download Help Document