8、线性理论中的辛矩阵对数、拓扑与Maslov指标

线性理论中的辛矩阵对数、拓扑与Maslov指标

1. 辛矩阵的对数

在研究线性系统时，辛矩阵的对数是一个重要的概念。对于一个辛矩阵 (M)，满足 (M^T JM = MJM^T = J)，定义 (C = \varphi(M) = (M - I)(M + I)^{-1} = (M + I)^{-1}(M - I))。可以证明 (JC) 是对称的，证明过程如下：
((JC)^T = (M + I)^{-T} (M - I)^T J^T)
(= -(M^T + I)^{-1}(M^T - I)J)
(= -(JM^{-1}J^{-1} + JJ^{-1})^{-1}(JM^{-1}J^{-1} - JJ^{-1})J)
(= -J(M^{-1} + I)^{-1}J^{-1}J(M^{-1} - I)J^{-1}J)
(= -J(M^{-1} + I)^{-1}(M^{-1} - I))
(= -J(I + M)^{-1}(I - M) = JC)

假设单值矩阵 (M = Y(T)) 是可对角化的，且 (\pm1) 不是其特征值，那么 (C = \varphi(M)) 是定义良好的且为哈密顿矩阵。设 (C) 有不同的特征值 (\pm\beta_1i, \cdots, \pm\beta_si)，其中 (\beta_j \neq 0)。空间 (\eta(+\beta_ji) \oplus \eta(-\beta_ji)) 是实空间 (V_j) 的复化，(V_j) 的维数为 (2n_j)，(C) 在 (V_j) 上的限制记为 (C_j)。(V_j) 是辛线性空间，(C_j) 是不变的，且 (C_j) 是实可对角化的哈密顿矩阵，特征值为 (\pm\bet