William E.Roth s第二定理的一个新证明

仅利用矩阵的基本理论建立了四个引理,并且在此基础上对W.E.Roth第二定理给出了新的证明.

双线性型理论的优先权及构建之争

1873-1874年,数学家克罗内克和若尔当就双线性型理论发明的优先权以及构建问题展开了争论。该争论属于德国算术传统和法国代数实践两种不同文化特征的思想交锋,蕴含两位数学家关于普遍性的内在哲学的思考与诠释。双线性型理论如何构建的争论最终在第三者书写的数学中走向了综合和统一,若尔当最后也承认了克罗内克工作的优先性。争论虽然给若尔当本人带来了不利的影响,但对他的数学实践却有所裨益,也让我们对若尔当在数学史上的历史肖像产生新的理解。

计算亏损系统模态灵敏度的逐层递推演算方法

对不具有完全特征向量系的线性振动亏损系统,在由广义模态理论建立的亏损系统广义模态空间中,给出了亏损系统广义模态灵敏度分析算法,并推导出以逐层递推方式计算广义模态展开式系数的简便、快速的演算公式.给出的数值算例证明了此方法的正确性和有效性.

F_2~n上的正形置换

讨论了正形置换的构造和性质,并分析了正形置换的幂次是否仍是正形置换.对于线性正形置换,根据矩阵标准型的性质,只要整数i不能被这个正形置换对应矩阵的极小多项式的各个根的阶整除,则这个线性正形置换的i次幂仍是线性正形置换.对于非线性正形置换,给出了有用的结果.

和与积相等的矩阵对及其多项式表示

用矩阵Jordan标准形理论,证明了和与积相等的矩阵对的Jordan标准形具有互为确定的性质,进而得到由和与积相等的矩阵对的最小多项式及交换子空间确定的多项式表示的新结果.

一类循环条件非线性的程序终止性

针对Tiwari提出的线性循环程序的终止性判定问题,提出了循环条件为齐次多项式的非线性程序的不可中止性判定的理论证明,然后将程序终止性判定问题转化为参数半代数系统的求解。在求解中,借助强有力的代数符号工具DISCOVERER,解决了计算机浮点计算所造成的近似误差,精确地判定这类程序的不可终止性。最后,通过计算代数理论,把循环条件推广到了非齐次多项式,并且进行了验证。通过理论的证明和实验的验证,解决循环条件是非线性的一类循环程序的方法是高效合理的。

线性组合与积相等矩阵对及其多项式表示

讨论线性组合与积相等矩阵对A和B(即满足aA+bB=AB)的特征值及其Jordan标准形,通过A和B的最小多项式得到这对矩阵互相表示的多项式对u(x)和v(x)(即满足B=u(A),A=v(B))的通式表达,并证明了次数最低的表示多项式的唯一性.同时给出了线性组合与积相等矩阵对的最小多项式的相互确定关系,以及不需利用特征值或Jordan标准形求这对矩阵的次数最低表示多项式的算法.

用奇异值分解方法计算具有重特征值矩阵的特征矢量

若当(Jordan)形是矩阵在相似条件下的一个标准形,在代数理论及其工程应用中都具有十分重要的意义· 针对具有重特征值的矩阵,提出了一种运用奇异值分解方法计算它的特征矢量及若当形的算法· 大量数值例子的计算结果表明,该算法在求解具有重特征值的矩阵的特征矢量及若当形上效果良好。

基于Laplace矩阵Jordan型的复杂网络聚类算法

在目前复杂网络聚类算法中,基于Laplace特征值的谱聚类方法具有严密的数学理论和较高的精度,但受限于该方法对簇结构数量、规模等先验知识的依赖,难以实际应用。针对这一问题,基于Laplace矩阵的Jordan型变换,提出了一种先验知识的自动获取方法,实现了基于Jordan矩阵特征向量的初始划分。基于Jordan型特征值定义了簇结构的模块化密度函数,并使用该函数和初始划分结果完成了高精度聚类算法。该算法在多个数据集中的实验结果表明,与目前主流的Fast-Newman算法、Girvan-Newman算法相比,基于Laplace矩阵Jordan型聚类算法在不依赖先验知识的情况下,实现了更高的聚类精度,验证了先验知识获取方法的有效性和合理性。

极坐标哈密顿体系约当型与弹性楔的佯谬解

讨论了极坐标弹性平面哈密顿体系约当型，并通过约当型的求解，直接给出了相关弹性 楔体佯谬问题的解．从理论上阐明了经典弹性力学中某些佯谬问题的出现是由于其对应的是哈 密顿体系中特殊的约当型解，同时也很自然地为该类问题提供了一个通用、有效的求解方法．

本质(m,l)幂等矩阵的特征研究

若有最小正整数m使当m>l时A^m=A^l成立,称A为本质(m,l)幂等矩阵.本文讨论了本质(m,l)幂等矩阵的特征.作为应用,给出了本质m对合、本质m幂等矩阵的等价刻画,讨论了最小多项式与本质(m,l)幂等矩阵的一些关系.

(m,/)秩幂等矩阵和(m,/)幂等矩阵的特性研究

如果存在自然数m，l（m〉l）使r（A^m）=r（A^l），称A为（m，l）秩幂等矩阵；当A^m=A^l时，称A为（m，l）幂等矩阵依据矩阵的幂等性与秩幂等性不随数域的改变而改变这一基本事实，应用Jordan标准形的性质，得到了这两类既有区别又有密切联系的矩阵类的特性刻画．

一类直接控制系统的绝对稳定性

利用线性代数理论中的厄米特二次型和若当标准形研究一类直接控制系统的绝对稳定性问题．进一步发展了控制系统稳定性理论中最近发展起来的一种新的研究方法──降维法．得到了用参数表示的代数形式的绝对稳定性的判别准则．

(u,v)幂等矩阵与本质(m,l)幂等矩阵

证明了(u,v)幂等矩阵与本质(m,l)幂等矩阵的互相确定关系,由此给出了求(u,v)幂等矩阵的Jordan标准形的方法,这种方法不依赖通常的求Jordan标准形的算法,只涉及到矩阵方幂的秩和u-v次单位根εi所确定的矩阵秩最后得到以矩阵秩为基本工具的,判定(u1,v1)幂等矩阵与(u2,v2)幂等矩阵相似的充分必要条件.

方阵幂的秩恒等式及其应用

利用矩阵的Jordan标准形给出了方阵幂的秩恒等式,并利用相关结果讨论了由矩阵幂的秩确定矩阵的Jordan标准形中Jordan块的块数的方法.

广义特征矩阵的唯一性(英文)

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

一类间接控制系统的绝对稳定性问题

利用厄米特二次型和若当标准形理论研究了一般间接控制系统的绝对稳定性问题 ,给出了绝对稳定性的代数形式的判别准则· 所得到的结果是新的和有用的·

四元数矩阵Jordan标准的简单证明和算法

引入了友向量的概念 ,给出了四元数矩阵的秩的一种定义方法和四元数矩阵Jordan标准形的一种简单证明和算法 .

Jordan标准形定理的一个矩阵证明

运用矩阵的初等运算重新证明了Jordan标准形定理.

李亚普诺夫方程AX+XB=C的简洁解及其应用

首先给出了4种情况下李亚普诺夫方程AX+XB=C解的简洁表达式,然后,通过前述结论得出了矩阵方程AX+YB=E的最小二乘解以及极小范数最小二乘解的解析式,并且,通过相应数值例子验证了相关结论.