Problem Set I Solutions V1.1
Total Page:16
File Type:pdf, Size:1020Kb
Physics 31600 R. Wald Classical Mechanics Autumn, 2002 Problem Set I Solutions v1.1 1) (a) Consider a system with one degree of freedom and suppose its Lagrangian is a function ofq ¨ as well as q andq _, i.e. L = L(q; q;_ q¨). Derive the Euler- Lagrange equations for this case, obtained by requiring S[γ] to be an ex- tremum with respect to variations which keep both q andq _ fixed at the endpoints. What is the maximum number of time derivatives of q that can appear in the equations of motion? Solution: We straight forwardly compute the derivative of S[γ]: t1 @L @L @L 2 S[γ + h] S[γ] = Z h + h_ + h¨ dt + O(h ) − t0 @q @q_ @q¨ t1 @L d @L d2 @L @L t1 @L t1 d @L t1 Z + hdt + q + q_ + q : ! @q − dt @q_ dt2 @q¨ @q_ @q¨ dt @q¨ t0 t0 t0 t0 The last three terms vanish by the assumption that q and q _ are held fixed at the endpoints. Thus, the condition for the an extremum is that the bracketed term in the integral vanishes, yielding @L d @L d2 @L + = 0: @q − dt @q_ dt2 @q¨ The highest order time derivatives come from the last term, where we diff- eneritate L twice. Since in principle L could be higher than linear order in q¨ and it's being differentiated twice, we could get the fourth time derivative of q in the equations of motion. (b) Obtain a Hamiltonian formulation of the equations of motion for this system as follows: Write Q1 = q; Q2 =q _ and define _ P2 = @L=@q¨ = @L=@Q2 ( ) ∗ Define the function H by, _ _ H(Q1;Q2;P1;P2) = P1Q2 + P2Q2 L(Q1;Q2; Q2) − _ where it is understood that Q2 has been expressed as a function of (Q1;Q2;P2) by solving ( ). Show that Hamilton's equations of motion for H are equiva- lent to the Euler-Lagrange∗ equations derived in part (a). 1 Solution: First off, we note that there was a typo in the problem sets ¨ _ given out. All references to Q2 should have Q2. We apologize for not catching this sooner. Next, before delving into the mechanics of computation, we pause to @L stress a couple of confusing issues. First is that P1 is not defined as @q_ or @L . In what's to come we won't actually need an explicit formula for P1, @Q1 and looking for one will actually make things more confusing. We will think of P1 as simply a fourth indepedent variable in the set Q1;Q2;P1;P2 . The _ d f g second is that Q2 is not dt Q2. It is simpliy some arbitrary function of Q1, Q2, and P2 defined by ( ), above. Once we apply Hamilton's equations, it _ d∗ will turn out that Q2 = dt Q2 for paths which satisfy the equations of motion. _ Note also that the function Q2 is independent of P1 by construction. Now, for some Hamilton's equations: @H d d = Q1 Q2 = Q1 @P1 dt ) dt This follows since L is independent of P1, and is non-vacuous in that it tells us that the independent variables Q1 and Q2 are related by a time derivative for paths which obey the equations of motion. Next: @H d @Q_ @L @Q_ d _ 2 2 _ = Q2 Q2+P2 ! ! = Q2 = Q2; _ @P2 dt ) @P2 − @Q2 Q ;Q @P2 dt Q1;Q2 1 2 Q1;Q2 where the penultimate equality follows from the definition of P2. As promised, _ d the dynamical relationship between Q2 and dt Q2 has come. Next up: @H d = P1 @Q1 −dt ) _ _ @Q2 @L @L @Q2 @L d P2 ! ! = = P1 @Q @Q _ @Q @Q dt 1 − 1 Q2;Q_ 2 − @Q2 Q ;Q 1 − 1 Q2;Q_ 2 − Q2;P2 1 2 Q2;P2 and finally: @H d = P2 @Q2 −dt ) _ _ @Q2 @L @L @Q2 P1 + P2 ! ! = @Q @Q _ @Q 2 − 2 Q1;Q_ 2 − @Q2 Q ;Q 2 Q1;P2 1 2 Q1;P2 @L d = P1 = P2; @Q dt − 2 Q1;Q_ 2 − 2 where we've used the definition of P2 to simplify both equations. Differ- entiating the last equation and plugging in the previous equation and the definition of P2 yields: d2 @L d @L @L 2 + = 0: dt _ − dt @Q2 _ @Q1 _ @Q2 Q1;Q2 Q1;Q2 Q2;Q2 Now we can finally use some dynamical equations. We have Q1 = q, Q2 = 2 d d _ d d dt Q1 = dt q (from the first Hamilton's equation), and Q2 = dt Q2 = dt2 q (from the second Hamilton's equation). Now let us examine the first term when we make these substitutions: d2 @L d2 @L d2 @L(q; q;_ q¨) = = : dt2 _ dt2 @q¨ dt2 @q¨ @Q2 Q1;Q2 q;q_ Note that the last equality would not have been true had it not been the case that Q1 and Q2, and hence q andq _, were being held fixed in the partial derivative. In the other two terms, the correct variables are also held fixed in the partial derivative so we can substitute with impunity to get d @L d @L @L + = 0; dt2 @q¨ − dt @q_ @q which are the Lagrange's equations obtained in part (a). Q.E.D. 2) Let L(q; q;_ t) be the Lagrangian of a particle moving in one dimension. Let f(q; t) be an arbitrary function and define a new Lagrangian L0 by adding the \total time derivative" of f to L, i.e., df L (q; q;_ t) = L(q; q;_ t) + 0 dt @f @f = L(q; q;_ t) + q_ + @q @t (a) Show that the equations of motion for L0 are identical to those for L. Solution: This is a straightfoward calculation: @ @f q_ @ @f q_ @f @f @L0 d @L0 @L d @L @q d @q @ d @ = + + @t @t @q − dt @q_ @q − dt @q_ @q − dt @q_ @q − dt @q_ @L d @L @2f d @f @2f d = + q_ + 0 @q − dt @q_ @q2 − dt @q @q@t − dt @L d @L @2f @2f @2f @2f = + q_ q_ + + @q − dt @q_ @q − @2q @t@q @q@t @L d @L = @q − dt @q_ 3 2 using equality of mixed partials for C functions. (b) Relate the new canonical momentum, p0, for L0 to the old canonical momentum, p, for L. Express the new Hamiltonian H0(q; p0; t) for L0 in terms of the old Hamiltonian H(q; p; t) and f. Use the chain rule to express partial derivatives of H0 with respect to (q; p0) in terms of partial derivatives of H with respect to (q; p). Explicitly show, thereby, that the new Hamilton's equations for H0 are equivalent to the old Hamilton's equations for H. Solution: This is mostly calculation, but since we're taking partial derivatives in different coordinate systems, we need to be a bit careful. Cal- culating p0 and H0 is straightforward: @L @f p = 0 = p + 0 @q_ @q @f @f @f @f H0 = p0q_ L0 = pq_ L + q_ q_ + = H : − − @q − @q @t − @t H0 is naturally expressed in terms for new coordinates q0 and p0 related to the old coordinates via @f @f p0 = p + ; q0 = q p = p0 (q0; t); q = q0: @q , − @q Having solved for the old coordinates in terms of the new coordinates, we can now express the partial derivatives H0 with respect to the new coordinates in terms of the old coordinates: @H @H @q @H @p @2f @q @2f @t @H = + 2 = @p0 @q @p0 @p @p0 − @q@t @p0 − @t @p0 @p 2 2 2 2 @H0 @H @q @H @p @ f @q @ f @t @H @H @ f @ f = + 2 = @q0 @q @q0 @p @q0 − @q@t @q0 − @t @q0 @q − @p @q0@q − @q@t We're not quite done with the second equation because there is a q0 in the middle term on the right hand most side. This is a partial derivative holding p0 and t constant. However, since the function is independent of p0 and p, and t isn't being mucked around with, we can just as well regarding this as a partial derivative at fixed p and t, and thereby replace the q0 with q. So we get @H @H @H @2f @2f = 2 : @q0 @q − @p @q − @q@t Finally, we want to show that the Hamilton's equations for H0 gives are equivalent to the Hamilton's equations for H. We therefore assume the former and show that theu imply the latter (in a way that also shows that the latter imply the former). First the easy one: @H @H =q _0 = q; @p0 , @p 4 where we have used the expression for @H computed above in substituting @p0 in the left hand side and the fact that q0 = q in substituting the right hand side. The second equation is only slightly more complicated: @H @H @H @2f @2f d @f = p_0 2 = p + @q0 − , @q − @p @q − @q@t −dt @q using the partial calculated above and the definition of p0. Using the first Hamilon's equation and calculatingp _0 explictly yields @H @H @2f @2f @f 2 @f 2 @H = p_ + q_ + = p:_ , @q − @p @q2 − @q@t − @q2 @t@q , @q_ − Hence the equations of motion for the two Hamiltonia are equivalent. Q.E.D.