Abstract and Applied Analysis

Volume 2014 (2014), Article ID 239465, 10 pages

http://dx.doi.org/10.1155/2014/239465

## The Generalized Bisymmetric (Bi-Skew-Symmetric) Solutions of a Class of Matrix Equations and Its Least Squares Problem

School of Mathematics and Computer Science, Fujian Normal University, Fuzhou 350007, China

Received 24 November 2013; Accepted 18 January 2014; Published 17 March 2014

Academic Editor: Qing-Wen Wang

Copyright © 2014 Yifen Ke and Changfeng Ma. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

The solvability conditions and the general expression of the generalized bisymmetric and bi-skew-symmetric solutions of a class of matrix equations , are established, respectively. If the solvability conditions are not satisfied, the generalized bisymmetric and bi-skew-symmetric least squares solutions of the matrix equations are considered. In addition, two algorithms are provided to compute the generalized bisymmetric and bi-skew-symmetric least squares solutions. Numerical experiments illustrate that the results are reasonable.

#### 1. Introduction

The class of matrix equations, namely, , , where , , , and are given, is one of the most interesting and intensively studied classes of linear algebra. It has been investigated by many authors and a series of important and useful results has been obtained (see, e.g., [1–31]).

For example, Cecioni [1] gave a necessary and sufficient condition for the matrix equations to have a common solution and a general expression of the common solution was obtained by Rao and Mitra [2, page 25]; Mitra [3] obtained a common solution with the minimum possible rank and also other feasible specified rank; Chu [4] achieved new necessary and sufficient conditions for the matrix equations by using the generalized singular value decomposition. In [5], Wang and Yu derived the necessary and sufficient conditions and the expressions for the orthogonal solutions, the symmetric orthogonal solutions, and the skew-symmetric orthogonal solutions of the matrix equations, respectively. Khatri and Mitra [6] considered the general Hermitian and nonnegative definite solutions of the matrix equations, respectively. Dajić and Koliha [7] studied the positive solutions to the matrix equations for Hilbert space operators using generalized inverses, and a sufficient and necessary condition for its solvability and a representation of its general solutions were also established therein. Li et al. investigated the generalized reflexive and antireflexive solution of the matrix equations, in [8, 9], respectively. In [10], Qiu et al. considered the unknown matrix with the constraint , where is a given Hermitian matrix satisfying and .

In this paper, , , , and denote the set of all real matrices, the set of all real orthogonal matrices, the set of all real symmetric matrices, and the set of all real symmetric orthogonal matrices, respectively. represents the transpose of the real matrix and stands for the Frobenius norm induced by the inner product. denotes a row block matrix and denotes the Hadamard product produced by and , namely, . The symbol stands for the identity matrix of order . Let be the Moore-Penrose generalized inverse of a matrix , which is defined to be the unique solution satisfying the following four matrix equations: Furthermore, and represent the two orthogonal projectors and . Set , where denotes the th column of the identity matrix . It is easy to see that and .

*Definition 1. *Let ; that is, . A matrix is said to be a generalized bisymmetric matrix if . The set of all generalized bisymmetric matrices is denoted by .

*Definition 2. *Let ; that is, . A matrix is said to be a generalized bi-skew-symmetric matrix if . The set of all generalized bi-skew-symmetric matrices is denoted by .

Without special statement, we assume that is a given symmetric orthogonal matrix in the remainder of this paper.

If , then the generalized bisymmetric matrix reduces to the bisymmetric matrix and the generalized bi-skew-symmetric matrix reduces to the antisymmetric and persymmetric matrix.

In this paper, we consider the following problems.

*Problem 3. *Given , , find such that

*Problem 4. *Given , , find such that

*Problem 5. *Given , , find such that

*Problem 6. *Given , , , , find such that

If , then those problems become the problems discussed in [11]. So, this paper extends the part results of [11]. In our work, the necessary and sufficient conditions for the existence of the solutions to Problems 3 and 4 are derived and their general expressions of the solutions are given by Moore-Penrose generalized inverse, respectively. If the solvability conditions are not satisfied, Problems 5 and 6 will be considered.

The remainder of this paper is arranged as follows. In Section 2, we establish the necessary and sufficient conditions and the explicit expressions of Problems 3 and 4. In Section 3, we investigate Problems 5 and 6 by virtue of the singular value decomposition (SVD) and the special decompositions of the generalized bisymmetric matrices and the generalized bi-skew-symmetric matrices. In Section 4, we give two algorithms and some examples to illustrate the efficiency of our proposed results. In Section 5, some conclusions are made.

#### 2. The Generalized Bisymmetric (Bi-Skew-Symmetric) Solutions of the Matrix Equations **, **

In this section, we first recall some lemmas which will be used for obtaining the necessary and sufficient conditions and the explicit expressions of Problems 3 and 4.

Lemma 7 (see [12]). *
Assume , and let**
Then and are orthogonal projection matrices satisfying , . Furthermore, assume . Then, and there exist unit column orthogonal matrices and such that
*

*From Lemma 7, we note that is an orthogonal matrix and the symmetric orthogonal matrix can be expressed as
*

*Lemma 8 (see [11]). Assume that the spectral decomposition of is given as in (8). Then if and only if can be expressed as
where and .*

*Proof. *For , by Definition 1, it is easy to know that . Then, we have
By (10) and Lemma 7, we obtain
Let and ; it is easy to verify that and . Furthermore, we have

Conversely, for any and , it is easy to verify that . Using (8), we have
This implies that

*Lemma 9 (see [11]). Assume that the spectral decomposition of is given as in (8). Then, if and only if can be expressed as
where .*

*Proof. *For , by Definition 2, we have
By (16) and Lemma 7, we obtain
Let and ; it is easy to verify that . And we have

Conversely, for any , it is easy to verify that . Using (8), we have
This implies that

*Remark 10. *For Lemma 8, Wang and Yu [11] just gave the conclusion; we prove it here. The proof of Lemma 9 can be seen in [12]; for the convenience of the reader, we rewrite it.

*Lemma 11 (see [13]). Suppose that , , , , , , , are known and is unknown. Let , , , . Then the system of matrix equations
is consistent if and only if
in which case, the general solutions of the system can be expressed as
where is an arbitrary real matrix with compatible dimension.*

*Lemma 12. Given , . Let , , , . Then, the following statements are equivalent. (i) The matrix equations
have a solution . (ii) The system of matrix equations
have a solution ; in this case, the symmetric solution of the matrix equations (24) is
(iii) If
the symmetric solutions of the matrix equations (24) can be expressed as
where is an arbitrary matrix.*

*Proof. *. It is not difficult to get that is equivalent to . Further, if is a solution of the matrix equations (25), then
Moreover,
Then, the expression in (26) is the symmetric solution of the matrix equations (24).

. From Lemma 11, it can be proved that is equivalent to and the solutions of the matrix equations (25) can be expressed as
Substituting (31) into (26) yields (28). The proof is completed.

*For which is given by (8), partition
From Lemma 8, we know that the matrix equations , have a solution if and only if there exist and such that
that is,
*

*Let , , , − − − . By Lemma 12, the matrix equations (35) have a solution if and only if
in which case the general solutions can be expressed as
where is an arbitrary matrix.*

*Let , , , − . Similarly, the matrix equations (36) have a solution if and only if
in which case the general solutions can be expressed as
where is an arbitrary matrix.*

*Now, based on the above discussion, we give the solvability conditions and the general expression of the solutions of Problem 3.*

*Theorem 13. Given , . And is given by (8). Let the partitions of , , , and be as in (32) and (33), respectively. Then, Problem 3 is consistent if and only if (37) and (39) hold, in which case the general solutions can be expressed as
where and are given as in (38) and (40).*

*From Lemma 9, we know that the matrix equations , have a solution if and only if there exists such that
that is,
*

*Let , , , . By Lemma 11, the system of matrix equations (43) has a solution if and only if
in which case the general solutions can be expressed as
where is an arbitrary matrix.*

*Therefore, we have the following result about Problem 4.*

*Theorem 14. Given , . And is given by (8). Let the partitions of , , , and be as in (32) and (33), respectively. Then, Problem 4 is consistent if and only if (44) holds, in which case the general solutions can be expressed as
where is given as in (45).*

*3. The Generalized Bisymmetric (Bi-Skew-Symmetric) Least Squares Solutions of the Matrix Equations ***, **

*3. The Generalized Bisymmetric (Bi-Skew-Symmetric) Least Squares Solutions of the Matrix Equations*

**,***It is well known that if the solvability conditions of the linear matrix equation or linear matrix equations are not satisfied, we can derive its approximate solutions, among which, the least squares solution is usually considered. In this section, we try to solve the Problems 5 and 6. Firstly, we present some lemmas which will play important roles in the following.*

*Lemma 15 (see [14]). Given . Let the singular value decomposition (SVD) of be
where , , , . Then, there exists such that
In this case, can be expressed as
where , , , , and is an arbitrary matrix.*

*Lemma 16 (see [15]). Given , , , and . Let the SVDs of and be
where , , , and are all orthogonal matrices and the partitions are compatible with the sizes of
Then the least squares solutions of the matrix equations , can be expressed as
where , , , , and is an arbitrary matrix.*

*Let the SVDs of and be
where , , , and are all orthogonal matrices and the partitions are compatible with the sizes of
*

*Based on Lemma 8 and the properties of Frobenius norm, we have
Hence, is equivalent to
*

*From Lemma 15, when has the formwhere , , and is an arbitrary matrix, (56) holds.*

*According to Lemma 15, we know that (57) holds if has the formwhere , , , and is an arbitrary matrix.*

*From the above discussion, we get the solutions of Problem 5.*

*Theorem 17. Given , . And is given by (8). Let the partitions of , , , and be as in (32) and (33), respectively. Let the SVDs of and be as (53). Then, the solutions of Problem 5 can be expressed as
where and are given as in (58) and (59).*

*Now, we give another main result of this section. Based on Lemma 9 and the properties of Frobenius norm, we have
Then, from Lemma 16, the least squares solutions of the matrix equations
can be written as
where , , , , , and is an arbitrary matrix.*

*Theorem 18. Given , . And is given by (8). Let the partitions of , , , and be as in (32) and (33), respectively. Let the SVDs of and be as (53). Then, the solutions of Problem 6 can be expressed as
where is given as in (63).*

*4. Numerical Examples*

*4. Numerical Examples*

*In this section, we provide two algorithms to compute the generalized bisymmetric (bi-skew-symmetric) solution and the generalized bisymmetric (bi-skew-symmetric) least squares solution of the matrix equations , and give some examples to illustrate the efficiency of our proposed algorithms.*

*Algorithm 1 (the algorithm about Problems 3 and 5). **Step 1.* Input , , , , .*Step 2*. Compute , , , , , , , by (32) and (33).*Step 3*. If any of conditions in (37) and (39) does not hold, then turn to Step 4. Otherwise, compute the generalized bisymmetric solution of the matrix equations , by Theorem 13.*Step 4*. Compute the generalized bisymmetric least squares solution of the matrix equations , by Theorem 17.

*Algorithm 2 (the algorithm about Problems 4 and 6). **Step 1*. Input , , , , .*Step 2*. Compute , , , , , , , by (32) and (33).*Step 3*. If any of conditions in (44) does not hold, then turn to Step 4. Otherwise, compute the generalized bi-skew-symmetric solution of the matrix equations , by Theorem 14.*Step 4*. Compute the generalized bi-skew-symmetric least squares solution of the matrix equations , by Theorem 18.

*Example 1. *Given , , , , as follows:
Then, there exists
such that

(1) By Algorithm 1, the conditions in (37) and (39) hold. Hence, the matrix equations , have a generalized bisymmetric solution
Furthermore,

(2) By Algorithm 2, at least one of conditions in (44) does not hold. Hence, we get the generalized bi-skew-symmetric least squares solution of the matrix equations , , and the generalized bi-skew-symmetric least squares solution is
Furthermore,

*Example 2. *Given , , , , as follows:
Then, there exists
such that

(1) By Algorithm 1, at least one of conditions in (37) and (39) does not hold. Hence, we get the generalized bisymmetric least squares solution of the matrix equations , and the generalized bisymmetric least squares solution is
Furthermore,

(2) By Algorithm 2, the conditions in (44) hold. Hence, the matrix equations , have a generalized bi-skew-symmetric solution
Furthermore,

*Example 3. *Given , , and as follows:
Then, there exists
such that

(1) By Algorithm 1, it is verified that any of conditions in (37) and (39) does not hold. Hence, we get the generalized bisymmetric least squares solution of the matrix equations , , and the generalized bisymmetric least squares solution is
Furthermore,

(2) By Algorithm 2, it is verified that any of conditions in (44) does not hold. Hence, we get the generalized bi-skew-symmetric least squares solution of the matrix equations , , and the generalized bi-skew-symmetric least squares solution is
Furthermore,

*5. Conclusions*

*5. Conclusions*

*This paper is devoted to considering the generalized bisymmetric (bi-skew-symmetric) solutions of matrix equations , , and the necessary and sufficient conditions for the solvability and the general expression of the solutions are obtained. If the solvability conditions are not satisfied, the generalized bisymmetric (bi-skew-symmetric) least squares solution of the matrix equations is considered. As an auxiliary, two algorithms have been provided to compute the generalized bisymmetric (bi-skew-symmetric) solutions and the generalized bisymmetric (bi-skew-symmetric) least squares solution, and some examples have been given to illustrate that the results are reasonable.*

*Conflict of Interests*

*Conflict of Interests*

*The authors declare that there is no conflict of interests regarding the publication of this paper.*

*Authors’ Contributions*

*Authors’ Contributions*

*All authors contributed equally and significantly in writing this paper. All authors read and approved the final paper.*

*Acknowledgments*

*Acknowledgments*

*The project is supported by the National Natural Science Foundation of China (11071041, 11201074), Fujian Natural Science Foundation (2013J01006), and the Scientific Research Special Fund Project of Fujian University (JK2013060).*

*References*

*References*

- F. Cecioni, “Sopra alcune operazioni algebriche sulle matrici,”
*Annali della Scuola Normale Superiore di Pisa*, vol. 11, pp. 17–20, 1910. View at Google Scholar - C. R. Rao and S. K. Mitra,
*Generalized Inverse of Matrices and Its Applications*, John Wiley & Sons, New York, NY, USA, 1971. View at MathSciNet - S. K. Mitra, “The matrix equations $AX=C,XB=D$,”
*Linear Algebra and its Applications*, vol. 59, pp. 171–181, 1984. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K.-W. E. Chu, “Singular value and generalized singular value decompositions and the solution of linear matrix equations,”
*Linear Algebra and its Applications*, vol. 88-89, pp. 83–98, 1987. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q.-W. Wang and J. Yu, “Constrained solutions of a system of matrix equations,”
*Journal of Applied Mathematics*, vol. 2012, Article ID 471573, 19 pages, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. G. Khatri and S. K. Mitra, “Hermitian and nonnegative definite solutions of linear matrix equations,”
*SIAM Journal on Applied Mathematics*, vol. 31, no. 4, pp. 579–585, 1976. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Dajić and J. J. Koliha, “Positive solutions to the equations $AX=C$ and $XB=D$ for Hilbert space operators,”
*Journal of Mathematical Analysis and Applications*, vol. 333, no. 2, pp. 567–576, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F.-L. Li, X.-Y. Hu, and L. Zhang, “The generalized reflexive solution for a class of matrix equations $(AX=B,XC=D)$,”
*Acta Mathematica Scientia*, vol. 28, no. 1, pp. 185–193, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F.-L. Li, X.-Y. Hu, and L. Zhang, “The generalized anti-reflexive solutions for a class of matrix equations $(BX=C,XD=E)$,”
*Computational & Applied Mathematics*, vol. 27, no. 1, pp. 31–46, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. -Y. Qiu, Z. -Y. Zhang, and J. -F. Lu, “The matrix equations $AX=B$, $XC=D$ with $PX=sXP$ constraint,”
*Applied Mathematics and Computation*, vol. 189, no. 2, pp. 1428–1434, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - Q.-W. Wang and J. Yu, “On the generalized bi (skew-) symmetric solutions of a linear matrix equation and its procrust problems,”
*Applied Mathematics and Computation*, vol. 219, no. 19, pp. 9872–9884, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - Q.-F. Xiao, X.-Y. Hu, and L. Zhang, “The anti-symmetric ortho-symmetric solutions of the matrix equation ${A}^{T}XA=D$,”
*Electronic Journal of Linear Algebra*, vol. 18, pp. 21–29, 2009. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q.-W. Wang, “A system of four matrix equations over von Neumann regular rings and its applications,”
*Acta Mathematica Sinica*, vol. 21, no. 2, pp. 323–334, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. -G. Sun, “Two kinds of inverse eigenvalue problems for real symmetric matrices,”
*Mathematica Numerica Sinica*, vol. 10, no. 3, pp. 282–290, 1988. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. -X. Yuan, “Least-squares solutions to the matrix equations $AX=B$ and $XC=D$,”
*Applied Mathematics and Computation*, vol. 216, no. 10, pp. 3120–3125, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q.-W. Wang, X. Liu, and S.-W. Yu, “The common bisymmetric nonnegative definite solutions with extreme ranks and inertias to a pair of matrix equations,”
*Applied Mathematics and Computation*, vol. 218, no. 6, pp. 2761–2771, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C.-Z. Dong, Q.-W. Wang, and Y.-P. Zhang, “On the Hermitian $R$-conjugate solution of a system of matrix equations,”
*Journal of Applied Mathematics*, vol. 2012, Article ID 398085, 14 pages, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - Q. Zhang and Q.-W. Wang, “The $(P,Q)$-(skew)symmetric extremal rank solutions to a system of quaternion matrix equations,”
*Applied Mathematics and Computation*, vol. 217, no. 22, pp. 9286–9296, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H.-X. Chang, Q.-W. Wang, and G.-J. Song, “$(R,S)$-conjugate solution to a pair of linear matrix equations,”
*Applied Mathematics and Computation*, vol. 217, no. 1, pp. 73–82, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q.-W. Wang, “The general solution to a system of real quaternion matrix equations,”
*Computers & Mathematics with Applications*, vol. 49, no. 5-6, pp. 665–675, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q.-W. Wang, “Bisymmetric and centrosymmetric solutions to systems of real quaternion matrix equations,”
*Computers & Mathematics with Applications*, vol. 49, no. 5-6, pp. 641–650, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q.-W. Wang, F. Qin, and C.-Y. Lin, “The common solution to matrix equations over a regular ring with applications,”
*Indian Journal of Pure and Applied Mathematics*, vol. 36, no. 12, pp. 655–672, 2005. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q.-W. Wang and G. -H. Yu, “The least-square bisymmetric solution to a quaternion matrix equation with applications,”
*Bulletin of Iranian Mathematical Society*, vol. 39, no. 2, pp. 239–257, 2013. View at Google Scholar · View at MathSciNet - Q.-W. Wang, Y. Zhou, and Q. Zhang, “Ranks of the common solution to six quaternion matrix equations,”
*Acta Mathematicae Applicatae Sinica*, vol. 27, no. 3, pp. 443–462, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - Q.-W. Wang, J. W. van der Woude, and H.-X. Chang, “A system of real quaternion matrix equations with applications,”
*Linear Algebra and its Applications*, vol. 431, no. 12, pp. 2291–2303, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q.-W. Wang and F. Zhang, “The reflexive re-nonnegative definite solution to a quaternion matrix equation,”
*Electronic Journal of Linear Algebra*, vol. 17, pp. 88–101, 2008. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q.-W. Wang, G.-J. Song, and C.-Y. Lin, “Rank equalities related to the generalized inverse ${A}_{T,S}^{(2)}$ with applications,”
*Applied Mathematics and Computation*, vol. 205, no. 1, pp. 370–382, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q.-W. Wang, H.-X. Chang, and Q. Ning, “The common solution to six quaternion matrix equations with applications,”
*Applied Mathematics and Computation*, vol. 198, no. 1, pp. 209–226, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q.-W. Wang, H.-X. Chang, and C.-Y. Lin, “$P$-(skew)symmetric common solutions to a pair of quaternion matrix equations,”
*Applied Mathematics and Computation*, vol. 195, no. 2, pp. 721–732, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - Q.-W. Wang, S.-W. Yu, and C.-Y. Lin, “Extreme ranks of a linear quaternion matrix expression subject to triple quaternion matrix equations with applications,”
*Applied Mathematics and Computation*, vol. 195, no. 2, pp. 733–744, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Yu, Q.-W. Wang, and C. -Z. Dong, “(Anti-)Hamiltonian solution to a system of matrix equations,”
*Mathematical Problems in Engineering*, vol. 2014, Article ID 539215, 13 pages, 2014. View at Publisher · View at Google Scholar

*
*