Second order information on Palais-smale sequences in the mountain pass theorem.
In this paper we derive general equations for constraint Noethertype symmetries of a first order non-holonomic mechanical system and the corresponding currents, i.e. functions constant along trajectories of the nonholonomic system. The approach is based on a consistent and effective geometrical theory of nonholonomic constrained systems on fibred manifolds and their jet prolongations, first presented and developed by Olga Rossi. As a representative example of application of the geometrical theory...