1. 引言
E. H. Moore在1920年首次提出了广义逆矩阵的概念,R. Penrose明确给出了Moore广义逆矩阵定义,广义逆矩阵的研究进入了全新的时期。伴随计算科学的发展,广义逆矩阵在数理统计、系统理论、优化计算和控制论领域应用逐渐为人们所认识,因而大大推动了对广义逆的理论与应用的研究,使得广义逆理论得到迅速发展 [1] - [9],刘红伟在文 [1] 中提出一种新算法求广义逆,该算法在某种条件下运算速度优于奇异值分解求广义逆算法;郭志荣在文 [2] 中从纯代数角度研究了代数广义逆的可加性与广义逆表示问题;梁少辉在文 [3] 中讨论了Quantale矩阵M-P广义逆的若干性质,给出了Quantale矩阵M-P广义逆的具体形式;柯圆圆在文 [4] 中给出环上(b, c)可逆元的一些等价刻画,并考虑环上2 × 2矩阵的(B, C)逆的存在性和表达式;欧阳光在文 [5] 中讨论了广义逆矩阵及其性质且给出加号逆矩阵的一种切实可用的计算方法。MCG算法不同于通常的共轭梯度算法,它不要求系数矩阵正定、可逆或者列满秩,因此总是可行的。本文讨论实中心对称矩阵Moore-Penrose广义中心对称{1, 4}逆问题,将Moore-Penrose广义中心对称{1, 4}逆问题转换为求单变量线性矩阵方程组的中心对称解,然后建立MCG算法求线性矩阵方程组的中心对称解。
2. 问题提出
定义1 设n阶单位矩阵
,称n矩阵
为次单位矩阵。
若矩阵
满足
,称
为中心对称矩阵,用
表示中心对称矩阵集合。
定义2 设
,若
满足
,
(1)
则称
为
的一个{1, 4}逆,记为
。特别地,若
,且
,则称
为中心对称矩阵
的一个中心对称{1, 4}逆。根据广义逆矩阵的性质,矩阵的{1, 4}逆不是唯一的。
令
,
,
,
,
,
,
,
,
则(1)式可以改为
(2)
问题的提出:任意给出中心对称矩阵
,求方程组(2)的中心对称解
和
,则
的中心对称广义{1, 4}逆就是矩阵
。
本文通过建立求线性矩阵方程组(2)中心对称解的MCG算法,给出了MCG算法的性质证明该算法是收敛的,给出了算法收敛性定理。最后给出了算例,验证了MCG算法求中心对称矩阵
的中心对称{1, 4}逆是有效的。
3. 建立求矩阵方程组(2)中心对称解的MCG算法
结合共轭梯度算法原理以及中心对称矩阵的特点,建立求矩阵方程组(2)的MCG算法如下:
第1步:任意给定初始矩阵
,置
,计算
,
,
,
第2步:若
与
均为零矩阵,停止计算;否则,计算
,
第3步:计算
,
,
,
易见,MCG算法中的矩阵
,下面给出MCG算法的基本性质,证明MCG算法在有限步计算之后停止。
性质1 MCG算法中的矩阵
,
,
满足
证明 由MCG算法可得
性质2 当
时,对于MCG算法中的矩阵
,
和
,有
,
,
(3)
证明 采用数学归纳法,对于
,由性质1可知,
假设
时(3)式成立,则当
时,由性质1可得
当
时,有
当
时,有
根据矩阵迹的性质可得
,
所以当
时(3)式也成立。由归纳法原理可得
时(3)式成立。
性质3 设
是问题的任意一组解,则由算法得到的矩阵
,
及
满足
.
定理1 若中心对称矩阵
存在中心对称{1, 4}逆,则对任意初始矩阵
,MCG算法可在有限步计算后得到
中心对称{1, 4}逆。若方阵
无中心对称{1, 4}逆,则在MCG算法中存在正整数k,使得
且
。
4. 数值算例
下面给出两个算例,在例1中,给出两个方阵说明文中建立的MCG算法是可行的。在例2中给出不可逆方阵
在不同阶数下计算结果,说明MCG算法具有很高的效率,且都能求出矩阵方程组(2)广义中心对称{1, 4}逆解。
文中计算时间(秒)、矩阵阶数、MCG算法迭代次数、MCG算法中断次数、实际误差的范数依次用time、n、
、
和error表示。为避免迭代次数过分增加,设定MCG算法迭代次数上限为2999次,MCG算法终止准则为
,初始矩阵
均为零矩阵。
例1 用MCG算法求中心对称矩阵
的一个广义中心对称{1, 4}逆,在本例中,中心对称矩阵
分别取可逆方阵和不可逆方阵。结果如下
1) 若
,
。
2) 若
,则
。
从(1)中可以看出,当
可逆时,由MCG算法求得的广义中心对称{1, 4}逆就是
的逆矩阵;从(2)中可以看出,当
不可逆时,则MCG算法能在2步迭代计算求得
广义中心对称{1, 4}逆。
例2 取矩阵
如下,按MCG算法计算步骤求得矩阵方程组(2)的广义中心对称{1, 4}逆,结果如表1 (Matlab软件2016版-PIV3.0GHZ微机):
,其中
,

Table 1. The results of the generalized centrosymmetry {1, 4} inverse of equations (2)
表1. 方程组(2)的广义中心对称{1, 4}逆计算结果
从表1结果可以看出,文中建立的MCG算法求广义中心对称{1, 4}逆具有很高的计算效率。
5. 小结
广义逆求解算法多种多样,如对矩阵
满秩分解、奇异值分解等,也可以建立求广义逆递归计算公式,各种算法在满足某些条件下均能求出矩阵的广义逆。本文建立的求中心对称矩阵{1, 4}逆的MCG算法无意与其他算法做比较,只是给出一种求中心对称矩阵中心对称{1, 4}逆的迭代算法,该算法使用范围广,对矩阵
限制条件少,修改算法中某些矩阵,也可以建立方阵其他特殊解的MCG算法。
基金项目
2019年福建省教育厅中青年教师教育科研项目:(JAT190410)。