A mechanikában azt a függvényt, ahol - a rendszer általánosított koordinátái , - általánosított sebességei, az adott rendszer mozgásintegráljának nevezzük , ha ennek a rendszernek minden pályáján , de a függvény nem azonosan állandó.
Az additív vagy aszimptotikus additív mozgásintegrálokat megőrzési törvényeknek nevezzük .
A klasszikus mechanikában a háromdimenziós térben lévő részecskék zárt rendszeréhez , amelyek között nincsenek merev kapcsolatok, független mozgási integrálok képezhetők - ezek a megfelelő Hamilton-egyenletrendszer első integráljai . Ezek közül három additív: energia , impulzus , szögimpulzus [1] .
A mozgásintegrálok azért hasznosak, mert ennek a mozgásnak bizonyos tulajdonságai a mozgásegyenletek integrálása nélkül is megismerhetők . A legsikeresebb esetekben a mozgáspályák a megfelelő mozgásintegrálok egyenlő felületeinek metszéspontját jelentik . Például a Poinsot-konstrukció azt mutatja, hogy nyomaték nélkül egy merev test forgása egy gömb (a teljes szögimpulzus megmaradása) és egy ellipszoid (energiamegmaradás) metszéspontja – ez a pálya, amelyet nehéz levezetni és megjeleníteni. Ezért a mozgás integráljainak megtalálása fontos cél a mechanikában .
Számos módszer létezik a mozgás integráljainak megtalálására:
Egy másik hasznos eredmény Poisson-tételként ismert , amely kimondja, hogy ha van két mozgásintegrál és , akkor ennek a két mennyiségnek a Poisson-zárójelei is mozgásintegrálok, feltéve, hogy az integráloktól független kifejezést kapunk.
Teljesen integrálható rendszernek nevezzük azt a rendszert, amelynek szabadsági foka és mozgásintegráljai olyanok, hogy bármely integrálpár Poisson-zárójelei nullák . A mozgásintegrálok ilyen halmazáról azt mondják, hogy involúcióban vannak egymással.
Ideális (nincs disszipáció, nincs viszkozitás) összenyomhatatlan (bármely alkatrész térfogata megmarad) szabad (külső erők nélküli) mozgása során a következő mennyiségek maradnak meg:
Ha a mozgás kétdimenziós, akkor az ensztrófia is megmarad .
Az ideális magnetohidrodinamikában az első integrál (a folyadék kinetikus energiájának és a mágneses tér energiájának összege a teljes energia) megmarad, a második (hidrodinamikai helicitás ) eltűnik, de megjelenik két másik mozgásintegrál:
A megfigyelt Q mennyiség megmarad, ha ingázik a Hamilton -féle H -val , amely nem függ kifejezetten az időtől. Ezért
,ahol a kommutációs relációt használjuk
.Legyen néhány megfigyelhető , ami a pozíciótól, lendülettől és időtől függ
,és van egy hullámfüggvény is , amely a megfelelő Schrödinger-egyenlet megoldása
.A megfigyelhető átlagérték időbeli deriváltjának kiszámításához a szorzatdifferenciálási szabályt használjuk , és az eredményt néhány manipuláció után az alábbiakban közöljük.
. |
Ennek eredményeként azt kapjuk
. |
A klasszikus mechanikában létezik Liouville -tétel , amely szerint egy olyan rendszer, amelyben az involúcióban lévő mozgásintegrálok száma egybeesik a szabadsági fokok számával, teljesen integrálható (megoldható) a változók elválasztásának módszerével az involúcióban. Hamilton-Jacobi egyenlet. Egy ilyen rendszer integrálható rendszer . Egy ilyen rendszer pályája a -dimenziós fázistérben megfelelő változókban ( változók cselekvési szögben ) ábrázolható egy -dimenziós tórusz tekercseléseként. Az a rendszer, amelyben az integrálok száma kisebb, mint a szabadsági fokok száma, kaotikus viselkedést mutat , azaz a fázistérben közeli kezdeti feltételek mellett a trajektóriák exponenciálisan eltérhetnek egymástól. Az integrálható rendszer enyhe deformációjával nem integrálhatóvá , a -dimenziós tórusz a -dimenziós fázistérben megsemmisül ("elmosódik"), például furcsa attraktorrá alakul .
A Liouville-tétel kvantumanalógja ismeretlen, azonban a rendszerek még kvantumesetben is feloszthatók integrálhatóra és nem integrálhatóra. Integrálható alatt ebben az esetben olyan rendszereket értünk, amelyek pontos megoldást engednek meg abban az értelemben, hogy a Hamilton -féle összes sajátértéke és sajátfüggvénye ésszerű formában megtalálható. A változók szétválasztási módszerének kvantumanalógja ismert, de alkalmazása nem annyira univerzális a klasszikus esetekben. Ismert példák mutatják, hogy a kvantumintegrálható rendszerekben és a klasszikusokban is vannak egymással ingázó mozgásintegrálok. A mozgásintegrálok jelenléte azonban láthatóan még nem garantálja a kvantumintegrálhatóságot. Az integrálható rendszerek kvantálásának problémája egy olyan kvantumrendszer keresése, amely pontos megoldást adna, és egy adott klasszikus rendszert adna a klasszikus határban. Vannak példák olyan integrálható kvantumrendszerekre is, amelyek nem rendelkeznek integrálható klasszikus analógokkal. Ez akkor fordul elő, ha a rendszer megoldható a kvantum Hamilton paramétereinek speciális értékeire , vagy ha a rendszer nem teszi lehetővé a klasszikus leírást (például egy spinrendszert ).
Az összes többi kvantumrendszer bizonyos fokig a kvantumkáosz jeleit mutatja . A klasszikus kaotikus rendszerek lehetővé teszik a kvantálást abban az értelemben, hogy állapotterük és Hamilton-rendszerük helyesen definiálható, azonban úgy tűnik, hogy a klasszikus kaotikus rendszerek és a kvantumrendszerek sem adnak pontos megoldást. Vizsgálhatók közelítő módszerekkel, mint például a perturbációelmélet és a variációs módszer , valamint numerikusan vizsgálhatók molekuladinamikai módszerekkel klasszikus esetben vagy a Hamilton -féle numerikus diagonalizálásával kvantum esetben.