Miwfflf'-' ;^■•^-^- ,( ^1 ?' W i7 ■'i^Mwf /"^^r-x ' >v:;/ <:';^^r:^': .r^f^rri $C *•«".*'* '^'■^^^^JsVV l^,m^:mi^ •vr^f^fM vt^i;^{s(\ --^ ;,^*n. ::lV5f^^^^^%;^^ 'fWi ^'^ mit^. ':'{ ^A^A^^^^^ A.r -.Ar,r.''-r-: :\;'^Si ;t:>'-Vv;^ N>ic ^^^r?^ .A u,=^rcosO dt dt dt ' ^ dd) . „ d(b ^ de a =--^ sine, ^=--fcos0, Q, = -j-, dt " dt dt wherefore, by equations {E) d/T f radial acceleration —f, = [r -^ df \ d9 ~dt + r cos'' Q — ^ dt )■ transversal acceleration in the vertical plane =^ d [ d9\ ( d(p -p »'-r - -v-sme. cos0-p- dt \ dtj V dt 1 d f „d9\ . „ „dd> -— ( r' — - + r sin . cos 0-p- rdt\ dt) dt dt d9\ dt) azimuthal acceleration =/. = — ( rcosO — | - f . -^ cos + r sin — - . -^] ''" dt\ dt) \ dt dt dt dt) VELOCITIES. &c. WITH RESPECT TO AXES MOVEABLE IN SPACE. 1 d ( ^ • I ' r cos d dt \ dt c. Let the axes of as, y, z be always parallel to the tangent, principal normal and normal to the osculating plane of any curve. Then ds Mj, = 0, M^ = 0, " dt ^ = 0' where de, dr denote respectively the angle between consecutive tangents, and that between consecutive osculating planes. Hence tangential acceleration =f^=-~, ... . . , , ^ ds de /ds\2 de 1 (dsY acceleration m principal normal = r, = -—.-— =-- .-^ = --^5 ^ ^ -^^ dt dt \dtl ds fj \dtj acceleration in normal to osculating plane =f^ = 0. SECTION II. Dynamical Applications. 9. I propose here to consider the problem of the motion of any material system, so far as it depends on external forces only, and to develop the solution in that case in which the entire motion is determined by these forces, namely, in the case of an invariable system. 1 0. This problem naturally resolves itself into two : for, since every system of forces is reducible to a single force and a single couple, we have to investigate the effects of that force, and the effects of that couple. Now we know that the resultant force determines the motion of the centre of gravity of the system, be the constitution of the system what it may. In like manner the resultant couple determines something relatively to the motion of the system about its centre of gravity, which in the case of an invariable system defines its motion of rotation about that point, but which in other cases is not usually recognised as a definite objective magnitude, and has therefore no received name. This defect will be remedied by adopting momentum as the intermediate term between force and velocity, and by regarding as distinct steps the passage from force to momentum and that from momentum to velocity. In accordance with this idea we proceed to shew that as in our first problem we shall be concerned with the magnitudes, force, linear momentum or momentum of translation, and linear velocity or velocity of translation, so in the other we shall be concerned with the corresponding magnitudes, couple, angular momentum or momentum of rotation, and angular velocity or velocity of rotation ; and that, as all these magnitudes possess the properties characteristic of the magnitude u in the previous section, the Calculus there developed is applicable to them. 8 Mb R. B. HAYWARD, ON A DIRECT METHOD OF ESTIMATING 11. Consider a material system at any instant of its motion. Each particle is moving with a definite momentum in a definite direction, which may be resolved into components in given directions in the same manner as a velocity or a force. Let this momentum be resolved in the direction of a given axis OP, and its moment about that axis taken, the resolved part may be called the linear momentum, and the moment the angular momentum, of the particle relatively to the axis OP. Let the same be done for every particle of the system, and the sums of their linear and angular momenta taken, these sums may then be called respectively the linear and angular momenta of the system relatively to the axis OP. 12. Let the linear momenta relatively to the three axes Ox, Oy, 0% be denoted by u„ Uy, u^, and the corresponding angular momenta by h^, \, h^ respectively ; then it may easily be shewn that the linear momentum relatively to the axis, whose direction-cosines are I, m, n, is lu^ + mUy + nu^, and that the angular momentum relatively to the same axis is Ih^ + mhy + nh^. The first expression will be a maximum, and equal to \u,^ + u^ + u^\i, when I : m : n :: Uj : Uy : u^; and if this be denoted by m, it is plain that the linear momentum along any line inclined to the direction of u at an angle 9 will be u co%6. Hence we may regard the whole linear momentum of the system as equivalent to the single linear momentum u determinate in intensity and direction. In like manner we may conclude that the whole angular momentum is reducible to a single angular momentum h determinate in intensity and direction. 13. Thus, just as a system of forces is reducible to a single force and a single couple, the momenta of the several particles of a system are reducible to a single linear and a single angular momentum, which we shall speak of as the linear and angular momenta of the system. It is to be observed that the linear momentum u is independent of the origin O both as regards direction and intensity, but the angular momentum h is in both respects dependent on the position of O. Also it may be proved, as in the case of a system of forces, that the angular momentum h remains constant, while O moves along the direction of the linear momentum u, but changes, as O moves in any other direction; and finally, that its intensity will be a minimum and its direction coincident with that of u, when O lies upon a certain determinate line, which (from analogy) may be termed the central axis of momenta. 14. Now let us consider the changes in the linear and angular momenta, as the time changes, when the system is acted on by any forces. In the time dt any force P generates in the particle on which it acts the momentum Pdt, and these momenta, being resolved and summed as was done above, will give rise to a linear momentum Rdt in the direction of the resultant force R of the forces (P), and an angular momentum Gdt relatively to the axis of the resultant couple G of the same forces. Since however the internal forces consist of pairs of equal and opposite forces in the same straight line, by the nature of action and reaction, the momenta produced by them will vanish in the VELOCITIES, &c. WITH RESPECT TO AXES MOVEABLE IN SPACE. 9 summation over the whole system ; we may therefore regard R and G as the resultant fprce and resultant couple of the external forces. Then the linear momentum u along the line OU must be compounded with the linear momentum Rdt in the line OR in order to obtain its value at the time t + dt: and in like manner the angular momentum h relatively to the axis OH must be compounded with the angular momentum Gdt relatively to the axis OG. 15. Hence the method of the previous section applies to momenta of both kinds, replacing / in one case by R and in the other case by G. Thus the equations {B) give us du dd) — = RcosRU, u-^= R sin RU, dt dt where d(b is the arc through which U moves towards R in the time dt : and — = G cos GH, A -/^ = G sin GH, dt dt where d^ is the arc through which H moves towards G in the time dt. Also for fixed rectangular axes, with respect to which the components of R and G are X, Y, Z and L, M, N respectively, it is plain from the above reasoning that we should have dt ~ ' dt ~ ' dt ~ ' dh^ d\ dh^ dt dt dt which are really the six fundamental equations of motion of our works on Dynamics. For rectangular axes moveable about 0, the equations {E) of the last section furnish two sets of three equations, of which the types are will change by reason of the variation of TT T . There is an exception however in the case where OH and 01 coincide, for then the rotation does not change the position of OH in the system : this can only be the case when the radius 01 of the central ellipsoid is also a normal, that is, when it coincides with one of the principal axes. Hence the principal axes are the only permanent axes of rotation of a body acted on by no forces (as is implied in our supposition of h being constant) : in all other cases the axis of rotation moves in the body and in space, and the angular velocity about it varies. , 25. If w be constant and its axis 01 fixed in the body, OH will also be fixed in the body, and h will be constant ; but OH will then in general move in space, and the system must therefore be acted on by forces, whose resultant couple has its axis perpendicular to OH and in the plane of motion of OH. Hence the plane of the couple is HOI, if 01 be fixed in space as well as in the body, and its moment is constant, since the velocity of OH is constant ; thus the constraining couple on a body revolving uniformly about a fixed axis through its centre of gravity is determined. In the exceptional case of a principal axis, OH is also fixed in space, and there is no constraining couple. 26. Before proceeding to the solution of the problem of a body's rotation about its centre of gravity by a method more in accordance with the plan of this paper, it will be well to shew how readily Euler's equations may be obtained from our principles. \i Mr R. B. HAYWARD, ON A DIRECT METHOD OF ESTIMATING If the moveable rectangular axes in § (15) be supposed fixed in the body and coincident with the principal axes, we must substitute o)], («2> '^3 ^o** ^xi ^j,» ^zi and hi, Ag, A3, or Awi, Bw^, Ccos for A^, Aj,, A^, and then we obtain three equations, of which the type is, either or A~=L +{B- C). «>,W3. The latter is the well known form of Euler's equations. 27. Instead of employing these equations, let us endeavour to solve our problem more directly. Our object is to determine the motion of 01, the axis of rotation, both in the body and in space, and the variation of w, the angular velocity about it. This may be conceived to be due to an angular acceleration of definite intensity about a definite line ; and this may be regarded as compounded of two similar accelerations, the one arising from the acceleration of momentum produced by the couple G about its axis OG, the other being the angular acceleration which would exist if no forces acted. Now the forces in the elementary time dt produce the angular momentum Gdt about OG, and this momentum gives rise to a corresponding angular velocity Kdt about an axis OK related to OG, just as 0/ is OH: thus the angular acceleration *c due to the forces is determined as to direction and intensity. The other component of the angular acceleration is in like manner due to a cori'esponding accele- ration of momentum, which it is now necessary to determine. 28. Regard any line OP fixed in the body and moving with it by reason of the velocity 10 about 01; and apply equation (C) of section I., putting A for m ; therefore dt = -hw . sin IH . sin HP . sin IHP, which determines the acceleration of momentum for any line OP. This acceleration will be zero, if OP be in the plane HOI, and a maximum, if OP be perpendicular to HOI, when its value is hot] sin HI: we may therefore regard the total acceleration* (/) due to the motion of the body as being about the line OF, perpendicular to HOI, and equal to + hw sin HI, when OF is taken on that side of HOI on which a positive rotation about OF would move OH towards 01. Now to this acceleration of momentum (/) about OF will correspond an acceleration of angular velocity (\) about a line OL which is related to OF, just as 0/is to OH. 29. To sum up our results, we have shewn that, if OH be the axis of angular momentum (A) and 01 that radius of the central ellipsoid at whose extremity the normal is parallel to OH, 01 is the axis of angular velocity (w) : if OG be the axis of the impressed couple (G), and OK the radius for which the normal is parallel to OG, OK is the axis of angular accele- • This result is that which M. Poinsot states thus : " The axis of the couple due to the centrifugal forces is perpendicular at once to the axis of rotation and to that of the ' couple d'impul- sion.'" — M. Poinsot's "couple d'impulsion" is our angular momentum. VELOCITIES, &c. WITH RESPECT TO AXES MOVEABLE IN SPACE. 15 ration due to the forces (/r) : lastly, if OF be perpendicular to the plane HOI, it is the axis of acceleration of angular momentum in the moving body, and OL, the radius for which the normal is parallel to OH, is the axis of angular acceleration due to the motion of the body (\). Also we have the three equations for w, k, X, lit) = h cos HI, Kk = G cos GK, L\ = / cos FL, where y= hw sin HI, I, K, L denoting the moments of inertia about 01, OK, OL respectively. It will be observed that 01 is the direction, to which the plane through O perpendicular to OH is diametral, and that OL is the direction to which the plane HOI is diametral, hence OL lies in the plane perpendicular to OH. Also if the rectangular planes HOI, FOL intersect in OM, it will be seen that the axes* 01, OL, OM axe conjugate diameters of the central ellipsoid. 30. We will develop the solution in the simpler case of OG coinciding with OH and therefore OK with OL In this case OH remains fixed in space, and the motion of 01 is conveniently referred to its motion in the plane HOI and the motion of that plane about OH. AT Let the conjugate radii 01, OL, OMhe denoted by r, r, r", then the moments of inertia about them are -n -f^ , -rr^ > by the property of the central ellipsoid : also let the angles HOI, FOL be denoted by 9, 6' : then our last equations become (1) a) = Ar*cos0, (2) k = Gr^ cos ^, (S) \ = (Aw sin 0) . r'^ cos ^. Resolve co, k, \ along the axes OH, OM, OF; the component velocities are then w cos 6 along OH, w sin 9 along OM, and zero along OF, while the component accelerations are K cos 9 along OH, Ksm 9 +X sin 9' along OM, and X cos 9^ along OF ; whence, by applying either the equation (C) or the equations (£), d dt (w cos 9) =KCos9 = Gr^ cos'' 9, . .(*) * Hence if no forces act, the instantaneous motion of the axis of rotation OJ will be towards OL, the radius with respect to which the plane HOI is diametral. ' 16 Mr R. B. HAYWARD, ON A DIRECT METHOD OF ESTIMATING — (w sin 0) = K sin + X sin ff = Gr* cos sin + {Im sin 0) . r'* cos 6' sin 0', (5) o) sin . Q = Xcosfl' = (Aw sin d) .r'^cos^ff, (6) where Q is the angular velocity of OM {i. e. of the plane HOI) about OH. Also we have —r- = G (7) at Let p, p denote the perpendiculars from O on the tangent planes to the central ellipsoid at /, L respectively, then p = r cos 9, p = r cos Q' . Equation (4) becomes by (1) — (Ap^) = Gp% whence by (7), jo is constant. This shews that the tangent plane at / to the central ellipsoid is fixed, and that the central ellipsoid therefore rolls on it as a fixed^ plane. Also by (4) and (5) l(!^ = iff!L!!!L^U^' = Ay^tan0.tan0', (8) dt dt \w cos 61 ft) cos d and from (6) Q=V' (9) 31. Now r, /, r" being conjugate radii of the central ellipsoid, there exist three relations between them and the conjugate axes ; these are, (putting p sec Q, p sec for r, r respectively and denoting the angle lOL by y) p" sec' d + p^ sec' Q' + r"' °=l + ;g + ?i = -^' suppose, y/'2 + y V" + p'i)'' sec' Q sec' e' . sin' X = ;b^'^^"*"2b"'^' ^"PP°^^' j,2p'2/'2 ^ ___ = G, suppose, and by reason of the rectangularity of the planes lOM, LOM, we have i cos j^ = sin sin Q'. Eliminating r" and ^, we obtain C p' sec' 6 + /' sec' 9' + -^-^j = £, G f-^ + 4) + py'(sec' + sec^ 9'-l)^F. From these eliminating sec' 9', we obtain which, (remembering what E, F, G denote, and putting a, /3, 7 for the three quantities 1 1 1 .• 1 X , , , , ,1 ^ , 1 , 1 — — - respectively) Ap" Bp^' Cp" ^ ^' is equivalent to p'2 = p2(i + a/37 cot' 9); VELOCITIES, &c. WITH RESPECT TO AXES MOVEABLE IN SPACE. 17 also, since p', ff are involved in precisely the same manner as p, 6, it follows that where a, /3', 7' are what a, /3, 7 become, when p is put for p. From these equations we obtain cot' 0' = - -t;^, but a' = 1 —7- = 1 - a'/3'7' 1 + a/37 cot' 0' 1 1 _ 1 + /37 cot= e If" "" ' ~ Af ■ r+^^7Co?y ~ " 1 + a^7 cot= ' whence, with the corresponding expressions for /3 , 7 , (1 4- c.i67 cot^ e)' cot= Q =- cot^ ^ • (1 ^ ^^ cot-' Q){\ + 7a cot- 0)(I + a^ cot^ 0) ' hence p', Q' are known in terms of p, 0. 32. Substituting now for p , 6' in terms of p, 6, we obtain from equation (8) d(cot 0) _ , ,2 cot ~d^ " ^ coit? = ± A/^ - (1 +|87cot^0)(l +7acot^0)(l +a/3cot^0)|i, (10) and from equation (9) Q = hp^ (1 + a)37 cot- 6). If A be known by means of (7), these two equations determine completely the motion of 01 the axis of angular velocity in altitude and azimuth, since p, and therefore a, j8, 7, are constants. If (b denote the azimuth at any instant, -j- = Q, and dividing the last equation by the ' at preceding, we obtain a relation involving (p and 9 only, which will therefore be the differential equation to the conical path of 01 in space ; and it is worth notice that, this relation being independent of h, the path of 01 is the same whether the body be acted on by a couple whose axis coincides with OH, or whether it be acted on by no forces. The effect of the couple in this case is in fact only to alter the velocities of the different lines, not the paths which they describe. Also equation (l) gives to = hp^ sec 6, from which w is known when 6 is known by means of equation (10), and thus the velocity about 01 is known completely as well as its position at any time. 33. If there be no forces acting, i. e. if G = 0, h is constant, as is also o) cos 0, the re- solved angular velocity of the body about OH. Also the vis viva of the body w -' r cos 9 and is therefore constant; and hence — is constant, or war; both well known results. It may r Vol. X. Part I. 3 ig Mb R. B. HAYWARD, ON A DIRECT METHOD OF ESTIMATING vis viva also be well to note that p* = -. — , even if G do not vanish, and therefore (angular njomentum)^ that the vis viva cc (angular momentum)^, when the angular momentum has a fixed direction. It is needless to carry the solution farther by investigating the path of 07 in the body, the position of the principal axes relatively to Oil, 01 at any time, 8iC., since all these questions are discussed with the utmost completeness and elegance in M. Poinsot's Theorie de la Rotation. 34. We will conclude this paper by solving the problems of Foucault's Gyroscope as applied to shew the effects of the earth's rotation, as it will furnish a good illustration of the advantages of the methods of this paper in enabling us to form our equations immediately with respect to the most convenient axes. The Gyroscope is essentially a body, whose central ellipsoid is an oblate spheroid by reason of its two lesser principal moments being equal, and which is capable of moving freely about its centre of gravity. In this case, if a rapid rotation be communicated to it about its axis of unequal moment, that axis will evidently retain a fixed direction in space however the centre of gravity move, and therefore relatively to a place on the surface of the earth will alter its position just like a telescope, whose axis is always directed to the same star. But there are two other remarkable cases, where the motion about the centre of gravity is partially constrained ; the first, where the axis of rotation is compelled to remain in the plane of the meridian, the second, when it is compelled to remain in the horizontal plane. These we will now consider. 35. When the polar axis of the central spheroid always lies in the plane of the meridian, let denote the north polar distance of its extremity A. Let OB coincide with the equato- rial axis in the plane of the meridian, and OC with that perpendicular to the same plane, and refer the motion to the axes OA, OB, OC. Now if Q denote the angular velocity of the earth d9 about its axis, the motions of OA, OB, OC will be due to the velocities Q cos 0, Q sin 6, — at about them respectively : also the actual velocities of the body about the same axes are respectively w, Q, sin d, — -, and the consequent angular momenta Aui,B\lsia d,B-—, where to, — , at at at are reckoned positive when the motion about their axes is in the same direction as the earth's about its axis. VELOCITIES, &c. WITH RESPECT TO AXES MOVEABLE IN SPACE. 19 It is evident that in this case the constraint is equivalent to a couple, whose axis coincides with OB, let this be denoted by G. Then the equations (£) in the first section applied to the case before us give — (Jw) = 5 — . Q sin - 5Q sin . — = 0, dt^ ^ dt dt -(BQs\ne) = G + Aw.-'-B—.Qcose, at dt dt t -{B — ] =5Qsia0.12cos0-^ft,.Qsin0; dt\. dt) from the first equation, w is constant, and from the last d"e (A «c' (A A ■ ^ -— = — — a> - Q cos y Q sin ; dt' \B ) now in this case Q the velocity of the earth's rotation is very small compared with w, neglecting therefore the second term of this equation, — - = — — (oQ sm Q, df B ' whence the motion of the axis OA is precisely similar to that of the circular pendulum, whose S A Bs length is I, where - = — wO, and therefore 1= — , the direction of the earth's axis taking the I B AtoQ, place of the direction of the force of gravity. Also since-— = 0, when sin = 0, there are two positions of equilibrium of the axis OA, namely, when 9 = 0, and 6 = ir: the former is stable and the latter unstable, when w and Q have the same sign. Hence the axis of rotation will remain at rest, if originally placed in the direction of the earth's axis, stably or unstably according as the rotation regarded from the end directed to the north pole is in the same direction, or the contrary, with the earth's rotation re- garded from the same pole. If placed originally in any other position, it will oscillate about its position of stable equilibrium according to the same laws as a circular pendulum. 36. Next, let the polar axis OA always remain in the horizontal plane, and let (p denote its azimuth from the south towards the east. Taking OB and OC as before, the latter will now coincide with the vertical. If c denote the co-latitude, Q may be resolved into Q cos c vertical and Q sin c horizontal in the north direction : hence the angular velocities by which the axes move, are relatively to OA, OB, OC respectively . . d(b — Q sin c cos 0, - Q sin c sin 0, -^ + Q cos c, etc and the corresponding angular momenta are Am, - BQ sin c sin 0, 5 ( -^ + Q cos c j , 3 — 2 so Mr R. B. HAYWARD, ON A DIRECT METHOD, &c. whence as before, ^ (- jBQ sin c sin 0) = G + Aw i~y + cose) + SI -^ + Q coscj . Q sin c cos (p, d ( dd) \ . . . . . — I S — i- + cos c 1 = BQ. sm c sin (^ . Q sin c cos + Joj . Q sin c sin (p, and therefore w is constant, and d? + b) {y + ax + c) = 0, where b and c are independent constants. Most other writers insist on the condition b = c. Lacroix refers only to Euler and to a paper by D'Alembert (Berl. Mem. 1748) which I have not seen. All the reasons which have been given on the subject are reducible, so far as I have met with them, to those which I shall cite from Lacroix himself and from Cauchy. Lacroix (ii. 280) in his explanation of this case, and in defence of the substitution of (y - a.v + b) (y +ax + b) for (y - ax + b) (y + ax + c), makes two remarks. The first, — chacun de ses facteurs doit etre considere isolement; the second, alluding to the form with two constants, is — on n'en tire pas d'autres lignes que celles qui resulteraient de Tintegrale renferm- ant une seule constante. M. Cauchy (Moigno, ii. 456) says — On ne restreindra pas la generalite de cette integrale en designant toutes les constantes arbitraires par la meme lettre... : and grounds the right to do this on the possibility of thus obtaining all the curves which can satisfy the equation. In searching out this matter, I found it by no means clearly laid down what is meant by the solution of a differential equation : and, on looking further, I found some degree of ambi- guity attaching to the word equation itself. The following remarks will sufficiently explain what I mean. A connexion between the values of letters, by which one is inevitably determined when the rest are given, may be called a relation. But an equation is the assertion of the equality of two expressions. Every simple explicit relation leads to an equation, to one equation : but every equation does not imply only one relation. The object of the pi'oblem being relation between y and x, the equation {y — x) (y — x^) = implies power of choice between the relations y = x^, y '^ w. The equation {y - x') (a; - 1) = implies the relation y = od' with a dispensation from all relation in the case of a; = 1. Now I assert that in mathematical writings confusion between the equation and the simple relation is by no means infrequent : without dwelling on instances, I think we shall find, by 22 Mk DE morgan, ON THE QUESTION, examining approved modes of reasoning, that the confusion cannot but be seen to have existed, so soon as the statement of what it consists in is made. It is affirmed that the primitive of a primordinal equation cannot have two arbitrary constants : but all that can be proved is that no such differential equation can have two related arbitrary constants in its primitive. Let /(a;, y, y') = involve any number of relations between at, y, y : and let (p{x, y, a,b) = be a relation between a and b, or any number of relations. Consequently, selecting one relation by which to satisfy (p = 0, values of a and b can be found to satisfy both (p(x, y, a, h) — 0, and also (p(x + h,y + k, a,b) = 0, for any values of x, y, h, k. Hence, for any values of x and y, y' may have any value whatever: and this is incompatible with /(a;, «/, y') =0. But this is no argument against any form of (p{;v,y, a, b,) = 0, in which the constants are not in relation ; as \^(.r, y, a) . ^(|/(cr, y, a) = 0, and ^(cT? + h, y + k, b) = 0, or else by \^(.r + h, y + k, a) = 0, ^(x, y, b) = 0. And from neither set can we deduce?/'. If >|/(j + y . y' = for a differential equation, in which a has disappeared and y is introduced, it is easy to give this differential Vol. X. Part I. 4 86 Ma DE MORGAN, ON THE QUESTION, WHAT IS THE SOLUTION &c. equation a primitive containing any number of separate and independent constants. For Aa + Ai (>■», y) + A2 {^G^)^)}'' + ... = cannot give any relation in which one of these constants disappears in favour of y except ^j + ^„ . y' = 0, in which they all disappear. But this is merely formal ; for Ao + Ai (a?,j/) + ... = is but a transformation of some case of (.r, y) = f{Afi,A^,...) or of (p[ic,y,f{Af„Ai,...)^ =0. All we have done, then, amounts to no more than use of the obvious theorem that a single arbitrary constant is equivalent to an arbitrary function of as many arbitrary constants as we please. Moreover, we may prove that P + y' can only be a factor in the differential of one class of forms. If \F(.v,y)Y give M{P + y), nothing but {\f/F(a!, y)\' can give N(P + y) : and F{ar, y) — const, and \l/F{ai,y) = const, are the same equations. But it is otherwise with P + y' , P being a function of x,y, y. This occurs, as previously shewn, in the differentiations of two distinct classes of forms. Thus + y" is a factor in \f{aiy' — y)Y ssiA \n \Fy'\'. The equation f{xy' -y) = Ao+A, Fy' + A, {Fy']' + ... is one which contains in every sense, formal and quantitative, as many arbitrary constants as we please; and an alteration in the value of one of them, is an alteration in the character of the relation subsisting between wy — y and y'. Nevertheless, it is impossible to get rid of any one constant in favour of y" in any way except one which results in y" = 0, an equation from which all the constants have disappeared. Considerations similar to those which have been applied to primordinal equations might also be applied to equations of any order, A. DE MORGAN. Univeesity College, London, March 29, 1856. III. On Faraday s Lines of Force. By J. Clerk Maxwell, B.A. Fellow of Trinity College, Cambridge. [Read Dec. 10, 1855, and Feb. U, 1856.] The present state of electrical science seems peculiarly unfavourable to speculation. The laws of the distribution of electricity on the surface of conductors have been analytically deduced from experiment; some parts of the mathematical theory of magnetism are esta- blished, while in other parts the experimental data are wanting ; the theory of the con- duction of galvanism and that of the mutual attraction of conductors have been reduced to mathematical formulae, but have not fallen into relation with the other parts of the science. No electrical theory can now be put forth, unless it shews the connexion not only between electricity at rest and current electricity, but between the attractions and inductive effects of electricity in both states. Such a theory must accurately satisfy those laws, the mathematical form of which is known, and must afford the means of calculating the effects in the limiting cases where the known formulae are inapplicable. In order therefore to appreciate the requirements of the science, the student must make himself familiar with a considerable body of most intricate mathematics, the mere retention of which in the memory materially interferes with further progress. The first process therefore in the effectual study of the science, must be one of simplification and reduction of the results of previous investiga- tion to a form in which the mind can grasp them. The results of this simplification may take the form of a purely mathematical formula or of a physical hypothesis. In the first case we entirely lose sight of tlie phenomena to be explained; and though we may trace out the consequences of given laws, we can never obtain more extended views of the connexions of the subject. If, on the other hand, we adopt a physical hypothesis, we see the phenomena only through a medium, and are liable to that blindness to facts and rashness in assumption which a partial explanation encourages. We must therefore discover some method of investigation which allows the mind at every step to lay hold of a clear physical conception, without being committed to any theory founded on the physical science from which that conception is borrowed, so that it is neither drawn aside from the subject in pursuit of analytical subtleties, nor carried beyond the truth by a favourite hypothesis. 4 — 2 28 Mr maxwell, ON FARADAY'S LINES OF FORCE. In order to obtain physical ideas without adopting a physical theory we must make our- selves familiar with the existence of physical analogies. By a physical analogy I mean that partial similarity between the laws of one science and those of another which makes each of them illustrate the other. Thus all the mathematical sciences are founded on relations between physical laws and laws of numbers, so that the aim of exact science is to reduce the problems of nature to the determination of quantities by operations with numbers. Passing from the most universal of all analogies to a very partial one, we find the same resemblance in mathematical form between two different phenomena giving rise to a physical theory of light. The changes of direction which light undergoes in passing from one medium to another, are identical with the deviations of the path of a particle in moving through a narrow space in which intense forces act. This analogy, which extends only to the direction, and not to the velocity of motion, was long believed to be the true explanation of the refraction of light; and we still find it useful in the solution of certain problems, in which we employ it without danger, as an artificial method. The other analogy, between light and the vibrations of an elastic medium, extends much farther, but, though its importance and fruitfulness cannot be over- estimated, we must recollect that it is founded only on a resemblance inform between the laws of light and those of vibrations. By stripping it of its physical dress and reducing it to a theory of " transverse alternations," we might obtain a system of truth strictly founded on observation, but probably deficient both in the vividness of its conceptions and the fertility of its method. I have said thus much on the disputed questions of Optics, as a preparation for the discussion of the almost universally admitted theory of attraction at a distance. We have all acquired the mathematical conception of these attractions. We can reason about them and determine their appropriate forms or foimulte. These formula} have a distinct mathematical .signifitance, and their results are found to be in accordance with natural phenomena. There is no formula in applied mathematics more consistent with nature than the formula of attractions, and no theory better established in the minds of men than that of the action of bodies on one another at a distance. The laws of the conduction of heat in uniform media appear at first sight among the most different in their physical relations from those relating to attractions. The quantities which enter into them are temperature, flow of heat, conductivity. The word /orce is foreign to the subject. Yet we find that the mathe- matical laws of the uniform motion of heat in homogeneous media are identical in form with those of attractions varying inversely as the square of the distance. We have only to substitute source of heat for centre of attraction, flow of heat for accelerating effect of attraction at any point, and temperature for potential, and the solution of a problem in attractions is transformed into that of a problem in heat. This analogy between the formulae of heat and attraction was, I believe, first pointed out by Professor William Thomson in the Cambridge Math. Journal, Vol. III. Now the conduction of heat is supposed to proceed by an action between contiguous parts of a medium, while the force of attraction is a relation between distant bodies, and yet, if we knew nothing more than is expressed in the mathematical formulae, there would be nothing to distinguish between the one set of phenomena and the other. Mr. maxwell, ON FARADAY'S LINES OP FORCE. 29 It is true, that if we introduce other considerations and observe additional facts, the two subjects will assume very different aspects, but the mathematical resemblance of some of their laws will remain, and may still be made useful in exciting appropriate mathematical ideas. It is by the use of analogies of this kind that I have attempted to bring before the mind, in' a convenient and manageable form, those mathematical ideas which are necessary to the study of the phenomena of electricity. The methods are generally those suggested by the processes of reasoning which are found in the researches of Faraday *, and which, though they have been interpreted mathematically by Prof. Thomson and others, are very generally supposed to be of an indefinite and unmathematical character, when compared with those employed by the professed mathematicians. By the method which I adopt, I hope to render it evident that I am not attempting to establish any physical theory of a science in which I have hardly made a single experiment, and that the limit of my design is to shew how, by a strict application of the ideas and methods of Faraday, the connexion of the very different orders of phenomena which he has discovered may be clearly placed before the mathematical mind. I shall therefore avoid as much as I can the introduction of anything which does not serve as a direct illustration of Faraday's methods, or of the mathematical deductions which may be made from them. In treating the simpler parts of the subject I shall use Faraday's mathematical methods as well as his ideas. When the complexity of the subject requires it, I shall use analytical notation, still confining myself to the development of ideas originated by the same philosopher. I have in the first place to explain and illustrate the idea of "lines of force." When a body is electrified in any manner, a small body charged with positive electricity, and placed in any given position, will experience a force urging it in. a certain direction. If the small body be now negatively electrified, it will be urged by an equal force in a direction exactly opposite. The same relations hold between a magnetic body and the north or south poles of a small magnet. If the north pole is urged in one direction, the south pole is urged in the opposite direction. In this way we might find a line passing through any point of space, such that it represents the direction of the force acting on a positively electrified particle, or on an elementary north pole, and the reverse direction of the force on a negatively electrified particle or an elementary south pole. Since at every point of space such a direction may be found, if we commence at any point and draw a line so that, as we go along it, its direction at any point shall always coincide with that of the resultant force at that point, this curve will indicate the direction of that force for every point through which it passes, and might be called on that account a line of force. We might in the same way draw other lines of force, till we had filled all space with curves indicating by their direction that of the force at any assigned point. • See especiaUy Series XXXVIII. of the Experimental Researches, and Phil. Mag. 1852. so Mr. maxwell, ON FARADAY'S LINES OF FORCE. We should thus obtain a geometrical model of the physical phenomena, which would tell us the direction of the force, but we should still require some method of indicating the intensity of the force at any point. If we consider these curves not as mere lines, but as fine tubes of variable section carrying an incompressible fluid, then, since the ve- locity of the fluid is inversely as the section of the tube, We may make the velocity vary according to any given law, by regulating the section of the tube, and in this way we might represent the intensity of the force as well as its direction by the motion of the fluid in these tubes. This method of representing the intensity of a force by the velocity of an imaginary fluid in a tube is applicable to any conceivable system of forces, but it is capable of great simplification in the case in which the forces are such as can be explained by the hypothesis of attractions varying inversely as the square of the distance, such as those observed in elec- trical and magnetic phenomena. In the case of a perfectly arbitrary system of forces, there will generally be interstices between the tubes; but in the case of electric and magnetic forces it is possible to arrange the tubes so as to leave no interstices. The tubes will then be mere surfaces, directing the motion of a fluid filling up the whole space. It has been usual to commence the investigation of the laws of these forces by at once assuming that the phenomena are due to attractive or repulsive forces acting between certain points. We may however obtain a different view of the subject, and one more suited to our more difficult inquiries, by adopting for the definition of the forces of which we treat, that they may be represented in magnitude and direction by the uniform motion of an incompressible fluid. I propose, then, first to describe a method by which the motion of such a fluid can be clearly conceived ; secondly to trace the consequences of assuming certain conditions of motion, and to point out the application of the method to some of the less complicated phenomena of electricity, magnetism, and galvanism ; and lastly to shew how by an extension of these methods, and the introduction of another idea due to Faraday, the laws of the attractions and inductive actions of magnets and currents may be clearly conceived, without making any assumptions as to the physical nature of electricity, or adding anything to that which has been already proved by experiment. By referring everything to the purely geometrical idea of the motion of an imaginary fluid, I hope to attain generality and precision, and to avoid the dangers arising from a premature theory professing to explain the cause of the phenomena. If the results of mere speculation which I have collected are found to be of any use to experimental philosophers, in arranging and interpreting their results, they will have served their purpose, and a mature theory, in which physical facts will be physically explained, will be formed by those who by interrogating Nature herself can obtain the only true solution of the questions which the mathematical theory suggests. 1. Theory of the Motion of an incompressible Fluid. (1) The substance here treated of must not be assumed to possess any of the properties of ordinary fluids except those of freedom of motion and resistance to compression. It is not Me maxwell, ON FARADAY'S LINES OF FORCE. : 31 even a hypothetical fluid which is introduced to explain actual phenomena. It is merely a collection of imaginary properties which may be employed for establishing certain theorems in pure mathematics in a way more intelligible to many minds and more applicable to physical problems than that in which algebraic symbols alone are used. The use of the word " Fluid" will not lead us into error, if we remember that it denotes a purely imaginary substance with the following property : The portion ofjluid which at any instant occupied a given volume, will at any succeed- ing instant occupy an equal volume. This law expresses the incompressibility of the fluid, and furnishes us with a convenient measure of its quantity, namely its volume. The unit of quantity of the fluid will therefore be the unit of volume. (2) The direction of motion of the fluid will in general be different at different points of the space which it occupies, but since the direction is determinate for every such point, we may conceive a line to begin at any point and to be continued so that every element of the line indicates by its direction the direction of motion at that point of space. Lines drawn in such a manner that their direction always indicates the direction of fluid motion are called lines of jluid motion. If the motion of the fluid be what is called steady motion, that is, if the direction and velocity of the motion at any fixed point be independent of the time, these curves will repre- sent the paths of individual particles of the fluid, but if the motion be variable this will not generally be the case. The cases of motion which will come under our notice will be those of steady motion. (3) If upon any surface which cuts the lines of fluid motion we draw a closed curve, and if from every point of this curve we draw a line of motion, these lines of motion will generate a tubular surface which we may call a tube of fluid motion. Since this surface is. generated by lines in the direction of fluid motion no part of the fluid can flow across it, so that this imaginary surface is as impermeable to the fluid as a real tube. (4) The quantity of fluid which in unit of time crosses any fixed section of the tube is the same at whatever part of the tube the section be taken. For the fluid is incompressible, and no part runs through the sides of the tube, therefore the quantity which escapes from the second section is equal to that which enters through the first. If the tube be such that unit of volume passes through any section in unit of time it is called a unit tube ofjluid motion. (5) In what follows, various units will be referred to, and a finite number of lines or surfaces will be drawn, representing in terms of those units the motion of the fluid. Now in order to define the motion in every part of the fluid, an infinite number of lines would have to be drawn at indefinitely small intervals ; but since the description of such a system of lines would involve continual reference to the theory of limits, it has been thought better to suppose 82 Mb maxwell, ON FARADAY'S LINES OF FORCE, the lines drawn at intervals depending on the assumed unit, and afterwards to assume the unit as small as we please by taking a small submultiple of the standard unit. (6) To define the motion of the whole fluid by means of a system of unit tubes. Take any fixed surface which cuts all the lines of fluid motion, and draw upon it any system of curves not intersecting one another. On the same surface draw a second system of curves intersecting the first system, and so arranged that the quantity of fluid which crosses the surface within each of the quadrilaterals formed by the intersection of the two systems of curves shall be unity in unit of time. From every point in a curve of the first system let a line of fluid motion be drawn. These lines will form a surface through which no fluid passes. Similar impermeable surfaces may be drawn for all the curves of the first system. The curves of the second system will give rise to a second system of impermeable surfaces, which, by their intersection with the first system, will form quadrilateral tubes, which will be tubes of fluid motion. Since each quadrilateral of the cutting surface transmits unity of fluid in unity of time, every tube in the system will transmit unity of fluid through any of its sections in unit of time. The motion of the fluid at every part of the space it occupies is determined by this system of unit tubes ; for the direction of motion is that of the tube through the point in question, and the velocity is the reciprocal of the area of the section of the unit tube at that point. (7) We have now obtained a geometrical construction which completely defines the motion of the fluid by dividing the space it occupies into a system of unit tubes. We have next to shew how by means of these tubes we may ascertain various points relating to the motion of the fluid. A unit tube may either return into itself, or may begin and end at diff'erent points, and these may be either in the boundary of the space in which we investigate the motion, or within that space. In the first case there is a continual circulation of fluid in the tube, in the second the fluid enters at one end and flows out at the other. If the extremities of the tube are in the bounding surface, the fluid may be supposed to be continually supplied from without from an unknown source, and to flow out at the other into an unknown reservoir ; but if the origin of the tube or its termination be within the space under consideration, then we must conceive the fluid to be supplied by a source within that space, capable of creating and emit- ting unity of fluid in unity of time, and to be afterwards swallowed up by a sink capable of receiving and destroying the same amount continually. There is nothing self-contradictory in the conception of these sources where the fluid is created, and sinks where it is annihilated. The properties of the fluid are at our disposal, we have made it incompressible, and now we suppose it produced from nothing at certain points and reduced to nothing at others. The places of production will be called sources, and their numerical value will be the number of units of fluid which they produce in unit of time. The places of reduction will, for want of a better name, be called sinks, and will be estimated by the number of units of fluid absorbed in unit of time. Both places will sometimes be called sources, a source being understood to be a sink when its sign is negative. Mr maxwell, ON FARADAY'S LINES OF FORCE. 33 (8) It is evident that the amount of fluid which passes any fixed surface is measured by the number of unit tubes which cut it, and the direction in which the fluid passes is determined by that of its motion in the tubes. If the surface be a closed one, then any tube whose ter- minations lie on the same side of the surface must cross the surface as many times in the one direction as in the other, and therefore must carry as much fluid out of the surface as it carries in. A tube which begins within the surface and ends without it will carry out unity of fluid ; and one which enters the surface and terminates within it will carry in the same quantity. In order therefore to estimate the amount of fluid which flows out of the closed surface, we must subtract the number of tubes which end within the surface from the number of tubes which begin there. If the result is negative the fluid will on the whole flow inwards. If we call the beginning of a unit tube a unit source, and its termination a unit sink, then the quantity of fluid produced within the surface is estimated by the number of unit sources minus the number of unit sinks, and this must flow out of the surface on account of the incompressibility of the fluid. In speaking of these unit tubes, sources and sinks, we must remember what was stated in (5) as to the magnitude of the unit, and how by diminishing their size and increasing their number we may distribute them according to any law however complicated. (9) If we know the direction and velocity of the fluid at any point in two different cases, and if we conceive a third case in which the direction and velocity of the fluid at any point is the resultant of the velocities in the two former cases at corresponding points, then the amount of fluid which passes a given fixed surface in the third case will be the algebraic sum of the quantities which pass the same surface in the two former cases. For the rate at which the fluid crosses any surface is the resolved part of the velocity normal to the surface, and the resolved part of the resultant is equal to the sum of the resolved parts of the com- ponents. Hence the number of unit tubes which cross the surface outwards in the third case must be the algebraical sum of the numbers which cross it in the two former cases, and the number of sources within any closed surface will be the sum of the numbers in the two former cases. Since the closed surface may be taken as small as we please, it is evident that the distribution of sources and sinks in the third case arises from the simple superposition of the distributions in the two former cases. II. Theory of the uniform motion of an imponderable incompressible fluid through a resisting medium. (10) The fluid is here supposed to have no inertia, and its motion is opposed by the action of a force which we may conceive to be due to the resistance of a medium through which the fluid is supposed to flow. This resistance depends on the nature of the medium, and will in general depend on the direction in which the fluid moves, as well as on its velocity. For the present we may restrict ourselves to the case of a uniform medium, whose resistance is the same in all directions. The law which we assume is as follows. Vol. X. Paet I, 6 $4 Me maxwell, ON FARADAY'S LINES OF FORCE. Any portion of the fluid moving through the resisting medium is directly opposed by a retarding force proportional to its velocity. If the velocity be represented by v, then the resistance will be a force equal to kv acting on unit of volume of the fluid in a direction contrary to that of motion. In order, therefore, that the velocity may be kept up, there must be a greater pressure behind any portion of the fluid than there is in front of it, so that the difl^erence of pressures may neutralise the effect of the resistance. Conceive a cubical unit of fluid (which we may make as small as we please, by (5)), and let it move in a direction perpendicular to two of its faces. Then the resistance will be kv, and therefore the diff^erence of pressures on the first and second faces is kv, so that the pressure diminishes in the direction of motion at the rate of kv for every unit of length measured along the line of motion ; so that if we measure a length equal to h units, the dif- ference of pressure at its extremities will be kvh. (11) Since the pressure is supposed to vary continuously in the fluid, all the points at which the pressure is equal to a given pressure p will lie on a certain surface which we may call the surface (p) of equal pressure. If a series of these surfaces be constructed in the fluid corresponding to the pressures 0, 1, 2, S &c., then the number of the surface will indicate the pressure belonging to it, and the surface may be referred to as the surface 0, 1, 2 or 3. The unit of pressure is that pressure which is produced by unit of force acting on unit of surface. In order therefore to diminish the unit of pressure as in (5) we must diminish the unit of force in the same proportion. (12) It is easy to see that these surfaces of equal pressure must be perpendicular to the lines of fluid motion ; for if the fluid were to move in any other direction, there would be a resistance to its motion which could not be balanced by any diff'erence of pressures. (We must remember that the fluid here considered has no inertia or mass, and that its properties are those only which are formally assigned to it, so that the resistances and pressures are the only things to be considered.) There are therefore two sets of surfaces which by their intersection form the system of unit tubes, and the system of surfaces of equal pressure cuts both the others at right angles. Let h be the distance between two consecutive surfaces of equal pressure mea- sured along a line of motion, then since the difference of pressures = 1, kvh = 1, which determines the relation of v to h, so that one can be found when the other is known. Let s be the sectional area of a unit tube measured on a surface of equal pressure, then since by the definition of a unit tube vs = \, we find by the last equation « = kh. (13) The surfaces of equal pressure cut the unit tubes into portions whose length is h and section s. These elementary portions of unit tubes will be called unit cells. In each of them unity of volume of fluid passes from a pi-essure p to a pressure {p—l) in unit of time, and therefore overcomes unity of resistance in that time. The work spent in overcoming resistance is therefore unity in every cell in every unit of time. Mr maxwell, ON FARADAY'S LINES OF FORCE. 35 (14) If the surfaces of equal pressure are known, the direction and magnitude of the velocity of the fluid at any point may be found, after which the complete system of unit tubes may be constructed, and the beginnings and endings of these tubes ascertained and marked out as the sources whence the fluid is derived, and the sinks where it disappears. In order to prove the converse of this, that if the distribution of sources be given, the pressure at every point may be found, we must lay down certain preliminary propositions. (15) If we know the pressures at every point in the fluid in two different cases, and if we take a third case in which the pressure at any point is the sum of the pressures at corresponding points in the two former cases, then the velocity at any point in the third case is the resultant of the velocities in the other two, and the distribution of sources is that due to the simple superposition of the sources in the two former cases. For the velocity in any direction is proportional to the rate of decrease of the pressure in that direction ; so that if two sj-^stems of pressures be added together, since the rate of decrease of pressure along any line will be the sum of the combined rates, the velocity in the new system resolved in the same direction will be the sum of the resolved parts in the two original systems. The velocity in the new system will therefore be the resultant of the velocities at corresponding points in the two former systems. It follows from this, by (9), that the quantity of fluid which crosses any fixed surface is, in the new system, the sum of the corresponding quantities in the old ones, and that the sources of the two original systems are simply combined to form the third. It is evident that in the system in which the pressure is the difference of pressure in the two given systems the distribution of sources will be got by changing the sign of all the sources in the second system and adding them to those in the first. (16) If the pressure at every point of a closed surface be the same and equal to jo, and if there be no sources or sinks within the surface, then there will be no motion of the fluid within the surface, and the pressure within it will be uniform and equal to p. For if there be motion of the fluid within the surface there will be tubes of fluid motion, and these tubes must either return into themselves or be terminated either within the surface or at its boundary. Now since the fluid always flows from places of greater pressure to places of less pressure, it cannot flow in a re-entering curve ; since there are no sources or sinks within the surface, the tubes cannot begin or end except on the surface ; and since the pressure at all points of the surface is the same, there can be no motion in tubes having both extremities on the surface. Hence there is no motion within the surface, and therefore no difference of pressure which would cause motion, and since the pressure at the bounding surface is p, the pressure at any point within it is also p. (17) If the pressure at every point of a given closed surface be known, and the distribution of sources within the surface be also known, then only one distribution of pressures can exist within the surface. For if two different distributions of pressures satisfying these conditions could be found, a third distribution could be formed in which the pressure at any point should be the 5—2 S6 Mr maxwell, on FARADAY'S LINES OF FORCE. difference of the pressures in the two former distributions. In this case, since the pressures at the surface and the sources within it are the same in both distributions, the pressure at the surface in the third distribution would be zero, and all the sources within the surface would vanish, by (15). Then by (l6) the pressure at every point in the third distribution must be zero; but this is the difference of the pressures in the two former cases, and therefore these cases are the same, and there is only one distribution of pressure possible. (18) Let us next determine the pressure at any point of an infinite body of fluid in the centre of which a unit source is placed, the pressure at an infinite distance from the source being supposed to be zero. The fluid will flow out from the centre symmetrically, and since unity of volume flows out of every spherical surface surrounding the point in unit of time, the velocity at a distance r from the source will be 1 The rate of decrease of pressure is therefore kv or — -, and since the pressure = when r is infinite, the actual pressure at any point will he p = . 47rr The pressure is therefore inversely proportional to the distance from the source. It is evident that the pressure due to a unit sink will be negative and equal to k 47rr If we have a source formed by the coalition of S unit sources, then the resulting kS pressure will be » = , so that the pressure at a given distance varies as the resistance 47rr and number of sources conjointly. (19) If a number of sources and sinks coexist in the fluid, then in order to determine the resultant pressure we have only to add the pressures which each source or sink produces. For by (15) this will be a solution of the problem, and by (17) it will be the only one. By this method we can determine the pressures due to any distribution of sources, as by the method of (14) we can determine the distribution of sources to which a given distribution of pressures is due. (20) We have next to shew that if we conceive any imaginary surface as fixed in space and intersecting the lines of motion of the fluid, we may substitute for the fluid on one side of this surface a distribution of sources upon the surface itself without altering in any way the motion of the fluid on the other side of the surface. For if we describe the system of unit tubes which defines the motion of the fluid, and wherever a tube enters through the surface place a unit source, and wherever a tube goes out through the surface place a unit sink, and at the same time render the surface impermeable to the fluid, the motion of the fluid in the tubes will go on as before. Mr maxwell, ON FARADAY'S LINES OF FORCE. 37 (21) If the system of pressures and the distribution of sources which produce them be known in a medium whose resistance is measured by k, then in order to produce the same system of pressures in a medium whose resistance is unity, the rate of production at each source must be multiplied by k. For the pressure at any point due to a given source varies as the rate of production and the resistance conjointly; therefore if the pressure be constant, the rate of production must vary inversely as the resistance. (22) On the conditions to be fulfilled at a surface which separates two media whose coefficients of resistance are k and k'. These are found from the consideration, that the quantity of fluid which flows out of the one medium at any point flows into the other, and that the pressure varies con- tinuously from one medium to the other. The velocity normal to the surface is the same in both media, and therefore the rate of diminution of pressure is proportional to the resistance. The direction of the tubes of motion and the surfaces of equal pressure will be altered after passing through the surface, and the law of this refraction will be, that it takes place in the plane passing through the direction of incidence and the normal to the surface, and that the tangent of the angle of incidence is to the tangent of the angle of refraction as k' is to k. (23) Let the space within a given closed surface be filled with a medium different from that exterior to it, and let the pressures at any point of this compound system due to a given distribution of sources within and without the surface be given ; it is required to determine a distribution of sources which would produce the same system of pressures in a medium whose coefficient of resistance is unity. Construct the tubes of fluid motion, and wherever a unit tube enters either medium place a unit source, and wherever it leaves it place a unit sink. Then if we make the surface impermeable all will go on as before. Let the resistance of the exterior medium be measured by k, and that of the interior by k'. Then if we multiply the rate of production of all the sources in the exterior medium (including those in the surface), by k, and make the coefficient of resistance unity, the pressures will remain as before, and the same will be true of the interior medium if we multiply all the sources in it by k', including those in the surface, and make its resistance unity. Since the pressures on both sides of the surface are now equal, we may suppose it permeable if we please. We have now the original system of pressures produced in a uniform medium by a combination of three systems of sources. The first of these is the given external system multiplied by k, the second is the given internal system multiplied by k', and the third is the system of sources and sinks on the surface itself. In the original case every source in the external medium had an equal sink in the internal medium on the other side of the surface, but now the source is multiplied by k and the sink by k', so that the result is for every external unit source on the surface, a source = {k - Ic). By means of these three systems of sources the original system of pressures may be produced in a medium for which i = 1. 88 Mr maxwell, ON FARADAY'S LINES OF FORCE. (24) Let there be no resistance in the medium within the closed surface, that is, let k' = 0, then the pressure within the closed surface is uniform and equal to p, and the pressure at the surface itself is also p. If by assuming any distribution of pairs of sources and sinks within the surface in addition to the given external and internal sources, and by supposing the medium the same within and without the surface, we can render the pressure at the surface uniform, the pressures so found for the external medium, together with the uniform pressure p in the internal medium, will be the true and only distribution of pressures which is possible. For if two such distributions could be found by taking different imaginary distributions of pairs of sources and sinks within the medium, then by taking the difference of the two for a third distribution, we should have the pressure of the bounding surface constant in the new system and as many sources as sinks within it, and therefore whatever fluid flows in at any point of the surface, an equal quantity must flow out at some other point. In the external medium all the sources destroy one another, and we have an infinite medium without sources surrounding the internal medium. The pressure at infinity is zero, that at the surface is constant. If the pressure at the surface is positive, the motion of the fluid must be outwards from every point of the surface ; if it be negative, it must flow inwards towards the surface. But it has been shewn that neither of these cases is possible, because if any fluid enters the surface an equal quantity must escape, and therefore the pressure at the surface is zero in the third system. The pressure at all points in the boundary of the internal medium in the third case is therefore zero, and there are no sources, and therefore the pressure is everywhere zero, by (16). The pressure in the bounding surface of the internal medium is also zero, and there is no resistance, therefore it is ^ero throughout ; but the pressure in the third case is the difference of pressures in the two given cases, therefore these are equal, and there is only one distribution of pressure which is possible, namely, that due to the imaginary distribution of sources and sinks. (25) When the resistance is infinite in the internal medium, there can be no passage of fluid through it or into it. The bounding surface may therefore be considered as impermeable to the fluid, and the tubes of fluid motion will run along it without cutting it. If by assuming any arbitrary distribution of sources within the surface in addition to the given sources in the outer medium, and by calculating the resulting pressures and velocities as in the case of a uniform medium, we can fulfil the condition of there being no velocity across the surface, the system of pressures in the outer medium will be the true one. For since no fluid passes through the surface, the tubes in the interior are independent of those outside, and may be taken away without altering the external motion. (26) If the extent of the internal medium be small, and if the difference of resistance in the two media be also small, then the position of the unit tubes will not be much altered from what it would be if the external medium filled the whole space. Mr maxwell, ON FARADAY'S LINES OF FORCE. 39 On this supposition we can easily calculate the kind of alteration which the introduction of the internal medium will produce ; for wherever a unit tube enters the surface we must conceive a source producing fluid at a rate — — - , and wherever a tube leaves it we must k' — k place a sink annihilating fluid at the rate — - — , then calculating pressures on the supposition that the resistance in both media is k the same as in the external medium, we shall obtain the true distribution of pressures very approximately, and we may get a better result by repeating the process on the system of pressures thus obtained. (27) If instead of an abrupt change from one coefficient of resistance to another we take a case in which the resistance varies continuously from point to point, we may treat the medium as if it were composed of thin shells each of which has uniform resistance. By properly assuming a distribution of sources over the surfaces of separation of the shells, we may treat the case as if the resistance were equal to unity throughout, as in (23). The sources will then be distributed continuously throughout the whole medium, and will be positive whenever the motion is from places of less to places of greater resistance, and negative when in the contrary direction. (28) Hitherto we have supposed the resistance at a given point of the medium to be the same in whatever direction the motion of the fluid takes place ; but we may conceive a case in which the resistance is different in diff'erent directions. In such cases the lines of motion will not in general be perpendicular to the surfaces of equal pressure. If a, b, c be the components of the velocity at any point, and a, ft, y the components of the resistance at the same point, these quantities will be connected by the following system of linear equations, which may be called " equations of conduction,'''' and will be referred to by that name. • a = A« + ^3/3 + -^2 7' b = P^ft+ Q,y + R^a, c = P37 + Q^a + R^ft. In these equations there are nine independent coefficients of conductivity. In order to simplify the equations, let us put Qi + ifi = 25'i, Q^-R^ = 21T, &c &c. where 4 7^ = ( Q, - R,Y + {Q, - Rf + (Q3 - R,Y> and I, m, n are direction cosines of a certain fixed line in space. The equations then become a = P^a-^ S,ft + S^y + (nft - my)T, b = F^ft+S,y + S,a + (ly -na)T, c = P37 + S^a + S,ft - {ma - I ft) T. By the ordinary transformation of coordinates we may get rid of the coefficients marked aS". The equations then become 4a Mr maxwell, ON FARADAY'S LINES OF FORCE. ar.p^a+ (,n'(i-m'y)T, h = P//3 + {I'y - n'a)T, C = P^y+ima- t(i)T, where ^, m, n' are the direction cosines of the fixed line with reference to the new axes. If we make the equation of continuity becomes dp dp , dp = — , V = -T- 1 and ^ = -— , dw' ^ dy' dz' da db dc — + 1 = 0, dx dy d% ^' d.v^ ^ ^' df ^ ^' dz^ ' and if we make a? = v P/^, y = v -^2 »/' ^ ~ V i's^t d^p d'p d'p the ordinary equation of conduction. It appears therefore that the distribution of pressures is not altered by the existence of the coefficient T, Professor Thomson has shewn how to conceive a substance in which this coefficient determines a property having reference to an axis, which unlike the axes of Pj, Pj, P3 is dipolar. For further information on the equations of conduction, see Professor Stokes On the Conduction of Heat in Crystals (Cambridge and Dublin Math. Journ.), and Professor Thomson on the Dynamical Theory of Heat, Part V. (Transactions of Royal Society of Edinburgh, Vol. XXI. Part I.) It is evident that all that has been proved in (14), (15), (16), (17), with respect to the superposition of diffiarent distributions of pressure, and there being only one distribution of pressures corresponding to a given distribution of sources, will be true also in the case in which the resistance varies from point to point, and the resistance at the same point is different in different directions. For if we examine the proof we shall find it applicable to such cases as well as to that of a uniform medium. (29) We now are prepared to prove certain general propositions which are true in the most general case of a medium whose resistance is different in different directions and varies from point to point. We may by the method of (28), when the distribution of pressures is known, construct the surfaces of equal pressure, the tubes of fluid motion, and the sources and sinks. It is evident that since in each cell into which a unit tube is divided by the surfaces of equal pressure unity of fluid passes from pressure p to pressure (^ — l) in unit of time, unity of work is done by the fluid in each cell in overcoming resistance. The number of cells in each unit tube is determined by the number of surfaces of equal pressure through which it passes. If the pressure at the beginning of the tube be p and at the end p', then the number of cells in it will he p - p. Now if the tube had extended from the Mb maxwell, ON FARADAY'S LINES OF FORCE. 41 source to a place where the pressure is zero, the number of cells would have been p, and if the tube had come from the sink to zero, the number would have been p', and the true number is the difference of these. Therefore if we find the pressure at a source S from which S tubes proceed to be p, Sp is the number of cells due to the source S; but if S" of the tubes terminate in a sink at a pressure p', then we must cut off S'p' cells from the number previously obtained. Now if we denote the source of S tubes by 5*, the sink of S' tubes may be written - ,S^, sinks always being reckoned negative, and the general expression for the number of cells in the system will be 2 iSp). (30) The same conclusion may be arrived at by observing that unity of work is done on each cell. Now in each source S, S units of fluid are expelled against a pressure p, so that the work done by the fluid in overcoming resistance is Sp. At each sink in which S' tubes terminate, ^S^ units of fluid sink into nothing under pressure p'; the work done upon the fluid by the pressure is therefore S'p'. The whole work done by the fluid may therefore be expressed by TF=2Si)-25'y, or more concisely, considering sinks as negative sources, W='2(Sp). (31) Let S represent the rate of production of a source in any medium, and let p be the pressure at any given point due to that source. Then if we superpose on this another equal source, every pressure will be doubled, and thus by successive superposition we find that a source nS would produce a pressure np, or more generally the pressure at any point due to a given source varies as the rate of production of the source. This may be expressed by the equation p = RS, where iZ is a coeflicient depending on the nature of the medium and on the positions of the source and the given point. In a uniform medium whose resistance is measured by k, kS „ Ar p = - — , .-. B = - — , 4nrr 47rr R may be called the coefficient of resistance of the medium between the source and the given point. By combining any number of sources we have generally p = ^(RS). (32) In a uniform medium the pressure due to a source S _k_ S 47r r At another source (S^ at a distance r we shall have S'p= = Sp, if p' be the pressure at S due to S. If therefore there be two systems of sources 2(5') and 2(y), and if the pressures due to the first be p and to the second p', then 2(yp) = 2(V). For every term S'p has a term Sp' equal to it. Vol. X. Paet I. 6 42 Mb maxwell, ON FARADAY'S LINES OF FORCE. (33) Suppose that in a uniform medium the motion of the fluid is everywhere parallel to one plane, then the surfaces of equal pressure will be perpendicular to this plane. If we take two parallel planes at a distance equal to k from each other, we can divide the space between these planes into unit tubes by means of cylindric surfaces perpendicular to the planes, and these together with the surfaces of equal pressure will divide the space into cells of which the length is equal to the breadth. For if h be the distance between consecutive surfaces of equal pressure and s the section of the unit tube, we have by (IS) s = kh. But s is the product of the breadth and depth ; but the depth is k, therefore the breadth is h and equal to the length. If two systems of plane curves cut each other at right angles so as to divide the plane into little areas of which the length and breadth are equal, then by taking another plane at distance k from the first and erecting cylindric surfaces on the plane curves as bases, a system of cells will be formed which will satisfy the conditions whether we suppose the fluid to run along the first set of cutting lines or the second *. Application of the Idea of Lines of Force. I have now to shew how the idea of lines of fluid motion as described above may be modified so as to be applicable to the sciences of statical electricity, permanent magnetism, magnetism of induction, and uniform galvanic currents, reserving the laws of electro-magnetism for special consideration. I shall assume that the phenomena of statical electricity have been already explained by the mutual action of two opposite kinds of matter. If we consider one of these as positive electricity and the other as negative, then any two particles of electricity repel one another with a force which is measured by the product of the masses of the particles divided by the square of their distance. Now we found in (18) that the velocity of our imaginary fluid due to a source 5" at a distance r varies inversely as r°. Let us see what will be the efffect of substituting such a source for every particle of positive electricity. The velocity due to each source would be proportional to the attraction due to the corresponding particle, and the resultant velocity due to all the sources would be proportional to the resultant attraction of all the particles. Now we may find the resultant pressure at any point by adding the pressures due to the given sources, and therefore we may find the resultant velocity in a given direction from the rate of decrease of pressure in that direction, and this will be proportional to the resultant attraction of the particles resolved in that direction. Since the resultant attraction in the electrical problem is proportional to the decrease of pressure in the imaginary problem, and since we may select any values for the constants in the imaginary problem, we may assume that the resultant attraction in any direction is nume- rically equal to the decrease of pressure in that direction, or ao) See Cambridge and Dublin Mathematical Journal, Vol. III. p. 286. Mn MAXWELL, ON FARADAY'S LINES OF FORCE. 43 By this assumption we find that if V be the potential, dV = Xdoo + Ydy + Zd% = - dp, or since at an infinite distance V =0 andp = 0, F = —p. In the electrical problem we have In the fluid p = 2 ( ] ; p-.f^). _ 47r , .•. .y = — dm. k If A; be supposed very great, the amount of fluid produced by each source in order to keep up the pressures will be very small. The potential of any system of electricity on itself will be ^{pdm)= ^,-E{pS)^-^W. 47r 47r If 2 (dm), S (dm') be two systems of electrical particles and pp' the potentials due to them respectively, then by (32) 2(pdm') = — , 2(p5') = — , 2 (p'^ = 2 (p'dm), 47r 'tir or the potential of the first system on the second is equal to that of the second system on the first. So that in the ordinary electrical problems the analogy in fluid motion is of this kind : r=-p, X=-^ = Am, dx k dm = — S, 47r k . whole potential of a system = - '2Vdm = — W, where W is the work done by the fluid in over- coming resistance. The lines of force are the unit tubes of fluid motion, and they may be estimated numerically by those tubes. Theory/ of Dielectrics. The electrical induction exercised on a body at a distance depends not only on the distri- bution of electricity in the inductric, and the form and position of the inducteous body, but on the nature of the interposed medium, or dielectric. Faraday * expresses this by the conception * Series XI. 6—2 44 Mr maxwell, ON FARADAY'S LINES OF FORCE. of one substance having a greater inductive capacity, or conducting the lines of inductive action more freely than another. If we suppose that in our analogy of a fluid in a resisting medium the resistance is different in different media, then by making the resistance less we obtain the analogue to a dielectric which more easily conducts Faraday's lines. It is evident from (23) that in this case there will always be an apparent distribution of electricity on the surface of the dielectric, there being negative electricity where the lines enter and positive electricity where they emerge. In the case of the fluid there are no real sources on the surface, but we use them merely for purposes of calculation. In the dielectric there may be no real charge of electricity, but only an apparent electric action due to the surface. If the dielectric had been of less conductivity than the surrounding medium, we should have had precisely opposite efl^ects, namely, positive electricity where lines enter, and negative where they emerge. If the conduction of the dielectric is perfect or nearly so for the small quantities of elec- tricity with which we have to do, then we have the case of (24). The dielectric is then considered as a conductor, its surface is a surface of equal potential, and the resultant attrac- tion near the surface itself is perpendicular to it. Theory of Permanent Magnets. A magnet is conceived to be made up of elementary magnetized particles, each of which has its own north and south poles, the action of which upon other north and south poles is governed by laws mathematically identical with those of electricity. Hence the same applica- tion of the idea of lines of force can be made to this subject, and the same analogy of fluid motion can be employed to illustrate it. But it may be useful to examine the way in which the polarity of the elements of a magnet may be represented by the unit cells in fluid motion. In each unit cell unity of fluid enters by one face and flows out by the opposite face, so that the first face becomes a unit sink and the second a unit source with respect to the rest of the fluid. It may therefore be compared to an elementary magnet, having an equal quantity of north and south magnetic matter distributed over two of its faces. If we now consider the cell as forming part of a system, the fluid flowing out of one cell will flow into the next, and so on, so that the source will be transferred from the end of the cell to the end of the unit tube. If all the unit tubes begin and end on the bounding surface, the sources and sinks will be distributed entirely on that surface, and in the case of a magnet which has what has been called a solenoidal or tubular distribution of magnetism, all the imaginary magnetic matter will be on the surface*. Theory of Paramagnetic and Diamagnetic Induction. V Faraday •)■ has shewn that the effects of paramagnetic and diamagnetic bodies in the magnetic field may be explained by supposing paramagnetic bodies to conduct the lines of force better, • See Professor Thomson On the Mathematical Theory of Magnetism, Chapters III. & V. Phil. Trans. 1851. ■^ Experimental Researches (3293). Mb maxwell, ON FARADAY'S LINES OF FORCE. 45 and diamagnetic bodies worse, than the surrounding medium. By referring to (23) and (26), and supposing sources to represent north magnetic matter, and sinks south magnetic matter, then if a paramagnetic body be in the neighbourhood of a north pole, the lines of force on entering it will produce south magnetic matter, and on leaving it they will produce an equal amount of north magnetic matter. Since the quantities of magnetic matter on the whole are equal, but the southern matter is nearest to the north pole, the result will be attraction. If on the other hand the body be diamagnetic, or a worse conductor of lines of force than the surrounding medium, there will be an imaginary distribution of northern magnetic matter where the lines pass into the worse conductor, and of southern where they pass out, so that on the whole there will be repulsion. We may obtain a more general law from the consideration that the potential of the whole system is proportional to the amount of work done by the fluid in overcoming resistance. The introduction of a second medium increases or diminishes the work done according as the resist- ance is greater or less than that of the first medium. The amount of this increase or diminu- tion will vary as the square of the velocity of the fluid. Now, by the theory of potentials, the moving force in any direction is measured by the rate of decrease of the potential of the system in passing along that direction, therefore when k', the resistance within the second medium, is greater than k, the resistance in the sur- rounding medium, there is a force tending from places where the resultant force v is greater to where it is less, so that a diamagnetic body moves from greater to less values of the resultant force *. In paramagnetic bodies k' is less than k, so that the force is now from points of less to points of greater resultant magnetic force. Since these results depend only on the relative values of k and k', it is evident that by changing the surrounding medium, the behaviour of a body may be changed from paramagnetic to diamagnetic at pleasure. It is evident that we should obtain the same mathematical results if we had supposed that the magnetic force had a power of exciting a polarity in bodies which is in the same direction as the lines in paramagnetic bodies, and in the reverse direction in diamagnetic bodies -j*. In fact we have not as yet come to any facts which would lead us to choose any one out of these three theories, that of lines of force, that of imaginary magnetic matter, and that of induced polarity. As the theory of lines of force admits of the most precise, and at the same time least theoretic statement, we shall allow it to stand for the present. Tlieory of Magnecrystallic Induction. The theory of Faraday J with respect to the behaviour of crystals in the magnetic field may be thus stated. In certain crystals and other substances the lines of magnetic force are " Experimental Researches (2797), (2798). See Thom- son, Cambridge and Dublin Mathematical Journal, May, 1847. t Exp. Res. (2429), (3320). See Weber, PoggendorfF, Ixxxvii. p. 145. Prof. TyndaU, Phil, Trans. 1856, p. 237. i Exp. Res. (2836), &c. 46 Mr maxwell, ON FARADAY'S LINES OF FORCE. conducted with different facility in different directions. The body when suspended in a uniform magnetic field will turn or tend to turn into such a position that the lines of force shall pass through it with least resistance. It is not difficult by means of the principles in (28) to express the laws of this kind of action, and even to reduce them in certain cases to numerical formulae. The principles of induced polarity and of imaginary magnetic matter are here of little use; but the theory of lines of force is capable of the most perfect adaptation to this class of phenomena. Theory of the Conduction of Current Electricity, It is in the calculation of the laws of constant electric currents that the theory of fluid motion which we have laid down admits of the most direct application. In addition to the researches of Ohm on this subject, we have those of M. Kirchhoff, Ann. de Chim. xli. 496, and of M. Quincke, xlvii. 203, on the Conduction of Electric Currents in Plates. According to the received opinions we have here a current of fluid moving uniformly in conducting circuits, which oppose a resistance to the current which has to be overcome by the application of an electro-motive force at some part of the circuit. On account of this resistance to the motion of the fluid the pressure must be different at different points in the circuit. This pressure, which is commonly called electrical tension, is found to be physically identical with the potential in statical electricity, and thus we have the means of connecting the two sets of phenomena. If we knew what amount of electricity, measured statically, passes along that current which we assume as our unit of current, then the connexion of electricity of tension with current electricity would be completed*. This has as yet been done only approximately, but we know enough to be certain that the conducting powers of different substances differ only in degree, and that the difference between glass and metal is, that the resistance is a great but finite quantity in glass, and a small but finite quantity in metal. Thus the analogy between statical electricity and fluid motion turns out more perfect than we might have supposed, for there the induction goes on by conduction just as in current electricity, but the quantity conducted is insensible owing to the great resistance of the dielectrics -j-. On Electro-motive Forces. When a uniform current exists in a closed circuit it is evident that some other forces must act on the fluid besides the pressures. For if the current were due to difference of pressures, then it would flow from the point of greatest pressure in both directions to the point of least pressure, whereas in reality it circulates in one direction constantly. We • See £jrp. Res. (371). f Exp. Res. VoL HI. p. 513. Mr maxwell, on FARADAY'S LINES OF FORCE. 47 must therefore admit the existence of certain forces capable of keeping up a constant current in a closed circuit. Of these the most remarkable is that which is produced by chemical action. A cell of a voltaic battery, or rather the surface of separation of the fluid of the cell and the zinc, is the seat of ati electro-motive force which can maintain a current in opposition to the resistance of the circuit. If we adopt the usual convention in speaking of electric currents, the positive current is from the fluid through the platinum, the conducting circuit, and the zinc, back to the fluid again. If the electro-motive force act only in the surface of separation of the fluid and zinc, then the tension of electricity in the fluid must exceed that in the zinc by a quantity depending on the nature and length of the circuit and on the strength of the current in the conductor. In order to keep up this diffierence of pressure there must be an electro-motive force whose intensity is measured by that difference of pressure. If F be the electro-motive force, / the quantity of the current or the number of electrical units delivered in unit of time, and K a quantity depending on the length and resistance of the conducting circuit, then F^lK='p-'p, where p is the electric tension in the fluid and p' in the zinc. If the circuit be broken at any point, then since there is no current the tension of the part which remains attached to the platinum will be p, and that of the other will be 'p . p —p, or F affbrds a measure of the intensity of the current. This distinction of quantity and intensity is very useful*, but must be distinctly understood to mean nothing more than this : — The quantity of a current is the amount of electricity which it transmits in unit of time, and is measured by / the number of unit currents which it contains. The intensity of a current is its power of overcoming resistance, and is measured by F or IK, where K is the resistance of the whole circuit. The same idea of quantity and intensity may be applied to the case of magnetism "I". The quantity of magnetization in any section of a magnetic body is measured by the number of lines of magnetic force which pass through it. The intensity of magnetization in the section depends on the resisting power of the section, as well as on the number of lines which pass through it. If k be the resisting power of the material, and S the area of the section, and / the number of lines of force which pass through it, then the whole intensity throughout the section When magnetization is produced by the influence of other magnets only, we may put p for the magnetic tension at any point, then for the whole magnetic solenoid F = I j^dx = IK^p-p'. • Exp. Res. Vol. III. p. 519. f Exp. Res. (2870), (3293). 48 Mr maxwell, ON FARADAY'S LINES OF FORCE. When a solenoidal magnetized circuit returns into itself, the magnetization does not depend on difference of tensions only, but on some magnetizing force of which the intensity is F. If i be the quantity of the magnetization at any point, or the number of lines of force passing through unit of area in the section of the solenoid, then the total quantity of magnetization in the circuit is the number of lines which pass through any section / = 2idyd«, where dydss is the element of the section, and the summation is performed over the whole section. The intensity of magnetization at any point, or the force required to keep up the magnetization, is measured by hi =f, and the total intensity of magnetization in the circuit is measured by the sum of the local intensities all round the circuit, where dw is the element of length in the circuit, and the summation is extended round the entire circuit. In the same circuit we have always F = IK, where X is the total resistance of the circuit, and depends on its form and the matter of which it is composed. On the Action of closed Currents at a Distance. The mathematical laws of the attractions and repulsions of conductors have been most ably investigated by Ampere, and his results have stood the test of subsequent experiments. From the single assumption, that the action of an element of one current upon an element of another current is an attractive or repulsive force acting in the direction of the line joining the two elements, he has determined by the simplest experiments the mathematical form of the law of attraction, and has put this law into several most elegant and useful forms. We must recollect however that no experiments have been made on these elements of currents except under the form of closed currents either in rigid conductors or in fluids, and that the laws of closed currents only can be deduced from such experiments. Hence if Ampere's formulae applied to closed currents give true results, their truth is not proved for elements of currents unless we assume that the action between two such elements must be along the line which joins them. Although this assumption is most warrantable and philosophical in the present state of science, it will be more conducive to freedom of investi- gation if we endeavour to do without it, and to assume the laws of closed currents as the ultimate datum of experiment. Ampere has shewn that when currents are combined according to the law of the parallelogram of forces, the force due to the resultant current is the resultant of the forces due to the component currents, and that equal and opposite currents generate equal and opposite forces, and when combined neutralize each other. He has also shewn that a closed circuit of any form has no tendency to turn a moveable circular conductor about a fixed axis through the centre of the circle perpendicular to its plane, and that therefore the forces in the case of a closed circuit render Xdx+ Ydy+Zdz a complete differential. Mr maxwell, ON FARADAY'S LINES OF FORCE. 4& Finally, he has shewn that if there be two systems of circuits similar and similarly situated, the quantity of electrical current in corresponding conductors being the same, the resultant forces are equal, whatever be the absolute dimensions of the systems, which proves that the forces are, ceeteris paribus, inversely as the square of the distance. From these results it follows that the mutual action of two closed currents whose areas are very small is the same as that of two elementary magnetic bars magnetized perpendicularly to the plane of the currents. The direction of magnetization of the equivalent magnet may be predicted by remembering that a current travelling round the earth from east to west as the sun appears to do, would be equivalent to that magnetization which the earth actually possesses, and therefore in the reverse direction to that of a magnetic needle when pointing freely. If a number of closed unit currents in contact exist on a surface, then at all points in which two currents are in contact there will be two equal and opposite currents which will produce no effect, but all round the boundary of the surface occupied by the currents there will be a residual current not neutralized by any other; and therefore the result will be the same as that of a single unit current round the boundary of all the currents. From this it appears that the external attractions of a shell uniformly magnetized perpendicular to its surface are the same as those due to a current round its edge, for each of the elementary currents in the former case has the same effect as an element of the magnetic shell. If we examine the lines of magnetic force produced by a closed current, we shall find that they form closed curves passing round the current and embracing it, and that the total intensity of the magnetizing force all along the closed line of force depends on the quan- tity of the electric current only. The number of unit lines * of magnetic force due to a closed current depends on the form as well as the quantity of the current, but the number of unit cells f in each complete line of force is measured simply by the number of unit currents which embrace it. The unit cells in this case are portions of space in which unit of magnetic quantity is produced by unity of magnetizing force. The length of a cell is therefore inversely as the intensity of the magnetizing force, and its section is inversely as the quantity of magnetic induction at that point. The whole number of cells due to a given current is therefore proportional to the strength of the current multiplied by the number of lines of force which pass through it. If by any change of the form of the conductors the number of cells can be increased, there will be a force tending to produce that change, so that there is always a force urging a conductor transverse to the lines of magnetic force, so as to cause more lines of force to pass through the closed circuit of which the conductor forms a part. The number of cells due to two given currents is got by multiplying the number of lines of inductive magnetic action which pass through each by the quantity of the currents respectively. Now by (9) the number of lines which pass through the first current is the sum of its own lines and those of the second current which would pass through the first if the • Exp. Res. (3122). See Art. (6) of this paper. t Art. (13). Vol. X. Paet I. j^ Mh maxwell, on FARADAY'S LINES OF FORCE. second current alone were in action. Hence the whole number of cells will be increased by any motion which causes more lines of force to pass through either circuit, and therefore the resultant force will tend to produce such a motion, and the work done by this force during the motion will be measured by the number of new cells produced. All the actions of closed conductors on each other may be deduced from this principle. On Electric Currents produced hy Induction. Faraday has shewn * that when a conductor moves transversely to the lines of magnetic force, an electro-motive force arises in the conductor, tending to produce a current in it. If the conductor is closed, there is a continuous current, if open, tension is the result. If a closed conductor move transversely to the lines of magnetic induction, then, if the number of lines which pass through it does not change during the motion, the electro-motive forces in the circuit will be in equilibrium, and there will be no current. Hence the electro-motive forces depend on the number of lines which are cut by the conductor during the motion. If the motion be such that a greater number of lines pass through the circuit formed by the conductor after than before the motion, then the electro-motive force will be measured by the increase of the number of lines, and will generate a current the reverse of that which would have produced the additional lines. When the number of lines of inductive magnetic action through the circuit is increased, the induced current will tend to diminish the number of the lines, and when the number is diminished the induced current will tend to increase them. That this is the true expression for the law of induced currents is shewn from the fact that, in whatever way the number of lines of magnetic induction passing through the circuit be increased, the electro-motive effect is the same, whether the increase take place by the motion of the conductor itself," or of other conductors, or of magnets, or by the change of intensity of other currents, or by the magnetization or demagnetization of neighbouring magnetic bodies, or lastly by the change of intensity of the current itself. In all these cases the electro-motive force depends on the change in the number of lines of inductive magnetic action which pass through the circuit ■[•. • Exp. Res. (3077), &c. + The electro-magnetic forces, which tend to produce motion of the material conductor, must be carefully distinguished from the electro-motive forces, which tend to produce electric currents. Let an electric current be passed through a mass of metal of any form. The distribution of the currents within the metal will be determined by the laws of conduction. Now let a constant electric current be passed through another conductor near the first. If the two currents are in the same direction the two conductors will be attracted towards each other, and would come nearer if not held in their positions. But though the material conductors are attracted, the currents (which are free to choose any course within the metal) will not alter their original distribution, or incline towards each other. For, since no change takes place in the system, there will be no electro- motive forces to modify the original distribution of currents. In this case we have electro-magnetic forces acting on the material conductor, without any electro-motive forces tending to modify the current which it carries. Let us take as another example the case of a linear con- ductor, not forming a closed circuit, and let it be made to traverse the lines of magnetic force, either by its own motion, or by changes in the magnetic field. An electro-motive force will act in the direction of the conductor, and, as it cannot pro- duce a current, because there is no circuit, it will produce electric tension at the extremities. There will be no electro- magnetic attraction on the material conductor, for this attraction depends on the existence of the current within it, and this is prevented by the circuit not being closed. Here then we have the opposite case of an electro-motive force acting on the electricity in the conductor, but no attraction on its material particles. Mb maxwell, ON FARADAY'S LINES OF FORCE. 51 It is natural to suppose that a force of this kind, which depends on a change in the number of lines, is due to a change of state which is measured by the number of these lines." A closed conductor in a magnetic field may be supposed to be in a certain state arising from the magnetic action. As long as this state remains unchanged no effect takes place, but, when the state changes, electro-motive forces arise, depending as to their intensity and direction on this change of state. I cannot do better here than quote a passage from the first series of Faraday's Experimental Researches, Art. (60). "While the wire is subject to either volfa-electric or magneto-electric induction it appears to be in a peculiar state, for it resists the formation of an electrical current in it ; whereas, if in its common condition, such a current would be produced ; and when left uninfluenced it has the power of originating a current, a power which the wire does not possess under ordinary circumstances. This electrical condition of matter has not hitherto been recognised, but it probably exerts a very important influence in many if not most of the phenomena produced by currents of electricity. For reasons which will immediately appear (71) I have, after advising with several learned friends, ventured to designate it as the electro-tonic state." Finding that all the phenomena could be otherwise explained without reference to the electro- tonic state, Faraday in his second series rejected it as not necessary ; but in his recent researches* he seems still to think that there may be some physical truth in his conjecture about this new state of bodies. The conjecture of a philosopher so familiar with nature may sometimes be more pregnant with truth than the best established experimental law discovered by empirical inquirers, and though not bound to admit it as a physical truth, we may accept it as a new idea by which our mathematical conceptions may be rendered clearer. In this outline of Faraday's electrical theories, as they appear from a mathematical point of view, I can do no more than simply state the mathematical methods by which I believe that electrical phenomena can be best comprehended and reduced to calculation, and my aim has been to present the mathematical ideas to the mind in an embodied form, as systems of lines or surfaces, and not as mere symbols, which neither convey the same ideas, nor readily adapt themselves to the phenomena to be explained. The idea of the electro-tonic state, however, has not yet presented itself to my mind in such a form that its nature and properties may be clearly explained without reference to mere symbols, and therefore I propose in the following investigation to use symbols freely, and to take for granted the ordinary mathematical operations. By a careful study of the laws of elastic solids and of the motions of viscous fluids, I hope to discover a method of forming a mechanical conception of this electro-tonic state adapted to general reasoning -f-. Part II. On Faraday's "Electro-tonic State." When a conductor moves in the neighbourhood of a current of electricity, or of a magnet, or when a current or magnet near the conductor is moved, or altered in intensity, then a force " (3172) (3269). I tion of Electric, Magnetic and Galvanic Forces. Camb. and t See Prof. W. Thomson On a Mechanical Representa- I Dub. Math. Jeur, Jan. 1847. 7 2 52 Mk maxwell, on FARADAY'S LINES OF FORCE. acts on the conductor and produces electric tension, or a continuous current, according as the 'circuit is open or closed. This current is produced only by changes of the electric or magnetic phenomena surrounding the conductor, and as long as these are constant there is no observed effect on the conductor. Still the conductor is in different states when near a current or magnet, and when away from its influence, since the removal or destruction of the current or magnet occasions a current, which would not have existed if the magnet or current had not been previously in action. Considerations of this kind led Professor Faraday to connect with his discovery of the induction of electric currents, the conception of a state into which all bodies are thrown by the presence of magnets and currents. This state does not manifest itself by any known phenomena as long as it is undisturbed, but any change in this state is indicated by a current or tendency towards a current. To this state he gave the name of the " Electro-tonic State," and although he afterwards succeeded in explaining the phenomena which suggested it by means of less hypothetical conceptions, he has on several occasions hinted at the probability that some phe- nomena might be discovered which would render the electro-tonic state an object of legitimate induction. These speculations, into which Faraday had been led by the study of laws which he has well established, and which he abandoned only for want of experimental data for the direct proof of the unknown state, have not, I think, been made the subject of mathematical investigation. Perhaps it may be thought that the quantitative determinations of the various phenomena are not sufficiently rigorous to be made the basis of a mathematical theory ; Faraday, however, has not contented himself with simply stating the numerical results of his experiments and leaving the law to be discovered by calculation. Where he has perceived a law he has at once stated it, in terms as unambiguous as those of pure mathematics ; and if the mathematician, receiving this as a physical truth, deduces from it other laws capable of being tested by experiment, he has merely assisted the physicist in arranging his own ideas, which is confessedly a necessary step in scientific induction. In the following investigation, therefore, the laws established by Faraday will be assumed as true, and it will be shewn that by following out his speculations other and more general laws can be deduced from them. If it should then appear that these laws, originally devised to include one set of phenomena, may be generalized so as to extend to phenomena of a different class, these mathematical connexions may suggest to physicists the means of establishing physical connexions ; and thus mere speculation may be turned to account in experimental science. On Quantity and Intensity as Properties of Electric Currents. It is found that certain effects of an electric current are equal at whatever part of the circuit they are estimated. The quantities of water or of any other electrolyte decomposed at two different sections of the same circuit, are always found to be equal or equivalent, however different the material and form of the circuit may be at the two sections. The magnetic effect of a conducting wire is also found to be independent of the form or material of the wire Mr maxwell, ON FARADAY'S LINES OF FORCE, 58 in the same circuit. There is therefore an electrical effect which is equal at every section of the circuit. If we conceive of the conductor as the channel along which a fluid is constrained to move, then the quantity of fluid transmitted by each section will be the same, and we may define the quantity of an electric current to be the quantity of electricity which passes across a complete section of the current in unit of time. We may for the present measure quantity of electricity by the quantity of water which it would decompose in unit of time. In order to express mathematically the electrical currents in any conductor, we must have a definition, not only of the entire flow across a complete section, but also of the flow at a given point in a given direction. Def. The quantity of a current at a given point and in a given direction is measured, when uniform, by the quantity of electricity which flows across unit of area taken at that point perpendicular to the given direction, and when variable by the quantity which would flow across this area, supposing the flow uniformly the same as at the given point. In the following investigation, the quantity of electric current at the point (.ryar) estimated in the directions of the axes x, y, x respectively will be denoted by a^ h.^ Cj. The quantity of electricity which flows in unit of time through the elementary area dS = dS {la.^ + mh^ + nc^, where Imn are the direction-cosines of the normal to dS. This flow of electricity at any point of a conductor is due to the electro-motive forces which act at that point. These may be either external or internal. External electro-motive forces arise either from the relative motion of currents and magnets, or from changes in their intensity, or from other causes acting at a distance. Internal electro-motive forces arise principally from difference of electric tension at points of the conductor in the immediate neighbourhood of the point in question. The other causes are variations of cnemical composition or of temperature in contiguous parts of the conductor. Let P2 represent the electric tension at any point, and X2 Y^ Z-^ the sums of the parts of all the electro-motive forces arising from other causes resolved parallel to the co-ordinate axes, then if aj, ^2 72 be the effective electro-motive forces Oj = X2 — , ax dy ry dp., 1- (A) dz Now the quantity of the current depends on the electro-motive force and on the resistance of the medium. If the resistance of the medium be uniform in all directions and equal to k.^, as = Asffla, /Sa = ^2625 72 = hc» (B) but if the resistance be different in different directions, the law will be more complicated. These quantities 02 (i^ 72 may be considered as representing the intensity of the electric action in the directions of xyz. 64 Mr maxwell, ON FARADAY'S LINES OF FORCE. The intensity measured along an element da of a curve e = la + mft + ny, where Imn are the direction-cosines of the tangent. The integral feda taken with respect to a given portion of a curve line, represents the total intensity along that line. If the curve is a closed one, it represents the total intensity of the electro-motive force in the closed curve. Substituting the values of a/3 7 from equations (A) feda = JiXdo! + Ydy + Zdz) - p + C. If, therefore {Xdx + Ydy + Zdz) is a complete differential, the value of feda for a closed curve will vanish, and in all closed curves feda = f{Xdx + Ydy + Zdz), the integration being effected along the curve, so that in a closed curve the total intensity of the effective electro-motive force is equal to the total intensity of the impressed electro- motive force. The total quantity of conduction through any surface is expressed by fedS, where e = la + mb + nc, Imn being the direction-cosines of the normal, .*. fedS = ffadydz + ffbdzdx + ffcdxdy, the integrations being effected over the given surface. When the surface is a closed one, then we may find by integration by parts If we make da db dc — + T- + T" = 4'r|0 (C) dx dy dz fedS = 4 TT Jffpdxdydz, where the integration on the right side of the equation is effected over every part of space within the surface. In a large class of phenomena, including all cases of uniform currents, the quantity p disappears. Magnetic Quantity and Intensity. From his study of the lines of magnetic force, Faraday has been led to the conclusion that in the tubular surface* formed by a system of such lines, the quantity of magnetic induction across any section of the tube is constant, and that the alteration of the character of these lines in passing from one substance to another, is to be explained by a difference of inductive capacity in the two substances, which is analogous to conductive power in the theory of electric currents. • Exp. Res. 3271, definition of " Sphondyloid." Mb maxwell, ON FARADAY'S LINES OF FORCE. SS In the following investigation we shall have occasion to treat of magnetic quantity and intensity in connexion with electric. In such cases the magnetic symbols will be distinguished by the suffix 1, and the electric by the suffix 2. The equations connecting a, b, c, k, a, fi, y, p, and p, are the same in form as those which we have just given, a, b, c are the symbols of magnetic induction with respect to quantity ; k, denotes the resistance to magnetic induction, and may be different in different directions; a, /3, y, are the effective magnetizing forces, con- nected with a, b, c, by equations (B) ; jo, is the magnetic tension or potential which will be afterwards explained ; p denotes the density of real magnetic matter and is connected with a, b, c by equations (C). As all the details of magnetic calculations will be more intelligible after the exposition of the connexion of magnetism with electricity, it will be sufficient here to say that all the definitions of total quantity, with respect to a surface, and total intensity with respect to a curve, apply to the case of magnetism as well as to that of electricity. Electro-magnetism. Ampere has proved the following laws of the attractions and repulsions of electric currents : I. Equal and opposite currents generate equal and opposite forces. II. A crooked current is equivalent to a straight one, provided the two currents nearly coincide throughout their whole length. III. Equal currents traversing similar and similarly situated closed curves act with equal forces, whatever be the linear dimensions of the circuits. IV. A closed current exerts no force tending to turn a circular conductor about its centre. It is to be observed, that the currents with which Ampere worked were constant and therefore re-entering. All his results are therefore deduced from experiments on closed currents, and his expressions for the mutual action of the elements of a current involve the assumption that this action is exerted in the direction of the line joining those elements. This assumption is no doubt warranted by the universal consent of men of science in treating of attractive forces considered as due to the mutual action of particles; but at present we are proceeding on a different principle, and searching for the explanation of the phenomena, not in the currents alone, but also in the surrounding medium. The first and second laws shew that currents are to be combined like velocities or forces. The third law is the expression of a property of all attractions which may be conceived of as depending on the inverse square of the distance from a fixed system of points ; and the fourth shews that the electro-magnetic forces may always be reduced to the attractions and repulsions of imaginary matter properly distributed. In fact, the action of a very small electric circuit on a point in its neighbourhood is identical with that of a small magnetic element on a point outside it. If we divide any given portion of a surface into elementary areas, and cause equal currents to flow in the same direction round all these little areas, the effect on a point not in the surface will be the 56 Mr maxwell, ON FARADAY'S LINES OF FORCE. same as that of a shell coinciding with the surface, and uniformly magnetized normal to its surface. But by the first law all the currents forming the little circuits will destroy one another, and leave a single current running round the bounding line. So that the magnetic effect of a uniformly magnetized shell is equivalent to that of an electric current round the edge of the shell. If the direction of the current coincide with that of the apparent motion of the sun, then the direction of magnetization of the imaginary shell will be the same as that of the real magnetization of the earth*. The total intensity of magnetizing force in a closed curve passing through and embracing the closed current is constant, and may therefore be made a measure of the quantity of the current. As this intensity is independent of the form of the closed curve and depends only on the quantity of the current which passes through it, we may consider the elementary case of the current which flows through the elementary area dydss. Let the axis of w point towards the west, ss towards the south, and y upwards. Let wyz be the position of a point in the middle of the area dydss, then the total intensity measured round the four sides of the element is / d(i,dz\ -[^^--di^n f dy, dy\ ^v'^--diYn Total intensity = (-^ - -jAdy dz. The quantity of electricity conducted through the elementary area dydx is a.jdydz, and therefore if we define the measure of an electric current to be the total intensity of magnetizing force in a closed curve embracing it, we shall have Oa — — —- — , dx dy dy, dai bi = — -T-> < dio das dai dfS^ dy d,v These equations enable us to deduce the distribution of the currents of electricity whenever we know the values of a, /3, y, the magnetic intensities. If a, jS, y be exact differentials of a function of wyz with respect to ar, y and z respectively, then the values of aj b^ c, disappear ; * See Experimental Researches (3265) far the relations between the electrical and magnetic circuit, considered as muiually embracing curves. Me maxwell, ON FARADAY'S LINES OF FORCE. 57 and we know that the magnetism is not produced by electric currents in that part of the field which we are investigating. It is due either to the presence of permanent magnetism within the field, or to magnetizing forces due to external causes. We may observe that the above equations give by differentiation da^ db, dc-i dx dy dz ' which is the equation of continuity for closed currents. Our investigations are therefore for the present limited to closed currents; and in fact we know little of the magnetic effects of any currents which are not closed. Before entering on the calculation of these electric and magnetic states it may be advantageous to state certain general theorems, the truth of which may be established analytically. Theorem I. The equation d^V dW d'V d^v^ + df^^^'^'P''' (where V and p are functions of oryx never infinite, and vanishing for all points at an infinite distance,) can be satisfied by one, and only one, value of V. See Art, (17) above. Theoeem II. The value of V which will satisfy the above conditions is found by integrating the expression pd.vdydx ffh (x — x'l^ "^ y — y\ "^ ^ — «' 1') where the limits of xyz are such as to include every point of space where p is finite. The proofs of these theorems may be found in any work on attractions or electricity, and in particular in Green's Essay on the Application of Mathematics to Electricity. See Arts. 18, 19 of this Paper. See also Gauss, on Attractions, translated in Tayl.'s-.'s Scientific Memoirs. Theorem III. Let U and V be two functions oi xyz, then rrr..ldPV dW d'V\ , , , rrrldUdV dUdV dU dV\ ^ , , jjJ''[dx^'-df^d^r'^^'='-jjJ[-d.^v-'^ where the integrations are supposed to extend over all the space in which U and V have values differing from (Green, p. 10.) This theorem shews that if there be two attracting systems the actions between them are equal and opposite. And by making (7 = F we find that the potential of a system on itself is proportional to the integral of the square of the resultant attraction through all space; a Vol. X. Part I. 8 58 Mr maxwell, ON FARADAY'S LINES OF FORCE. result deducible from Art. (30), since the volume of each cell is inversely as the square of the velocity (Arts. J 2, 13), and therefore the number of cells in a given space is directly as the square of the velocity. Theorem IV. Let a, /3, y, p be quantities finite through a certain space and vanishing in the space beyond, and let k be given for all parts of space as a continuous or discontinuous function of xyz, then the equation in p d If dp\ d !/_ dp\ d 1/ dp\ Txlk"- d-v)-'jyk['^~dy)^lilcV-irzr^''P=''^ has one, and only one solution, in which p is always finite and vanishes at an infinite distance. The proof of this theorem, by Prof. W. Thomson, may be found in the Cambridge and Dublin Math. Journal, Jan. 1848. If a /3 7 be the electro-motive forces, p the electric tension, and k the coefficient of resist- ance, then the above equation is identical with the equation of continuity da^ dbi dCi dx dy dz ' ' and the theorem shews that when the electro-motive forces and the rate of production of electricity at every part of space are given, the value of the electric tension is determinate. Since the mathematical laws of magnetism are identical with those of electricity, as far as we now consider them, we may regard a^y as magnetizing forces, p as magnetic tension, and p as real magnetic density, k being the coefficient of resistance to magnetic induction. The proof of this theorem rests on the determination of the minimum value of * where V is got from the equation rfT d'V d'V and p has to be determined. The meaning of this integral in electrical language may be thus brought out. If the pre- sence of the media in which k has various values did not affect the distribution of forces, then the "quantity" resolved in x would be simply — and the intensity ^ — . But the actual quan- 1 / dp\ dp tity and intensity are -la - —I and a - — , and the parts due to the distribution of media alone are therefore 1 dp\ dV dp dV k dxj doe dco dx ' Mr maxwell, ON FARADAY'S LINES OF FORCE. M Now the product of these represents the work done on account of this distribution of media, the distribution of sources being determined, and taking in the terms in y and « we get the expression Q for the total work done by that part of the whole effect at any point which is due to the distribution of conducting media, and not directly to the presence of the sources. This quantity Q is rendered a minimum by one and only one value of p, namely, that which satisfies the original equation. Theoeem V. If a, b, c be three functions of ir, y, z satisfying the equation da db dc dx dy dz it is always possible to find three functions a, fi, 7 which shall satisfy the equations d/3 dy dz dy = a, dy dw da dz~ 6, da dy' dx c. Let A =fcdy, where the integration is to be performed upon c considered as a function of y, treating x and % as constants. Let B =fadz, C=jbdx, A' = jbdx, B> =fcdx, C = fady, integrated in the same way. Then a=A-A' + f, dx dy will satisfy the given equations ; for d(i dy rda rdc rdb f^^j dx dy J dy J dz J dy J dy and rda rdb rd^ must be zero also. Theorem VI. Let a, b, c be any three functions of a:, y, z, it is possible to find three functions a, /3, y and a fourth V, so that da d3 dy dio dy dz d)3 dy dV and " = :i -r + "T » dx dy dx dy da dV dx dis dy ' Let _da _d0 dV dy dx dz da db dc dx dy dz "' and let V be found from the equation then satisfy the condition d^V d'V d'V dV '""'-di' b'.b-'I, dy dV c = c - — - , da db' dc dx dy dz and therefore we can find three functions J, B, C, and from these a, /3, y, so as to satisfy the given equations. Theorem VII. The istegral throughout infinity Q = fffidiai + bi(ii + Cxyx)dxdydz, 6» Mr maxwell, ON FARADAY'S LINES OF FORCE. where ai b^ Cj, ui jSj 71 are any functions whatsoever, is capable of transformation into in which the quantities are found from the equations da, db, dcj -—- + -—+ — -+ 47rpi = 0, ax dy dz da, d&x dy, , -J- +-r + :T^+47rp/= 0; d.v dy dz «oi3c7o^ are determined from a, 6, c, by the last theorem, so that dz dy dot a-i 62 C2 are found from a, /3i 71 by the equations ddx dvi o a.,= — &c., J dx dy and p is found from the equation dJ'p d-p d^p , doe' dy' dz' "' For, if we put a^ in the form dA)_^o dV dz dy dm and treat b^ and Cj similarly, then we have by integration by parts thA)ugh infinity, remem- bering that all the functions vanish at the limits, or Q= + flf\ (47r Vp) - (a^a^ + fiA + 70C2) } djcdydx, and by Theorem III, fffVp'dxdydz = fjfppdjsdydz, so that finally Q = ffll'^'^Pp - ("o«2 + ^0^2 = y^2)]da>dydx. If Ci 61 Cj represent the components of magnetic quantity, and ai /3i 71 those of magnetic intensity, then p will represent the real magnetic density, and p the magnetic potential or tension. 02 62 <^2 '"'iH be the components of quantity of electric currents, and Oq /Sq 7o will be three functions deduced from OiftjCi, which will be found to be the mathematical expression for Faraday's Electro-tonic state. Let us now consider the bearing of these analytical theorems on the theory of magnetism. Whenever we deal with quantities relating to magnetism, we shall distinguish them by the suffix ( 1 ). Thus Oi 61 Cj are the components resolved in the directions of x, y, z of the Mr maxwell, ON FARADAY'S LINES OF FORCE. 68 quantity of magnetic induction acting through a given point, and ai/3i7i are the resolved inten- sities of magnetization at the same point, or, what is the same thing, the components of the force which would be exerted on a unit south pole of a magnet placed at that point without disturbing the distribution of magnetism. The electric currents are found from the magnetic intensities by the equations flj = —---/- &c. dz ay When there are no electric currents, then a^dx + fi^dy + y^dz = dp^, a perfect differential of a function of *, y, z. On the principle of analogy we may call p^ the magnetic tension. The forces which act on a mass m of south magnetism at any point are dpi dpi dp^ — m—- , — m —— , and — m -— , die dy dz in the direction of the axes, and therefore the whole work done during any displacement of a magnetic system is equal to the decrement of the integral Q = fffpiPidxdydz throughout the system. Let us now call Q the total potential of the system on itself. The increase or decrease of Q will measure the work lost or gained by any displacement of any part of the system, and will therefore enable us to determine the forces acting on that part of the system. By Theorem III. Q may be put under the form Q = + — jjjifl\f^i + ^i/^i + Ciyi)d.vdydx, in which a, jSj 7, are the differential coefficients of p^ with respact to a?, y, x respectively. If we now assume that this expression for Q is true whatever be the values of oi (Bi yu we pass from the consideration of the magnetism of permanent magnets to that of the magnetic effects of electric currents, and we have then by Theorem VII. So that in the case of electric currents, the components of the currents have to be multiplied by the functions aafioyo respectively, and the summations of all such products throughout the system gives us the part of Q due to those currents. We have now obtained in the functions oq jS^ 70 the means of avoiding the consideration of the quantity of magnetic induction which passes through the circuit. Instead of this artificial method we have the natural one of considering the current with reference to quantities existing in the same space with the current itself. To these I give the name of Electro-tonic functions, or components of the Electro-tonic intensity. 64 Mb maxwell, ON FARADAY'S LINES OF FORCE. Let us now consider the conditions of the conduction of the electric currents within the medium during changes in the electro-tonic state. The method which we shall adopt is an application of that given by Helmholtz in his memoir on the Conservation of Force*. Let there be some external source of electric currents which would generate in the con- ducting mass currents whose quantity is measured by a^ 63 Cj and their intensity by aj jSa 72- Then the amount of work due to this cause in the time di is dtjjj{a./i2 + 62/82 + c./yi)daidydz in the form of resistance overcome, and dt d 47r dt Jjjiazaa + hfio + c^y^dxdydz in the form of work done mechanically by the electro-magnetic action of these currents. If there be no external cause producing currents, then the quantity representing the whole work done by the external cause must vanish, and we have dt jjf(«2a2+ ^A + c.,y2)da!dydx+ — — Jfjictiaa + b.,(i^ + c.i'y^)dxdydz, where the integrals are taken through any arbitrary space. We must therefore have a-ift^ + 60/82 + CjYjj = — — (a,ao + h^fi^ + c^yo) for every point of space; and it must be remembered that the variation of Q is supposed due to variations of oq fio 7o' ^"^ ^^^ "^ '^^ ^2 '^2- ^^ must therefore treat a.^ b^ c^ as constants, and the equation becomes \ A>Tr dt I V 4,7r dt J \' 'iir dt J In order that this equation may be independent of the values of a^ h.^ c^, each of these co- efficients must = ; and therefore we have the following expressions for the electro-motive forces due to the action of magnets and currents at a distance in terms of the electro-tonic functions, °^ 4.7r dt ' 47r dt ' '^' 47r dt ' It appears from experiment that the expression --" refers to the change of electro-tonic state of a given particle of the conductor, whether due to change in the electro-tonic functions themselves or to the motion of the particle. If Op be expressed as a function of x, y, x, and t, and if x, y, % be the co-ordinates of a moving article, then the electro-motive force measured in the direction of x is 1 /dao dx da^ dy daa dz da^\ 47r V dx dt dy dt dz dt dt J • Translated in Taylor's New Scientific Memoirs, Part 1 1. Mr maxwell, ON FARADAY'S LINES OF FORCE. ^ The expressions for the electro-motive forces in y and « are similar. The distribution of currents due to these forces depends on the form and arrangement of the conducting media and on the resultant electric tension at any point. The discussion of these functions would involve us in mathematical formulae, of which this paper is already too full. It is only on account of their physical importance as the mathema- tical expression of one of Faraday's conjectures that I have been induced to exhibit them at all in their present form. By a more patient consideration of their relations, and with the help of those who are engaged in physical inquiries both in this subject and in others not obviously connected with it, I hope to exhibit the theory of the electro-tonic state in a form in which all its relations may be distinctly conceived without reference to analytical calcula- tions. Summary of the Theory of the Electro-tonic State. We may conceive of the electro-tonic state at any point of space as a quantity determinate in magnitude and direction, and we may represent the electro-tonic condition of a portion of space by any mechanical system which has at every point some quantity, which may be a velocity, a displacement, or a force, whose direction and magnitude correspond to those of the supposed electro-tonic state. This representation involves no physical theory, it is only a kind of artificial notation. In analytical investigations we make use of the three components of the electro-tonic state, and call them electro-tonic functions. We take the resolved part of the electro-tonic intensity at every point of a closed curve, and find by integration what we may call the entire electro-tonic intensity round the curve, Peop. I. If on any surface a closed curve be dratvn, and if the surface within it be divided into small areas, then the entire intensity round the closed curve is equal to the sum of the intensities round each of the small areas, all estimated in the same direction. For, in going round the small areas, every boundary line between two of them is passed along twice in opposite directions, and the intensity gained in the one case is lost in the other. Every effect of passing along the interior divisions is therefore neutralized, and the whole effect is that due to the exterior closed curve. Law I. The entire electro-tonic intensity round the boundary of an element of surface measures the quantity of magnetic induction which passes through that surface, or, in other words, the number of lines of magnetic force which pass through that surface. By Prop. I. it appears that what is true of elementary surfaces is true also of surfaces of finite magnitude, and therefore any two surfaces which are bounded by the same closed curve will have the same quantity of magnetic induction through them. Law II. The magnetic intensity at any point is connected with the quantity of magnetic induction by a set of linear equations, called the equations of conduction*. • See Art. (28). Vol. X. Part I. 66 Mr maxwell, ON FARADAY'S LINES OF FORCE. Law III. The entire magnetic intensity round the boundary of any surface measures the quantity of electric current which passes through that surface. Law IV. The quantity and intensity of electric currents are connected by a system of equations of conduction. By these four laws the magnetic and electric quantity and intensity may be deduced from the values of the electro-tonic functions. I have not discussed the values of the units, as that will be better done with reference to actual experiments. We come next to the attraction of conductors of currents, and to the induction of currents within conductors. Law V. The total electro-magnetic potential of a closed current is measured by the product of the quantity of the current multiplied by the entire electro-tonic intensity estimated in the same direction round the circuit. Any displacement of the conductors which would cause an increase in the potential will be assisted by a force measured by the rate of increase of the potential, so that the mechanical work done during the displacement will be measured by the increase of potential. Although in certain cases a displacement in direction or alteration of intensity of tJie current might increase the potential, such an alteration would not itself produce work, and there will be no tendency towards this displacement, for alterations in the current are due to electro-motive force, not to electro-magnetic attractions, which can only act on the conductor. Law VI. The electro-motive force on any element of a conductor is measured by the instantaneous rate of change of the electro-tonic intensity on that element, whether in magnitude or direction. i The electro-motive force in a closed conductor is measured by the rate of change of the entire electro-tonic intensity round the circuit referred to unit of time. It is independent of the nature of the conductor, though the current produced varies inversely as the resistance; and it is the same in whatever way the change of electro-tonic intensity has been produced, whether bv motion of the conductor or by alterations in the external circumstances. In these six laws I have endeavoured to express the idea which I believe to be the mathe- matical foundation of the modes of thought indicated in the Expenmental Researches. I do not think that it contains even the shadow of a true physical theory; in fact, its chief merit as a temporary instrument of research is that it does not, even in appearance, account for anything. There exists however a professedly physical theory of electro-dynamics, which is so elegant, so mathematical, and so entirely different from anything in this paper, that I must state its axioms, at the risk of repeating what ought to be well_known. It is contained in M. W. Weber's Electro-dynamic Measurements, and may be found in the Transactions of the Leibnitz Society, and of the Royal Society of Sciences of Saxony *. The assumptions are, (1) That two particles of electricity when in motion do not repel each other with the same force as when at rest, but that the force is altered by a quantity depending on the relative motion of the two particles, so that the expression for the repulsion at distance r is • When this was written, I was not aware that part of M. Weber's Memoir is translated in Taylor's Scientific Memoirs, Vol. V. Art. XIV. The value of his researches, both experimen. tal and theoretical, renders the study of his theory necessary to every electrician. Mr maxwell, ON FARADAY'S LINES OF FORCE. 67 ee' / dr te I dr !> , dV\ — 1 + a — +or -—] r" V dt dt' (2) That when electricity is moving in a conductor, the velocity of the positive fluid relatively to the matter of the conductor is equal and opposite to that of the negative fluid. (3) The total action of one conducting element on another is the resultant of the mutual actions of the masses of electricity of both kinds which are in each. (4) The electro-motive force at any point is the difference of the forces acting on the positive and negative fluids. From these axioms are deducible Ampere's laws of the attraction of conductors, and those of Neumann and others, for the induction of currents. Here then is a really physical theory, satisfying the required conditions better perhaps than any yet invented, and put forth by a philosopher whose experimental researches form an ample foundation for his mathematical investigations. What is the use then of imagining an electro-tonic state of which we have no distinctly physical conception, instead of a formula of attraction which we can readily under- stand .'' I would answer, that it is a good thing to have two ways of looking at a subject, and to admit that there are two ways of looking at it. Besides, I do not think that we have any right at present to understand the action of electricity, and I hold that the chief merit of a temporary theory is, that it shall guide experiment, without impeding the progress of the true theory when it appears. There are also objections to making any ultimate forces in nature depend on the velocity of the bodies between which they act. If the forces in nature are to be reduced to forces acting between particles, the principle of the Conservation of Force re- quires that these forces should be in the line joining the particles and functions of the distance only. The experiments of M. Weber on the reverse polarity of diamagnetics, which have been recently repeated by Professor Tyndall, establish a fact which is equally a consequence of M. Weber's theory of electricity and of the theory of lines of force. With respect to the history of the present theory, I may state that the recognition of certain mathematical functions as expressing the "electro-tonic state" of Faraday, and the use of them in determining electro-dynamic potentials and electro-motive forces, is, as far as I am aware, original ; but the distinct conception of the possibility of the mathematical expressions arose in my mind from the perusal of Prof. W. Thomson's papers "On a Mechanical Represen- tation of Electric, Magnetic and Galvanic Forces," Cambridge and Dublin Mathematical Journal, January, 1847, and his " Mathematical Theory of Magnetism," Philosophical Transac- tions, Part I. 1851, Art. 78, &c. As an instance of the help which may be derived from other physical investigations, I may state that after I had investigated the Theorems of this paper Professor Stokes pointed out to me the use which he had made of similar expressions in his "Dynamical Theory of Diffraction," Section 1, Cambridge Transactions, Vol. I.X. Part i. Whether the theory of these functions, considered with reference to electricity, may lead to new mathematical ideas to be employed in physical research, remains to be seen. I propose in the rest of this paper to discuss a few electrical and magnetic problems with reference to spheres. These are intended merely as concrete examples of the methods of which the theory has been given ; I reserve the detailed investigation of cases chosen with special reference to experiment till I have the means of testing their results. 9 — z 61 Mb maxwell, ON FARADAY'S LINES OF FORCE. Examples. I. Theory of Electrical Images. The method of Electrical Images, due to Prof. W. Thomson*, by which the theory of spherical conductors has been reduced to great geometrical simplicity, becomes even more simple when we see its connexion with the methods of this paper. We have seen that the pressure at any point in a uniform medium, due to a spherical shell (radius = a) giving out a^ . fluid at the rate of '^irPa^ units in unit of time, is kP — outside the shell, and kPa inside it, r where r is the distance of the point from the centre of the shell. If there be two shells, one giving out fluid at a rate 4nrPa\ and the other absorbing at the rate 4nrP'a'^, then the expression for the pressure will be, outside the shells, a' , a'^ p = 4:TrP 47rP — ; , r r where r and r are the distances from the centres of the two shells. Equating this expression to zero we have, as the surface of no pressure, that for which r P'a'-' r Pa'' Now the surface, for which the distances to two fixed points have a given ratio, is a sphere of which the centre O is in the line joining the centres of the shells CC produced, so that co = cc ^ — Pa'^-Fa'Y and its radius _^^ Pa'.P^a' Pa']'-P'a''Y' ' If at the centre of this sphere we place another source of the fluid, then the pressure due to this source must be added to that due to the other two ; and since this additional pressure depends only on the distance from the centre, it will be constant at the surface of the sphere, where the pressure due to the two other sources is zero. We have now the means of arranging a system of sources within a given sphere, so that when combined with a given system of sources outside the sphere, they shall produce a given constant pressure at the surface of the sphere. " See a series of papers " On the Mathematical Theory of Electricity," in the Cambridge and Dublin Math. Jour., begin- ning March, 1848. Mr maxwell, ON FARADAY'S LINES OF FORCE. 69 Let a be the radius of the sphere, and p the given pressure, and let the given sources be at distances b^ b^ 8ec. from the centre, and let their rates of production be 47rPi, 'iirPs &c. a^ a- Then if at distances — , — &c. (measured in the same direction as 6j b^ Sec. from the bi 62 centre) we place negative sources whose rates are a a - 4nrPi - , - ^trPi - &c. the pressure at the surface r = a will be reduced to zero. Now placing a source 47r — at the centre, the pressure at the surface will be uniform and equal to p. The whole amount of fluid emitted by the surface r = a may be found by adding the rates of production of the sources within it. The result is -{^^^-}• To apply this result to the case of a conducting sphere, let us suppose the external sources 47rPi, ^wPi to be small electrified bodies, containing e^ 62 of positive electricity. Let us also sup- pose that the whole charge of the conducting sphere is = E previous to the action of the external points. Then all that is required for the complete solution of the problem is, that the surface of the sphere shall be a surface of equal potential, and that the total charge of the surface shall he E. If by any distribution of imaginary sources within the spherical surface we can effect this, the value of the corresponding potential outside the sphere is the true and only one. The potential inside the sphere must really be constant and equal to that at the surface. We must therefore find the images of the external electrified points, that is, for every point at distance b from the centre we must find a point on the same radius at a distance — , and at that point we must place a quantity =—e — of imaginary electricity. At the centre we must put a quantity E' such that E'=E+ei- +e.,-+kc.; bi 62 then if R be the distance from the centre, r^r^ &c. the distances from the electrified points, and /j/g the distances from their images at any point outside the sphere, the potential at that point will be jE' /I a \\ /I an„ R \ri birj ' Vi-2 i2rj E eifa 61 a\ e~>(a b^ a\ 70 Mk maxwell, on FARADAY'S LINES OF FORCE. This is the value of the potential outside the sphere. At the surface we have so that at the surface R=a and — = -;-, E = — &c. a 61 5, ;+&c. and this must also be the value of p for any point within the sphere. For the application of the principle of electrical images the reader is referred to Prof. Thomson's papers in the Cambridge and Dublin Mathematical Journal. The only case which we shall consider is that in which —^ =/, and 6, is infinitely distant along axis of x, "1 and £=0. The value p outside the sphere becomes then ;>=/.( -^^). and inside p=0. IL On the effect of a paramagnetic or diamagnetic sphere in a uniform field of magnetic force *. The expression for the potential of a small magnet placed at the origin of co-ordinates in the direction of the axis of B= — -, /. ih + k Zk + k The effect outside the sphere is equal to that of a little magnet whose length is / and moment ml, provided ml= — rrO' !• 2k + k Suppose this uniform field to be that due to terrestrial magnetism, then, if k is less than k' as in paramagnetic bodies, the marked end of the equivalent magnet will be turned to the north. If k is greater tHan k' as in diamagnetic bodies, the unmarked end of the equivalent magnet would be turned to the north. III. Magnetic field of variable Intensity. Now suppose the intensity in the undisturbed magnetic field to vary in magnitude and direction from one point to another, and that its components in ccyix are represented by a,)8i7i, then, if as a first approximation we regard the intensity within the sphere as sensibly equal to that at the centre, the change of potential outside the sphere arising from the presence of 78 Mr maxwell, ON FARADAY'S LINES OF FORCE. the sphere, disturbing the lines of force, will be the same as that due to three small magnets at the centre, with their axes parallel to a>, y, and ar, and their moments equal to k-k' 2A; + k , a?a. k-k' Zk + k -,a'(i. k-k' Sk + k' a^y. The actual distribution of potential within and without the sphere may be conceived as the result of a distribution of imaginary magnetic matter on the surface of the sphere ; but since the external effect of this superficial magnetism is exactly the same as that of the three small magnets at the centre, the mechanical effect of external attractions will be the same as if the three magnets really existed. Now let three small magnets whose lengths are Z, l^ I3, and strengths m^ nii m^ exist at the point xy% with their axes parallel to the axes of wyx; then, resolving the forces on the three magnets in the direction of J^, we have — X = till da l{ ai+ dx 2 dah A-mJ "'^dxl] da 4" rft/2 da la + m. a + da I3 dz2 -«! + da , da , aw ay dy2) da dak dz2 Substituting the values of the moments of the imaginary magnets ~2k + k' \dx '^ dx '^ dx) 2k + &' 2 dx ^ The force impelling the sphere in the direction of x is therefore dependent on the variation of the square of the intensity or (a^ + /3' + 7*), as we move along the direction of x, and the same is true for y and z, so that the law is, that the force acting on diamagnetic spheres is from places of greater to places of less intensity of magnetic force, and that in similar distri- butions of magnetic force it varies as the mass of the sphere and the square of the intensity. It is easy by means of Laplace's Coefficients to extend the approximation to the value of the potential as far as we please, and to calculate the attraction. For instance, if a north or south magnetic pole whose strength is M, be placed at a distance b from a diamagnetic sphere, radius a, the repulsion will be ^-'<*-*')?G-^F- 3.2 4.3 Sk + 2k' W 4& + 3k' b* + &c. When — is small, the first term gives a sufficient approximation. The repulsion is then as b the square of the strength of the pole and the mass of the sphere directly and the fifth power of the distance inversely, considering the pole as a point. Mb maxwell, ON FARADAY'S LINES OF FORCE. 73 IV. Two Spheres in uniform Jield. Let two spheres of radius a be connected together so that their centres are kept at a dis- tance ft, and let them be suspended in a uniform magnetic field, then, although each sphere by itself would have been in equilibrium at any part of the field, the disturbance of the field will produce forces tending to make the balls set in a particular direction. Let the centre of one of the spheres be taken as origin, then the undisturbed potential is p — I r cos 9, and the potential due to the sphere is , k-k'a^ p = I —. ;^ — cos U. 2k + k' r* The whole potential is therefore equal to ^ f k- k a\ V 2k 1 dp r dO 2k + K dp , / k — k' a?\ dr V 2k + k T^j k — k' a^ cos 9, , /■ k- k a^\ . . dp »-=^ dr + 1 dp t^ dd r sm dp '9 d^ = r4i + k — k' a? 2k + k' r^ d(p (l-3cos=0) + k-k' 2k +k' :(1 +3cos' '■e)]- This is the value of the square of the intensity at any point. The moment of the couple tending to turn the combination of balls in the direction of the original force L = l d k-k' T — 3 ri ^2 2k + k' 7/1 - 1 7 7' ^'1 ^l^en r = ft, d9 \2k+k J k-k' ^a^ ( k-k' a?\ . ^ ft-^l^-sTTl'ft-j^^"^^- This expression, which must be positive, since ft is greater than a, gives the moment of a force tending to turn the line joining the centres of the spheres towards the original lines of force. Whether the spheres are magnetic or diamagnetic they tend to set in the axial direction, and that without distinction of north and south. If, however, one sphere be magnetic and the other diamagnetic, the line of centres will set equatoreally. The magnitude of the force depends on the square of {k — k'), and is therefore quite insensible except in iron *. V. Two Spheres between the poles of a Magnet. Let us next take the case of the same balls placed not in a uniform field but between a north and a south pole, ± M, distant 2c from each other in the direction of x. Vol. X. Part I. • See Prof. Thomson in Phil. Mag. March, 18S1. 10 74f Mb maxwell, ON FARADAY'S LINES OF FORCE. The expression for the potential, the middle of the line joining the poles being the origin, is 1 1 \,\/c'+r^-9, cos Qcr \/c''+r^+2 cos Qcri ' From this we find as the value of P, ■: ^ 3s = - 18 — / sin 20, dO c* and the moment to turn a pair of spheres (radius a, distance 26) in the direction in which 9 is increased is k-k' M'a'b^ . ^ This force, which tends to turn the line of centres equatoreally for diamagnetic and axially for magnetic spheres, varies directly as the square of the strength of the magnet, the cube of the radius of the spheres and the square of the distance of their centres, and inversely as the sixth power of the distance of the poles of the magnet, considered as points. As long as these poles are near each other this action of the poles will be much stronger than the mutual action of the spheres, so that as a general rule we may say that elongated bodies set axially or equatoreally between the poles of a magnet according as they are magnetic or diamagnetic. If, instead of being placed between two poles very near to each other, they had been placed in a uniform field such as that of terrestrial magnetism or that produced by a spherical electro-magnet (see Ex. VIII.), an elongated body would set axially whether magnetic or diamagnetic. In all these cases the phenomena depend on k — k', so that the sphere conducts itself magnetically or diamagnetically according as it is more or less magnetic, or less or more diamJignetic than the medium in which it is placed. VI. On the Magnetic Phenomena of a Sphere cut from a substance whose coefficient of resistance is different in different directions. Let the axes of magnetic resistance be parallel throughout the sphere, and let them be taken for the axes of a?, y, ss. Let k^, k^, k^, be the coefficients of resistance in these three directions, and let k' be that of the external medium, and a the radius of the sphere. Let / be the undisturbed magnetic intensity of the field into which the sphere is introduced, and let its direction-cosines be I, m, n. Let us now take the case of a homogeneous sphere whose coefficient is A;, placed in a uniform magnetic field whose intensity is II in the direction of a?. The resultant potential outside the sphere would be Mr maxwell, ON FARADAY'S LINES OF FORCE. 75 and for internal points «i= 12 — -> a?. So that in the interior of the sphere the magnetization is entirely in the direction of .v. It is therefore quite independent of the coefficients of resistance in the directions of w and y, which may be changed from k^ into k.^ and ks without disturbing this distribution of magnetism. We may therefore treat the sphere as homogeneous for each of the three components of /, but we must use a different coefficient for each. We find for external points , f [k,-k' k^-k' k^-k' \aF\ and for internal points , / Sk^ , Shi Sks \ Pi= I — —, Ix + — -, my + — -, nx . The external effect is the same as that which would have been produced if the small magnet whose moments are K^—K «2"" k k^— k — — -, lla?y — -, mlar, — -; n/a' 2*1+ A; 2*2+ ft 2*3+ A; had been placed at the origin with their directions coinciding with the axes of ^0 = t>)X, 7o = - <^yi where to is some function of r. Where there are no electric currents, we must have Ojj ^a' <^3 each = 0, and this implies the solution of which is / d(i)\ (3. + r.-j=0. d f dc dr c. + ^ Within the shell w cannot become infinite ; therefore w = C, is the solution, and outside a must vanish at an infinite distance, so that 0} = r. 3 is the solution outside. The magnetic quantity within the shell is found by last article to be -2 therefore within the sphere ^6a 2k + k ' dr dy Wq= - I^n 1 2a 3k + k' ■ Outside the sphere we must determine w so as to coincide at the surface with the internal value. The external value is therefore •■2" W = 2a Sh + A' r^ ' where the shell containing the currents is made up of n coils of wire, conducting a current of total quantity I^. Let another wire be coiled round the shell according to the same law, and let the total number of coils be n ; then the total electro-tonic intensity EI^ round the second coil is found by integrating EI^ = / a)ffl sin Qds, ''a Mb maxwell, ON FARADAY'S LINES OF FORCE. 79 along the whole length of the wire. The equation of the wire is \ = -^ where w is a large number ; and therefore cos 9 = -7— , n IT ds = a sin 6d(p, = - an'irsm^OdO, „, 47r „ , Stt ,, 1 • ^ S 3 3k + k E may be called the electro-tonic coefficient for the particular wire. XI. Spherical electro-magnetic Coil-Machine. We have now obtained the electro-tonic function which defines the action of the one coil on the other. The action of each coil on itself is found by putting n? or n'' for nri. Let the first coil be connected with an apparatus producing a variable electro-motive force F. Let us find the effects on both wires, supposing their total resistances to be R and R', and the quantity of the currents / and T. Let N stand for -— — -7- , then the electro-motive force of the first wire on the second is 3 {3k+k) That of the second on itself is AT '^^ - Nnn -— . dt dt The equation of the current in the second wire is therefore -Nnn'~-Nn"% = R'r (l) dt dt ^ ' The equation of the current in the first wire is -Nn'>--Nnn'~ + F = RI. (2) dt dt ' Eliminating the differential coeflicients, we get nnn , ,, /to' n"\ dl ^ F n'^ dF , . from which to find / and T . For this purpose we require to know the value of F in terms of t. Let us first take the case in which F is constant and / and T initially = 0. This is the case of an electro-magnetic coil-machine at the moment when the connexion is made with the galvanic trough. W Mr maxwell, ON FARADAY'S LINES OF FORCE. Putting A T for iV — - + -— we find • \R R I N n F The primary current increases very rapidly from to — , and the secondary commences at R F n - — , — and speedily vanishes, owing to the value of t being generally very small. The whole work done by either current in heating the wire or in any other kind of action is found from the expression fPRdt The total quantity of current is / Idt. For the secondary current we find Jo Rn" 4 Jg Rn 2 The work done and the quantity of the current are therefore the same as if a current Fn of quantity /' = ■ had passed through the wire for a time t, where T= 2iV In? n"^\ [-r^b)- This method of considering a variable current of short duration is due to Weber, whose experimental methods render the determination of the equivalent current a matter of great precision. Now let the electro-motive force F suddenly cease while the current in the primary wire is /„ and in the secondary = 0. Then we shall have for the subsequent time R n p ' The equivalent currents axe. i /q and 4 ^o "Vv " > ^^^ their duration is t. K n When the communication with the source of the current is cut off, there will be a change of R. This will produce a change in the value of r, so that if R be suddenly increased, the strength of the secondary current will be increased, and its duration diminished. This is the case in the ordinary coil-machines. The quantity N depends on the form of the machine, and may be determined by experiment for a machine of any shape. Mr maxwell, ON FARADAY'S LINES OF FORCE. 81 XII. Spherical shell revolving in magnetic field. Let us next take the case of a revolving shell of conducting matter under the influence of a uniform field of magnetic force. The phenomena are explained by Faraday in his Experimental Researches, Series II., and references are there given to previous experiments. Let the axis of z be the axis of revolution, and let the angular velocity be w. Let the magnetism of the field be represented in quantity by /, inclined at an angle 9 to the direction of z, in the plane of zx. Let R be the radius of the spherical shell, and T the thickness. Let the quantities Oo, /3o, 7o» l>6 t^^ electro-tonic functions at any point of space; a^, b„ c,, Oj, jS,, 71 symbols of magnetic quantity and intensity; a^, b^, c^, a^, /Sj, 72 of electric quantity and intensity. Let Pa be the electric tension at any point, dpi dx /3. = |^ + A62 ^ 0) 7,= -+*C3 da^ db^ dc^ dx dy dz 2 dfi^ dy^ + + ■ dx dy dz da. =V> (2); The expressions for a^, /3o, 70 ^^^ to the magnetism of the field are ao = -^0 + ~ y cos 6, (if, =' Ba + - (z sin 6 - X cos 6), ^ I • ^ yo= Co--y sm 9, Aq, Bg, C(, being constants; and the velocities of the particles of the revolving sphere are dx dy dt = wx. dz di = 0. We have therefore for the electro-motive forces 1 doo I I a^— — = cos y o)X, ^.= - 72 = - 47r dt 47r dt — hi.. 47r dt 4>7r 2 cos 9wy, 47r 2 ^ sin 9a)X. 47r2 Vol. X. Paet L 11 8a Mb maxwell, ON FARADAY'S LINES OF FORCE. Returning to equations (l), we get l [^ _ ^\ - ^ _ ^ = \dz dyl dm dy . (dc^ da^\ dy, da^ 1 I . Kdic dss I dx dz 4nr x (du^ _ dh^\ ^ da^ _ ^^' ^ p Idu^ db^X da^ d^^ \dy dx) dy dx From which with equation (2) we find ]_ J_ 7 A 47r 4 62 = 0, a, = - — T- T sin Ouiss, 11/.. C2 = sin dwx, k 4iir 4! P2 = — — /w{ (.r* + y^) cos 6 - xz sin 6], lOTT These expressions would determine completely the motion of electricity in a revolving sphere if we neglect the action of these currents on themselves. They express a system of circular currents about the axis of y, the quantity of current at any point being proportional to the distance from that axis. The external magnetic effect will be that 'Tips of a small magnet whose moment is wl sin 6, with its direction along the axis of y, ^8irk so that the magnetism of the field would tend to turn it back to the axis of x*. The existence of these currents will of course alter the distribution of the electro-tonic functions, and so they will react on themselves. Let the final result of this action be a system of currents about an axis in the plane of xy inclined to the axis of x at an angle and producing an external effect equal to that of a magnet whose moment is TB?. The magnetic inductive components within the shell are Ii sin — 9,1' cos (j) in a, — 9,1' sin (p in y, /i cos in z. Each of these would produce its own system of currents when the sphere is in motion, and these would give rise to new distributions of magnetism, which, when the velocity is uniform, must be the same as the original distribution, T ■ (/i sin 0-2/ cos (p) in m produces 2 w (/, sin - 2/* cos (pi) in y, 487rft T (- 9.1' sin 0) in y produces 2 a {9,1' sin 0) in a?; 487rA /, cos 6 in X produces no currents. * The expression for ^2 indicates a variable electric tension in the shell, so that currents might be collected by wires touching it at the equator and poles. Mr maxwell, ON FARADAY'S LINES OF FORCE. 88 We must therefore have the following equations, since the state of the shell is the same at every instant, T L sin - 2 i* cos = /, sin + toS/ sin (b T — 2/' sin ^ "= w(Ji sin - 2i* cos ), whence 247rA; T 24,irk ^o^ evoexa KWTrajs Qopvfiov ■^prjaTOV XrjvdiTTjv — " raise for him a plash of applause in good measure, and waft him a noble Lenaean cheer with eleven oars." It seems that there were eleven tiers of seats between each diazoma of the Theatre at Athens, the diazoma itself being counted as the twelfth row. Accordingly, each wedge would suggest the idea of eleven benches of rowers, and the applause, which the chorus demands, would come like the plash of eleven oars striking the water at once. (6) As the o-eXis was the only uninterrupted thoroughfare by which the officers could pass to and fro to give their orders and keep the men to their work, we get at last the long sought explanation of a passage in jEschylus, which all the commentators have failed to eluci- date. In the course of the altercations between JEgisthus and the chorus at the end of the Agamemnon, the usurper is made to address the senators as follows (v. 1588): av TavTU but had their feet upon them. Every Greek scholar is aware that when we wish to say that a man is seated with his legs hanging from his seat, whether it be on a chair, a rowing-bench, or on horse-back, we use kirl with the genitive; but 'eir\ with the dative, when we wish to say that the whole man is upon that which serves as his footing. If the officers had seats they were placed upon the Xvyd, and were much higher than the stools of the 9paviTai, so that even when seated, the Kparovvre^, or officers, might speak of the rowers of the highest tier as veprepa ■irpoar]fievov^ Kwirri. Their seats then being placed on the ^vya, they might be said either KaOrjcrOat or earmevai eiri ^uyoii, because their feet rested on them; but the l^vy'irai could only be said KaGfjaQai eiri (yywv. Hence we have in Eurip. Phmniss. 74: evel ^ eirl ^vyoii KaOe^er ap)(fis, and Eustathius tells us that the Dr DONALDSON, ON THE STRUCTURE OF THE ATHENIAN TRIREME. 93 Homeric epithet v\l/i([iryos is derived from the high seat of the pilot in a ship (p. 131, 18): Kal TovTo 06 oLTTo KvfiepvrjTiKtj's fj.eT)jveKTai KaTaaTaa-ews. For the same reason JEschy- lus speaks of the Gods as aeX/ua aefipov ^fievoov {Agam. 176). (c) Another difficult passage in the same play furnishes an illustration of the fact that the middle part of the aeXjuara or ^vyd, in an old Greek vessel, belonged to the officers and supernumeraries. In v. 1413 it is said of Cassandra, who came with Agamemnon from Troy, that she was vavTiKwv areXfiarwu taTorpi/Sj/s, where some read iaoTpijirys. The allusion to Chryseis a line or two before makes it probable that ^Eschylus had in his recollection the lines in the Iliad, where Agamemnon says that old age shall find her : 'igtov eiroiyofxevr}v Kal emov Xej^os di/Tiocoaav. Here it is implied that the atXnara were her only gynceceum, just as Persius says (v. 146): "tun' mare transsilies .? tibi torta cannabe fulto, coena sit in transtroT'' Or if IffTos has its nautical meaning, it will imply that the captain's quarters were amidships near the mast. But to this it may be objected with reason that, at all events in later times, the captain or admiral occupied a pavilion or round-house on the poop ; Jul. Poll. i. 87 : efcel irov Kal aKrjVT) ovofxaXeTai to Trriyvvfievov aTparrjytp rj Toit^papyw. And ^Eschylus himself describes the sovereign of a state as a pilot or captain who keeps sleepless watch at the helm on the quarter-deck of the city {Sept c. Theb. 2, 3 : ootjs (pvXdaaei irpdyos ev Trpv/xvri iroXew; oiaKa vwfLwv, fiXeipapa /xrj Koifxwv vTrvw)- (d) To the practice of moving fore and aft along these cross-planks with frequent intervals, at least where the rowers sat, even if the selis was planked, I also refer the proverbial expression of warning, that " we must take care not to step into the bilge-water, or put our foot into the hold" (eh avrXov e/mfi^cTai rro^a, Eurip. Hercul. l68). It is clear, from this mode of describing it, that the caution referred to some risk of common occurrence. Mr Haliburton connects the corresponding American phrase of "putting your foot into it" with an incident in the backwoods, where a bear grapples with a saw-mill, and is bisected accordingly. Some risk not much less formidable is implied in the Greek expression. When ^schylus says {Choeph. 695) : e^w KOfxii^oov dXeOpiov -rrtjXov tto^o, he refers to an escape from serious danger, and not to the mere avoidance of dirt. So this phrase cannot apply to the fear of getting one's feet wet with bilge-water, or with dirty water in general, but must mean that there was a constant risk of tumbling between the ^vyd, to the very bottom of the ship, if those who walked across the planks did not attend to their feet; and that this often happened with serious consequences to the sailors, officers, and passengers in a trireme. I submit these observations in the hope that they will tend to clear up some obscurities in Greek history and antiquities, and, at all events, reconcile the language of the best authorities with a probable theory respecting the structure and management of the swift war-boat whicli dashed through the water and wheeled round at the command of some sea-captain like Phormio, or, as the Greek poet says, sped across the main, keeping pace with the hundred feet of the Nereids (Soph. (Ed. Col. 720 sqq.). v. Of the Platonic Theory of Ideas. By W. Whewell, D.D. Master of Trinity College, Cambridge. ^Read November 10, 1856.] Though Plato has, in recent times, had many readers and admirers among our English scholars, there has been an air of unreality and inconsistency about the commendation which most of these professed adherents have given to his doctrines. This appears to be no captious criticism, for instance, when those who speak of him as immeasurably superior in argument to his opponents, do not venture to produce his arguments in a definite form as able to bear the tug of modern controversy; — when they use his own Greek phrases as essential to the expo- sition of his doctrines, and speak as if these phrases could not be adequately rendered in English; — and when they assent to those among the systems of philosophy of modern times which are the most clearly opposed to the system of Plato. It seems not unreasonable to require, on the contrary, that if Plato is to supply a philosophy for us, it must be a phi- losophy which can be expressed in our own language; — that his system, if we hold it to be well founded, shall compel us to deny the opposite systems, modern as well as ancient; — and that, so far as we hold Plato''s doctrines to be satisfactorily established, we should be able to produce the arguments for them, and to refute the arguments against them. These seem reasonable requirements of the adherents of any philosophy, and therefore, of Plato's. I regard it as a fortunate circumstance, that we have recently had presented to us an exposition of Plato's philosophy which does conform to those reasonable conditions; and we may discuss this exposition with the less reserve, since its accomplished author, though belonging to this generation, is no longer alive. I refer to the Lectures on the History of Ancient Philosophy, by the late Professor Butler of Dublin. In these Lectures, we find an account of the Platonic Philosophy which shews that the writer had considered it as, what it is, an attempt to solve large problems, which in all ages force themselves upon the notice of thoughtful men. In Lectures VIII. and X., of the Second Series, especially, we have a statement of the Platonic Theory of Ideas, which may be made a convenient starting point for such remarks as I wish at present to make. I will transcribe this account; omitting, as I do so, the expressions which Professor Butler uses, in order to present the theory, not as a dogmatical assertion, but as a view, at leas>t not extravagant. For this purpose, he says, of the successive portions of the theory, that one is "not too absurd to be maintained;" that another is " not very extravagant either;" that a third is " surely allowable;" that a fourth Dr WHEWELL, on the PLATONIC THEORY OF IDEAS. 95 presents "no incredible account" of the subject; that a fifth is "no preposterous notion in substance, and no unwarrantable form of phrase." Divested of these modest formulae, his account is as follows: [Vol. ii. p. 117.] *' Man's soul is made to contain not merely a consistent scheme of its own notions, but a direct apprehension of real and eternal laws beyond it. These real and eternal laws are things intelligible, and not things sensible. " These laws impressed upon creation by its Creator, and apprehended by man, are some- thing distinct equally from the Creator and from man, and the whole mass of them may fairly be termed the World of Things Intelligible. " Further, there are qualities in the supreme and ultimate Cause of all, which are mani- fested in His creation, and not merely manifested, but, in a manner — after being brought out of his superessential nature into the stage of being [which is] below him, but next to him — are then by the causative act of creation deposited in things, differencing them one from the other, so that the things partake of them (/meTe'x^ovai), communicate with them {KOivcovovai)' " The intelligence of man, excited to reflection by the impressions of these objects thus (though themselves transitory) participant of a divine quality, may rise to higher conceptions of the perfections thus faintly exhibited; and inasmuch as these perfections are unquestionably real existences, and known to be such in the very act of contemplation, — this may be regarded as a direct intellectual apperception of them, — a Union of the Reason with the Ideas in that sphere of being which is common to both. " Finally, the Reason, in proportion as it learns to contemplate the Perfect and Eternal, desires the enjoyment of such contemplations in a more consummate degree, and cannot be fully satisfied, except in the actual fruition of the Perfect itself. " These suppositions, taken together, constitute the Theory of Ideas." In remarking upon the theory thus presented, I shall abstain from any discussion of the theological part of it, as a subject which would probably be considered as unsuited to the meetings of this Society, even in its most purely philosophical form. But I conceive that it will not be inconvenient, if it be not wearisome, to discuss the Theory of Ideas as an attempt to explain the existence of real knowledge ; which Prof. Butler very rightly considers as the necessary aim of this and cognate systems of philosophy*. I conceive, then, that one of the primary objects of Plato's Theory of Ideas is, to explain the existence of real knowledge, that is, of demonstrated knowledge, such as the propositions of geometry offer to us. In this view, the Theory of Ideas is one attempt to solve a problem, much discussed in our times, What is the ground of geometrical truth ? I do not mean that this is the whole object of the Theory, or the highest of its claims. As I have said, I omit its theological bearings; and I am aware that there are passages in the Platonic Dialogues, in which the Ideas which enter into the apprehension and demonstration of geometrical truths are spoken of as subordinate to Ideas which have a theological aspect. But I have no doubt that one of the main motives to the construction of the Theory of Ideas * P. 116. "No amount of human knowledge can be adequate which does not solve the phenomena of these absolute certainties." 96 dk whewell, on the Platonic theory of ideas. was, the desire of solving the Problem, " How is it possible that man should apprehend necessary and eternal truths?" That the truths are necessary, makes them eternal, for they do not depend on time; and that they are eternal, gives them at once a theological bearing. That Plato, in attempting to explain the nature and possibility of real knowledge, had in his mind geometrical truths, as examples of such knowledge, is, I think, evident from the general purport of his discourses on such subjects. The advance of Greek geometry into a conspicuous position, at the time when the Heraclitean sect were proving that nothing could be proved and nothing could be known, naturally suggested mathematical truth as the refu- tation of the skepticism of mere sensation. On the one side it was said, we can know nothing except by our sensations; and that which we observe with our senses is constantly changing; or at any rate, may change at any moment. On the other hand it was said, we do know geometrical truths, and as truly as we know them, we know that they cannot change. Plato was quite alive to the lesson, and to the importance of this kind of truths. In the Meno and in the Phcedo he refers to them, as illustrating the nature of the human mind : in the Republic and the Timceus he again speaks of truths which far transcend anything which the senses can teach, or even adequately exemplify. The senses, he argues in the ThecBtetus, cannot give us the knowledge which we have; the source of it must therefore be in the mind itself; in the Ideas which it possesses. The impressions of sense are constantly varying, and incapable of giving any certainty: but the Ideas on which real truth depends are constant and invariable, and the certainty which arises from these is firm and indestructible. Ideas are the permanent, perfect objects, with which the mind deals when it contemplates necessary and eternal truths. They belong to a region superior to the material world, the world of sense. They are the objects which make up the furniture of the Intelligible World: with which the Reason deals, as the Senses deal each with its appropriate Sensation. But, it will naturally be asked, what is the Relation of Ideas to the Objects of Sense ? Some connexion, or relation, it is plain, there must be. The objects of sense can suggest, and can illustrate real truths. Though these truths of geometry cannot be proved, cannot even be exactly exemplified, by drawing diagrams, yet diagrams are of use in helping ordinary minds to see the proof; and to all minds, may represent and illustrate it. And though our conclusions with regard to objects of sense may be insecure and imperfect, they have some shew of truth, and therefore some resemblance to truth. What does this arise from.!" How is it explained, if there is no truth except concerning Ideas? To this the Platonist replied, that the phenomena which present themselves to the senses partake, in a certain manner, of Ideas, and thus include so much of the nature of Ideas, that they include also an element of Truth. The geometrical diagram of Triangles and Squares which is drawn in the sand of the floor of the Gymnasium, partakes of the nature of the true Ideal Triangles and Squares, so that it presents an imitation and suggestion of the truths which are true of them. The real triangles and squares are in the mind: they are, as we have said, objects, not in the Visible, but in the Intelligible World. But the Visible Triangles and Squares make us call to mind the Intelligible; and thus the objects of sense suggest, and, in a way, exemplify the eternal truths. Dr WHEWELL, on the PLATONIC THEORY OF IDEAS. 97 This I conceive to be the simplest and directest ground of two primary parts of the Theory of Ideas; — The Eternal Ideas constituting an Intelligible World; and the Partici- pation in these Ideas ascribed to the objects of the world of sense. And it is plain that so far, the Theory meets what, I conceive, was its primary purpose; it answers the questions, How can we have certain knowledge, though we cannot get it from Sense ? and, How can we have knowledge, at least apparent, though imperfect, about the world of sense ? But is this the ground on which Plato himself rests the truth of his Theory of Ideas ? As I have said, I have no doubt that these were the questions which suggested the Theory; and it is perpetually applied in such a manner as to shew that it was held by Plato in this sense. But his applications of the Theory refer very often to another part of it; — to the Ideas, not of Triangles and Squares, of space and its affections; but to the Ideas of Relations — as the Relations of Like and Unlike, Greater and Less; or to things quite different from the things of which geometry treats, for instance, to Tables and Chairs, and other matters, with regard to which no demonstration is possible, and no general truth (still less necessary and eternal truth) capable of being asserted. I conceive that the Theory of Ideas, thus asserted and thus supported, stands upon very much weaker ground than it does, when it is asserted concerning the objects of thought, about which necessary and demonstrable truths are attainable. And in order to devise argu- ments against this part of the Theory, and to trace the contradictions to which it leads, we have no occasion to task our own ingenuity. We find it done to our hands, not only in Aristotle, the open opponent of the Theory of Ideas, but in works which stand among the Platonic Dialogues themselves. And I wish especially to point out some of the arguments against the Ideal Theory, which are given in one of the most noted of the Platonic Dialogues, the Parmenides. The Parmenides contains a narrative of a Dialogue held between Parmenides and Zeno, the Eleatic Philosophers, on the one side, and Socrates, along with several other persons, on the other. It may be regarded as divided into two main portions ; the first, in which the Theory of Ideas is attacked by Parmenides, and defended by Socrates ; the second, in which Parmenides discusses, at length, the Eleatic doctrine that All things are One. It is the former part, the discussion of the Theory of Ideas, to which I especially wish to direct attention at present : and in the first place, to that extension of the Theory of Ideas, to things of which no general truth is possible ; such as I have mentioned, tables and chairs. Plato often speaks of a Table, by way of example, as a thing of which there must be an Idea, not taken from any special Table or assemblage of Tables ; but an Ideal Table, such that all Tables are Tables by participating in the nature of this Idea. Now the question is, whether there is any force, or indeed any sense, in this assumption ; and this question is discussed in the Parmenides. Socrates is there represented as very confident in the existence of Ideas of the highest and largest kind, the Just, the Fair, the Good, and the like. Parmenides asks him how far he follows his theory. Is there, he asks, an Idea of Man, which is distinct from us men ? an Idea of Fire.'' of Water ? " In truth," replies Socrates, " I have often hesitated, Parmenides, about these, whether we are to allow such Ideas." When Plato had proceeded to teach that there is an Idea of a Table, of course he could not reject Vol. X. Part I. 13 98 dk whewell, on the platonic theory of ideas. such Ideas as Man, and Fire, and Water. Parmenides, proceeding in the same line, pushes him further still. " Do you doubt," says he, " whether there are Ideas of things apparently worthless and vile? Is there an Idea of a Hair? of Mud? of Filth?" Socrates has not the courage to accept such an extension of the theory. He says, " By no means. These are not Ideas. These are nothing more than just what we see them. I have often been perplexed what to think on this subject. But after standing to this a while, I have fled the thought, for fear of falling into an unfathomable abyss of absurdities." On this, Parmenides rebukes him for his want of consistency. " Ah Socrates," he says, " you are yet young; and philosophy has not yet taken possession of you as I think she will one day do — when you will have learned to find nothing despicable in any of these things. But now your youth inclines you to regard the opinions of men." It is indeed plain, that if we are to assume an Idea of a Chair or a Table, we can find no boundary line which will exclude Ideas of everything for which we have a name, however worthless or offensive. And this is an argument against the assumption of such Ideas, which will convince most persons of the groundlessness of the assumption : — the more so, as for the assumption of such Ideas, it does not appear that Plato offers any argument whatever; nor does this assumption solve any problem, or remove any difficulty*. Parmenides, then, had reason to say that consistency required Socrates, if he assumed any such Ideas, to assume all. And I conceive his reply to be to this effect; and to be thus a reductio ad absurdum of the Theory of Ideas in this sense. According to the opinions of those who see in the Parmenides an exposition of Platonic doctrines, I believe that Parmenides is conceived in this passage, to suggest to Socrates what is necessary for the com- pletion of the Theory of Ideas. But upon either supposition, I wish especially to draw the attention of my readers to the position of superiority in the Dialogue in which Parmenides is here placed with regard to Socrates. Parmenides then proceeds to propound to Socrates difficulties with regard to the Ideal Theory, in another of its aspects ; — namely, when it assumes Ideas of Relations of things ; and here also, I wish especially to have it considered how far the answers of Socrates to these objections are really satisfactory and conclusive. " Tell me," says he (§ 10, Bekker), "You conceive that there are certain Ideas, and that things partaking of these Ideas, are called by the corresponding names ;■ — an Idea of Likeness, things partaking of which are called Like; — o{ Greatness, whence they are Great: of Beauty, whence they are Beautiful?" Socrates assents, naturally: this being the simple and universal statement of the Theory, in this case. But then comes one of the real difficulties of the Theory. Since the special things participate of the General Idea, has each got the whole of the Idea, which is, of course, One; or has each a part of the Idea? " For," says Parmenides, " can there be any other way of participation than these two .''" Socrates replies by a simili- tude : " The Idea, though One, may be wholly in each object, as the Day, one and the same, is wholly in each place." The physical illustration, Parmenides damages by making it more physical still. "You are ingenious, Socrates," he says, (§ 11) "in making the same thing be in • Prof. Butler, Lect. ix. Second Series, p. 136, appears to I for the assumption of such Ideas ; but I see no trace of think that Plato had sufficient grounds (of a theological kind) | them. Db WHEWELL, on the PLATONIC THEORY OF IDEAS. 99 many places at the same time. If you had a number of persons wrapped up in a sail or web, would you say that each of them had the whole of it.'' Is not the case similar.?" Socrates cannot deny that it is. "But in this case, each person has only a part of the whole; and thus your Ideas are partible." To this, Socrates is represented as assenting in the briefest possible phrase; and thus, here again, as I conceive, Parmenides retains his superiority over Socrates in the Dialogue. There are many other arguments urged against the Ideal Theory of Parmenides. The next is a consequence of this partibility of Ideas, thus supposed to be proved, and is ingenious enough. It is this: " If the Idea of Greatness be distributed among things that are Great, so that each has a part of it, each separate thing will be Great in virtue of a part of Greatness which is less than Greatness itself. Is not this absurd ?" Socrates submissively allows that it is. And the same argument is applied in the case of the Idea of Equality. " If each of several things have a part of the Idea of Equality, it will be Equal to some- thing, in virtue of something which is less than Equality." And in the same way with regard to the Idea of Smallness. " If each thing be small by having a part of the Idea of Smallness, Smallness itself will be greater than the small thing, since that is a part of itself." These ingenious results of the partibility of Ideas remind us of the ingenuity shewn in the Greek geometry, especially the Fifth Book of Euclid. They are represented as not resisted by Socrates {§ 12) : "In what way, Socrates, can things participate in Ideas, if they cannot do so either integrally or partibly .!*" '' By my troth," says Socrates, "it does not seem easy to tell." Parmenides, who completely takes the conduct of the Dialogue, then turns to another part of the subject and propounds other arguments. " What do you say to this?" he asks. " There is an Ideal Greatness, and there are many things, separate from it, and Great by virtue of it. But now if you look at Greatness and the Great things together, since they are all Great, they must be Great in virtue of some higher Idea of Greatness which includes both. And thus you have a Second Idea of Greatness ; and in like manner you will have a third, and so on indefinitely." This also, as an argument against the separate existence of Ideas, Socrates is represented as unable to answer. He replies interrogatively : " Why, Parmenides, is not each of these Ideas a Thought, which, by its nature, cannot exist in anything except in the Mind ? In that case your consequences would not follow." This is an answer which changes the course of the reasoning : but still, not much to the advantage of the Ideal Theory. Parmenides is still ready with very perplexing argu- ments. (§ 13.) " The Idea, then," he says, " are Thoughts. They must be Thoughts of something. They are Thoughts of something, then, which exists in all the special things; some one thing which the Thought perceives in all the special things; and this one Thought thus involved in all, is the Idea. But then, if the special things, as you say, participate in the Idea, they participate in the Thought ; and thus, all objects are made up of Thoughts, and all things think ; or else, there are thoughts in things which do not think." 13—2 100 Dr WHEWELL, on the PLATONIC THEORY OF IDEAS. This argument drives Socrates from the position that Ideas are Thoughts, and he moves to another, that they are Paradigms, Exemplars of the qualities of things, to which the things themselves are like, and their being thus like, is their participating in the Idea. But here too, he has no better success. Parmenides argues thus : " If the Object be like the Idea, the Idea must be like the Object. And since the Object and the Idea are like, they must, according to your doctrine, participate in the Idea of Like- ness. And thus you have one Idea participating in another Idea, and so on in infinitum." Socrates is obliged to allow that this demolishes the notion of objects partaking in their Ideas by likeness: and that he must seek some other way. "You see then, O Socrates," says Parmenides, " what difficulties follow, if any one asserts the independent existence of Ideas ! " Socrates allows that this is true. " And yet," says Parmenides, " you do not half perceive the difficulties which follow from this doctrine of Ideas." Socrates expresses a wish to know to what Parmenides refers ; and the aged sage replies by explaining that if Ideas exist inde- pendently of us, we can never know anything about them : and that even the Gods could not know anything about man. This argument, though somewhat obscure, is evidently stated with perfect earnestness, and Socrates is represented as giving his assent to it. " And yet," says Parmenides, (end of & 18) "if any one gives up entirely the doctrine of Ideas, how is any reasoning possible ?" All the way through this discussion, Parmenides appears as vastly superior to Socrates ; as seeing completely the tendency of every line of reasoning, while Socrates is driven blindly from one position to another ; and as kindly and graciously advising a young man respecting the proper aims of his philosophical career ; as well as clearly pointing out the consequences of his assumptions. Nothing can be more complete than the higher position assigned to Par- menides in the Dialogue. This has not been overlooked by the Editors and Commentators of Plato. To take for example one of the latest ; in Steinhart's Introduction to Hieronymus Miiller's translation of Parmenides (Leipzig, 1852), p. 26l, he says: "It strikes us, at first, as strange, that Plato here seems to come forward as the assailant of his own doctrine of Ideas. For the difficulties which he makes Parmenides propound against that doctrine are by no means sophistical or superficial, but substantial and to the point. Moreover there is among all these objections, which are partly derived from the Megarics, scarce one which does not appear again in the penetrat- ing and comprehensive argumentations of Aristotle against the Platonic Doctrine of Ideas." Of course, both this writer and other commentators on Plato offer something as a solution of this difficulty. But though these explanations are subtle and ingenious, they appear to leave no satisfactory or permanent impression on the mind. I must avow that, to me, they appear insufficient and empty ; and I cannot help believing that the solution is of a more simple and direct kind. It may seem bold to maintain an opinion different from that of so many eminent scholars; but I think that the solution which I offer, will derive confirmation from a consi- deration of the whole Dialogue ; and therefore I shall venture to propound it in a distinct and positive form. It is this: I conceive that the Parmenides is not a Platonic Dialogue at all ; but Antiplatonic, or more properly, Eleatic: written, not by Plato, in order to explain and prove his Theory of Dr WHEWELL, on the PLATONIC THEORY OF IDEAS. 101 Ideas, but by some one, probably an admirer of Parmenides and Zeno, in order to shew how strong were his master's arguments against the Platonists, and how weak their objections to the Eleatic doctrine. I conceive that this view throws an especial light on every part of the Dialogue, as a brief survey of it will shew. Parmenides and Zeno come to Athens to the Panathenaic festi- val : Parmenides already an old man, with a silver head, dignified and benevolent in his appear- ance, looking five and sixty years old: Zeno about forty, tall and handsome. They are the guests of Pythodorus, outside the Wall, in the Ceramicus ; and there they are visited by Socrates, then young, and others who wish to hear the written discourses of Zeno. These discourses are explanations of the philosophy of Parmenides, which he had delivered in verse. Socrates is represented as shewing, from the first, a disposition to criticize Zeno's disser- tation very closely ; and without any prelude or preparation, he applies the Doctrine of Ideas to refute the Eleatic Doctrine that All Things are One. (^ 3.) When he had heard to the end, he begged to have the first Proposition of the First Book read again. And then : " How is it, O Zeno, that you say, That if the Things which exist are Many, and not One, they must be at the same time like and unlike ? Is this your argument ? Or do I misunderstand you .''■' " No," says Zeno, " you understand quite rightly.' Socrates then turns to Parmenides, and says, somewhat rudely, as it seems, " Zeno is a great friend of yours, Parftienides : he shews his friendship not only in other ways, but also in what he writes. For he says the same things which you say, though he pretends that he does not. You say, in your poems, that All Things are One, and give striking proofs : he says that existences are not many, and he gives many and good proofs. You seem to soar above us, but you do not really differ." Zeno takes this sally good-humouredly, and tells him that he pursues the scent with the keen- ness of a Laconian hound. "But," says he (§6), "there really is less of ostentation in my writing than you think. My Essay was merely written as a defence of Parmenides long ago, when I was young ; and is not a piece of display composed now that I am older. And it was stolen from me by some one ; so that I had no choice about publishing it." Here we have, as I conceive, Socrates already represented as placed in a disadvantageous position, by his abruptness, rude allusions, and readiness to put bad interpretations on what is done. For this, Zeno's gentle pleasantry is a rebuke. Socrates, however, forthwith rushes into the argument ; arguing, as I have said, for his own Theory. " Tell me," he says, " do you not think there is an Idea of Likeness, and an Idea of Unlikeness ? And that everything partakes of these Ideas .'' The things which partake of Unlikeness are unlike. If all things partake of both Ideas, they are both like and unlike; and where is the wonder.? {& 7-) If you could shew that Likeness itself was Unlikeness, it would be a prodigy ; but if things which partake of these opposites, have both the opposite qualities, it appears to me, Zeno, to involve no absurdity." " So if Oneness itself were to be shewn to be Maniness" (I hope I may use this word, rather than multiplicity) "I should be surprized; but if any one say that /am at the same time one and many, where is the wonder ? For I partake of maniness : my right side is different from my left side, my upper from my under parts. But I also partake of Oneness, 102 Dr WHEWELL, on THE PLATONIC THEORY OF IDEAS. for I am here One of us seven. So that both are true. And so if any one say that stocks and stones, and the like, are both one and many,' — not saying that Oneness is Maniness, nor Mani- ness Oneness, he says nothing wonderful : he says what all will allow. (^ 8.) If then, as I said before, any one should take separately the Ideas or Essence of Things, as Likeness and Unlikeness, Maniness and Oneness, Rest and Motion, and the like, and then should shew that these can mix and separate again, I should be wonderfully surprised, O Zeno : for I reckon that I have tolerably well made myself master of these subjects*. I should be much more surprised if any one could shew me this contradiction involved in the Ideas themselves ; in the object of the Reason, as well as in Visible objects." It may be remarked that Socrates delivers all this argumentation with the repetitions which it involves, and the vehemence of its manner, without waiting for a reply to any of his interrogations; instead of making every step the result of a concession of his opponent, as is the case in the Dialogues where he is represented as triumphant. Every reader of Plato will recollect also that in those Dialogues, the triumph of temper on the part of Socrates is represented as still more remarkable than the triumph of argument. No vehemence or rudeness on the part of his adversaries prevents his calmly following his reasoning ; and he parries coarse- ness by compliment. Now in this Dialogue, it is remarkable that this kind cff triumph is given to the adversaries of Socrates. " When Socrates had thus delivered himself," says Pythodorus, the narrator of the conversation, " we thought that Parmenides and Zeno would both be angry. But it was not so. They bestowed entire attention upon him, and often looked at each other, and smiled, as in admiration of Socrates. And when he had ended, Parmenides said : ' O Socrates, what an admirable person you are, for the earnestness with which you reason ! Tell me then, Do you then believe the doctrine to which you have been referring ; — that there are certain Ideas, existing independent of Things; and that there are, separate from the Ideas, Things which partake of them ? And do you think that there is an Idea of Likeness besides the likeness which we have ; and a Oneness and a Maniness, and the like ? And an Idea of the Right, and the Good, and the Fair, and of other such qualities?'" Socrates says that he does hold this ; Parmenides then asks him, how far he carries this doctrine of Ideas, and propounds to him the difficulties which I have already stated ; and when Socrates is unable to answer him, lets him off in the kind but patronizing way which I have already described. To me, comparing this with the intellectual and moral attitude of Socrates in the most dramatic of the other Platonic Dialogues, it is inconceivable, that this representation of Socrates should be Plato's. It is just what Zeno would have written, if he had wished to bestow upon his master Parmenides the calm dignity and irresistible argument which Plato assigns to Socrates. And this character is kept up to the end of the Dialogue. When Socrates (^ 19) has acknowledged that he is at a loss which way to turn for his philosophy, Parmenides undertakes, though with kind words, to explain to him by what fundamental error in the course of his speculative habits he has been misled. He says ; " You try to make a complete • I am aware that this translation is different from the | of my view ; but I do not conceive that the argument would common translation. It appears to me to be consistent with I be perceptibly weaker, if the common interpretation were the habit of the Greek language. It slightly leans in favour I adopted. Dr WHEWELL, on the PLATONIC THEORY OF IDEAS. 103 Theory of Ideas, before you have gone through a proper intellectual discipline. The impulse which urges you to such speculations is admirable — is divine. But you must exercise yourself in reasoning which many think trifling, while you are yet young ; if you do not, the truth will elude your grasp." Socrates asks submissively what is the course of such discipline : Parmenides replies, " The course pointed out by Zeno, as you have heard." And then, gives him some instructions in what manner he is to test any proposed Theory. Socrates is frightened at the laboriousness and obscurity of the process. He says, " You tell me, Parmenides, of an overwhelming course of study ; and I do not well comprehend it. Give me an example of such an examination of a Theory." " It is too great a labour," says he, " for one so old as I am." " Well then, you, Zeno," says Socrates, " will you not give us such an example.?" Zeno answers, smiling, that they had better get it from Parmenides himself; and joins in the peti- tion of Socrates to him, that he will instruct them. AH the company unite in the request. Parmenides compares himself to an aged racehorse, brought to the course after long disuse, and trembling at the risk; but finally consents. And as an example of a Theory to be examined, takes his own Doctrine, that All Things are One, carrying on the Dialogue thenceforth, not with Socrates, but with Aristoteles (not the Stagirite, but afterwards one of the Thirty), whom he chooses as a younger and more manageable respondent. The discussion of this Doctrine is of a very subtle kind, and it would be difficult to make it intelligible to a modern reader. Nor is it necessary for my purpose to attempt to do so. It is plain that the discussion is intended seriously, as an example of true philosophy; and each step of the process is represented as irresistible. The Respondent has nothing to say but Yes; or No; How so? Certainly; It does appear; It does not appear. The discussion is carried to a much greater length than all the rest of the Dialogue; and the result of the rea- soning is summed up by Parmenides thus : " If One exist, it is Nothing. Whether One exist or do not exist, both It and Other Things both with regard to Themselves and to Each other. All and Everyway are and are not, appear and appear not." And this also is fully assented to; and so the Dialogue ends. I shall not pretend to explain the Doctrines there examined that One exists, or One does not exist, nor to trace their consequences. But these were Formulae, as familiar in the Eleatic school, as Ideas in the Platonic ; and were undoubtedly regarded by the Megaric contempo- raries of Plato as quite worthy of being discussed, after the Theory of Ideas had been over- thrown. This, accordingly, appears to be the purport of the Dialogue; and it is pur- sued, as we see, without any bitterness towards Socrates or his disciples ; but with a persuasion that they were poor philosophers, conceited talkers, and weak disputants. The external circumstances of the Dialogue tend, I conceive, to confirm this opinion, that it is not Plato's. The Dialogue begins, as the Republic begins, with the mention of a Cephalus, and two brothers, Glaucon and Adimantus. But this Cephalus is not the old man of the Piraeus, of whom we have so charming a picture in the opening of the Republic. He is from Clazomense, and tells us that his fellow-citizens are great lovers of philosophy ; a trait of their character which does not appear elsewhere. Even the brothers Glaucon and Adimantus are not the two brothers of Plato who conduct the Dialogue in the later books of the Republic: so at least Ast argues, who holds the genuineness of the Dialogue. This 104 Db WHEWELL, on THE PLATONIC THEORY OF IDEAS. Glaucon and Adimantus are most wantonly introduced; for the sole office they have, is to say that they have a half-brother Antiphon, by a second marriage of their mother. No such half-brother of Plato, and no such marriage of his mother, are noticed in other remains of antiquity. Antiphon is represented as having been the friend of Pythodorus, who was the host of Parmenides and Zeno, as we have seen. And Antiphon, having often heard from Pythodorus the account of the conversation of his guests with Socrates, retained it in his memory, or in his tablets, so as to be able to give the full report of it which we have in the Dialogue Parmenides*. To me, all this looks like a clumsy imitation of the Introductions to the Platonic Dialogues. I say nothing of the chronological difficulties which arise from bringing Parmenides and Socrates together, though they are considerable ; for they have been explained more or less satisfactorily ; and certainly in the Thecetetus, Socrates is represented as saying that he when very young had seen Parmenides who was very oldj". Atheuseus, however |, reckons this among Plato's fictions. Schleiermacher gives up the identification and relation of the persons mentioned in the Introduction as an unmanageable story. I may add that I believe Cicero, who refers to so many of Plato's Dialogues, nowhere refers to the Parmenides. Athenaeus does refer to it ; and in doing so blames Plato for his coarse imputations on Zeno and Parmenides. According to our view, these are hostile attempts to ascribe rudeness to Socrates or to Plato. Stallbaum acknowledges that Aristotle nowhere refers to this Dialogue. * In the First Alcibiades, Pythodorus is mentioned as having paid 100 minse to Zeno for his instructions (119 a). t p. 183 e. + Deipn. xi. c. 15, p. 106. VI. On the Discontinuity of Arbitrary Constants which appear in Divergent Developments. By G. G. Stokes, M.A., D.CX., Sec. R.S., Fellow of Pembroke College, and Lucasian Professor of Mathematics in the University of Cam- bridge. [Read May 11, 1857.] In a paper " On the Numerical Calculation of a class of Definite Integrals and Infinite Series," printed in the ninth volume of the Transactions of this Society, I succeeded in developing the integral / cos — {vf - mw) dw in a form which admits of extremely easy •'o 2 numerical calculation when m is large, whether positive or negative, or even moderately large. The method there followed is of very general application to a class of functions which frequently occur in physical problems. Some other examples of its use are given in the same paper ; and I was enabled by the application of it to solve the problem of the motion of the fluid surrounding a pendulum of the form of a long cylinder, when the internal friction of the fluid is taken into account *. These functions admit of expansion, according to ascending powers of the variables, in series which are always convergent, and which may be regarded as defining the functions for all values of the variable real or imaginary, though the actual numerical calculation would involve a labour increasing indefinitely with the magnitude of the variable. They satisfy certain linear differential equations, which indeed frequently are what present themselves in the first instance, the series, multiplied by arbitrary constants, being merely their integrals. In my former paper, to which the present may be regarded as a supplement, I have employed these equations to obtain integrals in the form of descending series multiplied by exponentials. These integrals, when once the arbitrary constants are determined, are exceedingly convenient for numerical calculation when the variable is large, notwithstanding that the series involved in them, though at first rapidly convergent, became ultimately rapidly divergent. The determination of the arbitrary constants may be effected in two ways, numerically or analytically. In the former, it will be sufficient to calculate the function for one or more values of the variable from the ascending and descending series separately, and equate the results. This method has the advantage of being generally applicable, but is wholly devoid of elegance. It is better, when possible, to determine analytically the relations between the • Comb. Phil. Trans. Vol. IX. Part U. Vol. X. Part I. 14 106 PROFESSOR STOKES, ON THE DISCONTINUITY arbitrary constants in the ascending and descending series. In the examples to which I have applied the method, with one exception, this was effected, so far as was necessary for the physical problem, by means of a definite integral, which either was what presented itself in the first instance, or was employed as one form of the integral of the differential equation, and in either case formed a link of connexion between the ascending and the descending series. The exception occurs in the case of Mr Airy's integral for m negative. I succeeded in determining the arbitrary constants in the divergent series for m positive ; but though I was able to obtain the correct result for m negative, I had to profess myself (p. 177) unable to give a satisfactory demonstration of it. But though the arbitrary constants which occur as coefficients of the divergent series may be completely determined for real values of the variable, or even for imaginary values with their amplitudes lying between restricted limits, something yet remains to be done in order to render the expression by means of divergent series analytically perfect. I have already remarked in the former paper (p. 176) that inasmuch as the descending series contain radicals which do not appear in the ascending series, we may see, a priori, that the arbitrary con- stants must be discontinuous. But it is not enough to know that they must be discontinuous ; we must also know where the discontinuity takes place, and to what the constants change. Then, and not till then, will the expressions by descending series be complete, inasmuch as we shall be able to use them for all values of the amplitude of the variable. I have lately resumed this subject, and I have now succeeded in ascertaining the character by which the liability to discontinuity in these arbitrary constants may be ascertained. I may mention at once that it consists in this ; that an associated divergent series comes to have all its terms regularly positive. The expression becomes thereby to a certain extent illusory ; and thus it is that analysis gets over the apparent paradox of furnishing a discontinuous expression for a continuous function. It will be found that the expressions by divergent series will thus acquire all the requisite generality, and that though applied without any restriction as to the amplitude of the variable they will contain only as many unknown con- stants as correspond to the degree of the differential equation. The determination, among other things, of the constants in the development of Mr Airy's integral will thus be rendered complete. 1. Before proceeding to more difficult examples, it will be well to consider a com- paratively simple function, which has been already much discussed. As my object in treating this function is to facilitate the comprehension of methods applicable to functions of much greater complexity, I shall not take the shortest course, but that which seems best adapted to serve as an introduction to what is to follow. Consider the integral u = 2 f Jo e'"' sin2ax(Lv = H (l) 1 2.3 3.4.5 ' OF ARBITRARY CONSTANTS, &c. 107 The integral and the series are both convergent for all values of a, and either of them completely defines u for all values real or imaginary of a. We easily find from either the integral or the series du -r- + 2aM = 2 (2) da This equation gives, if we observe that m = ■ performed, first by putting da = (cos 9 + s/ - 1 sia 6) dp, and integrating from p„ to p, 9 remaining equal to 9^, and then da = p {- sin 9 + \/ - 1 cos 9) d9, and integrating from 9^ to 9, p remaining unchanged. This is allowable, since « is a finite, con- tinuous, and determinate function of a, and therefore the mode in which p and 9 vary when a passes from its initial value a,, to its final value o is a matter of indifference. The modulus of c"' will depend on the real part p^ cos 29 of the index. Now should cos 20 become a maximum within the limits of integration, we can no longer neglect Af in the integration. For however great may be the value previously assigned to i, the quantity p~^'~^e''^ ™'''* will become, for values of 9 comprised within the limits of integration, infinitely great, when p is infinitely increased, compared with the value of e''"'^"'^* at either limit. And though the modulus of the quantity 2e"' under the integral sign will become far greater still, inasmuch as it does not con- OF ARBITRARY CONSTANTS, &c. 109 tain the factor p~^'^, yet as the mutual destruction of positive and negative parts may take place quite differently in the two integrals jie^'da and fAfC^'da, we can conclude nothing as to their relative importance. 6. Now cos 20 will continually increase or decrease from one limit to the other, or else will become a maximum, according as the two limits 0^ and lie in the same interval to tt or TT to 27r, or else lie one in one of the two intervals and the other in the other. Hence we may employ the expression (4), with an invariable value of C yet to be determined, so long as < < TT, and we may employ the expression obtained by writing C' for C so long as IT <6 < Stt, but we must not pass from one interval to the other, retaining the same expression. Now we have seen (Art. 3) that the constant changes sign when is increased by tt, and there- fore C' = - C And since u is unchanged when is increased by any multiple of 27r, we readily see that in order to make the expression (4) generally applicable, it will be sufficient to change the sign of the constant whenever d passes through zero or a multiple of ir. 7. We may arrive at the same conclusion in another way, which will be of more general or at least easier application, as not involving the integration of the differential equation. The modulus of the general term (Art. 4) of the series (4), expressed by means of the function F, is r(i)p^*+'- Suppose i very large. Employing the formula r (a? + l) = v 27r« (- I » nearly, when a? is large, observing that r(^) = tt^, and calling the modulus yUj, we find which, since (i + cf = i'e", nearly, becomes Me = 2*i«e->-^'-i (7) We easily get, either from this expression or from the general term, ,'^=^, nearly, (8) Mi P Hence when p is large the ratio of consecutive moduli becomes very nearly equal to unity for a great number of terms together, about where the modulus is a minimum. To find approximately the minimum modulus n, we must put i = p^ in (7), which gives M-gV'e-"' (9) If we knew precisely at what term it would be best to stop, the expression for n would be a measure of the uncertainty to which we were liable in using the series (4) directly, that is, without any transformation. For although it is clear that we must stop somewhere about the term with a minimum modulus, in order that the differential equation (5) which our function really satisfies may be as good an approximation as can be had to the true differential 110 PROFESSOR STOKES, ON THE DISCONTINUITY equation (2), the number of terms comprised in this about will increase with i, the order of the term of minimum modulus. If we suppose that we are uncertain to the extent of n terms, the sum of the moduli of these n nearly equal terms will be nearly. It seems as if « must increase with i, but not so fast as i. If we suppose that it is of the form ki or kp, the sum of the n terms will be a quantity of the order e~^\ But even if n increased as any power p of i, however great, still the sura of the n terms would be a quan- tity of the order p'"'~^e'''', which when p was infinitely increased would become infinitely small in comparison with the modulus e-p"«o*28 ^f ^^^ ^^^.^ multiplied by C in (4), provided 6 had any given value differing from zero or a multiple of tt. Hence if B have any value lying between a and v — a, or else between tt + a and Stt — a, where a is a small positive quantity •which in the end may be made as small as we please, the quantity C in (4) cannot pass from one of its values to another without rendering the function u discontinuous, which it is not. But when = or = tt, the term Ce""' becomes merged in the vagueness with which, in this case, the divergent series defines the function. Hence we arrive in a way quite different from that of Art. 5 at the conclusions enunciated in Art. 6, 8. Nor is this all. When the terms of a regular series are alternately positive and negative, the series may be converted by the formulae of finite differences into others which converge rapidly. In the present case the terms are not simply positive and negative alternately, except when 6 is an odd multiple of — , but the same methods will apply with the proper modification. Suppose that we sum the series (4) directly as far as terms of the order i - 1 inclusive. Omitting the common factor e-<"+'>* -i, which may be restored in the end, we have for the rest of the series If we denote by X) or 1 + A the operation of passing from Hi to /x^^^, and separate symbols of operation, this becomes (1 + e-'^~'D + e-">^~'I)' + ...)^i, or {l-(l + A)e-^''^^|-Vi. Now 1 -e-'*^-'= 1 - COS 20 + \/- 1 sin20 = 2sin 0e ^ , which reduces the expression to (2 sin0)-^e('"^^''^{l - (2 sin0)-»e"^^^*)^^A}-V„ or, putting q for (2 sin 0)"S to Now if p be very large, and m belong to the part of the series where the moduli of con- secutive terms are nearly equal, the successive differences Afji<, A^^l^,... will decrease with great rapidity. Hence if 6 have any given value different from zero or a multiple of tt, by taking OF ARBITRARY CONSTANTS, &c. Ill p sufficiently great, we may transform the series about where it ceases to converge into one which is at first rapidly convergent, and thus a quantity which may be taken as a measure of the remaining uncertainty will become incomparably smaller even than ^, much more, incomparably smaller than the modulus of e'"^. But if 6 = or = tt, the above transform- ation fails, since q becomes infinite. In this case if we want to calculate u closer than to admit of the uncertainty to which we are liable, knowing only that we must stop somewhere about the place where the series begins to diverge after having been convergent, we must have recourse to the ascending series (1) or (3), or to some perfectly distinct method. The usual method by which Sm^ is made to depend on Ju^dx would evidently fail, in consequence of the divergence of the integral. 9. In applying practically the transformation of the last article to the summation of the series (4), it would not usually, when p was very large, be necessary to go as far as the part of the series where the moduli of consecutive terms are nearly equal. It would be sufficient to deduct /,' 2Z... from the logarithms of ^£^.„ Atj+j..,, where I is nearly equal to the mean increment of the logarithms at that part of the series, to associate the factor/ whose logarithm is I with the symbol D, and take the differences of the numbers, However, my object leads me to consider, not the actual summation of the series, but the theoretical possibility of summation, and consequent interpretation of the equation (4). 10. The mode of discontinuity of the constant C having been now ascertained, nothing more remains except to determine that constant, which is done at once. Writing v — la for a in (4) after having put for u its first expression in (3), we have Se"' fe-'^'da = -y/ - xCe"'-- + — - ... > a 2a3 whenee, putting a= infinitely near to c is indeterminate, like that of the fraction (tv + yy + x - y {x -yy + 0! + y' which takes the form - when a? and y vanish, but of which the limiting value is wholly indeterminate if a? and y are independent. We may enquire, if we please, what is the limit of the fraction when |/ (tv, y). OF ARBITRARY CONSTANTS, &c. 113 ■.2 y — y lim.^ol'in-x=o^('».y) = ""'-^=0 -7— = - 1 ; in the latter So in the case of the periodic series if we denote by ^ a small positive quantity lim.f^lim.„^„ 0(n, c + ^ = lim-f=o/(<' + = * 5 but we know that lim.„^„ lim.f^o ^ («. c ± ^) = lim.„,„ («, c) = 1 (a + 6). Similarly in the case of the series (14) if we denote its sum by ■^{a) = sr (p, 9), and use the term limit in an extended sense, so as to understand by lim.p^„jP(p) a function of p to which F(p) may be regarded as equal when p is large enough, and if we suppose to be a small positive quantity, we have from (11) lim.e=olim.,=„ ■ar(p, 6) = lim.^^o |2c-»' fef^'da -y/^l -n-h-"'} ° Hm.^„lim W(p,-e) = lim.^^o {Se-"' TV da + n/^ tt^c""'} ''0 ''0 whereas equation (13) may be expressed by lim.^=„ lim.j^o w (p, ± 0) = lim.^„;^(^) = Sc""' fef'dp. *'o There is however this difference between the two cases, that in the case of the periodic series the series whose general term is A0 (w, c) is convergent, and may be actually summed to any assigned degree of accuracy, whereas the series (13), though at first convergent, is ultimately divergent ; and though we know that we must stop somewhere about the least term, that alone does not enable us to find the sum, except subject to an uncertainty com- parable with e"*"'. Unless therefore it be possible to apply to the series (13) some transfor- mation rendering it capable of summation to a degree of accuracy incomparably superior to this, the equation (13) must be regarded as a mere symbolical result. We might indeed define the sum of the ultimately divergent series (13) to mean the sura taken to as many terms as should make the equation (13) true, and express that condition in a manner which would not require the quantity taken to denote the number of terms to be integral ; but Vol. X. Part I. 15 114 PROFESSOR STOKES, ON THE DISCONTINUITY then equation (13) would become a mere truism. However I shall not pursue this subject further, as these singular values of divergent series appear to be merely matters of curiosity. 12. In order still further to illustrate the subject, before going on to the actual application of the principles here establisWd, let us consider the function defined by the equation i.l , 1.1.3, M = l + la? - — ,v^ + -ai'- (15) ^ 2.4 2.4.6 ^ ' Suppose that we have to deal with such values only of the imaginary variable a; as have their moduli less than unity. For such values the series (15) is convergent, and the equation (15) assigns a determinate and unique value to u. Now we happen to know that the series is the development of (l + a?)'. But this function admits of one or other of the following developments according to descending powers of x : — ,,,1.1.1.1.3, ^ 2.4 2.4.0 ^ ' u = — X^ — %X 2 + UO * X~^ ■>r (17) ^ 2.4 2.4.6 Let X = p (cos Q Jrs/ -\ sin 0), and let x^ denote that square root of x which has \Q for its amplitude. Although the series (l6), (17) are divergent when o < 1, they may in general, for a given value of Q, be employed in actual numerical calculation, by subjecting them to the transformation of Art. 8, provided p do not differ too much from 1. The greater be the accuracy required, Q being given, the less must p differ from 1 if we would employ the series (16) or (17) in place of (15). It remains to be found which of these series must be taken. If Q lie between (2i - l) tt + a and (2i + 1) tt - a, where i is any positive or negative integer or zero, and a a small positive quantity which in the end may be made as small as we please, either series (l6) or (17) may by the method of Art. 8 be converted into another, which is at first sufficiently convergent to give u with a sufficient degree of accuracy by employing a finite number ohly 6f terms. If m terms be summed directly, and in the formula of Art. 8 the n**" difference be the last which yields significant figures, the number of terms actually employed in some way or other in the summation will be wi + « + l . And in this case we cannot pass from one to the other of the two series (l6), (17) without rendering u discontinuous. But when Q passes through an odd multiple of tt we may have to pass from one of the two smes to the other. Now when Q is increased by 27r the Series (l6) or (17) changes sign, whereas (15) remains unchanged. Therefore in calculating w for tWo values of 9 differing by Stt we must employ the two series (16) and (17), one in each case. Hence We must employ one of the series from = — tt to = tt, the other from = tt to B a= 3rr, and so on ; and therefore if we knew which series to take for some one value of 8r everything Would be determined. Now when '|0 it 1 the Series '(15) becomes identical Vith (1 6) when Q has the particular Value 0. Hencfe (T6) ^U 'not (17) gives the true value of « wheal - tt < Q <-k. OF ARBITRARY CONSTANTS, &c. 115 13. Let p, 6 be the polar co-ordinates of a point in a plane, O the origin, C a circle described round O with radius unity, S the point determined by a; = - 1, that is, hy p= 1, = IT. To each value of x corresponds a point in the plane ; and the restriction laid down as to the moduli of a> confines our attention to points within the circle, to each of which corresponds a determinate value of u. If Pg be any point in the plane, either within the circle or not, and a moveable point P start from Pg, and after making any circuit, without passing through S, return to P, again, the functipn (1 + my will regain its primitive value m^,, or else become equal to - u^, according as the circuit excludes or includes the point S, which for the present purpose may be called a singular point. Suppose that we wished to tabulate u, using when possible the divergent series (l6) in place of the convergent series (15). For a given value of 6, in commencing with small values of p we should have to begin with the series (15), and when p became large enough we might have recourse to (l6). Let OP be the smallest value of p for which the series (l6) may be employed ; for which, suppose, it will give u correctly to a certain number of decimal places. The length OP will depend upon Q, and the locus of P will be some curve, symmetrical with respect to the diameter through S. As 9 increases the curve will gradually approach the circle C, which it will run into at the point 8. For points lying between the curve and the circle we may employ the series (l6), but we cannot, keeping within this space, make 9 pass through the value tt. The series (16), (17) are convergent, and their sums vary continuously with x, when p> \; and if \ve employed the same series (l6) for the calculation of u for values of w having amplitudes TT - /3, IT + fi, corresponding to points P, P', we should get for the value of m at P' that into which the value of m at P passes continuously when we travel from P to P outside the point S, which as we have seen is minus the true value, the latter being defined to be that into which the value of u at P passes continuously when we travel from P to P' inside the point S. In the case of the simple function at present under consideration, it would be an arbitrary restriction to confine our attention to values of x having moduli less than unity, nor would there be any advantage in using the divergent series (l6) rather than the convergent series (15). But in the example first considered we have to deal with a function which has a perfectly determinate and unique value for all values of the variable a, and there is the greatest possible advantage in employing the descending series for large values of p, though it is ultimately divergent. In the case of this function there are (to use the same geometrical illustration as before) as it were two singular points at infinity, corresponding respectively to = and 9 = n. 14. The principles which are to guide us having been now laid down, there will be no difficulty in applying them to other cases, in which their real utility will be perceived. I will now take Mr Airy's integral, or rather the differential equation to which it leads, the treatment of which will exemplify the subject still better. This equation, which is No. 11 of my paper " On the Numerical Calculation, &c,," becomes on writing u for U, — 3^ for n — -9a7M = (18) 15—2 116 PROFESSOR STOKES, ON THE DISCONTINUITY The complete integral of this equation in ascending series, obtained in the usual way, is « -1 X 9^ + 9V + 9' 1-9 2 3 .5 .6 2 .3 .5 6 8 .9 9«' 3.4 + 9V + 9' .r'" 3 4.6 7 3 4 6 7. 9. 10 ...)J (19) These series are always convergent, and for any value of x real or imaginary assign a determinate and unique value to u. The integral in a form adapted for calculation when x is large, obtained by the method of my former paper, is u .( 1.5 1.5.7.11 1.5.7.11.13.17 U [ 1.144a;* 1.2.144a^ 1.2.3.144V j[ ^ f 1.5 1 .5.7.11 1 .5 .7.11 .13.17 1 + Dx-ie'^ {l+ i+ + r— + —\ I 1 . 1440?* 1.2. 144'a' 1.2.3. 144V J (20) The constants C, D must however be discontinuous, since otherwise the value of u deter- mined by this equation would not recur, as it ought, when the amplitude of x is increased by 2n-. We have now first to ascertain the mode of discontinuity of these constants, secondly, to find the two linear relations which connect A, B with C, D. Let the equation (20) be denoted for shortness by «= Gr-i/,(a?-i/2(.i7) ; (21) and let f(jv), when we care only to express its dependance on the amplitude of x, be denoted by F{d). We may notice that -F'i(0 + |t) = /'.(0); F,{e + %^)^F,{e) (22) 16. In equation (21), let that term in which the real part of the index of the exponential is positive be called the superior, and the other the inferior *''^' ^' term. In order to represent to the eye the existence and progress of the functions fi(x), /j,(*) for different values of d, draw a circle with any radius, and along a radius vector inclined to the prime radius at the variable angle take two distances, measured respectively outwards and inwards from the circumference of the circle, proportional to the real part of the index of the exponential in the superior and inferior terms, 6 alone being supposed to vary, or in other words proportional to cos ^9. For greater convenience suppose these distances moderately small compared with the radius. Consider first the function Fi(9) alone. The curve will evidently have the form represented in the figure, cutting the circle at intervals of 120", and running into itself after two complete revolutions. The equations (22) shew that the curve corresponding to F„{9) is already OF ARBITRARY CONSTANTS, &c. 117 traced, since F^ (0) = Fi(9 + Stt). If now we conceive the curve marked with the proper values of the constants G, D, it will serve to represent the complete integral of equation (18). In marking the curve we may either assume the amplitude 6 of a? to lie in the interval to 27r, and determine the values of C, D accordingly, or else we may retain the same value of C or D throughout as great a range as possible of the curve, and for that purpose permit 9 to go beyond the above limits. The latter course will be found the more convenient. 16. We must now ascertain in what, cases it is possible for the constant G or D Xo alter discontinuously as 9 alters continuously. The tests already given will enable us to decide. The general term of either series in (20), taken without regard to sign, is 1.5... (6i-5)(6t-l) 1 .2... i(144.r*)* ' and the modulus of this term, expressed by means of the function F, is r (e + j) r (i + 1) r(^)r(f)r(i + i)(vt)'' which when i is very large becomes by the transformations employed in Art. 7, very nearly, \/y(;)Vr(i)r(i)(4/,i)*. Denoting this expression by /Ujj and putting for r(^) T{^) its value Trcosec- or 27r, we have "^-^^""'^''Wef'' ^''^ whence for very large values of i —-A (24) IXi 4p« For large values of p the moduli of several consecutive terms are nearly equal at the part of the series where the modulus is a minimum, and for the minimum modulus n we have very nearly from (24), (23) i = 4pi, fi = (27ri)-^e-* = (2ni)~ie~*''*. If the exponential in the expression for j^i be multiplied by the modulus of the exponential in the superior term, the result will be g-(4T2c08| 9)p* the sign — or + being taken according as cos § ^ is positive or negative. Hence even if the terms of the divergent series were all positive, the superior term would be defined by means of its series within a quantity incomparably smaller, when p is indefinitely increased, than the inferior term, except only when =tcos50= 1, and in this case too and this alone are the terms of the divergent series in the superior term regularly positive. In no other case then lis PROFESSOR STOKES, ON THE DISCONTINUITY Fig. 2. can the coefficient of the inferior term alter discontinuously, and the coefficient of the other term cannot change so long as that term remains the superior term. Referring for conve- nience to the figure (Fig. l), we see that it is only at the points a, b, c, at the middle of the portions of the curve which lie within the circle, that the coefficient belonging to the curve can change. It might appear at first sight that we could have three distinct coefficients, corresponding respectively to the portions aAb, hBc, cCa of the curve, which would make three distinct constants occurring in the integral of a differential equation of the second order only. This however is not the case ; and if we were to assign in the first instance three distinct con- stants to those three portions of the curve, they would be connected by an equation of condition. To shew this assume the coefficient belonging to the part of the curve about B to be equal to zero. We shall thus get an integral of our equation with only one arbitrary constant. Since there is no superior term from = - — to 6 = + — , the coefficient of the other term cannot change discontinuously at a {i.e. when Q passes through the value zero); and by what has been already shewn the coefficient must remain unchanged throughout the portion hBc of the curve, and therefore be equal to zero ; and again the coefficient must remain unchanged throughout the portion cCaAb, and therefore have the same value as at a ; but these two portions between them take in the whole curve. The integral at present under consideration is represented by Fig. 2, the coefficient having the same value throughout the portion of the curve there drawn, and being equal to zero for the remaindOT of the course *. The second line on the right-hand side of (20) is what the first becomes when the origin of 9 is altered by =•=§■"-, and the arbitrary constant changed. Hence if we take the term corresponding to the curve represented in Fig. 3, and having a constant coefficient throughout the portion there repre- sented, we shall get another particular integral with one arbitrary constant, and the sum of these two particular integrals will be the complete integral. In Fig. 3 the uninterrupted interior branch of the curve Fig. 3. is made to lie in the interval — to ir. 3 It would have done equally well to make it lie in the interval to — tt ; we should thus in fact obtain th^ 3 same complete integral merely somewhat differently expressed. • A numerical verification of the discontinuity here represented is given as an Appendix to this paper. OF ARBITRARY CONSTANTS, &c. 119 The integral (20) may now be cftnveniently expressed in the following form, in which the discontinuity of the constants is exhibited : / 47r ^.ttN^ , ,4/ 1.5 1.5.7.11 h \ 3 3 J I 1 . 1440?* 1.2- 144V j / 27r \ ^ 1 ,* { 1-5 1.5. 7.11 1 V 3 y 1 1.144.r* 1.2.144V j (25) to + — j denotes that the function written after it is to be taken whenever an angle in the indefinite series ...0 - 47r, 0-27r, 0, + Ztt, + tv,... falls within tbe specified limits, which will be either once or twice accoi'ding to the value of 0. 17. If we put 2) = in (25), the resulting value of u will be equal to Mr Airy's integral, — 1 — . When = we have the integral belonging to the dark side of the caustic, when = ir that belonging to the bright side. We easily see from (25), or by referring to Fig. 2, in what way to pass from one of these integrals to the other, the integrals being supposed to be expressed by means of the divergent series. If we have got the analytical expression belonging to the dark side we must add + tt, - tt in succession to the amplitude of x, and take the sum of the results. If we have got the analytical expression belonging to the bright side, we must alter the ampli- tude of 00 by TT, and reject the superior function in the resulting expression. It is shewn in Art. 9 of my paper " On the Numerical Calculation, &c." that the latter process leads to a correct result, but I was unable then to give a demonstration. This desideratum is now supplied. 18. It now only remains to connect the constants A, B with C, D in the two different fdrms (19) and (25) of the integral of (18). This may be done by means of the complete integral of (18) expressed in the form of definite integrals. Let V = /" e-'^'-'^dX, Jo then ^ = - r"e-^^-'=^U3\= + cw) - ca>\ d\ da? 3 Jo * * whence mx) ; 3 3 im PROFESSOR STOKES, ON THE DISCONTINUITY In order to make the left-hand member of this equsrtion agree with (18), we must have c' =— 27, and therefore c = - 3, or 3a, or 3/3, a, )8 being the imaginary cube roots of - 1, of which o will be supposed equal to TT / . IT COS — + v — 1 sin — . • 3 3 Whichever value of c be taken, the right-hand member of equation (26) will be equal to — 9i and therefore will disappear on taking the difference of any two functions cv corresponding to two different values of c. This difference multiplied by an arbitrary constant will be an integral of (18), and accordingly we shall have for the complete integral u = E ["e-'-'i^ + ae-''^)dX + F f e-^'(e'^+ /3e-^^) dX (27) Jo Jo That this expression is in fact equivalent to (19) might be verified by expanding the exponentials within parentheses, and integrating term by term. To find the relations between £1, F and A, B, it will be sufficient to expand as far as the first power of x, and equate the results. We thus get A + Bx= f "c-^'{(l +a)E + +li)F+S [(l -a')E + - (^)F1 '^M d\ which gives, since a»=-i8, /3^ = -«, /V^'d\ = |r(i). /■V^'xrf\ = ir(f), */q Jo A = ir(i){(l+a)E+{l+fi)F},\ S= rQ){0+fi)E+(l+a)F\.f ^ ^ 19. We have now to find the relations between E, F and C, D, for which purpose we must compare the expressions (25), (27), supposing w indefinitely large. In order that the exponentials in (25), may be as large as possible, we must have 9 = — in the term multiplied by C, and = in the term multiplied by D. We have therefore for the leading term of « Cfe"i^-ie**, when 0c= -; Dp-i^, when = 0. Let us now seek the leading term of u from the expression (27), taking first the case in which = 0. It is evident that this must arise from the part of the integral which involves e^ or in this case e"^, which is {E + F)f''e-'-'->-^d\. OF ARBITRARY CONSTANTS, &c. 121 Now SpX - X^s a maximum for X = pk Let \ = p^ + ^; then 3pX-X^=2pi-3pi^'-^', and our integral becomes e'>'*f''^e-'<'*^-^d^. Put r= 3'ip~i^ ; then the integral becomes Let now p become infinite ; then the last integral becomes / e'^^d^ or 7ri For though the index - P- S"^^"^^-' becomes positive for a sufficiently large negative value of ^, that value lies far beyond the limits of integration, within which in fact the index continually decreases with ^, having at the inferior limit the value — 2pi. Hence then for 6 = 0, and for very large values of p, we have ultimately u = 3-i',r-'{E + F)p-ie^''*. Next let = — . In this case ax = - p, and we get for the leading part of « 3 aETe-'-'+'i'^dX, Jo I (29) which when p is very large becomes, as before, S-^7riaEp-ie'i'\ 27r Comparing the leading terms of u both for = — and for 6=0, we find, observing that a = e^ ' C=\/^3-iniE, D=S-iTri{E + F) Eliminating E, F between (28) and (29) we have finally ^ = ,r-r(l){ C4-e-^^2)f,l _ _ ^^^^ 5= 37r-^r(f){-C + e?^^'Z>^.| , 20. As a last example of the principles of this paper, let us take the diflFerential equation sm''w)\(g'"'"'+e-'''°"')dw (35) (36) As to the value of logx to be taken, it will suffice for the present to assume that whatever value is employed in (32), the same shall be employed also in (35). To connect A, B with E, F, it will be sufficient to compare (32) and (35), expanding the exponentials, and rejecting all powers of x. We have A + B logx = 2 j [E + F log (a> sin'^w) \ dw = 7r(£+i^log.r) +27rlog(i).F; whence ^ = TT^ - 27r log 2 . F,l B = 7rF. J To connect C, D with E, F, we must seek the ultimate value of u when p is infinitely increased. It will be convenient to assume in succession 6=0 and 9 = tr. We have ulti- mately from (34) u = Dp-ie^ when 6 = 0; u =- \/ - 1 Cp'hi' when 6 = ir (37) It will be necessary now to specify what value of log a; we suppose taken in {S5). Let it be log p + \/ — l6, 6 being supposed reduced within the limits and 2ir by adding or subtracting if need be 2i7r, where i is an integer. The limiting value of u for 6 = from (35) may be found as in Art. 29 of my paper on Pendulums, above referred to. In fact, the reasoning of that Article will apply if the imaginary quantity there denoted by m be replaced by unity. The constants C, D, C, D', C", D", of the former paper correspond to A, B, C, D, E, F, of the present. Hence we have for the ultimate value of u for = M=[^]V{i;+(7r-ir'(J)+log2)/'| (38) For = TT, i^5) becomes IT u= f''{E+ TrFy/- 1 + /'log (p sm^ w)l (e-'"=<''"+ e^~'") dw ; Jo and to find the ultimate value of u we have merely to write E + irF y/— 1 for E in the above, which gives ultimately for = tt ^ = (^y^l^ + '^^y/^^ + {-^'^^'(D + ^^s^l ^ (39) 16—2 (40) 124 PROFESSOR STOKES, ON THE DISCONTINUITY Comparing the equations (38), (39) with (37), we get C= ^J] [eV-1-^F+ {,r-^r'(i)+log2| x/IT/^, z»= g)\£ + {,r-ir'(i)+iog2}r]. Eliminating E, F between (36) and (40), we get finally C = (27r)-^[\/3T^ + {(^-.n^'(l) +log8) V'::! -7r( B], Z> = (2,r)-i[^ + {tt-^T (^) + log8| 5]. Concltision. 23. It has been shewn in the foregoing paper, First, That when functions expressible in convergent series according to ascending powers of the variable are transformed so as to be expressed by exponentials multiplied by series according to descending powers, applicable to the calculation of the functions for large values of the variable, and ultimately divergent, though at first rapidly convergent, the series contain in general discontinuous constants, which change abruptly as the amplitude of the imaginary variable passes through certain values. Secondly, That the liability to discontinuity in one of the constants is pointed out by the circumstance, that for a particular value of the amplitude of the variable, all the terms of an associated divergent series become regularly positive. Thirdly, That a divergent series with all its terms regularly positive is in many cases a sort of indeterminate form, in passing through which a discontinuity takes place. Fourthly, That when the function may be expressed by means of a definite integral, the constants in the ascending and descending series may usually be connected by one uniform process. The comparison of the leading terms of the ascending series with the integral presents no difficulty. The comparison of the leading terms of the descending series with the integral may usually be effected by assigning to the amplitude of the variable such a value, or such values in succession, as shall render the real part of the index of the expo- nential a maximum, and then seeking what the integral becomes when the modulus of the variable increases indefinitely. The leading term obtained from the integral will be found within a range of integration comprising the maximum value of the real part of the index of the exponential under the integral sign, and extending between limits which may be supposed to become indefinitely close after the modulus of the original variable has been made in- definitely great, whereby the integral will be reduced to one of a simpler form. Should a definite integral capable of expressing the function not be discovered, the relations between the constants in the ascending and descending series may still be obtained numerically by calculating from the ascending and descending series separately and equating the results. G. G. STOKES. OF ARBITRARY CONSTANTS, &c. 125 APPENDIX. QAdded since the reading of the Paper.] On account of the strange appearance of figures 2 and 3, the reader may be pleased to see a numerical verification of the discontinuity which has been shewn to exist in the values of the arbitrary constants. I subjoin therefore the numerical calculation of the integral to which fig. 2 relates, for two values of x, from the ascending and descending series separately. For this integral D = 0, and I will take C = 1, which gives, (equations 30,) ^ = 7r-^r(l); B= -S7r-5r(f); and log J = 0-1793878 ; log (- B) = 0-3602028. The two values of x chosen for calculation have 2 for their common modulus, and 90«, 1.60°, respectively, for their amplitudes, so that the corresponding radii in fig. 2 are situated at 30" on each side of the radius passing through the point of discontinuity c. The terms of the descending series are calculated to 7 places of decimals. As the modulus of the result has afterwards to be multiplied by a number exceeding 40, it is needless to retain more than 6 decimal places in the ascending series. In the multiplications required after summation, 7-figure logarithms were employed. The results are given to 7 significant figures, that is, to 5 places of decimals. The following is the calculation by ascending series for the amplitude 90" of a?. By the first and second series are meant respectively those which have A, B for their coefficients in equation (19). First Series. Second Series. Order of Coefficient Coefficient tenn. Real pan. ofV=T. Real part. of V^T. + 1 -000000 + 2-000000 1 - 12-000000 + 12-000000 2 - 28-800000 - 20-571429 3 + 28-800000 - 16-457143 4 + 15-709091 + 7-595605 .5 - 5-385974 + 2-278681 6 - 1-267288 - 0-479722 7 + 0-217249 - 0-074762 8 + 0-0i8337 + 0-008971 9 - 0002906 + 0-000855 10 - 0-000?40 - 000066 11 + 0000016 - 0-000004 12 + 0-000001 Sum - 13-330099 + 1 1-628385 v/- 1 - 2-252373 - 11-446641 n, and let the higher note make m vibrations while the lower note makes n. In the diagram I shall suppose m = 5, n = 3, or the interval a major sixth. I shall also suppose each whole wave to be one of condensation, for simplicity. And first, let two zeros of condensation, one in each wave, be synchronous. The following diagram represents the whole of one wave of Tartini's beat, whether it be the • Emerson arrives at the formula which I presently mark as ( 1 — j;) Mn -=- X ; Mr Woolhouse arrives at (.1 — x) Nm. Look- ing at all probabilities, as derived from Emerson's life, habits, and access to books, I very much doubt his method being derived from Dr Smith. He was a musician, and an amateur tuner of instruments; and he was mechanic enough to enrich his own virginal with additional semitones. He was nearly fifty before the first edition of Smith appeared, he lived in the county of Durham on a very small fixed income (about i;60 a-year), his writings show very little reading, and the library which he sold before his death, the collection of nearly forty years, was valued by himself under £50. If I could only establish a high probability of acquaintance between Emerson and Thomas Wright, now known as the speculator on the milky way, who lived within twelve miles of Emerson, I should con- sider the united chances of Wright having possessed the book and having lent it to Emerson as giving a liigher probability to Emerson having seen it than anything I can create from com- parison of the two methods. It is very likely, then, that he had not seen Smith's Harmonics. The amusing biography of Emerson, which is prefixed to his collected works, and which appears to have been written by some one who had ample in- formation, states that he was a very desultory student till after thirty years of age. Having been treated with contempt by his wife's uncle, he determined to gain a name, that he might prove himself the better man of the two. This he has done : if the name of his relative were now worth inserting, it would only be in connexion with the statement, true or false, that, though possessed of two livings and a stall, he made a large income by the practice of surgery. Emerson died in 1782, in his 81st year. 136 Mr DE morgan, ON THE BEATS OF IMPERFECT CONSONANCES. pulse of a grave harmonic, or only one of Smith's flutters: namely, five waves of the upper note, three of the lower, and the resultant wave. The abscissa represents 15 equal portions of time, of which the component waves take suc- cessive threes and fives; the ordinates represent the condensations at the end of the times represented by the abscissas. The thick line, whose ordinate is always the sum of the other two, represents the wave of Tartini's beat, which is repeated in the next fifteen portions of time. The united effect of the two waves is one particular phase of a major sixth: a pulse of the grave harmonic in which gradations of loudness and faintness are distributed in a certain manner through 15 portions of time, to be strictly repeated in the next 15 portions, and so on. An unlimited number of other phases exist, one for every mode in which the zero of conden- sation of the shorter wave can be laid down in the longer wave, so as to produce a law of loudness and faintness which is not found in any other mode. Thus the following is the dia- gram in which the maximum condensation of the shorter wave synchronises with the zero of condensation of the longer wave. We have now Tartini's beat under a different type, in which the loudness and faintness are distributed in another way: the consonance of a major sixth, as before, with a different kind of pulse for the grave harmonic, if there be one. Whether the ear would acknowledge any difference between two major sixths of these different types, cannot be settled; for it is not in our power to start the pulses as we please. But the ear does acknowledge the gradual progression through all the types, by recognizing what I have called Smith''s beat. If the consonance be a very little mistuned, Tartini's cycle is not sensibly altered in character, but its recommencement undergoes a very small change. If the higher note be tuned a little too sharp, for example, so that the shorter wave is a very little less than three-fifths of the longer wave, Tartini's cycle, or something excessively like it, begins a little sooner the second time than it should do; and the zero of condensation of the shorter wave is thrown back a little. This effect is doubled at the next commencement, trebled at the next one, and so on: accord- ingly, in a consonance slightly mistuned, the approximate compound pulse goes through all the phases which variations in the mode of setting off can give to the true one. This is the most marked geometrical effect upon the pulses; and Smith's beat is the most marked acousti- cal effect upon the ear. The connexion of the two is then of the highest probability : and this becomes certainty so soon as, and not until, the study of the beats, and their application to Mr DE morgan, ON THE BEATS OF IMPERFECT CONSONANCES. 137 questions of temperament, shows that the theory agrees with other theories, and with practice. Smith's beat* is a kind of disturbed orbit, of which Tartini's beat is the instantaneous orbit. The phenomenon itself is different to different ears. To some it consists in alternations of louder and softer: and undoubtedly there are changes from condensation reinforcing conden- sation, and rarefaction rarefaction, to condensation balanced by rarefaction, and rarefaction by condensation. To others it consists in alternate perception of the two sounds of the conso- nance; and this also is intelligible, as the stronger parts of the two waves alternate. For myself, though I can perceive both the effects above mentioned when I look out for them, the phenomenon which forces itself on my ear is an alternation of vowel-soundsf, as in u-a u-a u-a, &c. pronounced in the Italian way. The time of a beat depends upon a circumstance which I suppose, by the manner in which many writers have confined themselves to the case of imperfect unisons, has not been clearly apprehended. The diagrams are only detached portions of a succession unlimited in both directions. If the times of vibration be 3a and 5a, (so that a represents the greatest common measure of the times of vibration, which is repeated 15 times in Tartini's beat,) and if one of the shorter waves begin at zero with one of the longer ones, the first, third, and fifth of the shorter waves are advanced 0, a, 2a, upon the several longer waves. If the first of the shorter waves be advanced ,v ( l and in its lowest terms. Let k be what we may call the adjusting factor, that is, let nk and mk be the actual numbers of vibrations in one second of the lower and higher notes. Let ma and na be the actual times of vibration, in seconds, of the lower and higher notes. Then mnka = 1. Let na +9 he the time of vibration of the upper note in the imperfect consonance which gives the beats. When 9 is positive, the consonance is tuned flat, the commencements of the more rapid vibrations advance upon those of the less rapid, and the beats may be said to move forwards. The con- trary when 9 is negative. It is the same thing to the ear whether the beats move forwards or backwards. Let as be the ratio of the consonance of the perfect and imperfect upper note; that is, let on = na : na + 6. Thus d?< 1 when the upper note is too flat. And let N and M be the actual numbers of vibrations per second in the lower and higher notes of the imperfect consonance. Hence m M ^^ ,, . -^ na — .v = — , Nma = 1, M {na + 0) = i , x = n N na + 9 1 - a; 9 = na, kmna = I, kn = N. w Let /3 be the number of beats in one second. A beat, as shown, lasts through as many „ , , ., . , . . a . . . . {na + 0) a of the shorter vibrations as there are units m - : its time is then ; so that we 9 9 have )8 = e {na + 9)a a 1 — <2? 1 ■" ^ = (l - a?) kmn = (l - !c) mN = nM = mN - nM. Dr Smith does not elicit * any of these formulae, the last of which is remarkably simple- Thus if a fifth be tuned imperfectly to 200 and 301^ vibrations per second, we have 200 X 3 - soil X 2 = - 3, or the consonance is tuned sharp to 3 beats per second. The number of beats per second depends only on the number of vibrations by which the upper note is wrongly tuned, and the smaller of the two lowest terms of the perfect consonance. Let M' be the proper num- ber of vibrations for the upper note, so that M' : N = m : n, then /3 = {M' - M) n. Or • Since this paper was written the article ' Beats ' in the Edinburgh Encycloptedia, attributed to Mr John Farey, has been pointed out to me. This article contains Smith's formula, with two varieties arising out of difl'erent modes of expressing the division of the octave, Emerson's method, and tlie formula mN-nM. But no explanution is given. Mr DE morgan, ON THE BEATS OF IMPERFECT CONSONANCES. 139 thus : — In every consonance of which the lower number is n, every wrong vibration per second in the upper note is n beats per second*. With this theorem as a key, a rationale can be obtained without difficulty; but it does not connect the two beats, and would, I think, be subject to the doubt I have cast on Emerson's method. The formula given by Dr Smith are obtained as follows. The comma, or difference of a major and minor tone, being 81 : 80, let 9 correspond to the fraction q : p oi a. comma. Then Now (1 - aY = 1 - r8o\? 2wa 2 + (« - 1) a /■80\J 27 whence a> = — \p= \ nearly. \81/ l6lp + q- •' Zq nearly; a being small: And /3 = (1 - x) mN = = nM' \6\p + q 29 mN nM X l6lp - q which are Smith's formulae (2nd ed. p. 82). When the upper note is too sharp, q must be made negative, the negative sign of /3 being neglected. If /J. be the fraction of a mean semitone by which the upper note is flat, we have, for the number of beats in a minute, 60 (1 - 2~'*) mN, or ■ mmN, or I04u ( —]mN ^ ' 30 \30 1000/ nearly, and more nearly. If the octave be composed of 30103 atoms, of which the upper note is tuned flat by a atoms, the number of beats in a minute will be •001381551a (1 - "OOOOl 15129a) miV very nearly, 4x8x13 or 301000 amN nearly. These formulae are not accurate enough to give the beats in a minute within three or four, unless both terms be used: and, the vibrations being given, mN - nM is much more easy. • The passage over the greatest common measure being fairly arrived at, as the time of a beat, the transition to the formula mN—nM may be very briefly made. We know that, m and n being prime to one another, there is, before we arrive at mn, one way and one only in which ym — 971 = 1 ; and one way and one only in which qn—pm = 1. The ratio N : M o( the numbers of vibrations in the erroneous consonance, and also of the lengths of the waves, is not n : m, but M mN - nM M consequently the commencement of the shorter wave gains the of a common measure in every vibration of fraction mN — nM Af " the higher note, than is mN — nM common measures in one second, or in M higher vibrations; and each gain of a com- mon measure is a beat. This demonstration, a little more developed, will be, 1 should think, the best that can be given. 18—2 140 Mr DE morgan, ON THE BEATS OF IMPERFECT CONSONANCES. Let the notes of the imperfect consonance be P, Q, and let P' be the octave above P. If the interval PQ be tuned too flat, then QP^ is two sharp, and vice versa. All remaining as above for PQ, in passing from PQ to QP^ we must change N, M into M, ZN. If m be an odd number, we must change n, m, into m, 2w; but if m be even, n, m, must change into im, n; since the fundamental ratio must be in its lowest terms. And we must also change the sign of q, neglecting the negative sign of the value of /3, when it occurs. Conse- quently, jS' being the number of beats of QP^ in a second, we have (m odd) /3 = (m even) /3 = 2q l6lp + q Nm, /3'= 2? I6lp - q M.Zn = 2/3; 9.q \6\p + q Nm, /3' = ^q l6lp - q M.n = fi. That is, when the fundamental number (in the ratio m : n) of the mistuned note is odd, the interval complemental to the octave beats twice as fast as the lower interval first given. But when this fundamental number is even, the interval and its octave complement have the same rate of beating. This is one of Smith's* experimental verifications, and is a very easy one. He is of opinion that an octave might probably be tuned with more perfection by the isochronous beats of a minor and major concord composing it, than by the judgment of the most critical ear. What precedes is a particular case of the following theorem: — Let N, M, L, be three ascend- ing notes represented by their numbers of vibrations per second. Let N make n vibrations while M makes m: let M make m vibrations while L makes I: the fractions m : n and I : m being in their lowest terms. Let the imperfect consonances NM, ML, NL, beat severally /3, j8', B, times per second: )3 being positive when the higher note is flat, and negative when it is • There must needs be some way of explaining the excessive difficulty of this one work of Dr Smith's. His Optics, if not a model of perspicuity, is by no means notable for obscurity; on the contrary, I find it abounding insufficiently good descrip- tions of machinery, a point in which an obscure writer is generally most perplexed and perplexing. I take the cause of Dr Smiih's failure of clearness in the Harmonics to be that he was a practical musician, well versed in the practical writers. I suppose others have agreed with myself in noting tliat the worst explainers are those who have to describe the purely con- ventional, without having had it distinguished from the natural or the essential in their education. First come the writers on games of chance, who all, or with the rarest exception, proceed to explain whist or hazard by commencing at the point at which they imagine a priori knowledge of the arrangements ceases. Next come the musicians, with whom a five-line stave, &c. are In the nature of things. Now Dr Smith had got into the way of interchanging the practical and theoretical, the accidental and the essential, &c. The manner in which he treats the theorem on which this note is written is perhaps the easiest instance to produce. He gets into the theorem in a way which leads him to the table of ratios of vibrations, and he arrives at this result, that wlien the minor consonance is above the major, the higher consonance beats twice as quick as the lower, but when the minor consonance is below the major, the beats are the same. And not until he has pointed this out, does he proceed to note that the greater term of the ratio of a minor consonance is even, &c. And his final theorem is stated in terms of major and minor consonance, it being merely accidental, so far as our knowledge is concerned, that the nume- rators of minor consonances happen to be even, in the cases in which they are useful. The usual minor intervals are the tone (-g); the third \t) ; the sixth lA; the seventh (— -). The usual major intervals are the tone (5); the third (- j ; the fourth (-1, in which there is a failure; the fifth (- j ; the sixth (- 1 ; the seventh (-0-). In the minor and lib 16\ ^ , . . major semitone I — , jr I the rule is inverted ; and also in the minor fifth ( 55 )• Keeping, however, to common intervals used in tuning, and calling ihe fourth a minor to ihe fifth, it is a pretty practical rule that the duplication of beats takes place when the minor interval is above the major. Mr DE morgan, ON THE BEATS OF IMPERFECT CONSONANCES. 141 sharp; and the same of the rest. Let g be the greatest common measure of ml and mn. Then m + w/3' = gB. From this we may obtain such theorems as the following. The beats of a minor third exceed those of the following major third by twice the beats of the whole fifth which they make up. Twice the beats of a minor third exceed three times the beats of the major third which it follows by five times the beats of the fifth they make up. a Smith's beats themselves have a long inequality whenever - is not an integer; of which I u suppose (though I am by no means sure) the ear could hardly be made sensible. The theory of the beats of a consonance of more than two notes would offer no difficulty, if there be any thing presented to the ear which it would be of any interest to explain. A. DE MORGAN. Univbrsitt College, London, August n, 1857. POSTSCRIPT. A FEW observations on tuning and on temperament will not be out of place. The method of tuning employed in this country at present is simply adjustive. In equal temperament, for example, the tuner gets one octave into tune, with its adjacent parts so far as successions of fifths up and octaves down require him to go out of it; and the notes thus tuned are called the bearings: all the rest is then tuned by octaves from the bearings. The method of tuning the bearings, after taking a standard note from the tuning-fork, consists merely in tuning the successive fifths a little flat, by the estimation of the ear, making corrections from time to time, as complete chords come into the part which is supposed to be in tune, by the judgment of the ear upon those chords. Proceeding thus, if the twelfth fifth appear to the ear about as flat as the rest, the bearings are finished : if not, the tuner must try back. The system generally used is the equal temperament: when any other is adopted, beats are sometimes, but not always, employed, that is, counting the beats. For the ordinary tuner, even in equal temperament, learns to help himself by a perception of the rapidity of the beating : but without numerical trial. Now it appears to me that there is in this a loss of time and a loss of accuracy. Difl'erent tuners, however excellent their ears, do not agree in their results. Two men, tuning different 142 Mr DE morgan, ON THE BEATS OF IMPERFECT CONSONANCES. compartments of the same organ, produce two systems which do not agree : they take care that their tuning-forks shall give them the same standard-note ; but this is all they can get. Many years ago I had two dulcimers, as 1 suppose they must be called, of a couple of octaves each : the notes were given by single strings, and the sound was produced by a hammer held in the hand; they stood exceedingly well in tune, and the sound was as pure as that of a tuning- fork. When I tuned one to equal temperament, as I thought, and tlien the other, I never found agreement, though each was satisfactory by itself. I soon left off, setting down the discordance to my own inexperience. But an old professional tuner, to whom I mentioned the subject, assured me that he did not believe either that any tuner gained equal temperament, or that any one tuner agreed with himself or with any other. He summed up by saying that "equal temperament was equal nonsense." An octave of tuning-forks might easily be prepared, adjusted with exactness to any tempe- rament by beats. These beats can be heard in a consonance of tuning-forks as well as in one of strings or of pipes. The preparation of a standard set, for the manufacturer's own use, would cost time and trouble : but the standards once at hand, copies might be taken off by unisons with comparative ease. The labour of obtaining the bearings from the tuning-forks would be small compared with that of adjustment, as now practised. In tuning the organ, I feel certain that the ear of the tuner must be much injured, for the moment, by the hideous squalling slides which the pipe sounds while the tuning-instrument is inserted and turned about at the top. He might still be a judge of a perfect unison ; but I should no more imagine him able to , know the fiftieth part of a mean semitone from the twenty -fifth, when his ear is just out of this abominable clamour, than I should rely on the tenth part of a second from the wire of an astronomer who had the instant before been tossed in a blanket. The sensibility to false intonation languishes and almost dies during a powerful crash of the whole orchestra ; but it is fostered and nourished by soft passages performed on a few instruments. When beats are employed at the instrument itself, a watch is in several respects a difficult standard. The counting should begin when the ear is well in gear with the beats, which will not happen just at the five seconds or the quarter minute. And the employment of the eye at the very commencement of counting is confusing to the ear. A regulated metronome might be used, but I suspect it would be a troublesome instrument. A half-minute sand-glass (emery powder should be used) would probably be found the best time-piece ; this could be turned over when the ear is in repose on the beats ; and the counting would begin from the tuner's own perception of his own act, with that composure which would arise from the act being in his own power. The system of equal temperament is to my ear the worst I know of. I believe that the tuners obtain something like it. A newly-tuned pianoforte is to me insipid and uninteresting, compared with the same instrument when some way in its progress towards being out of tune. Now as every bearable change must be called temperament, and not maltonation, I suppose that, in passing from key to key by modulation, the variety which the temperament of wear and accident produces is more pleasing than the dead flat of equal temperament. I give the results of four systems, which I shall now describe. P is equal temperament, on which I need say no more. Mr DE morgan, ON THE BEATS OF IMPERFECT CONSONANCES. 143 Q is a system in which the change of temperament of the fifth, in passing from a key to that of its dominant, is always of the same amount, one way or the other. That is, the tem- peraments of the fifths in the keys of C, G, D, A, E, B, F|^, are m, 2m, 3m, 4-m,, 5m, 6m, Im ; while those in the keys of C^, G||, D|^, A|f, F are 6m, 5m, 4m, Sm, 2m. Here 4m must be the temperament of the fifth in the equal system. I have described this system in the article Tuning in the Penny Cyclopcedia. R is a system in which all the major thirds are equally tempered : and the variety of the fifths in passing from key to key is made as great as, consistently with this condition, it can be. 5* is a system in which all the minor thirds are equally tempered, the varieties of the fifths being made as great as they can then be. In the article cited above, I have exhibited all the relations of the temperaments in tlie form of three theorems, including 25 equations, as follows. The temperament of fifths and minor thirds is considered positive when they are tuned flat : that of major thirds is positive when they are tuned sharp. 1. The sum of the temperaments of the fifths in all the 12 keys must be •2346 of a mean semitone. 2. The keys being arranged dominantly, that is, in the order C, G, D, A, E, B, F|f, Cijif, ^% 1^1^' -^tt' 1^' C' ^' I>,...the temperament of the major third in any key together with the temperament of the fifth in that key and the three succeeding keys will always amount to a comma, or "SlSl of a mean semitone. 3. The temperament of the minor third in any key, together with the temperaments of the fifths in the three preceding keys, will always amount to a comma. Thus in all systems, the temperament of AC^, together with those of AE, EB, BFj:f, F^C|f, will make a comma. And the temperaments of AC, together with those of CG, GD, DA, will make a comma. If then the temperaments of the fifths go in cycles of four, that is, if the twelve keys, dominantly arranged, have the temperaments p, q, r, s, p, q, r, s, p, q, r, s, in their fifths, the temperament of every major third will be p+q+r+s less than a comma, or -0782 of a mean semitone less than a comma. In the system R, I have taken p=0, q=-0391, r=0, s=-039i : that is, the dominantly consecutive fifths are alternately perfect and tempered as much again as in equal temperament. This is the way of satisfying the condition 3 (p+q+r+s) = -2346, which gives most variety of key. The temperaments of the minor thirds in dominantly con- secutive keys are alternately '1369 and •136.9 + -0391, equal temperament giving -1564 to all. If the temperaments of the fifths run in cycles of three, as in p, q, r, p, q, r, p, q, r, p, q, r, it follows that the temperament of every minor third is p + q+r less than a comma. And p+q+r must be '0587. In system S I have made p=0, 5'=-01955 as in equal temperament, r=2q; which satisfies 4(p+g' + r) = '2346. The temperaments of the major thirds in dominantly successive keys are -1564, •1564-5', •1564-2g': that is, the major third is never more tempered than the minor third in equal temperament. 144 Mr DE morgan, ON THE BEATS OF IMPERFECT CONSONANCES. The tables here seen are described in the following paragraphs : — Intervals in Mean Semitones. P Q R S C 0-00000 0-00000 0-00000 c c^ 1 1-00000 1-01955 1-01955 c# D 2 9-02444 2-00000 2-01955 D D# 3 2-98534 3-01955 3-00000 I^tt K 4 4-02932 4-OOOOC 4-01955 E F 5 4-99022 5-01955 5-01955 F F# 6 6-01466 6-OOOOC 6-00000 F^ G 7 7-01466 7-01955 7-01955 G Gjt 8 7-99022 8-OOOOC 8-01955 Gtt A 9 9-02932 9-01955 9-00000 A A^ 10 9-98534 10-00000 10-01955 A# B 11 11-02444 11-01955 11 -01955 B Vibrations in one Minute. Beats in one Minute. P Q R S P Q R S c 14400-0 14400-0 14400-0 14400-0 48-8 12-S 00-0 00-0 c c# 15256-3 15256-3 15273-5 15273-5 51-7 77-5 103-4 51-7 cfi D 16163-5 16186-3 16163-5 I6I8I-7 54-7 41-1 00-0 109-5 D D# 17124-6 17110-1 17143-9 17124-6 58-0 58-0 116-0 00-0 Dft E 18142-9 18173-6 18142-9 18163-4 61-4 76-c 1 000 61-5 E F 19221-7 19210-8 19243-4 19243-4 65-1 32-5 130-2 130-2 Ftt F# 20364-7 20381-9 20364-7 20364-7 69-0 120-7 00 000 F G 21575-6 21593-9 21600-0 21600-0 73-0 36-5 146-2 73-2 G G# 22858-6 22845-7 22858-6 22884-4 77-4 96-(} 00-0 154-9 Gtt A 24217-8 24258-9 24245-2 24217-8 820 82-] 164-1 00-0 A Aft 25657*9 25636-2 25657-9 25686-9 86-8 65-1 00-0 870 A*| B 27183-6 272 22-0 27214-3 27214-3 92-0 138-S ! 184-2 184-2 B The vibrations are calculated from the formula log itf =log iV+-J^ log 2 X iP, where M and N are the vibrations in the higher and lower notes, and x the number of mean semitones in the interval. The beats are calculated from the formula mN—nM', for the fifths SN—ZM. The beats are those of each note with the fifth above it : thus A^ F' (the octave above F) l)eats 86-8 times in a minute in equal temperament (P). The vibrations are taken as in the pitch frequently used for organs, when not wanted to combine with the orchestra, that is, a diatonic semitone (15 : 16) below the ordinary concert- pitch of our day, in which C (on the first line below the treble) gives 256 double vibrations per second. In tuning to the concert-pitch, each number in the lower table, be it of vibra- tions or of beats, must be increased by its 15th part. For an octave above, the number of beats must be doubled : for an octave below, it must be halved. Thus, CG beating 48*8 times in a minute, C,Gi beats 24-4 times, and C'G' beats 97-6 times in a minute. Mr DE morgan, ON THE BEATS OF IMPERFECT CONSONANCES. 145 I feel sure that the results of this principle of variety in the keys would, if fairly tried, be found more satisfactory than those of equal temperament. Nor do I at all apprehend that the principle is carried too far : on the contrary, I should predict that the system R, in which the difference between dominantly successive keys is greater than in the others, would be the best of all. But by making p, q, r, s, in R, and p, q, r, in S, more nearly equal than in the instance given, any less amount of adherence to the distinctive feature might be secured. It is useless to speculate on systems with any view of materially diminishing the number of beats/ in the thirds and sixths. In equal temperament, the consonance G A^ beats more than 1150 times in a minute, while GD' (D' the octave above D) beats only 73 times. Nor can the beats be reduced, in the different consonances of a chord, either to equality, or to near commensurability, throughout any considerable portion of the scale. It is the irregularity of the beating which is its chief disadvantage : regularity would give merely the effect of a faint drum-accompaniment ; but such change as that from C F C, in which C F and F C beat equally, to C G C, in which G C beats twice as fast as C G, is the real annoyance. A further disadvantage is that the multitudinous beats are thrown on the consonances which are least suited to take them. The fourths and fifths should be called martial consonances, the thirds and sixths pastoral : but the bray of the beats is thrown on the thirds and sixths, and is never so distressing in the fourths and fifths. The subject will never be fairly entered upon, as to true comparison of systems of tem- perament, until the bearings are tuned from a system of forks, one to each semitone. I think it probable that nothing but the general ignorance of the theory of beats, arising out of the obscurity under which the subject has been presented, has hitherto prevented the construction of such standard bearings. A. DeM. January 18, 1858. Vol. X. Paet I. 19 VIII. On the Genuineness of the Sophista of Plato, and on some of its philosophical bearings. By W. H. Thompson, M.A., Fellow of Trinity College, and Regius Professor of Greek. [Read Nm. 23, 1 857-3 In selecting the Sophista of Plato for the subject of this paper, I have been influenced by certain passages in an interesting contribution to our knowledge of some parts of the Platonic system which was read by the Master of Trinity at a former Meeting'. I have principally in view to assert what was then called in question, the genuineness of this dialogue, and the consequent genuineness of the Politicus, which must stand or fall with it ; but I am not without the hope of throwing some new light upon the scope and purpose of the Sophista in particular, and upon the philosophical position of Platonism in reference to two or three now forgotten, but in their day important schools of speculation. Such an inquiry cannot fail, I think, to be interesting to those members of the Society whose range of studies has embraced the fragmen- tary remains of the early thinkers of Greece, as well as the more polished and mature compo- sitions of Plato and Aristotle : for such persons must be well aware that it is as impossible to account for the peculiarities of these later systems without a clear view of their relation to those which went before them, as it would be to explain the characteristics of Gothic archi- tecture in its highest development without a previous study of those ruder Byzantine forms out of which it sprang ; or to account for the peculiar form of an Attic tragedy without a recognition of the lyrical and epic elements of which it is the combination. Nor is this all. The writings both of Plato and Aristotle abound with critical notices of contemporary systems, with the authors of which they were engaged in life-long controversy : and whoever refuses to take this into account will miss the point and purpose not only of particular passages, but, in the case of Plato, of entire dialogues. In the search for these allusions to the writings or sayings of contemporaries, we have need rather of the microscope of the critic than of the sky- sweeping tube of the philosopher : and a task so minute and laborious is not to be required of any man whose literary life has loftier aims than the mere elucidation of the masterpieces of classical antiquity. I say then at the outset of this inquiry, that I not only hold the Sophista to be a genuine work of Plato, but that it seems to me to contain his deliberate judgment of the logical doc- trines of three important schools, one of which preceded him by nearly a century, while the remaining two flourished in Greece side by side with his own, and lasted for some time after his decease. I hold the Sophista to be, in its main scope and drift, a critique more or less Cambridge Philosophical Transactions, Vol. ix. Part iv. PROFESSOR THOMPSON, ON THE GENUINENESS OF THE SOPHISTA, &c. 147 friendly, but always a rigorous and searching critique of the doctrines of these schools, the relation of which to each other is traced with as firm a hand, as that of each one to the scheme which Plato proposes as their substitute. These positions I shall endeavour to substantiate hereafter, but I shall first produce positive external evidence of the authenticity of the dialogue under review. 1. The most unexceptionable witness to the genuineness of a Platonic dialogue is, I pre- sume, his pupil and not over-friendly critic Aristotle. Allusions to the writings of Plato abound in the works of this philosopher, of which the industry of commentators has revealed manv, and has probably some left to reveal. These allusions are frequently open and acknowledged; the author is often, the dialogue occasionally named': but in the greater number of instances no mention occurs either of author or dialogue, and the (pacri Tives of the philosopher has to be interpreted by the sagacity of his readers or commentators. I shall begin with an instance of the last kind, where however the identity of phraseology enables us to identify the quotation. In the treatise De Anima, iii. 3. 9, we read thus: (pavepov on ovSe So^a fxer alaBtjaeoos ovce 01 a'lcrOijcrewi, OV06 cvixTrXoKtj oo^r/^ Kai a'laOtjcreMs (pavTaaia ai> e'ltj. A "combi- nation of judgment and sensation" is evidently the same thing as "judgment with sensation;" why then this tautology ? It is explained by a reference to Plato's Sophista, ^ 107, p. 264 b, where we are told that the mental state denoted in a previous sentence by the verb (paiverai, is "a mixture of sensation and judgment," au/jL/uLi^is aiaOijcrewi kuI ^o^jys; and just before, that when a judgment is formed, one of the terms of which is an object present at the time to the senses, we may properly denote such judgment as a (pavTacria- ''Orav ixrj Kaff avrrjv aWd oi aicrOrjaews iraprj Ttvt to toiovtov au Traaoy, ap oiou tc opOws e'cTreii' erepov ri 7rX»?r (pavTacr'iav. A (pavraaia is, it will be seen, according to Plato a variety of So^a. The distinction was perhaps not worth making, but it is perfectly intelligible ; and in restrict- ing a popular term to a scientific sense, Plato is taking no unusual liberty. Aristotle, how- ever, needs the word for another purpose, and accordingly pushes Plato's distinction out of the way. The only word used by Aristotle which Plato does not use is av/jiTrXoKri : he wrote av/x- fjLi^ii, but it is remarkable that the word av/ixTrXoKij does occur two or three times over in this part of the dialogue ; hence Aristotle, writing from memoiy, substitutes it for the a-un/jn^i^ of the original. One of the most learned and trustworthy of his commentators, Simplicius, has the gloss : tov YlXarajvos ev tb Tip "^oCpiaTtj Kat ev Tip OjXr;/3o> ti/i; (pavTaaiai' ev fx'i^ei oo^t]^ Te Kai a'ladrjcrew^ TiOefievou, eviaTaaOai ttoos Trji' Oeaiv oia tovtwv ooKei. Now in the Philebus the definition in question does not occur, though the mental act which Plato calls (pavraaia is graphically described, and the cognate participle (pavrai^ofjievov is used in the description (p. 38 c). The passages quoted from the Sophista are therefore here alluded to, for there are none such in any other dialogue, and the restricted use of the term is peculiar to the author of the Sophista. ' Sometimes without Plato's name, as en tw 'lirwia, iv tw iaiSmvi. It is remarkable that these are the only two dia- logues quoted by name in the Metaphysics : though Plato's entire system comes under review in that work, of which one book is appropriated to the theory of ideas alone. The Par- menides, which is largely drawn from, is not once named. 19—2 148 PROFESSOR THOMPSON, ON THE GENUINENESS OF 2. The next passage 1 shall quote refers not to the Sophista, but to the Politicus, which is a continuation of it. It is familiar to readers of the Politics, in the first chapter of which Aristotle writes thus : ''Oc70£ fxev ovv o'lovrai ttoXitikov kuI fiacriXiKov KOI o'lKovoixiKov Kut Seo-TTOTiKov eTvui Tov uvTov ov KoXws Xeyovaiv' TrXriOcL yap Kat o\i- yoTtjTi i'oixii^ov(Ti ^ia(pfpeiv dX\' ovk ei^ei tovtcov €KaarTov...UK ovotv dta(pepova-av ixeyaXrjv oiKiav tj atiiKpav ttoXiv. "Those persons are mistaken who pretend that the words statesman, king, housemaster and lord mean all the same thing, differing not specifically, but only in respect of the number of persons under their controul ; for, say they, a large house- hold is but a small state." With this compare Plato's Politicus, 258 e: irorep' ovv tov ttoXc- TiKov Koi (iaaiXea Kai oe(nroTt]v Kat er o'lKovofxov drjaoixev w^ kv iravra ravra Trpoaayopev- ovTe<;, ri Toaavra^ rej^i/a? awras elvai (puifiev, oaairep ovofxaTa eppijdtj. " Are we then to identify the statesman with the king, the lord, or the master of a family ; or are we to say that there are as many separate arts as we have mentioned names .'"' The young Socrates is not prepared with an answer, whereupon he is further asked: "What.-' can there be any difference, as regards government, between a household of large and a town of small dimen- sions ?" (rt Se; fxeydXrii c^W" o'lKtiaews, tj afxiKpa^ av TroXecos o'yifos uwv ti irpoi ap- Ynv ^toiaerov). " There can be none," says the facile respondent. " Is it not then clear," rejoins the other, " that there is but one science applicable to all four, and that it is a mere question of words whether we choose to call such science Kingcraft or Politic or (Economic ?" {e'lTe ^aaiXiK^v e'lxe -TroXiTiKrjv e'lre o'ikovo/ixiktjv t) ov is : the truth being, that we altogether decline to say anything about the contrary of the oc, whether any such contrary is or is not conceivable by the reason." j;fie?s fxev yap trepl evavTiov tivos avrip (sc, tw ovri) ■^aipeiv iroXXa Xeyo/mev, e'lT eaxiu e'lre fir/ Xoyov e-^ov rj Kat iravTairacnv aXoyov. p. 258 E. * To this same passage I suppose Aristotle to allude in the Metaphysica (vi. 4. 13, Bekk, Oxon.) a'XX' w6y, olov el to /jlij otf icTt ^o^affTOl/, oTi TO fxi] ov €(TTiy' oil yap TavTdv elvai re Tl Kat elvai a-TrXeo?. ij iraXii/ oxt to ov oiiK earnv ov el twv ''"'^ Tt [ITJ e(TTty, oiov ei /itj dv6pwTros, ' " Plato was right to a certain extent, when he represented the Non-ens as the province of the Sophist." 150 PROFESSOR THOMPSON, ON THE GENUINENESS OF into account that the description occurs in no other part of Plato's writings, and nothing will be wanting to the proof that Aristotle had not only read with attention two dialogues answering to those which bear the titles of the Sophista and the Politicus^, but that he knew or believed them to have been written by his Master. The recognition of a dialogue by Aristotle is at least strong evidence of its genuineness : and it would require stronger internal evidence on the other side to justify us in setting such recognition at defiance". Of the dialogues generally condemned as spurious, .some owe tiieir condemnation to the voice of antiquity ; others betray by their style another hand ; while those of a third class have fallen into discredit on account of the comparative triviality of their matter or the supposed un-Platonic cast of the sentiments they contain. To objections founded on the matter of a suspected dialogue I confess that I attach comparatively little weight, except when they are supported by considerations purely philological. We need have little scruple in rejecting a dialogue so poor in matter and dry in treatment as the Second Alcibiades, when we find the evidence of its spuriousness strengthened by the occurrence of grammatical forms which no writer of the best times would have used^. But it would be rash criticism to condemn the Second Hippias, in which no such irregularities occur, merely because it contains paradoxes apparently inconsistent with other parts of Plato's writings. Tried by this test, the Lysis and the Laches, and perhaps the Charmides, would fare but ill. Yet in them, those who have eyes to see have not failed to recognize the touches of the Master's hand, and the perfection of the form has outweighed the doubtfulness of the matter. Now I am not aware that any philological objections have been urged against the Sophista. So far as the mere style is concerned, there is no dialogue in the whole series more tiioroughly Platonic. In their structure the periods are those of Plato, and they are unlike those of any other writer. Throughout, as it seems to me, the author is writing his very best. His subject is a dry*one ; and he strives to make it palatable by a more than ordinary neatness of phrase, and by a sustained tone of pleasantry. His style is terse or fluent, as terseness or fluency is required : but the fluency never degenerates into laxity, nor the terseness into harshness. The most arid dialectical wastes are refreshed by his humour : and bloom in more places than one with imagery of rare brilliancy and felicity. Few besides Plato would have thought of describing the endless wrangling of two sects who had no > I cannot but think that had the Master of Trinity exa- mined the Polilicus with the same care which he has bestowed on the Sophista, he would have formed a different opinion of the genuineness of the two dialogues. The Politicus contains passages full not only of Platonic doctrine, but of Platonic idiosyncrasy. I may mention, as a few out of many, the grotesque definition of Man as a "featherless biped" {Pol. p. 2(i(;E. 99) which exposed the philosopher to a well-known practical jest : the somewhat wild but highly imaginative mythus, redolent of the Timceus, (p. 269 foil.) : and, finally, the fierce onslaught on the Athenian Democracy, (p. 299), breathing vengeance against the unforgiven murderers of Socrates. On reading these and similar passages, it would be difficult for the most sceptical to repress the exclamation, " Aut Plato aut Diabolus!" ° The Sophista is also recognized, as we have seen, by the vigilant and profoundly learned Simplicius, also by Porphyry (ap. Simp, ad Phi/s. p. 335, Brandis). Clemens Alexandrinus and Eusebius quote it as Plato's. If it is not named by Cicero, neither are the Philebus and ThecBtetus. The omission of any mention of this latter dialogue by the Author of the Academic Questions is really remarkable. ^ e.g. dirOKptdilval for aTroKpiuacrQaL, iyK€TrT€tjdat for i/\do-o} prjOev •n-pos Toy's yrjyeve^s ovala% irepi, 248 B ; the thing they refuse to admit being neither more nor less than that Koivwvia or fxeOe^K tw;' ei^wn'', which Aristotle cannot or will not under- stand in his critique of the Platonic Doctrine of Ideas. Like Plato, they distinguish the two worlds of sense and pure ideas, the ytveat^ from the ovaia {yevecriv ttjv oe ova'iav ^(o^is nov ^leXo/uevoi Xeyere, 248 a), but, unlike him, they deny that the one acts or is acted upon by the other : they even deny that Being (e'iS^ or ovaiit) can be said to act or suffer at all ; nay, when pressed, they seem to admit that it is impossible to predicate of it either knowledge or the capacity of being known^. The arguments by which the "Friends of Forms" {el^wv <'h^i' <>>"< «" 7"'^''^^'" '^^p'^ t6 I'lpe/iou '. p. 248 E. * Compare 249 D, § 76 : tw Stj (piXotrotpui xal -rad-ra fidXi- trra tiixSivti iraaa mi eoiKCv dvdyKn Sid Tavra ^lire tmi; er li Kal Ta troWd eUv XeyovTmu to irav 60-ti|K(Js diroSexet'^at, Tuii/ t' ail TravTaxV ''■" ^■' KiuoivTmv fiitle t6 irapdirav dKoieiir, dXXd Kara t^v twv vaiSuii/ eliX'i'', obt\oa-6os. TavTa 6' aKovoiV laTpOi tic ^iKeXa^ diro yas KaTcirapS' auTwu ftls XlJpOUl/TWVt A, i] irov Seivuj^ topyiGQr\orav xXeua'^eo-flai t €(36ij(Tav' TO yap €V Xdtry^ats TaTorde TOtavTi "TToteTv dTrpeire^. B. oi}?*' ip.4Xij(Tev ToTs fieipaKtOK* HXaTwit Se irapcai/ Kal fidXa irpauiv, ovSev dptvdehf CTreVa^' auroTs irdXiu [e^ dpxu^ Trii* KoXoKvvTiiv] d^opi^eadat xtvos etrri yevovv 01 Se di^povv. Com. Gr(sc. Fragm. v. iii. p. 370, ed. Meineke. 21 162 PROFESSOR THOMPSON, ON THE GENUINENESS OF Academy: and we can have no doubt that Plato regarded such long-drawn chains of dis- tinctions in the light of a useful exercise for his pupils. They became " more inventive" and " more dialectical" — may we not say, clearer-headed — by the process. I may add that the Invention of the Divisive Method is traditionally attributed to Plato by the Greek historians of philosophy. Aristotle devotes several chapters of his Posterior Analytics to the discussion of this method: he points out its uses and abuses, and defends it against the cavils of Plato's successor Speusippus, who abandoned the method because, as he alleged, it supposed universal knowledge on the part of the person employing it. The method discuss.ed is that which we have been considering, for Aristotle describes it as Division by contradictory Differentiae^ He also replies to the objection that this process is not demonstrative — that it proves nothing — by the remark that the same objection applies to the counter process of collection or induction. Tiiis defence, I presume, would not in the present day be accepted as satisfactory ; for, as the able translator of the Analytics observes, "This is the chief flaw in Aristotle's Logic: for some more vigorous method than the Dialectical, the method of Opinion, ought to be employed in establishing scientific principles." To shew the superiority of modern over ancient methods of arriving at truth, is a gratifying, if it is not the most profitable employment of the Historian of Ancient Philosophy. At the same time, I must confess my inability to discover the flaw in the principle of dichotomy, as a principle of classification, in cases where the properties of the objects to be classified are supposed to have been ascertained. A Class can exist as such only by exclusion of alien particulars. The Linnean Class Mammalia for instance, implies a dichotomy of Animals into Mammal and Non-Mammal — into those which give suck and those which do not. The distinction may or may not be a natural or convenient one, but in any other which may be substituted, some " differentia," some property or combination of properties must be fixed upon, which one set of species or individuals possesses, and which all others want. And this is all that is essential in " dicho- tomy," or the " method of Division by contraries^." The application of the method will, ' Anal. Post. ii. c. xm. § 6, and Schol. in loc. So Abelard (Ouvrages Inedits. Op. 5fi!), ed. Cousin : coll. pp. 451, 461), distinguishes between those divisions which imply di- chotomy and those which do not : e.g. animal. animal. man. horse. ox, &c. man. not man. Porphyry attributes the latter or dichotomous method to Plato. It could not be " Eleatic," tor each of the contraries would be in that scheme a "non-ens." It is remarkable that a similar Divisio Divisicnum occurs in the Potiticus, p. 287, § 27, where in lieu of the regular dichotomy a rougher form of classi- fication is for once adopted. This Plato, keeping up the original metaphor in the Phtzdrus, describes as a fieXoroixia. Kaxa fieXt) Toivvv auTa^ oiou lepe'iov Siaipufxeda, eireiSri iiX^ (iSuvaTOVfieUt ^** ywp cis tow eyyuraTa OTt fid\i(TTa Tc'/ui/eiK dpiBfjiiv dei. The division he proceeds to make, is a distribution of "accessory arts" avvairioi reX""') into seven co-ordinate groups. A similar relaxation is permitted in the Philebut, p. 16 D: Aei ouv tj^as dfi /ui'av ISeav irepl traVTOi eKaV-roT* deflevov^ X.iiTelv...edv ouv [neTa]\d^fi€v, juera pi'iav Suo, et ttws elcrij iTKOireXv, el Si /.it;, t/>c7s »? Til/' dWov dpid fJLOV, Kai twu ev enelvmif SKacnov irdXw ciiTauTa}^ /te')(pnr6p dv to »c«t' dpxf'^^ ^^ M^i ^'Ti ei/ Kai uTretpd tcTt fiuvov iSri -ris, dWd Ktil o-Kuva. 1 understand this passage as conveying Plato's di>tinction between his own method and that of the Eleatics and tlieir Eristic successors, who acknowledged only a ev and an direipov, ' For the length of the process will evidently depend on the distance, so to apeak, between the Species generalissima and the Species specialissima, between the remote and the proxi- mate class in the tabulation of species. The very brief dicho- tomy in the Gorgias, p. 464, is evidently the same in principle as the long drawn divisions in the Sophisla, as will be seen fiom the following scheme : Qepaireia^ 11 TOV TO fxev atppov Ttji Ztavo'ia, o /xev to €7r a p i \eyeiv tc koi (ppoveTv eav Te tiv dWov >jyt]pat oiivaTOV eU ev koi eVi troWd ire (pvKod' dpdv, tov- SlCdl TOV CttUKtO KaTOWKTVe pCT I^I/IOI/ w? eyiapai, irKtjv T5 ev eiBos a'/roj^upij^iDv, k.t.K, In allusion to Xen. Mem. iv. ^ 11, a passage noticed by the Master of Trinity, p. 595 of his paper, I may observe that the etymology of Dialectic, a-rro tov SiaXeyeiv, is undoubtedly vicious, and is nowhere countenanced by Plato. On the contrary, Dialectic is described in the Philebus, 58 e, as >; tov SiaXeyeaOai Suva/nis. He could not have adopted Xenophon's etymology, for as we have seen, the Platonic Dialectic includes dwaywy^ as well as Siaipeais. The etymology was tempting, and Xenophon, who writes very nrtich at random upon philosophical subjects, was unable to resist the temptation. A similar error is that of Hegel, who in his History of Philosophy, derives aocpiaTtjs from ao(p'i^6iv instead of aoCpi^eaOai, an error in which he has been followed by English scholars who ought to have known better. THE SOPHISTA OF PLATO, &c. 165 APPENDIX II. On the Earth-born (yriyevels) of Sophista, 246. Of the three contemporary sects professing some form of Materialism, I have singled out the Cynic as that which alone answers the conditions of Plato's description. The following extracts from the fragments of Democritus, and from Aristotle's notices of his opinions, seem conclusive against his claim to a share in the Gigantomachy. 1. The sect in question held that, tovto fxovov eaTtv, o TTiipe^ei wpoajioXriv Kai firatprjv Tiva, 2. -rau-roii (TiSixa koi ova'iav ^^ Apply one triangle upon the other as in the right-hand diagram, so that the side h meets the hypothenuse A at right angles, and the vertex of the angle opposite 6 meets the vertex of the angle included by A and B. Since the angle GFH is equal to the angle FDE, it is the complement of the angle DFE ; and GFE is therefore a right angle ; and GF is parallel to DE. Now the rectangle under a and B is the double of the triangle GFE ; and the rect- angle under 6 and A is the double of the triangle GFD. But because GF is parallel to DE, the triangle GFE is equal to the triangle GFD. Therefore the rectangle under a and B is equal to the rectangle under A and b. q.e.d. Proposition (D). If a, c, and A, C, are homonymous sides of equiangular triangles, the rectangle contained under a, C, will be equal to the rectangle contained under c, A. From the angles included by the sides A, C, and a, c, let fall the perpendiculars B, b, upon the third side. The corresponding right-angled triangles thus formed are easily shewn to be equiangular. Hence, by Proposition (C), Rectangle under a, B, is equal to rectangle under A, b. Again, Rectangle under b, C, is equal to rectangle under B, c. Therefore by Proposition (B), Rectangle under a, C, is equal to rectangle under A, c. q.e.d. Proposition (E). If b, c, and B, C, are homonymous sides including the right angles of two equiangular right-angled triangles, the rectangle contained under 6, C, will be equal to the rectangle contained under c, B. This may be considered a case of the last proposition, or it may be treated independently thus. Vol. X. Part I. 22 170 G. B. AIRY, ESQ., ON THE SUBSTITUTION OF METHODS Apply the two triangles together, so that their right angles coincide, and their homony- mous sides are in the same straight lines. In consequence of the equality of the remaining angles, the hypothenuses EG, FH, will be parallel. Therefore the triangle FEG is equal to the triangle HEG. To each add the triangle EDG, then the triangle FDG is equal to the triangle EDH. But the rectangle under 6, C, is double of the triangle EDH ; and the rectangle under c, B, is double of the triangle FDG. Therefore the rectangle under 6, C> is equal to the rectangle under c, B. a.E.D. Pkoposition (F). If the rectangle contained under the lines a, B, is equal to the rect- angle contained under the lines J, b ; the parallelogram contained under the lines a, B, will be equal to the equiangular parallelogram contained under the lines J, b. [This is equivalent to the proposition, U a : b :: J : B, Then a : b :: A.cosa : B.cosa.^ In the figure, produce the upper sides of the parallelograms to cut the vertical sides of the rectangles in D and H. The rectangles DG, HL, are equal to the given parallelograms, therefore it is to be proved that the rectangle DC? is equal to the rectangle HL, or that the rectangle under a, EG^ is equal to the rectangle under b, IL. Since the parallelograms are equiangular, the right-angled triangles EGF, ILK, are equi- angular ; and therefore by Proposition (C), the rectangle under EG, A, is equal to the rectangle under IL, B. But by hypothesis, the rectangle under B, a, is equal to the rectangle under A, b ; therefore by Proposition (B), the rectangle under EG, a, is equal to the rectangle under IL, b. Or, the parallelogram under the lines B, a, is equal to the equiangular paral- lelogram under the lines A, b. a.E.D. FOUNDED ON ORDINARY GEOMETRY, &c. 171 These Propositions, I believe, will suffice for treatment of the first thirteen Propositions of Euclid's Sixth Book (Prop. I. excepted), and for all the Theorems and Problems appa- rently involving proportions of straight lines (not of areas, &c.) which usually present them- selves. As an instance of their application, I will take the theorem to which I alluded at the beginning of this paper. Theorem. If pairs of tangents are drawn externally to each couple of three unequal circles, the three intersections of the tangents of each pair will be in one straight line. I shall omit the demonstration that, for each couple of circles, the pair of tangents and the line passing through the two centers all intersect at the same point ; and I shall use only the intersection of one tangent with the line passing through the center. Also I shall omit the construction and its demonstration, for inserting between the greatest and least of the three circles a circle equal to the remaining circle, having its center upon the line joining their centers, and being touched by their tangent. M Let A, B, C, be the centers of the given circles. Let N be the center of the circle whose radius NO is equal to the radius BK, and which is touched at O by the tangent DE. Join NB, MF, FI, MN, NI, FB. First we shall prove that MF is parallel to NB. The triangles NOF, CEF, have each one right angle, and they have another angle common; hence they are equiangular; and by Proposition (C), the rectangle under CF, NO, is equal to the rectangle under NF, EC; or, the rectangle under CF, BK, is equal to the rectangle under NF, CL. Again, the triangles BMK, CML, are equiangular, for each has one right angle, and they have another angle common; therefore the rectangle under CL, MB, is equal to the rectangle under BK, MC. Consequently, by Proposition (B), the rectangle under CF, MB, is equal to the rectangle under NF, MG. Therefore, by Proposition (F), the parallelogram under CF, MB, which has one angle equal to MCF, is equal to the paral- lelogram under NF, MC, which has one angle equal to MCF. But the former of these 22—2 178 G. B. AIRY, ESQ., ON THE SUBSTITUTION OF METHODS, &c. parallelograms is double of the triangle BMF, and the latter is double of the triangle MNF. Therefore the triangle BMF is equal to the triangle MNF, and therefore MF is parallel to NB. Secondly. To prove that FI is parallel to NB. It will be shewn in exactly the same way that the parallelogram under AF, BI, with the angle FAI, is equal to the parallelogram under AI, NF, with the angle FAI. But the parallelogram under AF, BI, with the angle FAI, is the excess of the parallelogram under AF, AI, with the angle FAI, above the parallelogram under AF, AB, with the same angle; or is the excess of double the triangle AFI above double the triangle AFB, or is double the triangle BFI. Similarly the parallelogram under AI, NF, with the angle FAI, is double the triangle NFI. Therefore the triangles BFI, NFI, are equal; therefore FI is parallel to NB. And as MF and FI are both parallel to NB, MF and FI are in the same straight line. a. E. D. ' ADDENDUM. I AM permitted by Professor De Morgan to transcribe the simple process for demon- strating the theorem of ex cequali in ordine perturhata, to which allusion is made above. li a : b ■.: B ; C, and b : c :: A : B, Then will a : c :: A : C. i then a A : C. :: c : d. To exhibit the process more clearly to the eye, use the connecting mark /- — v for one ratio and ^^i^ for the other; then the theorem stands thus, If a ^-N 6 ; and A^:=:::B^—^c, To prove it, take a fourth quantity d, such that a : b Then b ^p^:::: c ^— >. d. But A^:=:::By-~>.C. Therefore, ex eequali, b : d :: A : C. But, because a : b :: c : d, therefore alternando, a fore the ratio a : c for 6 : d in the analogy just found, a : c :: A : C. q. k. d. c '.: b : d. Substituting there- RoTAL Observatoby, Greenwich. September 2, 1867. G. B. AIRY. X. On the Syllogism, No. Ill, and on Logic in general. By Augustus De Morgan, F.R.A.S., of Trinity College, Professor of Mathematics in University College, London. QRead Feb. 8, 1858.] I PUT this paper under the title here given, for the sake of continuity of reference: in scope, however, it is more extensive than those which precede (Vol. viii. Part S; Vol. ix. Part 1). It will best be disposed under two heads. I shall first put together remarks on the object of logic ; on its present state ; on the opinion of the world with respect to it ; on the views which I take of it, in opposition to the world at large as to its advantages, and to the writers upon it as to its details. I shall incidentally answer some objections to my former paper ; objections, not objectors : and I would gladly do something, be it ever so little, to hasten the time when logic shall again be a part of education in the University of Cambridge. I am satisfied that there is no study, however useful, no exercise of the intellect, however essential, but has its own short-comings which can only be made good by the study of mind as mind, psychology ; and induces its own bad habits which can only be eradicated by the study and practice of thought as thought, logic. But psychology and logic, in their turn, require other studies even more than other studies require them. In the second part, I shall present the elementary points of the system which I advocate. Which of the two parts should be taken first is a question which each reader must decide for himself. Section I. General Considerations. I. Eleven years ago, when I began to put together details on which I had been thinking during several previous years, I had not the encouragement which would have arisen from a knowledge of what was then going on in the logical world. In my own mind I was facing Kant's* assertion that logic neither has improved since the time of Aristotle, nor of its own nature can improve, exceptf in perspicuity, accuracy of expression, and the like. I did not know that very high authority was then teaching its alumni to assert that logic had always ♦ There is an intell