(*********************************************************************** Mathematica-Compatible Notebook This notebook can be used on any computer system with Mathematica 4.0, MathReader 4.0, or any compatible application. The data for the notebook starts with the line containing stars above. To get the notebook into a Mathematica-compatible application, do one of the following: * Save the data starting with the line of stars above into a file with a name ending in .nb, then open the file inside the application; * Copy the data starting with the line of stars above to the clipboard, then use the Paste menu command inside the application. Data for notebooks contains only printable 7-bit ASCII and can be sent directly in email or through ftp in text mode. Newlines can be CR, LF or CRLF (Unix, Macintosh or MS-DOS style). NOTE: If you modify the data for this notebook not in a Mathematica- compatible application, you must delete the line below containing the word CacheID, otherwise Mathematica-compatible applications may try to use invalid cache data. For more information on notebooks and Mathematica-compatible applications, contact Wolfram Research: web: http://www.wolfram.com email: info@wolfram.com phone: +1-217-398-0700 (U.S.) Notebook reader applications are available free of charge from Wolfram Research. ***********************************************************************) (*CacheID: 232*) (*NotebookFileLineBreakTest NotebookFileLineBreakTest*) (*NotebookOptionsPosition[ 157845, 4797]*) (*NotebookOutlinePosition[ 158650, 4827]*) (* CellTagsIndexPosition[ 158571, 4821]*) (*WindowFrame->Normal*) Notebook[{ Cell[CellGroupData[{ Cell["FunctionalD", "Subsection", CellTags->"FunctionalD"], Cell[CellGroupData[{ Cell["Description", "Subsubsection"], Cell["\<\ FunctionalD[expr, {QuantumField[name, {mu}, {a}][p], ...}] \ calculates the functional derivative of expr with respect to the field list \ (with incoming momenta p, etc.) and does the fourier transform. \ FunctionalD[expr, {QuantumField[name, {mu},{a}], ...}] calculates the \ functional derivate and does partial integration but omits the x-space delta \ functions.\ \>", "Text"], Cell["FunctionalD is a low level function used in FeynRule.", "Text"], Cell[TextData[{ "See also: ", " ", ButtonBox["FeynRule", ButtonData:>"FeynRule", ButtonStyle->"Hyperlink", ButtonNote->"FeynRule"], ", ", ButtonBox["QuantumField", ButtonData:>"QuantumField", ButtonStyle->"Hyperlink", ButtonNote->"QuantumField"], "." }], "Text"] }, Open ]], Cell[CellGroupData[{ Cell["Examples", "Subsubsection"], Cell[TextData[{ "Instead of the usual ", Cell[BoxData[ \(TraditionalForm\`\(\[Delta]\[Phi](x)\)/\(\[Delta]\[Phi]( y)\) = \(\[Delta]\^\((D)\)\)(x - y)\)]], " the arguments and the \[Delta] function are omitted, i.e., for the \ program for simplicity: ", Cell[BoxData[ \(TraditionalForm\`\[Delta]\[Phi]/\[Delta]\[Phi] = 1\)]] }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(FunctionalD[QuantumField[\[Phi]], QuantumField[\[Phi]]]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`1\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(FunctionalD[QuantumField[\[Phi]]^2, QuantumField[\[Phi]]]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`2\ \[Phi]\)], "Output"] }, Open ]], Cell[TextData[{ "Instead of the usual ", Cell[BoxData[ \(TraditionalForm\`\((\[Delta]\ \[PartialD]\_\[Mu]\( \[Phi]( x)\))\)/\(\[Delta]\[Phi]( y)\) = \[PartialD]\_\[Mu]\(\( \[Delta]\^\((D)\)\)(x - y)\)\)]], " the arguments are omitted, and the ", Cell[BoxData[ \(TraditionalForm\`\[PartialD]\_\[Mu]\)]], "operator is specified by default to be an integration by parts operator, \ i.e., the right hand side will be just ", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"-", FormBox[\(\[PartialD]\_\[Mu]\), "TraditionalForm"]}], ","}], TraditionalForm]]], " or, more precisely (by default) ", Cell[BoxData[ FormBox[ RowBox[{"-", SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]]}], TraditionalForm]]], "." }], "Text", ZeroWidthTimes->True], Cell[CellGroupData[{ Cell[BoxData[ \(FunctionalD[QuantumField[PartialD[\[Mu]], \[Phi]], QuantumField[\[Phi]]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"-", SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]]}], TraditionalForm]], "Output"] }, Open ]], Cell[TextData[Cell[BoxData[ \(TraditionalForm\`S[\[Phi]]\ = 1/2 \(\[Integral]\ \(d\^D\) x\ [\ \[PartialD]\_\[Mu]\( \[Phi]( x)\)\ \[PartialD]\^\[Mu]\( \[Phi]( x)\) - \(m\^2\) \(\[Phi](x)\)\ \(\[Phi]( y)\)]\)\)]]], "Text", ZeroWidthTimes->True], Cell[CellGroupData[{ Cell[BoxData[ \(s[\[Phi]] = \((QuantumField[PartialD[\[Mu]], \[Phi]] . QuantumField[PartialD[\[Mu]], \[Phi]] - m^2\ QuantumField[\[Phi]] . QuantumField[\[Phi]])\)/2\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], \(\[Phi]\_\[Null]\%\[Null]\)}], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], \(\[Phi]\_\[Null]\%\[Null]\)}]}], "-", \(m\^2\ \[Phi] . \[Phi]\)}], ")"}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(FunctionalD[s[\[Phi]], QuantumField[\[Phi]]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(\(-\[Phi]\)\ m\^2\), "-", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], \(\[Phi]\_\[Null]\%\[Null]\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[TextData[Cell[BoxData[ \(TraditionalForm\`S[ A]\ = \ \(-\(\[Integral]\ \(d\^D\) x\ 1\/4\ \(\(F\_a\%\[Mu]\[Nu]\)(x)\)\ \(\(F\_\[Mu]\[Nu]a\)( x)\)\)\)\)]]], "Text", ZeroWidthTimes->True], Cell[TextData[StyleBox["First approach", FontWeight->"Bold"]], "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(F1 = FieldStrength[\[Mu], \[Nu], a, {A, b, c}, 1, Explicit \[Rule] True]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(a\[NoBreak]b\[NoBreak]c\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(F2 = FieldStrength[\[Mu], \[Nu], a, {A, d, e}, 1, Explicit \[Rule] True]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(a\[NoBreak]d\[NoBreak]e\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(S[A] = \(-\(1/4\)\) F1 . F2\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(-\(1\/4\)\), " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(a\[NoBreak]b\[NoBreak]c\)\)}]}], ")"}], ".", RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(a\[NoBreak]d\[NoBreak]e\)\)}]}], ")"}]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[TextData[{ "In order to derive the equation of motion the functional derivative of ", Cell[BoxData[ \(TraditionalForm\`S\)]], " with respect to ", Cell[BoxData[ \(TraditionalForm\`A\_\[Sigma]\%g\)]], "has to be set to zero. Bearing in mind that for FeynCalc we have to be \ precise as to where which operators (coming from the substitution of the \ derivative of the \[Delta] function) act:, act with the functional derivative \ operator on the first field strength:" }], "Text"], Cell[TextData[{ Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ FormBox[ RowBox[{ FormBox[ RowBox[{ FormBox[ RowBox[{"0", " ", "=", " ", RowBox[{ FormBox[\(\((\[Delta] S)\)/\((\[Delta] \(\( A\_\[Sigma]\%g\)( y)\))\)\), "TraditionalForm"], "=", \(-\(2/4\)\)}]}], "TraditionalForm"], \(\[Integral]\(d\^D\) x\)}], "TraditionalForm"], " ", \((\[Delta]/\((\[Delta] \(\( A\_\[Sigma]\%g\)( y)\))\)\)}], "TraditionalForm"], " ", \(\(F\_\[Mu]\[Nu]a\)(x)\)}], ")"}], TraditionalForm]]], Cell[BoxData[ FormBox[ RowBox[{ FormBox[\(\(\ \)\(F\_a\%\(\(,\)\(\[Mu]\[Nu]\)\)\)\), "TraditionalForm"], "(", "x", ")"}], TraditionalForm]]] }], "Text", ZeroWidthTimes->True], Cell[TextData[Cell[BoxData[ FormBox[ RowBox[{"See", " ", "what", " ", "happens", " ", "with", " ", "just", RowBox[{ FormBox[\(\((\[Delta] S[A])\)/\((\[Delta] A\_\[Sigma]\%g)\)\), "TraditionalForm"], "."}]}], TraditionalForm]]]], "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(Ag = QuantumField[A, {\[Sigma]}, {g}]\)], "Input"], Cell[BoxData[ FormBox[ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t1 = FunctionalD[F1, Ag]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(-g\^\(\[Nu]\[NoBreak]\[Sigma]\)\), " ", SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(g\^\(\[Mu]\[NoBreak]\[Sigma]\)\), " ", SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(g\^\(\[Nu]\[NoBreak]\[Sigma]\)\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(g\^\(\[Mu]\[NoBreak]\[Sigma]\)\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell["\<\ In order to minimize the number of dummy indices, replace b \[Rule] \ c.\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(t1\ = \ t1\ /. \ b \[Rule] c\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(-g\^\(\[Nu]\[NoBreak]\[Sigma]\)\), " ", SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(g\^\(\[Mu]\[NoBreak]\[Sigma]\)\), " ", SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(g\^\(\[Nu]\[NoBreak]\[Sigma]\)\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(g\^\(\[Mu]\[NoBreak]\[Sigma]\)\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[TextData[{ "Instead of inserting the definition for the second ", Cell[BoxData[ \(TraditionalForm\`F\_a\%\[Mu]\[Nu]\)]], ", introduce a QuantumField object with antisymmetry built into the Lorentz \ indices:" }], "Text"], Cell[BoxData[ \(F /: \ QuantumField[pard___, F, \[Beta]_, \[Alpha]_, s_] := \(-QuantumField[pard, F, \[Alpha], \[Beta], s]\) /; \(! OrderedQ[{\[Beta], \[Alpha]}]\)\)], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(QuantumField[F, {\[Mu], \[Nu]}, {a}]\)], "Input"], Cell[BoxData[ FormBox[ SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(% /. {\[Mu] \[RuleDelayed] \[Nu], \[Nu] \[RuleDelayed] \[Mu]}\)], \ "Input"], Cell[BoxData[ FormBox[ RowBox[{"-", SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t2 = Contract[ExpandPartialD[\(-\(1/2\)\)\ t1 . QuantumField[F, LorentzIndex[\[Mu]], LorentzIndex[\[Nu]], SUNIndex[a]]]] /. Dot \[Rule] Times\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(1\/2\), " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}]}], "+", RowBox[{\(1\/2\), " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}]}], "-", RowBox[{\(1\/2\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/2\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t3\ = \ t2\ /. \ \[Nu] \[Rule] \[Mu]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t4 = FCE[t3] /. \ SUNF[a, c, g] \[Rule] \(-SUNF[g, c, a]\)\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", \(f\_\(g\[NoBreak]c\[NoBreak]a\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[TextData[{ "Since the variational derivative vanishes t4 implies that 0 = ", Cell[BoxData[ \(TraditionalForm\`\(D\_\[Mu]\) F\_g\%\[Mu]\[Sigma]\)]], " ." }], "Text"], Cell[TextData[StyleBox["Second approach", FontWeight->"Bold"]], "Text"], Cell["\<\ It is of course also possible to do the functional deriviate on the \ S[A] with both field strength tensors inserted.\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(S[A]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(-\(1\/4\)\), " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(a\[NoBreak]b\[NoBreak]c\)\)}]}], ")"}], ".", RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(a\[NoBreak]d\[NoBreak]e\)\)}]}], ")"}]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(r1 = FunctionalD[S[A], Ag]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "-", RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "+", RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "-", RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell["\<\ This is just funcional derivatves and partial integration and \ simple contraction of indices. No attempt is made to rename dummy indices \ (since this is difficult in general ...).\ \>", "Text"], Cell["\<\ With a general replacement rule only valid for commuting fields the \ color indices can be canonicalized a bit more. The idea is to use the \ commutative properties of the vector fields, and canonicalize the color \ indices by a trick. This function will work on any commuting product of \ fields.\ \>", "Text"], Cell[BoxData[ \(Clear[symfun]; \)], "Input"], Cell[BoxData[ \(symfun[z_, fieldname_Symbol] := Expand[SUNSimplify[ FixedPoint[ Collect2[\(DotSimplify[#1 /. Times \[Rule] Dot] /. \((\((\((qi___)\) . QuantumField[par1___, fieldname, li1_, sui1_] . QuantumField[par2___, fieldname, li2_, sui2_] . qf___\ )\) any_)\) \[RuleDelayed] \((\((qi . QuantumField[par1, A, li1, sui2] . QuantumField[par2, fieldname, li2, sui1] . qf\ )\) \((any /. {sui1 \[RuleDelayed] sui2, sui2 \[RuleDelayed] sui1})\))\) /; \((\(! \((FreeQ2[ any, {sui1, su2}])\)\))\) && \(! \((OrderedQ[{sui1, sui2}])\)\)\) /. Dot \[Rule] Times, QuantumField] &, z, 42]]]\)], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(r2\ = \ symfun[r1, A]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "-", RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "+", RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "-", RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "-", RowBox[{\(1\/2\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/2\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/2\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/2\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/2\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(r3 = r2 /. \[Nu] \[Rule] \[Mu]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"2", " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(3\/4\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[TextData[{ "Inspection reveals that still terms are the same. Gather the terms with \ two ", Cell[BoxData[ \(TraditionalForm\`\(\(f\)\(\ \)\)\)]], "'s:" }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(twof = Select[r3, Count[#, SUNF[__]] === 2 &]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(-\(3\/4\)\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(twofnew = \((twof\[LeftDoubleBracket]1\[RightDoubleBracket] + \ \((twof[\([\)\(2\)\(]\)] /. {b \[RuleDelayed] c, c \[RuleDelayed] b})\))\) /. {a \[RuleDelayed] c, c \[RuleDelayed] a}\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"-", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(r4\ = \ r3 - twof + twofnew\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"2", " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell["\<\ Check that this is now indeed the same as the t4 result from the \ first attempt.\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(t4\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", \(f\_\(g\[NoBreak]c\[NoBreak]a\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(w0 = RightPartialD[\[Mu]] . FieldStrength[\[Mu], \[Sigma], g, {A, a, b}, 1] + QuantumField[A, LorentzIndex[\[Mu]], SUNIndex[c]] FieldStrength[\[Mu], \[Sigma], a, {A, b, d}, 1] SUNF[g, c, a]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["F", \(\[Mu]\[NoBreak]\[Sigma]\), RowBox[{"g", "\[NoBreak]", FormBox[\({A, a, b}\), "TraditionalForm"], "\[NoBreak]", FormBox["1", "TraditionalForm"]}]]}], "+", RowBox[{ SubsuperscriptBox["F", \(\[Mu]\[NoBreak]\[Sigma]\), RowBox[{"a", "\[NoBreak]", FormBox[\({A, b, d}\), "TraditionalForm"], "\[NoBreak]", FormBox["1", "TraditionalForm"]}]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", \(f\_\(g\[NoBreak]c\[NoBreak]a\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(w1 = Explicit[w0]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(g\[NoBreak]a\[NoBreak]b\)\)}]}], ")"}]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(a\[NoBreak]b\[NoBreak]d\)\)}]}], ")"}], " ", \(f\_\(g\[NoBreak]c\[NoBreak]a\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(w2 = ExpandPartialD[w1] /. Dot \[Rule] Times\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(dif1\ = \ w2 - r4\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ Fo