Differentiation

The essence of ``differentiation'' is approximating arbitrary functions by linear functions.



Definition (Differentiability and derivative)

Let f(x) be a function defined around x=a. We say f(x) is differentiable at x=a if the following limit exists:

limxaf(x)f(a)xa=limh0f(a+h)f(a)h.

This limit value is called the differential coefficient of f(x) at x=a, and denoted by

f(a) or dfdx(a) or ddxf(a).

If f(x) is defined on an open interval I and is differentiable at all points in I, then f(x) is said to be differentiable on I. In this case, we can make correspondence between each cI and f(c), which defines a function on I. Such a function is called the derivative of f(x) and denoted by

f(x) or dfdx(x) or ddxf(x).

Remark. We also use the verb ``differentiate'' to mean the act of finding the derivative of a function. □

Example. Let f(x)=x2 defined on R. Its derivative is given by

(x+h)2x2h=2hx+h2h=2x+h2x (h0).

Therefore, dx2dx=2x.

Example. Let us find the derivative of sinx. Thus we need to find the following limit

limh0sin(x+h)sinxh.

Note the following formula

sinαsinβ=2cosα+β2sinαβ2.

(You should prove this.) By setting α=x+h and β=x, we have

sin(x+h)sinxh=2cos(x+h2)sinh2hcosx1 (h0)

where we have used the fact limθ0sinθθ=1 with θ=h2.

Similarly, we can derive

dcosxdx=sinx.

(Exercise!) □

Example. Let's prove 

ddxex=ex.

In fact, recalling that

limh0eh1h=1,

we have

ex+hexh=exeh1hex (h0).

See also: Elementary functions for the limit (eh1)/h1. □

If f(x) is differentiable at x=a, f(a) corresponds to the slope of the tangent line of y=f(x) at (a,f(a)). The equation of the tangent line at (a,f(a)) is given by

yf(a)=f(a)(xa).

Theorem (Differentiable functions are continuous)

If the function f(x) is differentiable at x=a, then it is continuous at x=a.

Proof. Suppose f(x) is differentiable at x=a. Then f(a) exists. Therefore

limxaf(x)=limxa[f(x)f(a)(xa)(xa)+f(a)]=f(a)0+f(a)=f(a).

Hence f(x) is continuous at x=a. ■

RemarkThe converse of this theorem is not necessarily true. See the following example. □

Example. Consider f(x)=|x|.

limx+0|x|=limx0|x|=f(0)=0

so f(x) is continuous at x=0. However,

limx+0f(x)f(0)x0=limx+0x0x0=1

whereas

limx0f(x)f(0)x0=limx0x0x0=1.

Thus, the limit limx0f(x)f(0)x0 does not exist. This means that f(x)=|x| is not differentiable at x=0. □



Comments

Popular posts from this blog

Birth process

Branching processes: Mean and variance

Informal introduction to formal logic