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

## TL;DR

This paper proves that under mild conditions, isotropic complete solutions to the generalized Hamilton-Jacobi equation exist locally around most points in a symplectic manifold, facilitating system integration.

## Contribution

It establishes the local existence of isotropic complete solutions for the $ ext{Pi}$-HJE in a general symplectic setting, extending known results in the standard case.

## Key findings

- Existence of isotropic complete solutions around almost every point
- Provides an alternative proof for local existence of Hamilton's characteristic functions
- Extends Hamilton-Jacobi theory to a broader symplectic framework

## Abstract

Consider a symplectic manifold $M$, a Hamiltonian vector field $X$ and a fibration $\Pi:M\rightarrow 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\rightarrow M$ of $\Pi$. The standard HJE is obtained when the phase space $M$ is a cotangent bundle $T^{*}Q$ (with its canonical symplectic form), $\Pi$ is the canonical projection $\pi_{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 $\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.