Help with Vector Notation: \partial_{\mu} \phi^{*}\partial^{\mu} \phi

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 · 3K views
Onamor
Messages
76
Reaction score
0
Not a particularly direct question, just something I don't mathematically understand and would very much appreciate help with.

For some scalar field [itex]\phi[/itex], what would [itex]\partial_{\mu} \phi^{*}\partial^{\mu} \phi[/itex] mean in mathematical terms. ie how would I calculate it?

From what I understand its basically [itex]\Sigma_{\mu}\left(\frac{\partial}{\partial x^{\mu}}\phi \right)^{2}[/itex] because of the complex conjugate in the scalar field, and you sum over repeated indexes.

Also, just to ask, why wouldn't I write this [itex]\partial^{\mu} \phi^{*} \partial^{\mu} \phi[/itex]? Is it because I wouldn't then be allowed to sum over the [itex]\mu[/itex] index?
Or is it something to do with a contraction being Lorentz invariant?

Thanks for any help, let me know if I haven't been clear.
 
Physics news on Phys.org
[itex]\partial_\mu \phi^* \partial^\mu \phi[/itex] is the same as [itex]\eta^{\mu\nu}\partial_\mu \phi^* \partial_\nu \phi[/itex] where
[tex]\partial_\mu = \frac{\partial}{\partial x^\mu}[/tex]and repeated indices imply summation, so you have
[tex]\partial_\mu \phi^* \partial^\mu \phi = - \left\lvert\frac{\partial \phi}{\partial x^0}\right\rvert^2+\sum_i \left\lvert\frac{\partial \phi}{\partial x^i}\right\rvert^2[/tex]
In general, you shouldn't have a repeated index with both raised or both lowered. They should always come one up and one down, otherwise you have a malformed expression on your hands.
 
Onamor said:
Also, just to ask, why wouldn't I write this [itex]\partial^{\mu} \phi^{*} \partial^{\mu} \phi[/itex]? Is it because I wouldn't then be allowed to sum over the [itex]\mu[/itex] index?
Or is it something to do with a contraction being Lorentz invariant?

To complement vela's response: the answers are yes and yes.
Summation convention only applies to one upper and one lower index, and the whole idea is that doing this that given some objects behaving properly under Lorentz-transformations, the notation almost forces you into creating new objects behaving properly under Lorentz-transformations, rather than some arbitrary mathematical expression.
As vela shows, it means that if you use the simple trick of "one upper + one lower" index what you are actually doing is making sure you use the spacetime metric in precisely the places you need to get Lorentz-invariance right.
 
Thank you both, very helpful as always.
Much appreciated.