We address the issue of simplifying symbolic polynomials on non-commutative variables. The problem is motivated by applications in optimization and various problems in systems and control. We develop theory for polyno...
详细信息
We address the issue of simplifying symbolic polynomials on non-commutative variables. The problem is motivated by applications in optimization and various problems in systems and control. We develop theory for polynomials which are linear in a subset of the variables and develop algorithms to produce representations which have the minimal possible number of terms. The results can handle polynomial matrices as well as block-matrix variables. (C) 2012 Elsevier Inc. All rights reserved.
Sylvester and Lyapunov operators in real and complex matrix spaces are studied, which include as particular cases the operators arising in the theory of linear time-invariant systems. Let M : F-mxn, --> F-pxq be a ...
详细信息
Sylvester and Lyapunov operators in real and complex matrix spaces are studied, which include as particular cases the operators arising in the theory of linear time-invariant systems. Let M : F-mxn, --> F-pxq be a linear operator, where F = R or F = C. The operator M is elementary if there exist matrices A is an element of F-pxm and B is an element of F-qxn, such that M[X] = AXB. Each M can be represented as a sum of minimum number of elementary operators, called the Sylvester index of M. An expression for the Sylvester index of st general linear operator M is given. An important tool here is a special permutation operator V-p,V-m : F-pqxmn, F-pmxnq such that the image V-p,V-m(B-T x A) of the matrix of a non-zero elementary operator is equal to the rank 1 matrix vec[A]row[B], where vec[X] and row[X] are the column-wise and row-wise vector representation of the matrix X, The application of V-p,V-m, reduces a sum of Kronecker products of matrices to the standard product of two matrices. A linear operator L : F-nxn --> F-nxn is a Lyapunov operator if (L[X])* = L[X*], where the star denotes transposition in the real case and complex conjugate transposition in the complex case. Characterisations and parametrisations of the sets of real and complex Lyapunov operators are given and their dimensions are found. Relevant Lyapunov indexes for Lyapunov operators are introduced and calculated. Similar results are given also for several classes of Lyapunov-like linear and pseudo-linearoperators. The concept of Lyapunov singular values of a Lyapunov operator is introduced and the application of these values to the sensitivity and a posteriori error analysis of Lyapunov equations is discussed. (C) 2000 Elsevier Science Inc. All rights reserved.
暂无评论