Fluidized bed: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>WikHead
m Fixed hatnote text
 
en>DocKrin
added external link to cited paper
Line 1: Line 1:
I would like to introduce myself to you, I am Jayson Simcox but I don't like when individuals use my full title. It's not a typical thing but what I like performing is to climb but I don't have the time recently. Alaska is where I've usually been residing. Credit authorising is how he tends to make money.<br><br>Feel free to surf to my page [http://www.taehyuna.net/xe/?document_srl=78721 real psychic readings]
In [[mathematics]], '''Newton's identities''', also known as the '''Newton–Girard formulae''', give relations between two types of [[symmetric polynomial]]s, namely between [[Power sum symmetric polynomial|power sums]] and [[elementary symmetric polynomial]]s. Evaluated at the [[Root of a function|root]]s of a monic [[polynomial]] ''P'' in one variable, they allow expressing the sums of the ''k''-th [[power (mathematics)|power]]s of all roots of ''P'' (counted with their multiplicity) in terms of the coefficients of ''P'', without actually finding those roots. These identities were found by [[Isaac Newton]] around 1666, apparently in ignorance of earlier work (1629) by [[Albert Girard]].  They have applications in many areas of mathematics, including [[Galois theory]], [[invariant theory]], [[group theory]], [[combinatorics]], as well as further applications outside mathematics, including [[general relativity]].
 
== Mathematical statement ==
 
=== Formulation in terms of symmetric polynomials ===
Let ''x''<sub>1</sub>,…, ''x''<sub>''n''</sub> be variables, denote for ''k''&nbsp;≥&nbsp;1 by ''p''<sub>''k''</sub>(''x''<sub>1</sub>,…,''x''<sub>''n''</sub>) the ''k''-th '''power sum''':
 
: <math>p_k(x_1,\ldots,x_n)=\sum\nolimits_{i=1}^nx_i^k = x_1^k+\cdots+x_n^k,</math>
 
and for ''k''&nbsp;≥&nbsp;0 denote by ''e''<sub>''k''</sub>(''x''<sub>1</sub>,…,''x''<sub>''n''</sub>) the [[elementary symmetric polynomial]] that is  the sum of all distinct products of ''k'' distinct variables, so in particular
 
: <math>\begin{align}
e_0(x_1,\ldots,x_n) &= 1,\\
e_1(x_1,\ldots,x_n) &= x_1+x_2+\cdots+x_n,\\
e_2(x_1,\ldots,x_n) &= \textstyle\sum_{1 \leq i<j\leq n}x_ix_j,\\
e_n(x_1,\ldots,x_n) &= x_1x_2\cdots x_n,\\
e_k(x_1,\ldots,x_n) &= 0, \quad\text{for}\ k>n.\\
\end{align}</math>
 
Then Newton's identities can be stated as
 
: <math> ke_k(x_1,\ldots,x_n) = \sum_{i=1}^k(-1)^{i-1} e_{k-i} (x_1,\ldots,x_n) p_i(x_1,\ldots,x_n),</math>
 
valid for all ''k''&nbsp;≥&nbsp;1.  Concretely, one gets for the first few values of ''k'':
 
: <math>\begin{align}
e_1(x_1,\ldots,x_n) &= p_1(x_1,\ldots,x_n),\\
2e_2(x_1,\ldots,x_n) &= e_1(x_1,\ldots,x_n)p_1(x_1,\ldots,x_n)-p_2(x_1,\ldots,x_n),\\
3e_3(x_1,\ldots,x_n) &= e_2(x_1,\ldots,x_n)p_1(x_1,\ldots,x_n) - e_1(x_1,\ldots,x_n)p_2(x_1,\ldots,x_n) + p_3(x_1,\ldots,x_n).\\
\end{align}</math>
 
The form and validity of these equations do not depend on the number ''n'' of variables (although the point where the left-hand side becomes&nbsp;0 does, namely after the ''n''-th identity), which makes it possible to state them as identities in the [[ring of symmetric functions]]. In that ring one has
 
:<math>\begin{align}
e_1 &= p_1,\\
2e_2 &= e_1p_1-p_2,\\
3e_3 &= e_2p_1 - e_1p_2 + p_3,\\
4e_4 &= e_3p_1 - e_2p_2 + e_1p_3 - p_4,\\
\end{align}</math>
 
and so on; here the left-hand sides never become zero.
These equations allow to recursively express the ''e''<sub>''i''</sub> in terms of the ''p''<sub>''k''</sub>; to be able to do the inverse, one may rewrite them as
 
:<math>\begin{align}
p_1 &= e_1,\\
p_2 &= e_1p_1-2e_2,\\
p_3 &= e_1p_2 - e_2p_1 + 3e_3 ,\\
p_4 &= e_1p_3 - e_2p_2 + e_3p_1 - 4e_4, \\
    & {}\ \ \vdots
\end{align}</math>
 
=== Application to the roots of a polynomial ===
Now view the ''x''<sub>''i''</sub> as parameters rather than as variables, and consider the monic polynomial in ''t'' with roots ''x''<sub>1</sub>,…,''x''<sub>''n''</sub>:
 
:<math> \prod_{i=1}^n \left( t - x_i \right) = \sum_{k=0}^n (-1)^{k} a_k t^{n-k},</math>
 
where the [[coefficients]] <math>a_k</math> are given by the elementary symmetric polynomials in the roots: ''a''<sub>''k''</sub>&nbsp;=&nbsp;''e''<sub>''k''</sub>(''x''<sub>1</sub>,…,''x''<sub>''n''</sub>).
Now consider the ''power sums'' of the roots
 
:<math> s_k = p_k(x_1,\ldots,x_n)= \sum_{i=1}^n x_i^k.</math>
 
Then according to Newton's identities these can be expressed recursively in terms of the coefficients of the polynomial using
 
:<math>\begin{align}
  s_1 &= a_1,\\
  s_2 &= a_1 s_1 - 2 a_2,\\
  s_3 &= a_1 s_2 - a_2 s_1 + 3 a_3,\\
  s_4 &= a_1 s_3 - a_2 s_2 + a_3 s_1 - 4 a_4, \\
        & {} \  \  \vdots
  \end{align}</math>
 
=== Application to the characteristic polynomial of a matrix ===
 
When the polynomial above is the [[characteristic polynomial]] of a [[matrix (mathematics)|matrix]] ''A'', the roots <math>x_i</math> are the [[eigenvalue]]s of the matrix, counted with their algebraic multiplicity. For any positive integer ''k'', the matrix ''A''<sup>''k''</sup> has as eigenvalues the powers ''x''<sub>''i''</sub><sup>''k''</sup>, and each eigenvalue <math>x_i</math> of ''A'' contributes its multiplicity to that of the eigenvalue ''x''<sub>''i''</sub><sup>''k''</sup> of ''A''<sup>''k''</sup>. Then the coefficients of the characteristic polynomial of ''A''<sup>''k''</sup> are given by the elementary symmetric polynomials ''in those powers'' ''x''<sub>''i''</sub><sup>''k''</sup>. In particular, the sum of the ''x''<sub>''i''</sub><sup>''k''</sup>, which is the ''k''-th power sum s<sub>''k''</sub> of the roots of the characteristic polynomial of ''A'', is given by its [[trace (linear algebra)|trace]]:
 
:<math>s_k = \operatorname{tr} ( A^k )\,.</math>
 
The Newton identities now relate the traces of the powers ''A''<sup>''k''</sup> to the coefficients of the characteristic polynomial of ''A''. Using them in reverse to express the elementary symmetric polynomials in terms of the power sums, they can be used to find the characteristic polynomial by computing only the powers ''A''<sup>''k''</sup> and their traces.
 
This computation requires computing the traces of matrix powers ''A''<sup>''k''</sup> and solving a triangular system of equations. Both can be done in complexity class [[NC (complexity)|NC]] (solving a triangular system can be done by divide-and-conquer). Therefore, characteristic polynomial of a matrix can be computed in NC. By the [[Cayley-Hamilton theorem]], every matrix satisfies its characteristic polynomial, and [[Cayley-Hamilton theorem#Illustration for specific dimensions and practical applications|a simple transformation]] allows to find the matrix inverse in NC.
 
Rearranging the computations into an efficient form leads to the ''[[Fadeev-Leverrier algorithm]]'' (1840), a fast parallel implementation of it is due to L. Csanky (1976). Its disadvantage is that it requires division by integers, so in general the field should have characteristic 0.
 
=== Relation with Galois theory ===
 
For a given ''n'', the elementary symmetric polynomials ''e''<sub>''k''</sub>(''x''<sub>1</sub>,…,''x''<sub>''n''</sub>) for ''k''&nbsp;=&nbsp;1,…, ''n'' form an algebraic basis for the space of symmetric polynomials in ''x''<sub>1</sub>,…. ''x''<sub>''n''</sub>: every polynomial expression in the ''x''<sub>''i''</sub> that is invariant under all permutations of those variables is given by a [[polynomial]] expression in those elementary symmetric polynomials, and this expression is unique up to equivalence of polynomial expressions. This is a general fact known as the [[fundamental theorem of symmetric polynomials]], and Newton's identities provide explicit formulae in the case of power sum symmetric polynomials. Applied to the monic polynomial <math>\textstyle t^n+\sum_{k=1}^n (-1)^{k} a_k t^{n-k}</math> with all coefficients ''a''<sub>''k''</sub> considered as free parameters, this means that every symmetric polynomial expression ''S''(''x''<sub>1</sub>,…,''x''<sub>''n''</sub>) in its roots can be expressed instead as a polynomial expression ''P''(''a''<sub>1</sub>,…,''a''<sub>''n''</sub>) in terms of its coefficients only, in other words without requiring knowledge of the roots. This fact also follows from general considerations in [[Galois theory]] (one views the ''a''<sub>''k''</sub> as elements of a base field, the roots live in an extension field whose Galois group permutes them according to the full symmetric group, and the field fixed under all elements of the Galois group is the base field).
 
The Newton identities also permit expressing the elementary symmetric polynomials in terms of the power sum symmetric polynomials, showing that any symmetric polynomial can also be expressed in the power sums. In fact the first ''n'' power sums also form an algebraic basis for the space of symmetric polynomials.
 
== Related identities ==
 
There are a number of (families of) identities that, while they should be distinguished from Newton's identities, are very closely related to them.
 
=== A variant using complete homogeneous symmetric polynomials ===
 
Denoting by ''h''<sub>''k''</sub> the [[complete homogeneous symmetric polynomial]] that is the sum of all [[monomial]]s of degree&nbsp;''k'', the power sum polynomials also satisfy identities similar to Newton's identities, but not involving any minus signs. Expressed as identities of in the [[ring of symmetric functions]], they read
 
:<math>kh_k=\sum_{i=1}^kh_{k-i}p_i,</math>
 
valid for all ''k''&nbsp;≥&nbsp;1. Contrary to Newton's identities, the left-hand sides do not become zero for large&nbsp;''k'', and the right-hand sides contain ever more non-zero terms. For the first few values of ''k'', one has
 
:<math>\begin{align}
  h_1 &= p_1,\\
2h_2 &= h_1p_1+p_2,\\
3h_3 &= h_2p_1 + h_1p_2 + p_3.\\
\end{align}</math>
 
These relations can be justified by an argument analogous to the one by comparing coefficients in power series given above, based in this case on the generating function identity
 
:<math>\sum_{k=0}^\infty h_k(X_1,\ldots,X_n)t^k = \prod_{i=1}^n\frac1{1-X_it}.</math>
 
Proofs of Newton's identities, like these given below, cannot be easily adapted to prove these variants of those identities.
 
=== Expressing elementary symmetric polynomials in terms of power sums ===
 
As mentioned, Newton's identities can be used to recursively express elementary symmetric polynomials in terms of power sums. Doing so requires the introduction of integer denominators, so it can be done in the ring Λ<sub>'''Q'''</sub> of symmetric functions with rational coefficients:
 
:<math>\begin{alignat}2
e_1 &= p_1,\\
e_2 &= \textstyle\frac12p_1^2 - \frac12p_2 &&= \textstyle\frac12 ( p_1^2 - p_2 ),\\
e_3 &= \textstyle\frac16p_1^3 - \frac12p_1 p_2 + \frac13p_3 &&= \textstyle\frac{1}{6} ( p_1^3 - 3 p_1 p_2 + 2 p_3 ),\\
e_4 &= \textstyle\frac1{24}p_1^4 - \frac14p_1^2 p_2 + \frac18p_2^2 + \frac13p_1 p_3 - \frac14p_4
      &&= \textstyle\frac1{24} ( p_1^4 - 6 p_1^2 p_2 + 3 p_2^2 + 8 p_1 p_3 - 6 p_4 ),\\
\end{alignat}</math>
 
and so forth. Applied to a monic polynomial, these formulae express the coefficients in terms of the power sums of the roots: replace each ''e''<sub>''i''</sub> by ''a''<sub>''i''</sub> and each ''p''<sub>''k''</sub> by s<sub>''k''</sub>.
 
=== Expressing complete homogeneous symmetric polynomials in terms of power sums ===
 
The analogous relations involving complete homogeneous symmetric polynomials can be similarly developed, giving equations
 
:<math>\begin{alignat}2
h_1 &= p_1,\\
h_2 &= \textstyle\frac12p_1^2 + \frac12p_2 &&= \textstyle\frac12 ( p_1^2 + p_2 ),\\
h_3 &= \textstyle\frac16p_1^3 + \frac12p_1 p_2 + \frac13p_3 &&= \textstyle\frac{1}{6} ( p_1^3 + 3 p_1 p_2 + 2 p_3 ),\\
h_4 &= \textstyle\frac1{24}p_1^4 + \frac14p_1^2 p_2 + \frac18p_2^2 + \frac13p_1 p_3 + \frac14p_4
      &&= \textstyle\frac1{24} ( p_1^4 + 6 p_1^2 p_2 + 3 p_2^2 + 8 p_1 p_3 + 6 p_4 ),\\
\end{alignat}</math>
 
and so forth, in which there are only plus signs. These expressions correspond exactly to the [[cycle index]] polynomials of the [[symmetric group]]s, if one interprets the power sums ''p''<sub>''i''</sub> as indeterminates: the coefficient in the expression for ''h''<sub>''k''</sub> of any monomial ''p''<sub>1</sub><sup>''m''<sub>1</sub></sup>''p''<sub>2</sub><sup>''m''<sub>2</sub></sup>…''p''<sub>''l''</sub><sup>''m''<sub>''l''</sub></sup> is equal to the fraction of all permutations of ''k'' that have ''m''<sub>1</sub> fixed points, ''m''<sub>2</sub> cycles of length&nbsp;2, …, and ''m''<sub>''l''</sub> cycles of length ''l''. Explicitly, this coefficient can be written as <math>1/N</math> where <math>N=\Pi_{i=1}^l(m_i!\,i^{m_i})</math>; this ''N'' is the number permutations commuting with any given permutation&nbsp;π of the given cycle type. The expressions for the elementary symmetric functions have coefficients with the same absolute value, but a sign equal to the sign of&nbsp;π, namely (−1)<sup>''m''<sub>2</sub>+''m''<sub>4</sub>+…</sup>.
 
=== Expressing power sums in terms of elementary symmetric polynomials ===
 
One may also use Newton's identities to express power sums in terms of symmetric polynomials, which does not introduce denominators:
:<math>\begin{align}
p_1 &= e_1,\\
p_2 &= e_1^2 - 2 e_2,\\
p_3 &= e_1^3 - 3 e_2 e_1 + 3 e_3,\\
p_4 &= e_1^4 - 4 e_2 e_1^2 + 4 e_3 e_1 + 2 e_2^2 - 4 e_4,\\
p_5 &= e_1^5 - 5 e_2 e_1^3 + 5 e_3 e_1^2 + 5 e_2^2 e_1 - 5 e_4 e_1 - 5 e_3e_2 + 5 e_5,\\
p_6 &= e_1^6 - 6 e_2 e_1^4 + 6 e_3 e_1^3 + 9 e_2^2 e_1^2 - 6 e_4 e_1^2 - 12 e_3 e_2 e_1 + 6 e_5 e_1 - 2 e_2^3 + 3 e_3^2 + 6 e_4 e_2 - 6e_6,\\
\end{align}</math>
giving ever longer expressions that do not seem to follow any simple pattern. By consideration of the relations used to obtain these expressions, it can however be seen that the coefficient of some monomial <math>M=\Pi_{i=1}^l e_i^{m_i}</math> in the expression for <math>p_k</math> has the same ''sign'' as the coefficient of the corresponding product <math>\Pi_{i=1}^l p_i^{m_i}</math> in the expression for <math>e_k</math> described above, namely the sign (−1)<sup>''m''<sub>2</sub>+''m''<sub>4</sub>+…</sup>. Furthermore, the absolute value of the coefficient of ''M'' is the sum, over all ''distinct'' sequences of elementary symmetric functions whose product is ''M'', of the index of the last one in the sequence: for instance, the coefficient of <math>e_1^5e_3e_4^3</math> in the expression for ''p''<sub>20</sub> will be <math>(-1)^{0+3}(280\times1+56\times3+168\times4)=-1120</math>, since of all distinct orderings of the five factors ''e''<sub>1</sub>, one factor ''e''<sub>3</sub> and three factors ''e''<sub>4</sub>, there are 280 that end with ''e''<sub>1</sub>, 56 that end with ''e''<sub>3</sub>, and 168 that end with ''e''<sub>4</sub>.
 
=== Expressing power sums in terms of complete homogeneous symmetric polynomials ===
 
Finally one may use the variant identities involving complete homogeneous symmetric polynomials similarly to express power sums in term of them:
:<math>\begin{align}
p_1 &= + h_1,\\
p_2 &= - h_1^2 + 2 h_2,\\
p_3 &= + h_1^3 - 3 h_2 h_1 + 3 h_3,\\
p_4 &= - h_1^4 + 4 h_2 h_1^2 - 4 h_3 h_1 - 2 h_2^2 + 4 h_4,\\
p_5 &= + h_1^5 - 5 h_2 h_1^3 + 5 h_2^2 h_1 + 5 h_3 h_1^2 - 5 h_3h_2 - 5 h_4 h_1 + 5 h_5,\\
p_6 &= - h_1^6 + 6 h_2 h_1^4 - 9 h_2^2 h_1^2 - 6 h_3 h_1^3 + 2 h_2^3 + 12 h_3 h_2 h_1 + 6 h_4 h_1^2 - 3 h_3^2 - 6 h_4 h_2 - 6 h_1 h_5 + 6h_6,\\
\end{align}</math>
and so on. Apart from the replacement of each ''e''<sub>''i''</sub> by the corresponding ''h''<sub>''i''</sub>, the only change with respect to the previous family of identities is in the signs of the terms, which in this case depend just on the number of factors present: the sign of the monomial <math>\Pi_{i=1}^l h_i^{m_i}</math> is −(−1)<sup>''m''<sub>1</sub>+''m''<sub>2</sub>+''m''<sub>3</sub>+…</sup>. In particular the above description of the absolute value of the coefficients applies here as well.
 
=== Expressions as determinants ===
 
One can obtain explicit formulas for the above expressions in the form of determinants, by considering the first ''n'' of Newton's identities (or it counterparts for the complete homogeneous polynomials) as linear equations in which the elementary symmetric functions are known and the power sums are unknowns (or vice versa), and apply [[Cramer's rule]] to find the solution for the final unknown. For instance taking Newton's identities in the form
:<math>\begin{align}
e_1 &= 1p_1,\\
2e_2 &= e_1p_1-1p_2,\\
3e_3 &= e_2p_1 - e_1p_2 + 1p_3,\\
\vdots &= \vdots \\
ne_n &= e_{n-1}p_1 - e_{n-2} p_2 + \cdots +(-1)^ne_1p_{n-1}+(-1)^{n-1}p_n\\
\end{align}</math>
we consider <math>p_1</math>, <math>{-p_2}</math>, <math>p_3</math>, ..., <math>(-1)^np_{n-1}</math> and <math>p_n</math> as unknowns, and solve for the final one, giving
:<math>p_n=\frac{\begin{vmatrix}1 & 0 & \cdots && e_1 \\ e_1 & 1  & 0 & \cdots & 2e_2 \\  e_2 & e_1 & 1&  & 3e_3 \\ \vdots&&\ddots&\ddots&\vdots
\\ e_{n-1} & \cdots & e_2 & e_1 & ne_n \end{vmatrix}}{\begin{vmatrix}1 & 0 & \cdots & \\ e_1 & 1  & 0 & \cdots  \\  e_2 & e_1 & 1&  \\ \vdots&&\ddots&\ddots
\\ e_{n-1} & \cdots & e_2 & e_1 & (-1)^{n-1} \end{vmatrix}}
=\frac{\begin{vmatrix}1 & 0 & \cdots && e_1 \\ e_1 & 1  & 0 & \cdots & 2e_2 \\  e_2 & e_1 & 1& & 3e_3 \\ \vdots&&\ddots&\ddots&\vdots
\\ e_{n-1} & \cdots & e_2 & e_1 & ne_n \end{vmatrix}}{(-1)^{n-1}}
=\begin{vmatrix}e_1 & 1 & 0 & \cdots\\ 2e_2 & e_1 & 1 & 0 & \cdots\\ 3e_3 & e_2 & e_1 & 1 \\ \vdots &&& \ddots & \ddots 
\\ ne_n & e_{n-1} & \cdots & & e_1 \end{vmatrix}.
</math>
 
Solving for <math>e_n</math> instead of for <math>p_n</math> is similar, as the analogous computations for the complete homogeneous symmetric polynomials; in each case the details are slightly messier than the final results, which are (Macdonald 1979, p.&nbsp;20):
:<math>e_n=\frac1{n!}
\begin{vmatrix}p_1 & 1 & 0 & \cdots\\ p_2 & p_1 & 2 & 0 & \cdots  \\ \vdots&& \ddots & \ddots \\ p_{n-1} & p_{n-2} & \cdots & p_1 & n-1 \\ p_n & p_{n-1} & \cdots & p_2 & p_1
\end{vmatrix},
\qquad p_n=(-1)^{n-1}
\begin{vmatrix}h_1 & 1 & 0 & \cdots\\ 2h_2 & h_1 & 1  & 0 & \cdots\\ 3h_3 & h_2 & h_1 & 1 \\ \vdots &&& \ddots & \ddots 
\\ nh_n & h_{n-1} & \cdots & & h_1
\end{vmatrix},
\qquad h_n=\frac1{n!}
\begin{vmatrix}p_1 & -1 & 0 & \cdots\\ p_2 & p_1 & -2 & 0 & \cdots \\ \vdots&& \ddots & \ddots \\ p_{n-1} & p_{n-2} & \cdots & p_1 & 1-n \\ p_n & p_{n-1} & \cdots & p_2 & p_1 \end{vmatrix}.
</math>
Note that the use of determinants makes that the formula for <math>h_n</math> has additional minus signs compared to the one for <math>e_n</math>, while the situation for the expanded form given earlier is opposite. As remarked in (Littlewood 1950, p.&nbsp;84) one can alternatively obtain the formula for <math>h_n</math> by taking the [[permanent]] of the matrix for <math>e_n</math> instead of the determinant, and more generally an expression for any [[Schur polynomial]] can be obtained by taking the corresponding [[immanant]] of this matrix.
 
== Derivation of the identities ==
 
Each of Newton's identities can easily be checked by elementary algebra; however, their validity in general needs a proof. Here are some possible derivations
 
=== From the special case ''n''&nbsp;=&nbsp;''k'' ===
 
One can obtain the ''k''-th Newton identity in ''k'' variables by substitution into
 
: <math> \prod_{i=1}^k (t - x_i) = \sum_{i=0}^k (-1)^{k-i} e_{k-i}(x_1,\ldots,x_k)t^i</math>
 
as follows. Substituting ''x''<sub>''j''</sub> for ''t'' gives
 
:<math>0= \sum_{i=0}^k (-1)^{k-i} e_{k-i}(x_1,\ldots,x_k){x_j}^i \quad\text{for }1\leq j\leq k</math>
 
Summing over all ''j'' gives
 
:<math>0= (-1)^kke_k(x_1,\ldots,x_k)+\sum_{i=1}^k(-1)^{k-i} e_{k-i}(x_1,\ldots,x_k)p_i(x_1,\ldots,x_k),</math>
 
where the terms for ''i''&nbsp;=&nbsp;0 were taken out of the sum because ''p''<sub>0</sub> is (usually) not defined. This equation immediately gives the ''k''-th Newton identity in ''k'' variables. Since this is an identity of symmetric polynomials (homogeneous) of degree ''k'', its validity for any number of variables follows from its validity for ''k'' variables. Concretely, the identities in ''n''&nbsp;&lt;&nbsp;''k'' variables can be deduced by setting ''k''&nbsp;−&nbsp;''n'' variables to zero. The ''k''-th Newton identity in ''n''&nbsp;&gt;&nbsp;''k'' variables contains more terms on both sides of the equation than the one in ''k'' variables, but its validity will be assured if the coefficients of any monomial match. Because no individual monomial involves more than ''k'' of the variables, the monomial will survive the substitution of zero for some set of ''n''&nbsp;−&nbsp;''k'' (other) variables, after which the equality of coefficients is one that arises in the ''k''-th Newton identity in ''k'' (suitably chosen) variables.
 
=== Comparing coefficients in series  ===
Another derivation can be obtained by computations in the ring of [[formal power series]] ''R''[<span/>[''t'']],  where ''R'' is '''Z'''[''x''<sub>1</sub>,…, ''x''<sub>''n''</sub>], the [[Polynomial ring#The polynomial ring in several variables|ring of polynomials]] in ''n'' variables ''x''<sub>1</sub>,…, ''x''<sub>''n''</sub> over the integers.
 
Starting again from the basic relation
 
: <math>\prod_{i=1}^n (t - x_i) = \sum_{k=0}^n (-1)^{k} a_k t^{n-k}</math>
 
and "reversing the polynomials" by substituting 1/''t'' for ''t'' and then multiplying both sides by ''t''<sup>''n''</sup> to remove negative powers of ''t'', gives
 
: <math>\prod_{i=1}^n (1- x_it) = \sum_{k=0}^n (-1)^{k} a_k t^k.</math>
 
(the above computation should be performed in the [[field of fractions]] of ''R''[<span/>[''t'']]; alternatively, the identity can be obtained simply by evaluating the product on the left side)
 
Swapping sides and expressing the ''a''<sub>''i''</sub> as the elementary symmetric polynomials they stand for gives the identity
 
:<math>\sum_{k=0}^n (-1)^{k} e_k(x_1,\ldots,x_n) t^k=\prod_{i=1}^n (1- x_it).</math>
 
One [[Formal derivative|formally differentiates]] both sides with respect to ''t'', and then (for convenience) multiplies by ''t'', to obtain
 
:<math>\begin{align}
  \sum_{k=0}^n (-1)^{k}k e_k(x_1,\ldots,x_n) t^k
&=  t \sum_{i=1}^n \left((-x_i) \prod\nolimits_{j\neq i} (1- x_jt)\right)\\
&=  -\left(\sum_{i=1}^n \frac{x_it}{1-x_it}\right) \prod\nolimits_{j=1}^n (1- x_jt)\\
&= -\left(\sum_{i=1}^n \sum_{j=1}^\infty(x_it)^j\right) \left(\sum_{\ell=0}^n (-1)^\ell e_\ell(x_1,\ldots,x_n) t^\ell\right)\\
&= \left(\sum_{j=1}^\infty p_j(x_1,\ldots,x_n)t^j\right) \left(\sum_{\ell=0}^n (-1)^{\ell-1} e_\ell(x_1,\ldots,x_n) t^\ell\right),\\
\end{align}</math>
 
where the polynomial on the right hand side was first rewritten as a [[rational function]] in order to be able to factor out a product out of the summation, then the fraction in the summand was developed as a series in ''t'', using the formula
:<math>\frac{X}{1 -  X} =  X + X^2 + X^3 + X^4 + X^5 + \cdots</math>,
 
and finally the coefficient of each ''t''&nbsp;<sup>''j''</sup> was collected, giving a power sum. (The series in ''t'' is a formal power series, but may alternatively be thought of as a series expansion for ''t'' sufficiently close to 0, for those more comfortable with that; in fact one is not interested in the function here, but only in the coefficients of the series.) Comparing coefficients of ''t''<sup>''k''</sup> on both sides one obtains
 
:<math>(-1)^{k}k e_k(x_1,\ldots,x_n) = \sum_{j=1}^k (-1)^{k-j-1} p_j(x_1,\ldots,x_n)e_{k-j}(x_1,\ldots,x_n),</math>
 
which gives the ''k''-th Newton identity.
 
=== As a telescopic sum of symmetric function identities ===
The following derivation, given essentially in (Mead, 1992), is formulated in the [[ring of symmetric functions]] for clarity (all identities are independent of the number of variables). Fix some ''k''&nbsp;&gt;&nbsp;0, and define the symmetric function ''r''(''i'') for 2&nbsp;≤&nbsp;''i''&nbsp;≤&nbsp;''k'' as the sum of all distinct [[monomial]]s of degree ''k'' obtained by multiplying one variable raised to the power&nbsp;''i'' with ''k''&nbsp;−&nbsp;''i'' distinct other variables (this is the [[monomial symmetric polynomial|monomial symmetric function]] ''m''<sub>γ</sub> where γ is a hook shape (''i'',1,1,…1)). In particular ''r''(''k'')&nbsp;=&nbsp;''p''<sub>''k''</sub>; for ''r''(1) the description would amount to that of ''e''<sub>''k''</sub>, but this case was excluded since here monomials no longer have any distinguished variable. All products ''p''<sub>''i''</sub>''e''<sub>''k''−''i''</sub> can be expressed in terms of the ''r''(''j'') with the first and last case being somewhat special. One has
:<math>p_ie_{k-i}=r(i)+r(i+1)\quad\text{for }1<i<k</math>
since each product of terms on the left involving distinct variables contributes to ''r''(''i''), while those where the variable from ''p''<sub>''i''</sub> already occurs among the variables of the term from ''e''<sub>''k''−''i''</sub> contributes to ''r''(''i''&nbsp;+&nbsp;1), and all terms on the right are so obtained exactly once. For ''i''&nbsp;=&nbsp;''k'' one multiplies by ''e''<sub>0</sub>&nbsp;=&nbsp;1, giving trivially
:<math>p_ke_0=p_k=r(k)\,</math>.
Finally the product ''p''<sub>1</sub>''e''<sub>''k''−1</sub> for ''i''&nbsp;=&nbsp;1 gives contributions to ''r''(''i''&nbsp;+&nbsp;1)&nbsp;=&nbsp;''r''(2) like for other values ''i''&nbsp;&lt;&nbsp;''k'', but the remaining contributions produce ''k'' times each monomial of ''e''<sub>''k''</sub>, since any one of the variables may come from the factor ''p''<sub>1</sub>; thus
:<math>p_1e_{k-1}=ke_k+r(2)\,</math>.
The ''k''-th Newton identity is now obtained by taking the alternating sum of these equations, in which all terms of the form ''r''(''i'') cancel out.
 
== See also ==
*[[Power sum symmetric polynomial]]
*[[Elementary symmetric polynomial]]
*[[Symmetric function]]
*[[Fluid solution]]s, an article giving an application of Newton's identities to computing the characteristic polynomial of the [[Einstein tensor]] in the case of a [[perfect fluid]], and similar articles on other types of [[exact solutions in general relativity]].
 
==References==
*{{cite book | author=Tignol, Jean-Pierre | title=Galois' theory of algebraic equations | location=Singapore | publisher=World Scientific | year=2001 | isbn=978-981-02-4541-2}}
 
*{{cite book | author=Bergeron, F.; Labelle, G.; and Leroux, P.  | title=Combinatorial species and tree-like structures  | location=Cambridge | publisher=Cambridge University Press | year=1998 | isbn=978-0-521-57323-8}}
 
*{{cite book | author=Cameron, Peter J.  | authorlink = Peter Cameron (mathematician) | title=Permutation Groups  | location=Cambridge | publisher=Cambridge University Press | year=1999 | isbn=978-0-521-65378-7}}
 
*{{cite book | author=Cox, David; Little, John, and O'Shea, Donal | title=Ideals, Varieties, and Algorithms | location=New York | publisher=Springer-Verlag | year=1992 | isbn=978-0-387-97847-5}}
 
* {{cite conference | author = [[David Eppstein|Eppstein, D.]]; [[Michael T. Goodrich|Goodrich, M. T.]] | title = Space-efficient straggler identification in round-trip data streams via Newton's identities and invertible Bloom filters | booktitle = [[Workshop on Algorithms and Data Structures|Algorithms and Data Structures, 10th International Workshop, WADS 2007]] | pages = 637–648  | publisher = Springer-Verlag, Lecture Notes in Computer Science 4619 | year = 2007}} {{arxiv | 0704.3313}}
 
*{{cite book | author=Littlewood, D. E. | title=The theory of group characters and matrix representations of groups | publisher=Oxford University Press | location=Oxford | year=1950 | isbn=0-8218-4067-3 | nopp=true | page=viii+310}}
 
*{{cite book | author=Macdonald, I. G. | title=Symmetric functions and Hall polynomials | series=Oxford Mathematical Monographs | publisher=The Clarendon Press, Oxford University Press | location=Oxford | year=1979 | isbn=0-19-853530-9 | nopp=true | page=viii+180 |mr=84g:05003}}
 
*{{cite book | author=Macdonald, I. G. | title=Symmetric functions and Hall polynomials | edition=Second | series=Oxford Mathematical Monographs | publisher=Oxford Science Publications. The Clarendon Press, Oxford University Press | location=New York | year=1995 | isbn=0-19-853489-2 | page=x+475 |mr=96h:05207}}
 
*{{cite journal | author=Mead, D.G. | title=Newton's Identities | journal=The American Mathematical Monthly | volume=99 | issue=8 | year=1992-10 | pages=749–751 | doi=10.2307/2324242 | publisher=Mathematical Association of America | jstor=2324242 }}
 
*{{cite book | author=Stanley, Richard P. | authorlink = Richard P. Stanley | title=Enumerative Combinatorics, Vol. 2 | publisher=Cambridge University Press | year=1999| isbn=0-521-56069-1 (hardback), ISBN 0-521-78987-7 (paperback)}}
 
*{{cite book | author=Sturmfels, Bernd | authorlink = Bernd Sturmfels | title=Algorithms in Invariant Theory | location=New York | publisher=Springer-Verlag | year=1992 | isbn=978-0-387-82445-1}}
 
*{{cite book | author=Tucker, Alan | title=Applied Combinatorics | edition=5/e | location=New York | publisher=Wiley | year=1980 | isbn=978-0-471-73507-6}}
 
== External links ==
*[http://mathworld.wolfram.com/Newton-GirardFormulas.html Newton–Girard formulas] on MathWorld
*[http://links.jstor.org/sici?sici=0025-570X(200010)73%3A4%3C313%3AAMPONI%3E2.0.CO%3B2-0 A Matrix Proof of Newton's Identities] in Mathematics Magazine
*[http://stellar.mit.edu/S/course/6/sp10/6.256/courseMaterial/topics/topic2/lectureNotes/lecture-05/lecture-05.pdf Application on the number of real roots]
 
[[Category:Group theory]]
[[Category:Invariant theory]]
[[Category:Linear algebra]]
[[Category:Mathematical identities]]
[[Category:Symmetric functions]]
[[Category:Algebraic combinatorics]]
[[Category:Galois theory]]

Revision as of 21:58, 23 January 2014

In mathematics, Newton's identities, also known as the Newton–Girard formulae, give relations between two types of symmetric polynomials, namely between power sums and elementary symmetric polynomials. Evaluated at the roots of a monic polynomial P in one variable, they allow expressing the sums of the k-th powers of all roots of P (counted with their multiplicity) in terms of the coefficients of P, without actually finding those roots. These identities were found by Isaac Newton around 1666, apparently in ignorance of earlier work (1629) by Albert Girard. They have applications in many areas of mathematics, including Galois theory, invariant theory, group theory, combinatorics, as well as further applications outside mathematics, including general relativity.

Mathematical statement

Formulation in terms of symmetric polynomials

Let x1,…, xn be variables, denote for k ≥ 1 by pk(x1,…,xn) the k-th power sum:

pk(x1,,xn)=i=1nxik=x1k++xnk,

and for k ≥ 0 denote by ek(x1,…,xn) the elementary symmetric polynomial that is the sum of all distinct products of k distinct variables, so in particular

e0(x1,,xn)=1,e1(x1,,xn)=x1+x2++xn,e2(x1,,xn)=1i<jnxixj,en(x1,,xn)=x1x2xn,ek(x1,,xn)=0,fork>n.

Then Newton's identities can be stated as

kek(x1,,xn)=i=1k(1)i1eki(x1,,xn)pi(x1,,xn),

valid for all k ≥ 1. Concretely, one gets for the first few values of k:

e1(x1,,xn)=p1(x1,,xn),2e2(x1,,xn)=e1(x1,,xn)p1(x1,,xn)p2(x1,,xn),3e3(x1,,xn)=e2(x1,,xn)p1(x1,,xn)e1(x1,,xn)p2(x1,,xn)+p3(x1,,xn).

The form and validity of these equations do not depend on the number n of variables (although the point where the left-hand side becomes 0 does, namely after the n-th identity), which makes it possible to state them as identities in the ring of symmetric functions. In that ring one has

e1=p1,2e2=e1p1p2,3e3=e2p1e1p2+p3,4e4=e3p1e2p2+e1p3p4,

and so on; here the left-hand sides never become zero. These equations allow to recursively express the ei in terms of the pk; to be able to do the inverse, one may rewrite them as

p1=e1,p2=e1p12e2,p3=e1p2e2p1+3e3,p4=e1p3e2p2+e3p14e4,

Application to the roots of a polynomial

Now view the xi as parameters rather than as variables, and consider the monic polynomial in t with roots x1,…,xn:

i=1n(txi)=k=0n(1)kaktnk,

where the coefficients ak are given by the elementary symmetric polynomials in the roots: ak = ek(x1,…,xn). Now consider the power sums of the roots

sk=pk(x1,,xn)=i=1nxik.

Then according to Newton's identities these can be expressed recursively in terms of the coefficients of the polynomial using

s1=a1,s2=a1s12a2,s3=a1s2a2s1+3a3,s4=a1s3a2s2+a3s14a4,

Application to the characteristic polynomial of a matrix

When the polynomial above is the characteristic polynomial of a matrix A, the roots xi are the eigenvalues of the matrix, counted with their algebraic multiplicity. For any positive integer k, the matrix Ak has as eigenvalues the powers xik, and each eigenvalue xi of A contributes its multiplicity to that of the eigenvalue xik of Ak. Then the coefficients of the characteristic polynomial of Ak are given by the elementary symmetric polynomials in those powers xik. In particular, the sum of the xik, which is the k-th power sum sk of the roots of the characteristic polynomial of A, is given by its trace:

sk=tr(Ak).

The Newton identities now relate the traces of the powers Ak to the coefficients of the characteristic polynomial of A. Using them in reverse to express the elementary symmetric polynomials in terms of the power sums, they can be used to find the characteristic polynomial by computing only the powers Ak and their traces.

This computation requires computing the traces of matrix powers Ak and solving a triangular system of equations. Both can be done in complexity class NC (solving a triangular system can be done by divide-and-conquer). Therefore, characteristic polynomial of a matrix can be computed in NC. By the Cayley-Hamilton theorem, every matrix satisfies its characteristic polynomial, and a simple transformation allows to find the matrix inverse in NC.

Rearranging the computations into an efficient form leads to the Fadeev-Leverrier algorithm (1840), a fast parallel implementation of it is due to L. Csanky (1976). Its disadvantage is that it requires division by integers, so in general the field should have characteristic 0.

Relation with Galois theory

For a given n, the elementary symmetric polynomials ek(x1,…,xn) for k = 1,…, n form an algebraic basis for the space of symmetric polynomials in x1,…. xn: every polynomial expression in the xi that is invariant under all permutations of those variables is given by a polynomial expression in those elementary symmetric polynomials, and this expression is unique up to equivalence of polynomial expressions. This is a general fact known as the fundamental theorem of symmetric polynomials, and Newton's identities provide explicit formulae in the case of power sum symmetric polynomials. Applied to the monic polynomial tn+k=1n(1)kaktnk with all coefficients ak considered as free parameters, this means that every symmetric polynomial expression S(x1,…,xn) in its roots can be expressed instead as a polynomial expression P(a1,…,an) in terms of its coefficients only, in other words without requiring knowledge of the roots. This fact also follows from general considerations in Galois theory (one views the ak as elements of a base field, the roots live in an extension field whose Galois group permutes them according to the full symmetric group, and the field fixed under all elements of the Galois group is the base field).

The Newton identities also permit expressing the elementary symmetric polynomials in terms of the power sum symmetric polynomials, showing that any symmetric polynomial can also be expressed in the power sums. In fact the first n power sums also form an algebraic basis for the space of symmetric polynomials.

Related identities

There are a number of (families of) identities that, while they should be distinguished from Newton's identities, are very closely related to them.

A variant using complete homogeneous symmetric polynomials

Denoting by hk the complete homogeneous symmetric polynomial that is the sum of all monomials of degree k, the power sum polynomials also satisfy identities similar to Newton's identities, but not involving any minus signs. Expressed as identities of in the ring of symmetric functions, they read

khk=i=1khkipi,

valid for all k ≥ 1. Contrary to Newton's identities, the left-hand sides do not become zero for large k, and the right-hand sides contain ever more non-zero terms. For the first few values of k, one has

h1=p1,2h2=h1p1+p2,3h3=h2p1+h1p2+p3.

These relations can be justified by an argument analogous to the one by comparing coefficients in power series given above, based in this case on the generating function identity

k=0hk(X1,,Xn)tk=i=1n11Xit.

Proofs of Newton's identities, like these given below, cannot be easily adapted to prove these variants of those identities.

Expressing elementary symmetric polynomials in terms of power sums

As mentioned, Newton's identities can be used to recursively express elementary symmetric polynomials in terms of power sums. Doing so requires the introduction of integer denominators, so it can be done in the ring ΛQ of symmetric functions with rational coefficients:

Failed to parse (unknown function "\begin{alignat}"): {\displaystyle \begin{alignat}2 e_1 &= p_1,\\ e_2 &= \textstyle\frac12p_1^2 - \frac12p_2 &&= \textstyle\frac12 ( p_1^2 - p_2 ),\\ e_3 &= \textstyle\frac16p_1^3 - \frac12p_1 p_2 + \frac13p_3 &&= \textstyle\frac{1}{6} ( p_1^3 - 3 p_1 p_2 + 2 p_3 ),\\ e_4 &= \textstyle\frac1{24}p_1^4 - \frac14p_1^2 p_2 + \frac18p_2^2 + \frac13p_1 p_3 - \frac14p_4 &&= \textstyle\frac1{24} ( p_1^4 - 6 p_1^2 p_2 + 3 p_2^2 + 8 p_1 p_3 - 6 p_4 ),\\ \end{alignat}}

and so forth. Applied to a monic polynomial, these formulae express the coefficients in terms of the power sums of the roots: replace each ei by ai and each pk by sk.

Expressing complete homogeneous symmetric polynomials in terms of power sums

The analogous relations involving complete homogeneous symmetric polynomials can be similarly developed, giving equations

Failed to parse (unknown function "\begin{alignat}"): {\displaystyle \begin{alignat}2 h_1 &= p_1,\\ h_2 &= \textstyle\frac12p_1^2 + \frac12p_2 &&= \textstyle\frac12 ( p_1^2 + p_2 ),\\ h_3 &= \textstyle\frac16p_1^3 + \frac12p_1 p_2 + \frac13p_3 &&= \textstyle\frac{1}{6} ( p_1^3 + 3 p_1 p_2 + 2 p_3 ),\\ h_4 &= \textstyle\frac1{24}p_1^4 + \frac14p_1^2 p_2 + \frac18p_2^2 + \frac13p_1 p_3 + \frac14p_4 &&= \textstyle\frac1{24} ( p_1^4 + 6 p_1^2 p_2 + 3 p_2^2 + 8 p_1 p_3 + 6 p_4 ),\\ \end{alignat}}

and so forth, in which there are only plus signs. These expressions correspond exactly to the cycle index polynomials of the symmetric groups, if one interprets the power sums pi as indeterminates: the coefficient in the expression for hk of any monomial p1m1p2m2plml is equal to the fraction of all permutations of k that have m1 fixed points, m2 cycles of length 2, …, and ml cycles of length l. Explicitly, this coefficient can be written as 1/N where N=Πi=1l(mi!imi); this N is the number permutations commuting with any given permutation π of the given cycle type. The expressions for the elementary symmetric functions have coefficients with the same absolute value, but a sign equal to the sign of π, namely (−1)m2+m4+….

Expressing power sums in terms of elementary symmetric polynomials

One may also use Newton's identities to express power sums in terms of symmetric polynomials, which does not introduce denominators:

p1=e1,p2=e122e2,p3=e133e2e1+3e3,p4=e144e2e12+4e3e1+2e224e4,p5=e155e2e13+5e3e12+5e22e15e4e15e3e2+5e5,p6=e166e2e14+6e3e13+9e22e126e4e1212e3e2e1+6e5e12e23+3e32+6e4e26e6,

giving ever longer expressions that do not seem to follow any simple pattern. By consideration of the relations used to obtain these expressions, it can however be seen that the coefficient of some monomial M=Πi=1leimi in the expression for pk has the same sign as the coefficient of the corresponding product Πi=1lpimi in the expression for ek described above, namely the sign (−1)m2+m4+…. Furthermore, the absolute value of the coefficient of M is the sum, over all distinct sequences of elementary symmetric functions whose product is M, of the index of the last one in the sequence: for instance, the coefficient of e15e3e43 in the expression for p20 will be (1)0+3(280×1+56×3+168×4)=1120, since of all distinct orderings of the five factors e1, one factor e3 and three factors e4, there are 280 that end with e1, 56 that end with e3, and 168 that end with e4.

Expressing power sums in terms of complete homogeneous symmetric polynomials

Finally one may use the variant identities involving complete homogeneous symmetric polynomials similarly to express power sums in term of them:

p1=+h1,p2=h12+2h2,p3=+h133h2h1+3h3,p4=h14+4h2h124h3h12h22+4h4,p5=+h155h2h13+5h22h1+5h3h125h3h25h4h1+5h5,p6=h16+6h2h149h22h126h3h13+2h23+12h3h2h1+6h4h123h326h4h26h1h5+6h6,

and so on. Apart from the replacement of each ei by the corresponding hi, the only change with respect to the previous family of identities is in the signs of the terms, which in this case depend just on the number of factors present: the sign of the monomial Πi=1lhimi is −(−1)m1+m2+m3+…. In particular the above description of the absolute value of the coefficients applies here as well.

Expressions as determinants

One can obtain explicit formulas for the above expressions in the form of determinants, by considering the first n of Newton's identities (or it counterparts for the complete homogeneous polynomials) as linear equations in which the elementary symmetric functions are known and the power sums are unknowns (or vice versa), and apply Cramer's rule to find the solution for the final unknown. For instance taking Newton's identities in the form

e1=1p1,2e2=e1p11p2,3e3=e2p1e1p2+1p3,=nen=en1p1en2p2++(1)ne1pn1+(1)n1pn

we consider p1, p2, p3, ..., (1)npn1 and pn as unknowns, and solve for the final one, giving

pn=|10e1e1102e2e2e113e3en1e2e1nen||10e110e2e11en1e2e1(1)n1|=|10e1e1102e2e2e113e3en1e2e1nen|(1)n1=|e1102e2e1103e3e2e11nenen1e1|.

Solving for en instead of for pn is similar, as the analogous computations for the complete homogeneous symmetric polynomials; in each case the details are slightly messier than the final results, which are (Macdonald 1979, p. 20):

en=1n!|p110p2p120pn1pn2p1n1pnpn1p2p1|,pn=(1)n1|h1102h2h1103h3h2h11nhnhn1h1|,hn=1n!|p110p2p120pn1pn2p11npnpn1p2p1|.

Note that the use of determinants makes that the formula for hn has additional minus signs compared to the one for en, while the situation for the expanded form given earlier is opposite. As remarked in (Littlewood 1950, p. 84) one can alternatively obtain the formula for hn by taking the permanent of the matrix for en instead of the determinant, and more generally an expression for any Schur polynomial can be obtained by taking the corresponding immanant of this matrix.

Derivation of the identities

Each of Newton's identities can easily be checked by elementary algebra; however, their validity in general needs a proof. Here are some possible derivations

From the special case n = k

One can obtain the k-th Newton identity in k variables by substitution into

i=1k(txi)=i=0k(1)kieki(x1,,xk)ti

as follows. Substituting xj for t gives

0=i=0k(1)kieki(x1,,xk)xjifor 1jk

Summing over all j gives

0=(1)kkek(x1,,xk)+i=1k(1)kieki(x1,,xk)pi(x1,,xk),

where the terms for i = 0 were taken out of the sum because p0 is (usually) not defined. This equation immediately gives the k-th Newton identity in k variables. Since this is an identity of symmetric polynomials (homogeneous) of degree k, its validity for any number of variables follows from its validity for k variables. Concretely, the identities in n < k variables can be deduced by setting k − n variables to zero. The k-th Newton identity in n > k variables contains more terms on both sides of the equation than the one in k variables, but its validity will be assured if the coefficients of any monomial match. Because no individual monomial involves more than k of the variables, the monomial will survive the substitution of zero for some set of n − k (other) variables, after which the equality of coefficients is one that arises in the k-th Newton identity in k (suitably chosen) variables.

Comparing coefficients in series

Another derivation can be obtained by computations in the ring of formal power series R[[t]], where R is Z[x1,…, xn], the ring of polynomials in n variables x1,…, xn over the integers.

Starting again from the basic relation

i=1n(txi)=k=0n(1)kaktnk

and "reversing the polynomials" by substituting 1/t for t and then multiplying both sides by tn to remove negative powers of t, gives

i=1n(1xit)=k=0n(1)kaktk.

(the above computation should be performed in the field of fractions of R[[t]]; alternatively, the identity can be obtained simply by evaluating the product on the left side)

Swapping sides and expressing the ai as the elementary symmetric polynomials they stand for gives the identity

k=0n(1)kek(x1,,xn)tk=i=1n(1xit).

One formally differentiates both sides with respect to t, and then (for convenience) multiplies by t, to obtain

k=0n(1)kkek(x1,,xn)tk=ti=1n((xi)ji(1xjt))=(i=1nxit1xit)j=1n(1xjt)=(i=1nj=1(xit)j)(=0n(1)e(x1,,xn)t)=(j=1pj(x1,,xn)tj)(=0n(1)1e(x1,,xn)t),

where the polynomial on the right hand side was first rewritten as a rational function in order to be able to factor out a product out of the summation, then the fraction in the summand was developed as a series in t, using the formula

X1X=X+X2+X3+X4+X5+,

and finally the coefficient of each t j was collected, giving a power sum. (The series in t is a formal power series, but may alternatively be thought of as a series expansion for t sufficiently close to 0, for those more comfortable with that; in fact one is not interested in the function here, but only in the coefficients of the series.) Comparing coefficients of tk on both sides one obtains

(1)kkek(x1,,xn)=j=1k(1)kj1pj(x1,,xn)ekj(x1,,xn),

which gives the k-th Newton identity.

As a telescopic sum of symmetric function identities

The following derivation, given essentially in (Mead, 1992), is formulated in the ring of symmetric functions for clarity (all identities are independent of the number of variables). Fix some k > 0, and define the symmetric function r(i) for 2 ≤ i ≤ k as the sum of all distinct monomials of degree k obtained by multiplying one variable raised to the power i with k − i distinct other variables (this is the monomial symmetric function mγ where γ is a hook shape (i,1,1,…1)). In particular r(k) = pk; for r(1) the description would amount to that of ek, but this case was excluded since here monomials no longer have any distinguished variable. All products pieki can be expressed in terms of the r(j) with the first and last case being somewhat special. One has

pieki=r(i)+r(i+1)for 1<i<k

since each product of terms on the left involving distinct variables contributes to r(i), while those where the variable from pi already occurs among the variables of the term from eki contributes to r(i + 1), and all terms on the right are so obtained exactly once. For i = k one multiplies by e0 = 1, giving trivially

pke0=pk=r(k).

Finally the product p1ek−1 for i = 1 gives contributions to r(i + 1) = r(2) like for other values i < k, but the remaining contributions produce k times each monomial of ek, since any one of the variables may come from the factor p1; thus

p1ek1=kek+r(2).

The k-th Newton identity is now obtained by taking the alternating sum of these equations, in which all terms of the form r(i) cancel out.

See also

References

  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • 55 years old Systems Administrator Antony from Clarence Creek, really loves learning, PC Software and aerobics. Likes to travel and was inspired after making a journey to Historic Ensemble of the Potala Palace.

    You can view that web-site... ccleaner free download Template:Arxiv
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • One of the biggest reasons investing in a Singapore new launch is an effective things is as a result of it is doable to be lent massive quantities of money at very low interest rates that you should utilize to purchase it. Then, if property values continue to go up, then you'll get a really high return on funding (ROI). Simply make sure you purchase one of the higher properties, reminiscent of the ones at Fernvale the Riverbank or any Singapore landed property Get Earnings by means of Renting

    In its statement, the singapore property listing - website link, government claimed that the majority citizens buying their first residence won't be hurt by the new measures. Some concessions can even be prolonged to chose teams of consumers, similar to married couples with a minimum of one Singaporean partner who are purchasing their second property so long as they intend to promote their first residential property. Lower the LTV limit on housing loans granted by monetary establishments regulated by MAS from 70% to 60% for property purchasers who are individuals with a number of outstanding housing loans on the time of the brand new housing purchase. Singapore Property Measures - 30 August 2010 The most popular seek for the number of bedrooms in Singapore is 4, followed by 2 and three. Lush Acres EC @ Sengkang

    Discover out more about real estate funding in the area, together with info on international funding incentives and property possession. Many Singaporeans have been investing in property across the causeway in recent years, attracted by comparatively low prices. However, those who need to exit their investments quickly are likely to face significant challenges when trying to sell their property – and could finally be stuck with a property they can't sell. Career improvement programmes, in-house valuation, auctions and administrative help, venture advertising and marketing, skilled talks and traisning are continuously planned for the sales associates to help them obtain better outcomes for his or her shoppers while at Knight Frank Singapore. No change Present Rules

    Extending the tax exemption would help. The exemption, which may be as a lot as $2 million per family, covers individuals who negotiate a principal reduction on their existing mortgage, sell their house short (i.e., for lower than the excellent loans), or take part in a foreclosure course of. An extension of theexemption would seem like a common-sense means to assist stabilize the housing market, but the political turmoil around the fiscal-cliff negotiations means widespread sense could not win out. Home Minority Chief Nancy Pelosi (D-Calif.) believes that the mortgage relief provision will be on the table during the grand-cut price talks, in response to communications director Nadeam Elshami. Buying or promoting of blue mild bulbs is unlawful.

    A vendor's stamp duty has been launched on industrial property for the primary time, at rates ranging from 5 per cent to 15 per cent. The Authorities might be trying to reassure the market that they aren't in opposition to foreigners and PRs investing in Singapore's property market. They imposed these measures because of extenuating components available in the market." The sale of new dual-key EC models will even be restricted to multi-generational households only. The models have two separate entrances, permitting grandparents, for example, to dwell separately. The vendor's stamp obligation takes effect right this moment and applies to industrial property and plots which might be offered inside three years of the date of buy. JLL named Best Performing Property Brand for second year running

    The data offered is for normal info purposes only and isn't supposed to be personalised investment or monetary advice. Motley Fool Singapore contributor Stanley Lim would not personal shares in any corporations talked about. Singapore private home costs increased by 1.eight% within the fourth quarter of 2012, up from 0.6% within the earlier quarter. Resale prices of government-built HDB residences which are usually bought by Singaporeans, elevated by 2.5%, quarter on quarter, the quickest acquire in five quarters. And industrial property, prices are actually double the levels of three years ago. No withholding tax in the event you sell your property. All your local information regarding vital HDB policies, condominium launches, land growth, commercial property and more

    There are various methods to go about discovering the precise property. Some local newspapers (together with the Straits Instances ) have categorised property sections and many local property brokers have websites. Now there are some specifics to consider when buying a 'new launch' rental. Intended use of the unit Every sale begins with 10 p.c low cost for finish of season sale; changes to 20 % discount storewide; follows by additional reduction of fiftyand ends with last discount of 70 % or extra. Typically there is even a warehouse sale or transferring out sale with huge mark-down of costs for stock clearance. Deborah Regulation from Expat Realtor shares her property market update, plus prime rental residences and houses at the moment available to lease Esparina EC @ Sengkang
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

External links