title: Matrice hamiltonienne
text: # Matrice hamiltonienne
  
  En mathématiques, une matrice hamiltonienne (ou de Hamilton) A est une matrice réelle 2n×2n satisfaisant la condition que le produit KA soit symétrique, K étant la matrice antisymétrique :
  
      $K={\begin{bmatrix}0&I_{n}\\-I_{n}&0\\\end{bmatrix}}$
  
  et $I_n$ étant la matrice identité n×n. En d'autres termes, $A$ est hamiltonienne si et seulement si :
  
      $KA-A^{T}K^{T}=KA+A^{T}K=0.\,$
  
  Dans l'espace vectoriel des matrices 2n×2n, les matrices hamiltoniennes forment un sous-espace vectoriel de dimension $2n^2$ + n.
  
  ## Propriétés
  
  * Soit $M$ une matrice par bloc 2n×2n donnée par :
  
      $M={\begin{pmatrix}A&B\\C&D\end{pmatrix}}$
      où $A,B,C,D$ sont des matrices n×n. Alors $M$ est une matrice hamiltonienne à condition que $B,C$ soient symétriques et que $A+D^{T}=0$.
  * La transposée d'une matrice hamiltonienne est hamiltonienne.
  * La trace d'une matrice hamiltonienne est nulle.
  * Le commutateur de deux matrices hamiltoniennes est hamiltonien.
  * Les valeurs propres de $M$ sont symétriques par rapport à l'axe imaginaire.
  
  L'espace des matrices hamiltoniennes est une algèbre de Lie ${\mathfrak {Sp}}(2n)$.
  
  ## Opérateurs hamiltoniens
  
  Soit V un espace vectoriel, doté d'une forme symplectique $\Omega$. Une application linéaire $A:\;V\mapsto V$ est appelée opérateur hamiltonien par rapport à $\Omega$ si l'application $x,y\mapsto \Omega (A(x),y)$ est symétrique. De manière équivalente, elle doit satisfaire :
  
      $\Omega (A(x),y)=-\Omega (x,A(y))$
  
  Soit une base $e_{1},...e_{2n}$ de V telle que $\Omega$ soit écrite $\sum _{i}e_{i}\wedge e_{n+i}$. un opérateur linéaire est hamiltonien par rapport à $\Omega$ si et seulement si sa matrice dans cette base est hamiltonienne. Cette définition implique que le carré d'une matrice hamiltonienne est anti-hamiltonien. L'exponentiel d'une matrice hamiltonienne est symplectique, et le logarithme d'une matrice symplectique est hamiltonien.
  
  