English

A simple way of making a Hamiltonian system into a bi-Hamiltonian one

Exactly Solvable and Integrable Systems 2007-05-23 v2 High Energy Physics - Theory Mathematical Physics Differential Geometry math.MP Symplectic Geometry

Abstract

Given a Poisson structure (or, equivalently, a Hamiltonian operator) PP, we show that its Lie derivative Lτ(P)L_{\tau}(P) along a vector field τ\tau defines another Poisson structure, which is automatically compatible with PP, if and only if [Lτ2(P),P]=0[L_{\tau}^2(P),P]=0, where [,][\cdot,\cdot] is the Schouten bracket. We further prove that if dimkerP1\dim\ker P\leq 1 and PP is of locally constant rank, then all Poisson structures compatible with a given Poisson structure PP on a finite-dimensional manifold MM are locally of the form Lτ(P)L_{\tau}(P), where τ\tau is a local vector field such that Lτ2(P)=Lτ~(P)L_{\tau}^2(P)=L_{\tilde\tau}(P) for some other local vector field τ~\tilde\tau. This leads to a remarkably simple construction of bi-Hamiltonian dynamical systems. We also present a generalization of these results to the infinite-dimensional case. In particular, we provide a new description for pencils of compatible local Hamiltonian operators of Dubrovin--Novikov type and associated bi-Hamiltonian systems of hydrodynamic type. Key words: compatible Poisson structures, Hamiltonian operators, bi-Hamiltonian systems (= bihamiltonian systems), integrability, Schouten bracket, master symmetry, Lichnerowicz--Poisson cohomology, hydrodynamic type systems. MSC 2000: Primary: 37K10; Secondary: 37K05, 37J35

Keywords

Cite

@article{arxiv.nlin/0310012,
  title  = {A simple way of making a Hamiltonian system into a bi-Hamiltonian one},
  author = {A. Sergyeyev},
  journal= {arXiv preprint arXiv:nlin/0310012},
  year   = {2007}
}

Comments

12 pages, LaTeX 2e, no figures, accepted for publication in Acta Appl. Math. Major revision: In this version an important condition of local constancy of rank of P is added (it is assumed that the vicinities where rank P=const are of the same dimension as the underlying manifold M). Moreover, this version contains Remarks 1 and 2, references [14],[22],[23],[29],[30],[36],[41], and the discussion thereof that for technical reasons were not included in the published version of the paper