Existence of isotropic complete solutions of the $\Pi$-Hamilton-Jacobi equation

Abstract

Consider a symplectic manifold $M$, a Hamiltonian vector field $X$ and a fibration $\Pi :M\to N$. Related to these data we have a generalized version of the (time-independent) Hamilton-Jacobi equation: the $\Pi$-HJE for $X$, whose unknown is a section $\sigma :N\to M$ of $\Pi$. The standard HJE is obtained when the phase space $M$ is a cotangent bundle $T^{\ast }Q$ (with its canonical symplectic form), $\Pi$ is the canonical projection ${\pi }_Q:T^{\ast }Q\to Q$ and the unknown is a closed $1$-form $\mathsf{d}W:Q\to T^{\ast }Q$. The function $W$ is called Hamilton's characteristic function. Coming back to the generalized version, among the solutions of the $\Pi$-HJE, a central role is played by the so-called "isotropic complete solutions". This is because, if a solution of this kind is known for a given Hamiltonian system, then such a system can be integrated up to quadratures. The purpose of the present paper is to prove that, under mild conditions, an isotropic complete solution exists around almost every point of $M$. Restricted to the standard case, this gives rise to an alternative proof for the local existence of a "complete family" of Hamilton's characteristic functions.