Classical Hamiltonian Field Theory
Total Page:16
File Type:pdf, Size:1020Kb
Classical Hamiltonian Field Theory Alex Nelson∗ Email: [email protected] August 26, 2009 Abstract This is a set of notes introducing Hamiltonian field theory, with focus on the scalar field. Contents 1 Lagrangian Field Theory1 2 Hamiltonian Field Theory2 1 Lagrangian Field Theory As with Hamiltonian mechanics, wherein one begins by taking the Legendre transform of the Lagrangian, in Hamiltonian field theory we \transform" the Lagrangian field treatment. So lets review the calculations in Lagrangian field theory. Consider the classical fields φa(t; x¯). We use the index a to indicate which field we are talking about. We should think of x¯ as another index, except it is continuous. We will use the confusing short hand notation φ for the column vector φ1; : : : ; φn. Consider the Lagrangian Z 3 L(φ) = L(φ, @µφ)d x¯ (1.1) all space where L is the Lagrangian density. Hamilton's principle of stationary action is still used to determine the equations of motion from the action Z S[φ] = L(φ, @µφ)dt (1.2) where we find the Euler-Lagrange equations of motion for the field d @L @L µ a = a (1.3) dx @(@µφ ) @φ where we note these are evil second order partial differential equations. We also note that we are using Einstein summation convention, so there is an implicit sum over µ but not over a. So that means there are n independent second order partial differential equations we need to solve. But how do we really know these are the correct equations? How do we really know these are the Euler-Lagrange equations for classical fields? We can obtain it directly from the action S by functional differentiation with respect to the field. Taking φ to be a single scalar ∗This is a page from https://pqnelson.github.io/notebk/ Compiled: September 7, 2015 at 10:54am (PST) 1 2 Hamiltonian Field Theory 2 field (for simplicity's sake, it doesn't change anything if we work with n fields), functional differentiation can be defined by δS 1 h i def= lim S φ(y) + εδ(4)(x − y) − S [φ(y)] (1.4) δφ(x) "!0 " where δ(4)(y − x) is the 4-dimensional densitized Dirac delta function. Note that we will (4) (4) often use the shorthand notation δx = δ (y − x). Applying this to the action yields Z δS 1 h (4) (4) i 4 = lim L φ + εδx ;@µφ + "@µδx − L(φ, @µφ) d y (1.5a) δφ(x) "!0 " Z 1 @L (4) @L (4) 2 4 = lim L(φ, @µφ) + δx " + @µδx " + O(" ) − L(φ, @µφ) d y "!0 " @φ @(@µφ) (1.5b) Z @L (4) @L (4) 4 = lim δx + @µδx + O(") d y (1.5c) "!0 @φ @(@µφ) Z @L (4) @L (4) 4 = δx + @µδx d y (1.5d) @φ @(@µφ) Z @L @L (4) 4 = − @µ δx d y (1.5e) @φ @(@µφ) Where we justify the second line by Taylor expanding to first order, then in the third line we factor through by the (1=") factor, in the fourth line we take the limit, and integrate by parts to yield the last line. Note also that we factored out the delta function to make the last line prettier. Now the last line is zero if and only if @L d @L a − µ a = 0 (1.6) @φ dx @(@µφ ) which is precisely the Euler-Lagrange equations of motion! Why are we working with these delta functions? Well, we are working with something a little more than just time. We are working with points in space. Locality means, mathematically, we work with vectors sharing the same base point. Or in the jargon of differential geometry, we are working in the tangent space TpM where M is our manifold, and p 2 M is our base point. If we work with multiple base points at a time, not only is it mathematically not well defined, but it is nonlocal which results in a loss of causality! Needless to say this is bad, so we try to work with the evolution of the field at a specified (but arbitrary) tangent space. If time permits, we will revisit this notion of spatial coordinates as an \index" in the appendix. More precisely, we have the \base space" be the manifold M representing spacetime. We have our fields assign to each point p 2 M some \physical information" φ(x). The question presents itself \Where does this `information' live?" It lives in a generalization of the tangent space, called the “fiber". In the Lagrangian setting, we work with ordered pairs (xµ; φ(xµ)) which is actually something called the \section" of the fiber bundle. That is, the field is a mapping φ : M ! M × F (1.7) where F is \where" the fields \live", i.e. it's the fiber. 2 Hamiltonian Field Theory If we want to begin the canonical treatment of fields, we need to start by finding the canonically conjugate momenta. We need to first \foliate" spacetime into space and time. Why do we do this? Well, we are concerned about the time derivatives of the field (how it changes in time), and we need to foliate spacetime into constant-time surfaces to have this be meaningful in the obvious way. 2 Hamiltonian Field Theory 3 Let φ be a (column) vector of scalar fields. So to find the canonically conjugate momenta to φa, we follow our nose to find @L Πa = a : (2.1) @(@0φ ) We will write Π for the row vector Π = (Π1; Π2;:::; Πn). If the mapping (φ, @0φ, @1φ, @2φ, @3φ) 7! (Π; φ, @1φ, @2φ, @3φ) (2.2) is invertible (bijective, but when wouldn't it be?1), then we define the Hamiltonian density function by H(Π; φ, @1φ, @2φ, @3φ) = Π · @0φ − L (2.3) which is a generalization of the Legendre transformation. By direct computation we can find Hamilton's equations to be @H @H d @H _a _ φ = ; and Πa = − a + m m (2.4) @Πa @φ dx @(@mφ ) where the equation on the right hand side has an implicit sum over m = 1; 2; 3. These equations naturally folow from Hamilton's principle applied to Z 4 S = (Π · @0φ − H)d x (2.5) the action in canonical form. Example 2.1. (Working in the East coast convention − + ++) Consider the Lagrangian density 2 1 µ µ 2 L = @ φ∂µφ + φ (2.6) 2 2 where µ is some \mass" scalar. We find the equations of motion being δS @L @L = 0 ) − @µ = 0: (2.7) δφ @φ @(@µφ) We find by direct computation @L = +µ2φ (2.8a) @φ @L µ 2 @µ = @µ (@ φ) = @ φ (2.8b) @(@µφ) which yields the equations of motion to be µ 2 @ @µ + µ φ = 0: (2.9) This is precisely the Klein-Gordon equation! We find that the canonically conjugate momenta is @L 0 Π = = @ φ = −@0φ. (2.10) @(@0φ) Thus we can find the Hamiltonian density to be H = Π · @0φ − L (2.11a) 2 0 1 µ µ 2 = −@ φ∂0φ − @ φ∂µφ + φ (2.11b) 2 2 2 −1 0 1 µ 2 = @ φ∂0φ − r~ φ · r~ φ − φ (2.11c) 2 2 2 1 = − Π · Π + r~ φ · r~ φ + µ2φ2 (2.11d) 2 Note our convention makes the sign of the µ2 term different than what is conventionally used in most particle physics texts. Because of this choice of signature convention, our energy is negative. 1The condition of this being invertible is equivalent to Henneaux and Teiteilboim's criteria of \regularity" it seems... 2 Hamiltonian Field Theory 4 We can find Hamilton's equations for the Klein Gordon scalar field quite easily. One we already found accidentally, it is @L 0 Π = = @ φ = −@0φ. (2.12) @(@0φ) The other is more interesting, it is @H d @H Π_ = − + (2.13a) m @φ dx @(@mφ) 2 m = −µ φ − @m(@ φ) (2.13b) = −(µ2 + r2)φ (2.13c) Note that the sign of our results differs from what we derived due to our choice of signature convention! Now the Hamiltonian approach to fields, as previously mentioned, is slightly diffferent because we work with a one-parameter family of spatial hypersurfaces instead of spacetime. To consider the scalar field φ(x) in this setting, we let it become φ(x¯; t) where we use the semicolon to remind ourselves that we are working with \some parameter" t. We obtain the Hamiltonian simply by integrating the density over all space Z 3 H(Π; φ) = H(Π; φ, @1φ, @2φ, @3φ)d x:¯ (2.14) all space We need to consider how the functional derivative behaves under this change from spacetime to \space plus time". The functional derivative with respect to φ(¯x; t) is δA[φ(¯y; t)] 1 (3) = lim A[φt + δx¯ ] − A[φt] (2.15) δφ(¯x; t) "!0 " (3) (3) where φt(¯y) = φ(¯y; t) = φt, and δx¯ = δ (¯x − y¯). We obtain the equations of motion from the principle of stationary action applied to the canonical form of the action. The Euler-Lagrange equations encoded in the canonical formalism are @H @H d @H _a _ φ = ; and Πa = − a + m m (2.16) @Πa @φ dx @(@mφ ) as we previously mentioned. We can directly compute that δH Z δH = d4y (2.17a) δφ(¯x; t) δφ(¯x; t) Z 1 h (3) (3) i 3 = lim H(Π; φt + εδx¯ ;@kφt + "@kδx¯ ) − H(Π; φt;@mφt) d y¯ (2.17b) "!0 " Z 1 @H (3) @H (3) = lim H(Π; φt;@mφt) + " δx¯ + " @mδx¯ (2.17c) "!0 " @φ @(@mφ) 2 3 + O(" ) − H(Π; φt;@mφt) d y¯ Z @H (3) @H (3) 3 = δx¯ + @mδx¯ d y¯ (2.17d) @φ @(@mφ) Z @H @H (3) 3 = − @m δx¯ d y¯ (2.17e) @φ @(@mφ) Z @H @H (3) 3 = − − + @m δx¯ d y¯ (2.17f) @φ @(@mφ) Z _ (3) 3 = − Πδx¯ d y¯ (2.17g) = −Π(_ x): (2.17h) References 5 This is precisely one of Hamilton's equations, and by similar reasoning we find δH δH _ φ = ; and Π_ t(¯x) = − (2.18) δΠt(¯x) δφt(¯x) are both generalizations of Hamilton's equations to field theoretic setting.