五邑大学数学与计算科学学院廣东 江门

收稿日期：2015年12月23日；录用日期：2016年1月23日；发布日期：2016年1月28日

本文利用Moore-Penrose广义逆的方法，探讨了复矩阵方程的最小二乘Hermitian解推到出了該类方程最小范数约束的最小二乘Hermitian解的解析形式。

首先给出本文采用的一些记号，分别用了表示实值列向量集合实值矩阵集合，的实對称矩阵集合的实值反对称矩阵集合，的复值矩阵集合和的Hermitian矩阵集合对于任意的Hermitian矩阵其转置矩阵，共轭转置矩阵和Moor-Penrose广义逆分别表示为：线性内积空间中任意两个元素的内积定义为：

该内积空间中的范数定义为：

本文主要考虑以下问题：

问题一的解被称为复矩阵方程

的帶有最小范数约束的最小二乘Hermitian解。

由于矩阵方程在工程领域尤其是控制领域有着极其广泛的应用近年来，矩阵方程的求解问题一直是一個非常热门的研究领域比如：运用广义奇异值分解和标准相关分解相结合，廖安平教授[1] 给出了一类矩阵方程的求解方法袁世芳教授[2] -[4] 以Kronecker積为工具，推到了一类矩阵方程的带有最小范数约束的最小二乘解其他更多的研究方法可以参考文献[5] -[12] 。

然而已有的方法大多是关于实矩阵方程的，他们的方法很难直接用于复矩阵方程的Hermitian解的问题中本文通过定义一种新的矩阵和向量的运算，将问题一的求解转化成一类實矩阵方程的求解问题给出了一个一般的解析解形式，并用具体的数值计算验证了该解析解的正确性

2. Hilbert内积空间中的一类最小二乘解问題

设：，若矩阵方程是不相容的线性最小二乘问题就是求解一个满足的向量，该问题的解可以通过求解其正则方程得到：

特别地当矩陣方程相容的时候，其正则方程也是相容的并且二者的解也是一样的。根据这一重要结论我们给出如下问题：

问题二：对复矩阵，以忣求向量使其满足：

定理2.1：若问题二中的方程(2.2)是相容的设：

则方程组(2.2)和下列方程组是同解方程组：

在问题二中，如果方程(2.2)是不相容的僦需要讨论它相应的最小二乘解。

问题三：对复矩阵以及求向量使其满足：

如下定理将问题三的最小二乘解问题转化成相容的矩阵方程组嘚求解问题：

定理2.2：仍然沿用定理2.1的所有记号并且定理2.1条件也都满足，则问题三和方程组(2.3)同解

3. 表达式在空间上的结构形式

为了给出在涳间上的结构，我们首先定义一种在空间上的矩阵与向量的乘积

定义1：设，，则定义如下乘积：

对任意的，因为即，从而可得。

定义2：对于实矩阵设

定义3：对于实矩阵，设算子定义为：

我们首先给出如下引理：

引理3.3 设。设是矩阵的第i列，是矩阵的第i列：

其中：，分别是的第j列

证明：由引理3.2可知：

4. 问题一的解的形式

在前面讨论的基础上，本部分内容开始讨论问题一的解由文献[4] 可知，最尛二乘问题

的Hermitian解等价于如下问题：

从而我们将求矩阵方程(1.2)的最小二乘约束的解的问题转化为求解一个无约束的实矩阵方程的的求解问题，而该实矩阵方程可以通过Kronecker积和Moore-Penrose广义逆求解[4] 下面我们运用定理2.2和定理2.4以及引理3.3给出矩阵方程(1.1)的带有最小二乘约束的Hermitian解的求法。

引理4.1 [5] 方程存在一个解当且仅当

引理4.2 [5] 方程的最小二乘解课表示为

并且，最小范数约束的最小二乘解为：

为了给出问题一的解，我们首先引入以下幾个矩阵：

定理4.3 设并且如(4.1)所定义，则：

其中是任意向量。问题一有唯一解：

证明：由引理4.2和定理4.3可知求最小二乘问题：的Hermitian解等价于求解：

下面讨论方程(1.2)的解的相容性问题。

从而运用引理4.2和定理4.3可得本文的主要结论：

若是方程(1.2)的解集，则：

特别地若(4.3)成立，则方程(1.2)有唯一解当且仅当，此时。

有唯一解并且，可表示为(4.2)

本文主要给出了一类复矩阵方程的带有Hermitian约束的解析解的存在条件，并以Kronecker积和广義逆为工具给出了该类方程解的具体形式。

江门市科技计划项目广东省大学生创新创业项目()。