Abstract
Let be the real quaternion algebra and denote the set of all matrices over . For we denote by the matrix obtained by applying entrywise to the transposed matrix where is a non-standard involution of . is said to be -skew-Hermicity if . In this paper, we provide some necessary and sufficient conditions for the existence of a -skew-Hermitian solution to the system of quaternion matrix equations with four unknowns .
1. Introduction
Let denote the field of real numbers, be a four-dimensional vector space over with an ordered basis . A real quaternion, simply called quaternion, is a vector with real coefficients . Moreover, satisfies
Let and stand, respectively, for the real number field and the set of all matrices over the real quaternion algebra
The definitions of -skew-Hermitian quaternion matrices were first introduced by Rodman (Definition 3.6.1 in []). For we denote by the matrix obtained by applying entrywise to the transposed matrix where is a non-standard involution of (see Definition 1). is said to be -skew-Hermicity if .
The decompositions of the quaternion matrices have applications in many fields, such as color image processing(e.g., [,]), quantum mechanics [], signal processing [], and so on. Research on quaternion matrix theories (e.g., [,,,,,,,,,,,,]) and equations (e.g., [,,,,,,,,,]) is ongoing.
The quaternion matrix equation involving Hermicity is one of the active research topics in the matrix field and its applications. Wang and Zhang [] provided necessary and sufficient conditions for the existence and expression of the Re-nonnegative definite solution to the system
over by using the decomposition of pairwise matrices, where * stands for conjugate transpose. Wang and Jiang [] further studied the extreme ranks of the (skew-)Hermitian solutions to the quaternion matrix equation. He [] investigated the system of coupled real quaternion matrix equations involving -Hermicity
where , and are -Hermitian matrices. He gave the solvability conditions, general solutions, and the rank bounds of the general -Hermitian solutions. Some researchers have considered the -skew-Hermitian solution to some quaternion matrix equations. For example, He [] derived some necessary and sufficient conditions for the existence of a -skew-Hermitian solution to the following system of quaternion matrix equations involving -skew-Hermicity
where A, B, C, D, E, F are the given quaternion matrices.
To our knowledge, there is little information on the system of quaternion matrix equations involving -skew-Hermicity with four unknowns
where , , , and are -skew-Hermitian matrices. Using the simultaneous decomposition of a set of seven real quaternion matrices
we provide some necessary and sufficient conditions for the existence of a -skew-Hermitian solution to the system (1).
The remainder of this paper is organized as follows. In Section 2, we review the definitions of the non-standard involution and the -skew-Hermitian quaternion matrix; we also provide a simultaneous decomposition for a set of eleven real quaternion matrices involving -skew-Hermicity and present a canonical form of the system of the quaternion matrix, Equation (1). In Section 3, we provide some necessary and sufficient conditions for the existence of a -skew-Hermitian solution to the system (1).
2. A Canonical Form of the System of the Quaternion Matrix Equation
In this section, we investigate the structure of a simultaneous decomposition for the matrix array (2) and provide a canonical form of the system of the quaternion matrix Equations (1). First, we review the definitions of non-standard involution and -skew-Hermitian matrix.
Definition 1.
(Non-standard involution []). Let ϕ be an anti-endomorphism of . Assume that ϕ does not map into zero. Then, ϕ is one-to-one and onto ; thus, ϕ is an anti-automorphism. Moreover, ϕ is real linear and can be represented as a real matrix with respect to the basis . Then, ϕ is a non-standard involution if and only if
where T is a real orthogonal symmetric matrix with eigenvalues .
Definition 2.
(-skew-Hermitian []). A ∈ is said to be ϕ-skew-Hermitian if , where ϕ is a non-standard involution.
The following Theorem presents the equivalence canonical form of the set of seven real quaternion matrices (2).
Using the results of [,], we can obtain the following result.
Lemma 1.
Consider a set of seven matrices (2); there exists a unitary matrix nonsingular matrices such that
where
It follows from Lemma 1 that the system (1) becomes
where .
Put
According to Lemma 1, the system (1) is equivalent to the following system:
where . In the next section, we will consider the system (4).
3. Solvability Conditions for the Quaternion Matrix Equation to Possess a -Skew-Hermitian Solution
In this section, we provide some necessary and sufficient conditions for the existence of a -skew-Hermitian solution to the system (1). In order to solve the system of quaternion matrix Equation (1), we need to solve the system of quaternion matrix Equation (4).
First, let matrices , , , have the following forms:
Then, substituting and into the first equation in (4) yields
where
Substituting and into the second Equation in (4) yields
where
Substituting and into the third equation in (4) yields
where
Substituting into the fourth equation in (4) yields
Hence, the system of (1) has a -skew-Hermitian solution if and only if Equation (4) has a -skew-Hermitian solution. Note that (5)–(8) are consistent if and only if
Based on the above analysis, we have the following conclusions:
Theorem 1.
The system (1) has a ϕ-skew-Hermitian solution (, , , ) if and only if the Equations (9)–(22) hold.
The following theorem presents the solvability conditions to the system (1) in terms of rank.
Theorem 2.
The system (1) has a ϕ-skew-Hermitian solution if and only if the ranks satisfy:
Proof.
According to the structure of the matrix, Lemma 1, Theorem 1, and the elementary transformation of the row and column of the matrix, we have
□
In Theorem 2, let , , , and , vanish, then we can obtain the necessary and sufficient conditions for the existence of a -skew-Hermitian solution in the following equation:
Corollary 1.
Let , , , , , and are given. The system
has a ϕ-skew-Hermitian solution if and only if the ranks satisfy:
Remark 1.
Corollary 1 is the main result of [].
4. Conclusions
We investigated some necessary and sufficient conditions for the existence of a -skew-Hermitian solution to the system (1) by using a simultaneous decomposition for a set of quaternion matrices. Some of the known results can be considered special cases in this paper.
Author Contributions
Methodology, Z.-H.H. and X.-N.Z.; software, Y.-F.Z.; writing—original draft preparation, Z.-H.H. and X.-N.Z.; writing—review and editing, Z.-H.H., X.-N.Z. and S.-W.Y.; supervision, S.-W.Y.; project administration, S.-W.Y. All authors have read and agreed to the published version of the manuscript.
Funding
This research was supported by the National Natural Science Foundation of China (grant nos. 11801354 and 11971294).
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
Not Applicable.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Rodman, L. Topics in Quaternion Linear Algebra; Princeton University Press: Princeton, NJ, USA, 2014. [Google Scholar]
- Ghouti, L. Robust perceptual color image hashing using quaternion singular value decomposition. In Proceedings of the 2014 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Florence, Italy, 4–9 May 2014; pp. 3794–3798. [Google Scholar]
- Sangwine, S.J. Fourier transforms of colour images using quaternion or hypercomplex, numbers. Electron. Lett. 1996, 32, 1979–1980. [Google Scholar] [CrossRef]
- Adler, S.L. Scattering and decay theory for quaternionic quantum mechanics, and the structure of induced T nonconservation. Phys. Rev. D 1988, 37, 3654–3662. [Google Scholar] [CrossRef] [PubMed]
- Bihan, N.L.; Mars, J. Singular value decomposition of quaternion matrices: A new tool for vector-sensor signal processing. Signal Process. 2004, 84, 1177–1199. [Google Scholar] [CrossRef]
- Cohen, N.; Leo, S.D. The quaternionic determinant. Electron. J. Linear Algebra 2000, 7, 100–111. [Google Scholar] [CrossRef]
- He, Z.H. Some new results on a system of Sylvester-type quaternion matrix equations. Linear Multilinear Algebra 2021, 69, 3069–3091. [Google Scholar] [CrossRef]
- Horn, R.A.; Zhang, F. A generalization of the complex autonne–takagi factorization to quaternion matrices. Linear Multilinear Algebra 2012, 60, 1239–1244. [Google Scholar] [CrossRef]
- Jiang, T.S.; Zhang, Z.Z.; Jiang, Z.W. A New algebraic technique for quaternion constrained least squares problems. Adv. Appl. Clifford Algebr. 2018, 28, 1–10. [Google Scholar] [CrossRef]
- Kyrchei, I. Weighted singular value decomposition and determinantal representations of the quaternion weighted Moore–Penrose inverse. Appl. Math. Comput. 2017, 309, 1–16. [Google Scholar] [CrossRef]
- Liu, L.S.; Wang, Q.W.; Mehany, M.S. A sylvester-type matrix equation over the Hamilton quaternions with an application. Mathematics 2022, 10, 1758. [Google Scholar] [CrossRef]
- Mehany, M.S.; Wang, Q.W. Three symmetrical systems of coupled sylvester-like quaternion matrix equations. Symmetry 2022, 14, 550. [Google Scholar] [CrossRef]
- Song, G.J.; Dong, C.Z. New results on condensed Cramer’s rule for the general solution to some restricted quaternion matrix equations. J. Appl. Math. Comput. 2015, 53, 1–21. [Google Scholar] [CrossRef]
- Took, C.C.; Mandic, D.P.; Zhang, F. On the unitary diagonalisation of a special class of quaternion matrices. Appl. Math. Lett. 2011, 24, 1806–1809. [Google Scholar] [CrossRef]
- Vince, J. Quaternions for Computer Graphics; Springer: London, UK, 2011. [Google Scholar]
- Wang, R.N.; Wang, Q.W.; Liu, L.S. Solving a system of sylvester-like quaternion matrix equations. Symmetry 2022, 14, 1056. [Google Scholar] [CrossRef]
- Xu, Y.F.; Wang, Q.W.; Liu, L.S.; Mehany, M.S. A constrained system of matrix equations. Comput. Appl. Math. 2022, 41, 166. [Google Scholar] [CrossRef]
- Zhang, F. Quaternions and matrices of quaternions. Linear Algebra Appl. 1997, 251, 21–57. [Google Scholar] [CrossRef]
- Kyrchei, I. Determinantal representations of solutions and Hermitian solutions to some system of two-sided quaternion matrix equations. Adv. Math. 2018, 2018, 6294672. [Google Scholar] [CrossRef]
- Kyrchei, I. Determinantal representations of solutions to systems of quaternion matrix equations. Adv. Appl. Clifford Algebr. 2018, 28, 23. [Google Scholar] [CrossRef]
- Kyrchei, I. Cramer’s rules for sylvester quaternion matrix equation and its special cases. Adv. Appl. Clifford Algebr. 2018, 28, 90. [Google Scholar] [CrossRef]
- Song, C.; Chen, G.; Zhang, X. An itertive solution to coupled quaternion matrix equations. Filomat 2012, 26, 809–826. [Google Scholar] [CrossRef]
- Wang, Q.W. The general solution to a system of real quaternion matrix equations. Comput. Math. Appl. 2005, 49, 665–675. [Google Scholar] [CrossRef][Green Version]
- Wang, Q.W.; van der Woude, J.W.; Chang, H.X. A system of real quaternion matrix equations with applications. Linear Algebra Appl. 2009, 431, 2291–2303. [Google Scholar] [CrossRef]
- Yuan, S.F.; Wang, Q.W. Two special kinds of least squares solutions for the quaternion matrix equation AXB+CXD=E. Electron. J. Linear Algebra 2012, 23, 257–274. [Google Scholar] [CrossRef][Green Version]
- Yuan, S.F.; Wang, Q.W. L-structured quaternion matrices and quaternion linear matrix equations. Linear Multilinear Algebra 2016, 64, 321–339. [Google Scholar] [CrossRef]
- Yuan, S.F.; Wang, Q.W.; Duan, X.F. On solutions of the quaternion matrix equation AX=B and their applications in color image restoration. Appl. Math. Comput. 2013, 221, 10–20. [Google Scholar]
- Wang, Q.W.; Zhang, F. The reflexive re-nonnegative definite solution to a quaternion matrix equation. Electron. J. Linear Algebra 2008, 17, 88–101. [Google Scholar] [CrossRef]
- Wang, Q.W.; Jiang, J. Extreme ranks of (skew-)Hermitian solutions to a quaternion matrix equation. Electron. J. Linear Algebra 2010, 20, 552–573. [Google Scholar] [CrossRef][Green Version]
- He, Z.H.; Wang, Q.W.; Zhang, Y. Simultaneous decomposition of quaternion matrices involving η-Hermicity with applications. Appl. Math. Comput. 2017, 298, 13–35. [Google Scholar] [CrossRef]
- He, Z.H. Structure, properties and applications of some simultaneous decompositions for quaternion matrices involving ϕ-skew-Hermicity. Adv. Appl. Clifford Algebr. 2019, 29, 6. [Google Scholar] [CrossRef]
- Moor, B.D.; Zha, H. A tree of generalization of the ordinary singular value decomposition. Linear Algebra Appl. 1991, 147, 469–500. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).