6
$\begingroup$

An hamiltonian system with $n$ degree of freedom is said to be completely integrable when there exists an system $f_1,\ldots,f_n$ of first integrals mutually Poisson-commuting, such that $df_1(x),\ldots,df_n(x)$ are linearly independent for any $x$ in a dense subset.

Consequently any hamiltonian system with one degree of freedom, whose non fixed points constitute a dense subset, is completely integrable, (infact in this case just its hamilton function gives a maximal set of Poisson-commuting first integrals which are independent on a dense subset).

Now in a paper I read that any hamiltonian system with one degree of freedom is completely integrable, because there should exist always a smooth function which is Poisson-commuting with the Hamilton function and whose regular points are every-where dense.

I have some difficulty in understanding this statetement, so is there someone who could give me an hint?
My guess is that, given an Hamilton function $H$ on $(M,\omega)$ whose regular points constitute an open subset $U$, if it is possible to prove that there exists a smooth function $\delta$ vanishing on $U$ and whose regular points are dense in $M\setminus\overline{U}$, then we could take $H+\delta$.

$\endgroup$
  • 2
    $\begingroup$ Isn't this function the Hamiltonian itself? $\endgroup$ – Fabian May 2 '11 at 17:41
  • $\begingroup$ sure, but only when the non-fixed points of the hamiltonian system constitute a dense subset. $\endgroup$ – agtortorella May 2 '11 at 19:28
  • $\begingroup$ My question is about the remaining case. $\endgroup$ – agtortorella May 2 '11 at 19:28
2
$\begingroup$

I know this is very late, but what you are concerned about is if the set of points where $dH = 0$ contains an open set. If you consider the interior of this set $dH=0$ and take any function $f$ whose support is contained in here, then $H + f$ commutes with $H$. By choosing $f$ generically, $H+f$ shouldn't have any critical points in this set, and I believe you are done.

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.