Variété symplétique

Variété symplétique

Variété symplectique

En mathématiques, une variété symplectique est une variété différentielle M, munie d'une forme différentielle de degré deux ω fermée et non dégénérée, appelée forme symplectique. L'étude des variétés symplectiques relève de la topologie symplectique. Les variété symplectiques apparaissent lors de l'étude des formulations abstraites de la mécanique classique et analytique, liées au fibrés cotangents des variétés, notamment dans la description hamiltonienne de la mécanique, où les configurations d'un système forment une variété dont le fibré cotangent décrit l'espace des phases du système.

Toute fonction à valeurs réelles H sur une variété symplectique peut décrire un hamiltonien. Associée à n'importe quel hamiltonien, elle forme un champ vectoriel hamiltonien, dont l'intégrale curviligne est solution des équations de Hamilton-Jacobi. Le champ de vecteurs hamiltonien décrit un symplectomorphisme sur la variété symplectique.

Sommaire

Variété symplectique linéaire

Il y a un modèle standard local, R2n avec ωi,n+i = 1; ωn+i,i = -1; ωj,k = 0 pour tout i = 0,...,n-1; j,k=0,...,2n-1 (kj+n et jk+n). C'est un exemple d'un espace symplectique linéaire. Le théorème de Darboux montre que toute variété symplectique locale est construite sur cette base.

Volume

À partir de la définition, on montre que pour toute variété symplectique M de dimension paire, 2n, la forme différentielle ωn ne s'annule jamais. C'est une forme volume, appelée forme volume symplectique. Par suite, toute variété symplectique est canoniquement orientée et reçoit une mesure canonique, appelée mesure de Liouville : ωn / n!.

Variétés de contact

Les variétés de dimension impaire sont appelées variétés de contact. Si leur dimension est 2n+1 et qu'on les note (M, α), elles engendrent une variété symplectique de dimension 2n+2 (M × R, d(et α)).

Lagrangien et autres variétés

Il existe plusieurs notions géométriques de sous-variétés d'une variété symplectique. On parle de sous-variété symplectique (de toute dimension paire) lorsque la forme symplectique induit une forme symplectique sur la sous-variété. On parle de sous-variété isotropique lorsque la forme symplectique est nulle, donc que chaque espace tangent est un sous-espace isotropique de l'espace tangent de la variété. Si chaque sous-espace tangent d'une sous-variété est coisotropique (ie le dual d'un sous-espace isotropique), la sous-variété est alors appelée coisotropique.

On parle en physique de sous-variété langrangienne pour les sous-variétés isotropiques de dimension maximale, ie égale à la moitié de celle de la variété dont elle est issue. Ces sous-variété apparaissent naturellement dans de nombreux problèmes physiques, mais aussi géométriques.

Cas particuliers

Les variétés symplectiques sont des cas particuliers des variétés de Poisson.

Voir aussi

Références

  • (en) McDuff et D. Salamon: Introduction to Symplectic Topology (1998) Oxford Mathematical Monographs, ISBN 0-19-850451-9.
  • (en) Abraham et Jarrold E. Marsden, Foundations of Mechanics, (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X
  • (en) Alan Weinstein, "Symplectic manifolds and their Lagrangian submanifolds", Adv. Math. 6 (1971), 329–346.

Voir aussi

  • Variété symplectique


  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Vari%C3%A9t%C3%A9 symplectique ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Variété symplétique de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Topologie symplétique — Géométrie symplectique La géométrie symplectique est un domaine actif de la recherche mathématique, né de la volonté d une formulation mathématique naturelle à la mécanique classique. Elle est à la rencontre de la géométrie différentielle et des… …   Wikipédia en Français

  • Matrice symplétique — Matrice symplectique En mathématique, une matrice symplectique est une matrice M de taille 2n par 2n (dont les entrées sont typiquement soit des réels soit des complexes) satisfaisant la condition MTJM = J où MT désigne la transposition de M et J …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”