Existence of isotropic complete solutions of the $Π$-Hamilton-Jacobi equation

Abstract

Consider a symplectic manifold $M$, a Hamiltonian vector field $X$ and a fibration $Π:M\rightarrow N$. Related to these data we have a generalized version of the (time-independent) Hamilton-Jacobi equation: the $Π$-HJE for $X$, whose unknown is a section $σ:N\rightarrow M$ of $Π$. The standard HJE is obtained when the phase space $M$ is a cotangent bundle $T^{*}Q$ (with its canonical symplectic form), $Π$ is the canonical projection $π_{Q}:T^{*}Q\rightarrow Q$ and the unknown is a closed $1$-form $\mathsf{d}W:Q\rightarrow T^{*}Q$. The function $W$ is called Hamilton's characteristic function. Coming back to the generalized version, among the solutions of the $Π$-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.