Ableitung der Feldgleichung in der Yang Mills-Theorie

Versuch das zu zeigen

D μ F μ v = μ F μ v + G A μ × F μ v = 4 π J v ,

oder (korrigiert mich, wenn ich falsch liege)

μ F A μ v + G F A B C A μ B F C μ v = 4 π J A v .

durch Variieren der Aktion

S = ( 1 4 F μ v A F A μ v + J A μ A μ A ) D 3 X D T

Ich weiß, wie man das für normales E & M macht (tatsächlich direkt mit den Euler-Lagrange-Gleichungen beginnend), bin mir aber nicht sicher, wie ich mit diesem zusätzlichen Term umgehen soll, der sich aus dem Operator ergibt D μ .

Antworten (1)

Der kovariante Differentialoperator D μ Ist D μ = μ ( ICH D ) ich G A μ = μ ( ICH D ) ich G T A A μ A , Wo ( ICH D ) ist die Identitätsmatrix und die T A sind die Generatoren einer Lie-Algebra.

Du hast F μ v = D μ A v D v A μ , was bedeutet, dass F μ v ist eine kovariante Größe.

Aus den obigen Ausdrücken und den Kommutierungsbeziehungen [ T A , T B ] = ich F A B C T C Wenn Sie die Lie-Algebra definieren, erhalten Sie den Ausdruck von F μ v A :

F μ v A = μ A v A v A μ A + G F A B C A μ B A v C .

Wenden Sie jetzt einfach die Euler-Lagrange-Gleichungen an L A v A μ L ( μ A v A ) = 0 .

Wenn ich explizit ausschreiben will F μ v A F A μ v wäre der erste Begriff ( μ A v A v A μ A + G F A B C A μ B A μ C ) ? Was ist mit dem zweiten, mit oberen Indizes? Kann ich schreiben ( η μ γ γ A δ A η δ v η v ρ ρ A σ A η σ μ + F A B C η κ μ A κ B η λ v A λ C ) ? Ist f hier auch der Levi-Civita-Tensor? Probleme mit der Indexnotation, sorry.
@ user44212 : 1) Sie erhalten "kontravariante" Mengen A A μ aus "kovarianten" Größen A v A mit dem metrischen Tensor: A A μ = η μ v A v A . 2) F A B C ist ein vollständig antisymmetrischer Tensor, der für die Lie-Algebra charakteristisch ist. Im Spezialfall wo die Lie-Algebra ist S u ( 2 ) , F A B C = ϵ A B C , der Levi-Civita-Tensor ( A , B , C ) In ( 1 , 2 , 3 )