V matematice je superintegrovatelný hamiltonovský systém hamiltonovský systém na -rozměrné symplektické varietě , který splňuje následující podmínky:
(i) Existují nezávislé integrály pohybu . Jejich zarovnané povrchy (invariantní podmanifoldy) tvoří vláknité manifoldy nad připojenou otevřenou podmnožinou .
(ii) Existují hladké reálné funkce na takových, že Poissonovy závorky integrálů pohybu mají tvar .
(iii) Matice má konstantní korek na .
Jestliže , pak je to případ zcela integrovatelného hamiltonovského systému. Mishchenko-Fomenko teorém pro superintegrabilní Hamiltonovské systémy zobecňuje Liouville-Arnold teorémy o proměnných akčních úhlů následujícím způsobem .
Nechť jsou invariantní podvariety superintegrovatelného hamiltonovského systému spojené, kompaktní a vzájemně difeomorfní. Potom je vláknitým potrubím svazek tori . Pro dané vlákno existuje jeho otevřené sousedství , což je triviální svazek vybavený zobecněnými souřadnicemi akčních úhlů po vrstvách , , , které jsou souřadnicemi na . Tyto souřadnice jsou kanonické souřadnice na symplektické manifoldu . Navíc Hamiltonián superintegrovatelného systému závisí pouze na akčních proměnných , což jsou Casimirovy funkce koindukované Poissonovy struktury na .
Liouville-Arnoldova věta pro zcela integrovatelné systémy a Mishchenko-Fomenko věta pro superintegrovatelné systémy byly zobecněny na případ nekompaktních invariantních podvariet. Jsou difeomorfní k toroidním válcům .