In mathematics, a superintegrable Hamiltonian system is a Hamiltonian system on a 2n-dimensional symplectic manifold for which the following conditions hold:
(i) There exist n ≤ k independent integrals F i of motion. Their level surfaces (invariant submanifolds) form a fibered manifold
F
:
Z
→
N
=
F
(
Z
)
over a connected open subset
N
⊂
R
k
.
(ii) There exist smooth real functions
s
i
j
on
N
such that the Poisson bracket of integrals of motion reads
{
F
i
,
F
j
}
=
s
i
j
∘
F
.
(iii) The matrix function
s
i
j
is of constant corank
m
=
2
n
−
k
on
N
.
If
k
=
n
, this is the case of a completely integrable Hamiltonian system. The Mishchenko-Fomenko theorem for superintegrable Hamiltonian systems generalizes the Liouville-Arnold theorem on action-angle coordinates of completely integrable Hamiltonian system as follows.
Let invariant submanifolds of a superintegrable Hamiltonian system be connected compact and mutually diffeomorphic. Then the fibered manifold
F
is a fiber bundle in tori
T
m
. Given its fiber
M
, there exists an open neighbourhood
U
of
M
which is a trivial fiber bundle provided with the bundle (generalized action-angle) coordinates
(
I
A
,
p
i
,
q
i
,
ϕ
A
)
,
A
=
1
,
…
,
m
,
i
=
1
,
…
,
n
−
m
such that
(
ϕ
A
)
are coordinates on
T
m
. These coordinates are the Darboux coordinates on a symplectic manifold
U
. A Hamiltonian of a superintegrable system depends only on the action variables
I
A
which are the Casimir functions of the coinduced Poisson structure on
F
(
U
)
.
The Liouville-Arnold theorem for completely integrable systems and the Mishchenko-Fomenko theorem for the superintegrable ones are generalized to the case of non-compact invariant submanifolds. They are diffeomorphic to a toroidal cylinder
T
m
−
r
×
R
r
.