A. La Rosa PSU-Physics Lecture Notes PH 411/511 ECE 598 INTRODUCTION TO QUANTUM MECHANICS ________________________________________________________________________ From the Hamilton’s Variational Principle to the Hamilton Jacobi Equation Ref: Saletan and Cromer, “Theoretical Mechanics” Wiley, 1971. This is one of the best book I have ever encountered. I highly recommend it. H. Golstein, Classical Mechanics, Addison Wesley 4.1A Classical specification of the state of motion The spatial configuration of a system composed by N point masses is completely described by 3N Cartesian coordinates (x1, y1, z1), (x2, y2, z2), …, (xN , yN , zN ). If the system is subjected to constrains then the 3N Cartesian coordinates are not independent variables. If n is the least number of variables necessary to specify the most general motion of the system, then the system is said to have n degrees of freedom. The configuration of a system with n degrees of freedom is fully specified by n generalized position-coordinates q1, q2, … , qn The objective in classical mechanics is to find the trajectories, q = q (t) = 1 , 2, 3, …, n or simply q = q (t) where q stands collectively for the set (q1, q2, … qn). (1) 4.1B Time evolution of a classical state: Hamilton’s variational principle The classical action One first expresses the Lagrangian L of the system in terms of the generalized position and the generalized velocities coordinates q and q ( =1,2,…, n). L( q , q , t ) Typically (but no always) L=T-V, (2) L (x, x , t) = (1/2)m x 2 - V(x,t) (3) Then, for a couple of fixed end points (a, t1) and (b, t2) the classical action S is defined as, ( b, t 2 ) S (q ) ≡ L( q(t ) , q (t ) , t ) dt Classical action (4) ( a, t1 ) Number (1-dimension case) or set of numbers (n-dimension case) Function or set of functions (n-dimension case) Hamilton’s variational principle for conservative systems Out of all the possible paths that go from (a, t1) to (b, t2), the system takes only one. On what basis such a path is chosen? Answer: The path followed by the system is the one that makes the functional S an extreme (i. e. a maximum or a minimum). S q q = 0 The variational principle (5) x(t) xC b xC(t) a t1 t2 t Figure 1. For a fixed points (a, t1) and (b, t2), among all the possible paths with the same end points, the path xC makes the action S an extremum. Example: The variational principle leads to the Newton’s law S ( x) ≡ ( b,t 2 ) a,t ( 1 ) L( x, x,t )dt = ( b,t 2 ) 1 (a,t ) 2 [ mx 2 V ( x )]dt (6) 1 x(( t) = xC(t) + h(t) (7)’ h(t1) = h(t2) =0 (8) ( b, t 2 ) S(x ) = (a, t ( 1) 1 { 2 m [ x C(t) + h (t) ]2 – V( xC(t ) + h(t ) ) }dt (9) The condition that xC is an extremum becomes, dS 0 d 0 (10) x(t) b xC(t) h(t) a t1 t2 t Figure 2. For an arbitrary function h, a parametric family of trial paths x(t ) = xC(t ) + h(t ) is used to probe the action S given by expression (6). ( b, t 2 ) dS – { m x C(t) + V ’( xC(t) ) } h(t )dt ( a, t 1 ) d 0 dV m xC (t) = – dx ( xC(t ) ) = F (12) More general: The variational principle leads to the Lagrange equations of motion In a more general case, the system may be composed by n particles. Using, x (t)= (x1(t), x2(t), … , xn(t), x1 (t), x 2 (t), ,…, x n (t) ) the action is defined as S( x ) ≡ ( b, t 2 ) ( a, t 1 ) L( x (t), x (t) , t) dt (14) where a and b are two fixed point in the configuration space. Using a family of trial functions of the form x ( (t) = x (t) + h (t) where (15) h (t1) = h (t2) = 0 Expression (15) is a compact notation of, x (t)= ( x1(t), x2(t), … , xn(t), x1 (t), x2 (t), ,…, x n (t) ) h (t)= ( h1(t), h2(t), … , hn(t), h1 (t), h2 (t), ,…, hn (t) ) We look for an extreme value of the function t2 S( x () = L( x ((t), t1 x ((t), t) dt (16) From (15) and (16) one obtains, dS d dS d t2 { t1 i t2 t1 { i L L hi hi } dt xi xi i L hi } dt + xi i The variational principle requires that, t2 L hi - xi t1 t2 t1 { ( i d L )hi } dt dt xi dS d 0 L t { x t2 i 1 i -( d L ) } hi (t ) dt = 0 dt xi (17) This could be satisfied only if, d L L 0 dt xi xi for i=1,2, …, n. The Lagrange Equations (18) These are second order equations. The motion is completely specified if the initial values of the n coordinates xi and the n velocities xi are specified. That is, the xi and xi form a complete set of 2n independent variables for describing the motion. Remark: Hamilton’s variational principle involves physical quantities T and V, which can be defined without reference to a particular set of generalized coordinates. The set of Lagrange equations is therefore invariant with respect to the choice of coordinates. ! 4.2 The Hamiltonian formulation of classical mechanics An alternative to the Lagrangian description of mechanics, outlined above, is the Hamiltonian formulation. Instead of dealing with a set of n differential equations of 2ndorder given in (18), one is resorted to solve 2n differential equations of 1st order, as we will see below. However one may end up with a similar intensity of difficulty when solving the corresponding equations. The advantages of the Hamiltonian formulation lie not necessarily in its use as a calculation tool, but rather in the deeper insight it affords into the formal structure of mechanics.1 Its more abstract formulation is of interest because of their essential role in constructing the more modern theories in physics. In this course it is used as a point of departure for elaborating a quantum theory. In this section we show that the new formulation is implemented through: a change of variables (to be specified later), (x1, x2, …, xn, x1 , x2 , …, xn , t) specified later tobe (x1, x2, … xn, p1, p2, … pn,, t) instead of to be specified later L( x, x , t ) , H=H(x1, x2, …, xn, p1, p2, …,pn, t) = H(x, p, t) How to obtain such a transformation? How to choose H? To get an idea of what transformation is convenient (i. e. what particular combination between the ( x, x , t ) and ( x, p, t ) variables is suitable for our purpose), let’s familiarize with the following, much simpler, Legendre transformation 4.2B The Hamilton Equations of Motion The equation of motion of a system is described by a Lagrange function L L( x, x , t ) , leading to a set of differential equations of second order, d L L 0, dt xi xi i = 1, 2, …, n Consider the following transformation of coordinates, ( x, x , t ) ( x, p, t ) where pi L (39) L ( x, x, t ) xi H H ( x, p, t ) x i pi - L( x, x , t ) i x i ( x, p, t ) pi - L( x, x ( x, p, t ), t ) i The Hamiltonian function (43) On one hand dH = i H H H dxi dpi dt xi pi t i (41) On the other hand, the expression for H ( x, p, t ) xi pi - L( x, x , t ) given in (40) i implies, dH = p dx x dp i i i i i i i L dxi xi L (d ) dt xi i L L dxi dt xi t pi ( d pi ) dt p i Thus, the first and fourth sum-terms cancel out dH = x dp i i i p i dxi i L dt t From (41) and (42) one obtains, H ( x, p, t ) x i pi - L( x, x , t ) i x i ( x, p, t ) pi - L( x, x ( x, p, t ), t ) i (42) xi H pi Hamilton canonical equations H p i xi (43) (2n first-order equations) i = 1, 2, …, n and H L t t (44) Notice if L does not depend on t explicitly, neither does H. Recipe for solving problems in mechanics i) Set up the Lagrangian L( x, x , t ) . ii) Obtain the canonical momenta pi iii) Obtain L ( x, x, t ) xi H ( x, p, t ) xi pi - L( x, x , t ) in terms of x and p . i 4.2C Definition of the Poisson bracket Finding constants of motion before calculating the motion itself L let’s consider a dynamical function F= F ( x, p ,t ) and calculate its total differential change with time, dF dt i F F F xi p i xi pi t i H pi - H xi i dF dt F H F H F xi pi i pi xi t F H F H F p p x t i i i i x i (48) It makes sense to define F, H F H F H i xi pi (49) pi xi Poisson bracket between F and the Hamiltonian H. In terms of the Poisson bracket, the time dependence of a physical quantity is expressed as, dF F F, H dt t (48)’ Looking for physical quantities (F) whose Poisson bracket with the Hamiltonian vanishes A quantity F that does not depend explicitly on time, will be a constant of motion if the Poisson bracket between F and the Hamiltonian H vanishes. Certainly, one would have to have a lot of intuition to figure out such a function F. We will see later, however, that there exist systematic methods to find just that. Here we just want to show the possibility of finding constant of motion without solving the equations. Example: Two dimensional, symmetric simple harmonic oscillator. 2 For simplicity take k=1 and m=1. Then, 1 1 L( x1 , x2 , x1 , x2 , t ) ( x1 x2 ) ( x1 x2 ) 2 2 2 2 2 2 (49) pi L ( x1 , x2 , x1 , x2 , t ) xi for i= 1,2 xi (50) H ( x, p, t ) xi pi - L( x, x , t ) i H ( x1, x2 , p1, p2 , t ) 1 2 1 ( p1 p2 ) ( x1 x2 ) 2 2 2 2 (51) 2 Without finding the explicit solution, let’s show that F ( q1 , q2 , p1, p2 , t ) x1 p2 x2 p1 angular momentum (52) Is a constant of the motion. Proof. First, let’s calculate, F H F H p2 p1 x2 x1 x1 p1 p1 x1 F H F H p1 p2 x1 x2 x2 p2 p2 x2 F 0 t which gives F H F H F =0 pi xi t i 1 i pi 2 x Accordingly, expression (48) gives, dF 0 dt (53) That is, without explicitly calculating the solution, we know that, for this problem, the angular momentum is a constant of motion. 4.2D The modified Hamilton’s principle: Derivation of the Hamilton’s equations from a variational principle. Hamilton’s canonical equation can be obtained from a variational principle, similar to the way the Lagrange equations were obtained in Section 4.1B above. However, the variations will be over paths in the ( x, p) phase-space, which has 2n dimensions, twice the n dimensions of the x configuration-space. Interestingly enough, the function inside the integral, upon which the variational principle will be applied, is again the Lagrangian L, but now considered as a function of ( x, x , p, p ,t ) . L( x, x , p, p ,t ) x i pi - H ( x, p, t ) (55) i As a first step, let’s apply the variational principle to, ( x2 , p2 ,,t2 ) S ( x, p) ) ≡ L( x, x , p, p ,t ) dt (56) ( x1 , p1 , t1 ) ( x2 , p2 ,,t2 ) S ( x, p) ) ≡ x i pi - H ( x, p, t ) dt ( x1 , p1 , t1 ) i Inside the integral, we have just written ( x, x , p, p ,t ) for simplicity, but respectively. ( x(t ), x (t ), p(t ), p (t ) ,t ) should be used instead, In applying the variational principle, we realized it is very similar to the case when we applied it in the configuration space. This time we just have more independent variables. p i H xi xi H pi That is, we have obtain in (58) the canonical Hamiltonian equations (43). 4.3 The Poisson bracket between two arbitrary variables In general, the Poisson bracket [S,R] of the dynamical variable S= S ( x, p) with the dynamical variable R= R ( x, p) is defined as, S, R S R S R pi xi i xi pi Poisson bracket of the dynamic quantities R and S (55) 4.3A The Hamiltonian equations in terms of the Poisson brackets dxi [ xi , H ] dt Hamilton canonical equations (2n first-order equations) dpi [ pi , H ] dt T (59) i = 1, 2, …, n constitutes an alternative way to express the Hamilton canonical equations. 4.3B Fundamental brackets x , x xx i i x x x = 0 pi pi xi p p p p , p i x p p x = 0 i i i i p for any 1, 2, ..., n for any 1, 2, ..., n x , p xx for ≠ i p x p = 0 pi pi xi x , p xx p x p = 1 pi pi xi for = i i i 1 2 H. Goldstein, Classical Mechanics, Addison-Wesley Publishing (1959). Saletan and Cromer, “Theoretical Mechanics” Wiley, 1971.), page 180.