Namespaces
Variants
Actions

Difference between revisions of "Routh theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
m (Undo revision 48595 by Ulf Rehmann (talk))
Tag: Undo
Line 1: Line 1:
<!--
+
A theorem that enables one to determine, using a Routh scheme, the number of complex roots with positive real part of a polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r0827701.png" /> with real coefficients (in the regular case).
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}}
+
Write <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r0827702.png" /> in the form
{{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) $
+
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r0827703.png" /></td> </tr></table>
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
  
$$
+
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r0827704.png" /></td> </tr></table>
  
In this scheme, the first two rows consist of the coefficients of $  f ( x) $,  
+
In this scheme, the first two rows consist of the coefficients of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r0827705.png" />, 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,
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,
 
  
$$
+
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r0827706.png" /></td> </tr></table>
c _ {i}  = a _ {i+} 1 - b _ {i+} 1
 
  
\frac{a _ {0} }{b _ {0} }
+
The number of entries in the first row of the Routh scheme is equal to the integer part of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r0827707.png" />, in the second, to that of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r0827708.png" />, and in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r0827709.png" />-th (for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r08277010.png" />), the number of entries is one less than in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r08277011.png" />-nd. The whole scheme contains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r08277012.png" /> rows. The case when the entries in the first column are all different from zero is called regular.
,\ \
 
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 $,
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r08277013.png" /> 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.
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) $
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r08277014.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r08277015.png" /> (see [[Routh–Hurwitz criterion|Routh–Hurwitz criterion]]; [[Minor|Minor]]). Then the analogue of Routh's theorem is the Routh–Hurwitz theorem: If the minors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r08277016.png" /> are all non-zero, then the number of roots of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r08277017.png" /> lying in the right half-plane is equal to the number of changes of sign in the sequence
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.
 
  
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} $,
+
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r08277018.png" /></td> </tr></table>
$  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
 
  
$$
+
and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r08277019.png" /> has no roots lying on the imaginary axis. Under certain extra conditions, this method can be used in case some of the minors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r08277020.png" /> are equal to zero.
a _ {0} , \Delta _ {1} ,\
 
  
\frac{\Delta _ {2} }{\Delta _ {1} }
+
====References====
  \dots
+
<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>
  
\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====
+
====Comments====
<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====
 
  
 
====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:53, 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 with real coefficients (in the regular case).

Write in the form

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

In this scheme, the first two rows consist of the coefficients of , 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,

The number of entries in the first row of the Routh scheme is equal to the integer part of , in the second, to that of , and in the -th (for ), the number of entries is one less than in the -nd. The whole scheme contains 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 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 , (see Routh–Hurwitz criterion; Minor). Then the analogue of Routh's theorem is the Routh–Hurwitz theorem: If the minors are all non-zero, then the number of roots of lying in the right half-plane is equal to the number of changes of sign in the sequence

and has no roots lying on the imaginary axis. Under certain extra conditions, this method can be used in case some of the minors 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=48595
This article was adapted from an original article by I.V. Proskuryakov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article