Polynomial zigzag matrices, dual minimal bases, and the realization of completely singular polynomials

详细信息    查看全文

• 作者：Fernando De Ter&aacute ; n^a ; ¹ ; ^{fteran@math.uc3m.es" class="auth_mail" title="E-mail the corresponding author} ; Froil&aacute ; n M. Dopico^a ; ¹ ; ^{dopico@math.uc3m.es" class="auth_mail" title="E-mail the corresponding author} ; D. Steven Mackey^b ; ² ; ^{steve.mackey@wmich.edu" class="auth_mail" title="E-mail the corresponding author} ; Paul Van Dooren^c ; ³ ; ^{paul.vandooren@uclouvain.be" class="auth_mail" title="E-mail the corresponding author}
• 关键词：15A21 ; 15A29 ; 15A54 ; 15B99 ; 93B18
• 刊名：Linear Algebra and its Applications
• 出版年：2016
• 出版时间：1 January 2016
• 年：2016
• 卷：488
• 期：Complete
• 页码：460-504
• 全文大小：743 K

文摘

Minimal bases of rational vector spaces are a well-known and important tool in systems theory. If minimal bases for two subspaces of rational n  -space are displayed as the rows of polynomial matrices an id="mmlsi1" class="mathmlsrc">an class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0024379515005303&_mathId=si1.gif&_user=111111111&_pii=S0024379515005303&_rdoc=1&_issn=00243795&md5=b14ff4c62a6de34af97d91df5b317ae9" title="Click to view the MathML source">Z₁(λ)_k×nan>an class="mathContainer hidden">an class="mathCode">ath altimg="si1.gif" overflow="scroll">Z1alse">(λalse">)k×nath>an>an>an> and an id="mmlsi2" class="mathmlsrc">an class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0024379515005303&_mathId=si2.gif&_user=111111111&_pii=S0024379515005303&_rdoc=1&_issn=00243795&md5=2a350687c7426a66a7e7bf1f7a7dbe94" title="Click to view the MathML source">Z₂(λ)_m×nan>an class="mathContainer hidden">an class="mathCode">ath altimg="si2.gif" overflow="scroll">Z2alse">(λalse">)m×nath>an>an>an>, respectively, then an id="mmlsi3" class="mathmlsrc">an class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0024379515005303&_mathId=si3.gif&_user=111111111&_pii=S0024379515005303&_rdoc=1&_issn=00243795&md5=430002d9f65e56406ecf298e638c7c81" title="Click to view the MathML source">Z₁an>an class="mathContainer hidden">an class="mathCode">ath altimg="si3.gif" overflow="scroll">Z1ath>an>an>an> and an id="mmlsi4" class="mathmlsrc">an class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0024379515005303&_mathId=si4.gif&_user=111111111&_pii=S0024379515005303&_rdoc=1&_issn=00243795&md5=46c3d84676e0fe13b25174c5fab8c91a" title="Click to view the MathML source">Z₂an>an class="mathContainer hidden">an class="mathCode">ath altimg="si4.gif" overflow="scroll">Z2ath>an>an>an> are said to be dual   minimal bases if the subspaces have complementary dimension, i.e., an id="mmlsi5" class="mathmlsrc">an class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0024379515005303&_mathId=si5.gif&_user=111111111&_pii=S0024379515005303&_rdoc=1&_issn=00243795&md5=d52d13071aad79a226e43947e30f3546" title="Click to view the MathML source">k+m=nan>an class="mathContainer hidden">an class="mathCode">ath altimg="si5.gif" overflow="scroll">k+m=nath>an>an>an>, and an id="mmlsi6" class="mathmlsrc"><a title="View the MathML source" class="mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0024379515005303&_mathId=si6.gif&_user=111111111&_pii=S0024379515005303&_rdoc=1&_issn=00243795&md5=c6b44d8604955eb07d43756a93b7c453">ass="imgLazyJSB inlineImage" height="18" width="116" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0024379515005303-si6.gif">a>an class="mathContainer hidden">an class="mathCode">ath altimg="si6.gif" overflow="scroll">Z1alse">(λalse">)Z2Talse">(λalse">)=0ath>an>an>an>. In other words, each an id="mmlsi7" class="mathmlsrc">an class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0024379515005303&_mathId=si7.gif&_user=111111111&_pii=S0024379515005303&_rdoc=1&_issn=00243795&md5=18fa149a129b6c67632e3924eeaefb57" title="Click to view the MathML source">Z_j(λ)an>an class="mathContainer hidden">an class="mathCode">ath altimg="si7.gif" overflow="scroll">Zjalse">(λalse">)ath>an>an>an> provides a minimal basis for the nullspace of the other. It has long been known that for any dual minimal bases an id="mmlsi8" class="mathmlsrc">an class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0024379515005303&_mathId=si8.gif&_user=111111111&_pii=S0024379515005303&_rdoc=1&_issn=00243795&md5=aadb9a4ab204bc62700d84d8ab067584" title="Click to view the MathML source">Z₁(λ)an>an class="mathContainer hidden">an class="mathCode">ath altimg="si8.gif" overflow="scroll">Z1alse">(λalse">)ath>an>an>an> and an id="mmlsi9" class="mathmlsrc">an class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0024379515005303&_mathId=si9.gif&_user=111111111&_pii=S0024379515005303&_rdoc=1&_issn=00243795&md5=54e879eb3d039df49ad325afbef0f122" title="Click to view the MathML source">Z₂(λ)an>an class="mathContainer hidden">an class="mathCode">ath altimg="si9.gif" overflow="scroll">Z2alse">(λalse">)ath>an>an>an>, the row degree sums of an id="mmlsi3" class="mathmlsrc">an class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0024379515005303&_mathId=si3.gif&_user=111111111&_pii=S0024379515005303&_rdoc=1&_issn=00243795&md5=430002d9f65e56406ecf298e638c7c81" title="Click to view the MathML source">Z₁an>an class="mathContainer hidden">an class="mathCode">ath altimg="si3.gif" overflow="scroll">Z1ath>an>an>an> and an id="mmlsi4" class="mathmlsrc">an class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0024379515005303&_mathId=si4.gif&_user=111111111&_pii=S0024379515005303&_rdoc=1&_issn=00243795&md5=46c3d84676e0fe13b25174c5fab8c91a" title="Click to view the MathML source">Z₂an>an class="mathContainer hidden">an class="mathCode">ath altimg="si4.gif" overflow="scroll">Z2ath>an>an>an> are the same. In this paper we show that this is the only constraint on the row degrees, thus characterizing the possible row degrees of dual minimal bases. The proof is constructive, making extensive use of a new class of sparse, structured polynomial matrices that we have baptized zigzag matrices. Another application of these polynomial zigzag matrices is the constructive solution of the following inverse problem for minimal indices: Given a list of left and right minimal indices and a desired degree d, does there exist a completely singular matrix polynomial (i.e., a matrix polynomial with no elementary divisors whatsoever) of degree d having exactly the prescribed minimal indices? We show that such a matrix polynomial exists if and only if d divides the sum of the minimal indices. The constructed realization is simple, and explicitly displays the desired minimal indices in a fashion analogous to the classical Kronecker canonical form of singular pencils.