- #1
OneLastTry
- 3
- 0
Homework Statement
The goal of the question I'm being asked is to show that the covariant derivatives, [itex]D_{\mu}[/itex], "integrate by parts" in the same manner that the ordinary partial derivatives, [itex]\partial_{\mu}[/itex] do.
More precisely, the covariant derivatives act on the complex scalar field [itex]\varphi_A[/itex] such that
[tex]
\begin{align}
D_{\mu} \varphi_A &= \partial_{\mu} \varphi_A - i g \varphi_A A^i_{\mu} T^{i \; B}_{\;A} \\
D_{\mu} \varphi^{*A} &= \partial_{\mu} \varphi^{*A} + ig \varphi^{*B} A^i_{\mu} T^{i \; A}_{\;B},
\end{align}
[/tex]
where T are the gauge group generators, g is the coupling constant and A is the gauge field.
I'm told to vary the scalar fields in the gauge-coupled scalar kinetic term, [itex] I = \int d^4 x \left[ -D^{\mu} \varphi^{*A} D_{\mu} \varphi_A \right] [/itex] (subject to the usual fixing and fall-off conditions). Here's what the solutions say:
[tex]
\begin{align}
\delta I &= \int d^4 x \left[ -\delta (D^{\mu} \varphi^{*A})D_{\mu} \varphi_A - D^{\mu} \varphi^{*A} \delta (D_{\mu} \varphi_A) \right] \\
&= \int d^4 x \left[ -(\partial_{\mu} \delta \varphi^{*A} + ig A^i_{\mu} T^{i \; A}_{\;B} \delta \varphi^{*B}) D^{\mu} \varphi_A - D^{\mu} \varphi^{*A} (\partial_{\mu} \delta \varphi_{A} - ig A^i_{\mu} T^{i\;B}_{\;A} \delta \varphi_B) \right]
\end{align}
[/tex]
From there, the professor integrates the first and third terms by parts (using the boundary conditions to set the surface term to zero), relabels and uses the definition of the covariant derivatives to show that you can integrate the covariant derivatives by parts in the same way as normal partial derivatives:
[tex]
\delta I = \int d^4 x \left[ \delta \varphi^{*A} D_{\mu} D^{\mu} \varphi_A + \delta \varphi_A D_{\mu} D^{\mu} \varphi^{*A} \right].
[/tex]
I understand all the parts except the bit that I'm sure someone will tell me is the most trivial :)
When varying the Lagrangian, why does
[tex]
\delta (D^{\mu} \varphi^{*A})D_{\mu} \varphi_A = (\partial_{\mu} \delta \varphi^{*A} + ig A^i_{\mu} T^{i \; A}_{\;B} \delta \varphi^{*B}) D^{\mu} \varphi_A?
[/tex]
The professor seems to have changed from upper to lower indices on the first part ( [itex] D^{\mu} \rightarrow \partial_{\mu} \dots + ig A^i_{\mu} \dots [/itex]) and from lower to upper on the second part ( [itex] D_{\mu} \varphi_A \rightarrow D^{\mu} \varphi_A[/itex] ).
I have a deep suspicion that I'm missing something obvious, but I can't see how those indices flipped. Can anyone help?