具有纯虚特征值的矩阵对角化问题及实元素2×2纯虚特征值矩阵的基变换形式问询

嘿，其实你这个想法反而是对的！别被Jordan块的思路误导啦，Jordan块主要是处理有重特征值的情况，但对于带纯虚特征值的2×2实矩阵来说，它确实总能通过实基变换变成你写的那个形式。

我给你掰扯清楚为啥：

• 首先，实矩阵的特征多项式是实系数的，所以纯虚特征值必然是共轭成对出现的——也就是λi和-λi（λ是不为0的实数），不存在重纯虚特征值的情况（因为重根的话特征多项式系数会带虚数，和实矩阵矛盾）。
• 取任意一个非零实向量v，你可以验证v和Av是线性无关的：假设存在实数a、b使得av + bAv = 0，如果b≠0，那Av = -(a/b)v，这意味着v是A的实特征向量，但A只有纯虚特征值，这显然矛盾；如果b=0，那a也必须是0（因为v≠0），所以这俩向量能构成R²的一组基。
• 我们把这组基调整一下，换成{v, (1/λ)Av}，再看A在这组基下的矩阵：
  • A作用在v上，结果是0·v + λ·(1/λ)Av
  • A作用在(1/λ)Av上，结果是(1/λ)A²v，而根据Cayley-Hamilton定理，A² = -λ²I，所以这个结果就是-λ·v + 0·(1/λ)Av
    这不就正好是$\begin{pmatrix}0 & \lambda \ -\lambda &0 \end{pmatrix}$嘛！

你之前担心的Jordan块情况根本不会在这里出现，因为Jordan块对应的是特征值代数重数大于几何重数的场景，但纯虚特征值对实矩阵来说只能是共轭单根，几何重数等于代数重数，所以完全不用考虑Jordan标准型的问题。

至于你提到的动力系统里的中心，大家这么用完全没问题，因为所有这类实矩阵都能相似到这个标准形式，分析起来就方便多了。

备注：内容来源于stack exchange，提问作者Maths Wizzard