Scale space: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
Link to the correct notion of multiscale.
en>Tpl
→‎Definition: Corrected erroneus "correction" of Gaussian kernel - this is the 2-D Gaussian, not the 1-D Gaussian
Line 1: Line 1:
{{refimprove|date=April 2009}}
Hello. Let me introduce the author. Her title is [http://Brown.edu/Student_Services/Health_Services/Health_Education/sexual_health/sexually_transmitted_infections/hpv.php Emilia Shroyer] but it's not the most female title out there. I used to be over the counter std test unemployed but now I am a librarian and the wage has been really fulfilling. The preferred pastime for my children over the counter std test and me is to play baseball but I haven't produced a dime with it. For many years  over the counter std test he's been [http://Www.Newhealthguide.org/Types-Of-Bacteria.html residing] in North Dakota and his family members enjoys it.<br><br>Here is my site ... [http://www.truequelibre.cl/members/alfiemelocco/activity/296751/ at home std testing]
 
In [[control theory|control system theory]], the '''Routh–Hurwitz stability criterion''' is a mathematical test that is a necessary and sufficient condition  for the [[stable polynomial|stability]] of a [[linear function|linear]] [[time invariant]] (LTI) [[control system]]. The Routh test is an efficient recursive algorithm that English mathematician [[Edward John Routh]] proposed in 1876  to determine whether all the [[root of a function|roots]] of the [[characteristic polynomial]] of a [[linear system]] have negative real parts.   German mathematician [[Adolf Hurwitz]] independently proposed in 1895 to arrange the coefficients of the polynomial into a square matrix, called the Hurwitz matrix, and showed that the polynomial is stable if and only if the sequence of determinants of its principal submatrices are all positive. The two procedures are equivalent, with the Routh test providing a more efficient way to compute the Hurwitz determinants than computing them directly.  A polynomial satisfying the Routh-Hurwitz criterion is called a [[Hurwitz polynomial]].
 
The importance of the criterion is that the roots '''''p''''' of the characteristic equation of a [[linear system]] with negative real parts represent solutions '''''e<sup>pt</sup>''''' of the system that are stable ([[BIBO stability|bounded]]).  Thus the criterion provides a way to determine if the [[equations of motion]] of a [[linear system]] have only stable solutions, without solving the system directly.  For discrete systems, the corresponding stability test can be handled by the Schur-Cohn criterion, the [[Jury stability criterion|Jury test]] and the [[Bistritz stability criterion|Bistritz test]].
 
The Routh test can [[Derivation of the Routh array|be derived]] through the use of the [[euclid's algorithm|Euclidean algorithm]] and [[Sturm's theorem]] in evaluating [[cauchy index|Cauchy indices]]. Hurwitz derived his conditions differently.<ref name="Gopal">{{cite book 
  | last = Gopal
  | first = M.
  | title = Control Systems: Principles and Design, 2nd Ed.
  | publisher = Tata McGraw-Hill Education
  | date = 2002
  | location =
  | pages = 14
  | url = http://books.google.com/books?id=FZak6CkrVLQC&pg=PA14&dq=%22flyball+governor
  | doi =
  | id =
  | isbn = 0070482896}}</ref>
 
==Using Euclid's algorithm==
 
The criterion is related to [[Routh–Hurwitz theorem]].  Indeed, from the statement of that theorem, we have <math>p-q=w(+\infty)-w(-\infty)</math> where:
* ''p'' is the number of roots of the polynomial ''&fnof;''(''z'') with negative Real Part;
* ''q'' is the number of roots of the polynomial ''&fnof;''(''z'') with positive Real Part (let us remind ourselves that ''&fnof;'' is supposed to have no roots lying on the imaginary line);
* ''w''(''x'') is the number of variations of the [[Sturm's theorem#Generalized Sturm chains|generalized Sturm chain]] obtained from <math>P_0(y)</math> and <math>P_1(y)</math> (by successive [[Euclid's algorithm|Euclidean divisions]]) where <math>f(iy)=P_0(y)+iP_1(y)</math> for a real ''y''.
By the [[fundamental theorem of algebra]], each polynomial of degree ''n'' must have ''n'' roots in the complex plane (i.e., for an ''&fnof;'' with no roots on the imaginary line, ''p''&nbsp;+&nbsp;''q''&nbsp;=&nbsp;''n'')Thus, we have the condition that ''&fnof;'' is a (Hurwitz) [[stable polynomial]] if and only if ''p''&nbsp;&minus;&nbsp;''q''&nbsp;=&nbsp;''n'' (the [[Routh-Hurwitz stability criterion#Appendix A|proof]] is given below). Using the Routh–Hurwitz theorem, we can replace the condition on ''p'' and ''q'' by a condition on the generalized Sturm chain, which will give in turn a condition on the coefficients of&nbsp;''&fnof;''.
 
==Using matrices==
 
Let ''f''(''z'') be a complex polynomial.  The process is as follows:
# Compute the polynomials <math>P_0(y)</math> and <math>P_1(y)</math> such that <math>f(iy)=P_0(y)+iP_1(y)</math> where ''y'' is a real number.
# Compute the [[Sylvester matrix]] associated to  <math>P_0(y)</math> and  <math>P_1(y)</math>.
# Rearrange each row in such a way that an odd row and the following one have the same number of leading zeros.
# Compute each [[minor (linear algebra)|principal minor]] of that matrix.
# If at least one of the minors is negative (or zero), then the polynomial ''f'' is not stable.
 
===Example===
 
* Let <math>f(z)=az^2+bz+c</math> (for the sake of simplicity we take real coefficients) where <math> c\neq 0</math> (to avoid a root in zero so that we can use the Routh–Hurwitz theorem). First, we have to calculate the real polynomials <math>P_0(y)</math> and <math>P_1(y)</math>:
:: <math>f(iy)=-ay^2+iby+c=P_0(y)+iP_1(y)=-ay^2+c+i(by).</math>
: Next, we divide those polynomials to obtain the generalized Sturm chain:
:* <math>P_0(y)=((-a/b)y)P_1(y)+c,</math> yields <math> P_2(y)=-c,</math>
:* <math>P_1(y)=((-b/c)y)P_2(y),</math> yields <math>P_3(y)=0</math> and the [[Euclid's algorithm|Euclidean division]] stops.
Notice that we had to suppose ''b'' different from zero in the first division.  The generalized Sturm chain is in this case <math>(P_0(y),P_1(y),P_2(y))=(c-ay^2,by,-c)</math>.  Putting <math>y=+\infty</math>, the sign of <math>c-ay^2</math> is the opposite sign of ''a'' and the sign of ''by'' is the sign of ''b''.  When we put <math>y=-\infty</math>, the sign of the first element of the chain is again the opposite sign of ''a'' and the sign of ''by'' is the opposite sign of ''b''.  Finally, -''c'' has always the opposite sign of ''c''.
 
Suppose now that ''f'' is Hurwitz-stable.  This means that <math>w(+\infty)-w(-\infty)=2</math> (the degree of ''f'').  By the properties of the function ''w'', this is the same as <math>w(+\infty)=2</math> and <math>w(-\infty)=0</math>.  Thus, ''a'', ''b'' and ''c'' must have the same sign.  We have thus found the [[stable polynomial#Properties|necessary condition of stability]] for polynomials of degree 2.
 
===Routh–Hurwitz criterion for second, third, and fourth-order polynomials===
 
In the following, we assume the coefficient of the highest order (e.g. <math>a_2</math> in a second order polynomial) to be positive. If necessary, this can always be achieved by multiplication of the polynomial with <math>-1</math>.
 
* For a second-order polynomial, <math> P(s) = a_2s^2 + a_1s + a_0 = 0 </math>, all the roots are in the left half plane (and the system with characteristic equation <math> P(s) </math> is stable) if all the coefficients satisfy <math> a_n > 0 </math>.
* For a third-order polynomial <math> P(s) = a_3s^3 + a_2s^2 + a_1s + a_0 = 0</math>, all the coefficients must satisfy <math> a_n > 0 </math>, and <math> a_2a_1 > a_3a_0 </math>
*For a fourth-order polynomial <math> P(s) = a_4s^4 + a_3s^3 + a_2s^2 + a_1s + a_0 = 0 </math>, all the coefficients must satisfy <math> a_n > 0 </math>, and <math> a_3a_2 > a_4a_1</math> and <math> a_3a_2a_1 > a_4a_1^2 + a_3^2a_0 </math>
 
===Higher-order example===
 
A tabular method can be used to determine the stability when the roots of a higher order characteristic polynomial are difficult to obtain. For an ''n''th-degree polynomial
* <math>D(s)=a_ns^n+a_{n-1}s^{n-1}+\cdots+a_1s+a_0</math>
the table has ''n''&nbsp;+&nbsp;1 rows and the following structure:
{| border="1" width="200px"
| <math>a_n</math> || <math>a_{n-2}</math> || <math>a_{n-4}</math> || <math>\dots</math>
|-
| <math>a_{n-1}</math> || <math>a_{n-3}</math> || <math>a_{n-5}</math> || <math>\dots</math>
|-
| <math>b_1</math> || <math>b_2</math> || <math>b_3</math> || <math>\dots</math>
|-
| <math>c_1</math> || <math>c_2</math> || <math>c_3</math> || <math>\dots</math>
|-
| <math>\vdots</math> || <math>\vdots</math> || <math>\vdots</math> || <math>\ddots</math>
|}
where the elements <math>b_i</math> and <math>c_i</math> can be computed as follows:
* <math>b_i=\frac{a_{n-1}\times{a_{n-2i}}-a_n\times{a_{n-2i-1}}}{a_{n-1}}.</math>
* <math>c_i=\frac{b_1\times{a_{n-2i-1}}-a_{n-1}\times{b_{i+1}}}{b_1}.</math>
When completed, the number of sign changes in the first column will be the number of non-negative poles.
 
Consider a system with a characteristic polynomial
* <math>D(s)=s^5+4s^4+2s^3+5s^2+3s+6.\,</math>
We have the following table:
{| border="1"
| width="40px"| 1    || width="40px"|2  || width="40px"|3 || width="40px"|0
|-
| 4    || 5  || 6 || 0
|-
| 0.75 || 1.5 || 0 || 0
|-
| &minus;3  || 6  || 0 || 
|-
| 3    || 0  ||  || 
|-
| 6  || 0 ||  || 
|}
In the first column, there are two sign changes (0.75&nbsp;→&nbsp;&minus;3, and &minus;3&nbsp;→&nbsp;3), thus there are two non-negative roots where the system is unstable.
" Sometimes the presence of poles on the imaginary axis creates a situation of marginal stability. In that case the coefficients of the "Routh Array" become zero and thus further solution of the polynomial for finding changes in sign is not possible. Then another approach comes into play. The row of polynomial which is just above the row containing the zeroes is called "Auxiliary Polynomial". 
 
* <math>s^6+2s^5+8s^4+12s^3+20s^2+16s+16=0.\,</math>
We have the following table:
{| border="1"
| width="40px"| 1    || width="40px"|8  || width="40px"|20 || width="40px"|16
|-
| 2    || 12  || 16 || 0
|-
| 2    || 12  || 16 || 0
|-
| 0    || 0  ||  0 || 0
|}
In such a case the Auxiliary polynomial is <math>A(s)=2s^4+12s^2+16.\,</math> which is again equal to zero. The next step is to differentiate the above equation which yields the following polynomial. <math>B(s)=8s^3+24s^1.\,</math>. The coefficients of the row containing zero now become
"8" and "24". The process of Routh array is proceeded using these values which yield two points on the imaginary axis. These two points on the imaginary axis are the prime cause of marginal stability.<ref>{{cite book|last=Saeed|first=Syed Hasan|title=Automatic Control Systems|year=2008|publisher=Katson Publishers|location=Delhi|isbn=978-81-906919-2-5|pages=206, 207}}</ref>
 
==See also==
 
* [[Control engineering]]
* [[Derivation of the Routh array]]
* [[Nyquist stability criterion]]
* [[Routh–Hurwitz theorem]]
* [[Root locus]]
* [[Transfer function]]
* [[Jury stability criterion]]
* [[Bistritz stability criterion]]
* [[Kharitonov's theorem]]
* [[Liénard–Chipart criterion]]
 
==References==
 
{{reflist}}
 
* {{cite journal
| author = Hurwitz, A.
| year = 1895
| title =Über die Bedingungen unter welchen eine Gleichung nur Wurzeln mit negativen reellen Teilen besitzt
| journal = Math. Ann. 46, 273-284 (English translation ``On the conditions under which an equation has only roots with negative real parts" by H. G. Bergmann in Selected Papers on Mathematical Trends in Control Theory R. Bellman and R. Kalaba Eds. New York: Dover, 1964 pp. 70-82.)
}}
 
* {{cite book
| author = [[Edward Routh|Routh, E. J.]]
| year = 1877
| title = A Treatise on the Stability of a Given State of Motion: Particularly Steady Motion
| publisher = Macmillan and co.
| isbn =
}}
 
* {{cite journal
| author = Gantmacher, F. R.
| year = 1959
| title = Applications of the Theory of Matrices
| journal = Interscience, New York
| volume = 641
| issue = 9
| pages = 1–8
}}
 
* {{cite journal
| author = Pippard, A. B.
| coauthors = Dicke, R. H.
| year = 1986
| title = Response and Stability, An Introduction to the Physical Theory
| journal = American Journal of Physics
| volume = 54
| pages = 1052
| url = http://link.aip.org/link/?AJPIAS/54/1052/1
| accessdate = 2008-05-07
| doi = 10.1119/1.14826
}}
* {{cite book
| author = [[Richard C. Dorf, Robert H. Bishop]]
| year = 2001
| title =Modern Control Systems, 9th Edition
| publisher = Prentice Hall
| isbn = 0-13-030660-6
}}
* {{cite book | last1=Rahman | first1=Q. I. | last2=Schmeisser | first2=G. | title=Analytic theory of polynomials | series=London Mathematical Society Monographs. New Series | volume=26 | location=Oxford | publisher=[[Oxford University Press]] | year=2002 | isbn=0-19-853493-0 | zbl=1072.30006 }}
 
* {{cite journal
  |author = Weisstein, Eric W
 
  |title = Routh-Hurwitz Theorem.
 
  |url = http://mathworld.wolfram.com/Routh-HurwitzTheorem.html
 
  |journal= MathWorld--A Wolfram Web Resource
}}
 
==External links==
* [http://www.mathworks.com/matlabcentral/fileexchange/25956-routh-hurwitz-stability-test A MATLAB script implementing the Routh-Hurwitz test]
 
{{DEFAULTSORT:Routh-Hurwitz stability criterion}}
[[Category:Stability theory]]
[[Category:Electronic feedback]]
[[Category:Electronic amplifiers]]
[[Category:Signal processing]]
[[Category:Polynomials]]

Revision as of 18:38, 27 February 2014

Hello. Let me introduce the author. Her title is Emilia Shroyer but it's not the most female title out there. I used to be over the counter std test unemployed but now I am a librarian and the wage has been really fulfilling. The preferred pastime for my children over the counter std test and me is to play baseball but I haven't produced a dime with it. For many years over the counter std test he's been residing in North Dakota and his family members enjoys it.

Here is my site ... at home std testing