I mekanik kaldes funktionen, hvor - generaliserede koordinater , - generaliserede hastigheder af systemet, integralet af bevægelse (af det givne system), hvis på hver bane af dette system, men funktionen er ikke identisk konstant.
Integraler af bevægelse, der har additivitet eller asymptotisk additivitet , kaldes bevarelseslove .
I klassisk mekanik, for et lukket system af partikler i tredimensionelt rum , mellem hvilke der ikke er stive forbindelser, er det muligt at danne uafhængige bevægelsesintegraler - disse er de første integraler af det tilsvarende system af Hamilton-ligninger . Af disse er tre additive: energi , momentum , vinkelmomentum [1] .
Integraler af bevægelse er nyttige, fordi nogle egenskaber ved denne bevægelse kan kendes, selv uden at integrere bevægelsesligningerne . I de mest vellykkede tilfælde repræsenterer bevægelsesbanerne skæringspunktet mellem isooverfladerne af de tilsvarende bevægelsesintegraler. For eksempel viser Poinsot-konstruktionen , at uden drejningsmoment er rotationen af et stivt legeme skæringspunktet mellem en kugle (bevarelse af totalt vinkelmoment) og en ellipsoide (bevarelse af energi) - en bane, der er svær at udlede og visualisere. Derfor er det at finde integraler af bevægelse et vigtigt mål i mekanik .
Der er flere metoder til at finde integraler af bevægelse:
Et andet nyttigt resultat er kendt som Poissons teorem , som siger, at hvis der er to integraler af bevægelse og , så er Poisson-parenteserne af disse to størrelser også et integral af bevægelse, forudsat at der opnås et udtryk uafhængigt af integralerne.
Et system med frihedsgrader og bevægelsesintegraler, således at Poisson-parenteserne af ethvert integralpar er nul, er kendt som et fuldt integrerbart system . Et sådant sæt af bevægelsesintegraler siges at være i involution med hinanden.
I den frie (uden ydre kræfter) bevægelse af en ideel (ingen spredning, ingen viskositet) inkompressibel (volumen af enhver del bevares) væske, bevares følgende mængder:
Hvis bevægelsen er todimensionel, bevares enstrofien også .
I ideel magnetohydrodynamik er det første integral (total energi som summen af væskens kinetiske energi og magnetfeltets energi) bevaret, det andet (hydrodynamisk helicitet ) forsvinder, men to andre bevægelsesintegraler vises:
Den observerede mængde Q bevares, hvis den pendler med Hamiltonian H , som ikke eksplicit afhænger af tid. Derfor
,hvor kommuteringsrelationen bruges
.Lad der være nogle observerbare , som afhænger af position, momentum og tid
,og der er også en bølgefunktion , som er en løsning på den tilsvarende Schrödinger-ligning
.For at beregne den tidsafledede af gennemsnitsværdien af det observerbare , bruges produktdifferentieringsreglen , og resultatet efter nogle manipulationer er angivet nedenfor
. |
Som et resultat får vi
. |
I klassisk mekanik er der Liouvilles sætning , hvorefter et system, hvor antallet af bevægelsesintegraler i involution falder sammen med antallet af frihedsgrader, kan integreres (løses) fuldstændigt ved metoden til adskillelse af variable i Hamilton-Jacobi ligning. Et sådant system er et integrerbart system . Banen for et sådant system i -dimensionelt faserum kan repræsenteres i passende variabler ( variable action-angle ) som en vikling på en -dimensional torus. Et system, hvor antallet af integraler er mindre end antallet af frihedsgrader, udviser kaotisk adfærd , det vil sige, at baner i faserum med tætte begyndelsesbetingelser kan divergere eksponentielt. Med en let deformation af det integrerbare system til et ikke-integrerbart system ødelægges den dimensionelle torus i det dimensionelle faserum ("sløret") og bliver for eksempel til en mærkelig attraktor .
Kvanteanalogen til Liouville-sætningen er ukendt, men selv i kvantetilfældet kan systemer opdeles i integrerbare og ikke-integrerbare. Med integrerbar mener vi i dette tilfælde systemer, der indrømmer en nøjagtig løsning i betydningen muligheden for at finde alle egenværdier og egenfunktioner af Hamiltonianeren i en rimelig form. En kvanteanalog af metoden til adskillelse af variable er kendt, men dens anvendelse er ikke så universel i klassiske tilfælde. Kendte eksempler viser, at der i kvanteintegrerbare systemer, såvel som i klassiske, er integraler af bevægelse, der pendler med hinanden. Tilstedeværelsen af bevægelsesintegraler garanterer dog tilsyneladende endnu ikke kvanteintegrerbarhed. Problemet med kvantisering af integrerbare systemer er søgen efter et sådant kvantesystem, der ville indrømme en nøjagtig løsning og ville give et givet klassisk system i den klassiske grænse. Der er også eksempler på integrerbare kvantesystemer, der ikke har integrerbare klassiske analoger. Dette sker, hvis systemet kan løses for specielle værdier af parametrene for kvante Hamiltonian , eller når systemet ikke tillader en klassisk beskrivelse (såsom et system af spins ).
Alle andre kvantesystemer viser tegn på kvantekaos i en eller anden grad . Klassiske kaotiske systemer tillader kvantisering i den forstand, at deres tilstandsrum og Hamiltonsk kan defineres korrekt, men både klassiske kaotiske systemer og kvantesystemer synes ikke at tillade en nøjagtig løsning. De kan undersøges ved tilnærmede metoder såsom perturbationsteori og variationsmetoden , samt undersøges numerisk ved metoder til molekylær dynamik i det klassiske tilfælde eller numerisk diagonalisering af Hamiltonian i kvantetilfældet.