III. Classical Field Theory and Canonical Quantization Hamilton's
Total Page:16
File Type:pdf, Size:1020Kb
III. Classical Field Theory and Canonical Quantization Hamilton’s Principle and the Euler-Lagrange Equations 1 Noether’s Theorem and Symmetries 3 Poincar´eSymmetries 6 Space-Time Translations: Canonical Energy-Momentum Tensor 7 Lorentz Transformations: Improved Energy-Momentum Tensor 8 Canonical Quantization 14 1 III. Classical Field Theory and Canonical Quantization In the previous chapter, we saw how to construct Lorentz covariant free field equations using group theoretic techniques applied to the Lorentz group. However, we still lack a dynamical principle which allows for the construc- tion of the Poincar´egenerators including the Hamiltonian in terms of the operator fields nor a means to give a physical interpretation to the solution to the these field equations. In this chapter, we begin to address these issues. The canonical quantization approach to constructing a quantum field theory starts with a classical field theory whose dynamics is governed by classical field equations which are obtained by applying (a generalized) Hamilton’s principle to an action functional of a Lagrange density (Lagrangian). The classical fields are then promoted to become quantum operator fields satisfy- ing certain equal time canonical commutation or anti-commutation relations. Using this canonical formalism, the various symmetry generators, including the Hamiltonian, can be identified and constructed in terms of the field op- erators. As we shall see, a major advantage of basing a dynamical principle on an action is that it is Lorentz invariant while the Hamiltonian is not. Hamilton’s Principle and the Euler-Lagrange Equations The classical Lagrangian (density) characterizing the underlying dynamics is assumed to be a function of the classical fields, ϕs(~r, t), and their first space-time derivatives, ∂µϕs(~r, t): L = L(ϕs(~r, t), ∂µϕs(~r, t)) . (1) The action functional for the classical field theory is then defined as Z 4 S[ϕ] = d xL(ϕs(t, ~r), ∂µϕs(t, ~r)) , (2) Ω where Ω is the space-time volume. Here the subscript s is used to distinguish different fields. The (generalized) Hamilton principle states that the action is stationary with respect to variations of classical field, δϕs(~r, t), which vanish on the boundary of Ω but are otherwise arbitrary.1 1Rather than employing this generalized Hamilton’s principle, one could divide 3-space 2 Using functional derivatives, Hamilton’s principle takes the form δS[ϕ] 0 = δϕr(x) δϕr(x) Z y ! 4 ∂L δϕs(y) ∂L δ∂µϕs(y) = δϕr(x) d y + y Ω ∂ϕs(y) δϕr(x) ∂∂µϕs(y) δϕr(x) Z ! 4 ∂L δϕs(y) ∂L y δϕs(y) = δϕr(x) d y + y ∂µ Ω ∂ϕs(y) δϕr(x) ∂∂µϕs(y) δϕr(x) Z ! 4 ∂L y ∂L δϕs(y) = δϕr(x) d y − ∂µ y Ω ∂ϕs(y) ∂∂µϕs(y) δϕr(x) Z ! 4 y ∂L δϕs(y) + δϕr(x) d y∂µ y Ω ∂∂µϕ(y) δϕr(x) Z ! 4 ∂L y ∂L 4 = δϕr(x) d y − ∂µ y δrsδ (x − y) Ω ∂ϕs(y) ∂∂µϕs(y) Z ! 4 y ∂L 4 + δϕr(x) d y∂µ y δrsδ (x − y) Ω ∂∂µϕ(y) Z ! 4 ∂L y ∂L 4 = δϕr(x) d y − ∂µ y δrsδ (x − y) Ω ∂ϕs(y) ∂∂µϕs(y) ∂L 4 + δϕr(x)nµ y δrsδ (x − y)|y∈Σ ∂∂µϕ(y) ∂L ∂L ! = δϕr(x) − ∂µ (3) ∂ϕr(x) ∂∂µϕr(x) In obtaining the penultimate equality, we used the divergence theorem with µ µ Σ the boundary of Ω having unit (space-like) normal n (n nµ = 1), where the last equality follows since the field variations vanish on Σ. Since, other than being constrained to vanish on the boundary, each variation into discrete cells (a lattice) and decompose the field which depends on the continuum of spatial variables into a discretely numerated number of degrees of freedom, one associated with each lattice cell, all depending only on time. The Lagrange function and its associ- ated action can then be constructed. The ordinary Hamilton’s principle which states that the action is stationary with respect to variations which vanish at the temporal endpoints, but are otherwise arbitrary, can then be applied. The resultant Euler-Lagrange equa- tions so obtained reproduces the Euler-Lagrange equations obtained with the generalized Hamilton’s principle once the continuum limit is taken. 3 δϕr is arbitrary within Ω, it follows that ∂L ∂L 0 = − ∂µ (4) ∂ϕr(x) ∂∂µϕr(x) which are the Euler-Lagrange equations. The canonically conjugate momentum classical field, πs(x), is defined as ∂L πs(x) = . (5) ∂∂0ϕs(x) Noether’s Theorem and Symmetries Poincar´einvariance restricts the form of the field equations and consequently the form of the actions from which they are derived. In addition, there may be additional symmetries of the system which will also restrict the form of the action. We shall formalize these restrictions and also establish the con- nection between the presence of a continuous symmetry, the existence of a conserved current and its associated time independent charge. This is em- bodied in Noether’s theorem. Let ϕr(x) denote a multicomponent field labeled by r. A transformation which changes the space-time point (eg. translations, Lorentz transforma- tions) is referred to as a space-time transformation while a transformation which leaves the space-time point unchanged is referred to as an internal transformation. Consider the transformation parametrized by Υ which is a symmetry of the action and is continuously connected to the identity. The classical field theory transformation law is Υ Υ ϕr(x) → ϕr (x ) = Drs(Υ)ϕs(x) (6) so that Υ Υ−1 ϕ (x) = Drs(Υ)ϕs(x ) (7) where D(Υ) is a matrix representation of the transformation. Here xΥ is the transformed space-time point (if the transformation is internal, then 4 Υ xµ = xµ). For infinitesimal transformations, parametrized by real υA (cryptically Υ = 1 + υ) with |υA| << 1, the space-time point changes as µ υ µ µ X µ ∆(υ)x = (x ) − x = υA∆Ax (8) A If the transformation is internal transformation, then ∆(υ)xµ = 0. For infinitesimal transformations, the matrix representation can be written X A Drs(I + υ) = δrs + i υA(d )rs (9) A (A) with drs being υ independent numbers. The intrinsic transformation of the field is ϕr(x) → ϕr(x) + δ(υ)ϕr(x) (10) where υ δ(υ)ϕr(x) = ϕr (x) − ϕr(x) = Drs(I + υ)ϕs(x − ∆(υ)x) − ϕ(x) ! X A = δrs + i υA(d )rs ϕs(x − ∆(υ)x) − ϕr(x) A µ X A = −∆x (υ)∂µϕr(x) + i υA(d )rsϕs(x) A X µ A = υA −δrs∆Ax ∂µ + i(d )rs ϕs(x) A X = υAδAϕr(x) (11) A which identifies µ A δAϕr(x) = −δrs∆Ax ∂µ + i(d )rs ϕs(x) (12) while δ(υ)∂µϕr(x) = ∂µ δ(υ)ϕr(x) ⇒ δA∂µϕr(x) = ∂µδAϕr(x) (13) 5 Since L = L(ϕr, ∂µϕr), it follows that ∂L ∂L δ(υ)L = δ(υ)ϕr + δ(υ)(∂µϕr) ∂ϕr ∂∂µϕr ∂L ∂L = δ(υ)ϕr + ∂µδ(υ)ϕr ∂ϕr ∂∂µϕr ∂L ∂L ∂L = δ(υ)ϕr + ∂µ δ(υ)ϕr − ∂µ δ(υ)ϕr ∂ϕr ∂∂µϕr ∂∂µϕr ∂L ∂L ! ∂L ! = − ∂µ δ(υ)ϕr + ∂µ δ(υ)ϕr ∂ϕr ∂∂µϕr ∂∂µϕr δS ∂L ! = δ(υ)ϕr + ∂µ δ(υ)ϕr (14) δϕr ∂∂µϕr or δS ∂L ! δ(υ)ϕr = δ(υ)L − ∂µ δ(υ)ϕr(x) . (15) δϕr ∂∂µϕr(x) which is an algebraic identity and constitutes Noether’s theorem. This iden- tity holds for an field transformation where it is a symmetry of action or not. If the transformation is a symmetry of the classical action so that the action is invariant under the transformation,,2 then the Lagrangian is either invari- ant or transforms into a total divergence. As we shall see, for space-time symmetries, the Lagrangian transforms into a total divergence so that µ δ(υ)L = ∂µΛ (υ) (18) 2The action is invariant provided it algebraically (independent of field equations) sat- isfies δ(υ)S[ϕ] = 0 (16) where Z 4 δ δ(υ) = d x (δ(υ)ϕr(x)) δϕr(x) Z ! 4 X µ A δ = d x υA −δrs∆Ax ∂µ + i(d )rs ϕs(x) (17) δϕr(x) A 6 while for internal symmetries, it is invariant (Λµ(υ) = 0). In either case, the RHS of Noether’s theorem is the divergence of a current µ µ ∂L X µ J (υ) = Λ (υ) − δ(υ)ϕr(x) υAJA(x) (19) ∂∂µϕr(x) A and Noether’s theorem takes the form δS[ϕ] µ δ(υ)ϕr(x) = ∂µJ (υ) (20) δϕr(x) or equivalently δS[ϕ] µ δAϕr(x) = ∂µJA(x) (21) δϕr(x) After application of the Euler-Lagrange field equations: δS[ϕ] = 0, we see δϕr(x) µ µ µ µ that that the current J (υ) or JA(x) is conserved: ∂µJ (υ) = 0 = ∂µJA(x). For such a conserved current, we can define charges Z 3 0 X Q(υ) = d xJ (υ) = υAQA (22) A such that dQ(υ) Z Z dQ = d3x∂ J 0(υ) = − d3x∂ J i(υ) = 0 ⇒ A = 0 (23) dt 0 i dt where we have used the divergence theorem and set the surface terms at infinity to zero. Thus, after application of the Euler-Lagrange field equations, the Noether constructed charges Q(υ) or QA are time independent. These charges will be identified with the generators of the associated symmetries. Poincar`eSymmetries We now apply Noether’s theorem to the space-time symmetries associated with the Poincar´etransformations. 7 Space-Time Translations: Canonical Energy-Momentum Tensor The infinitesimal space-time translation is given by ∆()xµ = µ (24) µ µ P µ µ ν µ with | | << 1.