Processing math: 68%
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

4.1: Definition and Basic Properties of the Derivative

( \newcommand{\kernel}{\mathrm{null}\,}\)

Let G be an open subset of R and consider a function f:GR. For every aG, the function

ϕa(x)=f(x)f(a)xa

is defined on G{a}. Since G is an open set, a is a limit point of G{a} (see Example 2.6.6). Thus, it is possible to discuss the limit

limxaϕa(x)=limxaf(x)f(a)xa.

Definition 4.1.1: Differentiable and Derivative

Let G be an open subset of R and let aG. We say that the function f defined on G is differentiable at a if the limit

limxaf(x)f(a)xa

exists (as a real number). In this case, the limit is called the derivative of f at a denoted by f(a), and f is said to be differentiable at a. Thus, if f is differentiable at a, then

f(a)=limxaf(x)f(a)xa.

We say that f is differentiable on G if f is differentiable at every point aG. In this case, the function f:GR is called the derivative on f on G.

Example 4.1.1

  1. Let f:RR be given by f(x)=x and let aR.
  2. Let f:RR be given by f(x)=x2 and let aR.
  3. Let f:RR be given by f(x)=|x| and let a=0.

Solution

  1. Then

limxaf(x)f(a)xa=limxaxaxa=limxa1=1.

It follows that f is differentiable at a and f(a)=1.

  1. Then

limxaf(x)f(a)xa=limxax2a2xa=limxa(xa)(x+a)xa=limxa(x+a)=2a.

Thus, f is differentiable at every aR and f(a)=2a.

  1. Then

limx0+f(x)f(0)x0=limx0+|x|x=limx0+xx=1,

and

limx0f(x)f(0)x0=limx0|x|x=limx0xx=1.

Therefore, limx0f(x)f(0)x0 does not exists and, hence, f is not differentiable at 0.

Theorem 4.1.1

Let G be an open subset of R and let f be defined on G. If f is differentiable at aG, then f is continuous at this point.

Proof

We have the following identity for xG{a}:

f(x)=f(x)f(a)+f(a)=f(x)f(a)xa(xa)+f(a).

Thus,

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

Therefore, f is continuous at a by Theorem 3.3.2.

Remark 4.1.2

The converse of Theorem 4.1.1 is not true. For instance, the absolute value function f(x)=|x| is continuous at 0, but it is not differentiable at this point (as shown in the example above).

Theorem 4.1.3

Let G be an open subset of R and let f,g:GR. Suppose both f and g are differentiable at aG. Then the following hold.

  1. The function f+g is differnetiable at a and (f+g)(a)=f(a)+g(a).
  2. For a constant c, the function cf is differentiable at a and (cf)(a)=cf(a).
  3. The function fg is differentiable at a and (fg)(a)=f(a)g(a)+f(a)g(a).
  4. Suppose additionally that g(a)0. Then the function fg is differentiable at a and (fg)(a)=f(a)g(a)f(a)g(a)(g(a))2.
Proof

The proofs for (a) and (b) are straightforward and we leave them as exsercises. Let us prove (c). For every xG{a}, we can write

(fg)(x)(fg)(a)xa=f(x)g(x)f(a)g(x)+f(a)g(x)f(a)g(a)xa=(f(x)f(a))g(x)xa+f(a)(g(x)g(a))xa.

By Theorem 4.1.1, the function g is continuous at a and, hence

limxag(x)=g(a).

Thus,

limxa(fg)(x)(fg)(a)xa=f(a)g(a)+f(a)g(a).

This implies (c).

Next we show (d). Since g(a)0, by (4.1), there exists an open interval I containing a such that g(x)0 for all xI. Let h=fg. Then h is defined on I. Moreover,

h(x)h(a)xa=f(x)g(x)f(a)g(x)+f(a)g(x)f(a)g(a)xa=1g(x)(f(x)f(a))+f(a)g(x)g(a)(g(a)g(x))xa=1g(x)g(a)[g(a)f(x)f(a)xaf(a)g(x)g(a)xa].

Taking the limit as xa, we obtain (d). The proof is now complete.

Example 4.1.2

Let f:RR be given by f(x)=x2 and let aR.

Solution

Using Example 4.1.1(a) and Theorem 4.1.3(c) we can provide an alternative derivation of a formula for f(a). Indeed, let g:RR be given by g(x)=x. Then f=gg so

f(a)=(gg)(a)=g(a)g(a)+g(a)g(a)=2g(a)g(a)=2a.

Proceeding by induction, we can obtain the derivative of g:RR given by g(x)=xn for nN as g(a)=nxn1. Furthermore, using this and Theorem 4.1.3(a)(b) we obtain the familiar formula for the derivative of a polynomial p(x)=anxn++a1x+a0 as p(x)=nanxn1++2a2x+a1.

The following lemma is very convenient for studying the differentiability of the composition of functions.

Lemma 4.1.4

Let G be an open subset of R and let f:GR. Suppose f is differentiable at a. Then there exists a function u:GR satisfying

f(x)f(a)=[f(a)+u(x)](xa) for all xG

and limxau(x)=0.

Proof

Define

u(x)={f(x)f(a)xaf(a),xG{a}0,x=a

Since f is differentiable at a, we have

limxau(x)=limxaf(x)f(a)xaf(a)=f(a)f(a)=0.

Therefore, the function u satisfies the conditions of the lemma.

Theorem 4.1.5 - Chain rule.

Let f:G1R and let g:G2R, where G1 and G2 are two open subsets of R with f(G1)G2. Suppose f is differentiable at a and g is differentiable at f(a). Then the function gf is differentiable at a and

(gf)(a)=g(f(a))f(a).

Proof

Since f is differentiable at a, by Lemma 4.1.4, there exists a function u defined on G1 with

f(x)f(a)=[f(a)+u(x)](xa) for all xG1,

and limxau(x)=0.

Similarly, since g is differentiable at f(a), there exists a function v defined on G2 with

g(t)g(f(a))=[g(f(a))+v(t)][tf(a)] for all tG2,

and limtf(a)v(t)=0.

Applying (4.2) for t=f(x), we have

g(f(x))g(f(a))=[g(f(a))+v(f(x))][f(x)f(a)].

Thus,

g(f(x))g(f(a))=[g(f(a))+v(f(x))][f(a)+u(x)](xa) for all xG1.

This implies

g(f(x))g(f(a))xa=[g(f(a))+v(f(x))][f(a)+u(x)] for all xG1{a}.

By the continuity of f at a and the property of v, we have limxav(f(x))=0 and, hence,

limxag(f(x))g(f(a))xa=g(f(a))f(a).

The proof is now complete.

Example 4.1.3

Consider the function h:RR given by h(x)=(3x4+x+7)15.

Solution

Since h(x) is a polynomial we could in principle compute h(x) by expanding the power and using Example 4.1.2. However, Theorem 4.1.5 provides a shorter way. Define f,g:RR by f(x)=3x4+x+7 and g(x)=x15. Then h=gf. Given aR, it follows from Theorem 4.1.5 that

(gf)(a)=g(f(a))f(a)=15(3a4+a+7)14(12a3+1).

Example 4.1.4

By iterating the Chain Rule, we can extended the result to the composition of more than two functions in a straightforward way. For example, given functions f:G1R, g: G_{2} \rightarrow \mathbb{R}, and h: G_{3} \rightarrow \mathbb{R} such that f\left(G_{1}\right) \subset G_{2}, g\left(G_{2}\right) \subset G_{3}, f is differentiable at a, g is differentiable at f(a), and h is differentiable at g(f(a)), we obtain that h \circ g \circ f is differentiable at a and (h \circ g \circ f)^{\prime}(a)=h^{\prime}(g(f(a))) g^{\prime}(f(a)) f^{\prime}(a)

Solution

Add text here.

Definition \PageIndex{2}

Let G be an open set and let f: G \rightarrow \mathbb{R} be a differentiable function. If the function f^{\prime}: G \rightarrow \mathbb{R} is also differentiable, we say that f is twice differentiable (on G). The second derivative of f is denoted f^{\prime \prime} or f^{(2)}. Thus f^{\prime \prime}=\left(f^{\prime}\right)^{\prime}. Similarly, we say that f is three times differentiable if f^{(2)} is differentiable, and \left(f^{(2)}\right)^{\prime} is called the third derivative of f and is denoted by f^{\prime \prime \prime} or f^{(3)}. We can define in this way n times differentiability and the nth derivative of f for any positive integer n. As a convention, f^{(0)}=f.

Definition \PageIndex{3}

Let I be an open interval in \mathbb{R} and let f: I \rightarrow \mathbb{R}. The function f is said to be continuously differentiable if f is differentiable on I and f^{\prime} is continuous on I. We denote by C^{1}(I) the set of all continuously differentiable functions on I. If f is n times differentiable on I and the nth derivative is continuous, then f is called n times continuously differentiable. We denote by C^{n}(I) the set of all n times continuously differentiable functions on I.

Exercise \PageIndex{1}

Prove parts (a) and (b) of Theorem 4.1.3.

Answer

Add texts here. Do not delete this text first.

Exercise \PageIndex{2}

Compute the following derivatives directly from the definition. That is, do not use Theorem 4.1.3, but rather compute the appropriate limit directly (see Example 4.1.1).

  1. f(x)=m x+b \text { where } m, b \in \mathbb{R}.
  2. f(x) = \frac{1}{x} (here assume x \neq 0.
  3. f(x)=\sqrt{x} (here assume x > 0)
Answer

Add texts here. Do not delete this text first.

Exercise \PageIndex{3}

Let f: \mathbb{R} \rightarrow \mathbb{R} be given by

f(x)=\left\{\begin{array}{ll} x^{2}, & \text { if } x>0 \text {;}\\ 0, & \text { if } x \leq 0 \text {.} \end{array}\right.

  1. Prove that f is differentiable at 0. Find f^{\prime}(x) for all x \in \mathbb{R}.
  2. Is f^{\prime} continuous? Is f^{\prime} differentiable?
Answer

Add texts here. Do not delete this text first.

Exercise \PageIndex{4}

Let

f(x)=\left\{\begin{array}{ll} x^{\alpha}, & \text { if } x>0 \text {;} \\ 0, & \text { if } x \leq 0 \text {.} \end{array}\right.

  1. Determine the values of \alpha for which f is continuous on \mathbb{R}.
  2. Determine the values of \alpha for which f is differentiable on \mathbb{R}. In this case, find f^{\prime}.
Answer

Add texts here. Do not delete this text first.

Exercise \PageIndex{5}

Use Theorems 4.1.3 and 4.1.5 to compute the derivatives of the following functions at the indicated points (see also Example 4.1.4). (Assume known that the function \sin x is differentiable at all points and that its derivative is \cos x.)

  1. f(x)=\frac{3 x^{4}+7 x}{2 x^{2}+3} \text { at } a=-1.
  2. f(x)=\sin ^{5}\left(3 x^{2}+\frac{\pi}{2} x\right) \text { at } a=\frac{\pi}{8}
Answer

Add texts here. Do not delete this text first.

Exercise \PageIndex{6}

Determine the values of x at which each function is differentiable.

  1. f(x)=\left\{\begin{array}{ll} x \sin \frac{1}{x}, & \text { if } x \neq 0 \text {;} \\ 0, & \text { if } x=0 \text {.} \end{array}\right.
  2. f(x)=\left\{\begin{array}{ll} x^{2} \sin \frac{1}{x}, & \text { if } x \neq 0 \text {;} \\ 0, & \text { if } x=0 \text {;} \end{array}\right.
Answer

Add texts here. Do not delete this text first.

Exercise \PageIndex{7}

Determine if each of the following functions is differentiale at 0. Justify your answer.

  1. f(x)=\left\{\begin{array}{ll} x^{2}, & \text { if } x \in \mathbb{Q} \text {;} \\ x^{3}, & \text { if } x \notin \mathbb{Q} \text {.} \end{array}\right.\)
  2. f(x)=[x] \sin ^{2}(\pi x).
  3. f(x)=\cos (\sqrt{|x|}).
  4. f(x)=x|x|.
Answer

Add texts here. Do not delete this text first.

Exercise \PageIndex{8}

Let f, g be differentiable at a. Find the following limits:

  1. \lim _{x \rightarrow a} \frac{x f(a)-a f(x)}{x-a}.
  2. \lim _{x \rightarrow a} \frac{f(x) g(a)-f(a) g(x)}{x-a}.
Answer

Add texts here. Do not delete this text first.

Exercise \PageIndex{9}

Let G be an open subset of \mathbb{R} and a \in G. Prove that if f: G \rightarrow \mathbb{R} is Lipschitz continuous, then g(x)=(f(x)-f(a))^{2} is differentiable at a.

Answer

Add texts here. Do not delete this text first.

Exercise \PageIndex{10}

Let f be differnetiable at a and f(a)>0. Find the following limit:

\lim _{n \rightarrow \infty}\left(\frac{f\left(a+\frac{1}{n}\right)}{f(a)}\right)^{n}.

Answer

Add texts here. Do not delete this text first.

Exercise \PageIndex{11}

Consider the function

f(x)=\left\{\begin{array}{ll} x^{2} \sin \frac{1}{x}+c x, & \text { if } x \neq 0 \text {;}\\ 0, & \text { if } x=0 \text {,} \end{array}\right.

where 0<c<1.

  1. Prove that the function is differentiable on \mathbb{R}.
  2. Prove that for every \alpha > 0, the function f^{\prime} changes its sign on (-\alpha, \alpha).
Answer

Add texts here. Do not delete this text first.

Exercise \PageIndex{12}

Let f be differentiable at x_{0} \in(a, b) and let c be a constant. Prove that

  1. \lim _{n \rightarrow \infty} n\left[f\left(x_{0}+\frac{1}{n}\right)-f\left(x_{0}\right)\right]=f^{\prime}\left(x_{0}\right).
  2. \lim _{h \rightarrow 0} \frac{f\left(x_{0}+c h\right)-f\left(x_{0}\right)}{h}=c f^{\prime}\left(x_{0}\right).
Answer

Add texts here. Do not delete this text first.

Exercise \PageIndex{13}

Let f be differnetiable at x_{0} \in(a, b) and let c be a constant. Find the limit

\lim _{h \rightarrow 0} \frac{f\left(x_{0}+c h\right)-f\left(x_{0}-c h\right)}{h}.

Answer

Add texts here. Do not delete this text first.

Exercise \PageIndex{14}

Prove that f: \mathbb{R} \rightarrow \mathbb{R}, given by f(x)=|x|^{3}, i, is in C^{2}(\mathbb{R}) but not in C^{3}(\mathbb{R}) (refer to Definition 4.1.3). (Hint: the key issue is differnetiability at 0.)

Answer

Add texts here. Do not delete this text first.


This page titled 4.1: Definition and Basic Properties of the Derivative is shared under a CC BY-NC-SA license and was authored, remixed, and/or curated by Lafferriere, Lafferriere, and Nguyen (PDXOpen: Open Educational Resources) .

Support Center

How can we help?