MLL 论文演讲(2).pptVIP

关于结构四元数矩阵的特征值反问题研究 导师：黄敬频教授 姓名：马陆陆 专业：计算数学 学号：200907010205 — Content — 一. 问题的背景和意义 四元数(Quaternions)是由威廉.卢云.哈密顿1843年在爱尔兰发现的数学概念。 四元数的定义如下：设q=a+bi+cj+dk, 这里a,b,c,d∈R. 其中i,j,k满足i2=j2=k2=-1, ij=-ji=k, jk=-kj=i, ki=-ik=j, 则数q为四元数, 称a为四元数q的实部, 称bi+cj+dk为q的虚部。 四元数是复数的不可交换延伸, 是一个除环。四元数相对于复数为二维空间, 相对于实数就代表着一个四维空间。由于四元数的乘法不符合交换律, 而使常规矩阵计算的诸多性质不能直接推广到四元数矩阵上来。 随着科技的发展，四元数在刚体动力学、量子力学、航天技术、计算机图形学等领域应用日趋广泛[1-6]。例如，在计算机图像学领域，将彩色图像像素的R、G、B三分量作为四元数的三个虚数部分，引入基于四元数的彩色人脸识别方法，大幅提高了识别率[1]；在航天技术领域，用四元数表示空间站伴随卫星的姿态控制问题，该控制律能对空间站伴随卫星进行准确、快速的姿态控制[4]。因此，随着四元数和四元数矩阵应用范围的不断扩大，对于它的各种数值计算问题凸显重要。□ 二、国内外现状及研究水平 1980年以来，关于四元数矩阵理论的研究取得了许多成果，如四元数矩阵的复表示、行列式的定义、左右特征值定义、二次型与正定性研究等[7-15]。 关于结构矩阵的特征值反问题, 前人在实数域做了许多研究。例如，文献[16] 对箭状矩阵提出了已知两对特征对的广义特征值反问题，并利用方程组求解的方法构造性地证明了解存在唯一的条件，同时给出了解的具体表达式及算法；文献[17]讨论了由四个特征对构造相应的三对角对称矩阵或Jacobi矩阵问题，得到了问题有唯一解的充要条件及解的表达式． 但在四元数研究领域，目前关于四元数矩阵的特征值解法方面的研究较多，但关于它的反问题研究较少。从查阅到的相关研究资料可知，文献[23]研究了四元数量子力学中一类要求其解是正规或可对角化四元数矩阵的特征值反问题，并给出了其有解的充要条件和通解的表达式。 □ 三. 研究的进展和结果 （1）了解四元数矩阵的知识结构，包括四元数矩阵复表示等各种分解方法，四元数线性方程组的解法、四元数矩阵的特征值和特征向量等。 （2）对于给定的四元数特征对，寻找合适的结构矩阵与之相匹配。本文主要讨论由右特征对反求箭状或三对角四元数矩阵、自共轭四元数矩阵及自共轭正定四元数矩阵。这是本文的核心内容。 （3）建立由右特征对反求特殊结构四元数矩阵的算法，以算例实现算法的可行性。 设A∈Qn×n, 若存在λ∈Q及 使得 则称λ为A的右特征值， 为A的属于右特征值λ的特征向量，称 为A的一个右特征对。 形如 的四元数矩阵称为箭状四元数矩阵，全体n×n箭状四元数矩阵记为An(Q) 形如 的四元数矩阵称为三对角四元数矩阵，全体n×n三对角四元数矩阵记为Tn(Q) 设A∈Qm×n, A=A1+A2 j是A在复数域C上的分解式, 则 称 为四元数矩阵A的复表示矩阵或A在复数域C上的导出阵。 用 分别表示全体自共轭四元数矩阵和自共轭正定四元数矩阵的集合. 随后所列命题主要是解决这样几个问题： 问题1 设 非零向量 ,求 使得 , i=1,2,是A的两个特征对. 问题2 设 非零向量 ,求 使得 , i=1,2,是A的两个特征对. 问题3 设 求 使得 是T的三个右特征对. 问题4 设 ,求 使得 , i=1,2,是T的两个特征对. 问题5 设 ,求 使得 , i=1,2,是T的两个特征对. 命题1 设