1911 Encyclopædia Britannica/Algebraic Forms
ALGEBRAIC FORMS. The subject-matter of algebraic forms is to a large extent connected with the linear transformation of algebraical polynomials which involve two or more variables. The theories of determinants and of symmetric functions and of the algebra of differential operations have an important bearing upon this comparatively new branch of mathematics. They are the chief instruments of research, and have themselves much benefited by being so employed. When a homogeneous polynomial is transformed by general linear substitutions as hereafter explained, and is then expressed in the original form with new coefficients affecting the new variables, certain functions of the new coefficients and variables are numerical multiples of the same functions of the original coefficients and variables. The investigation of the properties of these functions, as well for a single form as for a simultaneous set of forms, and as well for one as for many series of variables, is included in the theory of invariants. As far back as 1773 Joseph Louis Lagrange, and later Carl Friedrich Gauss, had met with simple cases of such functions, George Boole, in 1841 (Camb. Math. Journ. iii. pp. 1-20), made important steps, but it was not till 1845 that Arthur Cayley (Coll. Math. Papers, i. pp. 80-94, 95-112) showed by his calculus of hyper-determinants that an infinite series of such functions might be obtained systematically. The subject was carried on over a long series of years by himself, J. J. Sylvester, G. Salmon, L. O. Hesse, S. H. Aronhold, C. Hermite, Francesco Brioschi, R. F. A. Clebsch, P. Gordon, &c. The year 1868 saw a considerable enlargement of the field of operations. This arose from the study by Felix Klein and Sophus Lie of a new theory of groups of substitutions; it was shown that there exists an invariant theory connected with every group of linear substitutions. The invariant theory then existing was classified by them as appertaining to "finite continuous groups." Other "Galois" groups were defined whose substitution coefficients have fixed numerical values, and are particularly associated with the theory of equations. Arithmetical groups, connected with the theory of quadratic forms and other branches of the theory of numbers, which are termed "discontinuous," and infinite groups connected with differential forms and equations, came into existence, and also particular linear and higher transformations connected with analysis and geometry. The effect of this was to co-ordinate many branches of mathematics and greatly to increase the number of workers. The subject of transformation in general has been treated by Sophus Lie in the classical work Theorie der Transformationsgruppen. The present article is merely concerned with algebraical linear transformation. Two methods of treatment have been carried on in parallel lines, the unsymbolic and the symbolic; both of these originated with Cayley, but he with Sylvester and the English school have in the main confined themselves to the former, whilst Aronhold, Clebsch, Gordan, and the continental schools have principally restricted themselves to the latter. The two methods have been conducted so as to be in constant touch, though the nature of the results obtained by the one differs much from those which flow naturally from the other. Each has been singularly successful in discovering new lines of advance and in encouraging the other to renewed efforts. P. Gordan first proved that for any system of forms there exists a finite number of covariants, in terms of which all others are expressible as rational and integral functions. This enabled David Hilbert to produce a very simple unsymbolic proof of the same theorem. So the theory of the forms appertaining to a binary form of unrestricted order was first worked out by Cayley and P. A. MacMahon by unsymbolic methods, and later G. E. Stroh, from a knowledge of the results, was able to verify and extend the results by the symbolic method. The partition method of treating symmetrical algebra is one which has been singularly successful in indicating new paths of advance in the theory of invariants; the important theorem of expressibility is, directly we exclude unity from the partitions, a theorem concerning the expressibility of covariants, and involves the theory of the reducible forms and of the syzygies. The theory brought forward has not yet found a place in any systematic treatise in any language, so that it has been judged proper to give a fairly complete account of it.^{[1]}
I. The Theory of Determinants.^{[1]}
Let there be given quantities
and form from them a product of quantities
where the first suffixes are the natural numbers taken in order, and is some permutation of these numbers. This permutation by a transposition of two numbers, say becomes and by successively transposing pairs of letters the permutation can be reduced to the form . Let such transpositions be necessary; then the expression
,
the summation being for all permutations of the numbers, is called the determinant of the quantities. The quantities are called the elements of the determinant; the term is called a member of the determinant, and there are evidently members corresponding to the permutations of the numbers . The determinant is usually written
the square array being termed the matrix of the determinant. A matrix has in many parts of mathematics a signification apart from its evaluation as a determinant. A theory of matrices has been constructed by Cayley in connexion particularly with the theory of linear transformation. The matrix consists of rows and columns. Each row as well as each column supplies one and only one element to each member of the determinant. Consideration of the definition of the determinant shows that the value is unaltered when the suffixes in each element are transposed.
Theorem.—If the determinant is transformed so as to read by columns as it formerly did by rows its value is unchanged. The leading member of the determinant is , and corresponds to the principal diagonal of the matrix.
We write frequently
If the first two columns of the determinant be transposed the expression for the determinant becomes , viz. and are transposed, and it is clear that the number of transpositions necessary to convert the permutation of the second suffixes to the natural order is changed by unity. Hence the transposition of columns merely changes the sign of the determinant. Similarly it is shown that the transposition of any two columns or of any two rows merely changes the sign of the determinant.
Theorem.—Interchange of any two rows or of any two columns merely changes the sign of the determinant.
Corollary.—If any two rows or any two columns of a determinant be identical the value of the determinant is zero.
Minors of a Determinant.—From the value of we may separate those members which contain a particular element as a factor, and write the portion ; , the cofactor of , is called a minor of order of the determinant.
Now , wherein is not to be changed, but the second suffixes in the product assume all permutations, the number of transpositions necessary determining the sign to be affixed to the member.
Hence , where the cofactor of is clearly the determinant obtained by erasing the first row and the first column.
Hence
Similarly , the cofactor of , is shown to be the product of and the determinant obtained by erasing from the i ^{th} row and k ^{th} column. No member of a determinant can involve more than one element from the first row. Hence we have the development
,
proceeding according to the elements of the first row and the corresponding minors.
Similarly we have a development proceeding according to the elements contained in any row or in any column, viz.
This theory enables the evaluation of a determinant by successive reduction of the orders of the determinants involved.
Ex. gr. | |||
Since the determinant
, having two identical rows,
vanishes identically; we have by development according to the elements of the first row
;
and, in general, since
,
if we suppose the i^{th} and k^{th} rows identical
;
and proceeding by columns instead of rows,
identical relations always satisfied by these minors.
If in the first relation of we write we find that so that breaks up into a sum of determinants, and we also obtain a theorem for the addition of determinants which have rows in common. If we multiply the elements of the second row by an arbitrary magnitude , and add to the corresponding elements of the first row, becomes , showing that the value of the determinant is unchanged. In general we can prove in the same way the—
Theorem.—The value of a determinant is unchanged if we add to the elements of any row or column the corresponding elements of the other rows or other columns respectively each multiplied by an arbitrary magnitude, such magnitude remaining constant in respect of the elements in a particular row or a particular column.
Observation.—Every factor common to all the elements of a row or of a column is obviously a factor of the determinant, and may be taken outside the determinant brackets.
Ex. gr. | |
The minor is , and is itself a determinant of order . We may therefore differentiate again in regard to any element where , ; we will thus obtain a minor of , which is a minor also of of order . It will be and will be obtained by erasing from the determinant the row and column containing the element ; this was originally the r^{ th} row and the s^{th} column of ; the r^{ th} row of is the r^{ th} or (r–1)^{th} row of according as and the s^{th} column of is the s^{th} or (s−1)^{th} column of according as . Hence, if denote the number of transpositions necessary to bring the succession into ascending order of magnitude, the sign to be attached to the determinant arrived at by erasing the i ^{th} and r ^{th} rows and the k ^{th} and s ^{th} columns from in order produce will be raised to the power of .
Similarly proceeding to the minors of order , we find that is obtained from by erasing the i^{ th}, r^{ th}, t^{ th}, rows, the k^{ th}, s^{ th}, u^{ th} columns, and multiplying the resulting determinant by raised to the power and the general law is clear.
Corresponding Minors.—In obtaining the minor in the form of a determinant we erased certain rows and columns, and we would have erased in an exactly similar manner had we been forming the determinant associated with , since the deleting lines intersect in two pairs of points. In the latter case the sign is determined by raised to the same power as before, with the exception that , replaces ; but if one of these numbers be even the other must be uneven; hence
.
Moreover
,
where the determinant factor is given by the four points in which the deleting lines intersect. This determinant and that associated with are termed corresponding determinants. Similarly lines of deletion intersecting in points yield corresponding determinants of orders and respectively. Recalling the formula
,
it will be seen that and involve corresponding determinants. Since is a determinant we similarly obtain
,
and thence
≷ ;
and as before
,
an important expansion of .
Similarly
,
and the general theorem is manifest, and yields a development in a sum of products of corresponding determinants. If the j^{th} column be identical with the i^{th} the determinant vanishes identically; hence if be not equal to , or ,
.
Similarly, by putting one or more of the deleted rows or columns equal to rows or columns which are not deleted, we obtain, with Laplace, a number of identities between products of determinants of complementary orders.
Multiplication.—From the theorem given above for the expansion of a determinant as a sum of products of pairs of corresponding determinants it will be plain that the product of and may be written as a determinant of order , viz.
Multiply the 1^{st}, 2^{nd} ... n^{th} rows by respectively, and add to the (n+1)^{th} row; by , and add to the (n+2)^{th} row; by and add to the (n+3)^{rd} row, &c. C then becomes
and all the elements of D become zero. Now by the expansion theorem the determinant becomes
We thus obtain for the product a determinant of order . We may say that, in the resulting determinant, the element in the i ^{th} row and k^{th} column is obtained by multiplying the elements in the k^{th} row of the first determinant severally by the elements in the i ^{th} row of the second, and has the expression
and we obtain other expressions by transforming either or both determinants so as to read by columns as they formerly did by rows.
Remark.—In particular the square of a determinant is a determinant of the same order such that ; it is for this reason termed symmetrical.
The Adjoint or Reciprocal Determinant arises from by substituting for each element the corresponding minor so as to form . If we form the product by the theorem for the multiplication of determinants we find that the element in the i ^{th} row and k^{th} column of the product is
,
the value of which is zero when is different from , whilst it has the value when . Hence the product determinant has the principal diagonal elements each equal to and the remaining elements zero. Its value is therefore and we have the identity
or .
It can now be proved that the first minor of the adjoint determinant, say is equal to .
From the equations
we derive |
and thence |
and comparison of the first and third systems yields
.
In general it can be proved that any minor of order of the adjoint is equal to the complementary of the corresponding minor of the original multiplied by the (p – 1)^{th} power of the original determinant.
Theorem.—The adjoint determinant is the (n – 1)^{th} power of the original determinant. The adjoint determinant will be seen subsequently to present itself in the theory of linear equations and in the theory of linear transformation.
Determinants of Special Forms.—It was observed above that the square of a determinant when expressed as a determinant of the same order is such that its elements have the property expressed by . Such determinants are called symmetrical. It is easy to see that the adjoint determinant is also symmetrical, viz. such that , for the determinant got by suppressing the i ^{th} row and k^{th} column differs only by an interchange of rows and columns from that got by suppressing the k^{th} row and i ^{th} column. If any symmetrical determinant vanish and be bordered as shown below
it is a perfect square when considered as a function of . For since , with similar relations, we have a number of relations similar to , and either or for all different values of and . Now the determinant has the value
in general, and hence by substitution
A skew symmetric determinant has and for all values of and . Such a determinant when of uneven degree vanishes, for if we multiply each row by we multiply the determinant by , and the effect of this is otherwise merely to transpose the determinant so that it reads by rows as it formerly did by columns, an operation which we know leaves the determinant unaltered. Hence or . When a skew symmetric determinant is of even degree it is a perfect square. This theorem is due to Cayley, and reference may be made to Salmon’s Higher Algebra, 4th ed. Art. 39. In the case of the determinant of order 4 the square root is
.
A skew determinant is one which is skew symmetric in all respects, except that the elements of the leading diagonal are not all zero. Such a determinant is of importance in the theory of orthogonal substitution. In the theory of surfaces we transform from one set of three rectangular axes to another by the substitutions
where . This relation implies six equations between the coefficients, so that only three of them are independent. Further we find
and the problem is to express the nine coefficients in terms of three independent quantities.
In general in space of dimensions we have substitutions similar to
,
and we have to express the coefficients in terms of independent quantities; which must be possible, because
where and for all values of and . There are then quantities . Let the determinant of the b’s be and , the minor corresponding to . We can eliminate the quantities and obtain relations
and from these another equivalent set
and now writing
we have a transformation which is orthogonal, because and the elements , are functions of the independent quantities . We may therefore form an orthogonal transformation in association with every skew determinant which has its leading diagonal elements unity, for the quantities are clearly arbitrary.
For the second order we may take
,
and the adjoint determinant is the same; hence
Similarly, for the order 3, we take
and the adjoint is
,
leading to the orthogonal substitution
. |
If we have new variables z such that z_{s}=φ_{s}(y_{1}, y_{2},...y_{n}), we have also z_{s} = ψ_{s}(x_{1}, x_{2},...x_{n}), and we may consider the three determinants
(y_{1}, y_{2},...y_{n}
x_{1}, x_{2},...x_{n}), (z_{1}, z_{2},...z_{n}
y_{1}, y_{2},...y_{n}), (z_{1}, z_{2},...z_{n}
x_{1}, x_{2},...x_{n})
Forming the product of the first two by the product theorem, we obtain for the element in the i_{th} row and k_{th} column
∂z_{i}∂y_{1} ∂y_{1}∂x_{k}+∂z_{i}∂y_{2} ∂y_{2}∂x_{k}+...+∂z_{i}∂y_{n} ∂y_{n}∂x_{k}
which is ∂z_{i}∂x_{k}, the partial differential coefficient of z_{i}, with regard to x_{k} . Hence the product theorem
(z_{1}, z_{2},...z_{n}
y_{1}, y_{2},...y_{n}), (y_{1}, y_{2},...y_{n}
x_{1}, x_{2},...x_{n}) = (z_{1}, z_{2},...z_{n}
x_{1}, x_{2},...x_{n});
and as a particular case
(y_{1}, y_{2},...y_{n}
x_{1}, x_{2},...x_{n}) (x_{1}, x_{2},...x_{n}
y_{1}, y_{2},...y_{n}) = 1.
Theorem.—If the functions y_{1}, y_{2},...y_{n} be not independent of one another the functional determinant vanishes, and conversely if the determinant vanishes, y_{1}, y_{2},...y_{n} are not independent functions of x_{1}, x_{2},...x_{n}.
Linear Equations.—It is of importance to study the application of the theory of determinants to the solution of a system of linear equations. Suppose given the n equations
ƒ_{1} = a_{11}x_{1}+ a_{12}x_{2}+ ... a_{1n}x_{n}=0,
ƒ_{2} = a_{21}x_{1}+ a_{22}x_{2}+ ... a_{2n}x_{n}=0,
.......
ƒ_{n} = a_{n1}x_{1}+ a_{n2}x_{2}+ ... a_{nn}x_{n}=0.
Denote by Δ the determinant (a_{11}a_{22}...a_{nn}).
Multiplying the equations by the minors A_{1μ}, A_{2μ},...A_{nμ} respectively, and adding, we obtain
x_{μ}(a_{1μ}A_{1μ}+a_{2μ}A_{2μ}+...+a_{nμ}A_{nμ}) = x_{μ}Δ = 0,
since from results already given the remaining coefficients of x_{1}, x_{2},...x_{μ–1}, x_{μ+1},...x_{n} vanish identically.
Hence if Δ does not vanish x_{1} = x_{1} = ... =x_{n} = 0 is the only solution; but if Δ vanishes the equations can be satisfied by a system of values other than zeros. For in this case the n equations are not independent since identically
A_{1μ}ƒ_{1} + A_{2μ}ƒ_{2}+...+A_{nμ}ƒ_{n} = 0,
and assuming that the minors do not all vanish the satisfaction of n–1 of the equations implies the satisfaction of the n^{th}.
Consider then the system of n–1 equations
a_{21}x_{1}+ a_{22}x_{2} +...+ a_{2n}x_{n} = 0
a_{31}x_{1}+ a_{32}x_{2} +...+ a_{3n}x_{n} = 0
......
a_{n1}x_{1}+ a_{n2}x_{2} +...+ a_{nn}x_{n} = 0,
which becomes on writing x_{s}x_{n} = y_{s},
a_{21}y_{1}+ a_{22}y_{2} +...+ a_{2,n−1}y_{n−1} +a_{2n} = 0
a_{31}y_{1}+ a_{32}y_{2} +...+ a_{3,n−1}y_{n−1} +a_{3n} = 0
.......
a_{n1}y_{1}+ a_{n2}y_{2} +...+ a_{n,n−1}y_{n−1} +a_{nn} = 0.
We can solve these, assuming them independent, for the n−1 ratios y_{1}, y_{2},...y_{n−1}.
Now
a_{21}A_{11} + a_{22}A_{12}+...+a_{2n}A_{1n} = 0
a_{31}A_{11} + a_{32}A_{12}+...+a_{3n}A_{1n} = 0
.......
a_{n1}A_{11} + a_{n2}A_{12}+...+a_{nn}A_{1n} = 0
and therefore, by comparison with the given equations, x_{i} = ρA_{1i}, where ρ is an arbitrary factor which remains constant as i varies.
Hence y_{i} = A_{1i}A_{1n} where A _{li} and A_{1n}, are minors of the complete determinant
(a_{11}a_{22}...a_{nn}).
a_{21} a_{22} ...a_{2,i–1} a_{2,i+1}... a_{2n} | |
a_{31} a_{32} ...a_{3,i–1} a_{3,i+1} ...a_{3n} | |
........... | |
∴ y_{i} = (−)^{i+n} |
a_{n1} a_{n2} ...a_{n,i–1} a_{n,i+1} ...a_{2nn} |
, |
| a_{21} a_{22} ...a_{2,n–1} |
a_{31} a_{22} ...a_{2,n–1} | |
...... | |
a_{n1} a_{n2} ...a_{n,n–1} |
or, in words, y_{i} is the quotient of the determinant obtained by erasing the i ^{th} column by that obtained by erasing the n^{th} column, multiplied by (–1)^{i+n}. For further information concerning the compatibility and independence of a system of linear equations, see Gordon, Vorlesungen über Invariantentheorie, Bd. 1, § 8.
Resultants.—When we are given k homogeneous equations in k variables or k non-homogeneous equations in k − 1 variables, the equations being independent, it is always possible to derive from them a single equation R = 0, where in R the variables do not appear. R is a function of the coefficients which is called the "resultant" or "eliminant" of the k equations, and the process by which it is obtained is termed "elimination." We cannot combine the equations so as to eliminate the variables unless on the supposition that the equations are simultaneous, i.e. each of them satisfied by a common system of values; hence the equation R = 0 is derived on this supposition, and the vanishing of R expresses the condition that the equations can be satisfied by a common system of values assigned to the variables.
Consider two binary equations of orders m and n respectively expressed in non-homogeneous form, viz.
ƒ(x) = ƒ = a_{0}x^{m} – a_{1}x^{m–1} + a_{2}x^{m–2} – ... = 0,
ƒ(φ) = φ = b_{0}x^{n} – b_{1}x^{n–1} + b_{2}x^{n–2} – ... = 0,
If α_{1}, α_{2}, ...α_{m} be the roots of ƒ=0, β_{1}, β_{2}, ...β_{n} the roots of φ=0, the condition that some root of 0 =o may qq cause f to vanish is clearly
R_{ƒ,φ} = ƒ (β_{1})ƒ(β_{2})...ƒ(β_{2}) = 0;
so that R_{ƒ,φ} is the resultant of ƒ and φ, and expressed as a function of the roots, it is of degree m in each root β, and of degree n in each root α, and also a symmetric function alike of the roots α and of the roots β; hence, expressed in terms of the coefficients, it is homogeneous and of degree n in the coefficients of ƒ, and homogeneous and of degree m in the coefficients of φ
Ex. gr.
ƒ = a_{0}x² − a_{1}x+a_{2} =0, φ=b_{0}x² − b_{1}x+b_{2}.
We have to multiply a_{0}β_{21} − a_{1}β_{1}+a_{2} by a_{0}β_{22} − a_{1}β_{2}+a_{2} and we obtain
a_{20}β_{21}β_{22} − a_{0}a_{1}(β_{21}β_{2} + β_{1}β_{22}) + a_{0}a_{2}(β_{21}β_{21} + β_{1}β_{22}) + a_{210}β_{1}β_{2} − a_{1}a_{2}(β_{1} + β_{2}) + a_{22},
where
β_{1} + β_{2} = b_{1}b_{0},β_{1} β_{2} = b_{2}b_{0}, β_{1} β_{2} = b_{21} – 2b_{0}b_{2}b_{20},
and clearing of fractions
R_{ƒ,φ} = (a_{0}b_{2} – a_{2}b_{0})² + (a_{1}b_{0} – a_{0}b_{1})(a_{1}b_{2} – a_{2}b_{1}).
We may equally express the result as
φ(α(_{1})φ(α_{2})...φ(α_{m}) = 0,
II
^{s,t}(α_{s} – β_{t} = 0.
This expression of R shows that, as will afterwards appear, the resultant is a simultaneous invariant of the two forms.
The resultant being a product of mn root differences, is of degree mn in the roots, and hence is of weight mnin the coefficients of the forms; i.e. the sum of the suffixes in each term of the resultant is equal to mn.
Resultant Expressible as a Determinant.—From the theory of linear equations it can be gathered that the condition that p linear equations in p variables (homogeneous and independent) may be simultaneously satisfied is expressible as a determinant, viz. if
a_{11}x_{1} + a_{12}x_{2} +...+ a_{1p}x_{p} = 0,
a_{21}x_{1} + a_{22}x_{2} +...+ a_{2p}x_{p} = 0,
......
a_{p1}x_{1} + a_{p2}x_{2} +...+ a_{pp}x_{p} = 0,
be the system the condition is, in determinant form,
(a_{11}a_{22}...a_{pp}) = 0;
n fact the determinant is the resultant of the equations.
Now, suppose ƒ and φ to have a common factor x – γ,
ƒ(x) =ƒ_{1}(x)(x – γ); φ(x) = φ_{1}(x)(x – γ),
ƒ_{1} and φ_{1} being of degrees m – 1 and n – 1 respectively; we have the identity φ_{1}ƒ(x) = ƒ_{1}(x)φ(x) of degree m + n – 1.
Assuming then φ_{1} to have the coefficients B_{1}, B_{2},...B_{n}
and ƒ_{1}the coefficients A_{1}, A_{2},...A_{m},
we may equate coefficients of like powers of x in the identity, and obtain m + n homogeneous linear equations satisfied by the m + n quantities B_{1}, B_{2},...B_{n}, A_{1}, A_{2},...A_{m}. Forming the resultant of these equations we evidently obtain the resultant of ƒ and φ.
Thus to obtain the resultant of
ƒ=a_{0}x^{3} + a_{1}x^{2} + a_{2}x+ a_{3}, , φ = b_{0}x^{2} + b_{1}x+ b_{2}
we assume the identity
(B_{0}x + B_{1})(a_{0}x^{3} + a_{1}x^{2} + a_{2}x+ a_{3}) = (A_{0}x^{2} + A_{1}x+ A_{2})(b_{0}x^{2} + b_{1}x+ b_{2}),
and derive the linear equations
B_{0}a_{0} | −A_{0}b_{0} | =0, | |||
B_{0}a_{1} | +B_{1}a_{0} | −A_{0}b_{1} | −A_{1}b_{0} | =0, | |
B_{0}a_{2} | +B_{1}a_{1} | −A_{0}b_{2} | −A_{1}b_{1} | −A_{2}b_{0} | =0, |
B_{0}a_{3} | +B_{1}a_{2} | −A_{1}b_{2} | −A_{2}b_{1} | =0, | |
B_{1}a_{3} | −A_{2}b_{2} | =0, |
This is Euler’s method. Sylvester’s leads to the same expression, but in a simpler manner.
He forms n equations from ƒ by separate multiplication by x^{n–1}, x^{n–2},...x, 1, in succession, and similarly treats φ with m multipliers x^{m –1}, x^{m –2},...x, 1. From these m + n equations he eliminates the m + n powers x^{m+n –1}, x^{m+n–2}, x,.. 1, treating them as independent unknowns. Taking the same example as before the process leads to the system of equations
a_{0}x^{4}+ | a_{1}x^{3}+ | a_{2}x^{2}+ | a_{3}x | =0, | |
a_{0}x^{3}+ | a_{1}x^{2}+ | a_{2}x+ | a_{3} | =0, | |
b_{0}x^{4}+ | b_{1}x^{3}+ | b_{2}x^{2} | =0, | ||
b_{0}x^{3}+ | b_{1}x^{2}+ | b_{2}x | =0, | ||
b_{0}x^{2}+ | b_{1}x+ | b_{2} | =0, |
whence by elimination the resultant
a_{0} | a_{1} | a_{2} | a_{3} | 0 |
0 | a_{0} | a_{1} | a_{2} | a_{3} |
b_{0} | b_{1} | b_{2} | 0 | 0 |
0 | b_{0} | b_{1} | b_{2} | 0 |
0 | 0 | b_{9} | b_{1} | b_{2} |
which reads by columns as the former determinant reads by rows, and is therefore identical with the former. E. Bézout’s method gives the resultant in the form of a determinant of order m or n, according as m is ≷ n. As modified by Cayley it takes a very simple form. He forms the equation
ƒ(x)φ(x′) − ƒ(x′)φ(x) = 0,
which can be satisfied when ƒ and φ possess a common factor. He first divides by the factor x − x′, reducing it to the degree m − 1 in both x and x′ where m > n; he then forms m equations by equating to zero the coefficients of the various powers of x′; these equations involve the m powers x^{0}, x, x^{2},... x^{m−1} of x, and regarding these as the unknowns of a system of linear equations the resultant is reached in the form of a determinant of order m. Ex. gr. Put
(a_{0}x^{3}+a_{1}x^{2}+a_{2}x +a_{3}) (b_{0}x′^{2}+b_{1}x′+b_{2}) − (a_{0}x′^{3}+a_{1}x′^{2}+a_{2}x′ +a_{3}) (b_{0}x^{2}+b_{1}x+b_{2}) = 0;
after division by x − x′ the three equations are formed
a_{0}b_{0}x^{2}+a_{0}b_{1}x+a_{0}b_{2} | = 0, |
a_{0}b_{1}x^{2}+(a_{0}b_{2}+a_{1}b_{1}−a_{0}b_{2})x+a_{1}b_{2}−a_{3}b_{0} | = 0, |
a_{0}b_{2}x^{2}+(a_{1}b_{2}−a_{3}b_{0})x+a_{2}b_{2}−a_{3}b_{1} | = 0 |
and thence the resultant
a_{0}b_{0} | a_{0}b_{1} | a_{0}b_{2} |
a_{0}b_{1} | a_{0}b_{2}+a_{1}b_{1}−a_{0}b_{2} | a_{1}b_{2}−a_{3}b_{0} |
a_{0}b_{2} | a_{1}b_{2}−a_{3}b_{0} | a_{2}b_{2}−a_{3}b_{1} |
which is a symmetrical determinant.
Case of Three Variables.—In the next place we consider the resultants of three homogeneous polynomials in three variables. We can prove that if the three equations be satisfied by a system of values of the variable, the same system will also satisfy the Jacobian or functional determinant. For if u, v, w be the polynomials of orders m, n, p respectively, the Jacobian is (u_{1} v_{2} w_{3}), and by Euler’s theorem of homogeneous functions
xu_{1} + yu_{2} + zu_{3} = mu
xv_{1} + yv_{2} + zv_{3} = nv
xw_{1} + yw_{2} + zw_{3} = pw;
denoting now the reciprocal determinant by (U_{1} V_{2} W_{3}) we obtain Jx = muU_{1} + nvV_{1} + pwW_{1}; Jy=..., Jz=..., and it appears that the vanishing of u, v, and w implies the vanishing of J. Further, if m = n = p, we obtain by differentiation
J + x∂J∂x =m (u∂U_{1}∂x. + v∂V_{1}∂x + u∂W_{1}∂x + u_{1}U_{1} v_{1}V_{1} w_{1}W_{1}).
or
x∂J∂x =m – 1)J + m (u∂U_{1}∂x. + v∂V_{1}∂x + u∂W_{1}∂x).
Hence the system of values also causes ∂J∂x to vanish in this case; and by symmetry ∂J∂y and ∂J∂z also vanish.
The proof being of general application we may state that a system of values which causes the vanishing of k polynomials in k variables causes also the vanishing of the Jacobian, and in particular, when the forms are of the same degree, the vanishing also of the differential coefficients of the Jacobian in regard to each of the variables.
There is no difficulty in expressing the resultant by the method of symmetric functions. Taking two of the equations
ax^{m} + (by + cz) x^{m–1} +... =0,
a′x^{n} + (b′y + c′z) x^{n–1} +... =0,
we find that, eliminating x, the resultant is a homogeneous function of y and z of degree mn; equating this to zero and solving for the ratio of y to z we obtain mn solutions; if values of y and z, given by any solution, be substituted in each of the two equations, they will possess a common factor which gives a value of x which, combined with the chosen values of y and z, yields a system of values which satisfies both equations. Hence in all there are mn such systems. If, therefore, we have a third equation, and we substitute each system of values in it successively and form the product of the mn expressions thus formed, we obtain a function which vanishes if any one system of values, common to the first two equations, also satisfies the third. Hence this product is the required resultant of the three equations.
Now by the theory of symmetric functions, any symmetric functions of the mn values which satisfy the two equations, can be expressed in terms of the coefficient of those equations. Hence, finally, the resultant is expressed in terms of the coefficients of the three equations, and since it is at once seen to be of degree mn in the coefficient of the third equation, by symmetry it must be of degrees np and pm in the coefficients of the first and second equations respectively. Its weight will be mnp (see Salmon’s Higher Algebra, 4th ed. § 77). The general theory of the resultant of k homogeneous equations in k variables presents no further difficulties when viewed in this manner.
The expression in form of a determinant presents in general considerable difficulties. If three equations, each of the second degree, in three variables be given, we have merely to eliminate the six products x², y², z², yz, zx, xy from the six equations
u = v = w = ∂J∂x = ∂J∂y = ∂J∂z = 0; if we apply the same process to these equations each of degree three, we obtain similarly a determinant of order 21, but thereafter the process fails. Cayley, however, has shown that, whatever be the degrees of the three equations, it is possible to represent the resultant as the quotient of two determinants (Salmon, l.c. p. 89).
Discriminants.—The discriminant of a homogeneous polynomial in k variables is the resultant of the k polynomials formed by differentiations in regard to each of the variables.
It is the resultant of k polynomials each of degree m–1, and thus contains the coefficients of each form to the degree (m–1)^{k–1}; hence the total degrees in the coefficients of the k forms is, by addition, k(m–1)^{k–1}; it may further be shown that the weight of each term of the resultant is constant and equal to m(m–1)^{k–1} (Salmon, l.c. p. 100).
A binary form which has a square factor has its discriminant equal to zero. This can be seen at once because the factor in question being once repeated in both differentials, the resultant of the latter must vanish.
Similarly, if a form in k variables be expressible as a quadratic function of k – 1, linear functions X_{1}, X_{2}, ... X_{k – 1}, the coefficients being any polynomials, it is clear that the k differentials have, in common, the system of roots derived from X_{1} = X_{2} = ... = X_{k – 1} = 0, and have in consequence a vanishing resultant. This implies the vanishing of the discriminant of the original form.
Expression in Terms of Roots.—Since x∂ƒ∂x+∂ƒ∂y = mƒ, if we take any root x_{1}, y_{1}, of ∂ƒ∂x, and substitute in mf we must obtain, y_{1}(∂ƒ∂y)
x–x_{1}
y–y_{1}; hence the resultant of ∂ƒ∂x and ƒ is, disregarding numerical factors, y_{1}y_{2}...y_{n–1} × discriminant of ƒ = a_{0} × disct. of ƒ.
Now
ƒ = (xy_{1} – x_{1}y)(xy_{2} – x_{2}y) ... (xy_{m} – x_{m}y),
∂ƒ∂x =Σ_{1} y_{1}(xy_{m} – x_{m}y),
and substituting in the latter any root of ƒ and forming the product, we find the resultant of ƒ and ∂ƒ∂x, viz.
y_{1}y_{2}...y_{m}(x_{1}y_{2} – x_{2}y_{1})^{2}(x_{1}y_{3} – x_{3}y_{1})^{2}...(x_{r}y_{s} – x_{s}y_{r})^{2}...
and, dividing by y_{1}y_{2}...y_{m}, the discriminant of ƒ is seen to be equal to the product of the squares of all the differences of any two roots of the equation. The discriminant of the product of two forms is equal to the product of their discriminants multiplied by the square of their resultant. This follows at once from the fact that the discriminant is
II(α_{r} – α_{s})^{2}II(β_{r} – β_{s})^{2}{II(α_{r} – β_{s}}^{2}.
II. The Theory Of Symmetric Functions
Consider quantities .
Every rational integral function of these quantities, which does not alter its value however the suffixes be permuted, is a rational integral symmetric function of the quantities. If we write , are called the elementary symmetric functions.
⋅⋅⋅⋅⋅
The general monomial symmetric function is
,
the summation being for all permutations of the indices which result in different terms. The function is written
for brevity, and repetitions of numbers in the bracket are indicated by exponents, so that is written The weight of the function is the sum of the numbers in the bracket, and the degree the highest of those numbers.
Ex. gr. The elementary functions are denoted by
,
are all of the first degree, and are of weights respectively.
Remark.—In this notation ; ; ... , &c. The binomial coefficients appear, in fact, as symmetric functions, and this is frequently of importance.
The order of the numbers in the bracket is immaterial; we may therefore always place them, as is most convenient, in descending order of magnitude; the numbers then constitute an ordered partition of the weight , and the leading number denotes the degree.
The sum of the monomial functions of a given weight is called the homogeneous-product-sum or complete symmetric function of that weight; it is denoted by ; it is connected with the elementary functions by the formula
,
which remains true when the symbols and are interchanged, as is at once evident by writing for . This proves, also, that in any formula connecting with the symbols and may be interchanged.
Ex. gr, from we derive .
The function being as above denoted by a partition of the weight, viz. , it is necessary to bring under view other functions associated with the same series of numbers: such, for example, as
.
The expression just written is in fact a partition of a partition, and to avoid confusion of language will be termed a separation of a partition. A partition is separated into separates so as to produce a separation of the partition by writing down a set of partitions, each separate partition in its own brackets, so that when all the parts of these partitions are reassembled in a single bracket the partition which is separated is reproduced. It is convenient to write the distinct partitions or separates in descending order as regards weight. If the successive weights of the separates be enclosed in a bracket we obtain a partition of the weight which appertains to the separated partition. This partition is termed the specification of the separation. The degree of the separation is the sum of the degrees of the component separates. A separation is the symbolic representation of a product of monomial symmetric functions. A partition, , can be separated in the manner , and we may take the general form of a partition to be and that of a separation when denote the distinct separates involved.
Theorem.— The function symbolized by , viz. the sum of the n^{th} powers of the quantities, is expressible in terms of functions which are symbolized by separations of any partition of the number . The expression is—
,
being a separation of and the summation being in regard to all such separations. For the particular case
To establish this write—
,
the product on the right involving a factor for each of the quantities , and being arbitrary.
Multiplying out the right-hand side and comparing coefficients
,
,
,
,
⋅⋅⋅⋅⋅⋅⋅
,
the summation being for all partitions of .
Auxiliary Theorem.—The coefficient of in the product is where is a separation of of specification , and the sum is for all such separations.
To establish this observe the result.
and remark that is a separation of of specification . A similar remark may be made in respect of
,
and therefore of the product of those expressions. Hence the theorem.
Now
whence, expanding by the exponential and multinomial theorems, a comparison of the coefficients of gives
and, by the auxiliary theorem, any term on the right-hand side is such that the coefficient of in is
,
where since is the specification of , . Comparison of the coefficients of therefore yields the result
,
for the expression of in terms of products of symmetric functions symbolized by separations of .
Let denote the sums of the n^{th} powers of quantities whose elementary symmetric functions are ; ; respectively: then the result arrived at above from the logarithmic expansion may be written
,
exhibiting as an invariant of the transformation given by the expressions of in terms of .
The inverse question is the expression of any monomial symmetric function by means of the power functions .
Theorem of Reciprocity.—If
,
where is a numerical coefficient, then also
.
We have found above that the coefficient of in the product is
,
the sum being for all separations of
which have the specification
.
We can multiply out this expression so as to obtain a series of monomials of the form
.
It can be shown that the number enumerates distributions of a certain nature defined by the partitions
,
, (l λ_{1}
^{1} l λ_{2}
^{2}...) and it is seen intuitively that the number θ remains unaltered when the first two of these partitions are interchanged (see Combinatorial Analysis). Hence the theorem is established.
Putting x_{1}= 1 and x_{2} = x_{3} = x_{4} = ... = 0, we find a particular law of reciprocity given by Cayley and Betti,
(1^{m1})^{μ1}(1^{m2})^{μ2}(1^{m3})^{μ3}... = ... + θ(sσ_{1}
1sσ_{2}
2sσ_{3}
3...) + ...,
(1^{s1})^{σ1}(1^{s2})^{σ2}(1^{s3})^{σ3}... = ... + θ(mμ_{1}
1 mμ_{2}
2 mμ_{3}
3 ...) + ...;
and another by putting x_{1} = x_{2} = x_{3} = ... = 1, for then X_{m} becomes h_{m}, and we have
hμ_{1}
m_{1} hμ_{2}
m_{2}hμ_{3}
m_{3}... = ... + θ′(sσ_{1}
1sσ_{2}
2sσ_{3}
3...) + ...,
hσ_{1}
s_{1}hσ_{2}
s_{2}hσ_{3}
s_{3}... = ... + θ′(mμ_{1}
1 mμ_{2}
2 mμ_{3}
3 ...) + ...;
Theorem of Expressibility.—"If a symmetric function be symboilized by (λμν...) and (λ_{1}λ_{2}λ_{3}...), (μ_{1}μ_{2}μ_{3}...), (ν_{1}ν_{2}ν_{3}...)... be any partitions of λ, μ, ν... respectively, the function (λμν...) is expressible by means of functions symbolized by separation of
(λ_{1}λ_{2}λ_{3}...μ_{1}μ_{2}μ_{3}...ν_{1}ν_{2}ν_{3}...)."
For, writing as before,
Xμ_{1} m_{1} Xμ_{2} m_{2} Xμ_{3} m_{3} ... |
= ΣΣθ(sσ_{1} 1sσ_{2} 2sσ_{3} 3...) xλ_{1} l_{1} xλ_{2} l_{2} xλ_{3} l_{3}..., |
= ΣP xλ_{1} l_{1} xλ_{2} l_{2} xλ_{3} l_{3}..., |
P is a linear function of separations of (lλ_{1}
^{1} lλ_{2}
^{2} lλ_{3}
^{3}...) of specification (mμ_{1}
1 mμ_{2}
2 mμ_{3}
3 ...), and if Xσ_{1}
s_{1}Xσ_{2}
s_{2}Xσ_{3}
s_{3} ... = ΣP′ xλ_{1}
l_{1} xλ_{2}
l_{2} xλ_{3}
l_{3} ..., P′ is a linear function of separations (lλ_{1}
^{1} lλ_{2}
^{2} lλ_{3}
^{3}...) of specification (sσ_{1}
1sσ_{2}
2sσ_{3}
3...). Suppose the separations of (lλ_{1}
^{1} lλ_{2}
^{2} lλ_{3}
^{3}...) to involve k different specifications and form the k identities
Xμ_{1}
m_{1} Xμ_{2}
m_{2} Xμ_{3}
m_{3}... = Σ P^{(s)} xλ_{1}
l_{1} xλ_{2}
l_{2} xλ_{3}
l_{3} ...(s = 1, 2, ...k),
where (mμ_{1s}
1s mμ_{2s}
2s mμ_{3s}
3s ....) is one of the k specifications.
The law of reciprocity shows that
P^{(s)} = θ_{st}(mμ_{1l}
1l mμ_{2l}
2l mμ_{3l}
3l ...)
viz.: a linear function of symmetric functions symbolized by the k specifications; and that θ_{st} = θ_{ts}. A table may be formed expressing the k expressions P^{(1)}, P^{(3)},...P^{(k)} as linear functions of the k expressions (mμ_{1s}
1s mμ_{2s}
2s mμ_{3s}
3s ....), s = 1, 2, ...k, and the numbers θ_{st} occurring therein possess row and column symmetry. By solving k linear equations we similarly express the latter functions as linear functions of the former, and this table will also be symmetrical.
Theorem.—The symmetric function (mμ_{1s}
1s mμ_{2s}
2s mμ_{3s}
3s ....) whose partition is a specification of a separation of the function symbolized by (lλ_{1}
^{1} lλ_{2}
^{2} lλ_{3}
^{3}...) is expressible as a linear function of symmetric functions symbolized by separations of (lλ_{1}
^{1} lλ_{2}
^{2} lλ_{3}
^{3}...) and a symmetrical table may be thus formed." It is now to be remarked that the partition (lλ_{1}
^{1} lλ_{2}
^{2} lλ_{3}
^{3}...) can be derived from (mμ_{1s}
1s mμ_{2s}
2s mμ_{3s}
3s ....) by substituting for the numbers m_{1s}, m_{2s}, m_{3s},... certain partitions of those numbers (vide the definition of the specification of a separation).
Hence the theorem of expressibility enunciated above. A new statement of the law of reciprocity can be arrived at as follows:—
Since.
P^{(s)} = μ_{1s}! μ_{2s}! μ_{3s}! ... Σ (J_{1})^{j1}(J_{2})^{j2} (J_{3})^{j3}...j_{1}!j_{2}!j_{3}!...
where (J_{1})^{j1}(J_{2})^{j2} (J_{3})^{j3}... is a separation of (lλ_{1}
^{1} lλ_{2}
^{2} lλ_{3}
^{3}...) of specification (mμ_{1s}
1s mμ_{2s}
2s mμ_{3s}
3s ....), placing s under the summation sign to denote the specification involved,
μ_{1s}! μ_{2s}! μ_{3s}! ... (J_{1})^{j1}(J_{2})^{j2} (J_{3})^{j3}...j_{1}!j_{2}!j_{3}!... = θ_{st} (mμ_{1t}
1t mμ_{2t}
2t mμ_{3t}
3t ...)
μ_{1t}! μ_{2t}! μ_{3t}! ... (J_{1})^{j1}(J_{2})^{j2} (J_{3})^{j3}...j_{1}!j_{2}!j_{3}!... = θ_{ts} (mμ_{1s}
1s mμ_{2s}
2s mμ_{3s}
3s ...)
where θ_{st} = θ_{ts}.
Theorem of Symmetry.—If we form the separation function
Σ (J_{1})^{j1}(J_{2})^{j2} (J_{3})^{j3}...j_{1}!j_{2}!j_{3}!...
appertaining to the function (lλ_{1}
^{1} lλ_{2}
^{2} lλ_{3}
^{3}...), each separation having a specification (mμ_{1s}
1s mμ_{2s}
2s mμ_{3s}
3s ....), multiply by μ_{1s}! μ_{2s}! μ_{3s}! ... and take therein the coefficient of the function (mμ_{1t}
1t mμ_{2t}
2t mμ_{3t}
3t ....), we obtain the same result as if we formed the separation function in regard to the specification (mμ_{1t}
1t mμ_{2t}
2t mμ_{3t}
3t ....), multiplied by μ_{1t}! μ_{2t}! μ_{3t}! ... and took therein the coefficient of the function (mμ_{1s}
1s mμ_{2s}
2s mμ_{3s}
3s ....).
Ex.gr., take (l λ_{1}
^{1} l λ_{2}
^{2}...)=(21^{4});(mμ_{1s}
1s mμ_{2s}
2s...) = (321);(mμ_{1t}
1t mμ_{2t}
2t...)=(31_{3}); we find
(21)(1^{2})(1)+(1^{3})(2)(1) | =...+13(31^{3})+..., |
(21)(1)^{3} | = ...+13(321)+... |
The Differential Operators.—Starting with the relation
(1 + α_{1}x)(1 + α_{2}x)...(1 + α_{n}x) = 1+a_{1}x+a_{2}x^{2}+...+a_{n}x^{n}
multiply each side by 1+μx, thus introducing a new quantity μ; we obtain
(1 + α_{1}x)(1 + α_{2}x)...(1 + α_{n}x)(1+μx) = 1+(a_{1}+μ)x+(a_{2}+μa_{1})x^{2}+...
so that 𝑓(a_{1}, a_{2}, a_{3},…a_{n}) = 𝑓, a rational integral function of the elementary functions, is converted into
𝑓 (a_{1}+μ, a_{2}+μa_{1},…a_{n}+μa_{n−1}) = 𝑓 + d_{1} + μ^{2}2!d2
1𝑓 + μ^{3}3!d3
1𝑓 + …
where
d_{1}=∂∂a_{1} + a_{1}∂∂a_{2} + a_{2}∂∂a_{3} + … + a_{n−1}∂∂a_{n}
and ds
1 denotes, not s successive operations of d_{1}, but the operator of order s obtained by raising d_{1} to the s^{th} power symbolically as in Taylor's theorem in the Differential Calculus.
Write also 1s!ds
1 = D, so that
𝑓 (a_{1}+μ, a_{2}+μa_{1},…a_{n}+μa_{n−1}) = 𝑓 + μD_{1}𝑓 + μ^{2}D_{2}𝑓 + μ^{3}D_{3}𝑓 + …
The introduction of the quantity μ converts the symmetric function (λ_{1}λ_{2}λ_{3}…) into
(λ_{1}λ_{2}λ_{3}+…)+ μ^{λ1}(λ_{2}λ_{3}…)+ μ^{λ2}(λ_{1}λ_{3}…) + μ^{λ3}(λ_{1}λ_{2}…)+…
Hence, if 𝑓 (a_{1}, a_{2}, a_{3},…a_{n}) = (λ_{1}λ_{2}λ_{3}…),
(λ_{1}λ_{2}λ_{3}+…)+ μ^{λ1}(λ_{2}λ_{3}…)+ μ^{λ2}(λ_{1}λ_{3}…) + μ^{λ3}(λ_{1}λ_{2}…)+…
= (1 + μD_{1} + μ^{2}D_{2} + μ^{3}D_{3} + …)(λ_{1}λ_{2}λ_{3}…).
Comparing coefficients of like powers of μ we obtain
Dλ_{1}(λ_{1}λ_{2}λ_{3}…) = (λ_{2}λ_{3}…),
while D_{s}(λ_{1}λ_{2}λ_{3}…) = 0 unless the partition (λ_{1}λ_{2}λ_{3}…) contains a part s. Further, if D_{λ1} D_{λ2} denote successive operations of D_{λ1} and D_{λ2},
D_{λ1}D_{λ2}(λ_{1}λ_{2}λ_{2}…) = (λ_{1}…),
and the operations are evidently commutative.
Also Dπ_{1}
p_{1}Dπ_{2}
p_{2}Dπ_{3}
p_{3} … (pπ_{1}
1pπ_{2}
2pπ_{3}
3 … ) = 1, and the law of operation of the operators D upon a monomial symmetric function is clear.
We have obtained the equivalent operations
1 + μD_{1} + μ^{2}D_{2} + μ^{3}D_{3} + … = expμd_{1}
where exp denotes (by the rule over exp) that the multiplication of operators is symbolic as in Taylor's theorem. ds
1 denotes, in fact, an operator of order s, but we may transform the right-hand side so that we are only concerned with the successive performance of linear operations. For this purpose write
a_{s} = ∂_{as} + a_{1}∂_{as+1}+a_{2}∂_{as+2}+….
It has been shown (vide "Memoir on Symmetric Functions of the Roots of Systems of Equations," Phil. Trans. 1890, p. 490) that
exp(m_{1}d_{1} + m_{2}d_{2} + m_{3}d_{3} + …) = exp' (M_{1}d_{1} + M_{2}d_{2} + M_{3}d_{3} + …),
where now the multiplications on the dexter denote successive operations, provided that
exp(M_{1}ξ + M_{2}ξ^{2} + M_{3}ξ^{3} + …) = 1 + m_{1}ξ + m_{2}ξ^{2} + m_{3}ξ^{3} + ….
ξ being an undetermined algebraic quantity.
Hence we derive the particular cases
expd_{1} = exp(d_{1} − 12d_{2} + 13d_{3} − …);
expμd_{1} = exp(μd_{1} − 12μ^{2}d_{2} + 13μ^{3}d_{3} − …),
and we can express D_{s} in terms of d_{1}, d_{2}, d_{3}, …, products denoting successive operations, by the same law which expresses the elementary function a_{s} in terms of the sums of powers s_{1}, s_{2}, s_{3}, … Further, we can express d_{s} in terms of D_{1}, D_{2}, D_{3}, … by the same law which expresses the power function s, in terms of the elementary functions a_{1}, a_{2}, a_{3}, …
Operation of D_{s} a Product of Symmetric Functions.—Suppose 𝑓 to be a product of symmetric functions 𝑓_{1}𝑓_{2}…𝑓_{m}. If in the identity 𝑓 = 𝑓_{1}𝑓_{2}…𝑓_{m} we introduce a new root μ we change a_{s} into a_{s} + μa_{s−1}, and we obtain
(1 + μD_{1} + μ^{2}D_{2} + … + μ^{s}D_{s} + …) 𝑓
=(1 + μD_{1} + μ^{2}D_{2} + … + μ^{s}D_{s} + …) 𝑓_{1}
×(1 + μD_{1} + μ^{2}D_{2} + … + μ^{s}D_{s} + …) 𝑓_{2}
×⋅⋅⋅⋅⋅
×(1 + μD_{1} + μ^{2}D_{2} + … + μ^{s}D_{s} + …) 𝑓_{m}
and now expanding and equating coefficients of like powers of μ
D_{1}𝑓 = Σ(D_{1}𝑓_{1}) 𝑓_{2}𝑓_{3}…𝑓_{m},
D_{2}𝑓 = Σ(D_{2}𝑓_{1}) 𝑓_{2}𝑓_{3}…𝑓_{m} + Σ(D_{1}𝑓_{1})(D_{1}𝑓_{2}) 𝑓_{3}…𝑓_{m},
D_{3}𝑓 = Σ(D_{3}𝑓_{1}) 𝑓_{2}𝑓_{3}…𝑓_{m} + Σ(D_{2}𝑓_{1})(D_{1}𝑓_{2}) 𝑓_{3}…𝑓_{m} + Σ(D_{3}𝑓_{1}) 𝑓_{2}𝑓_{3}…𝑓_{m},
the summation in a term covering every distribution of the operators of the type presenting itself in the term.
Writing these results
D_{1}𝑓 = D_{(1)}𝑓,
D_{2}𝑓 = D_{(2)}𝑓 + D_{(12)}𝑓,
D_{3}𝑓 = D_{(3)}𝑓 + D_{(21)}𝑓 + D_{(13)}𝑓,
we may write in general
D_{s} c = ΣD(p_{1}p_{2}p_{3}…) 𝑓,
the summation being for every partition (p_{1}p_{2}p_{3}…) of s, and D(p_{1}p_{2}p_{3}…) 𝑓 being = Σ(Dp_{1} 𝑓_{1} )(Dp_{2} 𝑓_{2} )(D p_{3} 𝑓_{3} ) 𝑓_{4}…𝑓_{m}.
Ex. gr. To operate with D_{2} upon (21^{3})(21^{4})(1^{5}), we have
D_{(2)} 𝑓 = (1^{3})(21^{4})(1^{5}) + (21^{3})(1^{4})(1^{5}),
D_{(12)} 𝑓 = (12^{2})(21^{3})(1^{5}) + (21^{3})(21^{3})(1^{4}) + (21^{2})(21^{4})(1^{4}),
and hence
D_{(2)} 𝑓 = (21^{4})(1^{5})(1^{3}) + (21^{3})(1^{5})(1^{4}) + (21^{3})(21^{2})(1^{5}) + (21^{3})^{2}(1^{4}) + (21^{4})(21^{2})(1^{4}).
Application to Symmetric Function Multiplication.—An example will explain this. Suppose we wish to find the coefficient of (52^{4}1^{3}) in the product (21^{3}21^{4})(1^{5}).
Write
(21^{3})(21^{4})(1^{5}) = … + A(52^{4})(1^{3}) + …;
then
D_{5}D4
2D3
1(21^{3})(21^{4})(1^{5}) = A;
every other term disappearing by the fundamental property of D_{s}. Since
D_{5}(21^{3})(21^{4})(1^{5}) = (1^{3})(1^{4})(1^{4}),
we have:—
D4
2D3
1(1^{4})(1^{4})(1^{3}) = A
D3
2D3
1{(1^{3})(1^{3})(1^{3}) + 2(1^{4})(1^{3})(1^{2})} = A
D2
2D3
1{5(1^{3})(1^{2})(1^{3}) + 2(1^{4})(1^{2})(1) + 2(1^{3})(1^{3})(1)} = A
D_{2}D3
1{12(1^{2})(1^{2})(1) + 7(1^{3})(1)(1) + 2(1^{4})(1) + 6(1^{3})(1^{2})} =A
D3
112(1)^{3} = A,
where ultimately disappearing terms have been struck out. Finally A = 6 · 12 = 72.
The operator d_{1} = a_{0}∂a_{1} + a_{1}∂a_{2} + a_{2}∂a_{3} + … which is satisfied by every symmetric fraction whose partition contains no unit (called by Cayley non-unitary symmetric functions), is of particular importance in algebraic theories. This arises from the circumstance that the general operator
λ_{0}a_{0}∂a_{1} + λ_{1}a_{1}∂a_{2} + λ_{2}a_{2}∂a_{3} + …
is transformed into the operator d_{1} by the substitution
(a_{0}, a_{1}, a_{2}, … a_{s}, … ) = (a_{0}, λ_{0}a_{1}, λ_{0}λ_{1}a_{2}, … , λ_{0}λ_{1} … λ_{s−1}a_{s}, … ),
so that the theory of the general operator is coincident with that of the particular operator d_{1}. For example, the theory of invariants may be regarded as depending upon the consideration of the symmetric functions of the differences of the roots of the equation
a_{0}x^{n} − (n
1) a_{1}x^{n − 1} + (n
2) a_{2}x^{n − 2} − … = 0;
and such functions satisfy the differential equation
a_{0}∂a_{1} + 2a_{1}∂a_{2} + 3a_{2}∂a_{3} + … + na_{n−1}∂a_{n} = 0.
For such functions remain unaltered when each root receives the same infinitesimal increment h; but writing x − h for x causes a_{0}, a_{1}, a_{2} a_{3}, … to become respectively a_{0}, a_{1} + ha_{0}, a_{2} + 2ha_{1}, a_{3} + 3ha_{2}, … and 𝑓 (a_{0}, a_{1}, a_{2} a_{3}, …) becomes
𝑓 + h(a_{0}∂a_{1} + 2a_{1}∂a_{2} + 3a_{2}∂a_{3} + …) 𝑓,
and hence the functions satisfy the differential equation. The important result is that the theory of invariants is from a certain point of view coincident with the theory of non-unitary symmetric functions. On the one hand we may state that non-unitary symmetric functions of the roots of a_{0}x^{n} − a_{1}x^{n − 1} + a_{2}x^{n − 2} − … = 0, are symmetric functions of differences of the roots of
a_{0}x^{n} − 1!(n
1) a_{1}x^{n−1} + 2!(n
2) a_{2}x^{n−2} − … = 0;
and on the other hand that symmetric functions of the differences of the roots of
a_{0}x^{n} − (n
1) a_{1}x^{n−1} + (n
2) a−
2x^{n−2} − … = 0;
are non-unitary symmetric functions of the roots of
a_{0}x^{n} − a_{1}1!x^{n−1} + a_{2}2!x^{n−2} − … = 0.
An important notion in the theory of linear operators in general is that of MacMahon's multilinear operator ("Theory of a Multilinear partial Differential Operator with Applications to the Theories of Invariants and Reciprocants," Proc. Lond. Math. Soc. t. xviii. (1886), pp. 61–88). It is definied as having four elements, and is written
(μ, ν; m, n)
=1m [ μam_{0}
0∂_{αn} + (μ + ν)m!(m − 1)! 1!am−1
0a_{1}∂_{αn+1}
+ (μ + 2ν) { m!(m − 1)! 1!am−1
0a_{2} + m!(m − 2)! 2!am−2
0a2
1 } ∂_{αn+2}
+ (μ + 3ν) { m!(m − 1)! 1!am−1
0a_{3} + m!(m − 2)! 1! 1!am−2
0a_{1}a_{2}
+