Abstract
In this paper we define the Popov and weak Popov forms of matrices over Poincaré–Birkhoff–Witt (PBW) extensions, and exhibit effective algorithms to find them. As applications we give general methods to calculate the ranks of such matrices, and a method to transfer a system of differential equations into a first order equation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Popov, V.M.: Invariant description of linear, time-invariant controllable systems. SIAM J. Control 10(2), 252–264 (1972)
Kailath, T.: Linear Systems. Prentice Hall, Upper Saddle River (1980)
Villard. G.: Computing Popov and Hermite forms of polynomial matrices. In: Proceedings of ISSAC’96, pp. 250–258. ACM Press (1996)
Beckermann, B., Labahn, G., Villard, G.: Shifted normal forms of polynomial matrices. In: Proceedings of ISSAC’99, pp. 189–196. ACM Press (1999)
Mulders, T., Storjohann, A.: On lattice reduction for polynomial matrices. J. Symb. Comput. 35, 377–401 (2003)
Ore, O.: Theory of non-commutative polynomials. Ann. Math. 34(22), 480–508 (1933)
Jacobson, N.: The Theory of Rings. American Math. Soc, New York (1943)
Jacobson, N.: Finite-Dimensional Division Algebras over Fields. Springer, Berlin (1996)
Cohn, P.M.: Skew Fields. Cambridge University Press, Cambridge (1995)
Abramov, S., Bronstein, M.: Linear algebra for skew-polynomial matrices. Technical Report 4420, INRIA. INRIA Rapport de Recherche (2002)
Beckermann, B., Cheng, H., Labahn, G.: Fraction-free row reduction of matrices of ore polynomials. J. Symb. Comput. 41(5), 513–543 (2006)
Giesbrecht, M., Labahn, G., Zhang, Y.: Computing valuation Popov forms. In: Proceedings of CASA’2005, Lecture Notes on Computer Science 3516, pp. 619–626. Springer (2005)
Davies, P., Cheng, H., Labahn, G.: Computing Popov Form of General Ore Polynomial Matrices. In: Milestones in Computer, Algebra, pp. 149–156 (2008)
Giesbrecht, M., Kim, M.: On Computing the Hermite Form of a Matrix of Differential Polynomials. In: Proceedings of CASC’09. (2009)
Bose, N.K.: Multidimensional Systems Theory. D. Reidel, Dordrecht (1985)
Park, H.: Symbolic computation and signal processing. J. Symb. Comput. 37, 209–226 (2004)
Youla, D.C., Pickel, P.F.: The Quillen-Suslin theorem and the structure of \(n\)-dimemsional elementary polynomial matrices. IEEE Trans. Circuits Syst. 31, 513–518 (1984)
Zerz, E.: Topics in Multidimensional Linear Systems Theory. Lecture notes in control and information sciences. Springer, Berlin (2000)
Hillebrand, A., Schmale, W.: Towards an effective version of a theorem of Stafford. J. Symb. Comput. 32, 699–716 (2001)
Finkel, F., Kamran, N.: On the equivalence of matrix differential operators to Schrödinger form. Nonlinear Math. Phys. 4(3–4), 278–286 (1997)
Bell, A.D., Goodearl, K.R.: Uniform rank over differential operator rings and Poincaré-Birkhoff-Witt extension. Pac. J. Math. 131(1), 13–37 (1988)
Giesbrecht, M., Reid, G., Zhang, Y.: Non-commutative Gröbner Bases in Poincaré–Birkhoff–Witt extensions. In: Proceedings of Conference on Computer Algebra and Scientific Computation (CASC’02), pp. 97–106 (2002)
Acknowledgments
All the authors would like to thank NSERC Canada for their support of this research.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Giesbrecht, M., Labahn, G., Zhang, Y. (2014). Computing Popov Forms of Matrices Over PBW Extensions. In: Feng, R., Lee, Ws., Sato, Y. (eds) Computer Mathematics. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-43799-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-662-43799-5_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-43798-8
Online ISBN: 978-3-662-43799-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)