Skip to main content
1 of 7
user avatar
user avatar

Proof that the Euler-Lagrange equations hold in any set of coordinates if they hold in one

This is a question about a specific proof presented in the book Introduction to Classical Mechanics by David Morin. I have highlighted the relevant portion in the picture below.

Claim 6.2

In the remark, he does this: $$ \begin{align} \sum_{k=1}^N \frac{\partial }{\partial q_k} \left( \frac{\partial x_i}{\partial q_m} \right) \dot{q_k} = \frac{\partial }{\partial q_m} \sum_{k=1}^N \frac{\partial x_i}{\partial q_k} \dot{q_k} \end{align} $$ He has essentially changed the order of differentiation from $\frac{\partial }{\partial q_k} \frac{\partial x_i}{\partial q_m}$ to $\frac{\partial }{\partial q_m} \frac{\partial x_i}{\partial q_k}$.

However, isn't this only valid if all the $q_k$ are independent? If he is assuming that all the $q_k$ are independent, isn't this a very limited proof? It wouldn't show that E-L equations hold in a coordinate system with a non-orthogonal basis, for instance.

anon