Variation of Lagrangian under Lorentz transformations

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 4K views
jinawee
Messages
26
Reaction score
2

Homework Statement



Prove that under an infinitesimal Lorentz transformation: [tex]x^\mu \to x^\mu+\omega^\mu_\nu x^\nu[/tex] so: [tex]\phi\to\phi-\omega^\mu_\nu x^\nu\partial_\mu\phi[/tex] the Lagrangian varies as:

[tex]\delta \mathcal{L}=-\partial_\mu(\omega^\mu_\nu x^\nu \mathcal{L})[/tex]



The Attempt at a Solution



The new Lagrangian will be:

[tex] \mathcal{L}(\phi-\omega^\mu_\nu x^\nu\partial_\mu\phi,\partial_\sigma(\phi-\omega^\mu_\nu x^\nu\partial_\mu\phi))[/tex]

The variation is:

[tex] \delta\mathcal{L}=\frac{\partial \mathcal{L}}{\partial \phi}\delta\phi+\frac{\partial \mathcal{L}}{\partial (\partial_\sigma\phi)}\partial_\sigma \delta \phi=-\omega^\mu_\nu \left[x^\nu\partial_\mu \phi \frac{\partial \mathcal{L}}{\partial \phi}+\partial_\sigma(x^\nu\partial_\mu\phi)\frac{\partial \mathcal{L}}{\partial (\partial_\sigma\phi)}\right][/tex]


If the last term in the sum vanished somehow, I would arrive to the solution, but I can't see how it is zero. Or have I made a mistake before?

I think I've done some progress:

[tex]-\omega^\mu_\nu \left[\partial_\sigma(x^\nu\partial_\mu\phi)\frac{\partial \mathcal{L}}{\partial (\partial_\sigma\phi)}\right]=-\omega^\mu_\nu \left[ \partial_\mu\phi\frac{\partial \mathcal{L}}{\partial (\partial_\nu\phi)}+x^\nu \partial_\mu\phi\mathcal{L}\right]=[/tex]

Could I use Euler-Lagrange equations to make this zero?
 
Last edited:
Physics news on Phys.org
Seems to me that there is a simple answer: what kind of field is the lagrangian density? How do these fields transform? And then with a property of ##\omega## it seems ok.

In your calculations I think there is something wrong with ##\partial_{\sigma}##: it's not a scalar.
 
Could you develop

[tex]\delta \mathcal{L}=-\partial_\mu(\omega^\mu_\nu x^\nu \mathcal{L})[/tex]
 
I'm going to bed...

$$ \partial_{\sigma}\phi \to \partial_{\sigma}\phi-\omega^\mu_\nu x^\nu\partial_\mu\partial_\sigma\phi+\omega^\mu_\sigma\partial_\mu\phi $$