关于型AX=XB矩阵方程的求解方法探讨

对型AX=XB矩阵方程,当A,B都是方阵时,但阶数不同时,X不是方阵.对此情形,用标准型方法讨论型AX=XB矩阵方程的求解问题,井得到两个重要结论.     

矩阵对角化的注记

利用矩阵的若当标准形证明了，若数域Ｐ上ｎ级矩阵人的最小多项式是Ｐ上互素的一次因式的乘积，则人与对角矩阵相似，从而给出了关于矩阵对角化一个定理的另一证明。     

广义特征矩阵的唯一性

利用广义特征向量的深度,获得极大若当链的一般形式,并推导出在满足PJP-1=SJS-1的2个可逆矩阵P和S之间存在一个主对角线上具有上三角分块Toeplitz子阵的可逆矩阵H,使得S=PH,从而证明广义特征矩阵的唯一性.     

矩阵可交换的充要条件

本文运用矩阵的若当标准形证明了一般情况下矩阵可交换的充要条件     

某些矩阵函数及其应用

本文引进计算矩阵函数的实用方法，构思新颖，计算简捷，同时进述了矩阵函数在微分方程与代数方面的应用，对教学很有帮助。     

矩阵立方根的求解

讨论了矩阵A相似于对角矩阵和一般矩阵的立方根问题,证明了满足条件矩阵的立方根的性质。     

仿射群概型ap的表示与幂零矩阵

通过把仿射群概型的表示转化成对幂零矩阵的讨论，将仿射群概型的研究具体化。借助Matlab的相关工具求解幂零矩阵，得到了对应仿射群概型的表示。     

求复数域上矩阵若当标准型的一种新方法

从矩阵的特征值这一角度来讨论复数域上矩阵的若当标准型，给出一种求若当标准型的新方法。     

关于矩阵教学的一点探讨

本文利用相似矩阵的性质给出凯利-汉密尔顿定理,并用向量空间关于线性变换的准素分解推出n阶矩阵若当标准形及其求法.     

一般数域P上方阵的标准形

文章证明了一般数域P上方阵A都相似于P-若当形矩阵.在P=C时它就是若当标准形,P-若当形矩阵可看成复数域上若当标准形的推广,是若当标准形与有理标准形的结合.利用P-若当形矩阵给出了n维线性空间V的线性变换有有限个不变子空间的充要条件.     

两个矩阵同时化为Hermite标准型的一个充分必要条件

利用单纯的矩阵方法得到.两个同型矩阵A,B能够同时化为Hermite标准型的一个充分必要条件是rank(A B)=rankA rankB.在此基础上,若同型矩阵序列A1,A2…,A1满足rank(A1 … A1)=rankA1 … rankA1,则对任意两个矩阵Ai,Aj(i≠j)均可以同时化为Hermite标准型.     

复数域上方阵的平方根

讨论了复方阵具有平方根的问题，指出了“一个方阵有平方根的充分条件”一文的错误，给出了纠正的结论，进而给出一般性的复数域上的方阵有平方根的充分必要条件。     

利用固定矩阵计算亏损矩阵的幂级数之和

通过方阵A的极小多项式φ（λ)=(λ-λ1)(λ-λ2）^n2…（λ-λ3)^ns的指数来定义可变系数向量V(m)，并构成A的固定矩阵D．利用固定矩阵D，将计算亏损矩阵的幂级数公式A^m=PJ^mP^-1改进为A^m=V(m)D^-1(E,A,…，A^w-1)^T，免去求若当链及P^-1的步骤．     

对称Loewner矩阵的若干性质

利用对称Loewner矩阵与有理函数插值之间的内在联系,给出2个非对角对称Loewner矩阵的乘积仍为复对称Loewner矩阵的充要条件,以及条件满足时乘积的明确表达式.     

样条型矩阵有理插值

矩阵值有理插值在部分实现问题和系统线性理论的模型简化问题中起重要的作用,顾传青给出了矩阵值有理插值的Lagrange基形式,我们根据基样条插值的性质构造了一种样条型的矩阵值有理插值,这种插值形式避免了高次Lagrange多项式插值的不确定性,给出了一种实用的公式。     

与方阵可交换的矩阵为矩阵多项式的探讨

通过对与方阵A可交换的矩阵的研究,得出了与方阵A可交换矩阵为A的多项式矩阵的一个充要条件,并由此得出了一个重要推论.     

\widetilde{A}型路代数张量积的Coxeter变换

设\bigotimes _{i=1}^{s}F[\widetilde{A}_{n_i}^{p_i}]为s个\widetilde{A}_{n_i}^{p_i}型路代数的张量积.本文导出了\bigotimes _{i=1}^{s}F[\widetilde{A}_{n_i}^{p_i}]的Coxeter多项式.对任意的k \in \mathbb{N},设\omega_k为\bigotimes _{i=1}^{s}F[\widetilde{A}_{n_i}^{p_i}]的Coxeter变换的若当标准型中k阶若当块的个数.我们证明了k的取值范围为1, \dots, s+1,并给出了所有的\omega_1,\cdots,\omega_{s+1}.同时,我们证明了\omega_1,\cdots,\omega_{s+1}可以唯一确定指标集n_1,\cdots,n_s(不计顺序).     

关于正规函数矩阵

说明函数矩阵A(z)=sum from(c_k(z-z_0)~k)是正规矩阵的充分必要条件是各系数矩阵都正规且两两可交换。由此得出一些相关的结论。另外又指出矩阵幂级数是正规矩阵的条件。