Applicability of Hamilton-Jacobi method to nonlinear nonholonomic systems

This paper uses Poincaré formalism to obtain a generalization of the Hamilton-Jacobi method of integrating dynamical systems moving with nonlinear nonholonomic constraints. Necessary and sufficient conditions are investigated for the applicability of this method to such systems. The method is illustrated by considering some concrete examples of nonholonomic systems.