2
$\begingroup$

I want to prove that any symmetric positive definite symplectic matrix, $A$, and any real number $\alpha >0$, also $A^{\alpha} \in \operatorname{Sp}(2n)$.

I was given a hint to decompose $\mathbb{R}^{2n}$ into direct sum of $V_{\lambda}$ the eigenspaces, where $\lambda \in \sigma(A)$, and then use the characterization of the eigenvalues of $A$.

I must say, that I feel totally clueless here. :-(

1 Answers 1

1

Let $v$ be some eigenvector of $A$ with eigenvalue $\lambda$. By assumption $\lambda$ is real and positive. Suppose that $w$ is some other eigenvector with eigenvalue $\mu$. Then $$ \omega(v, w) = \omega(Av, Aw) = \omega(\lambda v, \mu w) = \lambda \mu \omega(v, w). $$

Hence, for all such pairs $(v,w)$, either $\omega(v,w) = 0$ or $\lambda\mu = 1$. Hence the eigenvalues come in pairs $(\lambda, \lambda^{-1})$ and we can find a symplectic basis $\{x_1, p_1, \cdots, x_n, p_n)$ so that $$ A x_i = \lambda_i x_i , $$ $$ A p_i = \lambda_i^{-1} p_i. $$ Then $A^\alpha$ acts as $$ A^\alpha x_i = \lambda_i^\alpha x_i , $$ $$ A^\alpha p_i = \lambda_i^{-\alpha} p_i, $$ and since this basis is symplectic it is obvious that $A^\alpha$ is symplectic.