### Smith Form of Triangular Multivariate Polynomial Matrix

LIU Jinwang, WU Tao, LI Dongmei

1. School of Mathematics and Computing Sciences, Hunan University of Science and Technology, Xiangtan 411201, China
• Received:2021-08-11 Revised:2021-10-28 Online:2023-01-25 Published:2023-02-09
• Supported by:
This research was supported by the National Natural Science Foundation of China under Grant Nos. 11971161 and 11871207

LIU Jinwang, WU Tao, LI Dongmei. Smith Form of Triangular Multivariate Polynomial Matrix[J]. Journal of Systems Science and Complexity, 2023, 36(1): 151-164.

The Smith form of a matrix plays an important role in the equivalence of matrix. It is known that some multivariate polynomial matrices are not equivalent to their Smith forms. In this paper, the authors investigate mainly the Smith forms of multivariate polynomial triangular matrices and testify two upper multivariate polynomial triangular matrices are equivalent to their Smith forms respectively.
 [1] Bachelier O and Cluzeau T, Digression on the Equivalence Between Linear 2D Discrete Repetitive Processes and Roesser Models, International workshop on multidimensional (nD) systems (nDS), 2017, 1-6.[2] Bose N K, Multidimensional Systems Theory and Applications, Springer, Dordrecht, 1995, DOI:10.1007/978-94-017-0275-1.[3] Bose N K, Applied Multidimensional Systems Theory, Van Nostrand Reinhold, New Work, 1982, DOI:10.1007/978-3-319-46825-9.[4] Boudellioua M S and Quadrat A, Serre's reduction of linear functional systems, Math, Comput. Sci., 2010, 4(2):289-312.[5] Boudellioua M S, Galkowski K, and Rogers E, On the connection between discrete linear repetitive processes and 2-D discreat linear systems, Multidimensional Systems and Signal Processing, 2017, 28(1):341-351.[6] Kailath T, Linear Systems, Englewood Cliffs, NJ:Prentice-Hall, 1980, DOI:10.1016/0005-1098(82)90082-6.[7] Antoniou E and Vologiannidis S, On the reduction of 2-D polynomial system into first order equivalent models, Multidimensional Systems and Signal Processing, 2020, 31(1):249-268.[8] Frost M G and Storey C, Euivalence of a matrix over R[s, z] with its Smith form, International Journal of Control, 1978, 28(5):665-671.[9] Frost M G and Storey C, Equivalence of matrices over R[s, z]:A counter-example, International Journal of Control, 1981, 34(6):1225-1226.[10] Boudellioua M S, Further results on the equivalence to Smith form of multivariate polynomial matrices, Control and Cybernetics, 2013, 42(2):543-551.[11] Lin Z, Boudellioua M S, and Xu L, On the equivalence and factorization of multivariate polynomial matrices, Proceeding of the IEEE, 2006, 4911-4914.[12] Frost M G and Boudellioua M S, Some further results concerning matrices with elements in a polynomial ring, International Journal of Control, 1986, 43(5):1543-1555.[13] Li D, Liu J, and Zheng L, On the equivalence of multivariate polynomial matrix, Multidimensional Systems and Signal Processing, 2017, 28(1):225-235.[14] Boudellioua M S, Computation of the Smith form for multivariate polynomial matrices using Maple, American Journal of Computational Mathematics, 2012, 2(1):21-26.[15] Lee E and Zak S, Smith form over R[z1, z2], IEEE Trans. Autom. Control, 1983, 28(1):115-118.[16] Lin Z, On primitive factorizations for n-D polynomial matrices, IEEE International Symposium on Circuits and Systems, 1993, 595-598.[17] Lin Z, Notes on n-D polynomial matrix factorizations, Multidimensional Systems and Signal Processing, 1999, 10(4):379-393.[18] Lin Z, Further results on n-D polynomial matrix factorizations, Multidimensional Systems and Signal Processing, 2001, 12(2):99-208.[19] Wang M and Feng D, On Lin-Bose problem, Linear Algebra and Its Application, 2004, 390:279-285.[20] Wang M, On factor prime factorization for n-D polynomial matrices, IEEE Transactions on Circuits and Systems, 2007, 54(6):1398-1405.[21] Wang M and Kwong C P, On multivariate polynomial matrix factorization problems, Mathematics of Control, Signal, and Systems, 2005, 17(4):297-311.[22] Lu D, Wang D, and Xiao F, Factorizations for a class of multivariate polynomial matrices, Multidimensional Systems and Signal Processing:An International Journal, 2020, 31(6):1-16.[23] Lu D, Ma X, and Wang D, A new algorithm for general factorizations of multivariate polynomial matrices, International Symposium on Symbolic and Algebraic Computation, 2017, 277-284.[24] Lu D, Wang D, and Xiao F, Further results on the factorization and equivalence for multivariate polynomial matrices, Symbolic and Algebraic Computation, 2020, 328-335.[25] Liu J, Li D, and Zheng L, The Lin-Bose problem, IEEE Trans. Circuits Syst. II, 2014, 61(1):41-43.[26] Liu J and Wang M, Notes on factor prime factorizations for n-d polynomial matrices, Multidimensional Systems and Signal Processing, 2010, 21(1):87-97.[27] Brown W C, Matrices over Commutative Rings, Marcell Dekker, New York, 1992.
 [1] ZHENG Xiaopeng, LU Dong, WANG Dingkang, XIAO Fanghui. New Results on the Equivalence of Bivariate Polynomial Matrices [J]. Journal of Systems Science and Complexity, 2023, 36(1): 77-95.
Viewed
Full text

Abstract