Abstract
Let \(J \in{\mathbb{R}}^{n\times n}\) be a normal matrix such that \(J^{2}=-I_{n}\), where \(I_{n}\) is an n-by-n identity matrix. In (S. Gigola, L. Lebtahi, N. Thome in Appl. Math. Lett. 48:36–40, 2015) it was introduced that a matrix \(A \in{\mathbb {C}}^{n\times n}\) is referred to as normal J-Hamiltonian if and only if \({(AJ)}^{*}=AJ\) and \(AA^{*}=A^{*}A\). Furthermore, the necessary and sufficient conditions for the inverse eigenvalue problem of such matrices to be solvable were given. We present some alternative conditions to those given in the aforementioned paper for normal skew J-Hamiltonian matrices. By using Moore–Penrose generalized inverse and generalized singular value decomposition, the necessary and sufficient conditions of its solvability are obtained and a solvable general representation is presented.
Similar content being viewed by others
1 Introduction
In this paper, we mainly discuss the following partially described inverse eigenvalue problem which is considered in linear manifold.
Problem 1
Given the partial eigeninformation \(Y = (y_{1},y_{2},\ldots,y_{m}) \in {\mathbb{C}}^{n\times m}\) and \(\Lambda= \operatorname{diag}(\lambda_{1},\lambda_{2}, \ldots,\lambda_{m}) \in {\mathbb{C}}^{m\times m}\), consider the set
of matrices A maintaining the eigeninformation, where Ω is the set of certain n-by-n structured matrices.
The above problem usually appears in the design and modification of mass-spring systems, dynamic structures, Hopfield neural networks, vibration in mechanic, civil engineering, and aviation [2–4]. Furthermore, the inverse eigenvalue problems involving Hamiltonian matrices have drawn considerable interest. For example, Zhang et al. [5] solved the inverse eigenvalue problem of Hermitian and generalized Hamiltonian matrices. Then Bai [6] settled the case of Hermitian and generalized skew-Hamiltonian matrices. Xie et al. [7] resolved the case of symmetric skew-Hamiltonian matrices. Qian and Tan [8] also considered the cases of Hermitian and generalized Hamiltonian/skew-Hamiltonian matrices from different perspectives. But the Hamiltonian matrices they considered are the special cases of the following normal J-Hamiltonian matrices and normal skew J-Hamiltonian matrices.
In the following, let \(I_{n}\) be the \(n\times n\) identity matrix.
Definition 1
([1])
Given a normal matrix \(J \in{\mathbb {R}}^{n\times n}\) with \(J^{2}=-I_{n}\). A matrix \(A \in{\mathbb {C}}^{n\times n}\) is referred to as normal J-Hamiltonian if and only if \({(AJ)}^{*}=AJ\) and \(AA^{*}=A^{*}A\).
Definition 2
Let \(J \in{\mathbb{R}}^{n\times n}\) be a normal matrix such that \(J^{2}=-I_{n}\). A matrix \(A \in{\mathbb{C}}^{n\times n}\) is called normal skew J-Hamiltonian if and only if \({(AJ)}^{*}=-AJ\) and \(AA^{*}=A^{*}A\). The set of all \(n\times n\) normal skew J-Hamiltonian matrices is denoted by \({\mathcal{NS}}^{n\times n}(J)\).
In the above definitions, \(A^{*}\) signifies the conjugate transpose of a matrix \(A \in{\mathbb{C}}^{n\times n}\). It is obvious that J is a real orthogonal skew-symmetric matrix, i.e., \(J=-J^{T}=-J^{-1}\). This indicates that \(n=2k\), \(k\in\mathbb{N}\). The above Hamiltonian matrices are also of importance in several engineering areas such as optimal quadratic linear control, \(H_{\infty}\) optimization, and the related problem of solving Riccati algebraic equations [9].
Recently, Gigola et al. [1] solved Problem 1 for normal J-Hamiltonian matrices. In this paper, we present a set of alternative conditions assuring the solvability of the problem that involves skew normal J-Hamiltonian matrices. In order to present more simple conditions to be verified, we mainly use Sun’s [10] and Penrose’s [11] results and the generalized singular value decomposition to solve Problem 1 when the set \(\Omega={\mathcal{NS}}^{n\times n}(J)\). A similar technique may be used to solve the inverse eigenvalue problem for normal J-Hamiltonian matrices.
2 Preliminaries
Throughout this paper, we denote by \(\operatorname{rank}(A)\) and \(A^{\dagger}\) the rank and Moore–Penrose generalized inverse of a matrix \(A \in{\mathbb {C}}^{n\times m}\), respectively. \(I_{n}\), 0, and \(\mathrm {i}=\sqrt{-1}\) respectively signify the identity matrix of order n, a zero matrix or a vector with appropriate size, and the imaginary unit. Moreover, for any matrix \(A \in{\mathbb{C}}^{n\times m}\), \({\mathscr {R}}_{A}=I_{n}-AA^{\dagger}\) and \({\mathscr{L}}_{A}=I_{m}-A^{\dagger}A\) signify specified orthogonal projectors.
Firstly, we consider the structure of the normal skew J-Hamiltonian matrices.
Lemma 1
Let \(J \in{\mathbb{R}}^{n\times n}\) be a normal matrix such that \(J^{2}=-I_{n}\). Then a matrix \(A \in{\mathbb{C}}^{n\times n}\) is normal skew J-Hamiltonian if and only if
where \(n=2k\), \(k\in\mathbb{N}\), \(A_{11}=A^{*}_{11}\in{\mathbb{C}}^{k\times k}\), \(A_{22}=A^{*}_{22}\in{\mathbb{C}}^{k\times k}\), \(A_{11}A_{12}=A_{12}A_{22}\), and \(U \in{\mathbb{C}}^{n\times n}\) is a unitary matrix such that
Proof
Because \(J \in{\mathbb{R}}^{n\times n}\) is a normal matrix and \(J^{2}=-I_{n}\), then J is a real orthogonal skew-symmetric matrix. Therefore, there exists a unitary matrix \(U \in{\mathbb{C}}^{n\times n}\) such that (2.2) holds, where \(n=2k\), \(k\in\mathbb{N}\).
Then partition \(U^{*}AU\) conforms with (2.2) as
From Definition 2, we know that \(JAJ=-A^{*}\). It follows that
Thus we have
Because \(AA^{*}=A^{*}A\), then from (2.3) and (2.4) we have \(A_{11}A_{12}=A_{12}A_{22}\). Therefore, (2.1) holds. □
Then we introduce the following results to solve Problem 1 later on.
Lemma 2
(Sun [10])
Let \(A_{1},B_{1}\in{\mathbb {C}}^{n\times m}\) be given. The linear matrix equation \(X_{1}A_{1}=B_{1}\) has a Hermitian solution \(X_{1}\in{\mathbb{C}}^{n\times n}\) if and only if
In this case, the general solution can be expressed as
where \(R_{1}\in{\mathbb{C}}^{n\times n}\) is an arbitrary Hermitian matrix.
In this lemma, the general solution can be also expressed as
The following lemma is taken from [11], see Corollary 2 in [11].
Lemma 3
(Penrose [11])
Let \(A_{2}\in{\mathbb {C}}^{n\times m}\), \(C_{2}\in{\mathbb{C}}^{n\times p}\), \(B_{2}\in{\mathbb {C}}^{p\times q}\), and \(D_{2}\in{\mathbb{C}}^{m\times q}\) be given. The pair of matrix equations \(A_{2}X_{2}=C_{2}\), \(X_{2}B_{2}=D_{2}\) has a solution \(X_{2}\in{\mathbb{C}}^{m\times p}\) if and only if
Moreover, the general solution can be expressed as
where \(R_{2}\in{\mathbb{C}}^{m\times p}\) is an arbitrary matrix.
3 Solvability conditions and general solution of Problem 1
Given a normal matrix \(J \in{\mathbb{R}}^{n\times n}\) with \(J^{2}=-I_{n}\), let \(Y \in{\mathbb{C}}^{n\times m}\) and \(\Lambda\in {\mathbb{C}}^{m\times m}\) be given in Problem 1. In order to solve this problem for the case of normal skew J-Hamiltonian matrices, we need to obtain the normal skew J-Hamiltonian solution of the linear matrix equation
If equation (3.1) is consistent, then the set \(\mathcal {M}(Y,\Lambda)\) is nonempty. By Lemma 1, equation (3.1) is equivalent to the following:
Let
Then (3.2) can be rewritten as follows:
Thus we have
By Lemma 3, the above system of matrix equations has a solution \(A_{12} \in{\mathbb{C}}^{k\times k}\) if and only if
Then, by Lemma 2, the first equation in (3.5) has a Hermitian solution \(A_{11}\in{\mathbb{C}}^{k\times k}\) if and only if
In this case, the general solution is
where \(S_{1}\in{\mathbb{C}}^{k\times k}\) is an arbitrary Hermitian matrix.
Similarly, by Lemma 2, the second equation in (3.5) has a Hermitian solution \(A_{22}\in{\mathbb{C}}^{k\times k}\) if and only if
In this case, the general solution is
where \(S_{2}\in{\mathbb{C}}^{k\times k}\) is an arbitrary Hermitian matrix. Let
From (3.5), (3.7), and (3.9) we know that \(G=G^{*}\) is equivalent to
Then substituting (3.7) and (3.9) into the third equation in (3.5) yields
Thus we need to obtain a pair of Hermitian solutions \(( \widehat{S}_{1}, \widehat{S}_{2})\) of the linear matrix equation (3.11). Firstly, we give the generalized singular value decomposition (GSVD) of the matrix pair \(({\mathscr{R}}_{Y_{1}{\mathscr{L}}_{Y_{2}}}Y_{1}, {\mathscr {R}}_{Y_{2}{\mathscr{L}}_{Y_{1}}}Y_{2})\) as follows (see, for example, [12]):
where \(U_{1}\) and \(U_{2}\) are unitary matrices of order k and \(M \in {\mathbb{C}}^{m\times m}\) is a nonsingular matrix, and
are block matrices with the same column partitioning. In the matrices \(\Pi_{1}\) and \(\Pi_{2}\),
We further partition the nonsingular matrix
compatibly with the block column partitioning of \(\Pi_{1}\) or \(\Pi_{2}\). Denote
Then substitute (3.12) into (3.11). By [13, Theorem 3.1] we obtain that equation (3.11) is consistent if and only if
Moreover, its general solution can be expressed as
where \(X_{33}\), \(Y_{11}\), and \(Y_{22}\) are arbitrary Hermitian matrices, \(X_{13}\), \(X_{23}\), \(Y_{12}\), and \(Y_{13}\) are arbitrary matrices.
Then substituting (3.15) and (3.16) into (3.7) and (3.9) yields
From (3.4), (3.17), and Lemma 3, we get
where \(R \in{\mathbb{C}}^{k\times k}\) is an arbitrary matrix.
Based on the above discussion, we can conclude the following result to solve Problem 1.
Theorem 1
Given \(Y \in{\mathbb{C}}^{n\times m}\) and \(\Lambda\in {\mathbb{C}}^{m\times m}\) as described in Problem 1. Let \(U^{*}Y\), G, the GSVD of the matrix pair \(({\mathscr{R}}_{Y_{1}{\mathscr {L}}_{Y_{2}}}Y_{1}, {\mathscr{R}}_{Y_{2}{\mathscr{L}}_{Y_{1}}}Y_{2})\) and \({(M^{*})}^{-1}G{M}^{-1}\) be given by (3.3), (3.10), (3.12), and (3.13), respectively. Then Problem 1 is solvable(i.e., \(\mathcal{M}(Y,\Lambda)\neq\emptyset\)) in the set \({\mathcal{NS}}^{n\times n}(J)\) if and only if conditions (3.6), (3.8), (3.14), and \(A_{11}A_{12}=A_{12}A_{22}\) hold. Moreover, in this case, the general solution can be expressed as
where \(A_{11}\), \(A_{22}\), and \(A_{12}\) are given by (3.17) and (3.18), respectively. In the matrices \(A_{11}\), \(A_{22}\), and \(A_{12}\), \(\widehat{S}_{1}\) and \(\widehat{S}_{2}\) are described in (3.15) and (3.16), respectively, where \(X_{33}\), \(Y_{11}\), and \(Y_{22}\) are arbitrary Hermitian matrix blocks, \(X_{13}\), \(X_{23}\), \(Y_{12}\), \(Y_{13}\), and R are arbitrary matrix blocks.
4 Conclusions
In this paper, we have obtained the necessary and sufficient conditions of the inverse eigenvalue problem for normal skew J-Hamiltonian matrices. Furthermore, a solvable general representation is presented. We can also use the same method to solve the inverse eigenvalue problem for a normal J-Hamiltonian matrix.
References
Gigola, S., Lebtahi, L., Thome, N.: Inverse eigenvalue problem for normal J-Hamiltonian matrices. Appl. Math. Lett. 48, 36–40 (2015)
Chu, M.T., Golub, G.H.: Inverse Eigenvalue Problems: Theory, Algorithms, and Application. Oxford University Press, Oxford (2005)
Cox, S.J., Embree, M., Hokanson, J.M.: One can hear the composition of a string: experiments with an inverse eigenvalue problem. SIAM Rev. 54, 157–178 (2012)
Hu, S.-L.J., Li, H.: A systematic linear space approach to solving partially described inverse eigenvalue problems. Inverse Probl. 24, 035014 (2008)
Zhang, Z., Hu, X., Zhang, L.: The solvability conditions for the inverse eigenvalue problem of Hermitian-generalized Hamiltonian matrices. Inverse Probl. 18, 1369–1376 (2002)
Bai, Z.: The solvability conditions for the inverse eigenvalue problem of Hermitian and generalized skew-Hamiltonian matrices and its approximation. Inverse Probl. 19, 1185–1194 (2003)
Xie, D., Huang, N., Zhang, Q.: An inverse eigenvalue problem and a matrix approximation problem for symmetric skew-Hamiltonian matrices. Numer. Algorithms 46, 23–34 (2007)
Qian, J., Tan, R.C.E.: On some inverse eigenvalue problems for Hermitian and generalized Hamiltonian/skew-Hamiltonian matrices. J. Comput. Appl. Math. 250, 28–38 (2013)
Jamshidi, M.: An overview on the solutions of the algebraic matrix Riccati equation and related problems. In: Large Scale Systems, Theory and Applications, vol. 1, pp. 167–192 (1980)
Sun, J.: Two kinds of inverse eigenvalue problems for real symmetric matrices. Math. Numer. Sin. 3, 282–290 (1988)
Penrose, R.: A generalized inverse for matrices. Proc. Camb. Philos. Soc. 51, 406–413 (1955)
Herrero, A., Thome, N.: Using the GSVD and the lifting technique to find \(\{P, k+1\}\) reflexive and anti-reflexive solutions of \(AXB = C\). Appl. Math. Lett. 24, 1130–1141 (2011)
Chang, X., Wang, J.: The symmetric solution of the matrix equations \(AX+YA=C\), \(AXA^{T}+BYB^{T}=C\), and \((A^{T}XA, B^{T}XB)=(C,D)\). Linear Algebra Appl. 179, 171–189 (1993)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Abbreviations
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zhao, J., Zhang, J. The solvability conditions for the inverse eigenvalue problem of normal skew J-Hamiltonian matrices. J Inequal Appl 2018, 74 (2018). https://doi.org/10.1186/s13660-018-1667-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1667-1