1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Variation of scalar kinetic lagrangian

  1. Jan 3, 2012 #1
    1. The problem statement, all variables and given/known data
    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?
     
  2. jcsd
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?



Similar Discussions: Variation of scalar kinetic lagrangian
  1. Lagrangian problem (Replies: 0)

  2. Calculus of variation (Replies: 0)

  3. Variational method. (Replies: 0)

Loading...