Electromagnetic Theory, Vol. 2 (1899) — part 12 of 31

To do this, we may remark that the angle between two planes is the same as the angle between the normals to the planes, if the normals coincide when the planes do^ so that the three quantities in ( )'s in (41), which are the scalar pro- jections of c on the axes, are also the areas of the projections of the area Voab on the planes perpendicular to Uiem. We ■ have therefore only to verify that the projection of any plane on the plane normal to one of the axes is given correctly in sign by (41). Take a rectangle, parallel to the j, k plane^. sides parallel to J and k, that is, ctj and bjt ; so that

c = ia^h^*

Here 0363 is the projection of the i^ectangle on a parallel plane,, and is correctly positive.

Digitized by Google

KLKMBNTS OF VBCTORIAL ALOBBRA AND ANALYSIS. 161

Kow go back to (41). We have

Vab«i(a263 -a362) + .... • • • (45)

Similarly Vac - i (a jc, - OjCj) + (46)

Add these together. We get

Vab + Vac « i [a, {b, + c,) - a, {b, + c,)] + (47)

But the right member, by definition of a vector product, or bj (41 ), means Va (b + c). That is,

Va (b + c) = Vab + Vac (48)

SimiUrly Vd(b4-c)»Vdb+Vdc. .... (49)

So, by adding these again,

V (a + d) (b + c) = Vab + Vac + Vdb + Vdc, . (50)

a Tery remarkable and important formula. It shows that the ▼ector product of two vectors, A and B, equals the sum of all the vector products which can be made up out of the com- ponent vectors [(a+d) and (b+c) in (50)] into which we may divide A and B, provided we keep the components of A always before those of B. The necessity of this proviso of course follows from the reversal of Vab with the order of a and b. Although (50) only shows this for two components to each primary vector, yet the process by which it was obtained evi- dently applies to any number of components.

Subject to the limitation named, the formula (50) is pre- cisely similar to (17) §108, relating to the sgalar products. Now the truth of (17) could be seen without much trouble. A similar proof of (50), on the other hand, would not be at all easy to follow, owing to the many changes of direction in- volved in the vector products. This is why I have done it through 1, j, k, which are auxiliaries of the greatest value. Wheu in doubt and difficulty, fly to i, j, k.

On the other hand, although the establishment of (50) by geometry without algebra is difficult, and there is preliminary trouble in fixing the direction of a vector product, yet we see from (50) that vector products are nearly as easily to bo manipulated algebraically as scalar products.

162

ELBCTROXAGNETIC THBOBT.

CH. UI

ExampleB relating to Vector Frodncte.

§ 114. Bj means of the formula (41) we can at once obtain the cartesian expansion of the parallelepipedal eVab. Use equation (23), applied to (41), remembering that e is now any ▼ector, and' we get

cVab = c^inj)^ - aj)^ + cj^aj>i - a^h^) + ej^aj>^ - aj)^) . (51)

By reairangement of terms on the right side of this, putting the a's outside the brackets, we obtain aVbc, and putting the b% outside, we obtain bVca, and thus verify (40) again.

The vector YcVab is, perhaps, most simply expanded through i, j, k. First write d for Yab, then by (41) we have

Vcd « i{c^^ - CjC^j) + . . . .

Next put for <^ their values in terms of a's and h%

given in (41), and we have

VcVab = i[c2(«i?'2 ~ ^2^^) ~ ^^i^ih ~ + ••• = i[oi(6^ + djCj) - b^ia^i + a^Cj)] + . . . . Next, add and subtract a^b^c^^ and we get

VcVab « i[aibc - 6iacj + . • Lastly, reconvert fully to vectors, and we have

VcVab = a.bc - b.ca (52)

This important formula should be remembered. That VcVaA is in the plane of a and b is evident beforehand, because Yab 13 perpendicular to this plane, and multiplying by Yo sends it back into the plane. It is, therefore, expressible in terms of a and b, as in (52), which shows the magnitude of the com- ponents.

In some more complex formulas it is sufficient to remember the principle upon which they are founded, as by its aid they can be recovered at any time. Thus in the case of

r=/a+i^b + /tc, (53)

already treated, equation (31), if we use now Ybe for 1, which was, before, any multiple of it, and similarly for m and n, we

. r\T)C ^ , rVca, r\ab

SLBMBMTB OF VECflORIAL ALGBBBA AND ANALYSIS. 163

There is no occasion to put a formula like this ia the tnemorj, because it is so simply obtained at any time from <53) by multiplying by the auxiliary vectors so as to isolate/, ^, h in turn and give their values. .

Notice that the three denominators in (54) are equal. Also that by exchanging a and Vhc, b and Ycfty c and Vab, we obtain

r--^ Vbc+ Vca+~Vab, • (55) aVbc bVca cVab ^

and this is also true, as we may at once prove by multiplying it in turns by a» b, and e, each of which operations nullifies two terms on the right. (55) is the expression of r in terms of three vectors, which are normal to the three planes of any three independent vectors, a, b, e, taken in pairs. Here, again, -such a formula can be immediately recovered if wanted by Attending to the principle concerned.

To obtain the cartesian expansion of any formula containing vectors is usually a quite mechanical operation. The cartesian, •or semi-cartesian, representatives of a few fundamental functions b«ing remembered, their- substitution in the vector formula is all that is required. If the formula be scalar (although involving as inanv vectors as we please) the result is a single scalar for- mula in cartesians. But if it be a vector formula, it reduces to a semi-cartesian vector formula involving i, j, k, giving three scalar equations, one for each component.

The converse process, to put a scalar cartesian investigation into vectorial form, is less easy, though de[)endent upon the same principles. Here the three component equations have to be reduced to one vector equation.. It is very good practice to take a symmetrically written-out cartesian investigation and go through it, boiling it down to a vector investigation, using the unit reference vectors i, j, k, whenever found to be con- venient.

The Differentiation of Scalars and Vectors.

§ 115. In the preceding account of vector addition, and of the scalar product and the vector product, the reader has nearly all that is needed for general purposes in geometry and in the usual physical mathematics involving vectors, so far as the algebra

M 2

I

164 HiBOTBONAGNETIC THEORY. CH. III»

itself is oonoerned. For the addition of differentiatioiis doe» not usually introduce anything new into the algebra. Thus» in the analysis of yarying vectors, we have the same veotor algebra with new yectors introduced, these being derived from others by the prooess of diflbrentiation.

The ideas concerned in the differentiation of a vector with respect to a scalar are essentially the same as in the differentia- tion of a scalar. Thus, u being a scalar function of x, t.e., a quantity whose value depends on that of x, we know that if A« is tiie increment in u corresponding to the increment ^ in then the ratio An/Aa? usually tends to a definite limiting value when is infinitely reduced, which limit, denoted by dujdXf is called the differential coefficient of it with respect to oi This I should be strongly tempted to call the " differentiant ^ of K to 0^ were I not informed on the highest authority that the expression " differentiant *' for " differential coefficient " is objectionable. But the differentiating operator djdx which acts on the operand u may be termed the "differentiator," as has perhaps been done by Sylvester and others. This way of regarding a differential coefficient, splitting dujdz into {djdx) and Hy sometimes leads to great saving of labour, though we are not concerned with it immediately.

The differential coefficient is thus strictly the rate of increase of the function Nvith the variable, or the increase of the func- tion per wiit increase of the variable, on the tacit assumption- that the rate of increase of the function keeps the same value throughout the whole unit increment in the variable as it has for the particular value of the variable concerned. This plan,, referring to unit increment, is often very useful. The reservation, involved, though it must be undei-stood, need not be mentioned.

There is also the method of differentials, which is of some importance in vector analysis, as it can be employed when differential coefficients do not exist. Thus, u being a function of 2c, whose differential is dx, the corresponding differential o& « is

du^f{x'¥dx)-f{x)i • . . . (66) which, by expanding + (fx), reduces to

du^-dx, (57).

dx

Digitized by Google

XLEMBNTS OF YBCTOBIAL ALGEBRA AND ANALYSIS. 165

provided we neglect the squares and higher powers of dx, that IS, regard dx as infinitesimal, and therefore du also. And if there be two variables, as in u—f(xy y\ then we have

du''f{x + dxty + dy)-f(xty)t • • (68) leading to du = —djc + -dy (59)

•expressing the differential of u in terms of those of x and y.

Now let the operand be a vector function of say, E. For instance, x may mean distance measured along a straight line or aiis in an electrostatic field, where E, the electric force, will usually change as we pass along the line. It may change con- tinuously in direction as well as in magnitude ; in any case, the change itself in E between two points on the line is a vector, being the vector AE which must be added to the E at the first point to produce that at the second point. Dividing by Au', the increment in ;r, we get the vector AE/Ajr ; and this, when the increments are taken smaller and smaller, approximates towards a definite limiting vector denoted by dEjdx, which is, b}' the manner of its construction, the rate of increase of E with a:, or the increase in E per unit increase in x.

We have also, in differentials,

dE^f{x--dx)''f{x), . . . • (60)

leading u> dE = ^^dXf •••••• (61)

understanding: that the differentials dx and dE are infinitesimal.

Similarly, the rate of increase of the vector dE'dc with x is the second differential coefficient d^Jdx^ ; and so on.

Semi-Cartesian Differentiation. Examples of Differentiating

Functions of Vectors.

§ 116. In semi-Cartesian form we have

E->i£i+j£2+kEs (62)

Here the scalars Ej, Eg, Eg are functions of whilst the reference vectors i, j, k are constants ; so we have

dE idE.,,dE^.<.dEo .-ox ax ax ax ax showing the components of the vector dE/dx.

166

SLBCTROMAONBTIC THEORY.

CH. IIU

Siu^ilavly. ^-l^.+J^+k'i;^. . . (64)

oar* (fa;* (/at*

shows the components of the second differential coefi&cient|. obtained by differentiating (68).

Now, this aemi-Cartesiui process is quite general. Any vector function may be expressed in the form (62), and when the right member is differentiated, the differentiations are performed upon scalar functions. The same remark applies to (63) and (64), &c, ; so we see that the rules for differentiating yectors,. and functions of veotorB, with respect to scalar variables, are the same as those for differentiating similar functions of Bcalars, so far as the independent action of a differentiator on the separate members of a product goes.

Thus, in differentiating a scalar product, AB, with respect to- a yariable scalar, t, we have, by (23),

^AB-^(AiB, + A,B, + A3B3)

• (A, + + A3 B3) + (Aj + Ajj Bg + A3 B,) ; or, re-transforming to vectors,

^AB»AB+AB, (65>

just as if A and B were scalars. Similarly, we have

VAB - VAB + V AB, .... (66)

as we may see immediately by differentiating the sc mi-Car tesiatt expansion of VAB, equation (41). We have also

^AVBO = AVBO + AVBG + AVB6, . . . (67)

and ^ VAVBO - VAVBO + VAVBO + VAVBC). . . (68)

But, although we proceed formally, as in the ordinary differentiation of scalars, as regards the properties peculiar t» differentiation, yet we must always remember those which are peculiar to the vector algebra. For example, we must not only on the left sides, but also on the right sides of (67) and

Digitized by Google

ELEMLMS OF VECTORIAL ALGEBRA AND ANALTSIS. 167

(68), remember the reversal of the sign of a vector product with the order of the letters.

Independently' oi i, j, k, we may proceed thus, using ditieren- tials : —

d(AB)^(A-^dA)(B-^dB)-'AB^AdB-hBdA, . (69)

omitting the infinitesimal dA^fB of the second order. Dividing by dt, and proceeding to the limit, we obtain (65). Similarly we have

rf(VAB)-V(A+rfA)(B+dB)-VAB-V(</A)B+VArfB, . (70)

omitting the second differential YdAdB. So, dividing by dt, we obtain (66).

In getting (69) we have, of course, used the distributive law of scalar products, equation (17) ; and, in getting (70), the similar law of vector products, equation (50).

Motion along a Curve in Space. Tangency and Curvature ;

Velocity and Acceleration.

§ 117. Some spacial and motional examples may be here use- fully inserted to illustrate the differentiation of vectors. Let

Fig. 7.

there be any curve in space, and let a be length measured along it from some point on the curve. Also let r be the vector from any fixed origin 0 to a point P on the curve. We have then '*"/('}• With the form of the function we have no concern.

Now, consider the meaning of the first differential coefficient dt/d$. First, if the increment A< is finite, say the arc PQ, the

168

BLECTKOMAONSnC TBEOBT.

CB. Til.

corresponding increment in Ar is the vector chord PQ, the new vector of the curve being OQ, that is r + Ar, instead of OP or r. We see that Ar/As is a vector parallel to the chord, whose tensor is the ratio of the chord to the arc. Now reduce the incre- ments to nothing. In the limit the direction of dr ds is that of the tangent to the curve at P, and its tensor is unity, since the chord and the arc tend to equality. That is,

df^ip .dx .dy ,dz _

where T is the unit vector tangent, and the Bemi-Cartesian

expression (got by expanding r) is also given. In the figure the size of T is quite arbitrary, siuce the unit of length is arbitrary.

Next, differentiate again with respect to s to obtain the second differential coefficient d'T/d,<' or dT/ds. It is the change in the unit tangent per unit step along the curve. Now, as the unit tangent cannot change its length, it can only change its direction ; and, moreover, this change is a vector perpendicular to the tangent. It and the two tangents, initial and final, are in some plane, usually termed the osculating plane. It is the plane of the curve for the time being, unless it be a plane curve, when it is the plane of the whole curve. Thus JT/d^, heinjr at right angles to T, points from the curve towards the centre of curvature for the time being. Moreover, its tensor measures the curvature. For the usual measure is d6 ds, where dO is the angle between the tangents at the ends of ds, and it may be readily seen that this is the tensor of dT/ds.

Now the reciprocal of the curvature is the radius of curva- ture. If then R be the vector from the curve to the centre of curvature C (Fig. 7), we have

and the vector from the origin to the centre of curvature is r-i-R.

Now, referring to the same figure, let a point move along the curved path. Consider its velocity and acceleration, taking t the time for independent variable. We have

dr dr d.< „

BLEMBMTS OF YEOTORIAL ALOBBRA AND ANALYSIS. 169

by luoDg (71), and denoting the Telocity by v. Its tensor is 9 or d$/du The interpretation of (73) is sufficiently obyions, since it says that the motion is (momentarily) along the tangent, at speed v.

Differentiate again to t. We get

^ = 1^T + .^ (74)

That iS| the vector rate of acceleration is exhibited as the sum of two vectors, the first being the tangential component, whose tensor equals the rate of acceleration of speed, whilst the second we may expand thiis, by introducing the intermediate vari- able 6 :—

dt dT dt ^

where the third form is got by using (72). This shows the rate of acceleration perpendicular to the motion. It is towards the centre of curvature, of amount i^/fi, the well known result.

TofrtuoBity of a Onrve, and Various Forms of EipaiiBion.

§ 118. Again referring to Fig. 7, if the curve be not a plane curve, or ,be a tortuous curve, the osculating plane undergoes change as we pass along the curve. It turns round the tan- gent, and the measure of the tortuosity is the amount of turn- ing per unit step along the curve. It is d<i>lds^ if (/<^ is the angle between the two osculating planes at the extremities of ds. It is equivalently denoted by the tensor of dN/ds, if N be the unit normal to the osculating plane. This is similar to the equivalence of dO d<i and the tensor of </T r/.s in measuring the curvature before noticed, the equivalent plane in that case being the plane normal to T.

Tne three vectors, T, N, and Bj, form a unit rectangular system, for we have

N = VTRi, (76)

since I and Bj are perpendicular unit vectors. As we move along the curve this system of axes moves as a rigid body, since there is no relative change. They may, in fact, be imagined to be three perpendicular axes fixed in a rigid body moving

170

ELBOTROMAOKETIG THEORY.

CU IIL

along the curre ia such a way that these axes keep always ooinoident with the T, B^, and N of the curve. As it moves, the body rotates. It rotates about the N axis only when the curve is plane, but about the T axis as well when tortuous. The vector change (infinitesimal) in T is perpendicular to it, in the osculating plane — that is, the plane whose normal is H, and is directed towards the centre of curvature. And the vector change (infinitesimal) in N is perpendicular to it, also in the osculating plane, and directed towards the centre of curva- ture, the vector R from the curve to the centre of curvature being on the intersection of the two planes mentioned.

Various expressions for the tortuosity may be obtained. Let it be Y the tensor of Y, given by

Then, by (76) and the context, (77) gives one expression. A becond is got by performing the differentiation, giving

T = V^-?R,+VT^' (78)

08 as

But the first term on the right is zero, by (72), the two vectors after V being parallel. So

Y-VT'(^' (79)

as

gives another expression. Or

Y-VoT'^A (80)

oonsidering the tensor only. But, since Y is parallel to Bi, we have YBi « Y ; therefore, by (79).

'? f ^ r Y-E,VT':^-' .... (81)

s as

is a third and entirely dill'erent expression. That Y is parallel to Ej we may prove by (77) and (79). Multiply (77) by N.

Then YN-N'5f = jf'N-=0, . . , (82)

Us ^ds ^ '

since N^-l (83)

This shows Y is perpendicular to N. It is also, by (79), per- pendicular to T. So its direction is that of R^.

Digitized by Coogle

ELLMENTS OF VECTORIAL ALGEBUA AND ANALYSIS. 171

By the purallelepipedal property (40) we may also write (81) thus,

Y--TVE/-^5i (84)

as

Here again, we may write

</R, dR 1 r/R^p <I 1 .Q..

L= = — + i*. — — . • • • (oO)

Substituting this compound vector in (84), we see that the tirsc of the resulting vector products vanishes because K| and are parallel. There is then left

Y- -TVR-^ (8G)

< / >' R

--.R«TV^'|^^, . . . (87) by (72), or, iu terms of r and derivatives,

^--^'S^SS- • • • • («^>

which is a known symmetrical form, but whose meaning is less- easj to understand than several preceding expressions.

Since, by the definition of a vector product we have ^ o^^i^ "«6 when a^ and b arc perpendicular, aj being a unit and b any vector, we may, from the tirst equal ion (77) conclude that

Y-VoN'^ (S'J)

da

which is equivalent to a form given by Thomson and Tait.

Similarly, Y-VoT*-^^, (90)

ds

Y being perpendicular to T as well as to N.

The reader may, perhaps, find the above relating to tortuosity hard to follow, though the previous matter relating to tangency, curvature, velocity, and acceleration may be sufficiently plain. The hardness lies in the intrinsic nature of tortuosity, as to- which see works on analytical geometry. But the reader who wishes to get a sound working knowledge of vectors should go through the ordinary Cartesian investigations, and turn into-

Digitized by Google

172

BLECTROMAGNEnC THEORY.

CH. UI.

vectors. Also, convert the above to Cartesian form through i, j, k, and verify all the results, or correct them, as the case may be. Space is too short here for much detail.

Hamilton's Finite Differentials Xneonrenient and Vnneeeasaij.

§119. It is now desirable to say a few words regarding the method of treating vector difl'erentiation employed by Hamilton, and followed by Tait. The latter speaks in his treatise (chapter L, ^33, third edition) of the novel difficulties that arise in quaternion differentiation ; and remarks that it is a striking circumstance, when we consider the way in which Newton's original methods in the differential calculus have been decried, to find that Hamilton was ohligcd to employ them, and not the more modem forms, in order to overcome the characteristio difficulties of qoatemion differentiation. (For the word " quaternion,'' we may read vector or vectorial here, because a vector is considered by Hamilton and Tait to be a quaternion, or is often coimted as one. This practice is sometimes confusing. Thus the important physical operator y is called a quaternion operator. It is really a vector. It is as unfair to call a vector a quaternion as to call a man a quadruped \ although, four including two, the quadruped might be held (in the matter of legs) to include the biped, or, indeed, the triped, which would be more analogous to a vector. It is also often mconvenient that the name of the science, vis., Quater- nions, should be a mere repetition of the name of the operator. There is some gain in clearness by preserving the name " quaternion " for the real quaternion — ^the quadruped, that is to say.) The matter is illustrated by the motion of a point along a curve. But it does not appear, this illustration, where the obligation to depart from oommon usage comes in.

The subject is, however, returned to more generally in Chapter IV., on Differentiation, where we are informed that "we "require to employ a definition of a differential somewhat different from the ordinary one, but coinciding with it when applied to functions of mere scalar variables." Here again, however, a most searching examination fails to show uie the necessity of the requirement ; or, at least, that the necessity is demonstrated.

Digitized by Google

XLBMBKT8 OF TIOTORIAL ALOSBRA AND ANALTBI8. 17S

To ezamine this matter, consider for simplicity a fanotion « of a single scalar variable a and a single vector variable r, say

«=/(r,a).

Following the common method of infinitesimal differentials, we have

du^f(jc + dita + da)~f(T,a), . . . (91)

That ia» on giving the infinitesimal increments dr and <fa to r and a we produce the infinitesimal increment du in the function. Here du, ds and da are the differentiaLs, and it is important to remark, in connection with the following, that they are infini- tesimal, and that du is reaUy the increment corresponding to dr and da.

Now, Hamiltonian diffsrentials have a different meaning. Though they would be denoted by duj dt and daj yet, being different, we shall here dignify them with brackets, and denote them by (</m), (o?r), and ((/a), to distinguish them from the differentials in (91). The Hamiltonian differential (du) is then defined by

(du) - n^fQ + <A>, a + ^±1) -At, «)]. . (92)

on the understanding that n is infinity, and that (on which itteas is laid) the differentials {dt) and (da) are finite and perfectly arbitrary.

That this process is drouitous is obvious, but is it neoesaaiy t Let us eiamine into its meaning, and compare (92) with (91). Firstk divide (92) by n. We then have

lii)-//r + (^U + (^)V/(r,a). . . (93) » \ » n /

Now, we see at a glance, that (93) and (91) become iden- tical if

d^^&, drJ^, du^(M . . (94) n n n '

The division of the finite differentials (da) and (dr) by n pro- duces infinitesimal results, and the finite differential (du) is similarly reduced to an infinitesimal. Why then not employ the infinitesimal differentials at once, and avoid the circuitous- nessY

174

KLBOTBOMAONimO THaOBT.

CH. m.

When we proceed to fonn a differential coefficient* as du/tU, a r and a are functions of t, or du/da, if r is a function of a, we see that their values are equivalently expressed by {du)l{dt) and {du)l(da)f using the finite differentials; because this merely says that the value of the fraction du/<jU is unaffiscted when ' the numerator and denominator are each multiplied by the same quantity.

In the above, the reasoning is the same, whether « is a scalar or a vector fnnctiuii of r and a.

But whilst the differential coefficient comes out the same, yet the differential (du) is not the increment in u belonging to the finite increments (c/r) and (tia), nor is it anything like it, excep- tions excejjted.

The above is as fair and as clear a statement as I can make of the difference between common and finite ditTerentials as applied to vectors ; and we see that the llaniiltonian plan is only a roundabout and rather confusing way of expressing what is done instantly with infinitesimal differentials. But then the Hamiltonian plan is said to be obligatory. There's the rub ! I can only give my own personal experience. After muddling my way somehow through the lamentable quater- nionic Chapter II., the third chapter was tolerably easy ; but at the fourth I stuck again, on this very matter of the obliga- tory nature of the finite differentials. I am no wiser now about it than I was then. Perhaps there is some very profound and occult mystery involved which cannot be revealed to the vulgar in a treatise ; Hamilton is a name to conjure by. Or perhaps I began the study of quaternions too soon i" Or perhaps it is only a fad, after all. Anyway, I am willing to learn, and if I live long enough, may reach a suitable age. At present let us return to common infinitesimal differentials.

Determination of PossibilitF of Szistence of Differential

Coefficients.

§ 120. Although we may employ the method of differentials in any equation involving vectors, using the symbol d, and although we may turn it into an equation of differential coeffi- cients by changing d to the scalar differentiator d/dt (for example), as in ^ IIG, yet we cannot usually turn dilierentials into differential coei^cieuts when the variable is a vector.

SIJOUBNTS OF TSOXORIAL ALGEBRA AKD ANALYSIS. 175

This is not because we cannot fonn the expresnons duldr or dRj'dit but because they are not differential coefficients when the denominators are vector differentials. This will be easily seen from typical examples. (The failure has nothing to do with the previous question of finiteuess or otherwise of ditlereutials.) Let

« = ab. (95)

and let the vector b vary. Then,

du = at/b, (9G)

and, therefore, 4' = ((/b)-»(»<ib) - (<n>)i[a(rfb)i], . . (97)

ob

where (db)i means the unit dh. Here the imitation differential •coefficient du/db is a fraud, because its expression on the* right aide of (97) is not dear of the differential db, whose direction it involves. Nor is equation (97) of any particular use, com- pared with (96). Again, in the vector equation

R = Vab (98) let b be variable. Here we have

i/R = Va(/b, (99)

and from this equation of differentials we may form dR/db and YdR/db ; but neither of them, nor any combination of them, is « differential coefficient clear of differentials. Thus,

^-(tib)-iVa<fl)-(ea)),Va(t/b)i . . (100)

•contains the differential on the right side. And

v:^? = V(/E(cfl))-i = ~V((/b)-iVacA)= - V((/b)iVa(cZb)i (101) do

also contains the differential. As a special result the value of (100) is zero (a parallelepiped in a plaue) : and by equation (52) we may develope (101) to

(rfb),{a(<ib)i} - a (102)

"Rut it is (99) that is the really useful fundamental equation, the developments (100) to (102) being useless for differentiating purposes, although true and interpretable geometrically.

176

BLBOTBOMAGNKTIO THBORT.

CH. III.

Qenantlly, if ifl a jHrnotion of

B-iRi+jRj + kRs .... (103) r-lflJ+jy + lK, (104)

then R^, R3 are functions, usually different, of y an4 9, and the ratio of c£B to dr (even in the most general quater- nionio sense), oanaot possibly be freed of the differentials dx, dy, ds.

Even when we reduce the generali^ of the problem by making B and t ooplanar, say in the plane of i, J, with s«0 and Bg^O, d&/dt is not usually a definite diffinrential co- efficient. It only becomes one by special relations between the differential coefficients of B, and with respect to x and y» ▼iz:— •

dBi^ dRi ^ rfR^ n05^

dx dy* dy dx '

This is the vectorial basis of the large and important branch of modem mathematics called the Theory of Functions, which appears in electric and magnetic bidimensional problems.

Variatton of the 81m and Ort of a Vector.

§ 121. Sometimes it is convenient to have the variation of a

vector exhibited in terms of the variations of its tensor and unit vector, or its size and ort. Thus, from

B-RBi,

we produce, by differentiating,

<2B«B<2B,+Bi<iR. • . • • (106)

If there be no variation of direction, then

A-BicflEt; (107)

and if the tensor does not vary, wiiilst the direction does, the»

<fB-IWBi (108)

Dividing (107) by the scalar dH, we get a proper differential coefficient

^-Bi. (109).

Digitized by Coogle

ELEMENTS OF VECTORIAL ALQEBBA AND ANALYSIS. 177

provided t/B^ = 0. From (108),

S-r^ vf-=o. . . . (110)

provided till = 0, which makes dR perpendicular to R. But it is as well to avoid forms of this kind (with a vector variation in the denominator), even when by some limitation, as above, we cau get rid of the differentiaL Of course, in (106), without any limitation, we can change d to d/dt (or other scalar diffe- xentiator); thus,

B^BBj+BiK. (Ill)

It is this (scalar) kind of differentiation that nearly always occurs in physical applications, and there is no abstrusity about it. See §116. Nor is there about differentials, provided we do not attempt to make differential coefficients with respect to Tectors, or make the differentials themselves finite.

We have also B>»R^

which, on differentiation, gives

Bd&'-BdR; (112)

or, diTidiug by R,

<at»Bi(at, (113)

which says that the increment in the tensor is the component along the vector of its vector change dR, whose full expression is given by (106). Using (106) in (113) we get

B<ati-0 (lU)

Using (113) in (106) we get

dB«RdEi + Ri(R,(/E) (115)

or, dividing by R,

(116)

all of which results may be geometrically interpreted.

In differentiating the reciprocal of a vector, proceed thus : —

. . . (117)

where^ for d may be written dldt, &o.

N

178

SLBCIBOlIAaKSnC THEORY. .

CH. in.

Another way is

4-4=f ^^i- • • • • <"»>

It may easily be shown, by (106), that these results are equivalent.

Enough has now been said about the meaning and effect of differentiating vectors. The important vector dilTerentiator V deserves and demands a separate treatment.

Preliminary on V* Axial Differentiation. Differentiation

referred to Moving Matter.

§ 122. The Hamiltonian vector V oconis in all physical mathematics involving three dimensions, when treated vec- torially. It is defined by

-iVi+jVj+kVs,

the second form being merely an equivalent one, often more convenient, and easier to set up. We see that the Hamiltonian is a fictitious vector, inasmuch as the tensors of its components are not magnitudes, but are differentiators. As, however, these differentiators are scalar — ^not scalar magnitudes, but scalar operators, having nothing vectorial about them — the Hamiltonian, in virtue of i, j, k, behaves just like any other vec- tor, provided its ditlereutiating functions are simultaneously attended to. Of course, an operand is always implied, which may be either scalar or vector.

The Hamiltonian has been called Nabla, from its alleged resemblance to an Assyrian harp — presumably, only the frame thereof is meant, without any means of evoking melody. On the other hand, that better known musical instrument, the Triangle, perhaps equally well resembles Vt &i^d it does not want strings to play upon.

First notice that

iV = Vi, JV- Vj. kV-Vs, . . (120) and that these are all special cases of the scalar product

HV^NiVi + NjVji + NaVa, • . . (121)

Digitized by Cn

BLBMSNTB OF TECIOBIAL AUQXSRA AND ANALYSIS. 179

where V is any unit vector. Here NV) or its equivalent Cartesiaii expansion, means differentiation with respect to length, say «, measured along the axis of N, usually denoted hj

^=/4- + wiA+ii^, .... (122) tU ax ay dz

or by similar forms. This operation was termed by Maxwell differentiation with respect to an axis, which we may more oonveniently call axial differentiation. We see, therefore, that V> or the N component (scalar) of V> ^ <^3ual differentiator, the axis being that of N. Thus,

NV.P=~, NV.A = ^, . . (123) as as

P hemg scalar and A vector. Also

NV^«A.NV.B+B.NV.A, . . (124)

NV.VAB-:V(NV.A)B+VAjrv.B, . (126)

and soon, simply because NV is a differentiator. Expanded in Cartesians, (124) contains the eighteen differential coefficients of the components of A and B with respect to y, and a. The last two equations wHl also serve to illustrate notation. The ' dots are merely put in to act as separators, and keep the proper symbols connected. Mere blank spacing would do, but would be troublesome to work. We may, however, use brackets equivalently.

Thus, A.NV-B maybe written A(NV)B, and this form may be used with advantage if. found easier to read. Of course, N V being scalar, on its insertion between the two members of AB, the result remains a scalar product. Similarly, yA.NV*B, arising from TAB, is still a vector product.

A somewhat more fi^eneral operator is vV* where ▼ is any vector. It is plainly v times the corresponding axial differen- tiator, or v.YjS7' Thus, expanded,