关键词:
四元数
分裂四元数
对偶四元数
特征值问题
四元数矩阵束
分裂四元数矩阵束
实保结构算法
四元数矩阵束的同时对角化
摘要:
四元数矩阵的右特征值问题,作为复数域特征值理论向高维非交换代数体系的自然拓展,已在多个工业与工程领域展现出广泛的应用价值.该问题不仅为三维刚体运动建模、机器人姿态协同控制以及计算机视觉中的几何计算提供了坚实的数学基础,同时也在量子系统的高维表示、大规模通信中的编码优化、群体智能的分布式算法设计以及深度学习等前沿研究方向中发挥着关键作用.四元数所特有的非交换代数结构与其强大的高维几何表征能力,持续推动着数值代数在理论发展与工程实践中的双重发展.本文采用理论分析与数值计算相结合的研究范式,在四元数矩阵代数的框架下,系统构建了若干类四元数矩阵右特征值问题的代数与数值求解方法.通过数值算例,验证了所提方法在可行性与有效性方面的良好表现,为相关领域的进一步研究与应用提供了有力支撑.全文安排如下:
第一章,主要介绍了几类四元数矩阵右特征值问题的研究背景及四元数的相关基本知识、记号.
第二章,研究了四元数矩阵束的同时对角化问题.首先,严格证明了在特定条件下,四元数Hermitian矩阵束可实现联合相似对角化与联合酉对角化,为广义四元数矩阵特征值问题的求解奠定了理论基础.随后,设计了一种适用于四元数正定矩阵的实保结构Cholesky分解算法,并在此基础上提出了新的四元数矩阵束同时对角化策略.此外,进一步发展了具有实保结构的同时对角化算法,显著提升了数值计算过程中的稳定性与计算效率.最后,将二维四元数线性判别分析(2D-QLDA)建模为一个广义四元数Hermitian矩阵的特征值问题,并将所提出的同时对角化算法成功应用于人脸识别与图像重建等实际任务中.数值实验结果表明,该方法在识别准确性与鲁棒性方面均具有优异性能,验证了其在实际应用中的可行性与有效性.
第三章,研究了四元数Hermitian矩阵主特征值及其特征向量的高效计算方法.首先,基于瑞利商结构,将四元数Hermitian矩阵主特征值问题等价转化为四元数代数上的一个极值优化问题.在此基础上,结合新近发展的广义哈密顿-实数微积分理论(GHR),提出了一种四元数Nesterov加速梯度投影算法用于求解该优化模型.随后,对所提算法进行了收敛性分析,证明了在目标函数为实可微且其梯度Lipschitz连续的前提下,存在严格的二次上界,并由此推导出算法的收敛性理论结果.最后,通过与三种主流算法的对比数值实验,结果表明所提方法在计算精度和时间效率方面均优于现有方法,表现出良好的数值稳定性与实际应用潜力.
第四章,研究了分裂四元数矩阵束的右特征值问题.首先引入分裂四元数矩阵的复伴随矩阵,进而通过求解对应的广义复特征值问题以及有效的分裂四元数向量构造,完成了对原始分裂四元数矩阵束的右特征值问题的求解.同时,针对分裂四元数矩阵束的广义右最小二乘特征值问题,给出了相应的复数求解框架.接着给出了分裂四元数矩阵束的广义标准右特征值的定义,并严格证明了任意n阶的分裂四元数正定矩阵束恰好存在n个广义标准右特征值,且这些特征值均为复数.最后,在广义内积的基础上定义了分裂四元数矩阵束的瑞利商,并研究了其基本性质.
第五章,研究了对偶四元数Hermitian矩阵的特征值问题.首先建立了一个系统的对偶表示理论框架,用于将对偶四元数矩阵同构地映射到对偶矩阵上,这一理论不仅为求解对偶四元数线性系统提供了关键求解工具,也为后续开发具备保结构特性的后验更新算法奠定了基础.在此基础上,提出了一种计算对偶四元数Hermitian矩阵特征值及其特征向量的瑞利商迭代方法(RQI).该方法利用瑞利商的极小残差性质,具有局部高阶收敛的优点.通过数值实验验证,该方法在精度和效率上均优于传统的幂迭代法,其残差误差降低了若干个数量级,充分体现了RQI算法在求解此类特征值问题中的优势.
第六章,对全文进行总结并提出仍需亟待解决的若干问题.