Noether's Theorem and the Stress Energy Tensor

A common derivation that you will find in QFT texts is the derivation of the Stress Energy Tensor using Noether's theorem. I am just starting to study QFT using David Tong's notes and Schwartz' book. However, I have found that in both the expositions are incomplete and the terminology and notation is sometimes confusing.

As such, I didn't feel I grokked the derivations. So to fill in the gaps, I am writing out all the gory details for my own edification and the hope that this might help someone else facing similar frustrations. After starting this, I also found these notes by Hagen Kleinart to be particularly clear.

Noether's theorem is a statement about continous symmetries of an action. With such a symmetry there is an associated conserved current. The symmetry we will be looking at is a space-time translation. To that end we consider an infinitesimal space time translation. xνxνϵν Then our fields transform to first order Taylor's expansion as ϕ(x)ϕ(x+ϵ)ϕ(x)+ϵννϕ(x)

I want to say more about the transformations above.In particular, we are viewing these transformations as active transformations. This is something I always get confused with. But I am thinking of the above like so.

With an active transformation we are changing the field value at the same point in space-time as opposed to labeling the points of space-time. If we were talking about particles, then this would be equivalent to physically moving a particle to another location. For example, imagine I am standing at point xν=(0,1,0,0) and then take a step in the negative x direction so I am now standing at the point x~ν=(0,0,0,0). This is an active transformation of my location.

Now with fields we are going to "move" the fields. By that I mean we are going to define a new field ϕ~ such that it's value you at a point x will be the same as the untransformed field at x+ϵ. In other words ϕ~(xϵ)=ϕ(x) or ϕ~(x)=ϕ(x+ϵ) And again to first order, ϕ~(x)=ϕ(x)+ϵννϕ(x)

We are interested in the variation in our action S[ϕ]=dx4L(ϕ,νϕ) as we undergo such a space-time translation we will be interested in the principal linear variation of ΔS=S[ϕ~]S[ϕ] which we will call δS. Specifically, ΔS=dx4L(ϕ~,νϕ~)dx4L(ϕ,νϕ) or ΔS=dx4L(ϕ+ϵννϕ,μϕ+ϵννμϕ)dx4L(ϕ,νϕ)

Now as typically done we will do a taylor expansion and only keep first order terms and we find. δS=dx4(L(ϕ,μϕ)+ϵννϕL(ϕ,μϕ)ϕ+ϵννμϕL(ϕ,μϕ)(μϕ)L(ϕ,νϕ))
Next we replace ϵννμϕL(ϕ,μϕ)(μϕ) by μ[ϵννϕL(ϕ,μϕ)(μϕ)]μ(L(ϕ,μϕ)(μϕ))ϵννϕ Substituting into δS and canceling terms we get, δS=dx4[ϵννϕ(L(ϕ,μϕ)ϕμ(L(ϕ,μϕ)(μϕ)))+μ[ϵννϕL(ϕ,μϕ)(μϕ)]]

Now for solutions of the equations of motions, δS=dx4μ[ϵννϕL(ϕ,μϕ)(μϕ)]

Now we are getting close to the finish line. The last steps are as follows. First, we notice that the change in the Lagrangian Density under this symmetry transformation is, ΔL=L(x+ϵ)L(x) and again to first order δL=L(x)+ϵννL(x)L(x)=ϵννL(x) Now we have two different expressions for δL as a function of our symmetry transformation and just set them equal to each other. ϵννL(x)=μ[ϵννϕL(ϕ,μϕ)(μϕ)] We should be careful, however, because the right-hand side holds only for ϕ which are solutions to our equations of motion (Euler-Lagrange) whereas the left-hand side holds generally, i.e., for any ϕ, and infinitesimal space-time translation. One other subtle point that I struggled with for a while is that one typically thinks of L as a function of ϕ and νϕ so one would expect, νL=0 because there is no explicit dependence on x. But here we are viewing L as a function of x. One can think of it as if after fixing ϕ, we can replace it with it's functional form in terms of x since now we are really only varying ϵ and not the functional form of ϕ.

The last few steps are fairly straightforward. 0=μ[ϵννϕL(ϕ,μϕ)(μϕ)]ϵννL Now we rewrite the last part as, ϵννL=ϵνμδνμL You should make sure the above is clear. Then we get, 0=ϵνμ[νϕL(ϕ,μϕ)(μϕ)δνμL] Noether's theorem says that we get a "current", jμ, such that it's four-divergence is zero, μjμ=0, and in this case we have a separate current for each translation direction, ϵν. (jμ)ν=νϕL(ϕ,μϕ)(μϕ)δνμL=Tνμ I did this for a single scalar field for clarity, but it's relatively straightforward to generalize this. I hope this helps someone. I mainly wrote this up for my own understanding and ended up clarifying quite a lot of my own understanding in the process.

Comments

  1. It seems like "With such a symmetry there is an associated conserved current." should be "constant", not "current".

    ReplyDelete
    Replies
    1. In that context of Lagrangians of fields it typically is called a conserved current. See https://en.wikipedia.org/wiki/Noether%27s_theorem

      Delete

Post a Comment

Popular posts from this blog