1. 引言
矩阵是研究物理模型的重要工具。矩阵在电路学、力学、光学和量子物理中都有应用。计算机科学中,三维动画制作也需要用到矩阵。矩阵的运算是数值分析领域的重要问题,我们常将一般的矩阵转化为特殊的形式,如转化为阶梯形矩阵、上三角矩阵等,以简化计算。对于矩阵上三角化,在高等代数和线性代数中已经介绍了几种方法。这里做一些简单的回顾。对于一般的分块矩阵,可以通过分块初等矩阵将其化为上三角矩阵,只要分块乘法能进行,就可以对分块矩阵进行相应的初等变换。如当矩阵
可逆时,可以对
进行初等变换将其变为上三角矩阵,具体方法如下:
其中
分别是
阶单位矩阵。
另一种将矩阵上三角化的方法就是实对称矩阵对角化。具体步骤如下:
1) 求出
的特征值,设
是
的全部不同特征值。
2) 对于每个
,解齐次线性方程组
并求出一个基础解系,这就是
的特征子空间
的一组基。将该组基进行施密特正交化,再进行单位化,得到一组标准正交基
。
3) 因为
两两不同,向量组
是两两正交的,它们的个数等于空间的维数。因此,它们构成
的一组标准正交基,且是
的特征向量。由此得到了正交矩阵
。
因为对角矩阵是一种特殊的上三角矩阵,所以该方法也可以将矩阵化为上三角矩阵。
此外,复正规矩阵可以酉对角化 [1]。文献 [2] [3] [4] 指出Hermite矩阵属于正规矩阵,并研究了其在插值问题中的应用。文献 [5] 给出了正规矩阵可以对角化,且对角阵的对角元素为该正规矩阵特征值的结论。
而什么样的矩阵可以对角化呢?我们在文献 [6] [7] 中整理出六种方法。对于
维复线性空间
上的线性变换
:
1)
可对角化的充要条件是
有
个线性无关的特征向量。
2) 若
有个不同的特征值,则
可对角化。
3)
可对角化的充要条件是
是
的特征子空间的直和。
4)
可对角化的充要条件是
有完全的特征向量系,即对
的任一特征值,其几何重数等于代数重数。
5)
可对角化的充要条件是
的极小多项式无重根。
6)
可对角化的充要条件是
的Jordan块都是一阶的,或等价地,
的初等因子都是一次多项式。
矩阵可对角化问题是矩阵理论中的一个基本问题。在以往关于矩阵可对角化的判定条件的基础上,利用矩阵可以对角化的判定,以及求矩阵的线性无关的特征向量完全可以归纳为矩阵乘法的原理,使得矩阵的特征值与特征向量同步求解,从而得出矩阵可对角化更为直接的简单判定 [8]。
以上我们讨论了矩阵上三角化或对角化的几种方法。更一般地,对于复矩阵,如何将其上三角化和公式化。本文首先根据上三角矩阵中第一列性质得到上三角矩阵对角线第一个位置是原2 × 2复矩阵的特征值,其对应的特征向量单位化便是对应酉矩阵的第一列,然后根据酉矩阵的定义
,得到酉矩阵的两个列向量是单位向量且两向量正交,这样我们得到了酉矩阵列向量需要满足的三个条件,同理行向量也需要满足三个条件。最后根据条件构造出该矩阵的两个酉矩阵,通过酉矩阵相乘构造出一列酉矩阵,使得任意2 × 2复矩阵在这组酉矩阵下酉等价于上三角矩阵。
2. 任意2 × 2矩阵可以酉等价于上三角矩阵
定理1:对于复矩阵
,
,存在酉矩阵
,其中
,使得
是上三角矩阵。
证明:设任意复矩阵
我们构造酉矩阵
,使得
其中
设
其中
均为单位向量。
则由
为酉矩阵可知,
即
故得到
均为单位向量,且
。
又因为
故设
则同理可得
均为单位向量,且
。
将
代入
有
这样我们得到
是矩阵
的特征向量,矩阵
中的
为矩阵
的特征值。
将
代入
有
同理得到
是矩阵
的特征向量,矩阵
中的
为矩阵
的特征值。
对于
1)
是单位向量;
2)
正交,
正交;
3)
是矩阵
的特征向量,
为矩阵
的特征值;
是矩阵
的特征向量,
为矩阵
的特征值。
由
即得
的特征值为
要注意的是,因为
是复数,所以
实际上都分别有两个值。
从而
的特征向量为
再将其单位化,得
令
则
那么由条件(1) (2) (3),不妨设
故存在酉矩阵
使得
为上三角矩阵,即对于任意复矩阵
有
证毕。
注释1:对于任意复矩阵酉等价于上三角矩阵,酉矩阵并不是唯一的。
在定理证明中,对于
的特征向量为
再将其单位化得
令
则
那么由条件(1) (2) (3),不妨设
故存在酉矩阵
使得
为上三角矩阵,即对于任意复矩阵
有
令
显然有
为酉矩阵,则有
为上三角矩阵。
因此对于任意复矩阵,只要找出两个不同的酉矩阵使其酉等价于上三角矩阵,我们就可以得到一列酉矩阵,使得任意复矩阵在这些酉矩阵下酉等价于上三角矩阵。
例1:将
上三角化。
由定理1可知对应于
存在酉矩阵
使得
酉等价于上三角矩阵
致谢
从主题的确定到内容的制定,我们要特别感谢指导教师的耐心讲解和悉心指导。通过这次科研经历,我们提高了自己的逻辑思维的严谨性,克服了种种困难,锻炼了团队协作能力。希望得到学校2022年教师指导本科生科研训练项目的支持。
基金项目
辽宁省教育厅青年项目LQ2019017。
NOTES
*通讯作者。