MATH 409 Lecture 14

From Notes
Jump to navigation Jump to search

« previous | Thursday, October 17, 2013 | next »

Begin Exam 2 content
Lecture Slides

Part 3: Differential and Integral Calculus

Derivative

A function is said to be differentiable at a point if it is defined on an open interval containing and the following limit exists

The limit is denoted and called the derivative of at .

An equivalent condition is

Examples

Constant function. for .

for all and .

Therefore the limit is 0 and is differentiable on and for all .

Identity function. for .

for all , .

Therefore is differentiable on and for all .

Quadratic function. for .

.

Therefore (limit of continuous function)

Therefore is differentiable on and for .

Harmonic function. , .

.

Therefore .

That is, is differentiable on and for all .

Square root. , where .

.

Therefore .

In the case ,

.

Hence is differentiable on , and for all .

Sine function. for all .

Using the formula , we obtain

Therefore

That is, is differentiable on and for all .


Differentiability Theorems

Differentiability and Continuity

Theorem. If a function is differentiable at a point , then it is continuous at .

Proof.

quod erat demonstrandum

A simple statement that will be used many times:

Note: Similarly, if has a right-hand derivative at , then .
If has a left-hand derivative at , then .


Sum Rule and Homogeneous Rule

Theorem. [Sum rule]. If functions and are differentiable at a point , then the sum is also differentiable at . Moreover, .

Proof.

quod erat demonstrandum

It's worth noting that if the domains of and are not equal, then the domain of the sum of the functions is defined where the functions overlap. The sum over this open interval is well defined.

Theorem. [Homogeneous rule]. If a function is differentiable at a point , then for any the scalar multiple is also differentiable at . Moreover, .

Proof.

quod erat demonstrandum


Product Rule

Theorem. [Product rule]. If the functions and are differentiable at a point , then the product is also differentiable at . Moreover, .

Proof. Since and are differentiable at , there is an open interval containing such that both and are defined on . (see note above regarding sums) For every we have:

Then so that

We used the fact that and are continuous at to evaluate the limits in the last step.

quod erat demonstrandum

Reciprocal Rule

Theorem. [Reciprocal rule]. If a function is differentiable at a point and , then the function is also differentiable at . Moreover, .

Proof. The function is defined on an open interval containing . We know that is continuous at . Since , there exists such that for any . Then for all . In particular, is defined on , an open interval containing .

Now

quod erat demonstrandum


Difference Rule and Quotient Rule

Theorem. [Difference rule]. If and are differentiable at a point , then the difference is also differentiable at . Moreover, .

Proof. By the Homogeneous Rule, the function is differentiable at and By the Sum Rule, is also differentiable at and .

quod erat demonstrandum

Theorem. [Quotient rule]. If functions and are differentiable at and , then the quotient is also differentiable at . Moreover, .

Proof. By the Reciprocal Rule, the function is differentiable at and . By the product rule, the function is also differentiable at and

quod erat demonstrandum


Chain Rule

Theorem. [Chain rule]. If a function is differentiable at a point and a function is differentiable at , then the composition is differentiable at . Moreover, .

Proof. The function is defined on an open interal while is defined on an open interal . Since is continuous at (because it is differentiable), there exists such that , where . Then is defined on . For any such that ,

This implies the Chain Rule unless there is a sequence converging to such that while . In this case, .

quod erat demonstrandum


Examples

Cosine function. for .

The function can be represented as a composition , where and for all . Since and for all , the Chain rule implies that is differentiable on and for all .

Tangent function. for .

Since and for all , the Quotient Rule implies that is differentiable on and

For all .