7.2
CiteScore
3.7
Impact Factor
Generic selectors
Exact matches only
Search in title
Search in content
Post Type Selectors
Search in posts
Search in pages
Filter by Categories
ABUNDANCE ESTIMATION IN AN ARID ENVIRONMENT
Case Study
Editorial
Invited review
Letter to the Editor
Original Article
REVIEW
Review Article
SHORT COMMUNICATION
7.2
CiteScore
3.7
Impact Factor
Generic selectors
Exact matches only
Search in title
Search in content
Post Type Selectors
Search in posts
Search in pages
Filter by Categories
ABUNDANCE ESTIMATION IN AN ARID ENVIRONMENT
Case Study
Editorial
Invited review
Letter to the Editor
Original Article
REVIEW
Review Article
SHORT COMMUNICATION
View/Download PDF

Translate this page into:

Original article
31 (
1
); 42-47
doi:
10.1016/j.jksus.2017.05.017

Some new linear representations of matrix quaternions with some applications

Department of Basic Sciences and Humanities, College of Engineering, University of Dammam, P.O. Box 1982, Dammam 34151, Saudi Arabia
Disclaimer:
This article was originally published by Elsevier and was migrated to Scientific Scholar after the change of Publisher.

Peer review under responsibility of King Saud University.

Abstract

In this paper, we construct several new attractive and interested linear representations of matrix quaternions by using Kronecker structures in order to obtain the general partitioned linear representation form of matrix quaternions. In addition, we present the general solutions of three important partitioned quaternions systems by using our new representations and Kronecker structure. These systems are: the partitioned linear quaternion equations, general linear matrix quaternion system and coupled Sylvester matrix quaternion system.

Keywords

Quaternions
Kronecker product
Schur complement
Moore-Penrose inverse
Linear matrix quaternion equations
11R52
15A69
15A24
PubMed
1

1 Introduction

Throughout of the present paper, we denote that the set of all real numbers, the set of all complex numbers, the set of all quaternions and the set of all n × n matrices R , C , Q and M n ( R ) , respectively. Also, the notations: r ( A ) , R ( A ) , A T , A - 1 , A + and VecA stand for the rank, range, transpose, inverse, Moore-Penrose inverse and vector operator of matrix A , respectively.

The quaternions (Nie et al., 2017; Zeng, 2005; Tian and Styan, 2005; Farebrother et al., 2003; Zhang, 1997):

(1-1)
Q = { a 1 + a 2 i + a 3 j + a 4 k : a 1 , a 2 , a 3 , a 4 R } , where { 1 , i , j , k } is set of basis of Q which satisfying the following “Hamilton conditions”:
(1-2)
i 2 = j 2 = k 2 = - 1 ; ij = k ; ki = j ; jk = i ; ji = - k ; ik = - j ; kj = - i ,
are a four dimensional generalization of two dimensional complex algebra:
(1-3)
C = a 1 + a 2 i : a 1 , a 2 R , i 2 = - 1 .

Similarly to how complex numbers can describe both points and linear operations in the plane, quaternions can describe both points and linear operations in three or four dimensions. Historically, the development of quaternions runs parallel to the development or real linear algebra and matrix theory. Thus they provided a framework for dealing with vector quantities before the wide spread popularization of matrices and vector calculus in mathematics and physics and have inspired the development of more general “hypercomplex” geometric algebras such as Clifford algebras (Farenick and Pidkowitch, 2003; Zhang, 1997, 2011; Sun et al., 2011; Lee and Song, 2010; Harauz, 1990; Behan and Mars, 2004; Kuipres, 2000; Farebrother et al., 2003; Alagoz et al., 2012; Song et al., 2014; Jafari et al., 2013; Li et al., 2014; Huang, 2000; Song and Wang, 2011; Wang, 2005; Bolat and Ipek, 2004; Wang and Song, 2007). In the other word, quaternions algebra have been playing a central role in many fields of sciences such as differential geometry, human images, control theory, quantum physics, theory of relativity, simulation of particle motion, 3D geophones, multispectral images, signal processing include seismic velocity analysis, seismic waveform deconvolution, 3D anemometers, statistical signal processing and probability distributions (Farenick and Pidkowitch, 2003; Zhang, 1997; Sun et al., 2011; Lee and Song, 2010; Harauz, 1990; Behan and Mars, 2004; Kuipres, 2000; Took and Mandic, 2011; Ginzberg, 2013; Leo and Scolarici, 2000; Zhang and March, 2011).

Recently, matrix quaternion equations and systems play an important role in mathematics and other sciences such as engineering, statistics, control theory and quantum field theory in physics and chemistry (Behan and Mars, 2004; Took and Mandic, 2011; Sun et al., 2011; Lee and Song, 2010; Ginzberg, 2013; He and Wang, 2013; Nie et al., 2017; Wang et al., 2009, 2016; Rehman and Wang, 2015; Lin and Wang, 2013; Zhang, 2007, 2013; Lawrynowicz et al., 2010; Zhang and March, 2011). For example, Zhang (1997) studied and proved some properties on quaternions and quaternions on matrices; Lee and Song (2010) established matrix representations of Clifford algebra; Farebrother et al. (2003) established some matrix representations of quaternions; Tian and Styan (2005) established some matrix versions of the Cauchy-Schwarz and Frucht-Kantorovich inequalities over the quaternion algebra; Alagoz et al. (2012) studied the split quaternion matrices; Bolat and Ipek (2004) studied the singular value decomposition of quaternion matrices; Song and Wang (2011) solved some restricted some linear quaternion equations by using an alternative condensed Cramer rule method; He and Wang (2013), Nie et al. (2017), Wang et al. (2016) and Rehman and Wang (2015) established the necessary and sufficient conditions for the existence to the solutions of such matrix quaternion systems which include the coupled generalized Sylvester matrix equations and matrix quaternion equations with three and more variables. Moreover, the vector-sensor signal processing was studied by Behan and Mars (2004); a color human face image by quaternion matrix representations was recognized and reconstructed by Sun et al. (2011); the statistical properties of quaternion matrices was studied by Ginzberg (2013); quaternions random signals was studied by Took and Mandic (2011); the three-Dimensional (3D) Ising models was constructed and discussed by Zhang (2007, 2013); the order-disorder model and Ising lattice was studied by Lawrynowicz et al. (2010); and the temperature-time duality in the 3D Ising model was also presented by Zhang and March (2011).

The complex number as in (1-3) can be extended and defined as a real linear representation σ on matrix quaternions Q of order 2 n × 2 n ( n N ) as follows (Lee and Song, 2010; Farebrother et al., 2003; Song et al., 2014; Huang, 2000; Jafari et al., 2013; Zhang, 1997, 2011; Tian and Styan, 2005): σ : Q M 2 n ( R ) by

(1-4)
Q σ = σ ( a 1 I + a 2 H ) : H 2 = - I , where a 1 , a 2 R , and H is not a unique matrix.

Also the Hamiltonian representation as in (1-1) and the quaternion representation as in (1-4) are extended as follow (Lee and Song, 2010; Farebrother et al., 2003; Song et al., 2014; Huang, 2000; Jafari et al., 2013; Zhang, 1997, 2011; Tian and Styan, 2005; Zeng, 2005): Let σ : Q M 2 n ( R ) be a real linear representation on matrix quaternions Q defined by:

(1-5)
Q σ = σ ( a 1 I + a 2 H + a 3 J + a 4 K ) , where a r R ( r = 1 , 2 , 3 , 4 ) , I is an identity matrix of order 2 n × 2 n and H , J , K are real matrices of order 2 n × 2 n such that satisfying the following Hamilton conditions:
(1-6)
H 2 = J 2 = K 2 = - I ; HJ = K ; JK = H ; KH = J ; JH = - K ; KJ = - H ; HK = - J .

Note also that H , J and K are not unique real matrices and the Hamilton conditions as in (1-6) can be rearranged as in the following table:

Hamilton Conditions Table
× I H J K
I I H J K
H H - I K - J
J J - K - I H
K K J - H - I
Finally, the Moore-Penrose inverse and Kronecker products of matrices as defined below, respectively, are playing a central role to obtain our results in the solutions of the linear quaternion systems.
  1. The Moore-Penrose inverse A + of a rectangular matrix A is defined to be satisfied the following equations (Wang, 1997; Kilicman and Al-Zhour, 2007, 2011)

(1-7)
AA + A = A ; A + AA + = A + ; ( AA + ) T = AA + ; ( A + A ) T = A + A .

Note that if A is a nonsingular square matrix, then A + = A - 1 .

  1. The Kronecker product of A = [ a ij ] and A = [ b kl ] is defined by (Van Loan, 2000; Visick, 2000; Jódar and Abou-Kandil, 1989; Al-Zhour and Kilicman, 2007; Al-Zhour, 2012, 2014, 2015, 2016):

(1-8)
A B = [ a ij B ] .
Note that the Kronecker product has the following nice properties (Kilicman and Al-Zhour, 2007; Al-Zhour and Kilicman, 2007; Al-Zhour, 2012, 2014, 2015):
(1-9)
( A B ) + = A + B + ; ( A B ) ( C D ) = AC BD ; Vec ( ABC T ) = ( C A ) VecB ,
where A B , C and D are matrices with compatible sizes.

One of the most important applications of quaternions, Kronecker products and the 2 × 2 Pauli spin matrices as in (3-1) later is the Hamiltonian of the 3D Ising model on a simple or thorhombic lattice which is written by (Zhang, 2013):

(1-10)
H ̂ = - J τ = 1 n ρ = 1 m δ = 1 l s ρ ( τ ) , δ s ρ ( τ + 1 ) , δ - J / τ = 1 n ρ = 1 m δ = 1 l s ρ ( τ ) , δ s ρ ( τ ) + 1 , δ - J / / τ = 1 n ρ = 1 m δ = 1 l s ρ ( τ ) , δ s ρ ( τ ) , δ + 1 .

The partition function of (1-10) is given by Zhang (2007, 2013) as follows:

(1-11)
Z = Tr ( T ( V ) ) m = Tr ( V 3 V 2 V 1 ) m , where the transfer matrices V 1 , V 2 , V 3 and all variables are given in equations (1)-(9) in Zhang (2013) works. Also another representation of a partition function of (1-10) is given by Zhang (2007, 2013) works as follows:
(1-12)
Z = ( 2 sin h 2 K ) mnl 2 Tr ( V 3 V 2 V 1 ) m = ( 2 sin h 2 K ) mnl 2 i = 1 2 nl λ i m ,
where the transfer matrices V 1 , V 2 , V 3 and all variables are given in Eqs. (11)–(23) in Zhang (2013) works.

In the present paper, several new attractive and interested linear representations of matrix quaternions are constructed by using Kronecker structures which conclude to the general partitioned linear representation form of matrix quaternions. Furthermore, the general solutions of partitioned linear quaternion and linear matrix quaternion systems which includes the coupled Sylvester matrix quaternion equations are also presented by using our new effective approach.

2

2 Linear representations of matrix quaternions as in (1-4)

Since the matrix H (where H 2 = - I ) as in (1-4) is not a unique, then in this Section we construct the 2-dimensional, 4-dimensional and 8 -dimensional matrix quaternions based on the Kronecker structure as in the following cases:

Case 1. Choose H = 0 - 1 1 0 , then it is easy to verify that H 2 = - I 2 and the real linear representation σ on matrix quaternions Q 2 is given by σ : Q 2 M 2 ( R ) and defined as follows:

(2-1)
Q σ = σ ( a 1 I 2 + a 2 H ) = a 1 - a 2 a 2 a 1 . Case 2. Consider the following matrices:
(2-2)
A = 0 - 1 1 0 , B = 1 0 0 - 1 .

Here, A 2 = - I 2 , B 2 = I 2 and the real linear representation σ on matrix quaternions Q 4 is given by σ : Q 4 M 4 ( R ) and defined as follows:

(2-3)
Q σ = σ ( a 1 I 4 + a 2 H ) : H 2 = - I 4 , Now, we can generate the matrix quaternions of order 4 × 4 by using the Kronecker product as follow. Choose: H = A B = 0 0 - 1 0 0 0 0 1 1 0 0 0 0 - 1 0 0 , then H 2 = A 2 B 2 = - I 4 . In this case,
(2-4)
Q σ = a 1 0 - a 2 0 0 a 1 0 a 2 a 2 0 a 1 0 0 - a 2 0 a 1 .
Case 3. Consider the following matrices:
(2-5)
A = 0 - 1 1 0 , B = 1 0 0 - 1 , C = 0 1 1 0 .

Here, A 2 = - I 2 , B 2 = C 2 = I 2 and the real linear representation σ on matrix quaternions Q 8 is given by σ : Q 8 M 8 ( R ) which is defined as:

(2-6)
Q σ = σ ( a 1 I 8 + a 2 H ) : H 2 = - I 8 .

Now, we can generate the matrix quaternions of order 8 × 8 by using the Kronecker product in some different ways. For example,

  1. Choose: H = A C B = 0 0 0 0 0 0 - 1 0 0 0 0 0 0 0 0 1 0 0 0 0 - 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 - 1 0 0 0 0 1 0 0 0 0 0 0 0 0 - 1 0 0 0 0 0 0 , then H 2 = A 2 C 2 B 2 = - I 8 . In this case,

    (2-7)
    Q σ = a 1 0 0 0 0 0 - a 2 0 0 a 1 0 0 0 0 0 a 2 0 0 a 1 0 - a 2 0 0 0 0 0 0 a 1 0 a 2 0 0 0 0 a 2 0 a 1 0 0 0 0 0 0 - a 2 0 a 1 0 0 a 2 0 0 0 0 0 a 1 0 0 - a 2 0 0 0 0 0 a 1 .

  2. Choose: H = A B C = 0 0 0 0 0 - 1 0 0 0 0 0 0 - 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 - 1 0 0 0 0 0 0 - 1 0 0 0 0 0 , then H 2 = A 2 B 2 C 2 = - I 8 . In this case

    (2-8)
    Q σ = a 1 0 0 0 0 - a 2 0 0 0 a 1 0 0 - a 2 0 0 0 0 0 a 1 0 0 0 0 a 2 0 0 0 a 1 0 0 a 2 0 0 a 2 0 0 a 1 0 0 0 a 2 0 0 0 0 a 1 0 0 0 0 0 - a 2 0 0 a 1 0 0 0 - a 2 0 0 0 0 a 1 .

  3. Choose: H = A A A = 0 0 0 0 0 0 0 - 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 - 1 0 0 0 0 0 0 1 0 0 0 0 0 0 - 1 0 0 0 0 0 0 - 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 , then H 2 = A 2 A 2 A 2 = - I 8 . In this case,

    (2-9)
    Q σ = a 1 0 0 0 0 0 0 - a 2 0 a 1 0 0 0 0 a 2 0 0 0 a 1 0 0 a 2 0 0 0 0 0 a 1 - a 2 0 0 0 0 0 0 a 2 a 1 0 0 0 0 0 - a 2 0 0 a 1 0 0 0 - a 2 0 0 0 0 a 1 0 a 2 0 0 0 0 0 0 a 1 .

3

3 Linear representations of matrix quaternions as in (1-5)

Since H, J and K are not unique real matrices as in (1-5), then we discuss below some important cases for choosing these matrices such that the all Hamilton conditions as in (1-6) holds in order to get the 4-dimensional and 8-dimensional matrix quaternions from (1-5).Consider the following 2 × 2 Pauli spin matrices:

(3-1)
A = 0 - 1 1 0 , B = 1 0 0 - 1 , C = 0 1 1 0 , D = 1 0 0 1 . Here, it is easy to verify that: A 2 = - I 2 , B 2 = C 2 = D 2 = I 2 , AD = DA = A , BD = DB = B , CD = DC = C , AB = C , BA = - C , CA = B , AC = - B , CB = A , BC = - A . Now by using the Kronecker products of A , B , C and D in some ways, then we can generate the imaginary parts H , J and K M 4 ( R ) in many different selections. For example, if we choose: H = D A = 0 - 1 0 0 1 0 0 0 0 0 0 - 1 0 0 1 0 , J = A B = 0 0 - 1 0 0 0 0 1 1 0 0 0 0 - 1 0 0 , K = HJ = A C = 0 0 0 - 1 0 0 - 1 0 0 1 0 0 1 0 0 0 . It is easy to verify that the all Hamilton conditions are holds by: H 2 = D 2 A 2 = - I 4 , J 2 = A 2 B 2 = - I 4 , K 2 = A 2 C 2 = - I 4 , HJ = DA AB = A C = K , JH = AD BA = A ( - C ) = - K , JK = A 2 BC = - ( D ) ( - A ) = H , KJ = A 2 CB = - ( D ) A = - H , KH = AD CA = A B = J , HK = DA AC = A ( - B ) = - J . In this case,
(3-2)
Q σ = σ ( a 1 I 4 + a 2 H + a 3 J + a 4 K ) = a 1 - a 2 - a 3 - a 4 a 2 a 1 - a 4 a 3 a 3 a 4 a 1 - a 2 a 4 - a 3 a 2 a 1 .

Similarly, we can easily construct some possible cases for choosing the real matrices H , J and K which satisfying the all Hamilton conditions by rearranging the Kronecker products between 2 × 2 -matrices A , B , C and D as given in (3-1). Also based on the Kronecker products of A , B , C and D in (3-1), we can generate the imaginary parts H , J and K M 8 ( R ) in many different ways. For example,

  1. Choose: H = A C D , J = D A C and K = HJ = A B C .

  2. Choose: H = A B D , J = B D A and K = HJ = C B A .

Note that H , J and K are matrices of order 8 × 8 with one nonzero element (1 or -1) in each row and one nonzero element (1 or −1) in each column and it is easy to check that the all Hamilton conditions as in (1-6) are holds and easy also to find the quaternion matrix Q σ = σ ( a 1 I 4 + a 2 H + a 3 J + a 4 K ) M 8 ( R ) .

Note that we can obtain the higher dimensional quaternion matrices of order 2 n × 2 n ( n = 3 , 4 , ) by using m-fold Kronecker products of 2 × 2 matrices as same as chosen in (3-1).

4

4 General partitioned representations form of matrix quaternions

We note from the all above cases as in Sections 2 and 3 that any quaternion matrix Q σ M 2 n ( R ) can be rewritten as a partitioned quaternion matrix as follow:

(4-1)
Q σ = S 11 S 12 S 21 S 22 : S 11 = S 22 , S 12 = - S 21 . Now, we can construct the 8-dimensional matrix quaternions based on (4-1) and by letting T be a partitioned matrix of order 8 × 8 as follows:
(4-2)
T = T 11 T 12 T 13 T 14 T 21 T 22 T 23 T 24 T 31 T 32 T 33 T 34 T 41 T 42 T 43 T 44 = S 11 S 12 S 21 S 22 ,
where each block of matrices T ij is of order 2 × 2 and each block of matrices S kl is of order 4 × 4 .In fact, S 11 = T 11 T 12 T 21 T 22 , S 12 = T 13 T 14 T 23 T 24 , S 21 = T 31 T 32 T 41 T 42 , S 22 = T 33 T 34 T 43 T 44 , and T 11 = T 22 , T 14 = T 23 , T 41 = T 32 , T 33 = T 44 , T 21 = - T 12 , T 13 = - T 24 , T 31 = - T 42 , T 34 = - T 43 .

By this way, we can obtain the quaternion matrix Q σ M 8 ( R ) as in the following form:

(4-3)
Q σ = a 1 - a 2 - a 3 - a 4 - a 5 a 6 - a 7 - a 8 a 2 a 1 - a 4 a 3 - a 6 - a 5 - a 8 a 7 a 3 a 4 a 1 - a 2 - a 7 - a 8 a 5 - a 6 a 4 - a 3 a 2 a 1 - a 8 a 7 a 6 a 5 a 5 - a 6 a 7 a 8 a 1 - a 2 - a 3 - a 4 a 6 a 5 a 8 - a 7 a 2 a 1 - a 4 a 3 a 7 a 8 - a 5 a 6 a 3 a 4 a 1 - a 2 a 8 - a 7 - a 6 - a 5 a 4 - a 3 a 2 a 1 . Similarly, we can extend this method as in (4-1) and (4-2) and depends on the quaternion matrix of order 8 × 8 as in (4-3) to obtain an quaternion matrix of order 16 × 16 , 32 × 32 , and so on to get the quaternion matrix of order 2 n × 2 n ( n = 4 , 5 , ).

5

5 Some applications of linear matrix quaternions

In this Section, we present the general vector solutions of the partitioned linear quaternion equations, general linear matrix quaternion system and coupled Sylvester matrix quaternion system by using Kronecker structure.

Lemma 5.1

Let Q σ = N - M M N M 2 n ( R ) be a partitioned quaternion matrix and N , M M 2 n - 1 ( R ) such that the all relevant inverses exist. Then Q σ - 1 = S N - 1 N - 1 MS N - 1 - S N - 1 MN - 1 S N - 1 , where S N = N + MN - 1 M is the Schur complement of N in Q σ .

Lemma 5.2

Let Q σ = N - M M N M 2 n ( R ) be a partitioned quaternion matrix such that r ( Q σ ) = 2 r ( N ) , R ( N ) = R ( M ) and R ( N T ) = R ( M T ) . Then

(5-1)
Q σ + = S N + - S M + S M + S N + , where
(5-2)
S N + = ( N + MN + M + ) + , S M + = - ( M + NM + N + ) + .

Theorem 5.1

Let M , N M 2 n - 1 ( R ) be given real full-rank matrices such that R ( N ) = R ( M ) and R ( N T ) = R ( M T ) , and c , k M 2 n - 1 × 1 ( R ) be given constant vectors, and x , y M 2 n - 1 × 1 ( R ) be unknown vectors. Then the general solutions of the following linear quaternion system:

(5-3)
Nx - My = c , Mx + Ny = k , are given by:
(5-4)
x = c ( N + MN + M + ) + + k ( M + NM + N + ) + , y = k ( N + MN + M + ) + - c ( M + NM + N + ) + .

Proof

The system as in (5-3) can be rewritten in matrix form as follows:

(5-5)
Q σ z = r , where Q σ = N - M M N is a quaternion matrix of order 2 n × 2 n , r = c k is a constant vector of order 2 n × 1 and z = x y is a vector of order 2 n × 1 to be solved. Now the system as in (5-5) is a partitioned linear matrix quaternion and satisfies the all assumptions of Lemma 5.2, then the unique solutions of quaternion system (5-3) is given by:
(5-6)
x y = N - M M N + c k = S N + - S M + S M + S N + c k .

Hence, it is easy from (5-6) to obtain the general solution x and y as in (5-4). □

Theorem 5.2

Let A , B , C , D M n be given real full-rank matrices such that R ( B A ) = R ( D C ) and R ( B T A T ) = R ( D T C T ) , and G , H M n be given constant matrices, and X , Y M n be unknown matrices. Then the general vector solutions of the following general linear matrix quaternion system:

(5-7)
AXB T - CYD T = G , CXD T + AYB T = H ,

are given by:

(5-8)
VecX = ( B A + DB + D + CA + C + ) + VecG + ( D C + AD + A + BC + B + ) + VecH , VecY = - ( D C + AD + A + BC + B + ) + VecG + ( B A + DB + D + CA + C + ) + VecH .

Proof

By taking the vector operator for both sides of the system as in (5-7) and based on the properties of Kronecker product as in (1-9), then (5-7) can be rewritten in matrix form as follows:

(5-9)
Q σ w = d , where Q σ = N - M M N = B A - D C D C B A is a quaternion partitioned matrix, d = VecG VecH is a constant vector and w = VecX VecY is a vector to be solved.

Now the system as in (5-7) is a partitioned linear quaternion and satisfies the all assumptions of Lemma 5.2, then the unique solutions of quaternion system as in (5-7) is given by:
(5-10)
VecX VecY = B A - D C D C B A + VecG VecH = S B A + - S D C + S D C + S B A + VecG VecH = ( B A + DB + D + CA + C + ) + ( D C + AD + A + BC + B + ) + - ( D C + AD + A + BC + B + ) + ( B A + DB + D + CA + C + ) + VecG VecH .

Hence, it is easy by simple computations of (5-10) to obtain the general vector solutions of X and Y as in (5-8). □

One of the most important cases can be obtained from (5-7) is the following coupled Sylvester matrix quaternion equations:

(5-11)
AX - YB T = G , XB T + AY = H , where A , B M n are given real full-rank matrices, G , H M n are given constant matrices, and X , Y M n are unknown matrices to be solved as in next result.
Corollary 5.1

Let A , B M n be given real full-rank matrices such that R ( I n A ) = R ( B I N ) and R ( I n A T ) = R ( B T I n ) and let G , H M n be given constant matrices and X , Y M n be unknown matrices. The general vector solutions of the coupled Sylvester matrix quaternion equations as in (5-11) are given by:

(5-12)
VecX = ( I n A + BB + A + ) + VecG + ( B I n + B + AA + ) + VecH , VecY = - ( B I n + B + AA + ) + VecG + ( I n A + BB + A + ) + VecH .

Proof

Similarly by the same technique as in the proof of Theorem 5.2, then (5-11) can be rewritten in matrix form as follows:

(5-13)
Q σ t = e , where Q σ = N - M M N = I n A - B I n B I n I n A is a quaternion partitioned matrix, e = VecG VecH is a constant vector and t = VecX VecY is a vector to be solved. Applying Lemma 5.2, then the unique solutions of quaternion system as in (5-11) is given by:
(5-14)
VecX VecY = I n A - B I n B I n I n A + VecG VecH = S I n A + - S B I n + S B I n + S I n A + VecG VecH = ( I n A + BB + A + ) + ( B I n + B + AA + ) + - ( B I n + B + AA + ) + ( I n A + BB + A + ) + VecG VecH .

Hence it is easy to obtain the general vector solutions of X and Y as in (5-12) by using simple computations of (5-14). □

Remark 5.1

If the all relevant inverse of submatrices N and M exists in the partitioned linear quaternion matrix Q σ = N - M M N that obtained in Theorems 5.1 and 5.2 and in Corollary 5.1. Then we can easily get the general (vector) solutions of linear (matrix) quaternion systems as in (5-3), (5-7) and (5-11) by using the same procedures as in the proofs of Theorems 5.1 and 5.2 and Corollary 5.1 together with using Lemma 5.1.

6

6 Conclusion

Several new attractive and interested linear representations of matrix quaternions are constructed and obtained as in Sections 2,3 and 4 by using Kronecker structures which conclude to the general linear representation form of matrix quaternions as in Section 5. Moreover, the general solutions of partitioned linear quaternion and linear matrix quaternion systems which includes the coupled Sylvester matrix quaternion system are also presented by using a new approach. How to extend the use of our new method to find the general solutions of such linear matrix quaternion systems of several variables as in (Wang et al., 2016; Nie et al., 2017; Rehman and Wang, 2015); and also how to apply our new method for dealing the partition functions for the Hamiltonian of the 3D Ising model as in (1-11) and (1-12) which is given in details in (Zhang, 2013; Lawrynowicz et al., 2010) still require further researches.

Acknowledgements

The author expresses his sincere thanks to referees for careful reading of the manuscript and several helpful suggestions.

References

  1. , , , . Split quaternion matrices. Miskolc Math. Notes. 2012;13(2):223-232.
    [Google Scholar]
  2. , . Efficient solutions of coupled matrix and matrix differential equations. Intell. Control Autom.. 2012;3(2):176-187.
    [Google Scholar]
  3. , . The general (vector) solutions of such linear (coupled) matrix fractional differential equations by using Kronecker structures. Appl. Math. Comput.. 2014;232:498-510.
    [Google Scholar]
  4. , . New techniques for solving some matrix and matrix differential equations. Ain Shams Eng. J.. 2015;6(1):347-354.
    [Google Scholar]
  5. , . The general solutions of singular and non-singular matrix fractional time-varying descriptor systems with constant coefficient matrices in Caputo sense. Alexandria Eng. J.. 2016;55:1675-1681.
    [Google Scholar]
  6. , , . Some new connections between matrix products for partitioned and non-partitioned matrices. Comput. Math. Appl.. 2007;54:763-784.
    [Google Scholar]
  7. , , . Singular value decomposition of quaternion matrices: a new tool for vector-senor signal processing. Signal Process.. 2004;84:1177-1199.
    [Google Scholar]
  8. , , . On the solutions of the quaternion interval systems. Appl. Math. Comput.. 2004;244:375-381.
    [Google Scholar]
  9. , , , . Matrix representation of quaternions. Linear Algebra Appl.. 2003;362:251-255.
    [Google Scholar]
  10. , , . The spectral theorem in quaternions. Linear Algebra Appl.. 2003;371:75-102.
    [Google Scholar]
  11. , . Quaternion Matrices: Statistical Properties and Applications to Signal Processing and Wavelets. London: Imperial College; . Ph.D Thesis
  12. , . Representation of rotations by unit quaternions. Ultramicroscopy. 1990;33:209-213.
    [Google Scholar]
  13. , , . A real quaternion matrix equation with applications. Linear Multilinear Algebra. 2013;61(6):725-740.
    [Google Scholar]
  14. , . On two questions about quaternion matrices. Linear Algebra Appl.. 2000;318:79-86.
    [Google Scholar]
  15. , , , . Matrix representation of dual quaternions. Gazi Univ. J. Sci.. 2013;26(4):535-542.
    [Google Scholar]
  16. , , . Kronecker products and coupled matrix Riccati differential systems. Linear Algebra Appl.. 1989;121:39-51.
    [Google Scholar]
  17. , , . Vector least-squares solutions of coupled singular matrix equations. J. Comput. Appl. Math.. 2007;206(2):1051-1069.
    [Google Scholar]
  18. , , . On convergent infinite products and some generalized inverses of matrix sequences. Abstract Appl. Anal.. 2011;2011:20. 536935
    [Google Scholar]
  19. , . Quaternions and rotation sequences. Geom. Inerrability Quantization 2000:127-143.
    [Google Scholar]
  20. , , , . An approach to models of order-disorder and Ising lattices. Adv. Appl. Clifford Alg.. 2010;20:733-743.
    [Google Scholar]
  21. , , . The matrix representation of Clifford Algebra. J. Chungcheong Math. Soc.. 2010;23(2):363-368.
    [Google Scholar]
  22. , , . Right eigenvalue equation in quaternionic quantum mechanics. J. Phys. A. 2000;33:2971-2995.
    [Google Scholar]
  23. , , , , . A fast structure-preserving method for computing the singular value decomposition of quaternion matrices. Appl. Math. Comput.. 2014;235:157-167.
    [Google Scholar]
  24. , , . Completing a 2 × 2 bock matrix of real quaternions with a partial specified inverse. J. Appl. Math.. 2013;2013:5. 271978
    [Google Scholar]
  25. , , , . A system of matrix equations over the quaternion algebra with applications. Algebra Colloquium. 2017;24:233-253.
    [Google Scholar]
  26. , , . A system of matrix equations with five variables. Appl. Math. Comput.. 2015;271:805-819.
    [Google Scholar]
  27. , , . Condensed Cramer rule for some restricted quaternion linear equations. Appl. Math. Comput.. 2011;218:3110-3121.
    [Google Scholar]
  28. , , , , . A real representation method for solving Yakubovich-j-conjugate quaternion matrix equation. Abstract Appl. Anal.. 2014;2014:9. 285086
    [Google Scholar]
  29. , , , . Color face recognition based on quaternion matrix representation. Pattern Recogn. Lett.. 2011;32:597-605.
    [Google Scholar]
  30. , , . Some inequalities for sum of nonnegative definite matrices in quaternions. J. Ineq. Appl.. 2005;5:449-458.
    [Google Scholar]
  31. , , . Augmented second-order statistics of quaternion random signals. Signal Processing.. 2011;91:214-224.
    [Google Scholar]
  32. , . The ubiquitous Kronecker product. J. Comput. Appl. Math.. 2000;123:85-100.
    [Google Scholar]
  33. , . A quantitative version of the observation that the Hadamard product is a principal submatrix of the Kronecker product. Linear Algebra Appl.. 2000;304:45-68.
    [Google Scholar]
  34. , . Weighted Moore-Penrose, Drazin, and group inverses of the Kronecker product, A B and some applications. Linear Algebra Appl.. 1997;250:39-50.
    [Google Scholar]
  35. , . The general solutions to system of real quaternion matrix equations. Computer Math. Appl.. 2005;49:665-675.
    [Google Scholar]
  36. , , . Extreme ranks of the solution to a consistent system of linear quaternion matrix equations with an application. Appl. Math. Comput.. 2007;189(2):1517-1532.
    [Google Scholar]
  37. , , , . A system of real quaternion matrix equations with applications. Linear Algebra Appl.. 2009;431:2291-2303.
    [Google Scholar]
  38. , , , , . Constraint generalized Sylvester matrix equations. Automatica. 2016;69:60-64.
    [Google Scholar]
  39. , . The quaternion matrix-valued Young’s inequality. J. Ineq. Pure Appl. Math.. 2005;6(3):89
    [Google Scholar]
  40. , . Quaternions and matrix of quaternions. Linear Algebra Appl.. 1997;251:21-57.
    [Google Scholar]
  41. , . Conjectures on the exact solutions of the three-dimensional (3D) simple orthorhombic Ising lattices. Phil. Mag.. 2007;87(34):5309-5419.
    [Google Scholar]
  42. , . On real matrices to least-squares g-inverse and minimum norm g-inverse of quaternion matrices. Adv. Linear Algebra Matrix Theory. 2011;1:1-7.
    [Google Scholar]
  43. , . Mathematical structure of the three-dimensional (3D) Ising model. Chin. Phys. B. 2013;22(3):030513.
    [Google Scholar]
  44. , , . Temperature-time duality exemplified by Ising magnets and quantum-chemical many electronic theory. J. Math. Chem.. 2011;49:1283-1290.
    [Google Scholar]
Show Sections