Varietate simplectică
Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de
versiunea revizuită la 19 septembrie 2022; verificarea necesită
1 editare .
O varietate simplectică este o varietate cu o formă simplectică definită pe ea , adică o formă diferențială 2 nedegenerată închisă .
Cel mai important exemplu de varietate simplectică este mănunchiul cotangent . Structura simplectică permite introducerea mecanicii hamiltoniene într-un mod geometric natural și oferă o interpretare vizuală a multor proprietăți ale acesteia: dacă este spațiul de configurare al unui sistem mecanic, atunci este spațiul de fază corespunzător acestuia .



Definiție
O formă diferențială 2 se numește structură simplectică dacă este nedegenerată și închisă , adică derivata sa externă este egală cu zero,

iar pentru orice vector tangent diferit de zero există un vector astfel încât


O varietate cu o formă simplectică dată pe ea se numește varietate simplectică .

Note
- Din definiție rezultă că o varietate simplectică are o dimensiune uniformă.
- Dacă dimensiunea este , atunci nedegenerarea formei este echivalentă cu condiția .




Definiții înrudite
- Un difeomorfism de varietati simplectice se numește simplectomorfism dacă păstrează structura simplectică.

- Fie o funcție netedă arbitrară pe o varietate simplectică. Forma simplectică asociază funcția cu un câmp vectorial definit de următoarea identitate:



- Această definiție este analogă cu definiția unui gradient și uneori este numită gradient simplectic al funcției .


- Un câmp care poate fi obținut în acest mod se numește hamiltonian .

- Deoarece forma este nedegenerată, câmpul vectorial este definit în mod unic. În coordonatele Darboux, această hartă ia forma



corespunzând
ecuațiilor lui Hamilton și se numește
hamiltonian (funcția Hamilton).
Proprietăți
- Teorema lui Darboux : Toate varietatile simplectice sunt local simplectomorfe. Astfel, într-o vecinătate a oricărui punct al varietății, se pot alege coordonate, numite coordonate Darboux , în care forma simplectică are forma

În acest caz, în spațiul tangent al fiecărui punct din vecinătatea luată în considerare, se alege
baza Darboux .
- Fluxul de fază hamiltonian păstrează structura simplectică (urmează din formula Cartan):

Aici este
derivata Lie în raport cu câmpul vectorial . Astfel, fluxul de fază hamiltonian este un simplectomorfism.

Structura contactului
Fiecare varietate simplectic -dimensională este asociată canonic cu o varietate de contact dimensională , numită contactizare . În schimb, pentru orice varietate de contact -dimensională există o simplificare a acesteia care este o varietate -dimensională.




Variații și generalizări
O varietate se numește multisimplectic de grad dacă este dată pe ea o formă k diferențială nedegenerată închisă .

Vezi și
Link -uri
Literatură
- Arnold VI Metode matematice ale mecanicii clasice. - Ed. a 5-a, stereotip. - M. : Editorial URSS, 2003. - 416 p. - 1500 de exemplare. — ISBN 5-354-00341-5 .
- Arnold V. I., Givental A. B. Geometrie simplectică. a 2-a ed. - Izhevsk: RHD, 2000. - 168s.
- Thirring V. Curs de fizică matematică şi teoretică. - K . : TIMPANI, 2004. - 1040 p.
- Fomenko A. T. Geometrie simplectică. Metode și aplicații. - M .: Ed. Universitatea de Stat din Moscova, 1988. - 414p.