1864.] Mr. W. H. L. Eussell on the Calculus of Symbols. 423 



On the Calculus of Symbols. — Fourth Memoir. With Ap- 

 plications to the Theory of Non-Linear Differential Equa- 

 tions.^^ By W. H. L. Russell^ Esq._, A.B. Eeceived July 31, 

 1863^. 



In the preceding memoirs on the Calculus of Symbols, systems have 

 been constructed for the multiplication and division of non-commutative 

 symbols subject to certain lavi^s of combination ; and these systems suffice 

 for hnear differential equations. But when we enter upon the consideration 

 of non-linear equations, we see at once that these methods do not apply. 

 It becomes necessary to invent some fresh mode of calculation, and a new 

 notation, in order to bring non-linear functions into a condition which 

 admits of treatment by symbolical algebra. This is the object of the fol- 

 lowing memoir. Professor Boole has given, in his ' Treatise on Differential 

 Equations,' a method due to M. Sarrus, by which we ascertain whether a 

 given non-linear function is a complete differential. This method, as will 

 be seen by anyone who will refer to Professor Boole's treatise, is equivalent 

 to finding the conditi5ns that a non-linear function may be externally 

 divisible by the symbol of differentiation. In the following paper I have 

 given a notation by which I obtain the actual expressions for these con- 

 ditions, and for the symbolical remainders arising in the course of the 

 division, and have extended my investigations to ascertaining the results 

 of the symbolical division of non-linear functions by linear functions of the 

 symbol of differentiation. 



Let F (x, y, yi, 3/2' ^3 • • • • y») ^^'^7 non-linear function, in which 

 yi> 2/2) 2/3) • • . • denote respectively the first, second, third, .... nth. 

 differential of y with respect to (x) . 



Let denote fdy^, i. e. the integral of a function involving x, y, 3/3 • • • • 

 with reference to y,. alone. 



Let V, in like manner denote — when the differentiation is supposed 



dyr 



effected with reference to y,. alone, so that V,. U,. F = F. 



The next definition is the most important, as it is that on which all our 

 subsequent calculations will depend. We may suppose F differentiated 

 {m) times with reference to y„, y„_i, or y,i_2, &c., and y„, y„_i, or yn_2, 

 &c., as the case may be, afterward equated to zero. We shall denote 

 this entire process by Z^f/^ Zl:i\, Zj:% &c. 



The following definition is also of importance : we shall denote the ex- 

 pression 



d d . d , d . , d 



-T'^y^ T-^y-i -i-^y^ • • • -^v^^ — 



dx dy dy^ dy^ dy,_^ 

 by the symbol Y^. 



* Read Feb. 11, 1864 ; see Abstract, vol. xiii. p. 126, 



VOL. XIII. 2 I 



