Skip to main content
#
Full text of "On Operators in Physical Mathematics. Part II"

##
See other formats

1893.] On Operators in Physical Mathematics. 105 These groups are — I. Methane. II. The three methyl compounds. III. Ethane and its derivatives. IV. Propane and its derivatives. If the members of a group have the same ratio of the specific heats, we know, from a well-known equation in the kinetic theory of gases, that the ratio of the internal energy absorbed by the molecule to the total energy absorbed, per degree rise of temperature, is the same for all. Hence we have the result that, with the single exception of marsh gas, the compounds with similar formulas have the same energy-absorbing power, a result which supplies a link of a kind much needed to connect the graphic formula of a gas with the dynamical properties of its molecules. From the conclusion we have reached, it follows with a high degree of probability that the atoms which can be interchanged with- out effect on the ratio of the specific heats have themselves the same energy- absorbing power, their mass and other special peculiarities being of no consequence. Further, the anomalous behaviour of methane confirms what was clear from previous determinations, namely, that the number of atoms in the molecule is not in itself sufficient to fix the distribution of energy, and suggests that perhaps the configuration is the sole determining cause. If this is so, it follows that ethane and propane have the same con- figuration as their monohalogen derivatives, but that methane differs from the methyl compounds, a conclusion that in no way conflicts with the symmetry of the graphic formulas of methane and its derivatives, for this is a symmetry of reactions, not of form. VIII. " On Operators in Physical Mathematics. Part II." By Oliver Heaviside, F.R.S. Received June 8, 1893. Algebraical Harmonization of the Forms of the Fundamental Bessel Function in Ascending and Descending Series by means of the Generalized Exponential. 27. As promised in § 22, Part I (' Roy. Soc. Proc.,' vol. 52, p. 504), I will now first show how the formulas for the Fourier-Bessel function in rising and descending powers of the variable may be algebraically harmonized, without analytical operations. The algebraical conver- sion is to be effected by means of the generalized exponential theorem, § 20. It was, indeed, used in § 22 to generalize the ascend- ing form of the function in question; but that use was analytical. At present it is to be algebraical only. Thus, let 106 JJ r. O. Heaviside. [June 15, A — i -J — - it 2 2 2 2 4? 2 a 4 2 6 3 * » » (i) 2 ait. 2 /I 2o2 1*3 B = -(^+ 3 ^+.... +-(^4--+....), 7f\x x 3 ' of (2) C = -X I 1+— - + 1 2 3 2 1 2 3 2 5 2 4* ~~7Z \* ~r » (27r%y\ 8x |2(8a?) 2 |3(8a?) • • • )• (3) Here A is the usual form of tlie Pourier-Bessel function (or, rather, the function Io(#) instead of the oscillating function J (a?)» whose theory is less easy), or the first solution in rising powers of x % of the differential equation as in (71), (72), Part I. Also, B is a particular case, viz., (78), Part I, of the generalization of the same series, (77), Part I, using the odd powers of x, and going' both ways, in order to complete the series. And C is an equivalent form of the same function in a descending series, (31), Part I, obtained analytically, before the subject of gene- ralized differentiation was introduced. The analytical transformation from A to C was considered in § 14. The present question is, what relation does bear to A and B algebraically ? It cannot be alge- braically identical with either of them alone, on account of the radical in 0. We may, however, eliminate the radical by employing the particular case of the generalized exponential that will introduce the radical anew. Thus, (63), (64), Part I, _ # » « » j x' x~ 3. 2 T + X' 2 9 + # *■ • » (5) If we use this in (3), and carry out the multiplications, we obtain a series in integral powers of x, positive and negative ; thus, = (2 77-)* x I \2i | \2 ' 27 j 12 ' 2 ' 2/ ■! | ™™^ [ I ' — ■.^tt^-M I l | ■ 2UL r i2 f>0 q | 7 » » • • ~j~ X + aj* 1\2 (t) .<aj 2 i ■ (i)' 9 2 l9 I 7 l~2 /I 3\2 V2 * "2/ 2 2 2 \ — 1 * e e I « * • e J ™l & *» C » • • • } i » a • * (6) , 28, ISTow B involves all the odd powers of x, whilst A involves only the even positive powers. But the terms involving even negative 1893.] On Operators in Physical Mathematics. 107 powers in A are zero, if we follow the law of the coefficients. So A is also complete, and C must be some combination of the series A and B. In fact, if we assume that u = a -f cl x x -f- a 2 ar -f- . . . . 4- hx~ l + b. z x~~ + , . . . (7) is a solution of the characteristic (4), and insert it therein, to find the law of the coefficients in the usual manner, we find that the even &'s are zero, whilst the even a's are connected in one way, and the odd re's and even 6's are independently connected in another way. This makes tt = aA + W3, (8) where a and 6 are independent multipliers. Now, judging from common experience with this rule- of -thumb method of constructing solutions of differential equations, we might hastily conclude that A and B represented the two independent solutions of the characteristic. Here, however, we know (analytically) that they are not independent, but are equivalent. Therefore C = aA+6B, (9) where the sum of a and h is unity. It only remains to find the value of a. This is easily obtainable, because the separate series in (6) are rapidly convergent. But we need only employ the first series, viz., to find the coefficient of x°. Thus, the first line of (6) gives 1-1100 = = 0*5. (10) We see, therefore, that the series G is algebraically identical with half the sum of the series A and B. To further verify, we see that the coefficient of x in (6) should be 2/V times that of x () . This requires ;xnio6 = §(i + a v(i+A-(i+AV(i + ..-. , or 0'70G8 = 0-7007, which is also* close. Similarly, from the ar series we require 1-1100 __ 4 or 0-277 = 0*277. 108 Mr. 0. Heaviside. [June 15, The numerical tests in this example are perfectly satisfactory ; and if the numerical meaning of a divergent series could he always as easily fixed, it would considerably facilitate the investigation of the subject. Condensed Generalized Notation. Generalization of the Descending Series for the Bessel Function through the Generalized Binomial Theorem. 29. Since the series A and B are particular cases of the general formula (77), Part I, or of 'x 2 ^' \ 4 by taking r = and r = \ respectively, it may be desirable to find the general formula of which the series is a particular case. Notice, in passing, the shorter notation employed in (11). It is certainly easier to see the meaning of a series by inspecting the written-out formula containing several terms, when one is not familiar with the kind of series concerned. As soon, however, as one gets used to the kind of formula, the writing out of several terms becomes first needless, and then tiresome. The short form (11) is then sufficient. One term only is written, with the summation sign before it. The other terms are got by changing r with unit step always, and both ways. The value of r is arbitrary, though of course it should have the same value in every term so far as the fractional part is concerned, so that, in (11), r may be changed to any other number without affecting its truth. Similarly, the exponential formula may be written c x 2^-> (12) T with r arbitrary and unit step. ISTow, to find the generalized formula wanted, we have, by (25), Part I, I (x) = e *(i + 2V- 1 )-*. (13) Expand this according to the particular form of the binomial theorem got by taking n = — J in (84), Part I, leaving m arbitrary. Or writing that general formula thus : — ~ S , (14) \n r n — r which is compact and intelligible, according to the above explanation, take n = — J, and write 2v _1 in place of x. This makes 1893.] On Operators in Physical Mathematics. 109 (l + 2y" 1 )^ __ y (2y~ 1 )^ •t-r (15) Effect the integration, and we obtain immediately (bO'l-W and therefore, by (13), 1 W - 6 : ^2,yp- a — - i— ~ • (17) (|r)' — a— r Here we see the great convenience in actual work of the condensed notation. At the same time, it is desirable to expand sometimes and see what the developed formula looks like. We then take the written term as a central basis, making it a factor of all the rest. Thus, I M - W*^ f 2z(-j-r) I 2<-f-r) / + |tv (l+ ^^( 1+ .... } . (18) 30. Take r == in this, and we have o(x) = ^i-aj (i-— ^i__^i...... , (19) wbich is the same as (20), Part I, noting that -|a£ there is a? here. But of course the exponential factor is now of no service, the ordinary series A, equation (1) above, being the practical formula when x is small. Take r = — -^ in (18), and we obtain I ^ ) = ^{ 1 + £( 1 + 2 J | e ( 1+ ^( 1 + ---- > (20) which is the formula C, equation (3) above, the practical formula when x is bigger than is suitable for rapid calculation by A. Observe that these are the extreme cases, for the whole of the second line in (18) goes out to make (19), and the whole of the first line, excepting* the first term, goes out to make (20). On the other hand, it fre- quently happens that extreme cases of a generalized formula are numerically uninterpretable. To convert (18) to the form aA + bB algebraically, we may use the exponential expansion in the form (12), but with r negatived, thus, 110 Mr. 0. Heaviside. [June 15. Employing this in (18), we can reduce the series to one containing integral powers only. The coefficient of x° is made to be V. 2 r 1. 2 (\ry .l__ r 2 ' (22) That this reduces correctly to a convergent series summing up to J, when r — —-•§•, may be anticipated and verified. Also, that when r = we obtain unity is sufficiently evident. In these conclusions we merely corroborate ihe preceding. But I have not been able to reduce (22) to a simple formula showing plainly in what ratio the formulas A and B are involved when r has any other values than and \ (or, any integral value, and the samepte i|). The Extreme Forms of the Binomial Theorem. Obscurities. 31. There are some peculiarities about the extreme forms of the binomial theorem when the exponent is negative unity (or a negative integer) which deserve to be noticed, because they are concerned in failures, or apparent failures, which occur in derived formulas. These peculiarities are connected with the vanishing of the inverse factorial for any negative integral value of the argument. Thus, in (l + x) n n JLj r n — r (23) take n = — 1. We obtain 1+x) — i — 1 -- 1 - < (1—x + x 2 — x d + .. .. ) — 1— r I (24) Xow, on the left side we have the vanishing factor (| — l)"" 1 . So, on the right side, the quantity in the big brackets should generally vanish. This asserts that rp _j~ sy>" rxti _i- — — X l (25) where on the left side we have the result of dividing 1 by 1 + x, and, on the right, the result of dividing 1 by x~\-l, or x~ l by 1 + ar" 1 . These series are the extreme forms of the expansion of (l-f-a?)" 1 by the ordinary binomial theorem, and they are asserted to be algebraic- ally equivalent, although the numerical equivalence, which is some- times recognisable, is often scarcely imaginable. But observe that if we choose r = as well, we have a nullifying 1 factor on the right side also of (24). It is apparently the same as 1893.] On Operators in Physical Mathematics. Ill the other, and could be removed from both sides if it were finite. It must not, however, be removed from (24). "What is asserted is that ()X(1 + ^) _1 = 0X0, where the first on the right is (| — l)" 1 , and also the on the left. Again, if we put r = () first in (23), making (1 + A.y. _ j ;P . _*C!_ jl *"!___„. (26) \n. ' ""*** \n Jl"]^"— I # ' ' \n + 1 |"I |M-'2"l- : 2' h * * * ' K J and then put n = —1, we get = 0. But if wo multiply (20) by |n, making , N Mil I) O , (l + x) n = 1 4- nx + ---- --jt— V + \2 1 o x l . it' + (n + l)"|-l + (» + 1) r» + 2)"(— 2 + * # # ' ' (27 ^ we see that the descending series vanishes when n is any negative integer. That is, it is asserted that ( I + as) * = 1 + nx + - 1— -.4* +...., (28) unless n is negatively integral. But when it is a negative integer there are additional terms, though always in indeterminate form ; for instance, coXO when n = — 1 and x is finite. It would appear, how- ever, that the value is zero, because there is every reason to think (28) correct (as a particular form) in the limit. On the other hand, if we multiply (26) by |— 1, and so make it cancel the |— 1 , |— -2 , &c, in the denominators, we get, when n is —1, (l+a)- 1 = 1— as + ar- + ar 1 — x~*+x-*— , (29) which is quite inadmissible, since the right member is the sum of two series previously found to be equivalent to one another, and to the left member. The right member is therefore twice as great as the left. Improved Statement of the Binomial Theorem with Integral Negative Index, 32. A consideration of the above obscurities suggests the following way of avoiding them. We should recognize that the zeros (,'w)"" 1 and r, when we take n = — 1 and r = 0, are independent, and may have any ratio we please. Thus, first put n= — 1 + s in (23), making Mr. 0. Heaviside. [Jxxne 15 ? (l-\-x) — i +5 JL } o of 1 | r — '1 + 5 — r T _ "T" £{/ • 1-j-s — r I — 2 + 5— r X -j — — m ( 1 1 t^- — x ( 1 + * . ♦ * T~\~ 1 ^ — r 14 (s-r)(l + s — r) Qj r-j-2 X "" ]'"' • » » a (30) This being general, let r and 5 be both infinitely small, but without any connexion. We know that the rate of increase of the inverse factorial with n is 1 when n is — 1. It follows that C31) 14s 14s — r $-~r. These, used in (30), make it become x r r — 1+s-f s(l4$) = — \s—r) < 1H - x + ,* . v t t 4 1 j _ x J 4" 7 77 — T— T x ~ 2 + 1 8 » B O £ * (32) Ultimately, therefore, we obtain m a clear manner (l4^)~ 1 = (i — -j/i— a?4« 2 ~~^ 3 4.» . . ) + ~l a5 ~~ 1 ~" ^"" 3 4a?~ 3 — . • . . 1(33) This seems to be the proper limiting form of the binomial theorem when the index is negative nnity. It asserts that the two extreme equivalent forms may be combined in any ratio we please, since rjs may have any value. If r = 0, we have the ascending series only. If r = s, then the descending series only. If s = 2r, we obtain half their sum. The expansion is indeterminate, but the degree of indeter- minateness appears to be merely conditioned by the size of the ratio rjs. We may also notice that the suppositions that s is infinitely small and r is finite, so that •14s and 14s — r used in (30), lead us to (1 •j'X) X 7 r 1 — r 1 j '7\ 1— m + x 2 — £» 3 4» • • 1— -r x~~ L 4 %~~" ■— % "t~ r*» • • • )* > (34) that is, the difference of the two extreme equivalent series divided by 0, which is, of course, indeterminate. 1893.] On Operators in Physical Mathematics. 113 Consideration of a more general Operator, ("l + V" 1 )'^ Suggested Derived Equivalences. 33. Some years since, after noticing first the analytical and then later the numerical equivalence of the different formula? for the Fourier-Bessel function arising immediately from the operator (l-fV" 1 )" 1 by ^ ne UBe °f ^ ne ^ wo extreme forms of the binomial theorem (the only forms then known to me), I endeavoured to extend the results by substituting the operator (l+V _1 ) w > which includes the former, and comparing the extreme forms. Thus, calling u the series in ascending powers of v -1 ? an( i v ^ ne descending series, so that ., , n(n~~l) n , . v . w = l + ttV~H — h -V~ 2 -f , (35) v = v-" ('l + nv+^ir^ v 2 + . . . . \ (36) and integrating (with x° for operand, as usual when no operand is written), we obtain |2 |2 |3 |3 v a?*/ rc, 2 % 2 (w — l) 2 , n*(n — lY(n — 2) i \ v = p- 1 + — +— — ]r^+ ~^ L +.... ; (38) and the suggestion is that these are equivalent. If this equivalence is analytical, and we substitute v -1 for x and integrate a second time, we obtain , n(n — l) 2 rc(w— -l)(rc— 2) , , /OA . 1 + wa . + -^ i -V+-^ — (j5)S— -^ + -«- (39) and obvious repetitions of the same process lead us to , n(n— 1) o , w(w — l)(w— 2) , /jM x 1 + ^ + J^_^ l2+ _l__ | ^L ^ + .... (41) __ « w f ,n m n m (n— l) m n m (n — l) m (n— 2) m \ "Q^^Y® x J \2~ + x^\3_ +,# ** /' (42) which are clearly the cases r = and r = w of the general expres- sion x r \n (43) VOL. LIV. m ra — r 114 Mr. 0. Heaviside. [June 15, provided n is not a negative integer, when we know that closer ex- amination is required. Apparent Failure of Numerical Equivalence in certain Gases. 34. Now, although the equations following (35), (36) (excepting (43)) are deducible from them by the process used immediately and without trouble, there is considerable difficulty in finding out their meaning. Considering (37) and (38), I knew that in the case n = — \ the equivalence was satisfactory all round, though not very understandable. When n is 0, or integral, it is also satisfactory, for then we have merely a perversion of terms in passing from %i to v. But when I tried the case n == — £, and subjected it to numerical calculation, with the expectation of finding numerical equivalence to the extent permitted by the initial convergence of the divergent series, I found a glaring discrepancy between u and v. Furthermore, on taking n = — 1, we produce u = e~ x , (44) v =iZTT 1 + « + ^+^ + '--- h ( 45 ) which show no sort of numerical equivalence whatever. Similarly, n = —2 gives u 3 4 l~-2x-\-j~x 2 — -a*H , (46) v a>- 2 ( 2 2 2 2 3 2 2 2 3 2 4 2 x ' — 2\ x \2x [Sx 6 i v J which also do not show any numerical equivalence. I was therefore led to think that the equivalence in the case of the Fourier-Bessel function was due to some peculiarity of that function, and it is a fact that the function is the meeting-place of many remarkabilities. The matter was therefore put on one side for the time. But, more recently, independent evidence in other directions showed me that there was no particular reason to expect such a complete failure. And, in fact, on returning to the discrepant calculations relating to n ■= —J, I found an important numerical error. When corrected, the results for u and v agreed as fairly as could be expected. 1893.] On Operators in Physical Mathematics, 115 Probable Satisfaction of Numerical Equivalence by Initial Convergence within a certain Mange for n, viz., n = — ^ to -f-1. 35. Thus, n = — \ in (37), (38) produces m , 1 . 5 fx\ 2 1.5.9 /aj\ 3 , 4 2 2\4/ 3 3 \4 / (48) v -i \ 16^ + |2(l6a?) 3 + |3(16aj) 3 + • • • • j« Here take a? = 4. Then (49) M = i-i(i-i(l-i(i-i»(i-ii(l (50) v = - 4* 4 , 1 / , 2 ^ 1 + -1+ 64 \ 2 . 64 1 ~f- 81 169 / 3 . 64 \ 4 . 64 \ (51) This was the test case which failed, the error arising from the numerical equality of two consecutive terms, and then, a little later, of another two consecutive terms, which caused a skipping. I now make 1*0216 u — 0*5880, v ■ Their equivalence requires that % 4 1 4 0-5880 X 1*4142 T0216 = 0-814, which is about right. When x = 2, we have u x 2^i6V i 18V 1 32I 1 50I 1 T2 I 1 V _ 2*i-il l + ^(l + ||(l + |i(l + • • • • r » giving which requires u = 0*706, 1 _ 1'043 # ^ I 4 = 0*805. And when x = 1 we have tt = 1-^ + ^(1 9 V- 1 - 6 4- \ x 100 V x • • * • ? « = .— t(i+tV(i+1I(i + IKi + -.-- 1 '•> t iM 116 Mr. 0. Heaviside. [June 15 5 . . 1*0625 giving u = 0'8123, v = 1 » 4 requiring 4 0*76. Of course with such a small value of x, we cannot expect more than a very rough agreement, because the convergence of the v series is confined to the first and second terms, and we may expect an error of magnitude of the ratio of the second to the first term. 36. JSTow take n = ^. We have , x o fx\ 2 , 1.3.7 /a?\s 1.3.7.11 /a?\* , /t , n . w= 1H 1 - +-r-i— ~ i — i - + » (^ 2 ) 4 4 V 4 / I 3 |3 W |4 |4 \4/ ? v y _«*/ _1 9 3 2 . 7 2 ") and in case of x = 1 we have w== l4.i(l -^.(1-^(1-11 (l-^^-.... , (54) <7 = ji{ 1 " , "^(l + A(l+tt(l + --- } 5 ( 55 ) which make ^ = 1*2109, v = 14 and therefore -y- = 1*024. 4 Kow this shows a large error, for the value is about I'll. This excess in v is, however, made a deficit by not counting the smallest term in the v series (the third term). Omitting it, we make 1*0625 ., 1 v = — ^ — - and -j .= 1*14. Again, with x = 2, we have U = 1+2 — T 8 eT C 1 "A (1 — i"2 C 1 IT&C 1 " - T2 C 1 ""' * • • > « = |{i+tV(i + 6 8 4(i+ll(i+iH(i + ---- }. 1*0399 making u = 1*365, v = — ry — X 2*. i mi . , 1 1*365 This makes -r = = 1*11, 4 1*04 X 1*18 which is very good. 1893.] On Operators in Physical Mathematics. 117 37. Now passing to the case of a bigger n, viz., -|, we may remark that this differs from the known good ease n = — \ by an integral differentiation, so we may expect good results again. We have «? / X I XI oX I i X I /M .. «* = i+-(i — l l l- h—-*-- , (56) 2 \ 8 \ 6 \ 32 V 50 V 1 ' v J 2x h i\ , 1 / 1 / 9 / 25 / , , K _ v =-r i + — i + — (i + (1 + (1 + (57) Taking x = 1 first, giving * = 1 + 1(1 _|(i_A(i_.^(i-,.., , (58) *=^{l + i(l+4(l + i(l+«(l + .... , (59) 2*5625 we find w — 1*4464, = — — — = 1*4462. ' 1*772 ' by not counting the last convergent, that is, the smallest term in the v series. Its inclusion makes v appreciably too big, viz. 1*46. Next take x = 2. Then u = 1 + 1-i (l-|(l- T V(l-A(l-irV(l-ll(l--..- , (60) «=^{i + i(i+ T V(i+ T 9 l (i+|f(i+t§(i + .... ; (61) . . w 3'2124 giving u = 1-81275, v = — ^— = 1'812, 1 Tl a again not counting the smallest term. Lastly, with x = 3, we have ^ = i+f-A(i-*(i-H(i-«(i-?*(i-H(i---- J ( 62 ) «=^{i+A(i+A(i+i(i+«(i+tt(i+*H(i+---; ( 63 ) giving w = 2*1260, ?* = 2*1256, again neglecting the smallest term in v, though it is of little moment in this example. The tendency for v to be too big when the smallest term is fully counted should be noted. 38. A further increase of n to £ gives good results, and likewise T 9 ^. Thus, for t 9 q we have u = l + ^ajCl-^ajCl-^Cl-^ajCl-^ajCl-. . . . , (64) v = ,— <i + ( 1 + (i+ U+- (1 + ....; (65) j>_ L 100a> \ 200x\ 300a?\ 400 aT v 118 Mr. 0. Heayiside. [June 15, giving in the case of x = 1, 1'815 1 1*880 w = 1*880, vsr-p— ; ,\ — - == =1*035. 19 - 9 - 1"815 i o 1 Thus we have practically gone over the ground from n = — J to = 1 with good results, so far as the limited examples are concerned, and there can be, so far, scarcely a doubt of the existence of numerical equi- valence, in the same sense as before with respect to the ascending and descending series for the Fourier-Bessel f unction. It remains to examine cases between n = — -J- and — 1. This is important on account of the complete failure in the latter case of the numerical equivalence when estimated in the above manner. From the already shown indeter- minateness of the binomial expansion when n = — 1, we have the suggestion of a partial explanation, because we should arrive at the form au + bv, where a + b = 1. But there remains the fact in- dicated that the extreme forms of the binomial expansion are equivalent, so that we should expect u and v to be equivalent. Since, however, the numerical equivalence of the different forms of (l -f x) n becomes very unsatisfactory when n is or is near — 1, so we should not be surprised to find that the unsatisfactoriness becomes empha- sized in the case of u and v. Such is, in fact, the case. Failure of Numerical Equivalence of Derived Series reckoned by Initial Convergence, at first slight, and later complete, when n approaches a Negative Integer. 39. Take n = -f in (37), (38). Then (66) V— ~ TiS l + TTT- 1 + - (1+-— 1 + .... >• (67) When x = 1, we find that u = 0'497, v 0*25 or 0*39 I j, k according as we do not, or do, count the smallest term in v. That is, 1 __ 0-497 [J~ — 0*25 or 0'39 * Now the first gives far too great a result, whilst the other, though not so bad, is still too great. That is, the v series gives too small a result, when the smallest term is fully included. A part of the next term is needed, to come to u. 1893.] On Operators in Physical Mathematics. 119 When x = 2 we deduce that 1 4X2 XO'28 1*88 u = 0*28, -r = = ; \\ 1'28 or 1*49 1*28 or 149 the first case "being without, and the second with, the smallest term, in v. Both results are too great, though the error is less than the last term counted. But this rule breaks down when we pass to x = 3, when we conclude that 1 0'175X4X3* u = 0-175, TT = • = 1-3437 or 1*2454; ' \i 1-1875 or 1-2813 ' the former case being without, and the latter with, the smallest term in v. But the result is too big, and the error rule just mentioned fails. For if we add on the smallest term a second time, we obtain 1*1604, which is still too big. 40. Since the case n = — J is bad, we may expect n = — T 9 o to be worse. We have 9a? . 9.19 /a? V 9 . 19 . 29 / x\ 3 , //<ox u = 1 -h r—T- — __ + (68) 10 2 2 \10/ 3 3 \10/ v J v = X^o 1 f 81 , 81.361 , 1 /nf . x — r 14- +1—7 ^+ r- ( 69 ) — T 9 o 1 100a3 2 (lOOo?) 2 J v Here take aj = 1, then we conclude that 1 4*2 u = 0'42, T V 1*0 or 1*81 But it cannot lie between these limits, being only a little over unity. So add on to v the next term, the third in the v series. This will give 1 4*2 TO 3 ' 2 which is still too great, and, of course, the error rule is wrong, as we suspected just now. Whilst there does not appear to be any departure from numerical equivalence of u and v in the sense used between n = — -| and n = +1, it appears that when n is below — ■§,, there is a tendency for the v series (convergent part) to give too small a result. This ten- dency, which is at first small, becomes pronounced whenw is down to — T 9 o, at least for small values of x. It is likely that for large values, the rule in question might still hold good. But sinking below — T 9 ^ towards —1 makes the tendency become a marked characteristic, ani in the end the rule wholly fails except for an infinite value of x* 120 Mr. 0. Heaviside. [June 15, Success of Alternative Method of Representation by Harmonic Analysis. 41. We may then adopt another method. Thus, (44) and (45) arise from u = l~v™" 1 + V" 2 -V^ 3 + »... » (70) v = v—v 2 + v 3 —v 4 +.. .. . (71) With unit operand, the w series is immediately integrable without any obscurity, giving e-*. The v series leads to an unintelligible re- sult. But let the unit operand be replaced by its simple harmonic equivalent. Then 1 _ i /"CO v = (l-v + v ! -"")V = ; 2 1 — V w J = (l- V ) ; 7T cos mx dm o cos mx dm 1 -f- m d = (1 — V)ie-V5a = e -* 9 [(72) when a? is positive, which is the required result. We are only con- cerned with positive x 9 but it is worth noting that when x is negative, this method makes v zero. This is also in accordance with the analytical method, or (70) directly integrated, for we suppose the operand to start when x = 0, and to . be zero for negative x, which makes u also zero then. 42. As regards the derived formulae (39) to (42), although I have not examined them thoroughly to ascertain limits within which the suspected numerical equivalence may obtain, I find there is a rough agreement between (41) and (42) when n = -J- and m = 3, even with x = 1, and the convergency confined to the first three terms of v 9 the results being u = l + -.( l- (l— — ( l — (1 — .-... , (73) 2 V 16 \ 54 \ 128 s (|i~) 2 L 8«V 1Qx \ 24iX V which, when a? = 1, give u =: 1*47, v = 1'41. Again, with the much larger value a? = 9, we have u = 3'88, v = 3*87, which is a very close agreement. This is promising as regards further numerical agreement when m 1893.] On Operators in Physical Mathematics. 121 is made larger, but the promise is not fulfilled when m is as big as 10, Take n = •§■ and m = 10 in the series (41), (42), so th&t (75) • • • • 1 + (76) Here x = 1 makes u a little less than 1^, while the first term of v is 2*965, which is very little changed by the next two. But observe a fresh peculiarity in the v series. The change from eonvergeney to divergency at the fourth term is so immensely rapid that this fact alone might render the series quite unsuitable for approximate numerical calculation. A portion of the term following the least term might be required (though not in the last example), but when this term is a large multiple of the least term, no definite information is obtainable. What is the Meaning of Equivalence ? Sketch of Gradual Development of Ideas concerning Equivalence and Divergent Series (up to § 49). 43. In the preceding, I have purposely avoided giving any de- finition of " equivalence. " Believing in example rather than precept, I have preferred to let the formulas, and the method of obtaining them, speak for themselves. Besides that, I could not give a satis- factory definition which I could feel sure would not require subse- quent revision. Mathematics is an experimental science, and definitions do not come first, but later on. They make themselves, when the nature of the subject has developed itself. It would be absurd to lay down the law beforehand. Perhaps, therefore, the best thing I can do is to describe briefly several successive stages of knowledge relating to equivalent and divergent series, being approxi- mately representative of personal experience. (a). Complete ignorance. (b). A convergent series has a limit, and therefore a definite value. A divergent series, on the contrary, is of infinite value, of course. So all solutions of physical problems must be in finite terms or in convergent series. Otherwise nonsense is made. The Use of Alternating Divergent Series. Boole's Rejection of Continuous Divergent Series. 44. (c). Eye-opening. But in some physical problems divergent series are actually used for calculation. A notable example is Stokes's divergent formula for the oscillating function J»(oj). He showed that the error was less than the last term included. Now 122 Mr. 0. Heaviside. [June 15, series of this kind have the terms alternately positive and negative. This seems to give a clue to the numerical meaning. The terms get bigger and bigger, but the alternation of sign prevents the assump- tion of an infinite value, either positive or negative. It is possible to imagine a. finite quantity split up into parts alternately positive and negative, and of successively increasing magnitude (after a certain point, for example) . It is a bad arrangement of parts, certainly, but understandable roughly by the initial convergence. So the use of alternating divergent series may be justified by numerical convenience in an approximate calculation of the value of the function. But, by the same reasoning, a direct divergent series, with all terms of one sign, is of infinite value, and therefore out of court. It cannot have a finite value, and cannot be the solution of a physical problem involving finite values. This seems to be what Boole meant in his remark on p. 475 of his ' Differential Equations ' (3rd edition) : — " It is known that in the employment of divergent series an important distinction exists between the cases in which the terms of the series are ultimately all positive, and alternately positive and negative. In the latter case we are, according to a known law, permitted to employ that portion of the series which is convergent for the calculation of the entire value." He proceeded to exemplify this by Petzval's in- tegrals. The argument is equivalent to this. Change the sign of x in the Series C, equation (3) above. Let the result be C Then we must use the Series C when x is positive, and C when x is negative. This amounts to excluding the direct divergent series altogether, and using only the alternating. That is, we have one solution, not two. Professor Boole did not say what the " known law " was. His above authoritative rejection of direct divergent series led me away from the truth for many years. The plausibility of the argument is evident, as evident as that the value of a direct divergent series is infinity. Divergent Series as Differentiating Operators. 45. (d). Later on, divergent series presented themselves in an entirely different manner. In the solution of physical problems by means of differentiating or analytical operators, the operators them- selves may be either convergent, or alternatingly divergent, or directly divergent. That is, they are so when regarded algebraically, with a differentiator regarded as a quantity. When the operations indicated by the operator are carried out upon a function of the variable, the solution of the problem arises, and in a convergent form. Here, then, we have the secret of the direct divergent series at last. It is nume- rically meaningless, when considered algebraically, with a quantity and its powers involved. But analytically considered, the question of divergency does not arise. The proper use of divergent series is as 1893.] On Operators in Physical Mathematics. 123 analytical operators to obtain convergent algebraical solutions. The series and C' above referred to are then truly the two independent solutions of a certain differential equation, and neither should be rejected, for they are natural companions. Disappearance of the Distinction between Direct and Alternating Divergent Series, 46. (e). But, still pursuing the subject along the same lines, this view is soon found to be imperfect. For a given operator leading to a convergent solution one way may lead to a divergent solution by another. Or it may lead to the same algebraical function by diverse ways. These and other considerations show that divergent series, even when continuously divergent, must be considered numerically as well as algebraically and analytically. But in the analytical use of a direct or continuously divergent series every term, must be used, if the result is a. convergent series. Yet it is plain that we cannot count the whole divergent series numerically, because it has no limit. And on examination we find that the initial convergent part of the con- tinuously divergent series gives the value of the function in the same sense as an alternatingly divergent series. In the latter case we come nearest to the value by stopping at the smallest term, where the oscillation is least. If we now make all terms positive, so that the series is continuously divergent, and treat it in the same way, and stop when the addition made by a fresh term is the smallest, we come near the true value. We now seem to have something like a distinct theory of divergent series. The supposed distinction between the alternating and the continuous divergent series has disappeared. Analytical equivalence of two series, one convergent, the other divergent, may require all terms in the divergent one to be counted. Numerical equivalence exists also, but is governed by the initial convergency. Broader and Deeper Views obtained by the Generalized Calculus. Analytical, Numerical, and Algebraical Equivalences. Equivalence not necessarily Identity. 47. (/). The last view is a distinct advance, and it is certainly true in the case of many equivalences, including some which are of importance in mathematical physics. But, again, further examina- tion shows that the last word has not been said. For on seeking to explain the meaning and origin of equivalent series, we are led to a theory of generalized differentiation, involving the inverse factorial as a completely continuous function both ways, and to methods of multiplying equivalent forms to any extent, and in a generalized manner, all previous examples being merely special extreme cases of 124 Mr. 0. Heaviside. [June 15, the general results. We also come to confirm the idea we have recognized that equivalence may be understood in three distinct senses. viz., analytical, algebraical, and numerical. The first use made by me of equivalent series, one of which is continuously divergent, was analytical only. The second use was numerical. The third is alge- braical, through the generalized algebraical theorems. We also see that equivalence does not necessarily or usually mean identity, Thus the series A, B, C are analytically, algebraically, and numeri- cally equivalent with x positive. But they are not algebraically identical. The identity is given by C = i(A + B). This point is rather important in some transformations, and explains some pre- viously inexplicable peculiarities. Thus, the series A is real whether xhe real or a pure imaginary. In the latter case, we get the oscil- lating function J (a?), the original Fourier cylinder function. But the equivalent series C becomes complex by the same transformation. The above-mentioned identity explains it. The second solution of the oscillating kind is brought in, as will appear a little later (§ 70). Partial Failure of Interpretation of 'Numerical Value of Divergent Series by Initial Convergence. Further Explanation yet required. 48. (g). But whilst we thus greatly extend our views concerning divergent series, the question of numerical equivalence, which just now in (/) seemed to be about settled, becomes again obscured. The property that the value of a divergent series, including the con- tinuously divergent, may be estimated by the initially convergent part, is a very valuable one. But the property is not generally true, and, in fact, sometimes fails in a very marked manner. We must, therefore, reserve for the present the question of numerical equiva- lence in general, and let the explanation evolve itself in course of time. If definitely understandable numerical equivalence of series were imperative under all circumstances, then I am afraid that the study of the subject would be of doubtful value. But the matter has not this limited range, a very important application of divergent series being their analytical use, which is free from the numerical difficulty. For example, the extreme forms of the binomial theorem may, when considered numerically equivalent, be utterly useless. Yet they may be employed to lead to other series, either convergent, or it may be divergent, but with a satisfactory initial convergence con- trasting with the original. Note that the series may sometimes take the form of definite integrals, apparently of infinite or of indefinite value. In any case we should not be misled by apparent unintel- ligibility to ignore the subject. That is not the way to get on. We have seen the error fallen into by Boole and others on the subject of divergent series. It is not so long ago, either, since mathematicians 1893.] On Operators in Physical Mathematics. 125 of the highest repute could not see the validity of investigations based upon the use of the algebraic imaginary. The results reached were, according to them, to be regarded as suggestive merely, and required proof by methods not involving the imaginary. But familiarity has bred contempt, and at the present day the imaginary is a generally used powerful engine, which I should think most mathematicians consider can be trusted (if well treated) to give valid proofs, though it certainly does need cautious treatment sometimes, and perhaps auxiliary aid.* Application of Generalized Binomial Theorem to obtain a Generalized Formula for log x. 49. Let us now pass on to view the logarithm in its generalized aspect. One way of generalizing log x is to regard it as the limit of (d\dn)x n when n = 0. Now, using the generalized binomial theorem x r \n (i + »)• = 2 rr^r r ' (77) where r has any value and the step is unity, we obtain by this process x r d I \n log (1 + x) = 2 ,7 Tn n — rl {n = o) *■ /(py_(\-j)"\ \r — r \\0 I— r / (78) where the accent means differentiation to n, after which the special values are given to the argument. Or, since 1 1 sin rw (K)' f(n) p- j — = , and ~n — ~ = "~ T7~\ » (79) \r j—r rir ' \n f \ n ) iif(n) is the inverse factorial, therefore log(1+ « ) = s .«!ir(£ti)_Z2i). ( 80) But also /(0) = 1, /'(0) = C = 0-5772, % a--—— = 1, rir by § 17 and equation (94), Part I. So we reduce to log (l + s)- = -0 + 2 <f (r)/'(-r), (81) * Perhaps we may fairly regard the theory of generalized analysis as being no-w- in the same stage of development as the theory of the imaginary was before the development of the modern theory of functions. ISFot that I know much about the latter ; the big book lately turned out by Forsyth reveals to me quite unexpected developments. 126 Mr. 0. Heaviside. [June 15, 50. To obtain the common formula for the logarithm, take r = 0. Then, since /'(-1)=1, /'(-2) = -l, /'(-3) = ]2, /'(-4) = -J8, &0., we reduce (81) to log(l + a) = -C + f(0) + xf(-l) + ~f'(~2) + p'(-3)+.... — — • /y> J, /y>" _1_ JL /y>3 1 ™4 _l / Q O \ tA.' o «*-'' 1^ 3 <As A *v |^ • • • e o ( Oj£ J When r = |- in (81), we have g( + ) ~ + «rl /(-i) 3 /(-f) +5 /(-l) ••- + /(i) 3 /(t) +6 /(t) ■•••/• (83) Now here all the differential coefficients of the inverse factorials maj be put in terms of /'(-— £) by means of the formula /W+n/'(n) =/'(»- 1), (84) which follows from but since the resulting formula does not seem to be useful, and is complicated, it need not be given here. Deduction of Formula for (H-a?) -1 * 51. If we differentiate (81) with respect to as, we obtain J^=;X^f(r-l)f(~r) = 2,arf(r)f(-r-l), (86) where the second form of the series is got bj increasing r by unity in the first. Here note that we have a definite expansion, whereas in § 32 we found the binomial expansion to be indeterminate. When r = in (86) we have, of course, the special form l — x + x 2 — . • . « . It is also right when r = |. Deduction of Formula for e~*. 52. ISTow regard (86) as true analytically, and we can obtain a formula for e-*. For, first put V"" 1 for a?, giving 1893.] On Operators in Physical Mathematics. 127 l + V _1 Sr/(r)/'(-r-l). (87) Integrating, we obtain (88) This is quite correct when r = 0, when we obtain the ordinary formula l — x + Another form of (88) is -x v „ ., sin 2 (r-\-l)w 7T (89) Now when r = J, the square of the sine equals unity throughout, giving -x 77" (_ — — — + (!|) '« nl + (if)' «^+ (If)' ^ + .-..}. (90) Since we also have a? 3 03* =« 03 - * r + "i+ 1" — r+ • ? (91) the product of (90) and (91) should be unity. That is, -9T -{ (1-1)' . (I-*)' . (I-H)' . (I-H)' ; 2 + 2 ,_|_ -l* 21 2" r~ + , (Jj)' , (W + ~TT""r 1 2 9 1 "}-• • •} (|-*y. i-ii)' . (1-4)' v. M-o ! 2 + (li) . w lol ~ i Z 2 rf 2 •} I ~T2'i — — rrl — n ! 1 2 J, 2 .(li)' dii)' + T5T + "lir + ' (92) Going by the ordinary principles of the algebra of convergent series, we should conclude that the coefficient of x° was — 7r 3 , and that the coefficients of the other powers of x were zero. But this rule is not generally true in series of the present kind, as we have already exemplified. Therefore, to see how it goes in the immediate case, I have calculated the value of the coefficient of x°. By (84) we have 128 Mr. 0. Heaviside. [June 15, I+m = />=i), (93) and from this we may derive, when r is a positive integer, f ( r +z) _ o | 2 , 2 ■ 2 . | 1 f (~~2J (QA\ and also /(-r-lj) _ X 1 1 1 /'(-I) /(--=xi)--^i+^T+^|+-"+ii+ 2 -/(3iy ( 95 > Therefore, when r is positively integral, we have (96) /(»•+*) f(-r-ii) which makes the coefficient} of x° in (92) become ~-2F4-(t-2)(2-F)4-(t~f)(f + 2-F) + (f-f)(f + |+2~F) + . 9 . ej where, for brevity, F stands for '/'(— i)//(— i). It is readily seen that the complete coefficient of F vanishes, and the remainder reduces to 2 Therefore the coefficient of x° in (92) contributes one-half of the total, and the other half must be given by (or rather, be equivalent to) the sum of the terms involving x. Although I have not thoroughly investigated this, there did not appear to be any inconsistency. Remarks on Equivalences in Factorial Formulas* Verifications. 53. If it is given that F(aj) = 2^00), (98) it does not, as already remarked in effect, follow that 0(r) is a definitely unique function of r. But it is sometimes true, and then the equation = 2 8 r (r) (99) may require the vanishing of every coefficient. For example, using (88) above, if we differentiate it to x we obtain -6-*= 2 v r - l f(r-l)f(r)f(-r-l) =2</(r)]»£(=r=!l. r + 1 - < 100 > 1893.] On Operators in Physical Mathematics. 129 Therefore, by adding this equation to (88), we obtain =: 2 »l/W] 2 {/'(-r-l)+^J=^ }. (101) Now it is a fact that this is true, term by term, when r = 0, 1, 2, 3, &c. But (101) is not true in the same manner generally. Only when/(^) = 0, that is, when n is a negative integer, do we have »/(%)== /'(w-l), (102) by (93), which is general. Put n = — r — 1 to suit (101). Bat by (93). Therefore (101) is the same as o = 2 *'U(r)T f -^ r -=--^ = 2 £ !!^+ 1 h , (104 which does not vanish term by terra, except for the special values of r indicated. Integrating (104), we obtain T^* Sill 7*7T constant =2 • (105) 54. The case r = we have already had, when the constant is 1, so it should be 1 generally. The case r = -| is represented by 1 = - - ; ! L / ! s f * ' 7T 2 2 \|2 "2 / \ a 2/ J and the following is a verification : — The right member is 2 7T ( v -4_ i v -f + i v -!_. . . . +v *_i v f + i V !_. . . . ) = - (tan -1 v ~ h + tan _1 v*) '= - tan 2 ^~iV"^V l , A 7T X 7T 1 ^y - * 2 7T tan" 1 co = 1. • (107) Although the validity of this process of evaluation may be doubted, there is no inconsistency exhibited. 55. The other formula of a similar kind, viz., 1 = 2 1-^— = 2 x*^-- , (108) r V7T VOL. L1V. K 130 Mr. 0. Hea visit! e. [June 15, when similarly treated, gives 1 = 2 v~ r /(™^) = 2 V r f(r) = 6 V (109) Tliat is, € v l = l, which is a case of Taylor's theorem, if we do not go too, close to the boundary where the operand begins. That is, regarding the operand as F(a?), it is turned to F (# + !)• Application of Generalized Exponential to obtain other Generalized Formulae involving the Logarithm. 56. Now return to the fundamental exponential formula 2 <*/(*•), (110) e x and derive from it some other logarithmic formulae. Differentiate to r, then = e*logo? + 2 <xff(r). (Ill) A second differentiation to r gives = - 6 *(l g^) 2 + 2 sff"(r). (112) A third differentiation gives = e*(logaj) 8 + 2 &f'"(r), (H3) and so on. Or, all together, i 2 xrf(r) __ 2 xrf(r) _ 2 tff"\r) _ i0gX " X x'f(r) - 2 aff'(r) " 2 ^/"(O ~ * * * ' * low combine them to see if they fit. Thus, we have the elementary formula f , (loo: a?) 2 1 06* = e*| i + l ga? + 1 --~^-— + j>, (115) and this, by the use of (114), becomes 'S« , (/-/ + ^'-^- , + ...-)«, (116) which, by Taylor's theorem, is the same as 2 af/fr — l) = ^3 2 aJ*/(r) = a?e*, (117) as required. 57. Again, differentiate (111) to x. We obtain = e x log x + e^aT 1 + 2 rx r ~ l f(r) = -2 oj'/'Cr) +e*ar- 1 + 2 « r (r + l)/'(r + l), (118) by using (111) again, and (110). So 1893.] On Operators in Physical Mathematics. 131 g* = 2 a^+VW — 2 a> r+, (r + l)/'(r + l) = 2aJ r {/'(r-l)-r/(r)}. (119) Here the factor of x r is identical with /(r), by (84), which corrobor- ates. 58. Returning to (111), if we try to make a series for log a? in powers of x we obtain —logo? = 2 an 1— # + . — . • . • )/'0 r ) = 2 x- |/(r)-/'(r-l) H-i /'(r-2)-^/(r-8) + ....} .(120 This is done by making x r be the representative power throughout, by reducing the value of r by unity in the second term in the first series, by two in the third term, and so on. Or = 2-a^/(0-/(r-0 } .(121) = 2 »*-= ■ j = 2 % j t- . (122) dr \r dr \r This is striking, but not usable. Also, if we try to get a series for x~ l we fail. The property (84) comes in, and brings us to x~ l = x~ 1 in the end. This failure is not obvious a priori in factorial mathematics. Deduction of a Special Logarithmic Formula. 59. Now let the formula (111) be specialized by taking r = 0. We then have - log X = e-*[/'(0) + 35/(1) + <f (2) + . . . . + ar 1 /(-i) + ar 2 /'(-2) + . . . . ]• (123) Here, for the negative values of n we have /'(-!) = !, /'(-2) = -l, /(-8)=j2, /'(-*)= -J8, (124) and so on, whilst for the positive we have /'(o) = C, /'(i) = C-i, /(2) = i(0-i-i), /(») = |i{°- (*+*+* + •••• +^)}» (125) K 2 132 Mi\ 0. Heayisicle. [June 15, by (84). Using these in (123) we obtain /0 1 2 3 (loga + C) = €-*(=-=+=--; + ... \ e*^ <AJ tl/ tAj _ 6 -,| a;+| 5!(l + |„) + |!( 1+ i + i) + .... J . (126) The first series is the ordinary expression for e~ x x~~ l with the terms inverted, whilst the latter contains a reminiscence of the companion to the Eourier cylinder function, 60. To see whether there is a notable convergency for calculation, take x = 2. Then g~ 3 = 0*1353, 1 2 I . LL „ — fill 61 -L (" — • <« • o "—- - JL o I o 8 " i • • • • ° X x 2 This is evidently about J by the look of it, especially when diagram- matically represented. Also x 2 aj+j-(l+^)+.... =9*7479. So (126) gives log2 == 0*1353X9*7479-0*5772 — 0*375 X 0*1353 = 0*6909. By common logarithmic tables we find* log 2 = 0*6923. The differ- ence is 0*0014. "Doing it another way, we may prove by multiplication that € {aH- "1(1+1) + ! (l+*+i) + .... J a?£ rpv /yf* 2 12 3 4 4 '•"•• ? V 1 ^'/ which is an interesting transformation. This, with 05 — 2, gives 1*3203, and produces a much closer agreement. It is probably for- tuitous. Independent Establishment of the Last. 6L We can establish (126) independently thns : — We have 1 e~ A " 1 — e~~ x i = !_ + f_l_ (128) /■w rn n? tAJ tAJ tAJ c • <Aj vV tAj / f r\r\-\ + i— r +r~ i — !"••*• • ( 129 ) X 2 3 4 1893.] On Operators in Phi/sical Mathematics. 133 Integrate to x. Then l\ |1 [2 \ a *3 X Z \oj a; 2 x d J 2 J2 ** |3 > v / when C is some constant introduced by the integration. To find it, note that the series with the exponential factor vanishes when x is infinite ; so (130) gives C = a?-— ij— + -§• | — ....—log a?, with a? = co. (131) It is not immediately obvions that the function preceding the logarithm in (131) increases infinitely with x. But by (127) we may regard it as the ratio «H-£(i+i)+£(i + * + i) + ---- l " itJ , (132) 1 + * + ?+*+.... 12 la and we see that the terms in the numerator become infinitely greater than those to correspond in the denominator. A Formula for JUulers Constant. 62. Next examine whether (131) gives a rapid approximation to the value of C. When «=lwe get i-i + xV- ire +« . . . — = 0-77, say. When x = 2 we get 1*3203 -0-6903 = 0*6300. When o? = 3we get 1*6888 — 1*1098 = 0*5790. So with x — 3 the error is about ¥ ^- only. The usual formula la C •= l + i-b ¥ -f-, . . , -J logr, with r = eo, is very slow. Ten terms make 0*62. Twenty make about 0*602, which is still far wrong. We see that (131) will give O pretty quickly with a moderate value of x. 63. In passing, we may note that the function * + j£ (! + !)+£ (! + * + *)+.... ( 133 ) is represented by V~ 1 + V- a (l + t) + V- 8 (l+i + ^)+...., (134) 134 Mr. 0. Heaviside. [June 15, and also by e x I X- = ^(v" 1 -iv 2 +4v^-.-..) (135) = e* log (1 + V" 1 ) = log i -— j- / e which may be useful later. log v-i v— 1 (136) Deduction of Second Kind of Bess el Function, ~K (x) f from the Generalized Formula of the First Kind. 64. A similar treatment of the generalized formula for the Fourier- Bessel function leads to the companion function. Thus, take IoOO=Sy'[/(r)F, (137) as in (76) Part I, the value of y being \x 2 . Differentiate to r. Then = I (o3) log y + 2t y r f(r)f(r). (138) Here take the special case r = 0, Then we have = I (aj) log y + a{0+y(C-l)+^ r (0-l-i) +^(0-1-*-*)+.... } + 2 y —2 1 + y —3 _ X 1 ' ' • « * » f s (139) The third line is apparently zero. But it must, as we shall see, be retained, though in a changed form. Or y — i y —2 — 1 2 1-f y —3 2 = y + (| ) -i( 1 +i) + ^ a (i+i+i)+-... — I (a)(Iogy* + C). (140) Another way. Automatic Standardization. 65. ISTow the right member is certainly not zero, for it represents the companion of I (a?), as may be proved in various ways, classical and unclassical. One way is from the formula for I n (x), thus, I w (*)=p-(l + \n x |1 (l + w)* r |2(l + wX2.fw)" t """/ (141) 1893.] On Operators in Physical Mathematics. 135 When n is not an integer, \ n {%) and I- n (%) are different, and repre- sent two independent solutions of the characteristic differential equa- tion. But when n is any integer, positive or negative, they become identical, so only one solution is got. Then another is (when n = 0) represented by the rate of variation of I u (%) with n when n = 0. Thus, dl n (x) -r / \ f i i . f'( n ) 1 -^- = " I -w{* logy +/5o/ .2,1 1 + ^f L + W 2 ^i + ,,,, V (142) T |w \!i(l+^) 2 ]2^1+w.)(2i-w)^ J which, when n = 0, is by inspection the function on the right side of (140). Notice that this method of obtaining the second solution, like the just preceding method, gives it immediately in the form properly standardized so as to vanish at infinity. The constant G comes in automatically, and requires no separate evaluation. The Operator producing K (#). 66. But our immediate object of attention should be the function on the left side of (140). How it can be equivalent to the right member is a mystery. It is certainly an extreme form, if correct. We may write it in the form A-A 2 [l + A 3 |2-A 4 l8 + . . . . , (143) where A is d/dy. ISTow the other function I (x) is A" 1 A~ 2 A" 3 1 + r - + |^- + | 3 " + .-.. 5 (144) without any mystery, and we see at once that these forms are ana- logous to e -*= A-A 2 -fA 3 -A 4 -f-.... , (145) e* = i + A-i-f-A- 3 + A- 3 -f , (146) the latter, corresponding to (144), being obvious, whilst the former, analogous to (143), is an extreme form already considered and ex- plained ; see equations (71), (72). The unintelligibility of (143) is no evidence of its inaccuracy. More puzzling things than it have been cleared up. 67. We may also employ the special formula (126), of which we had separate verifications. Multiply it by e x and then write A"" 3 for x. Thus, 13tf Mr. 0. Heaviside. [June 15, 0= (C+ logA- 1 ) G ^" 1 + (A— A 2 |l_+A 3 |2~A 4 |M-....) A- 1 +^(l+i)+....\ (147) where we see that the operator (143) appears. Integrating, we have A-A 2 1 + ..*. = y + *^ a (i + £) + ...._.(c+ ]ogA~ 3 )Io(^), (148) comparing which with (140), we see that x (log A" 1 ) I (aO = I (aO log t ; (149) 2 for which a verification would be desirable. Companion Formulce, H (qx) and K (qx) 7 derived from Companion Operators, expressed in Descending Series. Also in Ascending Series, 68. Passing, however, at present to more manageable operators involving the two solutions and different forms thereof, it will be convenient to introduce a notation and standardization which shall exhibit the symmetry of relations most clearly. Thus, let H (gaO= 7— ^ ; (150) (v — q y K (qx)=: T ^— r (151) Here g is a constant and v is d/dx. Superficially considered, these functions only differ in one being i times the other. But the common theory of the imaginary does not hold good here, or in operators generally. In a descending series we have Hofea) - <** -~ i H^-+r^- 2 +^ L 8 + .... h (152) \7rqxJ I 8qx \2{8qx) 2 \3(8qx) 3 J as already shown. It is twice the function C, equation (3). Simi- larly, we may integrate (151). Introduce the factor e~2 x f thus, (f-V 2 )^ (2gV-V 2 ) d V-g 1893.] On Operators in Physical Mathematics. 137 Expand in ascending powers of v> & n d then integrate; then Thus the function K Q (q£e) only differs from , JB. (qx) in the changed sign of qx, except under the radical. These are the most primitive solutions of the characteristic equation, and are useful as operators relating to inward and outward going cylindrical waves, as well as for numerical purposes. The function K (qx) is also expressed by -Io(2«)(logf+C)}. (156) By Io(2«) here and later should he understood merely the ascending series l {qx) - 1 + _+_ + _+ (1 7) Transformation from ~K Q (qx) to the Companion Oscillating Functions J (sx) and Gr y (sa?), &o£/& m Ascending and Descending Series. 69. The connection between these functions H and K and the oscillatory functions is very important, but was in one respect exceedingly obscure to me until lately. Thus (157) and (156) are usually reckoned to be companion solutions (unless as regards the numerical factor). But if we take q = si in (157), the function remains real, and becomes the oscillatory function, the original cylinder function of Fourier. Thus \{qx) = Jo(sx) = i-~ + ^_^-+ (158) On the other hand, the same transformation in (156) makes it com- plex, on account of the logarithm. Thus, using log qx = log six = log sx + log i = log sx + ^itt, (159) by the well-known formula for e i7r/2 , we convert (156) to K (qx) = Go(sx)—iJ (8x), (160) 138 Mr. 0. Heaviside. [June 15, where J (sx) is the same as in (158), and G (sx) is its oscillatory com- panion given by* G.(*0 = - 1 _ — + als (l + f>- ^ (i + i + i) + • • • • -J (^)(log|+c)}. (161) What is obscure here is the getting of only one oscillating function from I (^a?),and of two from K (ga?), In corresponding forms of the first and second solutions we should expect both oscillating solutions to arise in both cases. However this be, the transformation (160) is in agreement with the other form (155). For, if we make the change q = si in it, we obtain the same formula (160), provided J and G are given by , l 7TSX Go(«b) = ( 7TSX, R (cos + sin) sx + Si (sin — cos) sx R (cos — sin) sx + S& (cos + sin) sx (162) (163) where R and Si are the real functions of sx given by 1 2 3 3 , 1 2 3 2 5 2 7 2 , 1 2 3 2 , 1 2 3 2 5 2 R = 1 + 7-7 rr > + "— ri+.... = 1 — iTTT" ^ + 2(8^) 2 4(8^c) 4 ]2(8^) 2 |3(8*<e)' « « a « (104) 1 l - 3 2 5 ___ 1 / 1 1 3"5 \ /ir ,K v Sqx \3(8qxY %\8sx \3f8sxY J v ' Now here (162) is Stokes's formula for J (saj), known to be eq di- valent to (158). And (163) shows that this kind of formula for the oscillating functions allows us to obtain the second solution from the first by the change of sin to cos and cos to —sin. The function Q (sx) of (163) may be shown to be equivalent to the G (sx) of (161) by other means, and certainly verifications are desirable, because transformations involving the square root of the imaginary are some- times treacherous. Transformation from ~H (qx) to the same J Q (sx) and Gr (sx). Explana- tion of Apparent Discrepancies. 70. Now as regards the changed form of the H (qx) function of (152), there is a real and once apparently insurmountable difficulty. * I have changed the sign of K and Gr from that need in my 'Electrical Papers' (in particular, vol. 2, p. 445), in order to make them positive at the origin, 1893.] On Operators in Physical Mathematics. 139 We know that il. (qx) and 2I (qx) are equivalent, both analytically and numerically. Why, then, does the first become complex, whilst the second remains real when we take q = si? They cannot be both true in changed form. Thus (152) becomes (doing it in detail) \7rqxJ \7rsxJ a/ 2 iV (cos -\-i sin) sx . < (R—8i)—i(R-{-Bi) > TTSX] x r R (cos + sin) so? + Si (sin — cos) sx 7TSX, 1 7TSXj R (cos — sin) sx -j- Si (cos -j- sin) sa? . (166) That is, using the functions (162), (163) again, we have the trans- formation Ho^a?) = 3 (sx)—iG (sx), (16?) whereas 2T (qx) becomes 2J (sx). This was formerly a perfect mystery, indicative of an imperfection in the theory of the Bessel functions. But the reader who has gone through Part 1 and §§ 27, 28 of Part II will have little trouble in understanding the meaning of (167). The functions H and 2I , though equivalent (with positive argument), are not algebraically identical. To have identity we require to use a second equivalent form, so that, as in § 28, H ( 2 ,) = l. (a ,) + i{i + £+ig+.... + 2 «+2*+.... }. (168) In this form we may take q = si, and still have agreement in the changed iorm. We obtain the relation (167), provided that A — 2 / 1 1 l l232 l 23 ^ 2 , S 3 X Z S 5 X 5 (169) As I mentioned before in § 22, this formula for Q (sx) may be de- duced from formulaa in Lord Rayleigh's ' Sound,' derived by a method due to Lipschitz, which investigation, however, I find it rather difficult to follow. We have, therefore, three principal forms of the first solution with q real and positive, viz., I (qx), \J$ Q (qx), and the intermediate form (168). We have also three forms of the oscillatory function G (sx), viz., (161), (163), and (169). But we have only employed two forms 140 Mr. 0. Heaviside. [June 15, of K (gaj), and two ot J (s#), in obtaining and harmonizing the pre- vious three forms. It wo aid therefore appear probable that there is an additional principal formula for K. (qx), and another for J (sx) 9 not yet investigated. Conjugate Property of Companion Functions. 7L The conjugate property of the oscillating functions is J (so?) — G (sx) — Go(sx) — Jo(sx) — ■ • ? (170) QjX (X X 7TX using the pair (162), (163), or the pair (158), (161). And, similarly, H (g#) — KoCqx^r- K (qx) —-YLJqx) = — — . (171) ax ax 7rx But, in the transition from (171) to (170) by the relation q = si\ it is indifferent whether we take H (qx) = 2l (qx) = 2j (sx), or else = J Q (sx)-—iG (sx). This conjugate property is of some importance in the treatment of cylindrical problems by the operators. Operators with two Differentiators leading to H and K and showing their Mutual Connections compactly in reference to Cylindrical Waves, 12i. The fundamental mutual relations of H and K are exhibited concisely in the following, employing operators containing two differentiators, say v an d q, viz., Vq and t-Avi. (172) Here it should be understood that either v or q may be passive, when it may be regarded as a constant. But when both are active^ there are two independent operands, one for y and the other for q. In a cylinder problem relating to elastic waves, we may regard v as being dj'dr, where r is distance from the axis, and q as d/d(vt), where t is the time, and v the speed of propagation. We have 1893.' On Operators in Physical Mathematics. 141 v# [_.r j. . . . , z__ o\h — QXo\Q. V )l \_ a ] -\ = ^'^) 4 2 = *!ZH ( fi rr),....[&] 6 ^ V (^I.;Tv==ivK (^v),... •ffy > J (173) 7T (f— V H*y j • • L^J i i = - Io(t^'V) - , . . . [e] 7T where the letters in square brackets are for the purpose of concise reference. Similarly, we have this other set, [Q]---- (^Z^i]i = Vlo(^v), ...[A] = e w ^v 2 ^2 V + 2/ = e"^' « V , 3 2-Vy y = l v n (i;/v), . . [B] 2 2 K o(g?0, [C] > 7r(i;H' z — r 2 ) *,..[D] (174) = -I (gr)-, .. .[E] The first set is usually, though not essentially, concerned with an inward-going, and the second set with an outward-going wave. The exchange of r and vt and of v and q, transforms one set to the other, so that the proof of one set proves the other. In obtaining [a] from [P] we regard q as a constant, or at any rate, as passive for the time, expand [P] in descending powers of y* and integrate directly with the result [a], as in § 13, equations (28), (29). To obtain [5], introduce the factor eS r to [P], and expand the transformed operator in descending powers of q, as in § 14, equations (30), (31). To obtain [c], we make q passive, and introduce the factor e~ vi ? . Then expand the transformed operator in descending powers of v? and integrate as in § 68, eqautions (153), (155) (only there the operator is q, making the case [0].). 142 On Operator* in Physical Mathematics. [June 15, Details concerning the above Relations. 73. As regards \d~\, it may be obtained from [&], [&], or [c]. These have not yet been done, so a little detail is now given. Thus, from [6] to [d~\ : — tf r f 1 1 2 3 2 1 1 cr J 1 vt 1 - 3 /^y \___J: (2vtr) 1 e1 r 7T (vt)*(2r—vt) k 7r(r 2 —v 2 b 2 y (175) In the first line we expand the function H ; to get the second line we integrate with unit operand ; and, finally, let ei r operate to get (175). 74. Next, from [c] to [d] : — e -vtv r i 1232 -j € ,-^v r , / r \ 1.3/rV sr (2rw£) i V U J —vty V *\?vt) + 2*\2\2vt) ••'•/ 7r r* (2 v£ + *")*■ 7r(r 2 — v 2 / 2 ) (176) which needs no explanation, as the course is similar to the previous leading to (175). 75. As regards deriving \_d] from [a], this may be done by har- monic decomposition, thus, U' 00 . , 1 '°° qlo(qr) = lo(g^) ~ cos 5y ^ d^s = - I J (s?*) cos sw£ ds , (177) 7T J 7T ^ the value of which is known to be (175). Conversely, we may evaluate the definite integral by turning it to the analytical form gT (gr), which may be done by inspection, and then integrating through the equivalent operator H (qr)^q. But this definite in- tegral is only one of several that may be immediately derived from the operators in (173), (174) by harmonic decomposition, and it will be more convenient to consider them separately in later sec- tions along with applications and extensions of the preceding. 1893.J On the Failure of a Law in Photography. 143 Cylindrical JElastic^ Wave compared with corresponding Diffusive Wave through the Operators. 76. The formulae [e] and [B] are of a somewhat different kind, since the operand is the reciprocal of the independent variable. The j are proved at once by carrying out the differentiations. Thus, for [E], ^^5 = ( 1+ ? + ^ + --)5 {i+^Y+JlfiY + ....)i (178) (vH 2 -r 2 )* * So, by [C] and [B] we have \ K (r) q = IoO) - = j^—^i ' < 179 ) There is an interesting analogue to this transformation from K to I occurring* in the theory of pure diffusion. Change the meaning of q from djd(vb) to {d/d(vt)Y, that is, to its square root. Then we shall have The quantity v is no longer a velocity, however. In the theory of heat diffusion it is the ratio of the conductivity to the capacity. This example belongs to cylindrical diffusion, and is only put here to compare with the preceding example, which belongs to the corre- sponding problem with elastic waves without local dissipation. IX. "On a Failure of the Law in Photography that when the Products of the Intensity of the Light acting and of the Time of Exposure are Equal, Equal Amounts of Chemical Action will be produced." By Captain W. de W. Abney, C.B., F.R.S. Received June 13, 1893. It has been generally assumed that when the products of the intensity of light acting on a sensitive surface and the time of exposure are equal similar amounts of chemical action are produced, and with the ordinary exposures and intensities of light employed such, no doubt, is practically the case, and any methods of measurement hitherto practicable have been insufficiently delicate to discover any departure from this law, if such departure existed. In some recent experiments