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

Theory of the Belative Motion of Electric Currents and

the Medium.

§ 167. Thus, let us first abolish the intrinsic magnetisation of § 166, and substitute equivalent electric current. Here, by equivalent electric current, we mean a distribution of •electric current which produces the same induction as the intrinsic magnetisation ; so that if both were to exist together, the induction would be everywhere doubled ; and then, if either of them were negatived, the resulting induction would be nil. That this is possible, whatever may be the distribution of inductivity, is a very remarkable property. The induction due to mi^etisation is conditioned solely by the curl of the intrin- -sio magnetic force, and the poles" are essentially quite a secondary matter. That is, we may vary the poles as we like, provided we do not alter the curl of the intrinsic force, without affecting the induction or the associated energy.

The question then presents itself whether this equivalence .continues to hold good when the medium is set in motion past the stationaiy magnetisation or electric current respectively. In -the circuital equation (64), put ho^O, and introduce a term •Og (m the right side, producing

curl (H-VDw) = Co + c/>E, . . . (75) •expressing the first circuital law ; whilst (65), or

curl(VwB-E)=/xpH .... (7C)

expresses the second. Now (76) only differs from (64) in the aubstitution of Oq here, for curlho there. That is, the new •Oq and the old curl ho are equivalent. We may, therefore,

282

BLECTROICAONETIO THSOBT.

CH. UL

dismiss the idea of magnetisation, and let the source of the induction be anj distribution of intrinsic electric current Og. With it is associated a certain distribution of induction, iden- tical with that due to any distribution of intrinsic magnetisation for which we have curlh^sOo, and the equivalence persists when the medium is moving, or when the sources are moving. Corresponding to (70) we shall have

divB = 0, B = AF, curlF = Co/«, . (77) for the detcrn)ination of the induction in the eolotropic manner previously pursued, when the steady state of affairs is reached ; subject also to the previous reservation that w and curl B &n perpendicular. That is to say, the induction is affected by the motion in the same way as if the medium had its inductivily decreased from fi to fxs in the direction of motion, without any change transversely, wliilst at the same time the source Oq ia effectively increased to GJs.

Equations (77) are suitable when the electric currents are in planes perpendicular to the direction of motion. For instance, let there be (to take a very easy example) two parallel plane sheets of electric current of surface-density 0^ and - Oq respec- tively. The induction between them, which is B » fiO^ when at rest, becomes [iOq/s when they are in motion with velocity u perpendicular to their planes. Here 8 is the fraction (1 - n^/v^ as before, and the electric force accompanying the changed in duction is simply the motional electric force.

There is another way of making the eolotropic comparison^ namely, by employing the vector f instead of F. Then, instead of (77) we shall have

aivB = C, B = (A/5)f, curl f= Co. . (78) In this way of looking at the matter we regard 0^ as suffering no change of effective strength, whilst the eolotropic operator A/a is such as to indicate increased rnductivity (from /i to /*/«) transverse to the motion, and unchanged inductivity parallel to it. The vector f is the excess of the magnetic force H of the flux over the motional magnetic force. Inasmuch as this way emphasises the fact that the intrinsic sources are really constant, it is not without its advantages. But the idea of increased transverse inductivity is rather an unmanageable on% In general, especially in the case of moving electrification.

XLBUENTS OP TECTORIAL ALGEBRA AND ANALYSIS. 283

If the sources and the medium have a common uniform tniulational motion, it may be seen from the general circuital equations that the steady distribution of the fluxes with respect to their sources is unaffected by the motion. That is, if ve travel with the medium there is no change observable. This applies in the case of circuital sources (as curlhg above), as well as divergent sources (as of electrification). The natural- ness of the result is obvious, when the relativity of motion is remembered.

The General Linear Operator.

§ 168. It is now necessary to leave these special cases of eolotropy for fear of being carried away too far from the main subject, which is, the nature of linear vector operators, in ter- mination of this chapter on vector analysis. Up to the present only the symmetrical operator has been under consideration. Three recttangular axes are concerned, each of which is identi- fied with parallelism of the force and flux, or of a vector and a linear function thereof. Now, if we associate the algebraica] ratio of the force to the flux with the three directions of parallelism, we see that the symmetrical linear operator depends upon three vectors. If they were arbitrary, this would involve nine scalar specifications ; but, being copcrpeiulicular, there are really only six independent specifications ; and, moreover, if we transform to any other system uf axes (independent or non-coplanar) there can still be no more than six independent data.

But it is easy to see that the general linear vector operator must involve nine scalar specifications, viz., three for each of the three independent axes of reference that may be chosen. Thus, let D be linear function of E. We must then have, in terms of the i, j, k components, the following set of equa- tions : —

^s°°*^2i^i + ^j2^a + ^2s^3» ■ . • • . (79)

where the nine c's may have any values we please. The axes of reference are perpendicular only for convenience ; any set of three independent axes may be used, with nine properly deter-

284

BLECTKOMAGNETIC TBEORT.

CO. m.

mined c's to match. The relation between the yecton D and E, which is fully exhibited in (79), may be oonveniently symbolised by

D-cE, (80)

where c is the general linear ojierator.

If we exchange Cj, and c^j^, <fec., in the set (79) we shall usually change D, of course. Let it become D'. It is then fully given by the set

^'2 ~ ^12^1 ^22^2 ^32^3' f • • • (81)

and these relations between D' and £ may be symbolised, like (80), by the single equation

D'^c'R (82)

The manipulation of sets of equations like (79) and (81) is lengthy and laborious. By the use of the linear operators, however, with proper attention to the laws governing them, the vectors may be manipulated with facility. Thus, to give the first and easiest example that presents itself, we may instantly turn AB to Acr '^B. This is obvious enough, inas- much as the operation n dicated by will be precisely can- celled by the operation c, bO that ec~^BsB. But there is much more in it than that. For Acc'^B is not merely the scalar pro- duct of the vectors A and ec'^B, that is, of A and B, but is the scalar product of the vectors Ac and e'^B, which are quite different. The vector Ac is the same as the vector c'A, whilst e~^B is the vector which, when operated upon by c, gives the vector B.

The constituents of the inverse operator e"^ may be found by solution of (79). Since B is a linear function of E, it follows that E is a linear function of D j or the E's may be expressed in terms of the D*s by means of a set of equations like (79), with new coefficients instead of the c's there. Similarly as regards the inverse operator e'"^ belonging to (81) and (82).

The vector formed by taking half the sum of the vectors D and B' is a symmetrical function of £, say

^(D + D') = AR (83)

Digiiizoa by Google

ELEMENTS OF VECTOUIAL ALGEBRA A2sD ANALYSIS.

285

The constituents of A with two equal suffixes, namely, c^^^ Cgo, c.^3> are the same as those of c and of c. But the other constituents are half the sum of the corresponding ones of c and c' ; for instance ^('^12 + ^21) place of Cj., and c^i. From this we see that the operator A is its own conjugate, or is self- conjugate, making AE and A'E identical.

On the other hand, the vector formed by taking half the difference of D and D' is a simple vector product. By inspec- tion of (79) and (81), and remembering the structure of a vector product, we may see that

J(D-I>')-VaB, (84)

where * is the vector given by

We see, therefore, that any linear funotion, if it be not already of the symmetrical kind, may be represented as the sum of a symmetrical function and of a vector product. Thus, by addition and subtraction of (83) and (84) we obtain

cE = D =AE + VaE, .... (8G)

(^.ly-XE-VaR .... (87)

That is, in terms of the operators alone,

c-A + Va. (88)

c'-A-Va, (8a)

where e (and therefore c') is general, whilst A is symmetrical.

The vector a is quite intrinsic, and independent of axes of refer- ence. The symmetrical operator A involves six scalars, the vector a three more, thus making up the full nine.

Notice, by (86), (87), that

EcS-EAE-Ee'E, .... (90)

or the scalar product of the force and the ilux does not involve the vector a at all.

The Dyadical Structure of Linear Operators.

§ 169. Now go back to the equations (79). Observe that the right members, being the sums of three pairs of simple products,

286

BLECTBOMAGNETIC TH20RT.

CH. m.

are themselves scalar products. Thus, let three new vectors defined by

«a"^i+Ks2 + ^23' r .... (91)

be introduced. Then we see that equations (79) are siniply

Dj-CiB, D,-CsE, Dg-CjE, . . (92)

and, therefore, by combining them, we produce the one vector equation

D«i.CiE + j.CoB + k.C3E, . . . (93)

thus proving that every linear operator may be exhibited in the dyadical form

c«i.Ci+j.Cg+k,C8, .... (94)

whether it be symmetrical or not The conjugate operator is, similarly,

c' « Lc\ + j.c J + k.c'8 (96)

where the accented vectors may be obtained from the un- accented given in (91) by changing to Cj^, <tc., just as D' was got from D, in fact.

It is now easily to be proved that

eE»Ec', Ee»c'E, , . . (96)

that is, if we wish to remove an operator from before to behind a vector, we may do so by simply turning the operator to its

30ujugate ; that is, by putting on the accent, or by removing it if already there. It will, of course, be understood that when a. vector E follows c, and we use the dyadical form of c, as in (94), it is only the three second vectors that unite with E ; whereas, if E precedes c, it is the first vectors in c that unite with it. Thus : —

Ec = Ei.Ci + Ej.Co + Ek.C3, . » . (97) c'£-i.c\E+j.c,E+k.c'3E. . . . (98)

These are identical vectors always. In the symmetrical case, the accents may be dropped, of course ; then EX « AE. It will be seen that the above way of writing and working dyadics fits in precisely with all the previous notation em- ployed in the vector algebra. The dots in (94) are merely

XTJEMSNTB OF TECTORIAL ALOSBBA AND ANALYSIS. 287

separators, not signs of multiplication. When we pat on a veetor, before or behind, it unites with the vectors it is not jeparated from by dots ; we therefore obtain the forms (97), ^98), in agreement with the principles of notation described in ^e early part of this chapter.

We have already pointed ont that EXF, where X is sym- metrical, may be regarded as the scalar product of E and A.F, or of EA (the same as AE), and P. The corresponding general property is the same ; that is, c being general, EcF is the scalar product of Ec and F, or of £ and cF. But Ec is the same as c'E, and cF the same as Fc', so we have

EcF-e'EF-EFc'-Fc'EoFEe. . . (99)

The operator c must be united with one or other of the two vectors E and F, but it is immaterial which it is, provided we always change to the conjugate properly, as exemplified.

The same applies when there are many linear operators. Let there be three, a, b, c. Then we have, to illustrate how the transformations are made,

cE[a6F] = Ec'[a6F] = Ec'[a(F6')] = Ec'[F6'a'], . (100)

and so on. Here the biaokets are introduced to show the association of the vectors and the operators.

We may also introduce anywhere a new operator, accom- panied, of course, by the reciprocal operator ; thus

cE[aF]-cE[a6-W] = cE[a6-i(F6')]««ko. . (101)

The above will be sufl&cient to show the great power gained by the use of the operators, enabling one to do almost at sight algebraical work which would, in Cartesians, cover pages.

Hamilton's Theorem.

§ 170. The following little tlicoreni, due to Hamilton, will serve to illustrate the working of vectors, as well as another purpose which will appear later.

Let m and n be a pair of vectors, then their vector product Ymn is perpendicular to both, by our definition of a vector pro- duct That is,

O-mVmn, 0»nVmo, . . . (102)

€88

BLEOIBOIIAONETIO THSOBT.

on. IXL-

by oiur definition of a scalar product, and the parallelepipedal property. Now introduce cc~^ betwen the Y*B and the Teotont preceding them in (102). Thus

0 = mcc-iVnm, 0 = ncc-iVmn. . . (108)

These assert (and we cannot but believe it) that the Teotor e-^^mn is perpendicular to the vectors mc and nc, or c'm and c'n ; it is, therefore, parallel to their Teotor product. The last statement is expressed by

gurWma^Ye'me'n, .... (104)

where x is an unknown (or so far undetermined) scalar. Or,, operating on both sides by c,

flEYmn-eVeWn. .... (105)

To find the value of a?, we have merely to multiply (105) by a- tliird vector, say 1. For this gives

idYnm^kYcWn-eiycWiit . . (106) which giYCS ihe value of x explicitly, namely,

clVc'mc'n

lYmn

(107)

to be used in (105), which, with z thus settled, is the state- ment of the little (but important) theorem. The quantity or appears to depend upon 1, m, n. These yectors, however, enter into both the numerator and denominator in such a way that they can be wholly eliminated from x. This may be seen by expanding the numerator and denominator. In fact, s is a pure constant, depending upon the operator e alone.

In the symmetrical case we may find its value by taking l.m,ntobel,J, k, and the latter to be the prindpal aans. Thus

if Cp are the principal scalar c's. So, by (107),

a = Ei^3k=c,c^. . . . (108)

the continued product of the principal c's. In the general case we may put, as we know,

e«X+ Yft.

Digitized by Google

KTJQIBNTB OF TBOTORIAL ALGBBBA AND ANALYSIS. 289

Using this in (107)» on the nndentandmg that <^ ar» theprinoipals of A now, we shall get^ dmilarly,

« = W8+*^ .... (109) which it will be a useful exercise to yerify.

Since c is any linear operator, (100) remains true when for e we substitute its oonjugate e^, producing

a:'Vnm = c'Vcmcn, . . . . (110)

where is got from the expression for x by changing c' to its oonjugate c. But c and c' only differ in the changed sign of a, as in (88), (89). On the other hand (109) contains a quadzati- callji so that a reversal of its sign makes no differmioe. There- fore, is the same as which might not have been anticipated at the beginning of the evaluation.

Hamilton's Onbic and tlie Invariants concerned.

§17L The reader of Prof. Tait's profound treatise on Quaternions will probably stick at three places in particular, to say nothmg of the numerous minor sticking-points that present themselves in all mathematical works of any value, and whioih may be readily overcome by the reader if he be a real student as well. Fu-st, there is the fundamental Chapter II., wherein the rules for the multiplication of vectors are made to depend upon the difficult mathematics of spherical conies, combined with versors, quaternions and metaphysics. Next, Chapter IV., where the reader may be puzzled to find out why the usual simple notion of differentials is departed from, although the departure is said to be obligatory. Thirdly, Chapter V., where the reader will be stopped nearly at the beginning by a rather formidable investigation of Hamilton's cubic. Only when the student is well acquainted with the nature of linear operators and how to work them can he tackle such an investigation. He should, therefore, pass on, to obtain the necessary experience. On then returning to the cubic he may find the investigation not so difficult after all, especially if it be simplified by some changes calculated to bring out the main points of the work more plainly.

The reader is led to think that the object of the investiga- tion is to invert a hnear operator — that is, given D^cB, to find

Digitized by Google

290

BLECTROMAQNETIC THB0R7.

OH. ni.

Eac'^D. But if this were all, it wotdd be a remarkable example of how not to do it. For the inverBion of a linear operator can be easily effected by other far simpler and more natural means. The mere inversion is nothing. It is the cubic equation itself that is the real goal. The process of reaching it is simplified by the omission of inverse operations. (It is also simplified by not introducing the auxiliary function called X-)

The fundamental cubic is derived from equation (105), or the equivalent equation (110) last investigated. I should remark that this equation is frequently useful in advanced vector-analysis as a transformation formula, turning Yemen to a function of Vmn. Now use the iorm (110), or

Here c is any linear operator. Now if ^ be a constant, gm is

a linear function of m, and therefore (c - g)m is any linear function of m ; that is, c - 7 is a general linear operator. Equation (111) therefore remains true when we substitute c-^ for c in it, not forgetting to make the change m x, and also the equivalent change in c', viz., from c to c -g. Equation (111) then becomes

Remembering that y is a constant, we may readily expand (113) to the form

(« - + Xj^^ - sr^) Vmn = c'Vcmcn - g (Vcmcn + c'Ywum + c' Vcnrn) ~^Vnm+5f*(cTmn + Vm(ai + Vcnm), . . (115)

where the cubic function of 7 on the left side is the expansion of Xg. The new coefficients Xi and X2 are, of course, to be

«ymn» c'Vcmcn,

(111)

where x is a known function of c, viz.,

clVcmcn

(112)

IVmn '

ELEMENTS OF VECTOlllAL ALGEBRA AND ANALYSIS.

291

found by expanding (114), but we do not want their values immediately. Since a; is a function of c only, Xg is a function of c and g only, bo that j:^ and are functions of c only.

Now since (111) is an identity, so is (115) ; and since g may have any value, the last e(|natif)n must be identically true for every power of g concerned, talcen one at a time. That is, it splits into four identities. Now, on comparing the coefficients of (f^ on the left and right sides, we obtain (111) again. Simi- larly, we observe that the coetlicients of g^ are the same. So fax, then, we have nothing new. But the g and terms give

a^Vmii=»Vcincii + c'(Vmcii + Vcmn), . . (116)

a;jVimi=»c'Viim + (Vincii + Vcmn), . . . (117)

whibh are fresh identities. From these various others may be dednoed by elimination or combination. The one we are seek- ing is obtained by operating on the first by e* and on the second by e'*, and then subtracting the second result from the first. This eliminates the vector in the brackets and leaves

(iCi<j'-.«jc'2)Vmn=c'Vcmcn-c'«Vmii, . (118)

«(a;-c'8)Vmii, . . . (119)

where the transition from (118) to (119) is made by usin^ (111) again. Kearranging, we have the final result,

(a5-V+V^-c'')'^»»-0, . . . (120)

which is Hamilton's cubic. Note that Vmn may be any vector we please, and may, therefore, be denoted by a single letter. Observe, also, that the cubic function of c' is of the same form as that of g in the expansion of x.

Since (120) is true for all linear operators, we may write c instead of c, giving

x-x^c--x.f--c^ = 0 (121)

This form is what we should have arrived at had we started from (105) instead of (110). The value of a; is the same in either case, and it may be inferred from this that x-^ and do not suffer any change when we from a linear operator to its conjugate.

That the complex function Xg is independent of 1, m, n, may be seen by inspecting (114), and observing the parallelepipedal

u2

292

ELECTROMAONETIO THEORY.

CH. III.

form of numerator and denominator. For, suppose we alter 1 to 1 + am, where a is any constant. The addition made to the numerator vanishes by the parallelepipedal property, and simi- larly in the denominator. The same invariance obtains when we change 1 to 1 + an. Also, the change of 1 to any scalar multiple of itself alters both the numerator and denominator in the same ratio. But, unless 1, m, n are coplanar, we may turn 1 to any vector by adding to it vectors parallel to 1, m. and n of the right size. Therefore, Xg is the same whatever vector 1 may be. By the same reasoning m may be any vector,, and so may n. But 1, m, n should be independent vectors (that

is, not coplanar). This is not because we can suppose that aa actual discontinuity occurs when (for example) 1 is brought

into the plane m, n, but merely because the expression Zg. assumes an indeterminate form in the coplanar case.

From the invariance of Vg follows that of the three functions it contains, namely, a;, arj, and That of x, of course, may be independently seen by itself, readily enough, but that of the others is less plain, because on expansion they are found to each involve three parallelepipedal products in the numerator instead of only one. Thus, expanding (114) we obtain

IVcmcn + mV<nid -t-nVckni / , oov

ivii ' • • ^-^^^

dVxnn+ cm Vni+cn villi /loov

iv55 • ' ' ' ^

In these we may, by the above, substitute c' for c, that is,, turn the linear operator to its conjugate. This does not mean that Xg is independent of the vector a which comes in when the operator is not symmetrical, but that it only involves a- quadratically.

The value of x being

aj-CiCjc^ + aca, (124)

expressed in terms of the principal oonstanta of the Bymmetrica)

operator and the rotation vector, we may obtain the reduced values of and x^ from it directly instead of from their general jxpressions. Thus : turn c to c - ^ (in 124), making it

«a-(«i-^)(^j-^)(^-5')+a(c-^)». . (126)

■LIMSNTB OF VBOIOBIAL ALQBBRA ikND ANALTSIS. 293

On expanwon, the ooeffioieiitB of g and show that

a5i«c^ + <yi + CiC3+a2, . . . (126)

Thus is independent of a, whilst involves its square, as we concluded previously.

When referred to the principal axes, Hamilton's cubic there- fore reduces to

0-(ciC^+aca)-(ciC2 + c2C3 + c3Ci + a2)c \

• (Ci+c,+c,)o»-c8, J ^ -"'^

and In the symmetrioal oaae of Tanishing a to

0-(c-Ci)(c-Cj)(c-C3). , . , (128)

Here the axea are ooperpendicular. But we may disregard the prindpal axes altogether^ and write the general oubio in the form

0-(c-5ri)(c-5f,)(c-5r8), • . • (129)

where the ^'s are the roots of ^^ = 0. If, then, these roots are all real and different, there are three directions of parallelism of r and cr, or three r's such that

Cj-S^jT* ars-^'sfr (130)

Now multiply the first by aad the second by r^, giving

WW» 'i«8-W« • • • (181)

The left members are not usually equal, but in the sym- metrical case they are, and then the right members are equalised. Then rirjssO, or is perpendicular to r,. Simi- larly is perpendicular to ig. This is the case of three mutually perpendicular axes of parallelism of force and flux we started from.

The Inversion of Linear Operators.

§ 172. If we write c"^ for c in the cubic (121) we see that becomes expressed as a function of r, cr, and c^. This is one way of inverting the operator, but a very clumsy way. The simple way is in terms of dyads, and is fully described by saying that if

c = a,l + b.m + c.n .... (132)

394

ELECTROMAGXEnO THBOBT.

CH. lU.

is any linear operator in dyadioal form, then its reciprocal is

C-1-L.A + M.B + N.0, . . . (133)

where A, B, 0 is the set complementary to a, b, c, and L, M, IT the set complementary to 1, m, n. We have already used these complementary yeotors in the early part of this chapter^ equations (54) and (55), § 114. We showed by elementary considerations that any yector r could be expressed in terms ii any three independent vectors a, b, c by

r=rA.a + rB.b + rC.c, . . . (134)

where the complementary vectors A, B, 0 are got from a, b, e by

. Vbc - Vca „ Vab /iq-v

aVbc aVbc aVbc

These equations serve to define the set complementary to a, b, c. We also showed at the same time that the vector r could ba expressed in terms of the complementary set by

r = ra.A+rb.B+rc.a . . . (136)

To veriQr, we have merely to multiply (134) by A, B, 0 in tum^ and (136) by a, b, c in turn. These equations may be written

r = (a.A + b.B + c.C)r, . . . (137)

r«(A.a+B.b + 0.c)r, . . . (138)

showing that the dyadic in the brackets is of a very peculiar

kind, inasmuch as its resultant effect on any vector is to repro- duce the vector. That is, taken as a whole, and disregarding its detailed functions, the dyadic is equivalent to unity. Now, suppose it is given that

B = (a.l + b.m + cn)r, . . . (139) so that B is any linear function of r. We know that

B = (a.A + b.B + c.C)R, . . . (140) and that r«'(L.l + M.m + N.n)r, . . . (141)

by the property of the complementary vectors explained^

Comparing (140) with (139), we see that

lr = AE, mr = BE, nr = OE. . . (142)

ELBMENT8 OP VECTORIAL ALGEBRA AND ANALYSIS. 296

Using these in (141), we convert it to

r = (L.A + M.B + N.C)B, . • . (143)

oompariDg which with (139), we. see that the inversion of the dyadic has heen effected in a simple and neat manner.

Professor Oibhs calls the vectors A, B, 0 the reciprocals of e. They have some of the properties of reciprocals. Thus,

aA-»l, bB = l, cO=»l. . . . (144)

Bat it seems to me that the use of the word reciprocal in this manner is open to objection. It is in conflict with the obvious meaning of the recipocal ar^ of a vector a, that it is the vector whose tensor is the reciprocal of that of a with unchanged ort (or with ort reversed in the quatemtonic system). It will also be observed that Gibbs's reciprocal of a vector depends not upon that vector alone, but upon two others as welL It would seem desirable, therefore, to choose some other name than re- ciprocal. I have provisionally used the word complementaiy " in the above, to avoid confusion with the more natural use of "reciprocal."

Vector Product of a Vector and a Dyadic. The Differentia- tion of Linear Operators.

§ 173. In connection with the dyadic, it should be remarked that we have only employed them in the manner they usually present themselves in physical mathematics, namely, so as to make scalar products with the vectors they are associated with. But there is also the vector product to be considered iu a com- plete treatment. Thus,

V<^r-a.Vlr+b.Vnir + c.Vnr, . . (146)

Vr<^ = Vra.l + Vrb.m + Vrc.n. . . (140)

Observe that, as before with the scalar products, the vector r only combines with the vectors nearest to it in the dyadic, and not separated from it by the dots. Notice, too, that whereas the scalar product (/>r of the dyadic <f> and a vector r is a vector ; on the other hand, the vector products V<^r and Yr<^ are themselves dyadics, and behave as sach in ui^ion with other vectors. Thus sY^r is a vector, and so is sVr^, the first being got by making scalar products of 8 with a, b^

296

SUEOTBOMAOKinO THaOBT.

mud tbe leoond with Yn, Ao. But to go further m this direotion would be to go beyond the scope of the present treatment.

The differentiation of linear operators must, however, be aaentioned, because the process is of frequent occurrence in electromagnetic investigations. If we think only of the differential coefficient of a scalar, that it is its rate of increase with some variable, it might seem at first sight that the differential coefficient of a linear operator was nonsense. But a little consideration will show that it is a perfectly natural, and by no means a difficult conception. Thus, from

D-cB^ (147)

where r is a linear operator, we obtain, by differentiation with respect to a eoalar variable, say the time,

Di-cS+eE. (148)

Here in the second term on the right we suppose that c is con- stant, and in the first that E is constant. The meaning of cE, then, is the rate of increase of D when e alone Taries. It is the linear operator whose constituents are the rates of increase of the constitoents of e. Tliat this is so will be eyident on differentiating the set of equations (79). Therefore, if

e>=a.l + b.m + c.n, .... (149)

W0 shall have

C"a.l+b.m+c.n+a l+b.m+cn, . . (150)

the sum of two dyadics. But it may be that our axes of reference are invariable, as for example when

e->i.Cx+i.c,4-k Cg, .... (151)

i, j, k being a fixed set of rectangular orts. Then we have the one dyadic

c = i.c, +j.C2 + k.C3, .... (152)

where, of course, the dots over the i and J do not signify any

differentiation.

In an isotropic dielectric of variable permittivity the electric stress leads to the force - VdlcE^) per unit volume, where the scalar e alone is differentiated, so that the result is - JE^e.

BLBMSKT8 OF VBOTORIAL ALOSBfiA AKD ANALT8IB. 297

Bat if the dieleotrie be eolotropio, the oonesponding foroe is

Ve(^£c£). This is equivalent to

-i(i.BgB+J.EgE+k.4;E).. . (163)

^here efc/cfx, <Seo., are differential ooeffioients of c as above ex- plained. It means the same as

• (Vi> - Ve) (iED), . . • . (164)

where Vd means that D alone, and that £ alone is •differentiated.

Snmmary of Metbod of Vector Analysts.

§ 174. In the last paragraph I came dangerously near to OTerstepping the imposed limits of my treatment of vectors, which is meant to present the subject merely in the form it &8sumes in ordinary physical mathematics. If we were to ignore the physical applications, and treat vector algebra as a branch of pure mathematics, regardless of practical limitations, there would be no bounds to the investigation of the subject. It will now be convenient to wind up with a few remarks on the jarevious, and on the nature and prospects of vector analysis.

Since we live in a world of vectors, an algebra or language •of vectors is a positive necessity. At the commencement of this chapter, §§ 97 to 102, 1 made some general remarks on the ^nature of cartesian analysis, vector analysis, and quaternions ; And the reader is reoommended to read them again from a more advanoed point of view. Then, he was supposed to know next to nothing about vectors. Now, although he need not have absorbed all the special applications of vector algebra that have been given since, it may be presumed that he has acquired a :general knowledge of the principles of the subject. There is •no longer any question as to the desirability and utility of yectorial analysis. The present question is rather as to the form the vector algebra should take. On this point there is likely to be considerable difference of opinion, according to the point of Tiew assumed, whether with regard to physical appli- •cations, or abstract mathematical theory. Let us then, to begin with, summarise the leading points in the algebra given above.

First, there is the idea of the vector as a distinct entity, i^early everyone nowadays knows and appreciates the idea.

298

■LBOTfiOMAGNlETIO THBOBT.

CH. in

And it is a noteworthy fact that ignorant men have long been in advance of the learned about yeotors. Ignorant people, like Faraday, naturally think in veotors. They may know nothing ft! their formal manipulation, but if they think about vectors^ ihey think of them as vectors, that is, directed magnitudes. No ignorant man could or would think about the three com- ponents of a vector separately, and disconnected from one another. That is a device of learned mathematicians, to enable them to evade vectors. The device is often useful, especially for calculating purposes, but for general purposes of reasoning the manipulation of the scalar components instead of the vector itself is entirely wrong.

In order to facilitate the reading of vector work, the vector has its special type, thus R This Clarendon, or any verj similar neat black type (not block letters), is meant to mark the veotor, always the vector, and never anything else, with the obvious exception of headlines that speak for themselves. Also, to economise letters, and ease the strain on the memory, the same letter suitably modified serves for the tensor, the ort, and the three scalar components. Thus E is the tensor, or size, and the ort (signifying the orientation) so that E=^^ EEj ; whilst the scalar components referred to rectangular axes are E^, E.,, E3. The physical dimensions may be moat conveniently merged in the tensor E. Every vector has its species. The one we are most familiar with is the space vector, or straight line joining two points, or more strictly the displacement from one point to another. But all kinds of vector magnitudes are formally simihir in having size and ort, and therefore, when considered vectorially, obey the same laws. The properties of the space vector therefore supply us with the rules or laws of vector algebra.

The addition and subtraction of vectors is embodied in the assertion (whose truth is obvious) that the sum of any number of vectors making (when put end to end) a circuit is zero; <nr, in another form, all the various paths by which we may pasa from one point to another are vectorially equivalent, namely, to the vector straight from point to point. Every vector equation therefore expresses this fact Every term is a vector ; and if all the vectors be put on one side, with zero on the other, we express the circuital property ; whilst if we have vectors on both

ELEMENTS OF VECTORIAL ALGEBRA AND ANALYSIS. 299

sides of the equation, we assert the vectorial equivalence of two paths.