有理矩阵有理对角化问题算法及程序设计研究报告.doc

有理矩阵有理对角化问题算法及程序设计研究报告 　　摘要： 矩阵对角化是重要的数学方法，但因其计算复杂却造成了应用上的极大困难，虽然已有的数学软件具有处理对角化功能，但对有理矩阵在有理数域上的对角化问题的计算结果却不尽人意。所以提出了研究有理矩阵在有理数域上相似对角化、合同对角化以及正交对角化的算法与程序课题，设计出能够实现有理矩阵在有理数域上对角化的实用软件，解决了有理矩阵在有理数域上对角化的精确判定与计算问题。 　　Abstract： Matrix is an important mathematical method of diagonalization， but because of its computational complexity， it has caused great difficulties on the application， The mathematical software has the function of processing of diagonalization， but for rational matrix diagonalization problem in the field of rational number the result is not satisfactory. So the study of rational matrix over the rational number field similarity diagonalization diagonalization， contract and orthogonal diagonalization algorithm and program project， design to realize rational matrices over the field of rational numbers on the diagonalization of utility software， solves the rational matrices over the field of rational numbers on the diagonalization of the accurate determination and computation problem. 　　关键词： 有理矩阵；有理对角化；算法；程序 　　Key words： rational matrix；rational diagonalization；algorithm；program 　　中图分类号：TP311.1 文献标识码：A 文章编号：1006-4311（2013）22-0237-04 　　0 引言 　　经过一年多的潜心研究，我们有理矩阵有理对角化软件创作小组完成了《有理矩阵有理对角化问题的算法及程序设计》的课题研究与软件开发任务，现将研究情况总结报告如下。 　　1 研究意义 　　矩阵是重要的数学工具，在各个领域中都有广泛的应用，如电路学、力学、量子物理乃至三维动画的制作都用到矩阵理论。矩阵对角化是矩阵理论中重要的变换方法，利用矩阵相似对角化可以快速地计算出矩阵所对应的行列式的值或矩阵的高次幂；利用矩阵合同对角化可以化简二次型，为二次曲面的研究提供了极大的方便；利用矩阵正交对角化化简的二次型几何意义是保形变换，更有实在价值，等等，可见矩阵对角化应用广泛???从理论上说矩阵对角化方法已经完善，但是人工实现却非常困难，甚至力不能及，所以研究用计算机实现之就非常重要。 　　值得注意的是，在实际应用及计算中所面对的数都是有理数，因此所直接打交道的也都是有理矩阵（即有理数域上的矩阵），因此考虑有理矩阵在有理数域上的对角化问题即有重要意义，尽管说已有的数学软件（如，Mathematica、Matlab、Maple等）能够解决矩阵对角化问题，但因为这些软件均是基于实数进行运算，所以对有理数而言势必存在误差（如对于循环小数），因此用之处理有理矩阵在有理数域上的对角化问题所得结果并不精确，有的误差还很大，例如关于相似对角化问题，对于矩阵A=■ 　　人工与我们设计的软件都可求得： 　　可逆矩阵T=■与对角阵D=■ 　　使得T-1AT=D。但Mathematica求出的可逆矩阵是： 　　T1=■ 　　而Maple求出的可逆矩阵是： 　　T2=■ 　　比较可见，Mathematica和Maple的计算结果存在着误差。 　　又如对于矩阵 　　A=■ 　　人工与我们设计的软件都可求得正交矩阵 　　U=■与对角阵D=■ 　　使得UTAU=D.但是在“矩阵工作室”——Matlab中所求的结果却是： 　　正交矩阵T=■