Bézout matrix

Bézout matrix

In mathematics, a Bézout matrix (or Bézoutian) is a special square matrix associated to two polynomials. Such matrices are sometimes used to test the stability of a given polynomial.

Definition

Let "f"("z") and "g"("z") be two complex polynomials of degree at most "n" with coefficients (note that any coefficient could be zero):

:f(z)=sum_{i=0}^n u_i z^i,quadquad g(z)=sum_{i=0}^n v_i z^i.

The Bézout matrix of order "n" associated to the polynomials "f" and "g" is

:B_n(f,g)= [b] _{ij}.

It is in mathbb{C}^{n imes n} and the entries of that matrix are such that if we note for each "i","j"=1,...,n, m_{ij}=min{i,n+1-j}, then::b_{ij}=sum_{k=1}^{m_{iju_{j+k-1}v_{i-k}-u_{i-k}v_{j+k-1}.

To each Bézout matrix, one can associate the following bilinear form, called the Bézoutian::mbox{Bez}:mathbb{C}^n imesmathbb{C}^n o mathbb{C}:(x,y)mapsto operatorname{Bez}(x,y)=x^*B_n(f,g)y.

Examples

* For "n"=3, we have for any polynomials "f" and "g" of degree (at most) 3::B_3(f,g)=left [egin{matrix}u_1v_0-u_0 v_1 & u_2 v_0-u_0 v_2 & u_3 v_0-u_0 v_3\u_2 v_0-u_0 v_2 & u_2v_1-u_1v_2+u_3v_0-u_0v_3 & u_3 v_1-u_1v_3\u_3v_0-u_0v_3 & u_3v_1-u_1v_3 & u_3v_2-u_2v_3end{matrix} ight] .

* Let f(x)=3x^3-x and g(x)=5x^2+1 be two polynomials. Then::B_4(f,g)=left [egin{matrix}-1 & 0 & 3 & 0\0 &8 &0 &0 \3&0&15&0\0&0&0&0end{matrix} ight] .The last row and column are all zero as "f" and "g" have degree strictly less than "n" (equal 4). The other zero entries are due to the fact that for each "i"=0,...,n, either u_i or v_i is zero.

Properties

* B_n(f,g) is symmetric (as a matrix);
* B_n(f,g)=-B_n(g,f);
* B_n(f,f)=0;
* B_n(f,g) is bilinear in ("f","g");
* B_n(f,g) is in mathbb{R}^{n imes n} if "f" and "g" have real coefficients;
* B_n(f,g) is nonsingular with n=max(deg(f),deg(g)) if and only if "f" and "g" have no common roots.
* B_n(f,g) with n=max(deg(f),deg(g)) has determinant which is the resultant of "f" and "g".

Applications

An important application of Bézout matrices can be found in control theory. To see this, let "f"("z") be a complex polynomial of degree "n" and denote by "q" and "p" the real polynomials such that "f"(i"y")="q"("y")+i"p"("y") (where "y" is real). We also note "r" for the rank and "σ" for the signature of B_n(p,q). Then, we have the following statements:
* "f"("z") has "n"-"r" roots in common with its conjugate;
* the left "r" roots of "f"("z") are located in such a way that:
** ("r"+"σ")/2 of them lie in the open left half-plane, and
** ("r"-"σ")/2 lie in the open right half-plane;
* "f" is Hurwitz stable iff B_n(p,q) is positive definite.

The third statement gives a necessary and sufficient condition concerning stability. Besides, the first statement exhibits some similarities with a result concerning Sylvester matrices while the second one can be related to Routh-Hurwitz theorem.

References

* D. Hinrichsen and A.J. Pritchard, "Mathematical Systems Theory I: Modelling, State Space Analysis, Stability and Robustness", Springer-Verlag, Berlin-Heidelberg, 2005


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Étienne Bézout — (March 31, 1730 September 27, 1783) was a French mathematician who was born in Nemours, Seine et Marne, France, and died in Basses Loges (near Fontainebleau), France.WorkIn 1758 Bézout was elected an adjoint in mechanics of the French Academy of… …   Wikipedia

  • Methode de Bezout — Méthode de Bézout La méthode de Bézout, imaginée et mise au point par Étienne Bézout en 1762, est une méthode générale de résolution des équations algébriques. Cette méthode tente de ramener l équation que l on veut résoudre à d autres équations… …   Wikipédia en Français

  • Méthode De Bézout — La méthode de Bézout, imaginée et mise au point par Étienne Bézout en 1762, est une méthode générale de résolution des équations algébriques. Cette méthode tente de ramener l équation que l on veut résoudre à d autres équations de degré moins… …   Wikipédia en Français

  • Méthode de Bezout — Méthode de Bézout La méthode de Bézout, imaginée et mise au point par Étienne Bézout en 1762, est une méthode générale de résolution des équations algébriques. Cette méthode tente de ramener l équation que l on veut résoudre à d autres équations… …   Wikipédia en Français

  • Méthode de bézout — La méthode de Bézout, imaginée et mise au point par Étienne Bézout en 1762, est une méthode générale de résolution des équations algébriques. Cette méthode tente de ramener l équation que l on veut résoudre à d autres équations de degré moins… …   Wikipédia en Français

  • Méthode de Bézout — La méthode de Bézout, imaginée et mise au point par Étienne Bézout en 1762, est une méthode générale de résolution des équations algébriques. Cette méthode tente de ramener l équation que l on veut résoudre à d autres équations de degré moins… …   Wikipédia en Français

  • Sylvester matrix — In mathematics, a Sylvester matrix is a matrix associated to two polynomials that gives us some information about those polynomials. It is named for James Joseph Sylvester.DefinitionFormally, let p and q be two polynomials, respectively of degree …   Wikipedia

  • List of mathematics articles (B) — NOTOC B B spline B* algebra B* search algorithm B,C,K,W system BA model Ba space Babuška Lax Milgram theorem Baby Monster group Baby step giant step Babylonian mathematics Babylonian numerals Bach tensor Bach s algorithm Bachmann–Howard ordinal… …   Wikipedia

  • List of matrices — This page lists some important classes of matrices used in mathematics, science and engineering: Matrices in mathematics*(0,1) matrix a matrix with all elements either 0 or 1. Also called a binary matrix . *Adjugate matrix * Alternant matrix a… …   Wikipedia

  • Resultant — In mathematics, the resultant of two monic polynomials P and Q over a field k is defined as the product:mathrm{res}(P,Q) = prod {(x,y):,P(x)=0,, Q(y)=0} (x y),,of the differences of their roots, where x and y take on values in the algebraic… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”