スツルムの定理

スツルムの定理（スツルムのていり、）とは、実係数一変数多項式の任意に指定された実区間に含まれる（重複を含めない）実零点の個数を決定する方法である（扱える区間としては無限区間、半無限区間も含む）。

代数学の基本定理によれば（一般には複素係数の）一変数多項式の重複を込めた複素零点の個数はその多項式の次数に等しいが、スツルムの定理では実係数多項式の実零点の個数を重複を考慮せずに扱っている。

スツルム列とスツルムの定理は、1829年に定理を発見したジャック・シャルル・フランソワ・スツルムにちなんで名付けられた。

 スツルム列 
実区間が与えられたとき、次の4つの条件を満足する実係数をもつ多項式列

は区間においてスツルム列（スツルム関数列）をなすという。
 列中にある任意の隣り合う2つの多項式とは、区間に於いて共通の零点を持たない。
 列中にある任意の隣り合う3つの多項式、、について、区間に於ける多項式の零点に対して、その両側の多項式のに於ける値の符号は逆になる（つまりかつならばである）。
 列の最後の多項式は 区間に於いて一定の符号を持つ（つまりは区間に零点を持たない）。
 の区間に於ける任意の零点をとすれば、である。ここではの導関数を表す。

 ユークリッドの互除法によるスツルム列の生成 
上の条件を満足するスツルム列の一つとして、多項式とその微分について

とおき、これにユークリッドの互除法を適用することで得られる多項式列がある:

このときはととの最大公約数であり、さらにとが共通根をもたない、すなわちが単根のみをもつとき、定数を満足する。

また、3重対角化された対称行列からなる行列の主小行列式により構成される多項式列や、最高次の係数が正である直交多項式の列も区間においてスツルム列をなす。

 スツルムの定理 
実係数多項式の列はでスツルム列をなし、であるとする。
このとき、を固定して関数値の列

を左から右に見ていったときの符号（正負）の変化の回数をとすると、方程式の区間内における解の個数は

で与えられる。

 スツルムの方法 
スツルムの定理を用いることで、区間内に存在するの実根の個数を求めることができるが、これを利用して区間縮小法により実係数をもつ代数方程式の実数解を求めることができる。

たとえば区間を2等分してなる二つの区間に分け、各区間における根の個数をスツルムの定理によって求める、という手順を繰り返してしだいに区間を狭くしていく。そして、一つの根だけが存在する区間を十分に小さくすることで、根の近似値を得ることができる。（二分法）

また、区間においてを固定してをになるまで小さくし、それから二分法を用いてになるようにの値を近づけることで根の最小値を決定し、そして次に小さい根を決定する、といったように根の近似値を小さい根の方から、あるいは大きい方から得ることもできる。

このように二分法やニュートン法などの求根アルゴリズムを用いてスツルムの定理から根の近似値を求める手法をスツルムの方法という。

実対称行列あるいはエルミート行列の固有値問題においても、指定された実区間にある固有値の個数（重複度を含めた）を求めることにより区間縮小法により固有値の存在範囲の狭めて近似値を求めるスツルムの二分法として応用される。

 参考文献 

 高木貞治、「代数学講義(改訂新版)」第3章スツルムの問題,根の計算, 共立出版､1965年（初版は1930年､改訂版は1948年）



 関連項目 
 代数方程式
 固有値問題
 二分法
 実根分離
 ブダンの定理
 ヴァンサンの定理

Category:応用力学
Category:数値解析
Category:解析学の定理
Category:数学に関する記事
Category:数学のエポニム