formalismo pri klasika mekaniko uzanta fazspacon kaj hamiltonianon
Hamiltona mekaniko estas reesprimo de klasika mekaniko far William Rowan Hamilton. Anstataŭ koordinatoj kaj siaj asociata rapidoj en Lagranĝa mekaniko, Hamiltona mekaniko uzas koordinatoj kaj siaj (kanonaj) movokvantoj. Tia elekto estas pli "demokratia" en senco ke la koordinatoj kaj la movokvantoj estas reprezentata simile en la ekvacioj de Hamiltona mekaniko (la ekvacioj de Hamilton), kontraste kun la ekvacioj de Euler–Lagrange de Lagranĝa mekaniko. Ankaŭ, la ekvacioj de Hamilton estas unua-ordaj, konstraste kun la dua-ordaj ekvacioj de Euler–Lagrange.
Reela funkcio , la hamiltoniano, kiu estas funkcio de tempo kaj stato, kaj kies valoro estas (almenaŭ por aŭtonoma sistemo) la energio de la sistemo. La sistemo estas aŭtonomas.n.s. la hamiltoniano ne dependas de tempo.
La simplekta formo difinas izomorfion inter la spaco de vektoroj kaj la spaco de kovektoroj ĉe ĉiu punkto — kaj tiel inter vektoraj kampoj kaj 1-formoj (kovektoraj kampoj). Difinu la (2,0)-tensoron . Oni povas do difini la hamiltonan vektoran kampon kiel
.
La stato evoluas laŭ la ekvacio de Hamilton, kiu asertas ke la evoluo de la stato sekvas la hamiltonan vektoran kampon. Alivorte:
.
Tiu ĉi estas la ekvacio de movado de hamiltona sistemo.
Loke, oni povas difini lokan koordinatsistemon () tian ke la formo fariĝas:
La krampoj de Poisson de du skalaraj kampoj estas difinitaj kiel
.
Loke,
.
Ilia uzo simpligas la ekvacioj de Hamilton al
.
Do la evoluo de ia funkcio de tempo kaj stato estas
.
Alivorte, ĝenerale,
.
Ni vidu ke kvanto konserviĝas se ĝiaj krampoj kune kun la hamiltoniano nulas (kaj ĝi ne dependas rekte de tempo).
Principo de senmova ago por hamiltonaj sistemojredakti
Similaĵo al la principo de senmova ago por lagranĝa sistemo ekzistas por hamiltona sistemo.
Nomu la spacon de kurboj el al .
Difinu la agon kiel
.
Do la ago estas senmova ĉe la trajektorio. Notu ke, por hamiltona sistemo, oni fiksas ambaŭ la koordinatojn kaj la movokvantojn, kontraste kun la principo de senmova ago por lagranĝa sistemo, kie oni fiksas solajn la koordinatojn, ne la rapidojn.
kie estas la hamiltona vektora kampo kaj estas sumita. Do
. (Ĉar ; la unua termo nulas ĉar fermiteco de , la dua ĉar antisimetrio de .)
Do la probabla denso konserviĝas laŭ hamiltona fluo. Tiu ĉi estas la teoremo de Liouville, pruvita de la usona fizikisto Josiah Willard Gibbs[3] kaj nomita laŭ la franca matematikisto Joseph Liouville.