Research article

Prime decomposition of quadratic matrix polynomials

  • Received: 27 April 2021 Accepted: 30 June 2021 Published: 05 July 2021
  • MSC : 15A23, 15A24, 34A05

  • 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

    Related Papers:

    [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,BCn×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,BMn(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 a24b0 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,DCn×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 D1D2 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,DMn(C) such that

    L(λ)=(λI+C)(λI+D) (2.1)

    and there are U,VMn(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 HMn(C) such that

    DHHC=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,bR satisfy the condition

    af+gb=1.

    Let m be in a left R module M. If y,zM and

    {f(y)=m,g(z)=a(m),

    then x=by+z is a solution of the equation fg(x)=m. Conversely, any solution xM of the equation fg(x)=m can be written as the following form, x=by+z, where y,zM 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(1af)(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=xby.

    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,HMn(C) such that L(λ)=(λI+C)(λI+D) and DHHC=I. Then the solution of L(d/dt)u=f has the form

    u(t)=HeCtα1+eDtα2+t0He(st)Cf(s)dst0e(st)DHf(s)ds

    for some α1,α2Cn. In particular, the solution of L(d/dt)u=0 has the form

    u(t)=HeCtα1+eDtα2

    for some α1,α2Cn.

    Remark 2.5. Suppose that

    IλS1,IλS2

    is a complete pair for L(λ) (see Section 2.5 in [7]). Then S2S1 is some invertible matrix, say P. Let C=PS2P1,D=S1. Then P1CDP1=I. So

    L(λ)=(λIPS2P1)(λIS1)

    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|xCn s.t. x0,and Rix=kix,i=1,2}.

    Since R1R2=R2R1, there exists an invertible matrix T such that

    TRiT1=[k(i)10k(i)200k(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=[a1a2an1an0a1an2an100a1a2000a1].

    The polynomial F(λ) is called upper Toeplitz matrix polynomial if

    F(λ)=[f1(λ)f2(λ)fn1fn(λ)0f1(λ)fn2fn1(λ)00f1(λ)f2(λ)000f1(λ)],

    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 a24b=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,TMn(C), where T is invertible. Then L(λ)=λ2I+Aλ+B is prime decomposable if and only if TL(λ)T1 is prime decomposable.

    Proof. Note that TL(λ)T1=(λI+TCT1)(λI+TDT1), where T is invertible. Furthermore, Eq (2.3) is equivalent to equation (TDT1)(THT1)(THT1)(TCT1)=I. By Definition 2.1, the result follows. The proof is complete.

    Lemma 3.3. Suppose aC. 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,DMn(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 DHHC=I is equivalent to the condition ˜CHH˜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,DMn(C). If σ(C)σ(D)=, where σ(X) is the set of eigenvalues of the matrix X, then for any UMn(C), there exists a unique HMn(C) such that DHHC=U.

    Lemma 3.5. Suppose F(λ) is upper Toeplitz matrix polynomial with f1(λ)=λ2+aλ+b on the diagonal. If a24b, 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)(λInC), (3.2)

    where C2=0 and there is H satisfying

    CHHC=I. (3.3)

    We prove the result in two cases.

    Case 1. n=2k, k is an nonnegative integer.

    Let

    Ci=[1111],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 CHHC 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

    TBT1=diag(b1Ir1,,blIrl,Jl+1,,Js),

    where Ji is a Jordan block with bi on the diagonal for i=l+1,,s, and bibj for ij(i,j=1,,s). Since AB=BA, we have

    TAT1=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

    TiMiT1i=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(λ)H1=diag(L1(λ),,Lh(λ)),

    where h=li=0mi+sl, 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(λ)H1 has a prime decomposition

    HL(λ)H1=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 axxb=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 AXXB=C and AXYB=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
  • This article has been cited by:

    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
  • Reader Comments
  • © 2021 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(2575) PDF downloads(101) Cited by(1)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog