Translate this page into:
Some new linear representations of matrix quaternions with some applications
-
Received: ,
Accepted: ,
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
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 matrices , , and , respectively. Also, the notations: , , , , and stand for the rank, range, transpose, inverse, Moore-Penrose inverse and vector operator of matrix , respectively.
The quaternions (Nie et al., 2017; Zeng, 2005; Tian and Styan, 2005; Farebrother et al., 2003; Zhang, 1997):
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
of order
(
) 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):
by
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
be a real linear representation on matrix quaternions
defined by:
Note also that
and
are not unique real matrices and the Hamilton conditions as in (1-6) can be rearranged as in the following table:
Hamilton Conditions Table
-
The Moore-Penrose inverse of a rectangular matrix is defined to be satisfied the following equations (Wang, 1997; Kilicman and Al-Zhour, 2007, 2011)
Note that if is a nonsingular square matrix, then .
-
The Kronecker product of and 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):
One of the most important applications of quaternions, Kronecker products and the
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):
The partition function of (1-10) is given by Zhang (2007, 2013) as follows:
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.
1-4)
Linear representations of matrix quaternions as in (Since the matrix (where ) 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
, then it is easy to verify that
and the real linear representation
on matrix quaternions
is given by
and defined as follows:
Here,
,
and the real linear representation
on matrix quaternions
is given by
and defined as follows:
Here,
,
and the real linear representation
on matrix quaternions
is given by
which is defined as:
Now, we can generate the matrix quaternions of order by using the Kronecker product in some different ways. For example,
-
Choose: , then . In this case,
(2-7) -
Choose: , then . In this case
(2-8) -
Choose: , then . In this case,
(2-9)
1-5)
Linear representations of matrix quaternions as in (Since H, J and
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
Pauli spin matrices:
Similarly, we can easily construct some possible cases for choosing the real matrices and which satisfying the all Hamilton conditions by rearranging the Kronecker products between -matrices and as given in (3-1). Also based on the Kronecker products of and in (3-1), we can generate the imaginary parts and in many different ways. For example,
-
Choose: , and .
-
Choose: , and .
Note that and are matrices of order 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 .
Note that we can obtain the higher dimensional quaternion matrices of order ( ) by using m-fold Kronecker products of matrices as same as chosen in (3-1).
General partitioned representations form of matrix quaternions
We note from the all above cases as in Sections 2 and 3 that any quaternion matrix
can be rewritten as a partitioned quaternion matrix as follow:
By this way, we can obtain the quaternion matrix
as in the following form:
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.
Let be a partitioned quaternion matrix and , such that the all relevant inverses exist. Then , where is the Schur complement of in .
Let
be a partitioned quaternion matrix such that
,
and
. Then
Let
,
be given real full-rank matrices such that
and
, and
,
be given constant vectors, and
,
be unknown vectors. Then the general solutions of the following linear quaternion system:
The system as in (5-3) can be rewritten in matrix form as follows:
Hence, it is easy from (5-6) to obtain the general solution and as in (5-4). □
Let
,
be given real full-rank matrices such that
and
, and
,
be given constant matrices, and
,
be unknown matrices. Then the general vector solutions of the following general linear matrix quaternion system:
are given by:
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:
Hence, it is easy by simple computations of (5-10) to obtain the general vector solutions of and as in (5-8). □
One of the most important cases can be obtained from (5-7) is the following coupled Sylvester matrix quaternion equations:
Let
,
be given real full-rank matrices such that
and
and let
,
be given constant matrices and
,
be unknown matrices. The general vector solutions of the coupled Sylvester matrix quaternion equations as in (5-11) are given by:
Similarly by the same technique as in the proof of Theorem 5.2, then (5-11) can be rewritten in matrix form as follows:
Hence it is easy to obtain the general vector solutions of and as in (5-12) by using simple computations of (5-14). □
If the all relevant inverse of submatrices and exists in the partitioned linear quaternion matrix 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.
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
- Efficient solutions of coupled matrix and matrix differential equations. Intell. Control Autom.. 2012;3(2):176-187.
- [Google Scholar]
- 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]
- New techniques for solving some matrix and matrix differential equations. Ain Shams Eng. J.. 2015;6(1):347-354.
- [Google Scholar]
- 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]
- Some new connections between matrix products for partitioned and non-partitioned matrices. Comput. Math. Appl.. 2007;54:763-784.
- [Google Scholar]
- Singular value decomposition of quaternion matrices: a new tool for vector-senor signal processing. Signal Process.. 2004;84:1177-1199.
- [Google Scholar]
- On the solutions of the quaternion interval systems. Appl. Math. Comput.. 2004;244:375-381.
- [Google Scholar]
- Quaternion Matrices: Statistical Properties and Applications to Signal Processing and Wavelets. London: Imperial College; 2013. Ph.D Thesis
- A real quaternion matrix equation with applications. Linear Multilinear Algebra. 2013;61(6):725-740.
- [Google Scholar]
- Kronecker products and coupled matrix Riccati differential systems. Linear Algebra Appl.. 1989;121:39-51.
- [Google Scholar]
- Vector least-squares solutions of coupled singular matrix equations. J. Comput. Appl. Math.. 2007;206(2):1051-1069.
- [Google Scholar]
- On convergent infinite products and some generalized inverses of matrix sequences. Abstract Appl. Anal.. 2011;2011:20. 536935
- [Google Scholar]
- An approach to models of order-disorder and Ising lattices. Adv. Appl. Clifford Alg.. 2010;20:733-743.
- [Google Scholar]
- The matrix representation of Clifford Algebra. J. Chungcheong Math. Soc.. 2010;23(2):363-368.
- [Google Scholar]
- Right eigenvalue equation in quaternionic quantum mechanics. J. Phys. A. 2000;33:2971-2995.
- [Google Scholar]
- A fast structure-preserving method for computing the singular value decomposition of quaternion matrices. Appl. Math. Comput.. 2014;235:157-167.
- [Google Scholar]
- Completing a 2 × 2 bock matrix of real quaternions with a partial specified inverse. J. Appl. Math.. 2013;2013:5. 271978
- [Google Scholar]
- A system of matrix equations over the quaternion algebra with applications. Algebra Colloquium. 2017;24:233-253.
- [Google Scholar]
- A system of matrix equations with five variables. Appl. Math. Comput.. 2015;271:805-819.
- [Google Scholar]
- Condensed Cramer rule for some restricted quaternion linear equations. Appl. Math. Comput.. 2011;218:3110-3121.
- [Google Scholar]
- A real representation method for solving Yakubovich-j-conjugate quaternion matrix equation. Abstract Appl. Anal.. 2014;2014:9. 285086
- [Google Scholar]
- Color face recognition based on quaternion matrix representation. Pattern Recogn. Lett.. 2011;32:597-605.
- [Google Scholar]
- Some inequalities for sum of nonnegative definite matrices in quaternions. J. Ineq. Appl.. 2005;5:449-458.
- [Google Scholar]
- Augmented second-order statistics of quaternion random signals. Signal Processing.. 2011;91:214-224.
- [Google Scholar]
- 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]
- Weighted Moore-Penrose, Drazin, and group inverses of the Kronecker product, and some applications. Linear Algebra Appl.. 1997;250:39-50.
- [Google Scholar]
- The general solutions to system of real quaternion matrix equations. Computer Math. Appl.. 2005;49:665-675.
- [Google Scholar]
- 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]
- A system of real quaternion matrix equations with applications. Linear Algebra Appl.. 2009;431:2291-2303.
- [Google Scholar]
- The quaternion matrix-valued Young’s inequality. J. Ineq. Pure Appl. Math.. 2005;6(3):89
- [Google Scholar]
- Conjectures on the exact solutions of the three-dimensional (3D) simple orthorhombic Ising lattices. Phil. Mag.. 2007;87(34):5309-5419.
- [Google Scholar]
- 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]
- Mathematical structure of the three-dimensional (3D) Ising model. Chin. Phys. B. 2013;22(3):030513.
- [Google Scholar]
- Temperature-time duality exemplified by Ising magnets and quantum-chemical many electronic theory. J. Math. Chem.. 2011;49:1283-1290.
- [Google Scholar]