Lagrangian Formalism – Energy-Momentum Tensor in Transformed Dirac Lagrangian

field-theoryhomework-and-exerciseslagrangian-formalismnoethers-theoremstress-energy-momentum-tensor

Consider the standard Dirac Lagrangian, $\mathcal{L}=\overline{\psi}\left(i\gamma^{\mu}\partial_{\mu}-m\right)\psi$,
and a transformed one differing by a total derivative

$$
\mathcal{L}'=\mathcal{L}-\frac{i}{2}\partial_{\mu}\left(\overline{\psi}\gamma^{\mu}\psi\right).
$$

The energy-momentum tensor computed from the Dirac Lagrangian can
be shown to be $T^{\mu\nu}=i\overline{\psi}\gamma^{\mu}\partial^{\nu}\psi$.
Given that, it should be possible to prove that the energy-momentum
tensor computed from $\mathcal{L}'$ is given by $T'^{\mu\nu}=T^{\mu\nu}-\frac{i}{2}\partial^{\nu}\left(\overline{\psi}\gamma^{\mu}\psi\right)$.

I was trying to do it but I can't finish it. I'm using the standard
formula for the energy-momentum tensor,

$$
T^{\mu\nu}=\frac{\partial\mathcal{L}}{\partial\left(\partial_{\mu}\psi\right)}\partial^{\nu}\psi-\eta^{\mu\nu}\mathcal{L}
$$

and doing,

$$
\begin{array}{ll}
T'^{\mu\nu} & =\frac{i}{2}\overline{\psi}\gamma^{\mu}\partial^{\nu}\psi-\eta^{\mu\nu}\left(\mathcal{L}-\frac{i}{2}\partial_{\mu}\left(\overline{\psi}\gamma^{\mu}\psi\right)\right)\\
& =T^{\mu\nu}-\frac{i}{2}\overline{\psi}\gamma^{\mu}\partial^{\nu}\psi+\frac{i}{2}\partial^{\nu}\left(\overline{\psi}\gamma^{\mu}\psi\right)\\
& =T^{\mu\nu}+\frac{i}{2}\left(\partial^{\nu}\overline{\psi}\right)\gamma^{\mu}\psi\\
& =?
\end{array}
$$

Edit:

Following @Quantum spaghettification's suggestion I get

$$
\begin{array}{ll}
T'^{\mu\nu} & =\frac{\partial\mathcal{L}'}{\partial\left(\partial_{\mu}\psi\right)}\partial^{\nu}\psi+\frac{\partial\mathcal{L}'}{\partial\left(\partial_{\mu}\overline{\psi}\right)}\partial^{\nu}\overline{\psi}-\eta^{\mu\nu}\mathcal{L}'\\
& =\frac{i}{2}\overline{\psi}\gamma^{\mu}\partial^{\nu}\psi-\frac{i}{2}\gamma^{\mu}\psi\partial^{\nu}\overline{\psi}-\eta^{\mu\nu}\left(\mathcal{L}-\frac{i}{2}\partial_{\mu}\left(\overline{\psi}\gamma^{\mu}\psi\right)\right)\\
& =T^{\mu\nu}-\frac{i}{2}\overline{\psi}\gamma^{\mu}\partial^{\nu}\psi-\frac{i}{2}\gamma^{\mu}\psi\partial^{\nu}\overline{\psi}+\frac{i}{2}\partial^{\nu}\left(\overline{\psi}\gamma^{\mu}\psi\right)\\
& =T^{\mu\nu}-\frac{i}{2}\gamma^{\mu}\psi\partial^{\nu}\overline{\psi}+\frac{i}{2}\left(\partial^{\nu}\overline{\psi}\right)\gamma^{\mu}\psi\\
& =?
\end{array}
$$

Best Answer

Never mind the anticommuting nature of the Dirac fields: if you're stuck to this problem, you probably didn't get there anyways. Just define $T^{\mu\nu}$ as

$$ T^{\mu\nu}=\frac{\partial \mathcal{L}}{\partial (\partial_{\mu}\psi)}\ \partial^{\nu}\psi+\partial^{\nu}\bar{\psi}\ \frac{\partial \mathcal{L}}{\partial_{\mu}\bar{\psi}}-\eta^{\mu\nu}\, \mathcal{L} $$

This is the specific form of the tensor written in Someone's answer for the case of the Dirac field. Notice the order of the factors in the second term: $\bar{\psi}$ is a row vector, hence it must be written to the left. The definition in Q. spaghettification's answer overlooked this, otherwise it is the very same as that.

Now, your first definition was plain incorrect. In the edit, the definition was correct apart from the order in the second term. As for the third line in your edit, there is a mistake: it should read

$$ T'^{\mu\nu}=T^{\mu\nu}-\frac{i}{2}\bar{\psi}\gamma^{\mu}\partial^{\nu}\psi-\frac{i}{2}(\partial_{\nu}\bar{\psi})\gamma^{\mu}\psi+\frac{i}{2} \eta^{\mu\nu} \partial_{\sigma}(\bar{\psi}\gamma^{\sigma}\psi)\quad (\star) $$

because the indices of the gamma matrix and derivative in the last term are saturated: you cannot contract them with those of the metric. Now, the second and third terms are the derivative you are looking for:

$$ -\frac{i}{2}\bar{\psi}\gamma^{\mu}\partial^{\nu}\psi-\frac{i}{2}(\partial_{\nu}\bar{\psi})\gamma^{\mu}\psi=-\frac{i}{2}\partial_{\nu}(\bar{\psi}\gamma^{\mu}\psi) $$

As for the last term, use the Dirac equations to write

$$ i\partial_{\sigma}(\bar{\psi}\gamma^{\sigma}\psi)=\bar{\psi}(i\gamma^{\sigma}\partial_{\sigma}\psi)+(i\partial_{\sigma}\bar{\psi}\gamma^{\sigma})\psi=m\bar{\psi}\psi-m\bar{\psi}\psi=0 $$

In case you didn't know, the Dirac equation for $\bar{\psi}$ is

$$ i\partial_{\sigma}\bar{\psi}\gamma^{\sigma}=-m\bar{\psi} $$

As the last term in $(\star)$ is zero and the second and third term make up the divergence, you got your result.