Consider the differential systemห๐ฅ=๐(๐ฅ) with differentiable๐:โ๐โโ๐.
Suppose there exists a conserved quantity๐ธ(๐ฅ)
and that ๐ฅโ is an isolated fixed point.
If ๐ฅโ is a local extremum of ๐ธ, then there exists a neighbourhood of ๐ฅโ containing only orbits.1#m/thm/dynamics/flow