Inom matematik är ett superintegrerbart Hamilton-system ett Hamilton-system på ett dimensionellt symplektiskt grenrör som uppfyller följande villkor:
(i) Det finns oberoende integraler av rörelse . Deras plana ytor (invarianta undergrenrör) bildar ett fiberrör över en ansluten öppen undergrupp .
(ii) Det finns jämna reella funktioner på så att Poisson-parenteserna för rörelseintegralerna har formen .
(iii) Matrisen har konstant corrank på .
Om , då är detta fallet med ett helt integrerat Hamiltonian-system. Mishchenko-Fomenko-satsen för superintegrerbara Hamilton-system generaliserar Liouville-Arnolds satser om aktionsvinkelvariabler på följande sätt .
Låt invarianta undergrenar av ett superintegrerbart Hamiltonian-system vara sammankopplade, kompakta och ömsesidigt diffeomorfa. Då är ett fiberrör ett toriknippe . För sin givna fiber finns det dess öppna grannskap , som är en trivial bunt, utrustad med lager-för-lager generaliserade aktionsvinkelkoordinater , , , sådana som är koordinater på . Dessa koordinater är de kanoniska koordinaterna på det symplektiska grenröret . Dessutom beror Hamiltonian för det superintegrerbara systemet endast på handlingsvariablerna , som är Casimir-funktionerna för den coinducerade Poisson-strukturen på .
Liouville-Arnold-satsen för helt integrerbara system och Mishchenko-Fomenko-satsen för superintegrerbara system har generaliserats till fallet med icke-kompakta invarianta undergrenar. De är diffeomorfa till toroidformade cylindrar .