Difference between revisions of "Routh theorem"
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
Ulf Rehmann (talk | contribs) 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). |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | Write <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082770/r0827702.png" /> in the form | |
− | |||
− | + | <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> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
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 | + | 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> | |
− | |||
− | + | 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. | |
− | |||
− | |||
− | |||
− | + | 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 | ||
− | |||
− | |||
− | the | ||
− | |||
− | |||
− | 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 <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 |
− | |||
− | + | <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> | |
− | |||
− | |||
− | |||
− | |||
− | + | 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. | |
− | |||
− | + | ====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> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | ==== | + | ====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) |
Routh theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Routh_theorem&oldid=48595