Thursday, 3 September 2015

homework and exercises - The variation of the Lagrangian density under an infinitesimal Lorentz transformation


I'm trying to introduce myself to QFT following these lectures by David Tong. I've started with lecture 1 (Classical Field Theory) and I'm trying to prove that under an infinitesimal Lorentz transformation of the form


$$\tag{1.49} {\Lambda^\mu}_\nu={\delta^\mu}_\nu+{\omega^\mu}_\nu,$$


where $\omega$ is antisymmetric, the variation of the Lagrangian density $\mathcal{L}$ is


$$\tag{1.53} \delta\mathcal{L}=-\partial_\mu({\omega^\mu}_\nu{x}^\nu\mathcal{L}).$$


Using $\mathcal{L}=\mathcal{L}(\phi,\partial_\mu\phi)$, I've tried computing $\delta\mathcal{L}$ directly using


$$\tag{1.52} \delta\phi=-{\omega^\mu}_\nu{x}^\nu\partial_\mu\phi$$


[which I obtained earlier computing explicitly $\phi(x)\to\phi(\Lambda^{-1}x)$], however, I get $$\delta\mathcal{L}=-\partial_\mu({\omega^\mu}_\nu{x}^\nu\mathcal{L})-\frac{\partial\mathcal{L}}{\partial(\partial_\mu\phi)}{\omega^\sigma}_\mu\partial_\sigma\phi$$ The extra term arises when I compute $$\partial_\mu(\delta\phi)=-{\omega^\sigma}_\nu\left[{\delta^\nu}_\mu\partial_\sigma\phi+x^\nu\partial_{\mu\sigma}\phi\right]=-{\omega^\sigma}_\mu\partial_{\sigma}\phi-{\omega^\sigma}_\nu{x}^\nu\partial_{\mu\sigma}\phi$$


[because I'm assuming $\partial_\mu(\delta\phi)=\delta(\partial_\mu\phi)$]; I thought I'd get rid of it just replacing $\phi$ with $\partial_\sigma\phi$ in $(1.52)$, however $\partial_\mu(\delta\phi)=\delta(\partial_\mu\phi)$ should still hold, ain't it? I also tried using (the previous expression to) 1.27 in the lectures, namely that the derivatives of the field transform as



$$\tag{1.26b} \partial_\mu\phi(x)\to{(\Lambda^{-1})^\nu}_\mu\partial_\nu\phi(\Lambda^{-1}x),$$


but I still get (to the first order in $\omega$),


\begin{align}{(\Lambda^{-1})^\nu}_\mu\partial_\nu\phi(\Lambda^{-1}x)&=({\delta^\nu}_\mu-{\omega^\nu}_\mu)\partial_\nu\phi(x^\sigma-{\omega^\sigma}_\rho{x}^\rho)\\&=({\delta^\nu}_\mu-{\omega^\nu}_\mu)\left[\partial_\nu\phi(x)-{\omega^\sigma}_\rho{x}^\rho\partial_{\sigma\nu}\phi(x)\right]\\&=\partial_\mu\phi-{\omega^\sigma}_\rho{x}^\rho\partial_{\sigma\mu}\phi-{\omega^\nu}_\mu\partial_\nu\phi\end{align}


I'm resisting the idea that ${\omega^\nu}_\mu\partial_\nu\phi=0$, but I don't understand what I'm doing wrong.



Answer



Provided that $\mathcal{L}$ is a Lorentz scalar, the quantity $\partial\mathcal{L}/\partial(\partial_{\mu}\phi)$ has to carry an upper index. Since $\mathcal{L}$ is a function of $\phi$ and $\partial_{\mu}\phi$, the only object that can give such an index is $\partial^{\mu}\phi$. Hence \begin{equation} \frac{\partial\mathcal{L}}{\partial (\partial_{\mu}\phi)} \propto \partial^{\mu}\phi. \end{equation} Then, \begin{equation} \begin{split} \frac{\partial\mathcal{L}}{\partial (\partial_{\mu}\phi)} \omega^{\sigma}{}_{\mu}\partial_{\sigma}\phi \,&\propto \,\omega^{\sigma}{}_{\mu}\,\partial_{\sigma}\phi \,\partial^{\mu}\phi\\ &=\omega^{\sigma\mu} \partial_{\sigma}\phi\,\partial_{\mu}\phi\\ &=0. \end{split} \end{equation} The last expression vanishes because $\partial_{\sigma}\phi\,\partial_{\mu}\phi$ is symmetric under the interchange of indices while $\omega^{\sigma\mu}$ is antisymmetric.


I actually don't understand why Tong didn't simply write \begin{equation} \delta \mathcal{L} = -\omega^{\mu}{}_{\nu} x^{\nu}\partial_{\mu}\mathcal{L}. \end{equation} After all, $\mathcal{L}$ should have the same transformation rule as $\phi$ because they are both Lorentz scalars. One can verify the above equation by noting that \begin{equation} \delta \mathcal{L} = - \partial_{\mu}(\omega^{\mu}{}_{\nu}x^{\nu}\mathcal{L}) = -\omega^{\mu}{}_{\nu} x^{\nu}\partial_{\mu}\mathcal{L} - \omega^{\mu}{}_{\mu}\mathcal{L}, \end{equation} and that \begin{equation} \omega^{\mu}{}_{\mu} = \eta_{\mu\rho}\omega^{\mu\rho} = 0 \end{equation} because $\eta_{\mu\rho}$ is symmetric and $\omega^{\mu\rho}$ is antisymmetric.


No comments:

Post a Comment

Understanding Stagnation point in pitot fluid

What is stagnation point in fluid mechanics. At the open end of the pitot tube the velocity of the fluid becomes zero.But that should result...