Hamiltonian Field Theory
Total Page:16
File Type:pdf, Size:1020Kb
Hamiltonian Field Theory August 31, 2016 1 Introduction So far we have treated classical field theory using Lagrangian and an action principle for Lagrangian. This approach is called Lagrangian field theory and is best suited for quantizing a field theory using the path- integral (aka functional integral) approach. However, a quicker route to quantizing a classical field theory is thru the \canonical quantization" program which is what you will find in most introductory treatments on quantum field theory. So for us, the Lagrangian is just a crutch to extract the Hamiltonian. However there is a price to pay when we switch from a Lagrangian approach to a Hamiltonian approach, that is manifest Lorentz invariance. Recall that a field theory is a system where we have a degree of freedom located at each point in space. If this degree of freedom is a Lorentz scalar, we will denote the degree of freedom located at position x by Φ(x) and its conjugate momenta, Π(x). These degrees of freedom of course fluctuate in time, so when we include this time-dependence, the notation becomes, Φ(x; t) and Π(x; t): The job of Hamiltonian field theory is describe time-evolution of Π and Φ in equations as follows, Π_ = :::; Φ_ = ::: The dot is time derivative, i.e. we have to choose a time axis or equivalently preferred reference frame which breaks manifest Lorentz invariance. Recall that earlier, in the Lagrangian/action approach we did not have to choose a time-frame because the equation of motion looked Lorentz invariant, e.g. the Euler-Lagrange equation for scalar field, @L @L @µ − = 0: @ (@µΦ) @Φ Here all Lorentz indices are contracted and the only quantities that appear are Lagrange densityL and Φ which are both Lorentz invariants/scalars - so the whole equation is manifestly Lorentz invariant. Similarly the action functional approach leads to a equation of motion of the schematic form, δI = 0; δΦ(x) which is also manifestly Lorentz invariant as both the numerator and denominator are Lorentz invariants themselves. In this note we review Hamiltonian field theory with an eye towards canonical quantization of classical fields. Since in most texts in classical mechanics, the dependence on time for the canonical pair of variables p and q are omitted from most formulas, we too shall choose not to display the time dependence, i.e. instead of Φ(x; t) we will use, Φ(x) and instead of Π(x; t) we will use, Π(x). Just as in case of q; p it would be implicitly understood that Φ(x); Π(x) are functions of time. 1 2 Hamilton's principle and Hamilton's equation for field theory Hamilton's principle for classical mechanics states that the equations of motion of a physical system described by the generalized coordinate and momenta, (q; p), can be obtain by extremizing (i.e. setting the first order variation to zero) of the following functional, I = dt [pq_ − H(p; q)] : (1) ˆ The function, H(p; q) is called the Hamiltonian function. One can easily check by varying the above action that the equation of motion for this system are, @H q_ = ; @p @H p_ = − : (2) @q These equations are the well known Hamilton's equation. Note that in contrast with the Lagrangian ap- proach where the Euler-Lagrange equations involve second order time-derivatives in time, the equations of motion in the Hamilton's approach are first order differential equations in time. Of course the price to pay is that we have twice the number of equations, one set for q and one set for p. One can easily generalize Hamilton's framework for classical mechanics for a single degree of freedom to field theory i.e. infinite degrees of freedom. To accomplish that first we write down the action for N number of degrees of freedom, (qi; pi); i = 1; 2; : : : ; N: The action and Hamilton's equation for this case involving N degrees of freedom are: " N ! # X I = dt p q_ − H(p ; q ) (3) ˆ i i i i i=1 and, @H q_i = ; @pi @H p_i = − : (4) @qi Now in order to go to a continuum limit, we set N ! 1, then the discrete label, i turns into a contin- uum label such as the position coordinates, x = (x; y; z) (which are real number/continuous valued not discrete/integer valued), qi ! Φ(x); pi ! Π(x): The summation of course is turned into an integration over the continuum position coordinate, N X ! d3x: ˆ i=1 2 Finally one should also realize that the Hamiltonian function would change into a (global) functional of the fields, Φ(x); Π(x). H(p ; q ) ! H [Π(x); Φ(x)] = d3x H(Π(x); Φ(x)): i i ˆ The local functional H is quite naturally called the Hamiltonian density since its volume integral is the Hamiltonian. Making these changes to the Eq.s (3, 4), we get the the action and Hamilton's equation for a field theory, I [Φ(x; t); Π(x; t)] = dt d3x Π(x) Φ(_ x) − H [Π(x); Φ(x)] ; (5) ˆ ˆ and, δH Φ(_ x) = ; δΠ(x) δH Π(_ x) = − : (6) δΦ(x) However the rules of functional derivatives are different from what we had in Lorentz invariant action functional approach. The new rules of functional integration can be easily deduced by generalizing the following formula for N−degrees of freedom to continuum limit, @qi @pi = δij; = δij: @qj @pj Using the prescribed rules, we now replace the i; j labels by position coordinates, x; y. To wit, δΦ(x) δΠ(x) = δ3(x − y); = δ3(x − y): (7) δΦ(y) δΠ(y) 3 Hamiltonian from the Lagrangian Starting with a Lagrangian for a physical system, one can extract the Hamiltonian thru a Legendre transform. Two functions, f(x) and g(x) are said to be Legendre transforms of each other if their first derivatives are functional inverse of each other, i.e. 0 0 df(y) x = f (g (x)) = dy y=g0(x) where primes denote first derivative of the function wrt their respective arguments. Solving this condition one gets, x g0(x) = f(y) So the Hamiltonian is defined to be the Legendre transform of the Lagrangian, H(p; q) = p q_(p) − L(q; q_(p)): Now hereq _(p) means we have inverted the relation, @L(q; q_) p = @q_ 3 to express,q _ as a function of p (and more generally a function of both p and q). For a system with N- degrees of freedom, the definition is, ! X H = pi q_i − L(qi; q_i) i Now we can follow the prescription mentioned in the previous section to take the continuum limit, N ! 1 whereby we obtain the Lagrangian for a field theory, H = d3x Π(x) Φ(_ x) − L[Φ(x); Φ(_ x)]; ˆ Now since the Lagrangian itself can be expressed as a volume integral of Lagrangian density, L[Φ(x); Φ(_ x)] = d3xL; L = L(Φ(x); Φ(_ x)); ˆ we have, H = d3x Π(x) Φ(_ x) − L ; ˆ where first we need to express, Φ(_ x) in terms of Π(x) by inverting, δL Π(x) = : δΦ(_ x) 3.1 Example: Real (free) scalar field theory The real scalar field theory is defined by the action, 1 1 I[Φ(x)] = d4x L; L = (@ Φ) (@µΦ) − m2Φ2: ˆ 2 µ 2 So the Lagrangian is, 1 1 L = d3x (@ Φ) (@µΦ) − m2Φ2 ; ˆ 2 µ 2 1 1 1 = d3x Φ_ 2 − rΦ · rΦ − m2Φ2 : ˆ 2 2 2 The momentum conjugate to Φ(x) is, δL Π(x) = δΦ(_ x) δ 3 1 2 1 1 2 2 = d y So Φ_ (y) − ryΦ(y) · ryΦ(y) − m Φ (y) δΦ(_ x) ˆ 2 2 2 δ 1 = d3y Φ_ 2(y) ˆ δΦ(_ x) 2 δΦ(_ y) = d3y Φ(_ y) ˆ δΦ(_ x) = d3y Φ(_ y) δ3(x − y) ˆ = Φ(_ x): 4 We can use this to eliminate Φ_ in terms of Π. The Lagrangian then becomes, 1 1 1 L = d3x Π2 − rΦ · rΦ − m2Φ2 ; ˆ 2 2 2 and the Hamiltonian is, H = d3x Π(x) Φ(_ x) − L ˆ = d3x Π2(x) − L ˆ 1 1 1 = d3x Π2(x) − d3x Π2 − rΦ · rΦ − m2Φ2 ˆ ˆ 2 2 2 1 1 1 = d3x Π2 + rΦ · rΦ + m2Φ2 : (8) ˆ 2 2 2 From this we can extract the Hamilton's equations. The first Hamilton's equation doesn't give us anything but the old relation, δH Φ(_ x) = δΠ(x) = Π(x): (9) However the second equation is non-trivial,, δH −Π(_ x) = δΦ(x) δ 1 1 1 = d3y Π2 + r Φ · r Φ + m2Φ2 δΦ(x) ˆ 2 2 y y 2 δ δΦ(y) = d3y r Φ · r Φ(y) + m2Φ(y) ˆ y y δΦ(x) δΦ(x) = d3y r Φ · r δ3(x − y) + m2Φ(y) δ3(x − y) ˆ y y = d3y −∇2 Φ + m2Φ δ3(x − y) ˆ y = − r2 − m2 Φ(x): (10) So equations are, Φ(_ x) = Π(x); Π(_ x) = r2 − m2 Φ(x): Replacing, Π = Φ_ in the second equation we get the second equation to look like, Φ¨ = r2 − m2 Φ; 2 2 2 @t − r + m Φ = 0: This is nothing but the well-familiar Klein-Gordon equation, @2 + m2 Φ = 0: Thus we have recovered the correct equation of motion using the field Hamiltonian, Eq.