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 .
![{\displaystyle T^{*}M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02e9815aa22bca801ff9618269fbbb247575ae86)
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\displaystyle T^{*}M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02e9815aa22bca801ff9618269fbbb247575ae86)
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,
![\omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/48eff443f9de7a985bb94ca3bde20813ea737be8)
iar pentru orice vector tangent diferit de zero există un vector astfel încât
![v\in T_{x}M](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f41985e80139b950c3dc0984e06bc9e36b6ef3c)
![{\displaystyle w\in T_{x}M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39bebd25a986f3b33c8ea8b104b6b4ff3187360c)
O varietate cu o formă simplectică dată pe ea se numește varietate simplectică .
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
Note
- Din definiție rezultă că o varietate simplectică are o dimensiune uniformă.
- Dacă dimensiunea este , atunci nedegenerarea formei este echivalentă cu condiția .
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![2n](https://wikimedia.org/api/rest_v1/media/math/render/svg/134afa8ff09fdddd24b06f289e92e3a045092bd1)
![\omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/48eff443f9de7a985bb94ca3bde20813ea737be8)
![{\displaystyle \omega ^{\wedge n}\neq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b41fc0ebc119cc09678c515f84bf587597d37e3c)
Definiții înrudite
- Un difeomorfism de varietati simplectice se numește simplectomorfism dacă păstrează structura simplectică.
![f\colon M\la N](https://wikimedia.org/api/rest_v1/media/math/render/svg/26c86d8613d6babf1a7cd6dd5909a3b480840c56)
- 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:
![{\displaystyle H\colon M\la \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5591f612d694e0117e0f3f0dcc73e91a82510d9)
![H](https://wikimedia.org/api/rest_v1/media/math/render/svg/75a9edddcca2f782014371f75dca39d7e13a9c1b)
![{\displaystyle V_{H}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/323b6c816a3e3e4e127cdcf7dec2ac8beafe4b5f)
- Această definiție este analogă cu definiția unui gradient și uneori este numită gradient simplectic al funcției .
![{\displaystyle V_{H}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/323b6c816a3e3e4e127cdcf7dec2ac8beafe4b5f)
![H](https://wikimedia.org/api/rest_v1/media/math/render/svg/75a9edddcca2f782014371f75dca39d7e13a9c1b)
- Un câmp care poate fi obținut în acest mod se numește hamiltonian .
![{\displaystyle V_{H}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/323b6c816a3e3e4e127cdcf7dec2ac8beafe4b5f)
- Deoarece forma este nedegenerată, câmpul vectorial este definit în mod unic. În coordonatele Darboux, această hartă ia forma
![\omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/48eff443f9de7a985bb94ca3bde20813ea737be8)
![{\displaystyle V_{H}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/323b6c816a3e3e4e127cdcf7dec2ac8beafe4b5f)
![{\dot {{\mathbf q}}}={\frac {\partial H}{\partial {\mathbf p}}},\quad {\dot {{\mathbf p}}}=-{\frac { \partial H}{\partial {\mathbf q}}},](https://wikimedia.org/api/rest_v1/media/math/render/svg/f807918f678c166db27d44228d37d42eabea3756)
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
![\omega =d{\mathbf p}\wedge d{\mathbf q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b65c8edffd342acc63e28ad22a0b1b625b56353)
Î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):
![{\displaystyle {\mathcal {L}}_{V_{H}}\,\omega =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81341d83c2b3b45dc8d094afaec2d28c0c9f1144)
Aici este
derivata Lie în raport cu câmpul vectorial . Astfel, fluxul de fază hamiltonian este un simplectomorfism.
![{\displaystyle {\mathcal {L}}_{V_{H}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba1707744a82d4728562b6defb2051c21bc8a16b)
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ă.
![2n](https://wikimedia.org/api/rest_v1/media/math/render/svg/134afa8ff09fdddd24b06f289e92e3a045092bd1)
![{\displaystyle (2n+1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6128190b8d3e08afed5437adaa79d4367440bd6d)
![{\displaystyle (2n+1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6128190b8d3e08afed5437adaa79d4367440bd6d)
![{\displaystyle (2n+2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/945f1d77dd863baf04874da0ef10a2461ba81726)
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ă .
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
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.