# Difference between revisions of "Routh theorem"

Ulf Rehmann (talk | contribs) m (Undo revision 48595 by Ulf Rehmann (talk)) Tag: Undo |
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
||

Line 1: | Line 1: | ||

− | A | + | <!-- |

+ | r0827701.png | ||

+ | $#A+1 = 20 n = 0 | ||

+ | $#C+1 = 20 : ~/encyclopedia/old_files/data/R082/R.0802770 Routh theorem | ||

+ | Automatically converted into TeX, above some diagnostics. | ||

+ | Please remove this comment and the {{TEX|auto}} line below, | ||

+ | if TeX found to be correct. | ||

+ | --> | ||

− | + | {{TEX|auto}} | |

+ | {{TEX|done}} | ||

− | + | A theorem that enables one to determine, using a Routh scheme, the number of complex roots with positive real part of a polynomial $ f ( x) $ | |

+ | with real coefficients (in the regular case). | ||

+ | |||

+ | Write $ f ( x) $ | ||

+ | in the form | ||

+ | |||

+ | $$ | ||

+ | f ( x) = a _ {0} x ^ {n} + | ||

+ | b _ {0} x ^ {n-} 1 + a _ {1} x ^ {n-} 2 + | ||

+ | b _ {1} x ^ {n-} 3 + \dots \ \ | ||

+ | ( a _ {0} \neq 0 ) . | ||

+ | $$ | ||

The Routh scheme of this polynomial is defined to be the array of numbers | The Routh scheme of this polynomial is defined to be the array of numbers | ||

− | + | $$ | |

+ | |||

+ | \begin{array}{cccc} | ||

+ | a _ {0} &a _ {1} &a _ {2} &\dots \\ | ||

+ | b _ {0} &b _ {1} &b _ {2} &\dots \\ | ||

+ | c _ {0} &c _ {1} &c _ {2} &\dots \\ | ||

+ | d _ {0} &d _ {1} &d _ {2} &\dots \\ | ||

+ | \cdot &\cdot &\cdot &\dots \\ | ||

+ | \end{array} | ||

+ | |||

+ | $$ | ||

+ | |||

+ | In this scheme, the first two rows consist of the coefficients of $ f ( x) $, | ||

+ | and every row from the third onwards is obtained from the previous two as follows: subtract from the first line that multiple of the second which makes the first entry equal to zero. By deleting this first zero, one obtains the described row. For example, in the third row, | ||

+ | |||

+ | $$ | ||

+ | c _ {i} = a _ {i+} 1 - b _ {i+} 1 | ||

− | + | \frac{a _ {0} }{b _ {0} } | |

+ | ,\ \ | ||

+ | i = 0 , 1 ,\dots . | ||

+ | $$ | ||

− | + | The number of entries in the first row of the Routh scheme is equal to the integer part of $ ( n + 1 ) / 2 $, | |

+ | in the second, to that of $ n / 2 $, | ||

+ | and in the $ k $- | ||

+ | th (for $ k > 2 $), | ||

+ | the number of entries is one less than in the $ ( k - 2 ) $- | ||

+ | nd. The whole scheme contains $ n + 1 $ | ||

+ | rows. The case when the entries in the first column are all different from zero is called regular. | ||

− | + | Routh's theorem: For a polynomial with real coefficients in the regular case, the number of roots lying in the right half-plane (that is, having positive real part) is equal to the number of changes of sign in the sequence of entries in the first column of the Routh scheme. In the regular case, the polynomial cannot have roots lying on the imaginary axis. Routh's criterion: Every root of a polynomial $ f ( x) $ | |

+ | with real coefficients has negative real part if and only if the entries in the first column of the Routh scheme are all non-zero and have the same sign. These theorems were established by E.J. Routh [[#References|[1]]]. Routh's scheme can also be used to determine the number of roots of a polynomial in the right half-plane in certain non-regular cases. | ||

− | Routh | + | The construction of a Routh scheme is possible only for polynomials with given numerical coefficients. There is a more widely used method, in which the role of the Routh scheme is played by the Hurwitz matrix, and that of the first column by the sequence of principal minors $ \Delta _ {i} $, |

+ | $ i = 1 \dots n $( | ||

+ | see [[Routh–Hurwitz criterion|Routh–Hurwitz criterion]]; [[Minor|Minor]]). Then the analogue of Routh's theorem is the Routh–Hurwitz theorem: If the minors $ \Delta _ {i} $ | ||

+ | are all non-zero, then the number of roots of $ f ( x) $ | ||

+ | lying in the right half-plane is equal to the number of changes of sign in the sequence | ||

− | + | $$ | |

+ | a _ {0} , \Delta _ {1} ,\ | ||

− | + | \frac{\Delta _ {2} }{\Delta _ {1} } | |

+ | \dots | ||

− | and | + | \frac{\Delta _ {n} }{\Delta _ {n-} 1 } |

+ | , | ||

+ | $$ | ||

+ | |||

+ | and $ f ( x) $ | ||

+ | has no roots lying on the imaginary axis. Under certain extra conditions, this method can be used in case some of the minors $ \Delta _ {i} $ | ||

+ | are equal to zero. | ||

====References==== | ====References==== | ||

<table><TR><TD valign="top">[1]</TD> <TD valign="top"> E.J. Routh, "A treatise on the stability of a given state of motion" , Macmillan (1877)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> E.J. Routh, "The advanced part of a treatise on the dynamics of a system of rigid bodies" , Macmillan (1905)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> A.M. Lyapunov, "Stability of motion" , Acad. Press (1966) (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> F.R. [F.R. Gantmakher] Gantmacher, "The theory of matrices" , '''1''' , Chelsea, reprint (1977) (Translated from Russian)</TD></TR></table> | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> E.J. Routh, "A treatise on the stability of a given state of motion" , Macmillan (1877)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> E.J. Routh, "The advanced part of a treatise on the dynamics of a system of rigid bodies" , Macmillan (1905)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> A.M. Lyapunov, "Stability of motion" , Acad. Press (1966) (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> F.R. [F.R. Gantmakher] Gantmacher, "The theory of matrices" , '''1''' , Chelsea, reprint (1977) (Translated from Russian)</TD></TR></table> | ||

− | |||

− | |||

====Comments==== | ====Comments==== | ||

− | |||

====References==== | ====References==== | ||

<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> N. [N. Obreshchkov] Obreschkoff, "Verteilung und Berechnung der Nulllstellen reeller Polynome" , Deutsch. Verlag Wissenschaft. (1963) (Translated from Russian)</TD></TR></table> | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> N. [N. Obreshchkov] Obreschkoff, "Verteilung und Berechnung der Nulllstellen reeller Polynome" , Deutsch. Verlag Wissenschaft. (1963) (Translated from Russian)</TD></TR></table> |

## Revision as of 14:55, 7 June 2020

A theorem that enables one to determine, using a Routh scheme, the number of complex roots with positive real part of a polynomial $ f ( x) $
with real coefficients (in the regular case).

Write $ f ( x) $ in the form

$$ f ( x) = a _ {0} x ^ {n} + b _ {0} x ^ {n-} 1 + a _ {1} x ^ {n-} 2 + b _ {1} x ^ {n-} 3 + \dots \ \ ( a _ {0} \neq 0 ) . $$

The Routh scheme of this polynomial is defined to be the array of numbers

$$ \begin{array}{cccc} a _ {0} &a _ {1} &a _ {2} &\dots \\ b _ {0} &b _ {1} &b _ {2} &\dots \\ c _ {0} &c _ {1} &c _ {2} &\dots \\ d _ {0} &d _ {1} &d _ {2} &\dots \\ \cdot &\cdot &\cdot &\dots \\ \end{array} $$

In this scheme, the first two rows consist of the coefficients of $ f ( x) $, and every row from the third onwards is obtained from the previous two as follows: subtract from the first line that multiple of the second which makes the first entry equal to zero. By deleting this first zero, one obtains the described row. For example, in the third row,

$$ c _ {i} = a _ {i+} 1 - b _ {i+} 1 \frac{a _ {0} }{b _ {0} } ,\ \ i = 0 , 1 ,\dots . $$

The number of entries in the first row of the Routh scheme is equal to the integer part of $ ( n + 1 ) / 2 $, in the second, to that of $ n / 2 $, and in the $ k $- th (for $ k > 2 $), the number of entries is one less than in the $ ( k - 2 ) $- nd. The whole scheme contains $ n + 1 $ rows. The case when the entries in the first column are all different from zero is called regular.

Routh's theorem: For a polynomial with real coefficients in the regular case, the number of roots lying in the right half-plane (that is, having positive real part) is equal to the number of changes of sign in the sequence of entries in the first column of the Routh scheme. In the regular case, the polynomial cannot have roots lying on the imaginary axis. Routh's criterion: Every root of a polynomial $ f ( x) $ with real coefficients has negative real part if and only if the entries in the first column of the Routh scheme are all non-zero and have the same sign. These theorems were established by E.J. Routh [1]. Routh's scheme can also be used to determine the number of roots of a polynomial in the right half-plane in certain non-regular cases.

The construction of a Routh scheme is possible only for polynomials with given numerical coefficients. There is a more widely used method, in which the role of the Routh scheme is played by the Hurwitz matrix, and that of the first column by the sequence of principal minors $ \Delta _ {i} $, $ i = 1 \dots n $( see Routh–Hurwitz criterion; Minor). Then the analogue of Routh's theorem is the Routh–Hurwitz theorem: If the minors $ \Delta _ {i} $ are all non-zero, then the number of roots of $ f ( x) $ lying in the right half-plane is equal to the number of changes of sign in the sequence

$$ a _ {0} , \Delta _ {1} ,\ \frac{\Delta _ {2} }{\Delta _ {1} } \dots \frac{\Delta _ {n} }{\Delta _ {n-} 1 } , $$

and $ f ( x) $ has no roots lying on the imaginary axis. Under certain extra conditions, this method can be used in case some of the minors $ \Delta _ {i} $ are equal to zero.

#### References

[1] | E.J. Routh, "A treatise on the stability of a given state of motion" , Macmillan (1877) |

[2] | E.J. Routh, "The advanced part of a treatise on the dynamics of a system of rigid bodies" , Macmillan (1905) |

[3] | A.M. Lyapunov, "Stability of motion" , Acad. Press (1966) (Translated from Russian) |

[4] | F.R. [F.R. Gantmakher] Gantmacher, "The theory of matrices" , 1 , Chelsea, reprint (1977) (Translated from Russian) |

#### Comments

#### References

[a1] | N. [N. Obreshchkov] Obreschkoff, "Verteilung und Berechnung der Nulllstellen reeller Polynome" , Deutsch. Verlag Wissenschaft. (1963) (Translated from Russian) |

**How to Cite This Entry:**

Routh theorem.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Routh_theorem&oldid=49572