Routh-Hurwitz Criterion

Suppose we are given an nth order homogeneous system of differential equations with constant coefficients:

\[ \mathbf{X'}\left( t \right) = A\mathbf{X}\left( t \right),\;\; \mathbf{X}\left( t \right) = \left[ {\begin{array}{*{20}{c}} {{x_1}\left( t \right)}\\ {{x_2}\left( t \right)}\\ \vdots \\ {{x_n}\left( t \right)} \end{array}} \right],\;\; A = \left[ {\begin{array}{*{20}{c}} {{a_{11}}}&{{a_{12}}}& \vdots &{{a_{1n}}}\\ {{a_{21}}}&{{a_{22}}}& \vdots &{{a_{2n}}}\\ \cdots & \cdots & \cdots & \cdots \\ {{a_{n1}}}&{{a_{n2}}}& \vdots &{{a_{nn}}} \end{array}} \right],\]

where \(\mathbf{X}\left( t \right)\) is an \(n\)-dimensional vector containing the unknown functions, \(A\) is a square matrix of size \(n \times n.\)

A nonlinear autonomous system can be reduced to the linear system by performing a linearization around an equilibrium point. Then without loss of generality, we may assume that the equilibrium point is at the origin. It is always possible to reach by choosing a suitable coordinate system.

The stability or instability of the equilibrium state is determined by the signs of the real parts of the eigenvalues of \(A.\) To find the eigenvalues \(\lambda,\) it is necessary to solve the auxiliary equation

\[\det \left( {A - \lambda I} \right) = 0,\]

which is reduced to an algebraic equation of the \(n\)th degree

\[{a_0}{\lambda ^n} + {a_1}{\lambda ^{n - 1}} + {a_2}{\lambda ^{n - 2}} + \cdots + {a_{n - 1}}\lambda + {a_n} = 0.\]

The roots of this equation can be easily calculated in the case \(n = 2,\) and in some cases when \(n \ge 3.\) In other cases, solving the auxiliary equation can be a difficult problem. Moreover, Norwegian mathematician Niels Henrik Abel \(\left( 1802-1829 \right)\) proved a theorem according to which the general algebraic equation of degree \(n \ge 5\) cannot be solved using four basic arithmetical operations, that is there is no formula expressing the roots of the equation through its coefficients in the case \(n \ge 5.\)

In such a situation, methods allowing to determine whether all roots have negative real parts and establish the stability of the system without solving the auxiliary equation itself, are of great importance. One of these methods is the Routh-Hurwitz criterion, which contains the necessary and sufficient conditions for the stability of the system.

Consider again the auxiliary equation

\[{a_0}{\lambda ^n} + {a_1}{\lambda ^{n - 1}} + {a_2}{\lambda ^{n - 2}} + \cdots + {a_{n - 1}}\lambda + {a_n} = 0,\]

describing the dynamic system. Note that the necessary condition for the stability is satisfied if all the coefficients \({a_i} \gt 0.\) Therefore, we assume that the coefficient \({a_0} \gt 0.\) We write the so-called Hurwitz matrix. It is composed as follows.

The main diagonal of the matrix contains elements \({a_1},\) \({a_2}, \ldots ,\) \({a_n}.\) The first column contains numbers with odd indices \({a_1},\) \({a_3},\) \({a_5}, \ldots \) In each row, the index of each following number (counting from left to right) is \(1\) less than the index of its predecessor. All other coefficients \({a_i}\) with indices greater than \(n\) or less than \(0\) are replaced by zeros. The result is a matrix of kind

The principal diagonal minors \({\Delta _i}\) of the Hurwitz matrix are given by the formulas

\[ {\Delta _1} = {a_1},\;\;{\Delta _2} = \left| {\begin{array}{*{20}{c}} {{a_1}}&{{a_0}}\\ {{a_3}}&{{a_2}} \end{array}} \right|,\;\; {\Delta _3} = \left| {\begin{array}{*{20}{c}} {{a_1}}&{{a_0}}&0\\ {{a_3}}&{{a_2}}&{{a_1}}\\ {{a_5}}&{{a_4}}&{{a_3}} \end{array}} \right|,\;\; {\Delta _n} = \left| {\begin{array}{*{20}{c}} {{a_1}}&{{a_0}}&0& \vdots &0\\ {{a_3}}&{{a_2}}&{{a_1}}& \vdots &0\\ {{a_5}}&{{a_4}}&{{a_3}}& \vdots &0\\ \cdots & \cdots & \cdots & \cdots & \cdots \\ 0&0&0& \vdots &{{a_n}} \end{array}} \right|.\]

We now formulate the Routh-Hurwitz stability criterion: The roots of the auxiliary equation have negative real parts if and only if all the principal diagonal minors of the Hurwitz matrix are positive provided that \({a_0} \gt 0:\) \({\Delta _1} \gt 0,\) \({\Delta _2} \gt 0,\ldots,\) \({\Delta _n} \gt 0.\) As \({\Delta _n} = {a_n}{\Delta _{n - 1}},\) the last inequality can be written as \({a_n} \gt 0.\)

For the most common systems of the \(2\)nd, \(3\)rd and \(4\)th order, we obtain the following stability criteria:

For a second order system, the condition of the stability is given by

\[{a_0} \gt 0,\;\; {\Delta _1} = {a_1} \gt 0,\;\; {\Delta _2} = \left| {\begin{array}{*{20}{c}} {{a_1}}&{{a_0}}\\
{{a_3}}&{{a_2}} \end{array}} \right| = {a_1}{a_2} \gt 0\]

\[{a_0} \gt 0,\;\; {a_1} \gt 0,\;\; {a_2} \gt 0,\]

that is, all coefficients of the quadratic characteristic equation must be positive. In other words, for a system of \(2\)nd order, the necessary condition of the stability is also the sufficient one. We emphasize that we consider here the asymptotic stability of the zero solution.

For a \(3\)rd order system, the stability criterion is defined by the inequalities

\[{a_0} \gt 0,\;\; {a_1} \gt 0,\;\; {a_2} \gt 0,\;\; {a_3} \gt 0,\;\; {a_1}{a_2} - {a_0}{a_3} \gt 0.\]

Similarly, for a \(4\)th order system, we obtain the following set of inequalities:

\[ {a_0} \gt 0,\;\;{\Delta _1} = {a_1} \gt 0,\;\; {\Delta _2} = \left| {\begin{array}{*{20}{c}} {{a_1}}&{{a_0}}\\ {{a_3}}&{{a_2}} \end{array}} \right| = {a_1}{a_2} - {a_0}{a_3} \gt 0,\;\; {\Delta _3} = \left| {\begin{array}{*{20}{c}} {{a_1}}&{{a_0}}&0\\ {{a_3}}&{{a_2}}&{{a_1}}\\ 0&{{a_4}}&{{a_3}} \end{array}} \right| = {a_1}{a_2}{a_3} - a_1^2{a_4} - {a_0}a_3^2 \gt 0,\;\; {\Delta _4} = {a_4} \gt 0\]

\[{a_i} \gt 0\;\left( {i = 0, \ldots ,4} \right),\;\;\; {a_1}{a_2} - {a_0}{a_3} \gt 0,\;\;\; {a_1}{a_2}{a_3} - a_1^2{a_4} - {a_0}a_3^2 \gt 0.\]

If all the \(n - 1\) principal minors of the Hurwitz matrix are positive and the \(n\)th order minor is zero: \({\Delta _n} = 0,\) the system is at the boundary of stability. As \({\Delta _n} = {a_n}{\Delta _{n - 1}},\) then there are two options:

The coefficient \({a_n} = 0.\) This corresponds to the case when one of the roots of the auxiliary equation is zero. The system is on the boundary of the aperiodic stability.
The determinant \({\Delta _{n - 1}} = 0.\) In this case, there are two complex conjugate imaginary roots. The system is on the boundary of the oscillatory stability.

The Routh-Hurwitz stability criterion belongs to the family of algebraic criteria. It can be conveniently used to analyze the stability of low order systems. The computational complexity grows significantly with the increase of the order. In such cases, it may be preferable to use other criteria such as the Lienard-Shipart theorem or the Nyquist frequency criterion.

See solved problems on Page 2.

Differential Equations

Systems of Equations

Routh-Hurwitz Criterion