施图姆定理

Template:NoteTA 施图姆定理是一个用于决定多项式的不同实根的个数的方法。这个方法是以雅克·夏尔·弗朗索瓦·施图姆命名的。

施图姆定理与代数基本定理的一个区别是，代数基本定理是关于多项式的实根或复根的个数，把重根也计算在内，而施图姆定理则只涉及实根，且不把重根计算在内。

标准施图姆序列

我们首先从以下不含重根的多项式构造一个施图姆序列：

$X=a_n{x}^n+\dots +a_{1}x+a_0.$

标准施图姆序列是把多项式长除法应用于$X$和它的导数$X_1=X^{\prime }$时，所得到的中间结果的序列。

标准施图姆序列由以下公式计算：

$\begin{array}{ccc}{X}_2& =& -\mathrm{r}\mathrm{e}\mathrm{m}(X,X_1)\\ X_3& =& -\mathrm{r}\mathrm{e}\mathrm{m}(X_1,X_2)\\ & ⋮& \\ 0& =& -\mathrm{r}\mathrm{e}\mathrm{m}(X_{r-1},X_r),\end{array}$

也就是说，序列中每一项都是前两项相除所得的余数，并将其变号。由于当$1\le i<r$时，$\mathrm{deg}{X}_{i+1}\le \mathrm{deg}{X}_i-1$，因此这个序列最终要停止。最后一个多项式，$X_r$，就是$X$和它的导数的最大公因式。由于$X$没有重根，因此$X_r$是一个常数。于是，标准施图姆序列为：

$X,X_1,X_2,\dots ,X_r.$

表述

设$V_{\xi }$为以下序列中符号变化的次数（零不计算在内）：

$X(\xi ),X_1(\xi ),X_2(\xi ),\dots ,X_r(\xi ),$

其中$X$是不含重根的多项式。于是，施图姆定理说明，对于两个实数$a,b$，开区间$(a,b)$中的不同根的个数为$V_a-V_b$。

应用

通过恰当选择$a,b$，这个定理可以用来计算多项式的实根的总个数。例如，柯西发现的一个定理说明，系数为$a_i$的多项式的所有实根都在区间$[-M,M]$内，其中：

$M=1+\frac{{\max }_{i=0}^{n-1}|a_i|}{|a_n|}.$

除此以外，我们还可以利用下列事实：对于很大的正数$x$，以下多项式的符号

$P(x)=a_n{x}^n+\cdots$

是$\mathrm{sgn}(a_n)$，而$\mathrm{sgn}(P(-x))$则是$\mathrm{sgn}((-1{)}^n{a}_n)$。

用这种方法，仅仅计算施图姆序列中首项系数的符号变化，就可以得出多项式的不同实根的个数。

通过施图姆定理的帮助，我们还可以决定某个给定根（例如$\xi$）是几重根。确实，假设我们知道$\xi$在$(a,b)$内，且$V_a-V_b=1$。那么，$\xi$是$m$重根正好当$\xi$是$X_r$的$m-1$重根时（这是因为它是$X$和它的导数的最大公因式）。

一般的施图姆序列

$[a,b]$ 上的施图姆序列，是实系数多项式 $X$ 的一个有限序列$X_0,X_1,\dots ,X_r$，使得：

1. $X_r$在 $[a,b]$ 上没有根
2. $X_0(a)X_0(b)\ne 0$
3. 如果对于$\xi \in [a,b],1\le i\le r-1,X_i(\xi )=0$，那么$X_{i-1}(\xi )X_{i+1}(\xi )<0$
4. 若对于$\xi \in [a,b],X(\xi )=0$ ,则存在$\delta >0$,使得 $c\in (\xi -\delta ,\xi )$时，$X_0(c)X_1(c)<0$ 而 $c\in (\xi ,\xi +\delta )$ 时 $X_0(c)X_1(c)>0$

我们可以验证每一个标准施图姆序列确实是如上定义的施图姆序列。

相關條目

• 劳斯–赫尔维茨稳定性判据
• 笛卡儿符号法则

參考資料

• D.G. Hook and P.R. McAree, "Using Sturm Sequences To Bracket Real Roots of Polynomial Equations" in Graphic Gems I (A. Glassner ed.), Academic Press, p. 416-422, 1990.

外部链接

• 施图姆定理的C代码