Elements of the Differential and Integral Calculus/Chapter IX

From Wikisource

Jump to: navigation, search
Elements of the Differential and Integral Calculus by William Anthony Granville
Chapter IX


[edit] CHAPTER IX

DIFFERENTIALS

87. Introduction. Thus far we have represented the derivative of y = f(x) by the notation

\frac{dy}{dx} = f'(x).

We have taken special pains to impress on the student that the symbol

\frac{dy}{dx}

was to be considered not as an ordinary fraction with dy as numerator and dx as denominator, but as a single symbol denoting the limit of the quotient

\frac{\Delta y}{\Delta x}

as Δx approaches the limit zero.

Problems do occur, however, where it is very convenient to be able to give a meaning to dx and dy separately, and it is especially useful in applications of the Integral Calculus. How this may be done is explained in what follows.

88. Definitions. If f'(x) is the derivative of f(x) for a particular value of x, and Δx is an arbitrarily chosen increment of x, then the differential of f(x), denoted by the symbol df(x), is defined by the equation

(A) df(x) = f'(xx.

If now f(x) = x, then f'(x) = 1, and (A) reduces to

dx = Δx,

showing that when x is the independent variable, the differential of x (= dx) is identical with Δx. Hence, if y = f(x), (A) may in general be written in the form

(B) dy = f'(x)dx.[1]

The differential of a function equals its derivative multiplied by the differential of the independent variable.

Let us illustrate what this means geometrically.

Graph of function.

Let f'(x) be the derivative of y = f(x) at P. Take dx = PQ, then

dy = f'(x)dx = \tan \tau \cdot PQ = \frac{QT}{PQ} \cdot PQ = QT.

Therefore dy, or df(x), is the increment (= QT) of the ordinate of the tangent corresponding to dx.[2]

This gives the following interpretation of the derivative as a fraction.

If an arbitrarily chosen increment of the independent variable x for a point P(x, y) on the curve y = f(x) be denoted by dx, then in the derivative

\frac{dy}{dx} = f'(x) = \tan \tau,

dy denotes the corresponding increment of the ordinate drawn to the tangent.

89. Infinitesimals. In the Differential Calculus we are usually concerned with the derivative, that is, with the ratio of the differentials dy and dx. In some applications it is also useful to consider dx as an infinitesimal (see §15, p. 13), that is, as a variable whose values remain numerically small, and which, at some stage of the investigation, approaches the limit zero. Then by (B), p. 131, and (2), p. 19, dy is also an infinitesimal.

In problems where several infinitesimals enter we often make use of the following

Theorem. In problems involving the limit of the ratio of two infinitesimals, either infinitesimal may be replaced by an infinitesimal so related to it that the limit of their ratio is unity.

Proof. Let α,β,α',β' be infinitesimals so related that

(C) limit \frac{\alpha'}{\alpha} = 1 and limit \frac{\beta'}{\beta} = 1.

We have \frac{\alpha}{\beta} = \frac{\alpha'}{\beta'} \cdot \frac{alpha}{\alpha'} \cdot \frac{\beta'}{\beta} identically,  
and \lim \frac{\alpha}{\beta} = \lim \frac{\alpha '}{\beta '} \cdot \lim \frac{\alpha}{\alpha '} \cdot \lim \frac{\beta '}{\beta} Th. II, p. 18
  \lim {\alpha'}{\beta'} \cdot 1 \cdot 1. By (C)
(D) \lim \frac{\alpha}{\beta} = \lim \frac{\alpha'}{\beta'} Q.E.D

Now let us apply this theorem to the two following important limits.

For the independent variable x, we know from the previous section that Δx and dx are identical.

Hence their ratio is unity, and also limit \frac{\Delta x}{dx} = 1. That is, by the above theorem,

(E) In the limit of the ratio of Δx and a second infinitesimal, Δx may be replaced by dx.

On the contrary it was shown that, for the dependent variable y, Δy and dy are in general unequal. But we shall now show, however, that in this case also

\lim \frac{\Delta y}{dy} = 1.
Since \lim_{\Delta x = 0} \frac{\Delta y}{\Delta x} = f'(x) we may write
\frac{\Delta y}{\Delta x} = f'(x) + ε,
where ε is an infinitesimal which approaches zero when \Delta x \dot= 0.
Clearing of fractions, remembering that \Delta x \dot= dx,
Δy = f'(x)dx + \epsilon \cdot \Delta x,
or Δy = dy + \epsilon \cdot \Delta x, (B), p. 131 [§89]
Dividing both sides by Δy,
1 = \frac{dy}{\Delta y} + \epsilon \cdot \frac{\Delta x}{\Delta y},
or \frac{dy}{\Delta y} = 1 - \epsilon \cdot \frac{\Delta x}{\Delta y}.
\lim_{\Delta x \to 0} \frac{dy}{\Delta y} = 1,

and hence \lim_{\Delta x \to 0} \frac{\Delta y}{dy} = 1. That is, by the above theorem,

(F) In the limit of the ratio of Δy and a second infinitesimal, Δy may be replaced by dy.

90. Derivative of the arc in rectangular coördinates. Let s be the length[3] of the arc AP measured from a fixed point A on the curve.

Arc APQ. Denote the increment of s (= arc PQ) by Δs. The definition of the length of arc depends on the assumption that, as Q approaches P,

\lim \left ( \frac{\mbox{chord} PQ}{\mbox{arc} PQ} \right ) = 1.

If we now apply the theorem on p. 132 [§89] to this, we get

(G) In the limit of the ratio of chord PQ and a second infinitesimal, chord PQ may be replaced by arc PQ (= Δs).

From the above figure

(H) (chordPQ)2 = (Δx)2 + (Δy)2,

Dividing through by x)2, we get

(I) \left ( \frac{\mbox{chord} PQ}{\Delta x} \right )^2 = 1 + \left ( \frac{\Delta y}{\Delta x} \right )^2.

Now let Q approach P as a limiting position; then \Delta x \dot= 0 and we have

\left ( \frac{ds}{dx} \right )^2 = 1 + \left ( \frac{dy}{dx} \right )^2.
[Since \lim_{\Delta x \to 0} \left ( \frac{chord PQ}{\Delta x} \right )= \lim_{\Delta x \to 0} \left ( \frac{\Delta s}{\Delta x} \right ) = \frac{ds}{dx}, (G).]

(24) ∴ \frac{ds}{dx} = \sqrt{1 + \left ( \frac{dy}{dx} \right )^2}.

Similarly, if we divide (H) by y)2 and pass to the limit, we get

(25) \frac{ds}{dy} = \sqrt{\left ( \frac{dx}{dy} \right )^2 + 1}.

Also, from the above figure,

\cos \theta = \frac{\Delta x}{\mbox{chord} PQ} \sin \theta = \frac{\Delta y}{\mbox{chord} PQ}.

Now as Q approaches P as a limiting position \theta \dot= \tau, and we get

(26) \cos \tau = \frac{dx}{ds}, \sin \tau = \frac{dy}{ds}.

[Since from (G) \lim \frac{\Delta x}{\mbox{chord} PQ} = \lim \frac{\Delta x}{\Delta x} = \frac{dx}{ds}, and \lim \frac{\Delta y}{\mbox{chord} PQ}  = \lim \frac{\Delta y}{\Delta s} = \frac{dy}{ds}.]

Using the notation of differentials, formulas (24) and (25) may be written

(27) ds = \left [ 1 + \left ( \frac{dy}{dx} \right )^2 \right ]^{\frac{1}{2}} dx.

(28) ds = \left [ \left ( \frac{dx}{dy} \right )^2 + 1 \right ]^{\frac{1}{2}} dy.

Substituting the value of ds from (27) in (26),

(29) \cos \tau = \frac{1}{\left[ 1 + \left ( \frac{dy}{dx} \right )^2 \right]^{\frac{1}{2}}}, \sin \tau = \frac{\frac{dy}{dx}}{\left [ 1 + \left ( \frac{dy}{dx} \right )^2 \right ]^{\frac{1}{2}}}

Right triangle with sides dy, dy and ds. An easy way to remember the relations (24)-(26) differentials dx, dy, ds is to note that they are correctly represented by a right triangle whose hypotenuse is ds, whose sides are dx and dy, and whose angle at the base is τ. Then

ds = \sqrt{ (dx)^2 + (dy)^2 },

and, dividing by dx or dy, gives (24) or (25) respectively. Also, from the figure,

\cos \tau = \frac{dx}{ds}, \sin \tau = \frac{dy}{ds};

the same relations given by (26).

91. Derivative of the arc in polar coördinates. In the derivation which follows we shall employ the same figure and the same notation used on pp, 83, 84. [§67]

Arc in polar coordinates. From the right triangle PRQ

(chordPQY)2 = (PR)2 + (RQ)2
  = (ρsinΔθ)2 + (ρ + Δρ − ρcosΔθ)2.

Dividing throughout by (Δθ)2, we get

\left( \frac{\mbox{chord} PQ}{\Delta \theta} \right)^2 = \rho^2 \left( \frac{\sin \Delta \theta}{\Delta \theta} \right)^2 + \left( \frac{\Delta \rho}{\Delta \theta} + \rho \cdot \frac{1 - \cos \Delta \theta}{\Delta \theta} \right)^2.

Passing to the limit as Δθ diminishes towards zero, we get[4]

  \left( \frac{ds}{d\theta} \right)^2 = \rho^2 + \left ( \frac{d\rho}{d\theta} \right )^2.
(30) \frac{ds}{d\theta} \sqrt{\rho^2 + \left ( \frac{d\rho}{d\theta} \right )^2}.
In the notation of differentials this becomes
(31) \ ds \left[ \rho^2 + \left( \frac{d\rho}{d\theta} \right)^2 \right]^{\frac{1}{2}} d\theta.

These relations between ρ and the differentials ds, dp, and dθ are correctly represented by a right triangle whose hypotenuse is ds and whose sides are dρ and ρdθ. Then

ds = \sqrt{(\rho d\theta)^2 + (d\rho)^2},

and dividing by dθ gives (30).

Denoting by ψ the angle between dp and ds, we get at once

\tan \psi = \rho \frac{d\theta}{d\rho},

which is the same as (A), p. 84.

ILLUSTRATIVE EXAMPLE 1. Find the differential of the arc of the circle x2 + y2 = r2.

Solution. Differentiating, \frac{dy}{dx} = -\frac{x}{y}.

To find ds in terms of x we substitute in (27), giving

ds = \left[ 1 + \frac{x^2}{y^2} \right]^{\frac{1}{2}} dx = \left[ \frac{y^2 + x^2}{y^2} \right]^{\frac{1}{2}} dx = \left[ \frac{r^2}{y^2} \right]^{\frac{1}{2}} dx = \frac{r dy}{\sqrt{r^2 - x^2}}.

To find ds in terms of y we substitute in (28), giving

ds = \left[ 1 + \frac{y^2}{x^2} \right]^{\frac{1}{2}} dy = \left[ \frac{x^2 + y^2}{x^2} \right]^{\frac{1}{2}} dy = \left[ \frac{r^2}{x^2} \right]^{\frac{1}{2}} = \frac{r dy}{\sqrt{r^2 - y^2}}.

ILLUSTRATIVE EXA1UPLE 2. Find the differential of the arc of the cardioid ρ = a(l − cosθ) in terms of θ.

Solution. Differentiating, \frac{d\rho}{d\theta} = a \sin \theta

Substituting in (31), gives

ds = [ a^2(1 - \cos \theta)^2+ a^2 \sin^2 \theta ]^{\frac{1}{2}} d\theta = a [2 - 2\cos \theta]^{\frac{1}{2}} d\theta = a \left [ 4 \sin^2 \frac{\theta}{2} \right ]^{\frac{1}{2}} d\theta = 2a \sin \frac{\theta}{2} d\theta.

EXAMPLES

Find the differential of arc in each of the following curves:

1. y2 = 4x. Ans. ds = \sqrt{\frac{1 + x}{x}}dx.
2. y = ax2. ds = \sqrt{1 + 4a^2 x^2}dx.
3. y = x3. ds = \sqrt{1 + 9x^4}dx.
4. y3 = x2. ds = \frac{1}{2}\sqrt{4 + 9y}dy.
5. x^{\frac{2}{3}} + y^{\frac{2}{3}} = a^{\frac{2}{3}}. ds = \sqrt[3]{\frac{a}{y}} dy.
6. b2x2 + a2y2 = a2b2. ds = \sqrt{\frac{a^2 - e^2 x^2}{a^2 - x^2}} dx.
HINT. e^2 = \frac{a^2 - b^2}{a^2}.
7. eycosx = 1. ds = \sec\ x\ dx
8. ρ = acosθ. ds = a\ d\theta
9. ρ2 = a2cos2θ. ds = \sqrt{\sec 2\theta} d\theta.
10. ρ = aeθcotα. ds = ρcscαdθ.
11. ρ = aθ. ds = a^{\theta} \sqrt{1 + \log^2 a} d\theta.
12. ρ = aθ. ds = \frac{1}{a} \sqrt{a^2 + \rho^2} d\rho.
13. (a) x2y2 = a2. (h) x^{\frac{1}{2}} + y^{\frac{1}{2}} = a^{\frac{1}{2}}.
  (b) x2 = 4ay. (i) y2 = ax3.
  (c) y = ex + e x. (j) y = logx.
  (d) xy = a. (k) 4x = y3.
  (e) y = logsecx. (l) \rho = a \sec^2 \frac{\theta}{2}.
  (f) ρ = 2atanθsinθ. (m) ρ = 1 + sinθ.
  (g) \rho = a \sec^3 \frac{\theta}{3}. (n) ρθ = a.

92. Formulas for finding the differentials of functions. Since the differential of a function is its derivative multiplied by the differential of the independent variable, it follows at once that the formulas for finding differentials are the same as those for finding derivatives given in § 33, pp. 34-36, if we multiply each one by dx.

This gives us

I   d(c) = 0.
II   d(x) = dx.
III   d(u + vw) = du + dvdw.
IV   d(cv) = cdv.
V   d(uv) = udv + vdu.
VI   d(vn) = nvn − 1dv.
VI a d(xn) = nxn − 1dx.
VII   d \left ( \frac{u}{v} \right ) = \frac{v du - u dv}{v^2}.
VII a d \left ( \frac{u}{c} \right ) = \frac{du}{c}.
VIII   d(logav) = \log_a e \frac{dv}{v}.
IX   d(av) = avlogadv.
IX a d(ev) = evdv.
X   d(uv) = vu^{v-1} du + \log u \cdot u^v \cdot dv.
XI   d(sinv) = cosvdv.
XII   d(cosv) = − sinvdv.
XIII   d(tanv) = sec2vdv, etc.
XVIII   d(arcsinv) = \frac{dv}{\sqrt{1 - v^2}}, etc.

The term "differentiation" also includes the operation of finding differentials.

In finding differentials the easiest way is to find the derivative as usual, and then multiply the result by dx.

ILLUSTRATIVE EXAMPLE 1. Find the differential of

  \ y = \frac{x + 3}{x^2 + 3}
Solution. dy = d \left( \frac{x + 3}{x^2 + 3} \right) = \frac{(x^2 + 3)d(x + 3) - (x + 3)d(x^2 + 3)}{(x^2 + 3)^2}
  = \frac{(x^2 + 3)dx - (x + 3) 2x dx}{(x^2 + 3)^2} = \frac{(3 - 6x - x^2)dx}{(x^2 + 3)^2}, Ans.

ILLUSTRATIVE EXAMPLE 2. Find dy from

  b2x2a2y2 a2b2
Solution. 2b2xdx − 2a2ydy 0.
  dy = \frac{b^2 x}{a^2 y} dx. Ans.

ILLUSTRATIVE EXAMPLE 3. Find dy from

  ρ2 = a2cossθ
Solution. dρ = -a^2 \sin 2\theta \cdot 2d\theta.
  dρ = -\frac{a^2 \sin 2\theta}{\rho} d\theta.

ILLUSTRATIVE EXAMPLE 4. Find d[arcsin(3t − 4t3)].

Solution. d[ \arcsin (3t - 4t^3) ] = \frac{d(3t - 4t^3)}{\sqrt{1 - (3t - 4t^3)^2}} = \frac{3 dt}{\sqrt{1 - t^2}}. Ans.

93. Successive differentials. As the differential of a function is in general also a function of the independent variable, we may deal with its differential. Consider the function

y = f(x).

d(dy) is called the second differential of y (or of the function) and is denoted by the symbol

d2y.

Similarly, the third differential of y, d[d(dy)], is written

d3y,

and so on, to the nth differential of y,

dny.

Since dx, the differential of the independent variable, is independent of x (see footnote, p. 131 [§88]), it must be treated as a constant when differentiating with respect to x. Bearing this in mind, we get very simple relations between successive differentials and successive derivatives.

For dy = f'(x)dx,
and d2y = f''(x)(dx)2,
since dx is regarded as a constant.
Also, d3y = f'''(x)(dx)3,
and in general dny = f(n)(x)(dx)n.

Dividing both sides of each expression by the power of dx occurring on the right, we get our ordinary derivative notation

\frac{d^2 y}{dx^2} = f''(x), \frac{d^3 y}{dx^3} = f'''(x), \dots, \frac{d^n y}{dx^n} = f^{(n)} (x).

Powers of an infinitesimal are called infinitesimals of a higher order. More generally, if for the infinitesimals α and β, then β is said to be an infinitesimal of a higher order than α.

ILLUSTRATIVE EXAMPLE 1. Find the third differential of

  y x5 − 2x3 + 3x − 5.
Solution. dy = (5x4 − 6x2 + 3)dx,
  d2y = (20x3 − 12x)(dx)2,
  d3y = (60x2 − 12)(dx)3. Ans.

NOTE. This is evidently the third derivative of the function multiplied by the cube of the differential of the independent variable. Dividing through by (dx)3, we get the third derivative

\frac{d^3 y}{dx^3} = 60x^2 - 12.
EXAMPLES

Differentiate the following, using differentials:

1. y = ax3bx2 + cx + d. Ans. dy = (3ax2 − 2bx + c)dx.
2. y = 2x^{\frac{5}{2}} - 3x^{\frac{2}{3}} + 6x^{-1} + 5.   dy = (5x^{\frac{3}{2}} - 2x^{-\frac{1}{3} - 6x^{-2}})dx
3. y = (a2x2)5.   dy = − 10x(a2x2)4dx.
4. y = \sqrt{1 + x^2}   dy = \frac{x}{\sqrt{1 + x^2}} dx.
5. y = \frac{x^{2n}}{(1 + x^2)^n}.   dy = \frac{2nx^{2n - 1}}{(1 + x^2)^{n + 1}} dx.
6. y = \log \sqrt{1 - x^3}.   dy = \frac{3x^2 dx}{2(x^3 - 1)}.
7. y = (ex + e x)2.   dy = 2(e2xe − 2x)dx.
8. y = exlogx.   dy = e^x \left ( \log x + \frac{1}{x} \right ) dx.
9. s = t - \frac{e^t - e^{-t}}{e^t + e^{-t}}.   ds = \left ( \frac{e^t - e^{-t}}{e^t + e^{-t}} \right )^2 dt.
10. ρ = tanψ + secψ   d\rho = \frac{1 + \sin \psi}{\cos^2 \psi} d\psi.
11. r = \frac{1}{3} \tan^3 \theta \tan \theta.   dr = sec4θdθ.
12. f(x) = (logx)3.   f'(x) dx = \frac{3(\log x)^2 dx}{x}.
13. \psi(t) = \frac{t^3}{(1 - t^2}^{\frac{3}{2}}.   \psi'(t) dt = \frac{3 t^2 dt}{(1 - t^2)^{\frac{5}{2}}}.

14. d \left [ \frac{x \log x}{1 - x} + \log(1 - x) \right ] = \frac{\log x dx}{(1 - x)^2}.

15. d [ \arctan \log y] = \frac{dy}{y[1 + (\log y)^2]}.

16. d \left [ r \operatorname{arcvers} \frac{y}{r} - \sqrt{2ry - y^2} \right ] = \frac{y dy}{\sqrt{2ry - y^2}}.

17. d \left [ \frac{\cos \psi}{2 \sin^2 \psi} - \frac{1}{2} \log \tan \frac{\psi}{2} \right ] = -\frac{d\psi}{\sin^3 \psi}.


  1. On account of the position which the derivative f'(x) here occupies, it is sometimes called the differential coefficient. The student should observe the important fact that, since dx may be given any arbitrary value whatever, dx is independent of x. Hence, dy is a function of two independent variables x and dx.
  2. The student should note especially that the differential (= dy) and the increment (= dy) of the function corresponding to the same value of dx ( = Δx) are not in general equal. For, in the figure, dy = QT, but Δy = QP'.
  3. Defined in § 209.
  4. \lim_{\Delta \theta \to 0} \frac{\mbox{chord} PQ}{\Delta \theta} = \lim_{\Delta \theta \to 0} \frac{\Delta s}{\Delta \theta} = \frac{ds}{d\theta} By (G), p. 134 [§90]
    \lim_{\Delta \to 0} \frac{\sin \Delta \theta}{\Delta \theta} = 1. By §22, p. 21
    \lim_{\Delta \theta \to 0} \frac{1 - \cos \Delta \theta}{\Delta \theta} = \lim_{\Delta \theta \to 0} \frac{2 \sin^2 \frac{\Delta \theta}{2}}{\Delta \theta} = \lim_{\Delta \theta \to 0} \sin \frac{\Delta \theta}{2} \cdot \frac{\sin \frac{\Delta \theta}{2}}{\frac{\Delta \theta}{2}} = 0 \cdot 1 = 0. By 39, p. 2 [§1], and §22, p. 21.