# Field Theory: Prove transformations are a symmetry

1. Nov 6, 2014

### gu1t4r5

The problem statement, all variables and given/known data
Consider the lagrangian $$L=\delta_\mu \phi \delta^\mu \phi^* - m^2 \phi \phi^*$$

Show that the transformation:
$$\phi \rightarrow \phi + a \,\,\,\,\,\,\,\,\,\, \phi^* \rightarrow \phi^* + a^*$$
is symmetry when m=0.

The attempt at a solution
Substituting the transformation into the lagrangian gives:
$$L=\delta_\mu ( \phi + a ) \delta^\mu ( \phi^* + a^* )- m^2 (\phi + a) ( \phi^* + a^*)$$
$$= (\delta_\mu \phi + \delta_\mu a) ( \delta^\mu \phi^* + \delta^\mu a^*) - m^2 ( \phi \phi^* + a^* \phi + a \phi^* + aa^*)$$

I know that this is a symmetry when the action is invariant, so the langrangian is invariant up to a total derivative. $L \rightarrow L + \delta_\mu J^\mu$

I can't see how I could rewrite the above expression so that $L \rightarrow L + \delta_\mu J^\mu$ . Obviously the second term vanishes with m=0, but expanding the first gives:
$$L = \delta_\mu \phi \delta^\mu \phi^* + \delta_\mu a \delta^\mu a^* + \delta_\mu a \delta^\mu \phi^* + \delta_\mu \phi \delta^\mu a^*$$
meaning the total derivative would have to be
$$\delta_\mu J^\mu = \delta_\mu a \delta^\mu a^* + \delta_\mu a \delta^\mu \phi^* + \delta_\mu \phi \delta^\mu a^*$$
which is a form I can't rewrite it in to (what would $J^\mu$ be?)

The only solution I can see would be for a & a* to be independent of spacetime, so that $\delta_\mu a = \delta^\mu a^* = 0$ , but other than answering the question I don't know if there is any justification in saying that.

So, are a/a* independent of spacetime, or should I be able to rearrange the above to form a total derivative term? Or am I missing something else completely?

Thanks.

2. Nov 6, 2014

### nrqed

Ye
Yes, "a" is a constant (independent of x). In the absence of gravity, that's all we can do. If we include gravity (by working withe formalism of GR and introducing the metric), then one may make space-time transformations local.

3. Nov 6, 2014

### gu1t4r5

Great, thanks.
Is there a way to justify that a is a constant from the notation? (I assume not as there is no notation here to signify the dependence of $\phi$ on X, but the question does not explicitly say a has no dependence)