Local bi-integrability of bi-Hamiltonian systems, Part II: Real smooth case

TL;DR

This paper proves local bi-integrability of real smooth bi-Hamiltonian systems and constructs a complete set of bi-involution functions extending standard integrals, demonstrating the realization of bi-Lagrangian subspaces.

Contribution

It establishes local bi-integrability for real smooth bi-Hamiltonian systems and constructs a complete bi-involution set extending standard integrals.

Findings

Proves local bi-integrability of bi-Hamiltonian systems.

Constructs a complete set of bi-involution functions.

Shows realization of bi-Lagrangian subspaces at generic points.

Abstract

We prove that any bi-Hamiltonian system $v = \left(\mathcal{A} + \lambda \mathcal{B}\right)dH_{\lambda}$ on a real smooth manifold that is Hamiltonian with respect all Poisson brackets $\left(\mathcal{A} + \lambda \mathcal{B}\right)$ is locally bi-integrable. We construct a complete set of functions $\mathcal{G}$ in bi-involution by extending the set of standard integrals $\mathcal{F}$ consisting of Casimir functions of Poisson brackets, eigenvalues of the Poisson pencil, and the Hamiltonians. Moreover, we show that at a generic point of $M$ differentials of the extended family $d \mathcal{G}$ can realize any bi-Lagrangian subspace $L$ containing the differentials of the standard integrals $d \mathcal{F}$.