Solving Confusing Indices in Operator Calculus

  • Context: Graduate 
  • Thread starter Thread starter countable
  • Start date Start date
  • Tags Tags
    Confusing Indices
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
2 replies · 2K views
countable
Messages
12
Reaction score
0
Sorry if this is a stupid question but I really want to understand this.

If we have an operator that's defined in the following way:

[tex]D_\mu \phi^a = \partial_\mu \phi^a - iA^{r}_{\mu}{(T_r)^a}_b\phi^b[/tex]

How would we go about working out:

[tex]D_\mu D_\nu \phi^a[/tex]

What's confusing me is that the operator D acts on one component of the scalar (the gauge field) on the LHS, but acts on two components of the scalar on the RHS.

FYI: the "answer" is that [tex]D_\mu D_\nu\phi^a=(\partial_\mu{\delta^a}_b - iA^{r}_{\mu}{(T_r)^a}_b)(\partial_\nu{\delta^b}_c - iA^{s}_{\nu}{(T_s)^b}_c)\phi^c[/tex]

How does the above expression come about?
 
Physics news on Phys.org
The first thing to realize is that the your differential operators has two indices:

[tex]D_\mu \equiv (D_\mu)^a_{\phantom{a}{b}}[/tex].​

Therefore, the combination [itex]D_\mu\phi^a[/itex] is really

[tex]D_\mu\phi^a\equiv (D_\mu)^a_{\phantom{a}{b}}\phi^b[/tex].​

With this in mind, it should be pretty clear that

[tex]D_\mu D_\nu \phi^a\equiv (D_\mu)^a_{\phantom{a}{b}} (D_\nu)^b_{\phantom{b}{c}}\phi^c[/tex].​

Does that help?
 
thanks that was a good explanation:)