prooving limits and differentials

profileArun1990
420-chp5.pptx

Chapter 5 Derivatives

Example 1 Consider where . Recall the identity

For any ,

1

Example 2 Consider . The function is not differentiable at 0, since

which does not exist, as the limit is from the right and from the left.

Therefore, a continuous function is not always differentiable; that is,

continuous ⇏ differentiable.

2

A continuous function is not always differentiable; that is,

continuous ⇏ differentiable.

Proof: We are given that exists.

Thus, by the Algebraic Limit Theorem for Functions (Corollary 4.2.4). This implies that , i.e., is continuous at .

3

Algebraic combinations of continuous functions are continuous by the Algebraic Limit Theorem for Functions (Corollary 4.2.4).

Somewhat similar conclusions hold for derivatives.

4

Product Rule

Proof: First, rewrite the difference quotient as

Taking limits as and using the Algebraic Limit Theorem gives

Since is differentiable at implies is continuous at , Thus,

5

Idea: Write out the difference quotient and write the numerator as a single fraction. Within that single fraction subtract and add in its numerator. Proceed as before.

Quotient Rule

Idea: Essentially the idea is the following, except the nuisance of dealing with the possibility that for values of close to

6

Proof: Assume attains its maximum at some point . Since is in the open interval , there exists sequences

such that . Since is a maximum,

By the Order Limit Theorem,

Similarly, Therefore, .

The derivative possesses an intermediate value property:

8

To prove the derivatives for the trig functions, we require

Start with a unit circle with center .

Suppose and are points on the circle (points between and ).

Let be the perpendicular bisector of .

Proof :

Note: you can prove a similar inequality for .

Proof :

Notice in the last proof that we used cosine is continuous on R. Using geometry, one can prove that for all .

Use this, the definition of continuity and the trig identities

to prove the next theorem.

Theorem All trig functions are continuous on their domains.

Proof: Let , and show is continuous at . Let . Choose . Thus,

Thus, is continuous on R. Using trig identities and the Algebraic Limit Theorem, one can show the other trig functions are continuous on their domains.

Using the special limit

We can deduce another special limit involving cosine:

By replacing with the derivative can also be written as

14

Show if , then .

DERIVS. OF TRIG. FUNCTIONS

Equation 1

So, we have proved the formula for the derivative of the sine function:

Using the same methods, we can prove:

The tangent function can also be differentiated by using the definition of a derivative, but it is easier to use the Quotient Rule.

DERIV. OF SINE FUNCTION

Formula 4

NOTE: these are valid only when x is measured in radians.

DERIVS. OF TRIG. FUNCTIONS

Calculate the derivatives of , , and .

Recall we used radian measure to find limit of sin(theta)/theta as theta goes to 0.

17

For , consider

Since for all near , is continuous at 0.

Notice that which does not exist.

Thus, is continuous at 0, but not differentiable at 0.

Similar calculations show is continuous and differentiable at 0. But,

and

All together, is continuous and differentiable everywhere on R.

Thus, the derivative of is defined everywhere on R. But, has a discontinuity at 0. Hence, in general, derivatives need not be continuous!

g_1 is cont. at 0 but not diff. at 0 g_2 is cont. and diff. at 0

g_2 is cont. and diff. on R

g_2’ is not cont. at 0

18

Recall the theorems:

Extreme Value Theorem (Theorem 4.4.2) states that continuous functions on compact sets always attain maximum and minimum values.

Proof: Since is continuous on a compact set, attains a maximum and a minimum. If both the max and min occur at the endpoints, then it must be that is a constant function and on all of . Thus, there exists such that . On the other hand, if either the max or min occurs at some point in the interior , then by the Interior Extremum Theorem (Theorem 5.2.6).

19

Proof: The equation of the line through and is

Consider the difference between this line and the function ,

and observe that is continuous on , differentiable on , and satisfies . By Rolle’s Theorem, there exists a point such that . Since

we get the desired

20

.

sin

that

have

we

,

2

/

0

for

that

show

we

First,

q

q

p

q

<

<

<

1

sin

lim

0

=

®

q

q

q

q

=

AB

arc

AB

arc

AB

BC

|

|

|

|

<

<

|

|

sin

BC

=

q

 

Next,  we  show   for  0<θ <π /2, we  have  that θ < tanθ.

Next, we show

for 0<q<p/2,

we have that

q<tanq.

.

tan

|

|

Indeed,

q

q

=

<

=

AD

AB

arc

.

sin

Thus,

q

q

<

.

sin

cos

I.e.

q

q

q

<

.

1

sin

I.e.

<

q

q

1

lim

sin

lim

cos

lim

0

0

0

®

®

®

£

£

q

q

q

q

q

q

1

sin

cos

<

<

q

q

q

1

sin

lim

1

0

£

£

®

q

q

q

.

1

sin

lim

Theorem,

Squeeze

By the

0

=

®

q

q

q

0

cos1

lim

q

q

q

®

-

0

2

0

cos1cos1

lim

cos1

cos1

lim

(cos1)

q

q

qq

qq

q

qq

®

®

-+

æö

ç÷

+

èø

-

=

+

= lim θ→0

−sin2θ θ(cosθ +1)

=−lim θ→0

sinθ θ

⋅ sinθ

cosθ +1 ⎛

⎝ ⎜

⎠ ⎟

=−lim θ→0

sinθ θ

⋅ lim θ→0

sinθ cosθ +1

=−1⋅ 0

1+1 ⎛

⎝ ⎜

⎠ ⎟= 0

=lim

q®0

-sin

2

q

q(cosq+1)

=-lim

q®0

sinq

q

×

sinq

cosq+1

æ

è

ç

ö

ø

÷

=-lim

q®0

sinq

q

×lim

q®0

sinq

cosq+1

=-1×

0

1+1

æ

è

ç

ö

ø

÷

=0

lim θ→0

cosθ −1 θ

= 0

lim

q®0

cosq-1

q

=0

00

0

0

0

000

()()sin()sin

'()limlim

sincoscossinsin

lim

sincossincossin

lim

cos1sin

limsincos

cos1

limsinlimlimcoslim

hh

h

h

h

hhhh

fxhfxxhx

fx

hh

xhxhx

h

xhxxh

hh

hh

xx

hh

h

xx

h

®®

®

®

®

®®®®

+-+-

==

+-

=

-

éù

=+

êú

ëû

é-ù

æöæö

=+

ç÷ç÷

êú

èøèø

ëû

-

=×+×

0

sin

h

h

0000

cos1sin

'()limsinlimlimcoslim

(sin)0(cos)1

cos

hhhh

hh

fxxx

hh

xx

x

®®®®

-

=×+×

=×+×

=

(sin)cos

d

xx

dx

=

(cos)sin

d

xx

dx

=-

2

2

22

2

22

2

sin

(tan)

cos

cos(sin)sin(cos)

cos

coscossin(sin)

cos

cossin1

sec

coscos

(tan)sec

ddx

x

dxdxx

dd

xxxx

dxdx

x

xxxx

x

xx

x

xx

d

xx

dx

æö

=

ç÷

èø

-

=

×--

=

+

===

=

22

(sin)cos(csc)csccot

(cos)sin(sec)sectan

(tan)sec(cot)csc

dd

xxxxx

dxdx

dd

xxxxx

dxdx

dd

xxxx

dxdx

==-

=-=

==-