劳斯–赫尔维茨稳定性判据

**勞斯–赫爾維茨穩定性判據**（英語：Routh–Hurwitz stability criterion）是控制理論中的一個數學判據，是線性時不變系統（LTI）穩定的充分必要條件。勞斯測試是由英國數學家愛德華・勞斯在 1876 年提出的快速演算法，可以判斷一線性系統其特徵方程式的根是否都有負的實部。德國數學家阿道夫・赫維茲在 1895 年獨立的提出將多項式的係數放到一個方陣中（此方陣稱為赫維茲矩陣），證明多項式穩定若且唯若赫維茲矩陣的主要子矩陣其行列式形成的數列均為正值。二個程序是等價的，而勞斯測試提供一個有效計算赫維茲行列式的方法。滿足勞斯–赫爾維茨穩定性判據的多項式稱為赫爾維茨多項式。

此穩定性判據之所以重要，是因為若線性系統之特徵方程式的根 _p_ 均有負的實部，表示其解 _ept_ 為穩定的（BIBO 穩定）。因此穩定性判據提供了方式，可以在不求解線性系統的運動方程的情形下，判斷其是否只有穩定解。對於離散系統，對應穩定性的測試可以由 Schur–Cohn 判據、Jury 穩定性判據及 Bistritz 穩定性判據來判斷。隨著電腦的進步，此穩定性判據變的較少使用，另一種判斷的方式則是用數值方法直接求解多項式，得到其解的近似值。

勞斯測試可以由輾轉相除法以及在計算柯西指標時用施圖姆定理來推導。赫爾維茨利用另一種方式來推導其穩定性判據。

## 利用輾轉相除法求解

勞斯–赫爾維茨穩定性判據和勞斯–赫爾維茨定理有關。由定理的陳述，可得 $p-q=w(+\infty )-w(-\infty )$ 其中：

* _p_ 為多項式_ƒ_(_z_) 的根中實部為負值的個數。
* _q_ 為多項式_ƒ_(_z_) 的根中實部為正值的個數。（此假設_ƒ_(_z_) 的根都不在虛軸上）
* _w_(_x_) 為由 $P_{0}(y)$ 及 $P_{1}(y)$ 由施圖姆定理得到的變號數（中間利用連續的輾轉相除法），其中 $f(iy)=P_{0}(y)+iP_{1}(y)$ ，_y_ 為實數。

根據代數基本定理，每個 _n_ 次的多項式在複數平面上會有 _n_ 個根（也就是，對於根都不在虛軸上的_ƒ_，_p_ + _q_ = _n_）。因此可得到_ƒ_為（穩定的）赫爾維茨多項式若且唯若 _p_ − _q_ = _n_。利用勞斯–赫爾維茨定理，可以將 _p_ 和 _q_ 的條件改為以廣義施圖姆鏈組成的條件，也就是以_ƒ_的係數組合而成的條件。

## 使用矩陣

令 _f_(_z_) 為一個復多項式。過程如下：

1. 計算多項式 $P_{0}(y)$ 和 $P_{1}(y)$ 使得 $f(iy)=P_{0}(y)+iP_{1}(y)$ 其中 _y_ 為一實數。
2. 計算與 $P_{0}(y)$ 和 $P_{1}(y)$ 相關的西爾維斯特矩陣。
3. 重新排列每一行，讓奇數行和其下一行起始地零數量相同。
4. 計算該矩陣的每個主子式。
5. 如果這些子式中至少一個為負（或零），則多項式 _f_ 是不穩定的。

### 範例

* 令 $f(z)=az^{2}+bz+c$ (為了簡單起見，此處取實係數），其中 $c\neq 0$ （為了避免一根為零，可以利用勞斯–赫爾維茨定理）。首先，要計算實多項式 $P_{0}(y)$ 與 $P_{1}(y)$ ：

　
: : $f(iy)=-ay^{2}+iby+c=P_{0}(y)+iP_{1}(y)=-ay^{2}+c+i(by).$

　
: 接下來，將多項式輾轉相除來得到廣義施圖姆鏈：
 * $P_{0}(y)=((-a/b)y)P_{1}(y)+c,$ 得到 $P_{2}(y)=-c,$
* $P_{1}(y)=((-b/c)y)P_{2}(y),$ 得到 $P_{3}(y)=0$ ，於是輾轉相除法結束。

注意在第一次除法中，必須假設 _b_ 不為零。在此情形下，廣義施圖姆鏈為 $(P_{0}(y),P_{1}(y),P_{2}(y))=(c-ay^{2},by,-c)$ 。令 $y=+\infty $ ， $c-ay^{2}$ 的符號與 _a_ 相反，而 _by_ 的符號與 _b_ 相同。當令 $y=-\infty $ 時，該鏈的第一部分符號也與 _a_ 相反，而 _by_ 的符號與 _b_ 相反。最終，-_c_ 的符號總與 _c_ 相反。

現在假設 _f_ 是赫爾維茨穩定的。這意味著 $w(+\infty )-w(-\infty )=2$ （_f_ 的階數）。由函數 _w_ 的性質，這與 $w(+\infty )=2$ 及 $w(-\infty )=0$ 相同。因此，_a_, _b_ 和 _c_ 必須符號相同。因此找到了二階多項式穩定的必要條件.

### 二階、三階、四階多項式的勞斯–赫爾維茨判據

在下面，假設最高階的係數（例如二階多項式中的 $a_{2}$ ）為正。如果有必要，總可以將該多項式乘以 $-1$ 得到。

* 對於二階多項式 $P(s)=a_{2}s^{2}+a_{1}s+a_{0}=0$ ，如果所有係數都滿足 $a_{n}>0$ ，則所有根都在左半平面（特徵方程為 $P(s)$ 的系統穩定）.
* 對於三階多項式 $P(s)=a_{3}s^{3}+a_{2}s^{2}+a_{1}s+a_{0}=0$ ，所有係數都滿足 $a_{n}>0$ ，並且 $a_{2}a_{1}>a_{3}a_{0}$
* 對於四階多項式 $P(s)=a_{4}s^{4}+a_{3}s^{3}+a_{2}s^{2}+a_{1}s+a_{0}=0$ ，所有係數都滿足 $a_{n}>0$ ，並且 $a_{3}a_{2}>a_{4}a_{1}$ 且 $a_{3}a_{2}a_{1}>a_{4}a_{1}^{2}+a_{3}^{2}a_{0}$
* 一般地，勞斯穩定性判據要求勞斯表的第一列所有元素符號相同。

滿足上述判據的系統稱為閉環穩定系統，否則會由於第一列元素符號改變而不穩定。

### 高階的例子

當難以求得高階特徵多項式的根的時候，可以用表格的方法來確定穩定性。對一個 _n_ 階多項式

 * $D(s)=a_{n}s^{n}+a_{n-1}s^{n-1}+\cdots +a_{1}s+a_{0}$

該表格由 _n_+ 1 行，結構如下：

其中元素 $b_{i}$ 和 $c_{i}$ 可以計算如下：

 * $b_{i}={\frac {a_{n-1}\times {a_{n-2i}}-a_{n}\times {a_{n-2i-1}}}{a_{n-1}}}.$
* $c_{i}={\frac {b_{1}\times {a_{n-2i-1}}-a_{n-1}\times {b_{i+1}}}{b_{1}}}.$

算完之後，第一列中的符號數的變化將是非負極點的數目。

在第一列中，有 2 個符號的變化（0.75 → −3，以及 −3 → 3），因此，有 2 個非負的根，系統是不穩定的。

有時虛軸上的極點會造成臨界穩定的情形。在那種情形中，「勞斯表」的係數一整行都會變為零，因而不能進一步求解出符號的改變了。然後另一種方法可以發揮作用。含有零的這一行的上面一行叫做「輔助多項式」。

 * $s^{6}+2s^{5}+8s^{4}+12s^{3}+20s^{2}+16s+16=0.\,$

可得以下的表格：

在這個例子中，輔助多項式為 $A(s)=2s^{4}+12s^{2}+16.\,$ 仍為零。下一步是對上面的方程求導，得到下面的多項式。 $B(s)=8s^{3}+24s^{1}$ 。包含零的行現在變為 "8" 和 "24"。使用這些值繼續建立勞斯表，就會得出虛軸上的兩個點。這兩個虛軸上的點是邊緣穩定性的主要原因。

## 參見

* 控制工程
* 勞斯陣列的推導
* 奈奎斯特穩定判據
* 勞斯–赫爾維茨定理
* 根軌跡圖
* 傳遞函數
* Jury 穩定性判據
* Bistritz 穩定性判據
* 哈利托諾夫定理
* 林納德–奇帕特判據

## 參考文獻

* Felix Gantmacher (J.L. Brenner translator) (1959) _Applications of the Theory of Matrices_, pp 177–80, New York: Interscience.
* Pippard, A. B.; Dicke, R. H. Response and Stability, An Introduction to the Physical Theory. American Journal of Physics. 1986, **54** (11): 1052 [2008-05-07]. Bibcode:1986AmJPh..54.1052P. doi:10.1119/1.14826. （原始內容存檔於 2016-05-14）.
* Richard C. Dorf, Robert H. Bishop. Modern Control Systems 9th. Prentice Hall. 2001. ISBN 0-13-030660-6.
* Rahman, Q. I.; Schmeisser, G. Analytic theory of polynomials. London Mathematical Society Monographs. New Series **26**. Oxford: Oxford University Press. 2002. ISBN 0-19-853493-0. Zbl 1072.30006.
* Weisstein, Eric W. Routh-Hurwitz Theorem.. MathWorld--A Wolfram Web Resource. [2015-11-03]. （原始內容存檔於 2022-07-20）.

## 外部連結

* A MATLAB script implementing the Routh-Hurwitz test （頁面存檔備份，存於網際網路檔案館）