Dynamics Of Nonholonomic Systems <Must Watch>

where $a^i_j$ are coefficients of the velocity constraints $\sum_j a^i_j(q) \dot{q}^j = 0$, and $\lambda_i$ are Lagrange multipliers.

In nonholonomic dynamics, the map is not the territory. The path is not reducible to positions. And the dance is, quite literally, in the derivatives. If you’d like to go further: look into the “Chaplygin sleigh,” “rolling penny,” or the “nonholonomic integrator” in geometric numerical integration. The rabbit hole is deep, and the wheels never slip. dynamics of nonholonomic systems

[ \frac{d}{dt} \left( \frac{\partial L}{\partial \dot{q}^j} \right) - \frac{\partial L}{\partial q^j} = \lambda_i a^i_j(q) ] where $a^i_j$ are coefficients of the velocity constraints