1: \begin{definition}

2: A vector field $X$ on $Q$ satisfying conditions of the Theorem \ref{HJforConstLag} will be called solution for the Hamilton-Jacobi problem given by the regular Lagrangian $L$ and the external forces $\alpha$.

3: \end{definition}

4: