Real analysis/Differentiation
Definition
We now define the derivative of a function at a point to be: .
or equivelantly (exercise!) by
- .
The derivative exists if and only if the limit exists, in which case the function is said to be differentiable at the point . A function is differentiable on an set if the derivative exists for each . A function could be said to be differentiable if it is differentiable on its whole domain.
Conceptually, finding the derivative means finding the slope of the tangent line to the function. Thus the derivative can be thought of as a linear, or first-order, approximation.
Properties
Some properties of the derivative follow immediately from the definition:
Basic Properties
If f and g are differentiable, then:
Proof
Theorem(Differentiability Implies Continuity)
If f is differentiable at x, it is continuous at x
Proof
Since f is differentiable at x, .
So
Thus , so f is continuous at x.
Theorem(Product Rule)
If f and g are differentiable, then
Proof
, since g is continuous at x.
The following theorem is a bit trickier to prove than it seems. We would like to use the following argument:
The problem is that may be zero at points arbitrarily close to x, and therefore would not be continuous at these points. Thus we apply a clever trick as follows:
Theorem(Chain Rule)
If g is differentiable at x and f is differentiable at g(x), then
Proof
Define
Since f is differentiable, , so is continuous at x.
If , then
If , then .
Thus
Theorem(Rolle's Theorem)
The Extreme Value Theorem easily follows from the fact that the continuous image of a compact set is also compact, and hence bounded and closed within the real numbers, so that it acquires both its maximum and minimum. This Extreme Value Theorem is used to prove the following:
If f(x) is differentiable on [a,b] and f(a)=f(b), then there exists a c within [a,b] such that f'(c)=0.
Proof
Suppose that the function f(x) is constant. Then for all values of c with [a,b], f'(c)=0.
Then suppose that the function f(x) has a value x such that f(x)>f(a). Its maximum f(c) is greater than f(a), and so because it is differentiable, can happen only when f'(c)=0. Thus, c is within [a,b] and f'(c)=0.
Then suppose that the function f(x) has values that are less than or equal to f(a). Then -f(x) has values that are greater than or equal to -f(a), and so has a maximum -f(c), with -f'(c)=0, so f'(c)=0.
Theorem(Mean Value Theorem)
Rolle's theorem can be generalized as follows:
If f(x) and g(x) are differentiable on [a,b] (without both having infinite derivatives at the same point) then there exists a c within [a,b] such that
.
Proof
The function h(x) defined by h(x)=f(x)(g(b)-g(a))-g(x)(f(b)-f(a)) has it such that h(a)=h(b), and by Rolle's theorem, there is a c within [a,b] such that h'(c)=0.
Examples
Consider by . What is the derivative of at ?
So, here we see that . Since was an arbtarily choosen point we conculde that
Similar derivative formula's may also be found.