6.7: Checking that We Can Eliminate the q˙i's
( \newcommand{\kernel}{\mathrm{null}\,}\)
We should check that we can in fact write
H(pi,qi)=n∑i=1pi˙qi−L(qi,˙qi)
as a function of just the variables (qi,pi), with all trace of the ˙qi’s eliminated. Is this always possible? The answer is yes.
Recall the ˙qi’s only appear in the Lagrangian in the kinetic energy term, which has the general form
T=∑i,jaij(qk)˙qi˙qj
where the coefficients aij depend in general on some of the qk's but are independent of the velocities, the ˙qk 's. Therefore, from the definition of the generalized momenta,
pi=∂L∂˙qi=n∑j=1aij(qk)˙qj
and we can write this as a vector-matrix equation,
p=A˙q
That is, pi is a linear function of the ˙qj 's. . Hence, the inverse matrix A−1 will give us ˙qi as a linear function of the pj's, and then putting this expression for the ˙qi into the Lagrangian gives the Hamiltonian as a function only of the qi's and the pi's, that is, the phase space variables.
The matrix A is always invertible because the kinetic energy is positive definite (as is obvious from its Cartesian representation) and a symmetric positive definite matrix has only positive eigenvalues, and therefore is invertible.