I. K. Kozlov
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}$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the local bi - integrability of bi - Hamiltonian systems. Specifically, the author aims to prove that any bi - Hamiltonian system \(v=(A + \lambda B)dH_\lambda\) on a real - smooth manifold is locally bi - integrable under all Poisson brackets \((A + \lambda B)\).
### Main problem description
1. **Definition of bi - Hamiltonian systems**:
- A bi - Hamiltonian system means that a dynamical system \(v = \dot{x}\) on a manifold \(M\) is Hamiltonian with respect to a set of Poisson brackets \(P=\{A + \lambda B\}_{\lambda\in\bar{\mathbb{R}}}\), that is, for any \(\lambda\in\bar{\mathbb{R}}\), there exists a (smooth) function \(H_\lambda\) such that:
\[
v = A_\lambda dH_\lambda
\]
- Here \(\bar{\mathbb{R}}=\mathbb{R}\cup\{\infty\}\), and \(A_\infty = B\).
2. **Definition of local bi - integrability**:
- A bi - Hamiltonian system \(v = A_\lambda dH_\lambda\) is locally bi - integrable on a manifold \(M\) if there exists a set of integral functions \(G = \{g_1,\dots,g_N\}\) in a neighborhood of a generic point \(x\) of \(M\) satisfying the following conditions:
1. All functions \(g_1,\dots,g_N\) are in a bi - involutive state under all Poisson brackets \(A_\lambda=A + \lambda B\).
2. The family of functions \(G\) is complete, that is, \(N=\dim M-\frac{1}{2}\text{rk}P\), and \(g_1,\dots,g_N\) are functionally independent, that is, \(dg_1\wedge\cdots\wedge dg_N\neq 0\) almost everywhere.
3. **Main conclusion**:
- The author has proved that if a vector field \(v\) is bi - Hamiltonian with respect to a Poisson pencil \(P\), then it is locally bi - integrable. This extends the previous results when the eigenvalues of all Poisson pencils are real in the real - smooth case only.
### Main contributions of the paper
- **Theorem 1.1**: Let \(P = \{A + \lambda B\}\) be a Poisson pencil on a real - smooth manifold \(M\). If the vector field \(v\) is bi - Hamiltonian with respect to \(P\), then it is locally bi - integrable.
- **Theorem 1.2**: Further, in Section 6, a more general theorem is proved, showing that in a sufficiently small neighborhood, the standard integral family \(F\) can be extended to a complete family of functions \(G\supset F\), and these functions are in a bi - involutive state. Moreover, for any bi - Lagrangian subspace \(L\) containing the standard integral differential, the extension \(G\) can be chosen such that \(dG(x_0)=L\).
Through these results, the paper solves the local realization problem of bi - Lagrangian subspaces and provides new insights into the local structure of bi - Hamiltonian systems.