Real analysis/Differentiation

From testwiki
Revision as of 18:08, 9 December 2007 by 24.62.236.10 (talk) (Theorem(Rolle's Theorem): adding theorem and proof, formatting)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Definition

We now define the derivative of a function f at a point a to be: f(a)=limh0f(a+h)f(a)h.

or equivelantly (exercise!) by

f(x)=limyxf(y)f(x)yx.

The derivative exists if and only if the limit exists, in which case the function is said to be differentiable at the point a. A function is differentiable on an set A if the derivative exists for each aA. 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:


  • (f+g)(x)=f(x)+g(x)
  • (λf)(x)=λf(x)

Proof

  • (f+g)(x)=limyx(f(y)+g(y))(f(x)+g(x))yx

=limyx(f(y)f(x)yx+g(y)g(x)yx)

=limyxf(y)f(x)yx+limyxg(y)g(x)yx=f(x)+g(x)


  • (λf)(x)=limyxλf(y)λf(x)yx=λlimyxf(y)f(x)yx=λf(x)

Theorem(Differentiability Implies Continuity)

If f is differentiable at x, it is continuous at x

Proof

Since f is differentiable at x, limyxf(y)f(x)yx=f(x).

So limyx[f(y)f(x)]=limyxf(y)f(x)yxlimyx(yx)=f(x)0=0

Thus limyxf(y)=f(x), so f is continuous at x.

Theorem(Product Rule)

If f and g are differentiable, then (fg)(x)=f(x)g(x)+f(x)g(x)

Proof

(fg)(x)=limyxf(y)g(y)f(x)g(x)yx =limyxf(y)g(y)f(x)g(y)+f(x)g(y)f(x)g(x)yx

=limyx(f(y)f(x))g(y)+f(x)(g(y)g(x))yx

=limyxf(y)f(x)yxlimyxg(y)+f(x)limyxg(y)g(x)yx=f(x)g(x)+f(x)g(x), 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:


(fg)(x)=limyxf(g(y))f(g(x))yx =limyxf(g(y))f(g(x))g(y)g(x)g(y)g(x)yx=limyxf(g(y))f(g(x))g(y)g(x)limyxg(y)g(x)yx=f(g(x))g(x)


The problem is that g(y)g(x) may be zero at points arbitrarily close to x, and therefore f(g(y))f(g(x))g(y)g(x) 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(fg)(x)=f(g(x))g(x)

Proof

Define Df(y)={f(y)f(g(x))yg(x)if y=xf(g(x))if y=x

Since f is differentiable, limyxDf(y)=f(x), so Df(y) is continuous at x.

If g(y)=g(x), then f(g(y))f(g(x))yx=f(g(y))f(g(x))g(y)g(x)g(y)g(x)yx=Df(g(y))g(y)g(x)yx

If g(y)=g(x), then Df(g(y))g(y)g(x)yx=f(g(x))0=0=f(g(y))f(g(x))yx.

Thus limyxf(g(y))f(g(x))yx=limyxDf(g(y))g(y)g(x)yx=limyxDf(g(y))limyxg(y)g(x)yx=f(g(x))g(x)

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

f(c)g(c)=(f(b)f(a)g(b)g(a).

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 f: by f(x)=x. What is the derivative of f at a?

f(a)=limh0f(a+h)f(a)h=limh0a+hah=limh0hh=limh01=1

So, here we see that f(a)=1. Since a was an arbtarily choosen point we conculde that f(a)=1 a

Similar derivative formula's may also be found.