(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* https://www.wolfram.com/nb *) (* CreatedBy='Mathematica 8.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 157, 7] NotebookDataLength[ 37271, 1213] NotebookOptionsPosition[ 35479, 1151] NotebookOutlinePosition[ 35824, 1166] CellTagsIndexPosition[ 35781, 1163] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[BoxData[ RowBox[{"<<", "HighEnergyPhysics`FeynCalc`"}]], "Input"], Cell["\<\ Loading FeynCalc from C:\\Archivos de programa\\Wolfram Research\\Mathematica\ \\8.0\\AddOns\\Applications\\HighEnergyPhysics\ \>", "Text", CellMargins->{{Inherited, Inherited}, {1, 0}}, GeneratedCell->True, CellAutoOverwrite->True, CellChangeTimes->{3.53910547253125*^9}], Cell[TextData[{ StyleBox["FeynCalc", FontWeight->"Bold"], " ", "8.1.0", " For help, type ?FeynCalc, open ", ButtonBox["FeynCalcRef8.nb", BaseStyle->"AddOnsLink", ButtonFunction:>NotebookOpen[ "C:\\Archivos de programa\\Wolfram \ Research\\Mathematica\\8.0\\AddOns\\Applications\\HighEnergyPhysics\\\ Documentation\\English\\FeynCalcRef8.nb"], ButtonData:>{"Short Overview", "intro"}, ButtonNote->"Open FeynCalcRef8.nb"], " or visit ", ButtonBox["www.feyncalc.org", BaseStyle->"Hyperlink", ButtonData:>{ URL["https://www.feyncalc.org/"], None}, ButtonNote->"https://www.feyncalc.org/"] }], "Text", CellMargins->{{Inherited, Inherited}, {1, 0}}, GeneratedCell->True, CellAutoOverwrite->True, CellChangeTimes->{3.539105474140625*^9}], Cell[TextData[{ "Loading FeynArts, see ", ButtonBox["www.feynarts.de", BaseStyle->"Hyperlink", ButtonData:>{ URL["https://www.feynarts.de/"], None}, ButtonNote->"https://www.feynarts.de/"], " for documentation" }], "Text", CellMargins->{{Inherited, Inherited}, {1, 0}}, GeneratedCell->True, CellAutoOverwrite->True, CellChangeTimes->{3.53910547628125*^9}], Cell["FeynArts 3.4 patched for use with FeynCalc", "Text", CellMargins->{{Inherited, Inherited}, {1, 0}}, GeneratedCell->True, CellAutoOverwrite->True, CellChangeTimes->{3.539105476484375*^9}], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"ScalarProduct", "[", RowBox[{"p1", ",", "p1"}], "]"}], "=", RowBox[{ RowBox[{"ScalarProduct", "[", RowBox[{"p2", ",", "p2"}], "]"}], "=", SuperscriptBox["m", "2"]}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"ScalarProduct", "[", RowBox[{"k1", ",", "k1"}], "]"}], "=", RowBox[{ RowBox[{"ScalarProduct", "[", RowBox[{"k2", ",", "k2"}], "]"}], "=", "0"}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"ScalarProduct", "[", RowBox[{"k1", ",", "k2"}], "]"}], "=", RowBox[{ RowBox[{"ScalarProduct", "[", RowBox[{"p1", ",", "p2"}], "]"}], "-", SuperscriptBox["m", "2"]}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"ScalarProduct", "[", RowBox[{"k1", ",", "p2"}], "]"}], "=", RowBox[{"ScalarProduct", "[", RowBox[{"k2", ",", "p1"}], "]"}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"ScalarProduct", "[", RowBox[{"k2", ",", "p2"}], "]"}], "=", RowBox[{"ScalarProduct", "[", RowBox[{"k1", ",", "p1"}], "]"}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"ScalarProduct", "[", RowBox[{"p1", ",", "p2"}], "]"}], "=", RowBox[{ SuperscriptBox["m", "2"], "+", RowBox[{"ScalarProduct", "[", RowBox[{"k1", ",", "p1"}], "]"}], "-", RowBox[{"ScalarProduct", "[", RowBox[{"k2", ",", "p1"}], "]"}]}]}], ";"}]}], "Input", CellChangeTimes->{{3.539085384359375*^9, 3.53908539984375*^9}, 3.539085446765625*^9, {3.53908551759375*^9, 3.539085518125*^9}, 3.539085611859375*^9, {3.53908573415625*^9, 3.53908575796875*^9}, { 3.53908612515625*^9, 3.53908613346875*^9}, {3.539086965921875*^9, 3.539086974203125*^9}}], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"M1", "=", RowBox[{ RowBox[{"e", "^", "2"}], "*", RowBox[{ RowBox[{"Spinor", "[", RowBox[{"p2", ",", "m"}], "]"}], ".", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{ RowBox[{"GA", "[", "\[Nu]", "]"}], ".", RowBox[{"(", RowBox[{ RowBox[{"GS", "[", RowBox[{"p1", "+", "k1"}], "]"}], "+", "m"}], ")"}], ".", RowBox[{"GA", "[", "\[Mu]", "]"}]}], "/", RowBox[{"(", RowBox[{ RowBox[{"SP", "[", RowBox[{ RowBox[{"p1", "+", "k1"}], ",", RowBox[{"p1", "+", "k1"}]}], "]"}], "-", RowBox[{"m", "^", "2"}]}], ")"}]}], "+", RowBox[{ RowBox[{ RowBox[{"GA", "[", "\[Mu]", "]"}], ".", RowBox[{"(", RowBox[{ RowBox[{"GS", "[", RowBox[{"p1", "-", "k2"}], "]"}], "+", "m"}], ")"}], ".", RowBox[{"GA", "[", "\[Nu]", "]"}]}], "/", RowBox[{"(", RowBox[{ RowBox[{"SP", "[", RowBox[{ RowBox[{"p1", "-", "k2"}], ",", RowBox[{"p1", "-", "k2"}]}], "]"}], "-", RowBox[{"m", "^", "2"}]}], ")"}]}]}], ")"}], ".", RowBox[{"Spinor", "[", RowBox[{"p1", ",", "m"}], "]"}]}], "*", RowBox[{"PolarizationVector", "[", RowBox[{"k1", ",", "\[Mu]"}], "]"}], "*", RowBox[{"Conjugate", "[", RowBox[{"PolarizationVector", "[", RowBox[{"k2", ",", "\[Nu]"}], "]"}], "]"}]}]}], ";"}], "\n", RowBox[{ RowBox[{"M1A", "=", RowBox[{ RowBox[{ RowBox[{"ComplexConjugate", "[", "M1", "]"}], " ", "/.", " ", RowBox[{"\[Mu]", "\[Rule]", " ", "\[Mu]2"}]}], " ", "/.", " ", RowBox[{"\[Nu]", "\[Rule]", " ", "\[Nu]2"}]}]}], ";"}], "\[IndentingNewLine]", RowBox[{"A", "=", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{ RowBox[{"M1A", " ", RowBox[{"M1", "/", "4"}]}], " ", "//", " ", "DoPolarizationSums"}], " ", "//", " ", "Contract"}], " ", "//", " ", "FermionSpinSum"}], ")"}], " ", "/.", " ", RowBox[{"DiracTrace", "\[Rule]", "TR"}]}]}], "\[IndentingNewLine]", RowBox[{"Collect", "[", RowBox[{"A", ",", "m"}], "]"}]}], "Input", CellChangeTimes->{{3.53729006521875*^9, 3.53729007975*^9}, { 3.537291055203125*^9, 3.5372910589375*^9}, {3.537294459890625*^9, 3.53729446984375*^9}, 3.53729468453125*^9, {3.53729659815625*^9, 3.537296623359375*^9}, {3.53729667146875*^9, 3.537296758109375*^9}, { 3.539076767296875*^9, 3.539076811484375*^9}, {3.5390768501875*^9, 3.539076855953125*^9}, {3.53907689065625*^9, 3.53907702075*^9}, { 3.5390854085625*^9, 3.53908541284375*^9}, {3.539085767890625*^9, 3.539085783984375*^9}, {3.53908586678125*^9, 3.539085871953125*^9}, { 3.5390862845625*^9, 3.53908628703125*^9}, {3.53908631875*^9, 3.539086327984375*^9}, {3.53908639525*^9, 3.539086401296875*^9}, { 3.539086623328125*^9, 3.5390866846875*^9}, 3.5390867308125*^9, { 3.5390868191875*^9, 3.5390868315*^9}, {3.539086867703125*^9, 3.539086881890625*^9}, {3.53908691653125*^9, 3.539086918328125*^9}, { 3.53908702996875*^9, 3.539087159625*^9}, {3.53911390590625*^9, 3.53911394078125*^9}, {3.539113970796875*^9, 3.5391140344375*^9}, { 3.539114066171875*^9, 3.53911421240625*^9}, {3.539114341828125*^9, 3.539114349484375*^9}}], Cell[BoxData[ FormBox[ RowBox[{ SuperscriptBox["e", "4"], " ", RowBox[{"(", RowBox[{ RowBox[{"-", FractionBox[ RowBox[{"4", " ", SuperscriptBox["m", "4"]}], RowBox[{ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], " ", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}]]}], "+", FractionBox[ RowBox[{"2", " ", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]], "+", FractionBox[ RowBox[{"2", " ", RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]], "+", FractionBox[ RowBox[{"2", " ", SuperscriptBox["m", "4"]}], SuperscriptBox[ FormBox[ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "2"]], "+", FractionBox[ RowBox[{"4", " ", SuperscriptBox["m", "2"]}], RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]], "+", FractionBox[ RowBox[{"2", " ", SuperscriptBox["m", "4"]}], SuperscriptBox[ FormBox[ RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "2"]], "-", FractionBox[ RowBox[{"4", " ", SuperscriptBox["m", "2"]}], RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]]}], ")"}]}], TraditionalForm]], "Output", CellChangeTimes->{{3.539076945015625*^9, 3.539077021546875*^9}, 3.539084941890625*^9, {3.539085405*^9, 3.539085413953125*^9}, 3.539085769796875*^9, {3.5390858679375*^9, 3.539085873578125*^9}, 3.53908613828125*^9, {3.53908629003125*^9, 3.539086350984375*^9}, { 3.53908639759375*^9, 3.53908640234375*^9}, 3.53908653115625*^9, { 3.5390866241875*^9, 3.539086685140625*^9}, 3.539086731296875*^9, { 3.539086824234375*^9, 3.53908688259375*^9}, 3.539086920078125*^9, { 3.539086970359375*^9, 3.53908699146875*^9}, {3.5390870320625*^9, 3.5390871706875*^9}, 3.539106025640625*^9, 3.539113962640625*^9, { 3.53911416959375*^9, 3.539114236640625*^9}, 3.539114351546875*^9}], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SuperscriptBox["e", "4"], " ", SuperscriptBox["m", "4"], " ", RowBox[{"(", RowBox[{ RowBox[{"-", FractionBox["4", RowBox[{ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], " ", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}]]}], "+", FractionBox["2", SuperscriptBox[ FormBox[ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "2"]], "+", FractionBox["2", SuperscriptBox[ FormBox[ RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "2"]]}], ")"}]}], "+", RowBox[{ SuperscriptBox["e", "4"], " ", SuperscriptBox["m", "2"], " ", RowBox[{"(", RowBox[{ FractionBox["4", RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]], "-", FractionBox["4", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]]}], ")"}]}], "+", RowBox[{ SuperscriptBox["e", "4"], " ", RowBox[{"(", RowBox[{ FractionBox[ RowBox[{"2", " ", RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]], "+", FractionBox[ RowBox[{"2", " ", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]]}], ")"}]}]}], TraditionalForm]], "Output", CellChangeTimes->{{3.539076945015625*^9, 3.539077021546875*^9}, 3.539084941890625*^9, {3.539085405*^9, 3.539085413953125*^9}, 3.539085769796875*^9, {3.5390858679375*^9, 3.539085873578125*^9}, 3.53908613828125*^9, {3.53908629003125*^9, 3.539086350984375*^9}, { 3.53908639759375*^9, 3.53908640234375*^9}, 3.53908653115625*^9, { 3.5390866241875*^9, 3.539086685140625*^9}, 3.539086731296875*^9, { 3.539086824234375*^9, 3.53908688259375*^9}, 3.539086920078125*^9, { 3.539086970359375*^9, 3.53908699146875*^9}, {3.5390870320625*^9, 3.5390871706875*^9}, 3.539106025640625*^9, 3.539113962640625*^9, { 3.53911416959375*^9, 3.539114236640625*^9}, 3.539114351625*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{"ClearScalarProducts", ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"Clear", "[", RowBox[{"p1", ",", "p2", ",", "k1", ",", "k2"}], "]"}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"SetMandelstam", "[", RowBox[{"s", ",", "t", ",", "u", ",", "p1", ",", "k1", ",", RowBox[{"-", "p2"}], ",", RowBox[{"-", "k2"}], ",", "m", ",", "0", ",", "m", ",", "0"}], "]"}], ";"}], "\[IndentingNewLine]", RowBox[{"TrickMandelstam", "[", RowBox[{"A", ",", RowBox[{"{", RowBox[{"s", ",", "t", ",", "u", ",", RowBox[{"2", RowBox[{"m", "^", "2"}]}]}], "}"}]}], "]"}]}], "Input", CellChangeTimes->{{3.539087184640625*^9, 3.53908718534375*^9}, { 3.539091128890625*^9, 3.539091378703125*^9}, {3.5390925179375*^9, 3.5390925205*^9}, {3.539093866015625*^9, 3.539093867625*^9}, { 3.53911386771875*^9, 3.539113877609375*^9}, {3.539114240953125*^9, 3.539114245796875*^9}, {3.539114279625*^9, 3.539114359015625*^9}, { 3.53911447475*^9, 3.53911447815625*^9}, {3.53911454975*^9, 3.539114550984375*^9}, {3.539114602046875*^9, 3.539114605984375*^9}}], Cell[BoxData[ FormBox[ FractionBox[ RowBox[{"2", " ", SuperscriptBox["e", "4"], " ", RowBox[{"(", RowBox[{ RowBox[{"-", RowBox[{"2", " ", SuperscriptBox["m", "4"], " ", RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], " ", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}]}], "+", RowBox[{"2", " ", SuperscriptBox["m", "2"], " ", RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], " ", SuperscriptBox[ FormBox[ RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "2"]}], "-", RowBox[{"2", " ", SuperscriptBox["m", "2"], " ", SuperscriptBox[ FormBox[ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "2"], " ", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], "+", RowBox[{ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], " ", SuperscriptBox[ FormBox[ RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "3"]}], "+", RowBox[{ SuperscriptBox[ FormBox[ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "3"], " ", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], "+", RowBox[{ SuperscriptBox["m", "4"], " ", SuperscriptBox[ FormBox[ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "2"]}], "+", RowBox[{ SuperscriptBox["m", "4"], " ", SuperscriptBox[ FormBox[ RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "2"]}]}], ")"}]}], RowBox[{ SuperscriptBox[ FormBox[ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "2"], " ", SuperscriptBox[ FormBox[ RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "2"]}]], TraditionalForm]], "Output", CellChangeTimes->{ 3.539114479375*^9, {3.539114552421875*^9, 3.5391145625625*^9}, 3.539114614*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"(*", RowBox[{"Otras", " ", "comprobaciones", " ", "intermedias"}], "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"t1", "=", RowBox[{"4", "*", RowBox[{"Tr", "[", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"GS", "[", "p2", "]"}], "+", "m"}], ")"}], ".", RowBox[{"GS", "[", "p1", "]"}], ".", RowBox[{"(", RowBox[{ RowBox[{"GS", "[", "p1", "]"}], "+", "m"}], ")"}], ".", RowBox[{"GS", "[", "p1", "]"}]}], "]"}]}]}], RowBox[{"(*", "t1", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"%", "-", RowBox[{"16", RowBox[{"m", "^", "2"}], "*", RowBox[{"SP", "[", RowBox[{"p1", ",", "p2"}], "]"}]}], "-", RowBox[{"16", RowBox[{"m", "^", "4"}]}]}], " ", "//", " ", "Simplify"}]}]}]], "Input", CellChangeTimes->{{3.539087184640625*^9, 3.53908718534375*^9}, { 3.539091128890625*^9, 3.539091378703125*^9}, {3.5390925179375*^9, 3.5390925205*^9}, {3.539093866015625*^9, 3.539093867625*^9}, { 3.53911386771875*^9, 3.539113877609375*^9}, {3.539114240953125*^9, 3.539114245796875*^9}}], Cell[BoxData[ FormBox[ RowBox[{"16", " ", RowBox[{"(", RowBox[{ RowBox[{ SuperscriptBox["m", "2"], " ", RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], "-", RowBox[{ SuperscriptBox["m", "2"], " ", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], "+", RowBox[{"2", " ", SuperscriptBox["m", "4"]}]}], ")"}]}], TraditionalForm]], "Output", CellChangeTimes->{{3.539091221578125*^9, 3.5390912658125*^9}, 3.539091317328125*^9, {3.53909135459375*^9, 3.539091380203125*^9}, 3.53909389009375*^9}], Cell[BoxData[ FormBox["0", TraditionalForm]], "Output", CellChangeTimes->{{3.539091221578125*^9, 3.5390912658125*^9}, 3.539091317328125*^9, {3.53909135459375*^9, 3.539091380203125*^9}, 3.53909389009375*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"t2", "=", RowBox[{ RowBox[{"-", "2"}], "*", RowBox[{"Tr", "[", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"GS", "[", "p2", "]"}], "+", "m"}], ")"}], ".", RowBox[{"GA", "[", "\[Nu]", "]"}], ".", RowBox[{"(", RowBox[{ RowBox[{"GS", "[", "p1", "]"}], "+", "m"}], ")"}], ".", RowBox[{"GA", "[", "\[Nu]", "]"}], ".", RowBox[{"GS", "[", "k2", "]"}], ".", RowBox[{"GS", "[", "p1", "]"}]}], "]"}]}]}], RowBox[{"(*", "t2", "*)"}]}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"%", "-", RowBox[{"(", RowBox[{ RowBox[{"32", "*", RowBox[{"SP", "[", RowBox[{"p1", ",", "p2"}], "]"}], "*", RowBox[{"SP", "[", RowBox[{"p1", ",", "k2"}], "]"}]}], "-", RowBox[{"16", RowBox[{"m", "^", "2"}], "*", RowBox[{"SP", "[", RowBox[{"p2", ",", "k2"}], "]"}]}], "-", RowBox[{"32", RowBox[{"m", "^", "2"}], "*", RowBox[{"SP", "[", RowBox[{"k2", ",", "p1"}], "]"}]}]}], ")"}]}], " ", "//", " ", "Expand"}], " ", "//", " ", "Simplify"}], "\[IndentingNewLine]"}], "Input", CellChangeTimes->{{3.539091388359375*^9, 3.539091435734375*^9}, { 3.5390915603125*^9, 3.539091617828125*^9}, {3.5390925170625*^9, 3.539092522078125*^9}, {3.5390938705625*^9, 3.539093871890625*^9}}], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"-", "8"}], " ", RowBox[{"(", RowBox[{ RowBox[{"-", RowBox[{"4", " ", RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], " ", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}]}], "+", RowBox[{"2", " ", SuperscriptBox["m", "2"], " ", RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], "+", RowBox[{"4", " ", SuperscriptBox[ FormBox[ RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "2"]}]}], ")"}]}], TraditionalForm]], "Output", CellChangeTimes->{ 3.5390914365625*^9, {3.539091562453125*^9, 3.53909161821875*^9}, 3.539093886546875*^9}], Cell[BoxData[ FormBox[ RowBox[{"32", " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], "-", FormBox[ RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], "-", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], ")"}]}], TraditionalForm]], "Output", CellChangeTimes->{ 3.5390914365625*^9, {3.539091562453125*^9, 3.53909161821875*^9}, 3.53909388659375*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"t3", "=", RowBox[{"2", "*", RowBox[{"Tr", "[", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"GS", "[", "p2", "]"}], "+", "m"}], ")"}], ".", RowBox[{"GS", "[", "p1", "]"}], ".", RowBox[{"GS", "[", "k1", "]"}], ".", RowBox[{"GA", "[", "\[Mu]", "]"}], ".", RowBox[{"(", RowBox[{ RowBox[{"GS", "[", "p1", "]"}], "+", "m"}], ")"}], ".", RowBox[{"GA", "[", "\[Mu]", "]"}]}], "]"}]}]}], RowBox[{"(*", "t3", "*)"}]}], "\[IndentingNewLine]", RowBox[{ RowBox[{"%", "-", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"-", "32"}], "*", RowBox[{"SP", "[", RowBox[{"k1", ",", "p1"}], "]"}], "*", RowBox[{"SP", "[", RowBox[{"p1", ",", "p2"}], "]"}]}], "+", RowBox[{"16", RowBox[{"m", "^", "2"}], "*", RowBox[{"SP", "[", RowBox[{"p2", ",", "k1"}], "]"}]}], "+", RowBox[{"32", RowBox[{"m", "^", "2"}], "*", RowBox[{"SP", "[", RowBox[{"k1", ",", "p1"}], "]"}]}]}], ")"}]}], " ", "//", "Simplify"}]}], "Input", CellChangeTimes->{{3.53909146925*^9, 3.53909155890625*^9}, { 3.539091645859375*^9, 3.539091733265625*^9}, {3.539092516421875*^9, 3.53909253303125*^9}, {3.539092814640625*^9, 3.539092866640625*^9}, { 3.53909387490625*^9, 3.539093876375*^9}}], Cell[BoxData[ FormBox[ RowBox[{"8", " ", RowBox[{"(", RowBox[{ RowBox[{"4", " ", RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], " ", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], "-", RowBox[{"4", " ", SuperscriptBox[ FormBox[ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "2"]}], "+", RowBox[{"2", " ", SuperscriptBox["m", "2"], " ", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}]}], ")"}]}], TraditionalForm]], "Output", CellChangeTimes->{{3.5390915449375*^9, 3.539091552203125*^9}, 3.53909167628125*^9, 3.5390917350625*^9, {3.539092526640625*^9, 3.53909253509375*^9}, {3.539092818578125*^9, 3.539092867390625*^9}, 3.53909388540625*^9}], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"-", "32"}], " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], "-", FormBox[ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], "-", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], ")"}]}], TraditionalForm]], "Output", CellChangeTimes->{{3.5390915449375*^9, 3.539091552203125*^9}, 3.53909167628125*^9, 3.5390917350625*^9, {3.539092526640625*^9, 3.53909253509375*^9}, {3.539092818578125*^9, 3.539092867390625*^9}, 3.53909388540625*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"t4", "=", RowBox[{"-", RowBox[{"Tr", "[", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"GS", "[", "p2", "]"}], "+", "m"}], ")"}], ".", RowBox[{"GA", "[", "\[Nu]", "]"}], ".", RowBox[{"GS", "[", "k1", "]"}], ".", RowBox[{"GA", "[", "\[Mu]", "]"}], ".", RowBox[{"(", RowBox[{ RowBox[{"GS", "[", "p1", "]"}], "+", "m"}], ")"}], ".", RowBox[{"GA", "[", "\[Nu]", "]"}], ".", RowBox[{"GS", "[", "k2", "]"}], ".", RowBox[{"GA", "[", "\[Mu]", "]"}]}], "]"}]}]}], RowBox[{"(*", "t4", "*)"}]}], "\[IndentingNewLine]", RowBox[{ RowBox[{"%", "-", RowBox[{"(", RowBox[{ RowBox[{"32", "*", RowBox[{"SP", "[", RowBox[{"p2", ",", "p1"}], "]"}], "*", RowBox[{"SP", "[", RowBox[{"k1", ",", "k2"}], "]"}]}], "-", RowBox[{"16", RowBox[{"m", "^", "2"}], RowBox[{"SP", "[", RowBox[{"k1", ",", "k2"}], "]"}]}]}], ")"}]}], "//", " ", "Simplify"}]}], "Input", CellChangeTimes->{{3.539091822203125*^9, 3.539091971921875*^9}, { 3.53909232275*^9, 3.53909232584375*^9}, {3.539092392421875*^9, 3.539092408140625*^9}, {3.53909387871875*^9, 3.539093880546875*^9}, { 3.539106084125*^9, 3.539106089*^9}}], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"-", "4"}], " ", RowBox[{"(", RowBox[{ RowBox[{"16", " ", RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], " ", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], "-", RowBox[{"4", " ", SuperscriptBox["m", "2"], " ", RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], "-", RowBox[{"8", " ", SuperscriptBox[ FormBox[ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "2"]}], "+", RowBox[{"4", " ", SuperscriptBox["m", "2"], " ", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], "-", RowBox[{"8", " ", SuperscriptBox[ FormBox[ RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], TraditionalForm], "2"]}]}], ")"}]}], TraditionalForm]], "Output", CellChangeTimes->{3.539092409015625*^9, 3.539093883625*^9}], Cell[BoxData[ FormBox["0", TraditionalForm]], "Output", CellChangeTimes->{3.539092409015625*^9, 3.539093883640625*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Tr", "[", RowBox[{ RowBox[{"GS", "[", "p2", "]"}], ".", RowBox[{"GA", "[", "\[Nu]", "]"}], ".", RowBox[{"GS", "[", "k1", "]"}], ".", RowBox[{"GA", "[", "\[Mu]", "]"}], ".", RowBox[{"GS", "[", "p1", "]"}], ".", RowBox[{"GA", "[", "\[Nu]", "]"}], ".", RowBox[{"GS", "[", "k2", "]"}], ".", RowBox[{"GA", "[", "\[Mu]", "]"}]}], "]"}], RowBox[{"(*", RowBox[{ RowBox[{ RowBox[{"t4a", ")"}], "\[IndentingNewLine]", "%"}], " ", "-", RowBox[{"(", RowBox[{ RowBox[{"-", "32"}], RowBox[{"SP", "[", RowBox[{"p1", ",", "p2"}], "]"}], RowBox[{"SP", "[", RowBox[{"k1", ",", "k2"}], "]"}]}], ")"}]}]}]}]], "Input", CellChangeTimes->{{3.53909215653125*^9, 3.53909224090625*^9}, { 3.539092306046875*^9, 3.539092308953125*^9}}], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"-", "32"}], " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], "-", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], "-", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], "+", SuperscriptBox["m", "2"]}], ")"}]}], TraditionalForm]], "Output", CellChangeTimes->{3.539092184203125*^9, 3.539092241640625*^9}], Cell[BoxData[ FormBox["0", TraditionalForm]], "Output", CellChangeTimes->{3.539092184203125*^9, 3.539092241640625*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"Tr", "[", RowBox[{ RowBox[{"GA", "[", "\[Nu]", "]"}], ".", RowBox[{"GS", "[", "k1", "]"}], ".", RowBox[{"GA", "[", "\[Mu]", "]"}], ".", RowBox[{"GA", "[", "\[Nu]", "]"}], ".", RowBox[{"GS", "[", "k2", "]"}], ".", RowBox[{"GA", "[", "\[Mu]", "]"}]}], "]"}], " ", RowBox[{"(*", "t4b", "*)"}]}], "\[IndentingNewLine]", RowBox[{"%", " ", "-", RowBox[{"(", RowBox[{"16", RowBox[{"SP", "[", RowBox[{"k1", ",", "k2"}], "]"}]}], ")"}]}]}], "Input", CellChangeTimes->{{3.53909226596875*^9, 3.539092318578125*^9}}], Cell[BoxData[ FormBox[ RowBox[{"16", " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}], "-", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], ")"}]}], TraditionalForm]], "Output", CellChangeTimes->{3.539092295390625*^9}], Cell[BoxData[ FormBox["0", TraditionalForm]], "Output", CellChangeTimes->{3.539092295390625*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"T2", "=", RowBox[{"-", RowBox[{"Tr", "[", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"GS", "[", "p2", "]"}], "+", "m"}], ")"}], ".", RowBox[{"GA", "[", "\[Nu]", "]"}], ".", RowBox[{"(", RowBox[{ RowBox[{"2", " ", RowBox[{"FV", "[", RowBox[{"p1", ",", "\[Mu]"}], "]"}]}], "+", RowBox[{ RowBox[{"GS", "[", "k1", "]"}], ".", RowBox[{"GA", "[", "\[Mu]", "]"}]}]}], ")"}], ".", RowBox[{"(", RowBox[{ RowBox[{"GS", "[", "p1", "]"}], "+", "m"}], ")"}], ".", RowBox[{"(", RowBox[{ RowBox[{"2", RowBox[{"FV", "[", RowBox[{"p1", ",", "\[Nu]"}], "]"}]}], "-", RowBox[{ RowBox[{"GA", "[", "\[Nu]", "]"}], ".", RowBox[{"GS", "[", "k2", "]"}]}]}], ")"}], ".", RowBox[{"GA", "[", "\[Mu]", "]"}]}], "]"}]}]}], RowBox[{"(*", "T2", "*)"}]}], "\[IndentingNewLine]", RowBox[{ RowBox[{"%", "-", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"-", "32"}], RowBox[{"m", "^", "4"}]}], "-", RowBox[{"16", RowBox[{"m", "^", "2"}], "*", RowBox[{"(", RowBox[{ RowBox[{"ScalarProduct", "[", RowBox[{"k1", ",", "p1"}], "]"}], "-", RowBox[{"ScalarProduct", "[", RowBox[{"k1", ",", "p2"}], "]"}]}], ")"}]}]}], ")"}]}], "//", "Simplify"}]}], "Input", CellChangeTimes->{{3.5390936203125*^9, 3.539093809875*^9}, {3.53909389975*^9, 3.5390939180625*^9}, {3.539093970171875*^9, 3.53909397165625*^9}, 3.539094107*^9, {3.53909560725*^9, 3.5390957355625*^9}, { 3.5390958610625*^9, 3.539095910609375*^9}, {3.539095967546875*^9, 3.539096000515625*^9}, {3.539096041859375*^9, 3.539096075234375*^9}, { 3.53909636178125*^9, 3.539096369453125*^9}, {3.539106049703125*^9, 3.53910613225*^9}, 3.53910618628125*^9, {3.53910621934375*^9, 3.53910623103125*^9}}], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"-", "4"}], " ", RowBox[{"(", RowBox[{ RowBox[{"4", " ", SuperscriptBox["m", "2"], " ", RowBox[{ FormBox["k1", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], "-", RowBox[{"4", " ", SuperscriptBox["m", "2"], " ", RowBox[{ FormBox["k2", TraditionalForm], "\[CenterDot]", FormBox["p1", TraditionalForm]}]}], "+", RowBox[{"8", " ", SuperscriptBox["m", "4"]}]}], ")"}]}], TraditionalForm]], "Output", CellChangeTimes->{ 3.539096000984375*^9, {3.53909604753125*^9, 3.539096076109375*^9}, 3.539096370796875*^9, 3.539105623625*^9, 3.53910573096875*^9, { 3.539106052765625*^9, 3.539106067140625*^9}, {3.53910610234375*^9, 3.539106133265625*^9}, {3.539106188453125*^9, 3.539106231859375*^9}}], Cell[BoxData[ FormBox["0", TraditionalForm]], "Output", CellChangeTimes->{ 3.539096000984375*^9, {3.53909604753125*^9, 3.539096076109375*^9}, 3.539096370796875*^9, 3.539105623625*^9, 3.53910573096875*^9, { 3.539106052765625*^9, 3.539106067140625*^9}, {3.53910610234375*^9, 3.539106133265625*^9}, {3.539106188453125*^9, 3.539106231859375*^9}}] }, Open ]] }, WindowSize->{1016, 668}, WindowMargins->{{0, Automatic}, {Automatic, -28}}, FrontEndVersion->"8.0 for Microsoft Windows (32-bit) (November 7, 2010)", StyleDefinitions->"Default.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[557, 20, 71, 1, 31, "Input"], Cell[631, 23, 286, 7, 16, "Text"], Cell[920, 32, 762, 24, 16, "Text"], Cell[1685, 58, 370, 12, 16, "Text"], Cell[2058, 72, 196, 4, 16, "Text"], Cell[2257, 78, 1703, 50, 132, "Input"], Cell[CellGroupData[{ Cell[3985, 132, 3421, 84, 172, "Input"], Cell[7409, 218, 2879, 92, 57, "Output"], Cell[10291, 312, 2932, 93, 54, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[13260, 410, 1121, 24, 92, "Input"], Cell[14384, 436, 3218, 117, 55, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[17639, 558, 1160, 31, 72, "Input"], Cell[18802, 591, 709, 23, 34, "Output"], Cell[19514, 616, 216, 4, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[19767, 625, 1404, 39, 72, "Input"], Cell[21174, 666, 1005, 36, 34, "Output"], Cell[22182, 704, 820, 31, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[23039, 740, 1367, 39, 52, "Input"], Cell[24409, 781, 1069, 35, 34, "Output"], Cell[25481, 818, 955, 33, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[26473, 856, 1292, 36, 52, "Input"], Cell[27768, 894, 1359, 49, 34, "Output"], Cell[29130, 945, 120, 2, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[29287, 952, 852, 24, 52, "Input"], Cell[30142, 978, 784, 29, 34, "Output"], Cell[30929, 1009, 120, 2, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[31086, 1016, 597, 16, 52, "Input"], Cell[31686, 1034, 409, 15, 30, "Output"], Cell[32098, 1051, 98, 2, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[32233, 1058, 1979, 54, 52, "Input"], Cell[34215, 1114, 888, 26, 34, "Output"], Cell[35106, 1142, 357, 6, 30, "Output"] }, Open ]] } ] *) (* End of internal cache information *)