LA@相似对角化判定定理和计算方法

文章目录

• 方阵相似对角化
• • 引言
  • • 相似对角化变换矩阵的性质
    • 构造对角化变换矩阵
  • 方阵可对角化判定定理🎈
  • • 推论:无重根特征值的方阵可以对角化
    • 含重根特征值的方阵的对角化判定定理
    • 总结👺
  • 综合:对角化步骤归纳
  • • 例
    • • 特征值计算
      • 构造相似变换阵
      • 下结论

方阵相似对角化

引言

• 如果方阵$\mathbf{A}\sim \mathbf{\Lambda }$,且$\mathbf{\Lambda }$是一个对角阵(方阵),则称$\mathbf{A}$可以相似对角化(简称为对角化)

相似对角化变换矩阵的性质

• 设$n$阶矩阵$\mathbf{A}$可以被分解为$\mathbf{A}=\mathbf{P\Lambda }{\mathbf{P}}^{-1}$(1),即${\mathbf{P}}^{-1}\mathbf{AP}=\mathbf{\Lambda }$(2),不妨将$\mathbf{P}$称为相似对角化变换矩阵,简称对角化变换矩阵

• 由(2)两边同时作乘${\mathbf{P}}^{-1}$有:$\mathbf{AP}=\mathbf{P\Lambda }$(3)

• 设$\mathbf{P}$用其列向量表示为$\mathbf{P}=({\mathbf{p}}_1,\cdots ,{\mathbf{p}}_n)$,$\mathbf{\Lambda }=\text{diag}({\lambda }_1,\cdots ,{\lambda }_n)$代入(3)的两边,即得

  • $\mathbf{A}({\mathbf{p}}_1,\cdots ,{\mathbf{p}}_n)$=$({\mathbf{p}}_1,\cdots ,{\mathbf{p}}_n)\mathbf{\Lambda }$(3.1)

  • $$({\mathbf{p}}_1,\cdots ,{\mathbf{p}}_n)\left(\begin{array}{cccc}{\lambda }_1& & & \\ & {\lambda }_2& & \\ & & \ddots & \\ & & & {\lambda }_n\end{array}\right)=({\lambda }_1{\mathbf{p}}_1,\cdots ,{\lambda }_n{\mathbf{p}}_n)$$

• (3.1)两边化简

  • $(\mathbf{A}{\mathbf{p}}_1,\cdots ,\mathbf{A}{\mathbf{p}}_n)$=$({\lambda }_1{\mathbf{p}}_1,\cdots ,{\lambda }_n{\mathbf{p}}_n)$(3.2)

• 于是${\mathbf{Ap}}_i={\lambda }_i{\mathbf{p}}_i$,$i=1,\cdots ,n$(4)

• 可见,${\lambda }_i$是$\mathbf{A}$的特征值,${\mathbf{p}}_i$就是$\mathbf{A}$对应于${\lambda }_i$的特征向量

• 反之,若已知矩阵$\mathbf{Q}=({\mathbf{q}}_1,\cdots ,{\mathbf{q}}_n)$的列向量满足:$\mathbf{A}{\mathbf{q}}_i={\lambda }_i{\mathbf{q}}_i$,$i=1,\cdots ,n$则有

  • $(\mathbf{A}{\mathbf{q}}_1,\cdots ,\mathbf{A}{\mathbf{q}}_n)$=$({\lambda }_1{\mathbf{q}}_1,\cdots ,{\lambda }_n{\mathbf{q}}_n)$,即
  • $\mathbf{A}({\mathbf{q}}_1,\cdots ,{\mathbf{q}}_n)$=$({\mathbf{q}}_1,\cdots ,{\mathbf{q}}_n)\mathbf{\Lambda }$即
  • $\mathbf{AQ}=\mathbf{Q\Lambda }$(5)

构造对角化变换矩阵

• 由于n阶矩阵$\mathbf{A}$恰好有$n$个特征值${\lambda }_1,\cdots ,{\lambda }_n$,并且可以对应地求得$n$个特征向量$Q:{\mathbf{q}}_1,\cdots ,{\mathbf{q}}_n$,所以可以考虑将$\mathbf{Q}=(Q)$作为对角化变换矩阵候选,此时一定有(5)成立

• 因为特征值对应的特征向量可能不唯一,所以候选矩阵$\mathbf{Q}$可能不唯一,甚至可能是复矩阵

• 而且$\mathbf{Q}$不一定是可逆方阵,需要添加限制条件:$n$阶矩阵$\mathbf{Q}$是可逆矩阵,即$Q$是线性无关的

• 如果满足这个附加条件,对(5)两边同时左乘${\mathbf{Q}}^{-1}$,得${\mathbf{Q}}^{-1}\mathbf{AQ}={\mathbf{Q}}^{-1}\mathbf{Q\Lambda }$=$\mathbf{\Lambda }$(6),也就是说,$\mathbf{Q}$就是$\mathbf{A}$得对角化变换矩阵

• 上述讨论中心是矩阵$\mathbf{A}$的特征值和特征向量的计算,我们希望可以建立一条基于$\mathbf{A}$的可对角化判定定理和计算对角化变换阵的方法,上述讨论已经给出了这样的定理和条件,归纳如下节

方阵可对角化判定定理🎈

• $n$阶矩阵$\mathbf{A}$和一个对角阵相似的充要条件是$\mathbf{A}$有$n$个线性无关特征向量$P:{\mathbf{p}}_1,\cdots ,{\mathbf{p}}_n$

• 并且,由上述方法构造的对角化变换阵$\mathbf{P}=(P)$将$\mathbf{A}$变换为由$\mathbf{A}$的$n$个特征值构成的对角阵$\mathbf{\Lambda }=\text{diag}({\lambda }_1,\cdots ,{\lambda }_n)$;即${\mathbf{P}}^{-1}\mathbf{AP}=\text{diag}({\lambda }_1,\cdots ,{\lambda }_{\mathbf{n}})$

• 下面继续推进这个结论,使得条件"$n$个线性无关特征向量"更加具体,有分为两大类情况

推论:无重根特征值的方阵可以对角化

• 重根特征值:指$\mathbf{A}$的特征方程出现重根的那些根对应的特征值
• 无重根特征值的方阵可以对角化
  • 由于$\mathbf{A}$的不同特征值对应的特征向量是线性无关的,所以若$\mathbf{A}$的特征向量${\lambda }_1,\cdots ,{\lambda }_n$是互不相等的,那么$\mathbf{A}$可以对角化

含重根特征值的方阵的对角化判定定理

• 有重根特征值的方阵不一定可对角化(这对应于重根特征值问题)
  • 事实上,$k$重根特征值对应的特征向量线性无关组中的向量不超过$k$个
  • 所以含有重根特征值的方阵$\mathbf{A}$的$n$个特征向量向量不一定是线性无关的

总结👺

• 若$\mathbf{A}$的特征值${\lambda }_i$,($i=1,\cdots ,m$,$m⩽n$)的重数为$k_i$,$k_i⩾1,{\sum }_{i=1}^m{k}_i=n$;则:方阵$\mathbf{A}$可对角化的充要条件是特征值${\lambda }_i$对应的特征向量中有$k_i$个是线性无关的

综合:对角化步骤归纳

对角化问题的求解过程综合运用了矩阵特征值和特征向量等相关知识

1. 求出方阵$\mathbf{A}$所有特征值${\lambda }_1,\cdots ,{\lambda }_n$
2. 求解不同特征值${\lambda }_i$对应的齐次线性方程${(\lambda }_i\mathbf{E}-\mathbf{A})\mathbf{x}=0$<1>的基础解系
   • 判断基础解系中包含的向量个数是否和特征值${\lambda }_i$的重数$n_i$一致
   • 如果所有特征值的重数$n_i$和对应的基础解系向量个数一致,则$\mathbf{A}$可以对角化
   • 如果出现不一致,则$\mathbf{A}$不可对角化
3. 如果可对角化,则需要求解出一个可逆矩阵$\mathbf{P}$,使得${\mathbf{P}}^{-1}\mathbf{AP}=\mathbf{\Lambda }$
   • 设$\mathbf{A}$的$n$个线性无关特征向量为$P:{\mathbf{p}}_1,\cdots ,{\mathbf{p}}_n$,则
     • $\mathbf{P}=(P)$
     • $\mathbf{\Lambda }=\text{diag}({\lambda }_1,\cdots ,{\lambda }_n)$

例

如果$\mathbf{A}$可对角化的话,求$\mathbf{A}$的对角化变换阵及其对角化矩阵

• $$A=\left(\begin{array}{ccc}2& -1& -1\\ 0& -1& 0\\ 0& 2& 1\end{array}\right)$$

特征值计算

• $|\lambda E-A|=(\lambda -2)(\lambda +1)(\lambda -1)=0$
  • ${\lambda }_1=2,{\lambda }_2=-1,{\lambda }_3=1$都是单根特征值,显然$\mathbf{A}$可以对角化

构造相似变换阵

• $({\lambda }_1\mathbf{E}-\mathbf{A})x=0$

  • $$\begin{gathered} (2E-\mathbf{A})\mathbf{x}=0 \\ 2E-\mathbf{A}=\left(\begin{array}{ccc}0& 1& 1\\ 0& 3& 0\\ 0& -2& 1\end{array}\right)\to \left(\begin{array}{ccc}0& 1& 0\\ 0& 0& 1\\ 0& 0& 0\end{array}\right) \end{gathered}$$

  • $$\begin{gathered} x_2=0 \\ {x}_3=0 \\ {x}_1可以是任意常数 \\ 可以取基础解系为\mathbf{p}=(1,0,0{)}^T \end{gathered}$$

• $({\lambda }_2\mathbf{E}-\mathbf{A})x=0$

  • $(-\mathbf{E}-\mathbf{A})\mathbf{x}=0$,取基础解系${\mathbf{p}}_2=(0,-1,1{)}^T$

• $({\lambda }_3\mathbf{E}-\mathbf{A})x=0$

  • $(\mathbf{E}-\mathbf{A})\mathbf{x}=0$,取基础解系${\mathbf{p}}_3=(1,0,1{)}^T$

下结论

• 满足$\mathbf{\Lambda }={\mathbf{P}}^{-1}\mathbf{AP}$的两个矩阵

• $$\mathbf{P}=\left(\begin{array}{ccc}1& 0& 1\\ 0& -1& 0\\ 0& 1& 1\end{array}\right);\mathbf{\Lambda }=\text{diag}(2,-1,1)$$