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 laws of combination; and these systems suffice or linear 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 following 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 conditions 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 conditions, 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, y
1
, y
2
, y
3
. . . .
y
n
) be any non-linear function, in which
y
1
, y
2
, y
3
. . . .
y
n
denote respectively the first, second, third, . . . .
n
th differential of
y
with respect to (
x
).
On non-homogeneous canonical third-order linear differential equations
