ニュートンの恒等式

ニュートンの恒等式、ジラール-ニュートンの公式は、べき乗和と基本対称式との関係を与える。この関係は、単行多項式Pの根が与えられたとき、それらのk乗の和が、根を明示的に求めなくても、Pの係数によって表されることを意味する。この恒等式は1666年にアイザック・ニュートンによって発見された。実際にはこの式はこれよりも前に、アルベルト・ジラールにより発見されている。この恒等式はガロア理論、不変式論、群論、組み合わせ論を含む数学の多くの分野での応用や、一般相対性理論を含む数学以外のさらなる応用をもつ。

1. 定義
-----

1.1. 対称多項式による定式化
----------------

//x//1,...,//x////n//を変数とし、 //k// ≥1について //pkを //次のべき乗和:

//とする。そして、k// ≥ 0 について e//k////をk次の基本対称式とする。これは//k//個の相異なる変数の関の和である。

このとき、ニュートンの恒等式は次のように述べることができる：

この式はすべての n ≥1と//n≥K//≥1について有効である。

また、

この式はすべての//k//   >>   //n//   ≥   1について成り立つ

具体的には以下のようになる。

これらの等式は変数の数//n//に依存しない。

これらの方程式により、e//i//をp//k//により表すことができる。また逆に

もなりたつ。一般に

がすべての//n//≥1と//n≥K//≥1について成り立つ。

が//k//   >   //n//   ≥   1について成り立つ。

1.2. 多項式の根への適用
--------------

//xiを//根を持つ多項式は、以下のように展開できる。

ここで、 は上で定義された対称多項式である。根のべき和を考えると

を根に持つ多項式の係数はべき和により次のように表すことができる。

この方法で多項式を定式化すると、Delves や Lyness の方法により解析関数の零点を見つけるのに役立つ。

1.3. 行列の特性多項式への適用
-----------------

上記の多項式が行列//Aの//特性多項式である場合、根 は行列の固有値となる。また、任意の正の整数//k//に対して、行列 //A////k//は固有値 を持ち、これらの和は//A////k//のトレース：

により表される。ニュートンの恒等式によりこれらから基本対称式が求まるため、//A//の特性多項式の係数をA//k//のトレースを計算することにより求めることができる。

この計算では、行列のべき乗//A////k//のトレースの計算と、ニュートンの恒等式を解く際に三角化された連立方程式を解く必要がある。これらの計算はどちらも複雑度クラスNCで実行できる。したがって、行列の特性多項式はNCで計算できる。ケイリー・ハミルトンの定理により、すべての行列はその特性多項式を満たし、単純な変換により、NCで余因子行列を見つけることができる。

計算を効率的な形式に再配置すると、//ファデーエフ・ルベリエアルゴリズム//が得られる。これの高速並列実装は、L. Csankyにより得られた。この方式の欠点は、整数による除算が必要なことである。したがって、群の標数は0である必要がある。

1.4. ガロア理論との関係
--------------

与えられたn//、k=1,...,n// について初等対称多項式 //ek// は//x////i// に関する対象式の代数的基底を形成する。//x////i// のすべての置換について不変な多項式は基本対称式により表される。これは対称多項式の基本定理として知られている一般的な事実であり、ニュートンの恒等式はべき和対称多項式について明示的な関係を示しいる。

単項多項式 にこれを適用すれば、この多項式の根についての対称式//S//は、係数を用いた多項式//P//により表せることがわかる。このことはガロア理論の一般的結果である。

ニュートンの恒等式は、基本対称多項式をべき和対称多項式で表現することを可能にする。これは、任意の対称多項式がべき和で表現できることを示している。

2. 関連する恒等式
----------

ニュートンの恒等式に関連する恒等式がいくつかある。

2.1. 完全斉次対称式を使用した変形
-------------------

次数 //k// の単項式の和である完全斉次対称式 //hk//についても、ニュートン恒等式と同様に以下の恒等式が存在する。ニュートン恒等式とは異なり、マイナスの符号が現れない。

この式はすべてのn≥//k//≥1に対し成り立つ。ニュートンの公式とは異なり、左辺は大きなkに対して０にはならない。また、左辺には多くのゼロ項が含まれている。右側には、これまで以上にゼロ以外の項が含まれています。具体的には以下のようになる。

これらの関係は、以下のような母関数の恒等式の係数を比較することで確認できる。

2.2. べき和による基本対称多項式を表現
---------------------

前述のように、ニュートンの公式を使用して、べき和により基本対称多項式を再帰的に表現できる。

一般式は次のように簡単に表すことができる。

ここで、//Bn// は完全指数ベル多項式である。この式は、母関数の恒等式を与える。

この関係を単項多項式に適用すれば、係数を根のべき和で表すことができる。

2.3. べき和による完全同次対称式の表現
---------------------

完全斉次対称式についても同様の関係式を得ることができる。

この場合もベル多項式により以下のように表される。

これらの式は、対称群の巡回指標多項式に対応する。単項式 //p//1//m//1//p//2//m//2...//plml// に対応する//hk// を表す式の係数は、//k// の置換のうち、//m//1の固定点をもち、//m//2 の長さ2の巡回をもち、...、//ml// の長さ //l// の巡回をもつ置換のすべての置換に対する割合である。明示的にはこの係数はと表される。ここで

である。この//N// は、対応する巡回の種類と可換な置換の数を表す。

これは、次の帰納的ステップを検討することで証明できる。

2.4. 基本対称多項式によるべき和の表現
---------------------

ニュートンの恒等式から基本対象式によりべき和を表すことができる。

最初の4つの公式は、アルベールジラールによってニュートン以前の1629年に得られた。

通常のベル多項式により次のように簡単に表すことができる。

または母関数として表すことができる。

これはベル多項式の指数的母関数と類似している。

上式は、次の帰納法のステップを検討することで証明できる。

2.5. 完全同次対称式によるべき和の表現
---------------------

最後に、完全同次対称式によるべき和の表現を示す。

基本対称式の場合と比べ、//ei// のかわりに//hi//となっており、各項の符号が異なっている。

一般式は次のとおりである。

2.6. 行列式による表現
-------------

ニュートンの恒等式は、クラメルの法則を適用することで、行列式の形で表すことができる。以下に示すニュートンの恒等式：

について、を未知変数として、連立方程式を解く。これにより以下の表現が得られる。

の代わりにを解くと以下のようになる：

3. 恒等式の導出
---------

ニュートンの恒等式は、初等代数で簡単に確認できる。

3.1. //n// = //k// の場合による導出
---------------------------

以下の式から、k変数のk番目のニュートンの公式を取得できる。

ここで、//xj// に //t// を代入する。

これをすべてのjについて合計すると

ここで //i// = 0 の項は、//p//0 の定義がないため、取り除かれている。この式は k 変数 k 番目のニュートンの恒等式を表している。

変数の数が //n// < //k// の場合は、//k//−//n// 個の変数をゼロとすることで得られる。また変数の数が //n// > //k// の場合、n 個の変数から k 個を選び、そのすべての組み合わせに対して k 変数 k 番目のニュートン恒等式を足し合わせることで得られる。

3.2. 係数の比較
----------

また別の導出は、形式的べき級数 //R[t]// を用いて得ることができる。ここで //R// は//x//1,..., //xn// を変数とする整数上の多項式環 Z[//x//1,..., //xn//] である。

基本的な関係

ここで //t を1/t// で置き換え、両辺に //tn// をかけることにより、負指数のべき乗を取り除く。

両辺を入れ替え、//ai// を基本対称式で表すことで以下の式を得る。

両辺を//t// について形式的に微分し、//t// をかけることで、以下の式を得る。

ここで、右辺の多項式はまず有理関数に変形され、次に以下の公式により変形される。

最後に//t j// の係数を比較することで以下の式が得られる。

//k// 番目のニュートンの恒等式を与える。

4. 参照
-----

対称式

5. 参考文献
-------

MathWorldの[1]
数学雑誌における[2]
[3]
[4]論的証明

6. 脚注
-----