guide:0115c430d0

[math] \newcommand{\ex}[1]{\item } \newcommand{\sx}{\item} \newcommand{\x}{\sx} \newcommand{\sxlab}[1]{} \newcommand{\xlab}{\sxlab} \newcommand{\prov}[1] {\quad #1} \newcommand{\provx}[1] {\quad \mbox{#1}} \newcommand{\intext}[1]{\quad \mbox{#1} \quad} \newcommand{\R}{\mathrm{\bf R}} \newcommand{\Q}{\mathrm{\bf Q}} \newcommand{\Z}{\mathrm{\bf Z}} \newcommand{\C}{\mathrm{\bf C}} \newcommand{\dt}{\textbf} \newcommand{\goesto}{\rightarrow} \newcommand{\ddxof}[1]{\frac{d #1}{d x}} \newcommand{\ddx}{\frac{d}{dx}} \newcommand{\ddt}{\frac{d}{dt}} \newcommand{\dydx}{\ddxof y} \newcommand{\nxder}[3]{\frac{d^{#1}{#2}}{d{#3}^{#1}}} \newcommand{\deriv}[2]{\frac{d^{#1}{#2}}{dx^{#1}}} \newcommand{\dist}{\mathrm{distance}} \newcommand{\arccot}{\mathrm{arccot\:}} \newcommand{\arccsc}{\mathrm{arccsc\:}} \newcommand{\arcsec}{\mathrm{arcsec\:}} \newcommand{\arctanh}{\mathrm{arctanh\:}} \newcommand{\arcsinh}{\mathrm{arcsinh\:}} \newcommand{\arccosh}{\mathrm{arccosh\:}} \newcommand{\sech}{\mathrm{sech\:}} \newcommand{\csch}{\mathrm{csch\:}} \newcommand{\conj}[1]{\overline{#1}} \newcommand{\mathds}{\mathbb} [/math]

Computing [math]f'(x)[/math] from the definition of the derivative by evaluating

[[math]] \lim_{t \goesto 0} \frac{f(x + t) - f (x)}{t} [[/math]]

can be quite a job. In this section we shall develop a set of theorems from which the derivatives of many functions, including all polynomials and rational functions, can be found easily and, what is more important, in a completely routine way.

Proposition

If [math]f[/math] and [math]g[/math] are differentiable functions, then their sum [math]f + g[/math] is differentiable. Moreover, [math](f + g)' = f' + g'[/math].

Show Proof

Let [math]a[/math] be a number in the domain of [math]f + g[/math]. Recall that by the definition of the sum of two functions

[[math]] \begin{eqnarray*} (f + g)(a) &=& f(a) + g(a), \\ (f + g)(a + t) &=& f(a + t) + g(a + t). \end{eqnarray*} [[/math]]

Hence, by the definition of the derivative,

[[math]] \begin{eqnarray*} (f + g)'(a) &=& \lim_{t \goesto 0} \frac{(f + g)(a + t) - (f + g)(a)}{t} \\ &=& \lim_{t \goesto 0} \frac{f(a + t) + g(a + t) - (f(a) + g(a))}{t}\\ &=& \lim_{t \goesto 0} \Bigl( \frac{f(a + t) - f(a)}{t} + \frac{g(a + t) - g(a)}{t} \Bigr). \end{eqnarray*} [[/math]]

It follows from the existence of [math]f'(a)[/math] and [math]g'(a)[/math] and the fact that the limit of a sum is the sum of the limits [see the basic limit theorem(i)] that we may continue the above sequence of equalities, writing

[[math]] \begin{eqnarray*} &=& \lim_{t \goesto 0} {\frac {f(a + t) - f(a)}{t} } + \lim_{t \goesto 0} { \frac{g(a + t) - g(a)}{t} } \\ &=& f'(a) + g'(a) \\ &=& (f' + g')(a). \end{eqnarray*} [[/math]]

This completes the proof.

■

Proposition

If [math]f[/math] is a differentiable function and [math]c[/math] is a constant, then [math]cf[/math] is differentiable and [math](cf)' = cf'[/math].

Show Proof

For any number a in the domain of [math]f[/math], we have [math](cf)(a) = cf(a)[/math]. Hence

[[math]] \begin{eqnarray*} (cf)'(a) &=& \lim_{t \goesto 0} {\frac{ (cf)(a + t) - (cf)(a) }{t} } \\ &=& \lim_{t \goesto 0} {\frac{ cf(a + t) - cf(a)}{t} } \\ &=& \lim_{t \goesto 0} \Bigl(c \cdot {\frac{f(a + t) - f(a)}{t}} \Bigr). \end{eqnarray*} [[/math]]

By the basic limit theorem(ii) and the assumed existence of [math]f'(a)[/math], we can continue the chain of equalities, writing

[[math]] \begin{eqnarray*} &=& c \lim_{t \goesto 0} {\frac {f(a + t) - f(a)}{t} } \\ &=& cf'(a)\\ &=& (cf')(a). \end{eqnarray*} [[/math]]

This completes the proof.

■

By taking [math]c = -1[/math], we get as a corollary of proposition and proposition that

[[math]] (f - g)' = f'- g'. [[/math]]

Proposition

The derivative of any constant function is the constant function zero; i.e.,

[[math]] c' = 0. [[/math]]

Show Proof

Recall that we allow ourselves the liberty of denoting a real number and the constant function whose value is that real number by the same letter. Doing so here, we have

[[math]] c(a) = c(a + t) = c, [[/math]]

for any numbers [math]a[/math] and [math]t[/math]. Hence

[[math]] c'(a) = \lim_{t \goesto 0} {\frac{c(a + t) - c(a)}{t} } = \lim_{t \goesto 0}{\frac{0}{t}} = 0. [[/math]]

■

Example

Let [math]f(x) = x^3[/math], and [math]g(x) = \sqrt{x + 1} \; (x \geq -1)[/math], and [math]h(x) = x^2 + 3[/math], and suppose we are given the information that

[[math]] \begin{eqnarray*} f'(x) &=& 3x^2, \\ g'(x) &=& \frac{1}{2{\sqrt{x + 1}}}, \;\;\; x \gt -1,\\ h'(x) &=& 2x. \end{eqnarray*} [[/math]]

It follows from the three theorems developed so far in this section that the derivatives of the functions (a)[math]5x^3 - 2 \sqrt{x+1}[/math], (b)[math]x^2[/math], (c)[math]3x^3 + 13x^2 + 7[/math], are, respectively, (a') [math]15x^2 - \frac{1}{\sqrt{x + 1}}[/math], (b') [math]2x[/math], (c') [math]9x^2 + 26x[/math].

For example, to get (b'), we write [math]x^2[/math] in the form [math](x^2 + 3) - 3[/math]. Then

[[math]] (x^2)' = (x^2 + 3)' - 3' = 2x - 0 = 2x. [[/math]]

The others are equally routine.

The next theorem deals with the derivative of the product of two functions and its conclusion is perhaps unexpected. Note that it does not turn out that the derivative of a product is the product of the derivatives.

Proposition

If [math]f[/math] and [math]g[/math] are differentiable functions, then their product [math]fg[/math] is differentiable. Moreover, [math](fg)' = f'g + g'f[/math].

Show Proof

Let [math]a[/math] be a number in the domain of [math]fg[/math]. By the definition of the product of two functions we have

[[math]] (fg)(a) = f(a)g(a), [[/math]]

[[math]] (fg)(a + t) = f(a + t)g(a + t). [[/math]]

Hence

[[math]] \begin{eqnarray*} (fg)'(a) &=& \lim_{t \goesto 0} {\frac{(fg)(a + t) - (fg)(a)}{t} } \\ &=& \lim_{t \goesto 0} {\frac{f(a + t)g(a + t) - f(a)g(a)}{t} }. \end{eqnarray*} [[/math]]

The following algebraic manipulation will enable us to put the above fraction into a form in which we can see what the limit is:

[[math]] \begin{eqnarray*} f(a + t)g(a + t) - f(a)g(a) &=& f(a + t)g(a + t) - f(a)g(a + t) + f(a)g(a + t) - f(a)g(a) \\ &=& [f(a + t) - f(a)] g(a + t) + [g(a + t) - g(a)] f(a). \end{eqnarray*} [[/math]]

Thus

[[math]] (fg)'(a) = \lim_{t \goesto 0} \Bigl[{ \frac{f(a + t) - f(a)}{t} } g(a + t) + {\frac{g(a + t) - g(a)}{t}} f(a) \Bigr]. [[/math]]

The limit of a sum of products is the sum of the products of the limits. [Again, see the limit theorem.] Moreover, [math]f'(a)[/math] and [math]g'(a)[/math] exist by hypothesis. Finally, since [math]g[/math] is differentiable at [math]a[/math], it is continuous there [see Theorem]; and so [math]\lim_{t \goesto 0} {g(a + t) = g(a)}[/math]. We conclude that

[[math]] \begin{eqnarray*} (fg)'(a) &=& \Bigl[ \lim_{t \goesto 0} {\frac{f(a + t) - f(a)}{t}} \Bigr] \lim_{t \goesto 0} {g(a + t)} \\ & & + \Bigl[ \lim_{t \goesto 0} {\frac{g(a + t) - g(a)}{t}} \Bigr] f(a) \\ &=& f'(a)g(a) + g'(a)f(a) = (f'g + g'f)(a). \end{eqnarray*} [[/math]]

This completes the proof of the product rule for differentiation.

■

Example

Suppose we are given the information that the functions [math]f(x) = (x^2 + 2)^3[/math] and [math]g(x) = (x^2 + 2)^5[/math] have derivatives

[[math]] f'(x) = 6x(x^2 + 2)^2, [[/math]]

[[math]] g'(x) = 10x(x^2 + 2)^4. [[/math]]

Find the derivative of [math]f(x)g(x) = (x^2 + 2)^8[/math]. Theorem, which is sometimes called Leibnitz's Rule, states that

[[math]] (f(x)g(x))' = f'(x)g(x) + g'(x)f(x). [[/math]]

Hence

[[math]] \begin{eqnarray*} ((x^2 + 2)^8)' &=& 6x(x^2 + 2)^2(x^2 + 2)^5 + l0x(x^2 + 2)^4(x^2 + 2)^3 \\ &=& 16x(x^2 + 2)^7. \end{eqnarray*} [[/math]]

The graph of the identity function [math]x[/math] is the straight line defined by the equation [math]y = x[/math], which passes through the origin and has constant slope 1. It follows that the derivative of the identity function is the constant function 1. Thus

[[math]] \begin{equation} x'= 1. \label{eq1.7.1} \end{equation} [[/math]]

We can apply the product (Leibnitz's) rule and obtain

[[math]] (x^2)' = (xx)' = x'x + x'x = 1x + 1x = 2x. [[/math]]

Since [math]x^3 = x{x^2}[/math], and we have just found the derivative of each factor, we can use the product rule again to get

[[math]] \begin{eqnarray*} (x^3)' &=& (x{x^2})' \\ &=& x'{x^2} + (x^2)'x = 1{x^2} + 2x \cdot x \\ &=& 3x^2. \end{eqnarray*} [[/math]]

Again,

[[math]] \begin{eqnarray*} (x^4)' &=& (xx^3)' \\ &=& x'{x^3} + (x^3)'x = 1{x^3} + 3{x^2} \cdot x \\ &=& 4x^3. \end{eqnarray*} [[/math]]

These results suggest not only the statement of the next theorem, but also how to prove it.

Proposition

If [math]x[/math] is the identity function and [math]n[/math] is a positive integer, then [math](x^n)' = nx^{n-1}[/math].

Show Proof

{{{4}}}

■

This is an example of a proof by mathematical induction. The reasoning can be paraphrased like this: Suppose I know that I can get on the bottom rung of a ladder. Suppose further that, if I am standing on any rung, then I can reach the next rung. It follows that I can climb the ladder. Example

Find the derivatives of the polynomials:

[[math]] \begin{eqnarray*} f(x) &=& x^3- 2, \\ g(x) &=& 3x^2 + 7x - 13, \\ y &=& 4x^4 + 3x^3 + 2x^2 + x,\\ s &=& \frac{1}{2}gt^2 \provx{($g$ is a constant, and $t$ is an independent variable)} . \end{eqnarray*} [[/math]]

The answers are immediate:

[[math]] \begin{eqnarray*} f'(x) &=& 3x^2, \\ g'(x) &=& 6x + 7, \\ y' &=& 16x^3 + 9x^2 + 4x + 1, \\ s' &=& gt. \end{eqnarray*} [[/math]]

It should be clear that, as a result of the rules developed so far, the derivative of any polynomial function can be computed immediately and in a purely mechanical way. We turn next to the derivative of a ratio.

Proposition

If [math]f[/math] and [math]g[/math] are differerentiable functions, then the quotient [math]\frac{f}{g}[/math] is differentiable [if [math]g(a) = 0[/math], then [math]\Bigl( \frac{f}{g} \Bigr) (a)[/math] is not defined]. Moreover,

[[math]] \Bigl( \frac{f}{g} \Bigr)' = \frac{gf'- fg'}{g^2} . [[/math]]

Show Proof

We first prove that the function [math]\frac{1}{g}[/math] is differentiable at a number [math]a[/math] in its domain provided [math]g(a) \neq 0[/math]. By definition,

[[math]] \begin{eqnarray*} \Bigl( \frac{1}{g} \Bigr)'(a) &=& \lim_{t \goesto 0} {\frac{\Bigl( \frac{1}{g} \Bigr) (a + t) - \Bigl( \frac{1}{g} \Bigr)(a)}{t} } \\ &=& \lim_{t \goesto 0} {\frac{\frac{1}{g(a + t)} - \frac{1}{g(a)} }{t} }. \end{eqnarray*} [[/math]]

Note that since [math]g[/math] is continuous at [math]a[/math] [see Theorem (6.1)] and [math]g(a) \neq 0[/math], we know that [math]g(a + t) \neq 0[/math] for sufficiently small values of [math]t[/math]. Since

[[math]] \begin{eqnarray*} \frac{\frac{1}{g(a + t)} - \frac{1}{g(a)} }{t} &=& \frac{(g(a) - g(a + t)}{t g(a) g(a+1) }\\ &=& -\Bigl( \frac{1}{g(a)g(a+t)} \Bigr) \Bigl(\frac{g(a + t) - g(a)}{t} \Bigr), \end{eqnarray*} [[/math]]

we have

[[math]] \Bigl(\frac{1}{g} \Bigr)'(a) = \lim_{t \goesto 0} {\Bigl[ - \Bigl(\frac{1}{g(a)g(a + t)} \Bigr) \Bigl(\frac{g(a + t) - g(a)}{t} \Bigr) \Bigr]}. [[/math]]

The derivative [math]g'(a)[/math] exists by hypothesis, and [math]\lim_{t \goesto 0} g(a + t) = g(a) \neq 0[/math]. The basic limit theorem (4.1) therefore implies that

[[math]] \begin{eqnarray*} \Bigl(\frac{1}{g} \Bigr)'(a) &=& - \Bigl( \frac{1}{g(a) \lim_{t \goesto 0} g(a + t)} \Bigr) \Bigl(\lim_{t \goesto 0} {\frac{g(a + t) - g(a)}{t} \Bigr) } \\ &=& -\frac{1}{(g(a))^2} g'(a) = -\frac{g'(a)}{(g(a))^2}. \end{eqnarray*} [[/math]]

This proves the differentiability of the function [math]-\frac{1}{g}[/math] and also establishes the following special case of the quotient rule:

[[math]] \begin{equation} \Bigl( \frac{1}{g} \Bigr)' = -\frac{g'}{g^2}. \label{eq1.7.2} \end{equation} [[/math]]

The general form of (7.6) can now be obtained using the product rule:

[[math]] \begin{eqnarray*} \Bigl( \frac{f}{g} \Bigr)' &=& \Bigl(f \cdot \frac{1}{g} \Bigr)' = f' \cdot {\frac{1}{g}} + f \cdot \Bigl( \frac{1}{g} \Bigr)' \\ &=& \frac{f'}{g} - f \cdot \frac{g'}{g^2} = \frac{gf' - fg'}{g^2}. \end{eqnarray*} [[/math]]

This completes the proof.

■

Example

Find the derivatives of the following rational functions:

[[math]] \begin{eqnarray*} f(x) &=& \frac{x^2 + 1}{x}, \\ g(y) &=& \frac{y^2 - 3y + 1}{y^3 - 1},\\ h(s) &=& \frac{1}{s^3} \\ w &=& \frac{u - a}{u - b} \;\;\; \mbox{($a$ and $b$ are constants and $u$ is an independent variable)}. \end{eqnarray*} [[/math]]

Applying our six rules, we get

[[math]] \begin{eqnarray*} f'(x) &=& \frac{x \cdot 2x - (x^2 + 1) \cdot 1}{x^2} = \frac{x^2 -1}{x^2}, \\ g'(y) &=& \frac{(y^3 - 1)(2y - 3) - (y^2 - 3y + 1)3y^2}{(y^3 - 1)^2} = \frac{-y^4 + 6y^3 - 3y^2 -2y + 3}{(y^3 - 1)^2} , \\ h'(s) &=& \frac{-3s^2}{s^6} = - \frac {3}{s^4} , \\ w' &=& \frac{(u - b) \cdot 1 - (u - a) \cdot 1}{(u - b)^2} = \frac{a - b}{(u - b)^2}. \end{eqnarray*} [[/math]]

It is important to realize that the symmetry present in the product rule is missing in the quotient rule. For the former, order is immaterial: The prime appears once on one factor and once on the other, and that is all there is to remember. This is not so for the quotient rule, however, where the wrong order will result in the wrong sign in the answer. There is no help for it but to memorize the formula precisely. The formula for the derivative of [math]x^n[/math] has been proved only if [math]n[/math] is a non-negative integer. (It holds for [math]n = 0[/math] because [math]x^0 = 1[/math].) The next theorem enlarges the scope of the formula to include all integers.

Proposition

If [math]x[/math] is the identity function and [math]n[/math] is an integer (positive, negative, or zero), then [math](x^n)' = nx^{n-1}[/math].

Show Proof

We shall assume that [math]n[/math] is a negative integer, since the theorem is known to be true otherwise. Then [math]m = -n[/math] is a positive integer, and [math]x^n =\frac{1}{x^m}[/math]. Using (2) and (7.5), we get

[[math]] \begin{eqnarray*} (x^n)' &=& \Bigl( \frac{1}{x^m} \Bigr)' = -\frac{(x^m)'}{x^{2m}} = -\frac{mx^{m-1}}{x^{2m}} \\ &=& (-m)x^{-m-1} = nx^{n-1}. \end{eqnarray*} [[/math]]

This completes the proof.

■

Thus, for example, if [math]f(x) = x^{-7}[/math], then [math]f'(x) = - 7x^{-8}[/math]. In Section \secref{1.8} we shall show that the formula is actually valid, not only for integers, but for any rational number [math]n[/math]. Finally, in Chapter Logarithms and Exponential Functions we shall prove that [math](x^a)' = ax^{a-1}[/math], for any real number [math]a[/math]. Let us summarize in a single list the theorems that we have developed for finding derivatives. To provide practice, we shall this time employ the alternative [math]\frac{d}{dx}[/math] notation. Let [math]u[/math] and [math]v[/math] be differentiable functions of [math]x[/math], and [math] c[/math] a constant. Then

Proposition

• [math]\frac{d(u + v)}{dx} = \frac{du}{dx} + \frac{dv}{dx},[/math]
• [math]\frac{d(cu)}{dx} = c \frac{du}{dx},[/math]
• [math]\frac{dc}{dx} = 0,[/math]
• [math]\frac {d(uv)}{dx} = u \frac{dv}{dx} + v \frac{du}{dx},[/math]
• [math]\frac{dx^n}{dx} = nx^{n-1}, \provx{where $n$ is any integer,}[/math]
• [math]\frac{d}{dx} \Bigl( \frac{u}{v} \Bigr) = \frac{v {\frac{du}{dx}} - u {\frac{dv}{dx}} }{v^2}.[/math]

Note that we have proved these theorems for arbitrary differentiable functions [math]u[/math] and [math]v[/math], not just for polynomials and rational functions.

Example

Let

[[math]] \begin{eqnarray*} y &=& 2x^3+ 7x+ 1, \\ u &=& x^7+ \frac{1}{x^5}, \\ s &=& \frac{3t^2 + 2t + 1}{t-4}. \end{eqnarray*} [[/math]]

Then

[[math]] \begin{eqnarray*} \frac{dy}{dx} &=& 6x^2 + 7, \\ \frac{du}{dx} &=& 7x^6 - \frac{5}{x^6},\\ \frac{ds}{dt} &=& \frac{ (t-4)(6t + 2) - (3t^2 + 2t + 1) \cdot 1}{(t-4)^2} =\frac{3t^2 - 24t - 9}{(t-4)^2} . \end{eqnarray*} [[/math]]

We have seen in this section that the derivative of a polynomial is another polynomial, and the derivative of a rational function is a new rational function. Once we have found the derivative [math]f'[/math] of any function [math]f[/math], we can go on and find the derivative of [math]f'[/math]. The new function, denoted [math]f''[/math], is called the second derivative of [math]f[/math]. Clearly,

[[math]] f''(a) = \lim_{t \goesto 0} {\frac{f' (a + t) - f'(a)}{t}} . [[/math]]

The third derivative, written [math]f'''[/math], is the derivative of the second derivative, and, in principle, we can go on forever and form derivatives of as high order as we like. It would obviously be absurd to write the seventeenth derivative with seventeen primes, so we adopt the alternative rotation [math]f^{(n)}[/math] for the nth derivative of [math]f[/math]. The differential notation for the higher derivatives is based on the idea that [math]\frac{d}{dx}[/math] is a function, sometimes called an operator, which assigns to a function its derivative with respect to [math]x[/math]. Hence we write

[[math]] \begin{eqnarray*} \frac{d}{dx} \Bigl(\frac{df}{dx} \Bigr) &=& \frac{d^{2}y}{dx^2} = f'',\\ \frac{d}{dx} \Bigl( \frac{d^{2}f}{dx^2} \Bigr) &=& \frac{d^{3}y}{dx^3} = f''',\\ \frac{d^{n}f}{dx^n} &=& f^{(n)},\\ \frac{d^{2}f}{dx^2}(a) &=& f''(a), \; \mbox{etc.} \end{eqnarray*} [[/math]]

In addition, if a variable is used to denote a function, for example, if [math]y = f(x)[/math], we also use the expressions

[[math]] \frac{{d^2}y}{dx^2} = y'' = f'', \;\;\; \frac{{d^n}y}{dx^n}= y^(n) = f^(n), \;\;\; \mbox{etc.} [[/math]]

Example

Let [math]f(x) = x^3 + 3x^2 + 1[/math]. Then

[[math]] \begin{eqnarray*} f'(x) &=& 3x^2 + 6x, \\ f''(x) &=& 6x + 6, \\ f'''(x) &=& 6,\\ f^{(n)}(x)&=& 0, \;\;\; \mbox{if}\;\;\; n \gt 3. \end{eqnarray*} [[/math]]

As another example, let [math]y = \frac{1}{x+ 1}[/math]. Then

[[math]] \begin{eqnarray*} \frac{dy}{dx} &=& -\frac{1}{(x + 1)^2},\\ \frac{d^2y}{dx^2} &=& \frac{1}{(x+1)^3}, \\ \vdots\\ \frac{dy^n}{dx^n} &=& \frac{(-1)^n n!}{(x+1)^{n+1}}, \;\;\; n!= 1 \cdot 2 \cdot 3 \cdots n. \end{eqnarray*} [[/math]]

General references

Doyle, Peter G. (2008). "Crowell and Slesnick's Calculus with Analytic Geometry" (PDF). Retrieved Oct 29, 2024.