Understanding the Einstein Notation for Derivatives in Quantum Field Theory

[spacelike]

I'm trying to get into quantum field theory, I've seen Einstein notation before and I think I'm grasping it fairly well, but I've ran into two things that I just could not figure out and they both involved derivatives, or gradients.
My problem is just mathematical, doesn't have to do with the physics at all.

Can anyone please help me understand the following from the book An introduction to quantum field theory by Peskin and Schroeder. I have another issue, but I don't want this post to get too long and I'm hoping that if I understand this I will understand my other problem as well:

==================================
The book gives the following:
\mathcal{L}=\frac{1}{2}(\partial_{\mu}\phi)^{2}-\frac{1}{2}m^{2}\phi^{2}
Now, the thing I don't understand is that the book says if we use this lagrangian with the Euler-Lagrange equation:
\partial_{\mu}\left( \frac{\partial\mathcal{L}}{\partial(\partial_{\mu}\phi)}\right)-\frac{\partial\mathcal{L}}{\partial\phi}=0
and they say that plugging that lagrangian into the above will give:
(\partial^{\mu}\partial_{\mu}+m^{2})\phi=0

Now, when I try to work this out I get this instead:
(\partial_{\mu}\partial_{\mu}+m^{2})\phi=0
which is obviously wrong I think, but I don't understand where the raised subscript comes from in their answer.

 

[vik10622]

It is better if you write the lagrangian in the form

\mathcal{L} = \frac{1}{2} \eta^{\mu\mu} (\partial_\mu \phi) (\partial_\mu \phi) - \frac{1}{2} m^2 \phi^2

where \eta^{\mu\mu} is the metric for flat space

The metric raises the index of the first \partial_\mu of the Euler-Lagrange equation as \partial^\mu = \eta^{\mu\mu} \partial_\mu and you get the final equation correctly

 

[HallsofIvy]

Very roughly, the derivative has an index, \mu, as a subscript in the denominator. Without the derivative notation, that becomes a superscript just as a negative power in the denominator of a fraction becomes a positive power in the numerator.

 

[WannabeNewton]

vik's notation is incorrect because it does not obey the Einstein summation convention and I suspect he just made some typos but his idea is the correct one. We can rewrite the klein gordon lagrangian as \mathcal{L} = -\frac{1}{2}\eta ^{\mu \nu }(\partial _{\mu }\phi)( \partial _{\nu }\phi )-\frac{1}{2}m^{2}\phi ^{2}. Then, \frac{\partial \mathcal{L} }{\partial \phi } = -m^{2}\phi , \frac{\partial \mathcal{L} }{ \partial (\partial _{\mu }\phi)} = -\eta ^{\mu \nu }\partial _{\nu }\phi so the equations of motion are just \partial ^{\mu }\partial _{\mu }\phi - m^{2}\phi = 0 as usual.