Local bi-integrability of bi-Hamiltonian systems via bi-Poisson reduction

TL;DR

This paper proves local bi-integrability of bi-Hamiltonian systems using bi-Poisson reduction, extending standard integrals to construct complete bi-involutive function sets in both real and complex cases.

Contribution

It establishes the local bi-integrability of bi-Hamiltonian systems via bi-Poisson reduction, providing a method to construct complete bi-involutive function sets.

Findings

Bi-Hamiltonian systems are locally bi-integrable under certain conditions.

A complete set of bi-involutive functions is constructed.

The results apply to both real smooth and complex analytic cases.

Abstract

We prove that any bi-Hamiltonian system $v = \left(\mathcal{A} + \lambda \mathcal{B}\right)dH_{\lambda}$ that is Hamiltonian with respect all Poisson brackets $\mathcal{A} + \lambda \mathcal{B}$ is locally bi-integrable in both the real smooth case, when all eigenvalues of the Poisson pencil $\mathcal{P} = \left\{\mathcal{A} + \lambda \mathcal{B}\right\}$ are real, and in the complex analytic case. A complete set of functions in bi-involution is constructed by extending the set of standard integrals, which consists of Casimir functions of Poisson brackets, eigenvalues of the Poisson pencil and Hamiltonians.