Definition of Derivative
The derivative is defined as .
Intuitively, the derivative is measuring the slope of a line at a instantaneous point. So we can define the derivative at as taking the gradient of the points and as gets closer and closer to , which is what the above formula describes.
If the limit exists, then is well-defined and we say that is differentiable at . By this definition, it is a consequence that if a function is only defined on it is not differentiable on and as the limit does not exist.
Using the above definitions, we can find the derivative of functions. Doing so is known as Differentiation from First Principles.
Here are some examples:
, where is a positive integer
Estimating Derivative given Table of Values
When we need to find a derivative a point given a few datapoints, it is recommended to use unless is a endpoint, then we have no choice but to use .
If is differentiable at , then is continuous at .
Proof: Since is well-defined, exists.
We wish to show that .
Common Derivatives
Rules
(Chain Rule)
(Product rule)
Derivative of Inverse Function
The derivative of at , it is related to the derivative of at by a reciprocal relationship.
Rolle’s Theorem
If is a function that is both continuous on , differentiable on the interval and , then there exists such that .
Note that the differentiability condition is important here. Consider the function on the interval . It can be shown that it is continuous on and . However, there is no point where its derivative is .
Mean Value Theorem
This is a corollary of Rolle’s Theorem.
If is a function that is both continuous on and differentiable on the interval , then there exists such that .
The intuitive proof of this using Rolle’s theorem is that we shift the a function such that by a linear function.
Increasing and Decreasing Functions
is non-decreasing on if for where .
is increasing on if for where .
is non-increasing on if for where .
is decreasing on if for where .
is constant on if for where .
Interestingly, a single point is defined to be both increasing and decreasing by this definition.
Corollaries of Mean Value Theorem
If is continuous on and differentiable on :
(a) If for all , then is non-decreasing on .
(b) If for all , then is increasing on .
(c) If for all , then is non-increasing on .
(d) If for all , then is decreasing on .
(e) If for all , then is constant on .
The converse of (a),(c) and (e) are true, but the converse of (b) and (d) is false.
Counter example of converse of (b)
is increasing on , but .
Proof of (a)
Suppose that is decreasing on , that is there exists such that and .
By Mean Value Theorem, there exists such that . However, for all .
This is a contradiction. Therefore, (a) is true.
Proof of converse of (a) (not rigorous)
Suppose there exists such that . This implies that .
Since , this means that for a small interval , or that . However, we have for and .
This is a contradiction. Therefore, converse of (a) is true.
Critical Points
Let be an interior point (not endpoint if domain if closed). If or does not exist, then is a critical point.
First Derivative Test
If is differentiable on a small open interval around with exclusion of
(i) If changes sign from negative to positive, local minimum
(ii) If changes sign from positive to negative, local maximum
(iii) Else if , it is a inflection point
Second Derivative Test
Suppose
(i) If , local minimum
(ii) If , local maximum
(iii) Else, inconclusive
Concavity
If is differentiable on a open interval .
(i) If is increasing, concave upwards
(ii) If is decreasing, concave downwards
Suppose is twice differentiable on a open interval .
(i) If , concave upwards
(ii) If , concave downwards
However, the converse is not true. is concave upwards on but .
Inflection Point
is a inflection point if is continuous at and the concavity changes around .
Note that does not imply inflection point. is concave upwards on but .
L’Hopital’s Rule
if the original limit is of the form or .
Other indeterminant forms such as , , , , can be turned in or using algebraic manipulation to apply L’Hopital’s Rule.
Growth of Functions
Order from slowest to fastest growth: constant, logarithmic, polynomial, exponential, factorial.