The Canonical energy momentum tensor is given by
$$T_{\mu\nu} = \frac{\partial {\cal L}}{\partial (\partial^\mu \phi_s)} \partial_\nu \phi_s - g_{\mu\nu} {\cal L} $$
A priori, there is no reason to believe that the EM tensor above is symmetric. To symmetrize it we do the following trick.

To any EM tensor we can add the following term without changing its divergence and the conserved charges:
$${\tilde T}_{\mu\nu} = T_{\mu\nu} + \partial^\beta \chi_{\beta\mu\nu} $$
where $\chi_{\beta\mu\nu} = - \chi_{\mu\beta\nu}$. The antisymmetry of $\chi$ in its $\mu\beta$ indices implies that ${\tilde T}_{\mu\nu}$ is conserved. Also, all the conserved charges stay the same.

Now even though $T_{\mu\nu}$ is not a symmetric tensor, it is possible to choose $\chi_{\beta\mu\nu}$ in such a way so as to make ${\tilde T}_{\mu\nu}$ symmetric. It can be shown that choosing

Here's my question - Is it possible to obtain the symmetric EM tensor directly from variational principles by adding a total derivative term to the Lagrangian. In other words, by shifting ${\cal L} \to {\cal L} + \partial_\mu X^\mu$, and choosing $X^\mu$ appropriately, can we exactly get the shift in the EM tensor required, in order to make the canonical EM tensor symmetric?

What I've done so far - It is possible to show that under a shift in the Lagrangian by a total derivative, one shifts the EM tensor by $T_{\mu\nu} \to T_{\mu\nu} + \partial^\lambda \chi_{\lambda\mu\nu}$ where

Symmetrizability is equivalent with Lorentz invariance. Thus you need to assume that in your arguments.
–
Arnold NeumaierSep 19 '12 at 17:12

1

Can you explain that a bit more? I don't undestand what you're trying to say. Thanks!
–
PraharSep 23 '12 at 17:00

1

Without the assumption of Lorentz invariance of the action, there is no symmetric e/m tensor, and the standard recipe fails. Lorentz invariance gives you additional properties that you must exploit in your derivation; otherwise you will not be able to arrive at the conclusion (since it might not hold). - If you reply to a comment, you should mention the name, like in @Prahar, so that the original commenter is informed. I noticed your comment only by chance (and hence very late).
–
Arnold NeumaierNov 1 '12 at 17:58

2 Answers
2

Is it possible to obtain the symmetric energy-momentum tensor directly from variational principles by adding a total derivative term to the Lagrangian? In other words, by shifting $\Delta{\cal L}=d_\mu X^\mu$, and choosing $X^\mu$ appropriately, can we exactly get the shift in the energy-momentum tensor required, in order to make the canonical energy-momentum tensor symmetric?

No, that project is doomed already for E&M with the Maxwell Lagrangian density

The shifted term will not take the form you have written. In general (and this will be required) $\Delta {\cal L}$ will contain 2 derivatives of the fields since $X^\mu$ will contain upto one derivative. Then, the original definition of the canonical stress tensor must be modified. If you look at my question, I have considered this issue and derived the EXACT shift in $\Theta$ that is obtained from a $\Delta {\cal L} = \partial_\mu X^\mu$.
–
PraharJan 2 at 15:32

Your answer is valid if we assume that $X^\mu$ contains only fields but no derivatives. In this case, I already see that there is no solution. However, this is a several restricting solution. I believe I've set the problem up to find a solution to the last differential equation in my question. If look at that equation, it is clear that there is no solution where $X^\mu$ only contains fields. It must be chosen to contain first derivatives of fields as well.
–
PraharJan 2 at 15:34

I will try to obtain the result using another way.
It is well known that the Lagrangian density determined up to divergence of some four-vector $\mathcal{L}(x)\to \mathcal{L}(x)+\partial_\mu\psi^\mu(x)$
Let's understand what contribution the second term gives in the energy-momentum tensor.
$$\hat T^\nu _\mu=\partial_\rho\Bigr(\frac{\delta {\cal\psi^\rho }}{\delta (\partial^\mu \phi_s)} \partial^\nu \phi_s - g_\mu^\nu {\cal \psi^\rho}\Bigr)=\partial_\rho \chi^{\rho\nu}_ \mu
$$
$\psi^\rho$ is arbitrary four-vector, contains in $\phi_s$ and $\partial^\rho\phi_r$. Set that $\psi^\rho=f(\phi^2)\phi_r\partial^\rho\phi_r$.(If I require that the Lagrangian dependence only $\phi_r$ and first derivative of it. It will be general form) We obtain the following result
$$
\chi^{\rho\nu}_ \mu =g_\mu^\rho {\cal \psi^\nu}-g_\mu^\nu {\cal \psi^\rho}
$$
where $g^\mu_\rho=\delta^\mu_\rho$ is a Kronecker symbol. Thus we obtain that energy momentum tensor defined up to such term $T^{\mu\nu}\to T^{\mu\nu}+\partial_\rho\chi^{\rho\mu\nu}$ where $\chi^{\rho\mu\nu}=-\chi^{\mu\rho\nu}$. This fact is a consequence of Lagrangian feature(The Lagrangian density determined up to divergence of some four-vector $\mathcal{L}(x)\to \mathcal{L}(x)+\partial_\mu\psi^\mu(x)$).

Edit

Using previous formula it is easy to obtain that
$$
\chi^{\mu\rho\nu} =g^{\mu\rho} {\cal \psi^\nu}-g^{\mu\nu} {\cal \psi^\rho}
$$
After contraction with $g_{\mu\rho}$ we obtan that
$$
\psi^\nu=\frac{1}{D-1}\chi^{\mu\rho\nu}g_{\mu\rho}
$$
where $D$-is dimensionality of space.

In spite of the Lagrangian contain second derivatives, all of it is true.Because it Lagrangian differ only for full derivative. If you interesting in this question, you should write General relativity. Because action of General relativity which contain Riemann curvature tensor(which contain second derivatives).

Instead of $g^{\nu}_\mu$ and similar symbols, did you mean to write $\delta^\nu_\mu$ and similar symbols (here, $\delta$ is the Kronecker delta)?
–
DanuDec 30 '14 at 17:55

@Peter If $\psi^\rho$ contains $\partial^\rho \phi_r$, then the Lagrangian contains upto two derivatives of the fields (since it contains $\partial_\mu \psi^\mu$). One then needs to completely modify the standard definitions of the stress tensor since they all assume dependence upto 1 derivative only. I have considered these issues and the results are in my question already.
–
PraharDec 30 '14 at 23:16

1

@Peter - Abovementioned issues aside, I agree with your answer, but it does not answer my question. I know that the stress-tensor is determined upto additive terms of the form $\partial_\rho \chi^{\rho\mu\nu}$ and I also know that there always exists a choice of $\chi^{\rho\mu\nu}$ to make it symmetric. My question is - Is there a choice of $\psi^\rho$ such that the corresponding "canonical stress-tensor" is symmetric.
–
PraharDec 30 '14 at 23:20

1

@Peter - Let me pose the question in a different (possibly more general) way. I'll use the notations in your answer. Given a $\psi^\rho$, one can always find the corresponding $\chi^{\rho\mu\nu}$ (I have done this already in the question). The question is - Can the reverse process be achieved, i.e. Given any $\chi^{\rho\mu\nu}$, is it true that it can be derived from some $\psi^\rho$. If true, can you explicitly construct such a $\psi^\rho$.
–
PraharDec 30 '14 at 23:23

I edit a little bit. I tried to answer in our questions.
–
PeterJan 6 at 10:35