1: \begin{definition}

2: A $1-$form $\sigma$ on $Q$ satisfying conditions of the Theorem \ref{HJforConst} will be called solution for the Hamilton-Jacobi problem given by the Hamiltonian $H$ and the external forces $\beta$.

3: \end{definition}

4: