We study the prime decomposition of a quadratic monic matrix polynomial. From the prime decomposition of a quadratic matrix polynomial, we obtain a formula of the general solution to the corresponding second-order differential equation. For a quadratic matrix polynomial with pairwise commuting coefficients, we get a sufficient condition for the existence of a prime decomposition.
Citation: Yunbo Tian, Sheng Chen. Prime decomposition of quadratic matrix polynomials[J]. AIMS Mathematics, 2021, 6(9): 9911-9918. doi: 10.3934/math.2021576
[1] | Huawei Huang, Xin Jiang, Changwen Peng, Geyang Pan . A new semiring and its cryptographic applications. AIMS Mathematics, 2024, 9(8): 20677-20691. doi: 10.3934/math.20241005 |
[2] | Hailun Wang, Fei Wu, Dongge Lei . A novel numerical approach for solving fractional order differential equations using hybrid functions. AIMS Mathematics, 2021, 6(6): 5596-5611. doi: 10.3934/math.2021331 |
[3] | Shousheng Zhu . Double iterative algorithm for solving different constrained solutions of multivariate quadratic matrix equations. AIMS Mathematics, 2022, 7(2): 1845-1855. doi: 10.3934/math.2022106 |
[4] | Miloud Sadkane, Roger Sidje . Computing a canonical form of a matrix pencil. AIMS Mathematics, 2024, 9(5): 10882-10892. doi: 10.3934/math.2024531 |
[5] | Zahra Pirouzeh, Mohammad Hadi Noori Skandari, Kamele Nassiri Pirbazari, Stanford Shateyi . A pseudo-spectral approach for optimal control problems of variable-order fractional integro-differential equations. AIMS Mathematics, 2024, 9(9): 23692-23710. doi: 10.3934/math.20241151 |
[6] | Yinlan Chen, Min Zeng, Ranran Fan, Yongxin Yuan . The solutions of two classes of dual matrix equations. AIMS Mathematics, 2023, 8(10): 23016-23031. doi: 10.3934/math.20231171 |
[7] | Waleed Mohamed Abd-Elhameed, Abdullah F. Abu Sunayh, Mohammed H. Alharbi, Ahmed Gamal Atta . Spectral tau technique via Lucas polynomials for the time-fractional diffusion equation. AIMS Mathematics, 2024, 9(12): 34567-34587. doi: 10.3934/math.20241646 |
[8] | Emrah Polatlı . On some properties of a generalized min matrix. AIMS Mathematics, 2023, 8(11): 26199-26212. doi: 10.3934/math.20231336 |
[9] | Jin Li . Barycentric rational collocation method for semi-infinite domain problems. AIMS Mathematics, 2023, 8(4): 8756-8771. doi: 10.3934/math.2023439 |
[10] | Samia Bushnaq, Kamal Shah, Sana Tahir, Khursheed J. Ansari, Muhammad Sarwar, Thabet Abdeljawad . Computation of numerical solutions to variable order fractional differential equations by using non-orthogonal basis. AIMS Mathematics, 2022, 7(6): 10917-10938. doi: 10.3934/math.2022610 |
We study the prime decomposition of a quadratic monic matrix polynomial. From the prime decomposition of a quadratic matrix polynomial, we obtain a formula of the general solution to the corresponding second-order differential equation. For a quadratic matrix polynomial with pairwise commuting coefficients, we get a sufficient condition for the existence of a prime decomposition.
The linear second-order differential equation
¨q(t)+A˙q(t)+Bq(t)=f(t), | (1.1) |
where A,B∈Cn×n and q(t) is an nth-order vector, frequently arise in the fields of mechanical and electrical oscillation [16]. The study of the solutions of the Eq (1.1) lead to the research of a quadratic matrix polynomial
L(λ)=λ2+Aλ+B, | (1.2) |
where A,B∈Mn(C) and I is the identity matrix of order n [7]. In this work we investigate the prime decomposition of quadratic matrix polynomial (1.2). By the prime decomposition of (1.2), we represent the general solution of Eq (1.1).
Consider the solution of the homogeneous equation (1.1) with n=1 and f=0, rewritten in the form
¨q(t)+a˙q(t)+bq(t)=0. | (1.3) |
We knows that the general solution of Eq (1.3) with a2−4b≠0 is
q(t)=c1eλ1+c2eλ2, | (1.4) |
where c1,c2 are constants and λ1,λ2 are the roots of λ2+aλ+b=0. In analogy with Formula (1.4) we ask whether Eq (1.1) has the formula of the general solution.
The quadratic matrix polynomial (1.2) is called factorizable if it can be factorized into a product of two linear matrix polynomial, i.e.
L(λ)=(Iλ+C)(Iλ+D), | (1.5) |
where C,D∈Cn×n, and Iλ+D is called a right divisor of L(λ). Right divisors Iλ+D1, Iλ+D2 for L(λ) are said to form a complete pair if D1−D2 is invertible.
There have been extensive study and application of the matrix polynomial factorization (see [4,9,10,11,14,15]). The quadratic eigenvalue problems (see [13,16]) received much attention because of its applications in the dynamic analysis of mechanical systems in acoustics and linear stability of flows in fluid mechanics. A solution of a quadratic matrix equation can be obtained by the fraction of a quadratic matrix polynomial [7]. A system of second-order differential equation with self-adjoint coefficients may describe the ubiquitous problem of damped oscillatory systems with a finite number of degrees of freedom. This leads to the study of Hermitian quadratic matrix polynomials[1,12].
Gohberg, Lancaster and Rodman analyzed some properties of linear second-order differential equation (1.1) and quadratic matrix polynomial (1.2) in [7]. It was shown that Eq (1.1) has a formula of the general solution similar to Formula (1.4) if the quadratic matrix polynomial (1.2) has a complete pair [7]. Motivated by results in [7], we propose a concept of prime decomposition to generalized this result.
This paper is organized as follows. In section 2, we give the definition of prime decomposition of a quadratic monic matrix polynomial L(λ) and some properties. By the prime decomposition, we get an integral formula for the corresponding second order matrix differential equation. In section 3, we investigate the prime decomposition of a class of quadratic matrix polynomial. A sufficient condition for L(λ) having a prime decomposition is presented in Theorem 3.1.
First we give the definition of prime decomposability of a quadratic matrix polynomial L(λ). Some equivalent conditions of prime decomposability are given in Remark 2.2.
Definition 2.1. The matrix polynomial L(λ) has a prime decomposition if there exist C,D∈Mn(C) such that
L(λ)=(λI+C)(λI+D) | (2.1) |
and there are U,V∈Mn(C) such that
U(λI+C)+(λI+D)V=I. | (2.2) |
Remark 2.2. Our definition of prime decomposition of matrix polynomials is different from the definition of coprime factorization of matrix polynomials which was studied in many papers (e.g. Definition 3.1 in [6]). By Lemma 3.1 in [2], it is easy to verify that condition (2.2) is equivalent to each of the following statements:
(1) There is H∈Mn(C) such that
DH−HC=I. | (2.3) |
(2) There are matrix polynomials U(λ),V(λ) such that
U(λ)(λI+C)+(λI+D)V(λ)=I. |
Motivated by Lemma 3.1 in [8], we have the following theorem. It shows the significance of prime decomposability in solving equations.
Theorem 2.3. Let R be a ring with identity 1. Suppose that f,g,a,b∈R satisfy the condition
af+gb=1. |
Let m be in a left R module M. If y,z∈M and
{f(y)=m,g(z)=a(m), |
then x=by+z is a solution of the equation fg(x)=m. Conversely, any solution x∈M of the equation fg(x)=m can be written as the following form, x=by+z, where y,z∈M and
{f(y)=m,g(z)=a(m). |
In particular, by taking m=0 we get ker(fg)=bker(f)+ker(g).
Proof. Suppose that
{f(y)=m,g(z)=a(m). |
Then we have
fg(x)=fgb(y)+fg(z)=f(1−af)(y)+fa(m)=f(y)−faf(y)+fa(m)=m. |
So x=by+z is a solution to fg(x)=m.
Conversely, if fg(x)=m, then we take
{y=g(x),z=x−by. |
We will get
{f(y)=m,g(z)=a(m). |
The proof is complete.
The following result, whose proof is obvious, presents an immediate application of the the above theorem to differential equations.
Corollary 2.4. Suppose that L(λ)=λ2I+λA+B is prime decomposable, i.e., there are C,D,H∈Mn(C) such that L(λ)=(λI+C)(λI+D) and DH−HC=I. Then the solution of L(d/dt)u=f has the form
u(t)=He−Ctα1+e−Dtα2+∫t0He(s−t)Cf(s)ds−∫t0e(s−t)DHf(s)ds |
for some α1,α2∈Cn. In particular, the solution of L(d/dt)u=0 has the form
u(t)=He−Ctα1+e−Dtα2 |
for some α1,α2∈Cn.
Remark 2.5. Suppose that
Iλ−S1,Iλ−S2 |
is a complete pair for L(λ) (see Section 2.5 in [7]). Then S2−S1 is some invertible matrix, say P. Let C=PS2P−1,D=S1. Then P−1C−DP−1=I. So
L(λ)=(λI−PS2P−1)(λI−S1) |
is a prime decomposition. Thus we can recover Theorem 2.16 in [7] from Corollary 2.4.
We first propose some notations used in this section. Let R1, R2 be n×n matrices with R1R2=R2R1. The joint spectrum, denoted by σ(R1,R2), is a subset of C2 defined by
σ(R1,R2)={k=(k1,k2)∈C2|∃x∈Cn s.t. x≠0,and Rix=kix,i=1,2}. |
Since R1R2=R2R1, there exists an invertible matrix T such that
TRiT−1=[k(i)1∗⋯⋯0k(i)2⋯⋯⋮⋮⋱⋮00⋯k(i)n], i=1,2, | (3.1) |
and the joint spectrum σ(R1,R2) can be read off from the diagonal elements in (3.1), namely,
σ(R1,R2)={kj=(k(1)j,k(2)j)|j=1,…,n}. |
The multiplicity of k∈σ(R1,R2) is the number of ki,i=1,…,n which are same as k. The matrix M is called upper Toeplitz matrix if
M=[a1a2⋯an−1an0a1⋯an−2an−1⋮⋮⋱⋮⋮00⋯a1a200⋯0a1]. |
The polynomial F(λ) is called upper Toeplitz matrix polynomial if
F(λ)=[f1(λ)f2(λ)⋯fn−1fn(λ)0f1(λ)⋯fn−2fn−1(λ)⋮⋮⋱⋮⋮00⋯f1(λ)f2(λ)00⋯0f1(λ)], |
where f1(λ)=λ2+aλ+b, and deg(fi)≤1,i=2,…,n.
It is shown that a matrix polynomial with pairwise commuting coefficients of the simple structure can be represented in the form of a product of linear factors [15]. Motivated by [15], we investigate the prime decomposability of L(λ) with pairwise commuting coefficients. The following theorem gives a sufficient condition for L(λ) having a prime decomposition.
Theorem 3.1. If polynomial matrix L(λ)=λ2I+Aλ+B satisfies the following conditions:
(i) AB=BA,
(ii) each nonlinear elementary divisor of A and B is coprime with the other elementary divisors of A and B, respectively,
(iii) the degrees of elementary divisors of L(λ) are not great than 2,
(iv) the multiplicity of eigenvalue k=(a,b)∈σ(A1,A0) satisfying a2−4b=0 is even.
Then L(λ) has a prime decomposition.
Prior to the proof of this theorem, we formulate several auxiliary statements. By the following two lemmas, the problem of prime decomposability of a quadratic monic matrix polynomials can be reduced in some sense.
Lemma 3.2. Suppose that A,B,T∈Mn(C), where T is invertible. Then L(λ)=λ2I+Aλ+B is prime decomposable if and only if TL(λ)T−1 is prime decomposable.
Proof. Note that TL(λ)T−1=(λI+TCT−1)(λI+TDT−1), where T is invertible. Furthermore, Eq (2.3) is equivalent to equation (TDT−1)(THT−1)−(THT−1)(TCT−1)=I. By Definition 2.1, the result follows. The proof is complete.
Lemma 3.3. Suppose a∈C. Then L(λ)=λ2I+Aλ+B is prime decomposable if and only if λ2I+λ˜A+˜B is prime decomposable, where ˜A=2aI+A,˜B=a2I+aA+B.
Proof. If L(λ) is decomposable, then there exist C,D∈Mn(C) such that
λ2I+λA+B=(λI+C)(λI+D). |
Let ˜C=aI+C, and ˜D=aI+D. We have
λ2I+λ(2aI+A)+a2I+aA+B=(λI+˜C)(λI+˜D). |
Furthermore, the condition that there exists H such that DH−HC=I is equivalent to the condition ˜CH−H˜D=I. By Definition 2.1, the result follows.
The following lemma is a well known result about Sylvester equation which was studied in many papers [3,5].
Lemma 3.4. [7] Let C,D∈Mn(C). If σ(C)∩σ(D)=∅, where σ(X) is the set of eigenvalues of the matrix X, then for any U∈Mn(C), there exists a unique H∈Mn(C) such that DH−HC=U.
Lemma 3.5. Suppose F(λ) is upper Toeplitz matrix polynomial with f1(λ)=λ2+aλ+b on the diagonal. If a2≠4b, then F(λ) has a prime decomposition.
Proof. As shown in [15], F(λ) can be decomposed into a product of linear factors which has only one (without regard for multiplicity) characteristic root. By Lemma 3.4, we know that the decomposition is a prime decomposition.
Lemma 3.6. Suppose F(λ) is upper Toeplitz matrix polynomial with f1(λ)=λ2+aλ+b on the diagonal, and n is the order of F(λ). If a2=4b and the degrees of elementary divisors of F(λ) are not great than 2, then F(λ) has a prime decomposition if and only if n is even.
Proof. Since the degrees of elementary divisors of F(λ) are not great than 2, we have
F(λ)=λ2In+2c1In+c21I, |
where c1=a2. By Lemma 3.3, it suffices to prove the prime decomposability of λ2In, i.e., there exists C such that
λ2In=(λIn+C)(λIn−C), | (3.2) |
where C2=0 and there is H satisfying
−CH−HC=I. | (3.3) |
We prove the result in two cases.
Case 1. n=2k, k is an nonnegative integer.
Let
Ci=[11−1−1],Hi=[0100]. |
Then
C=diag(C1,…,Ck),H=diag(H1,…,Hk), |
satisfy Eqs (3.2) and (3.3).
Case 2. n=2k+1, k is an nonnegative integer.
By Lemma 3.2, we suppose C=diag(J1,…,Js), where Ji is a Jordan block with zero on the diagonal for i=1,…,s. Since C2=0, the order of Ji is not great than 2 for i=1,…,s. Thus there exists r such that Jr=0. Without loss of generality, we assume J1=0. Then the (1,1) entry of −CH−HC is 0. Hence there does not exist H satisfying Eq (3.3).
Now we are ready to give the proof of Theorem 3.1.
Proof of Theorem 3.1. Suppose that L(λ)=λ2I+λA+B satisfies the conditions of Theorem 3.1. Hence there exists an invertible matrix T such that
TBT−1=diag(b1Ir1,…,blIrl,Jl+1,…,Js), |
where Ji is a Jordan block with bi on the diagonal for i=l+1,…,s, and bi≠bj for i≠j(i,j=1,…,s). Since AB=BA, we have
TAT−1=diag(M1,…,Ml,Ml+1,…,Ms), |
where Mi(i>l) is upper Toeplitz matrix(see Theorem S2.2 in [7]). Note that there exist invertible Ti such that
TiMiT−1i=diag(Ji1,…,Jimi), i=1,…,l, |
where Jij is a Jordan block with aij on the diagonal for j=l,…,mi.
Let H=Tdiag(T1,…,Tl,I,…,I). We have
HL(λ)H−1=diag(L1(λ),…,Lh(λ)), |
where h=∑li=0mi+s−l, and Li(λ) is upper Toeplitz matrix polynomial for i=1,…,h. Because Li(λ)(i=1,…,h) satisfy the conditions of Theorem 3.1, from Lemmas 3.5 and 3.6, we know that Li(λ)(i=1,…,h) has a prime decomposition, say
Li(λ)=(λI+Ci)(λI+Di). |
Hence HL(λ)H−1 has a prime decomposition
HL(λ)H−1=diag(λI+C1,…,λI+Ch)diag(λI+D1,…,λI+Dh). |
By Lemma 3.2, we know that L(λ) has a prime decomposition.
In this paper, we have presented the prime decomposition of a quadratic monic matrix polynomial and the application in solving corresponding second-order differential equation. We have got a sufficient condition for the existence of a prime decomposition for a quadratic matrix polynomial with pairwise commuting coefficients. As has been said, a complete pair can be used to form a prime decomposition of the quadratic matrix polynomial. Thus, we expect that the relation between a prime decomposition and a complete pair can be studied more thoroughly. The prime decomposition of a matrix polynomial with degree n will be investigated in a future paper.
The first author is supported by the Natural Science Foundation of Shandong Province, China (Grant No. ZR2018PA002).
The authors declare that they have no conflicts of interest.
[1] | C. Campos, J. E. Roman, Inertia-based spectrum slicing for symmetric quadratic eigenvalue problems, Numer. Linear Algebra Appl., 27 (2020), e2293. |
[2] |
S. Chen, Y. Tian, On solutions of generalized Sylvester equation in polynomial matrices, J. Franklin Inst., 351 (2014), 5376-5385. doi: 10.1016/j.jfranklin.2014.09.024
![]() |
[3] | P. M. Cohn, The range of derivations on a skew field and the equation ax−xb=c, J. Indian Math. Soc., 37 (1973), 61-69. |
[4] | P. V. Dooren, Rational and polynomial matrix factorizations via recursive pole-zero cancellation, Linear Algebra Appl., 137 (1990), 663-697. |
[5] |
H. Flanders, H. K. Wimmer, On the matrix equations AX−XB=C and AX−YB=C, SIAM J. Appl. Math., 32 (1977), 707-710. doi: 10.1137/0132058
![]() |
[6] |
S. D. Garveya, P. Lancaster, A. A. Popov, U. Prells, I. Zaballa, Filters connecting isospectral quadratic systems, Linear Algebra Appl., 438 (2013), 1497-1516. doi: 10.1016/j.laa.2011.03.040
![]() |
[7] | I. Gobherg, P. Lancaster, L. Rodman, Matrix polynomials, In: Indefinite linear algebra and applications, Birkhäuser Basel, 2009. |
[8] | S. K. Jain, T. Y. Lam, A. Leroy, Ore extensions and V-domains, Rings, Modules and Representations: International Conference on Rings and Things in Honor of Carl Faith and Barbara Osofsky, Ohio University-Zanesville, 480 (2009), 249-262. |
[9] | P. S. Kazimirski, Separation of a regular linear factor of a simple structure from a matrix polynomial, Theor. Appl. Probl. Algebra Differ. Equations, 119 (1976), 29-40. |
[10] | P. S. Kazimirski, V. M. Petrichkovich, Decomposability of polynomial matrices into a product of linear factors, Mat. Met. Fiz.-Mekh. Polya, 8 (1978), 3-9. |
[11] |
I. N. Krupnik, Decomposition of a monic polynomial into a product of linear factors, Linear Algebra Appl., 167 (1992), 239-242. doi: 10.1016/0024-3795(92)90355-E
![]() |
[12] |
P. Lancaster, F. Tisseur, Hermitian quadratic matrix polynomials: Solvents and inverse problems, Linear Algebra Appl., 436 (2012), 4017-4026. doi: 10.1016/j.laa.2010.06.047
![]() |
[13] |
A. Malyshev, M. Sadkane, Computing the distance to continuous-time instability of quadratic matrix polynomials, Numer. Math., 145 (2020), 149-165. doi: 10.1007/s00211-020-01108-0
![]() |
[14] |
B. Z. Shavarovskii, Factorable polynomial matrices, Math. Notes, 68 (2000), 507-518. doi: 10.1007/BF02676732
![]() |
[15] |
B. Z. Shavarovs'kyi, Decomposability of matrix polynomials with commuting coefficients into a product of linear factors, Ukr. Math. J., 62 (2011), 1295-1306. doi: 10.1007/s11253-011-0430-2
![]() |
[16] |
F. Tisseur, K. Meerbergen, The quadratic eigenvalue problem, SIAM Rev., 43 (2001), 235-286. doi: 10.1137/S0036144500381988
![]() |
1. | Peng E, Tingting Xu, Linhua Deng, Yulin Shan, Miao Wan, Weihong Zhou, Solutions of a class of higher order variable coefficient homogeneous differential equations, 2025, 20, 1556-1801, 213, 10.3934/nhm.2025011 |