Research Article | Open Access
Sheng Chen, Chao Xia, "Extending an Almost Complete Pair of Matrices to a Complete Triple", The Scientific World Journal, vol. 2014, Article ID 493606, 6 pages, 2014. https://doi.org/10.1155/2014/493606
Extending an Almost Complete Pair of Matrices to a Complete Triple
Motivated by the concept of complete pairs, which was introduced by Krein and Langer, we present the concepts of an almost complete pair of matrices and a complete triple of matrices. It is proved that an almost complete pair of matrices can be extended to a complete triple. An application of the result to differential equations is also given.
Let be a monic matrix polynomial, where for . If there exist a matrix and a polynomial of degree such that , then is said to be a monic right divisor of . As is well known, is a monic right divisor of if and only if is a root of ; that is, Let be the companion matrix of ; that is, Then we have . If are the different roots of , it is clear that the Vandermonde matrix plays a role in the investigation of the spectral analysis of .
Definition 1. We say that the -tuple of complex square matrices of order is complete if the Vandermonde matrix is invertible. When and , we call a complete -tuple of matrices a complete pair and a complete triple, respectively.
Suppose that is complete. Take . Then is invertible. If we take then , , form a complete pair of right divisors of (cf. Lemma 2.4 in ). The concept of complete pair was introduced in [3, 4]. In , Lancaster gave some important applications of complete pairs to solutions of differential equations. Motivated by the results in , we are interested in the following question.
Question 1. Suppose that is not a complete pair. Is it possible for us to find and a cubic matrix polynomial such that is a complete triple and are right divisors of ?
If is a complete triple, then is of full column rank. Note that if and the rank of is less than , we cannot always find such that is a complete triple. For example, let be defined as follows: where , are square matrices of orders and 2, respectively, and is in the form Then
If , then the last two columns of are linearly dependent. For any , cannot be invertible.
If , then is of full column rank. From the condition that is of full column rank, we cannot conclude that .
After the above discussion, we give the following definition.
Definition 2. For two matrices , one says they form an almost complete pair if the matrix is of full column rank and the rank of is . For simplification, one says is an almost complete pair of matrices of order .
The following is the main result of this paper.
Theorem 3. Suppose that , , and is an almost complete pair. Then one can find a matrix such that is a complete triple; that is, is invertible.
2. Proof of the Main Theorem
In this section, we prove Theorem 3. Note that there is an invertible matrix such that is the Jordan normal form of . Let . Then the condition that is invertible is equivalent to that is invertible. So from the beginning, we can assume that is in Jordan normal form.
First we prove a lemma.
Lemma 4. Assume and the pair is an almost complete pair with . Write where . Then is not a zero vector.
Proof. By some computations, we have The last column of is , which is a -dimensional column vector. By the definition of almost complete pair, is not a zero vector.
Now we prove the main theorem.
Proof. From now on, we write . We denote by the matrix which is obtained by exchanging the columns of and of identity matrix.
Without loss of generality, we can assume is in the Jordan normal form.
Case 1. Firstly, we consider the case that If , then we take By some computation, the last columns of and are and , respectively, and the th () column of is and the th column of is , where and . It is clear that is a polynomial in . If , then the degree of this polynomial is and the leading term of this polynomial is . If is sufficiently large, we can get that is invertible. If , by Lemma 4, then there must be some where . So where the first entry of the vector is . Take such that Then is invertible.
Case 2. Now we consider the case that has the Jordan normal form where , . If , then we take If and , then we take such that In any case when is sufficiently large, we can get that is invertible.
Case 3. Now we consider the case that 0 is not a single root of characteristic polynomial of ; that is, has the Jordan normal form: If , then By Lemma 4, . Take Then We can conclude that is invertible.
Firstly, we prove the case that the normal form itself is If , then we take So By some computation, is a polynomial in , where the leading term of it is . So if , then is invertible when is sufficiently large. If , then there must be an such that . If , take such that When is sufficiently large, we have being invertible. If , that is to say, the last column of is , then we take We have where the first entry of the last column of is . So the leading term of the polynomial is . Thus is invertible when is sufficiently large.
Now we prove the general case that has the Jordan normal form: where , . If there is some , , we assume that is a matrix of order . For any square matrix of order , we can construct a square matrix of order such that is invertible. Take If , for all , there must be some such that , . Let , where is the matrix which is obtained by exchanging the columns and of identity matrix. Then and where the square matrix of order has the form Let be a matrix such that has the Jordan normal form . Then we can consider the matrix . Note that has the form Denote . For any square matrix , we can construct a square matrix of order such that is invertible. Take . Then we can conclude that is invertible. The proof is complete.
For given monic matrix polynomials , the construction of a common multiple of them was presented in .
By Theorem 9.11 of , there exists a monic matrix polynomial with degree 3 which is a common multiple of , , .
As is well known, spectral method for the analysis of monic matrix polynomials was important (cf. [6–13]). The spectral method basically uses the construction of standard pairs and standard triples (e.g., [14, 15]) to solve differential equations.
Now we recall definitions of standard pair and standard triple for monic polynomials.
Definition 5 (see ). A pair of matrices , where is and is , is called a standard pair for the monic matrix polynomial if the following conditions are satisfied:(i) is nonsingular, where
If is in Jordan normal form, we call a Jordan pair for the monic matrix polynomial .
Definition 6 (see ). A triple of matrices , where is , is , and is , is called a standard triple for the monic matrix polynomial if is a standard pair for , and .
Now we recall the explicit formulas for solutions of the following differential equation:
Lemma 7 (Theorem 2.9 in ). The general solution of (60) is given by the formula where is a standard triple of and is arbitrary. In particular, the general solution of the homogeneous equation is given by the formula
Before we give the main result of this section, we introduce some notations. Suppose are the Jordan forms of , , , respectively. Write
Theorem 8. Let be a complete triple of , where . Then every solution of is given by for some , where In particular, every solution of has the form where .
Proof. Using Lemma 7, we take Then is a standard triple; it is easy to get the conclusion.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The authors would like to thank the referees for their helpful comments and suggestions. The research was supported by National Natural Science Foundation of China (Grant no. 11001064), by the Fundamental Research Funds for the Central Universities (Grant no. HIT. NSRIF. 2014085), and by the Scientific Research Foundation for the Returned Overseas Chinese Scholars.
- I. Gohberg, M. A. Kaashoek, L. Lerer, and L. Rodman, “Common multiples and common divisors of matrix polynomials—II. Vandermonde and resultant matrices,” Linear and Multilinear Algebra, vol. 12, no. 3, pp. 159–203, 1983.
- I. Gohberg, P. Lancaster, and R. Rodman, Matrix Polynomails, Academic Press, London, UK, 1982.
- M. G. Krein, H. Langer, and R. Troelstra, “On some mathematical principles in the linear theory of damped oscillations of continua I,” Integral Equations and Operator Theory, vol. 1, no. 3, pp. 364–399, 1978.
- M. G. Krein and H. Langer, “On some mathematical principles in the linear theory of damped oscilations of continua II,” Integral Equations and Operator Theory, vol. 1, no. 4, pp. 539–566, 1978.
- P. Lancaster, “A fundamental theorem on lambda-matrices with applications—I. Ordinary differential equations with constant coefficients,” Linear Algebra and Its Applications, vol. 18, no. 3, pp. 189–211, 1977.
- J. A. Ball, I. Gohberg, and L. Rodman, “Common minimal multiples and divisors for rational matrix functions,” Linear Algebra and Its Applications, vol. 137-138, pp. 621–662, 1990.
- N. Cohen, “Spectral analysis of regular matrix polynomials,” Integral Equations and Operator Theory, vol. 6, no. 1, pp. 161–183, 1983.
- I. Gohberg, M. A. Kaashoek, and L. Rodman, “Spectral analysis of families of operator polynomials and a generalized Vandermonde matrix—II: the infinite dimensional case,” Journal of Functional Analysis, vol. 30, no. 3, pp. 358–389, 1978.
- I. Gohberg, P. Lancaster, and L. Rodman, “Spectral analysis of matrix polynomials—I. Canonical forms and divisors,” Linear Algebra and Its Applications, vol. 20, no. 1, pp. 1–44, 1978.
- I. Gohberg, P. Lancaster, and L. Rodman, “Spectral analysis of matrix polynomials—II. The resolvent form and spectral divisors,” Linear Algebra and Its Applications, vol. 21, no. 1, pp. 65–88, 1978.
- I. Gohberg, P. Lancaster, and R. Rodman, “Representations and divisibility of operator polynomials,” Canadian Journal of Mathematics, vol. 30, pp. 1045–1069, 1978.
- M. A. Kaashoek, “Recent developments in the spectral analysis of matrix and operator polynomials,” in Proceedings of the Bicentennial Congress Wiskundig Genootschap, pp. 233–247, Math. Centre Tracts, 101, Mathematisch Centrum, Amsterdam, The Netherlands, 1979.
- J. Maroulas, “Factorization of matrix polynomials with multiple roots,” Linear Algebra and Its Applications, vol. 69, pp. 9–32, 1985.
- M. Al-Ammari and F. Tisseur, “Standard triples of structured matrix polynomials,” Linear Algebra and Its Applications, vol. 437, no. 3, pp. 817–834, 2012.
- P. Lancaster, U. Prells, and L. Rodman, “Canonical structures for palindromic matrix polynomials,” Operators and Matrices, vol. 1, no. 4, pp. 469–489, 2007.
Copyright © 2014 Sheng Chen and Chao Xia. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.