Topological and differential-topological methods Hamiltonian and Lagrangian mechanics mathematics