主理想整环上的矩阵方程

讨论了主理想整环上的矩阵方程，其思想方法是：先建立主理想整环上的矩阵范畴，并证明这个范畴是一个有满单分解的范畴，然后利用范畴论中的结论给出主理想整环上矩阵方程有解的条件。     

主理想环上的矩阵

本文定义了主理想环上的矩阵之初等变换、秩、最大公因子、以及质矩阵等概念,并讨论了它们的各种性质。     

主理想整环上的一类矩阵方程

讨论了预加范畴中的态射方程ａｘβ＋σｙτ＝γ,给出了其有解的充要条件和通解公式,并且,对主理想整环上的矩阵方程ＡＸＢ＋ＣＹＤ＝Ｅ给出了相应的结论。     

主理想环上的矩阵Goldbach问题

研究主理想环上的矩阵表示为素阵之和的问题，证明了阶不小于２的矩阵恒能表示为两个素阵之和．结果表明，矩阵环及其子环的表示关系是相当复杂的．     

主理想环上（未必可换）R矩阵方程的解

在主理想环（未必可换）R上研究矩阵方程AXB＋CYD=E，给出其有解的充分必要条件．     

矩阵方程AX=B的部分对称与反对称解

定义了部分对称矩阵和部分反对称矩阵，给出了矩阵方程ＡＸ＝Ｂ的部分对称解与部分反对称解存在的条件与解的表达式，并讨论了其解集上的一类最佳逼近问题。     

主理想整环上对称矩阵模的保逆线性映射

设R是特征不为3的主理想整环,2为R中的可逆元,n和m是正整数,且n≤m。刻画了R上n阶对称矩阵模Sn(R)到R上m阶矩阵模Mm(R)上的保逆线性映射的形式。     

主理想整环上的线性方程与一类矩阵方程

本文给出含幺主理想整环上线性方程组与一类矩阵方程可解的条件与通解。     

主理想整环上对称矩阵的距离与对角化

设R是一个交换主理想整环(PID),A,B是两个R上的对称矩阵,讨论了A与B的算术距离与距离的关系,证明了A-B可合同对角化的充要条件是:A与B的距离等于它们的算术距离.     

矩阵方程AX+XB=C对称解的可信算法

利用区间运算的相关理论,给出了计算矩阵方程AX+XB=C近似对称解及其可信误差界的算法,由此算法得到的误差界范围内必定存在一个精确对称解.     

四元数矩阵方程AX=B的Hermite最小二乘解

以HQn×n表示四元数Hermite矩阵的全体.给出了四元数矩阵方程AX=B在HQn×n中的最小二乘解的表达式,以及AX=B在HQn×n中有解的充分必要条件与通解的表达式.     

矩阵方程AX=B的约束最小二乘解

讨论了矩阵方程AX=B在约束条件CX=D下的最小二乘解的等价条件及其表达式.     

矩阵方程AX=B的循环解及其最佳逼近

文章首先考虑了如下问题：给定矩阵A,B∈Cn×m,求循环矩阵X∈CIRn×n,使得min｜｜AX—B｜｜。给X出了问题具有循环矩阵解的条件和解的一般表达式,若用SE表示上述问题解的集合,文章还考虑了最佳逼近问题：给定X＊∈CIRn×n,求X∈SE,使得minX∈SE｜｜X-X＊｜｜=｜｜X-X＊｜｜,其中｜｜·｜｜表示矩阵的Frobenius范XESE数,证明了问题存在唯一解,给出了其唯一解的一般表达式。     

矩阵方程AX+XB=C的对称解及其最佳逼近

提出一种求解线性矩阵方程AX+XB=C对称解的迭代法.该算法能够自动地判断解的情况,并在方程相容时得到方程的对称解,在方程不相容时得到方程的最小二乘对称解.对任意的初始矩阵,在没有舍入误差的情况下,经过有限步迭代得到问题的一个对称解.若取特殊的初始矩阵,则得到问题的极小范数对称解,从而巧妙地解决了对给定矩阵求最佳逼近解的问题.     

线性流形上矩阵方程A~TXA=B的对称次反对称矩阵解

利用矩阵对的标准相关分解得到线性流形上矩阵方程ATXA=B的对称次反对称最小二乘解,以及存在对称次反对称解的充分必要条件,并且分别给出了解的一般表达式.     

矩阵方程AX＝B最小二乘解的解法

利用矩阵的ｇ－逆，通过矩阵分块及初等变换，给出矩阵方程ＡＸ＝Ｂ的最小二乘解的一个解法。     

环上的矩阵方程AX-YB=C

给出了环上的矩阵方程AX-YB=C相容的充要条件及一般解的表达式。     

四元数矩阵方程AX=B的酉矩阵最小二乘解

以UQn×n表示四元数酉矩阵的全体.本文给出了四元数矩阵方程AX=B在UQn×n中最小二乘解的表达式,以及AX=B在UQn×n中有解的充分必要条件,通解的表达式.     

一类矩阵方程对称解的可信误差界

利用区间分析理论,研究了矩阵方程AXB+BXA=C对称解的可信验证.提出了一种算法,该算法输出一个近似对称解及其相应的可信误差界,使得在近似解的误差范围内必定存在该方程的一个精确对称解.