(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 11.1' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     32566,        942]
NotebookOptionsPosition[     28632,        835]
NotebookOutlinePosition[     28988,        851]
CellTagsIndexPosition[     28945,        848]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell["\<\
Calculating the Casimir differential equation using the embedding space\
\>", "Chapter",
 CellChangeTimes->{{3.7335479620658693`*^9, 
  3.733547975097476*^9}},ExpressionUUID->"5fee9e26-ee0e-4256-b18d-\
16ff3070794e"],

Cell[BoxData[
 RowBox[{"(*", " ", 
  RowBox[{
   RowBox[{
   "This", " ", "notebook", " ", "walks", " ", "through", " ", "an", " ", 
    "embedding"}], "-", 
   RowBox[{
   "space", " ", "calculation", " ", "of", " ", "the", " ", "action", " ", 
    "of", " ", "the", " ", "conformal", " ", "Casimir", " ", "on", " ", "a", 
    " ", "four"}], "-", 
   RowBox[{"point", " ", 
    RowBox[{"function", ".", " ", "See"}], " ", "section", " ", "12.3", ".1", 
    " ", "of", " ", "the", " ", 
    RowBox[{"notes", ".", " ", "The"}], " ", "first", " ", "few", " ", 
    "sections", " ", "set", " ", "up", " ", "machinery", " ", "for", " ", 
    "doing", " ", "calculus", " ", "with", " ", "embedding", " ", "space", 
    " ", "vectors", " ", "and", " ", "rotations", " ", "in", " ", "the", " ", 
    "embedding", " ", 
    RowBox[{"space", ".", " ", "The"}], " ", "last", " ", "section", " ", 
    "contains", " ", "the", " ", "assignment", " ", "broken", " ", "into", 
    " ", "four", " ", 
    RowBox[{"subparts", "."}]}]}], " ", "*)"}]], "Input",
 CellChangeTimes->{{3.7335478184491463`*^9, 
  3.733547954050585*^9}},ExpressionUUID->"254b642f-f463-48c5-a642-\
5842a9433fd9"],

Cell[CellGroupData[{

Cell["Vector Calculus", "Subchapter",
 CellChangeTimes->{{3.733545857963331*^9, 
  3.733545863867443*^9}},ExpressionUUID->"6081f8bc-c066-46fb-a415-\
a1c3e165466e"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{
     RowBox[{"ConstQ", "[", "x", "]"}], " ", "tells", " ", "whether", " ", 
     "we", " ", "should", " ", "consider", " ", "x", " ", "to", " ", "be", 
     " ", "a", " ", 
     RowBox[{"constant", ".", " ", "We"}], " ", "consider", " ", "numbers", 
     " ", "to", " ", "be", " ", "constants"}], ",", " ", 
    RowBox[{
    "and", " ", "also", " ", "the", " ", "symbol", " ", "\[Epsilon]"}]}], " ",
    "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"ConstQ", "[", "\[Epsilon]", "]"}], ":=", "True"}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"ConstQ", "[", 
      RowBox[{"n_", "?", "NumberQ"}], "]"}], ":=", "True"}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"ConstQ", "[", "_", "]"}], ":=", "False"}], ";"}], 
   "\[IndentingNewLine]", "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{
     RowBox[{"CenterDot", "[", 
      RowBox[{"X", ",", "Y"}], "]"}], "=", 
     RowBox[{
      RowBox[{"X", "\[CenterDot]", "Y"}], " ", "will", " ", "be", " ", "the", 
      " ", "dot", " ", "product", " ", "in", " ", "the", " ", "embedding", 
      " ", 
      RowBox[{"space", ".", " ", "We"}], " ", "need", " ", "to", " ", "tell", 
      " ", "Mathematica", " ", "that", " ", "it", " ", "is", " ", 
      "symmetric"}]}], " ", "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"SetAttributes", "[", 
     RowBox[{"CenterDot", ",", "Orderless"}], "]"}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{"The", " ", "dot", " ", "product", " ", "is", " ", "linear"}], 
    " ", "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{
      RowBox[{
       RowBox[{"(", 
        RowBox[{"a_", " ", "x_"}], ")"}], "\[CenterDot]", "y_"}], "/;", 
      RowBox[{"ConstQ", "[", "a", "]"}]}], ":=", 
     RowBox[{"a", " ", 
      RowBox[{"(", 
       RowBox[{"x", "\[CenterDot]", "y"}], ")"}]}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{
    "The", " ", "dot", " ", "product", " ", "is", " ", "distributive"}], " ", 
    "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{
      RowBox[{"(", 
       RowBox[{"x_", "+", "y_"}], ")"}], "\[CenterDot]", "z_"}], ":=", 
     RowBox[{
      RowBox[{"x", "\[CenterDot]", "z"}], " ", "+", " ", 
      RowBox[{"y", "\[CenterDot]", "z"}]}]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{
     RowBox[{
     "A", " ", "capital", " ", "letter", " ", "X", " ", "represents", " ", 
      "a", " ", "vector", " ", "in", " ", "the", " ", "embedding", " ", 
      RowBox[{"space", ".", " ", 
       RowBox[{"B", "[", "a", "]"}]}], " ", "represents", " ", "a", " ", 
      "basis", " ", "vector", " ", "in", " ", "the", " ", "embedding", " ", 
      "space"}], ",", " ", 
     RowBox[{
      RowBox[{"with", " ", "a"}], "=", 
      RowBox[{"-", "1"}]}], ",", "0", ",", "1", ",", "...", ",", 
     RowBox[{
      RowBox[{
       RowBox[{"d", ".", " ", "The"}], " ", "coordinates", " ", "of", " ", 
       "X", " ", "can", " ", "be", " ", "written", " ", 
       SuperscriptBox["X", "a"]}], "=", 
      RowBox[{
       RowBox[{"CenterDot", "[", 
        RowBox[{"X", ",", 
         RowBox[{"B", "[", "a", "]"}]}], "]"}], "=", 
       RowBox[{
        RowBox[{"X", "\[CenterDot]", 
         RowBox[{
          RowBox[{"B", "[", "a", "]"}], ".", " ", "The"}]}], " ", "metric", 
        " ", "has", " ", "components", " ", 
        RowBox[{
         RowBox[{"B", "[", "a", "]"}], "\[CenterDot]", 
         RowBox[{
          RowBox[{"B", "[", "b", "]"}], "."}]}]}]}]}]}], " ", "*)"}], "\n", 
   RowBox[{"(*", " ", 
    RowBox[{
    "Here", " ", "are", " ", "some", " ", "rules", " ", "for", " ", 
     "manipulating", " ", "dot", " ", "products"}], " ", "*)"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"simplifyDotProducts", "=", 
     RowBox[{"{", "\[IndentingNewLine]", 
      RowBox[{"(*", " ", 
       RowBox[{"Repeated", " ", "indices", " ", "are", " ", "summed"}], " ", 
       "*)"}], "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{
        RowBox[{
         RowBox[{"X_", "\[CenterDot]", 
          RowBox[{"B", "[", "a_", "]"}]}], 
         RowBox[{"Y_", "\[CenterDot]", 
          RowBox[{"B", "[", "a_", "]"}]}]}], ":>", 
        RowBox[{"X", "\[CenterDot]", "Y"}]}], ",", "\[IndentingNewLine]", 
       RowBox[{
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{"X_", "\[CenterDot]", 
           RowBox[{"B", "[", "a_", "]"}]}], ")"}], "2"], "\[RuleDelayed]", 
        RowBox[{"X", "\[CenterDot]", "X"}]}], ",", "\[IndentingNewLine]", 
       RowBox[{"(*", " ", 
        RowBox[{
        "Metric", " ", "contracted", " ", "with", " ", "vector", " ", "gives",
          " ", "vector"}], " ", "*)"}], "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{
         RowBox[{
          RowBox[{"B", "[", "a_", "]"}], "\[CenterDot]", 
          RowBox[{"B", "[", "b_", "]"}]}], 
         RowBox[{"X", "[", "b_", "]"}]}], "\[RuleDelayed]", 
        RowBox[{"X", "[", "a", "]"}]}], ",", "\[IndentingNewLine]", 
       RowBox[{"(*", " ", 
        RowBox[{
         RowBox[{
         "Trace", " ", "of", " ", "the", " ", "metric", " ", "is", " ", "the",
           " ", "spacetime", " ", "dimension"}], ",", " ", 
         RowBox[{
          RowBox[{"which", " ", "is", " ", "d"}], "+", "2"}]}], " ", "*)"}], 
       "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{
         RowBox[{"B", "[", "a_", "]"}], "\[CenterDot]", 
         RowBox[{"B", "[", "a_", "]"}]}], "\[RuleDelayed]", 
        RowBox[{"d", "+", "2"}]}], ",", "\[IndentingNewLine]", 
       RowBox[{"(*", " ", 
        RowBox[{
        "Embedding", " ", "space", " ", "vectors", " ", "square", " ", "to", 
         " ", "zero"}], " ", "*)"}], "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{
         RowBox[{"X", "[", "i_", "]"}], "\[CenterDot]", 
         RowBox[{"X", "[", "i_", "]"}]}], "\[RuleDelayed]", "0"}]}], 
      "\[IndentingNewLine]", "}"}]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{
    "Derivative", " ", "with", " ", "respect", " ", "to", " ", "X", " ", "in",
      " ", "the", " ", "a", " ", "direction"}], " ", "*)"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{
      RowBox[{"\[Delta]", "[", 
       RowBox[{"X_", ",", "a_"}], "]"}], "[", "expression_", "]"}], ":=", 
     RowBox[{"SeriesCoefficient", "[", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"expression", "/.", 
        RowBox[{"X", "\[Rule]", 
         RowBox[{"X", "+", 
          RowBox[{"\[Epsilon]", " ", 
           RowBox[{"B", "[", "a", "]"}]}]}]}]}], ",", "\[IndentingNewLine]", 
       RowBox[{"{", 
        RowBox[{"\[Epsilon]", ",", "0", ",", "1"}], "}"}]}], 
      "\[IndentingNewLine]", "]"}]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"simplifyVectors", "[", "expression_", "]"}], ":=", 
     RowBox[{
      RowBox[{"Expand", "[", "expression", "]"}], "//.", 
      "simplifyDotProducts"}]}], ";"}]}]}]], "Input",
 CellChangeTimes->{{3.7335456811421967`*^9, 3.733545758178841*^9}, {
  3.733545826497541*^9, 3.733545827859099*^9}, {3.73354587710149*^9, 
  3.733545941479554*^9}, {3.733546087098888*^9, 3.733546104466024*^9}, {
  3.733546515888577*^9, 3.733546566968072*^9}, {3.73354661987007*^9, 
  3.733546622518272*^9}, {3.7335468181620293`*^9, 
  3.733546820672715*^9}},ExpressionUUID->"bf9498db-f301-4f90-99f9-\
ed0f86f2acb7"]
}, Closed]],

Cell[CellGroupData[{

Cell["Examples", "Subchapter",
 CellChangeTimes->{{3.733545853509432*^9, 
  3.733545854508005*^9}},ExpressionUUID->"35940f81-0d44-4c9c-ac44-\
6da19e3cc236"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"X", "\[CenterDot]", 
    RowBox[{"B", "[", "a", "]"}]}], 
   RowBox[{"X", "\[CenterDot]", 
    RowBox[{"B", "[", "a", "]"}]}]}], "//", "simplifyVectors"}]], "Input",
 CellChangeTimes->{{3.7335458705474052`*^9, 3.73354588957889*^9}, {
  3.733545947997663*^9, 3.733545951197757*^9}, {3.7335461086450367`*^9, 
  3.733546110329009*^9}},ExpressionUUID->"72f196ca-6d8e-40f8-a424-\
aa7ba4666582"],

Cell[BoxData[
 RowBox[{"X", "\[CenterDot]", "X"}]], "Output",
 CellChangeTimes->{{3.733545872667019*^9, 3.7335458899069643`*^9}, {
   3.733545946309285*^9, 3.733545951496129*^9}, 
   3.733546110702252*^9},ExpressionUUID->"40b5f256-a0bf-4e3a-9f97-\
9f096209c262"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"X", "\[CenterDot]", 
    RowBox[{"B", "[", "a", "]"}]}], 
   RowBox[{
    RowBox[{"(", 
     RowBox[{"Y", "+", "Z"}], ")"}], "\[CenterDot]", 
    RowBox[{"B", "[", "a", "]"}]}]}], "//", "simplifyVectors"}]], "Input",
 CellChangeTimes->{{3.73354595506312*^9, 3.733545983290118*^9}, {
  3.733546113625443*^9, 
  3.73354611535288*^9}},ExpressionUUID->"0efde78f-2cbd-4e3e-96b2-\
7dc3df832f37"],

Cell[BoxData[
 RowBox[{
  RowBox[{"X", "\[CenterDot]", "Y"}], "+", 
  RowBox[{"X", "\[CenterDot]", "Z"}]}]], "Output",
 CellChangeTimes->{{3.733545972632711*^9, 3.733545983562786*^9}, 
   3.733546115691635*^9},ExpressionUUID->"725829a5-157e-4342-aca2-\
954c1cc737c4"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"\[Delta]", "[", 
   RowBox[{"X", ",", "a"}], "]"}], "[", 
  RowBox[{"X", "\[CenterDot]", "X"}], "]"}]], "Input",
 CellChangeTimes->{{3.733545839533798*^9, 
  3.733545843244495*^9}},ExpressionUUID->"315cf529-2fa1-42ea-a5d9-\
37cd25e3dce3"],

Cell[BoxData[
 RowBox[{"2", " ", 
  RowBox[{"X", "\[CenterDot]", 
   RowBox[{"B", "[", "a", "]"}]}]}]], "Output",
 CellChangeTimes->{
  3.733545843849319*^9},ExpressionUUID->"5f41dd28-3bf2-45ad-abee-\
e48c16bc36cc"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell["Cross ratios", "Subchapter",
 CellChangeTimes->{{3.733546255498493*^9, 
  3.733546270167129*^9}},ExpressionUUID->"90b2aa64-2ac7-4471-a802-\
2c96048b570d"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{
    "The", " ", "cross", " ", "ratios", " ", "in", " ", "terms", " ", "of", 
     " ", "embedding", " ", "space", " ", "dot", " ", 
     RowBox[{"products", ".", " ", "We"}], " ", "use", " ", "capital", " ", 
     "U"}], ",", 
    RowBox[{
    "V", " ", "for", " ", "the", " ", "combination", " ", "of", " ", "dot", 
     " ", "products"}], ",", " ", 
    RowBox[{"and", " ", "lowercase", " ", "u"}], ",", "v", ",", " ", 
    RowBox[{
     RowBox[{"for", " ", "the", " ", "symbolic", " ", "cross"}], "-", 
     "ratios"}]}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"U", "=", 
     FractionBox[
      RowBox[{
       RowBox[{
        RowBox[{"X", "[", "1", "]"}], "\[CenterDot]", 
        RowBox[{"X", "[", "2", "]"}]}], " ", 
       RowBox[{
        RowBox[{"X", "[", "3", "]"}], "\[CenterDot]", 
        RowBox[{"X", "[", "4", "]"}]}]}], 
      RowBox[{
       RowBox[{
        RowBox[{"X", "[", "1", "]"}], "\[CenterDot]", 
        RowBox[{"X", "[", "3", "]"}]}], " ", 
       RowBox[{
        RowBox[{"X", "[", "2", "]"}], "\[CenterDot]", 
        RowBox[{"X", "[", "4", "]"}]}]}]]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"V", "=", 
     FractionBox[
      RowBox[{
       RowBox[{
        RowBox[{"X", "[", "3", "]"}], "\[CenterDot]", 
        RowBox[{"X", "[", "2", "]"}]}], " ", 
       RowBox[{
        RowBox[{"X", "[", "1", "]"}], "\[CenterDot]", 
        RowBox[{"X", "[", "4", "]"}]}]}], 
      RowBox[{
       RowBox[{
        RowBox[{"X", "[", "1", "]"}], "\[CenterDot]", 
        RowBox[{"X", "[", "3", "]"}]}], " ", 
       RowBox[{
        RowBox[{"X", "[", "2", "]"}], "\[CenterDot]", 
        RowBox[{"X", "[", "4", "]"}]}]}]]}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{
     RowBox[{
     "If", " ", "we", " ", "have", " ", "an", " ", "expression", " ", "in", 
      " ", "terms", " ", "of", " ", "dot", " ", "products"}], ",", " ", 
     RowBox[{
      RowBox[{
      "we", " ", "can", " ", "apply", " ", "this", " ", "rule", " ", "to", 
       " ", "turn", " ", "it", " ", "into", " ", "cross"}], "-", 
      RowBox[{"ratios", " ", "again"}]}]}], " ", "*)"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"crossRatioReplace", "=", 
     RowBox[{"{", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{
        RowBox[{
         RowBox[{"X", "[", "1", "]"}], "\[CenterDot]", 
         RowBox[{"X", "[", "2", "]"}]}], "\[Rule]", 
        RowBox[{"u", " ", 
         FractionBox[
          RowBox[{
           RowBox[{
            RowBox[{"X", "[", "1", "]"}], "\[CenterDot]", 
            RowBox[{"X", "[", "3", "]"}]}], " ", 
           RowBox[{
            RowBox[{"X", "[", "2", "]"}], "\[CenterDot]", 
            RowBox[{"X", "[", "4", "]"}]}]}], 
          RowBox[{
           RowBox[{"X", "[", "3", "]"}], "\[CenterDot]", 
           RowBox[{"X", "[", "4", "]"}]}]]}]}], ",", "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{
         RowBox[{"X", "[", "3", "]"}], "\[CenterDot]", 
         RowBox[{"X", "[", "2", "]"}]}], "\[Rule]", 
        RowBox[{"v", " ", 
         FractionBox[
          RowBox[{
           RowBox[{
            RowBox[{"X", "[", "1", "]"}], "\[CenterDot]", 
            RowBox[{"X", "[", "3", "]"}]}], " ", 
           RowBox[{
            RowBox[{"X", "[", "2", "]"}], "\[CenterDot]", 
            RowBox[{"X", "[", "4", "]"}]}]}], 
          RowBox[{" ", 
           RowBox[{
            RowBox[{"X", "[", "1", "]"}], "\[CenterDot]", 
            RowBox[{"X", "[", "4", "]"}]}]}]]}]}]}], "\[IndentingNewLine]", 
      "}"}]}], ";"}]}]}]], "Input",
 CellChangeTimes->{{3.7335459985885887`*^9, 3.73354603381185*^9}, {
  3.733546138572995*^9, 3.733546202460417*^9}, {3.733546273911854*^9, 
  3.733546334272277*^9}},ExpressionUUID->"496b377f-e704-48b0-96b1-\
dc9f33cea010"]
}, Closed]],

Cell[CellGroupData[{

Cell["Embedding space rotation generators", "Subchapter",
 CellChangeTimes->{{3.733546337254653*^9, 
  3.733546345214691*^9}},ExpressionUUID->"75e602d7-a54c-4dde-a0c4-\
bf804b7dbc8c"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
   "An", " ", "embedding", " ", "space", " ", "rotation", " ", "generator", 
    " ", "acting", " ", "on", " ", "the", " ", "point", " ", "X"}], " ", 
   "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"L", "[", 
      RowBox[{"X_", ",", "a_", ",", "b_"}], "]"}], "[", "expression_", "]"}], 
    ":=", 
    RowBox[{
     RowBox[{
      RowBox[{"X", "\[CenterDot]", 
       RowBox[{"B", "[", "a", "]"}]}], " ", 
      RowBox[{
       RowBox[{"\[Delta]", "[", 
        RowBox[{"X", ",", "b"}], "]"}], "[", "expression", "]"}]}], "-", 
     RowBox[{
      RowBox[{"X", "\[CenterDot]", 
       RowBox[{"B", "[", "b", "]"}]}], 
      RowBox[{
       RowBox[{"\[Delta]", "[", 
        RowBox[{"X", ",", "a"}], "]"}], "[", "expression", "]"}]}]}]}], 
   ";"}]}]], "Input",
 CellChangeTimes->{{3.733546346311676*^9, 3.733546381869793*^9}, {
  3.7335473903874617`*^9, 
  3.733547401027753*^9}},ExpressionUUID->"110ad6c5-ea1a-4149-9d8c-\
ee6390b8d603"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{
    "Check", " ", "that", " ", "a", " ", "dot", " ", "product", " ", "is", 
     " ", "rotationally"}], "-", "invariant"}], " ", "*)"}], 
  "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"L", "[", 
     RowBox[{
      RowBox[{"X", "[", "1", "]"}], ",", "a", ",", "b"}], "]"}], "[", 
    RowBox[{
     RowBox[{"X", "[", "1", "]"}], "\[CenterDot]", 
     RowBox[{"X", "[", "2", "]"}]}], "]"}], "+", 
   RowBox[{
    RowBox[{"L", "[", 
     RowBox[{
      RowBox[{"X", "[", "2", "]"}], ",", "a", ",", "b"}], "]"}], "[", 
    RowBox[{
     RowBox[{"X", "[", "1", "]"}], "\[CenterDot]", 
     RowBox[{"X", "[", "2", "]"}]}], "]"}]}]}]], "Input",
 CellChangeTimes->{{3.733546387962919*^9, 
  3.733546420132153*^9}},ExpressionUUID->"dad4be70-2696-484e-bdc0-\
d2be605ce939"],

Cell[BoxData["0"], "Output",
 CellChangeTimes->{3.7335464206453657`*^9, 
  3.7335474050401506`*^9},ExpressionUUID->"1e59cfe9-a10d-4e13-9a21-\
01a10465189b"]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
   "The", " ", "quadratic", " ", "Casimir", " ", "acting", " ", "on", " ", 
    "a", " ", "single", " ", "point"}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"CasimirOnePt", "[", "X_", "]"}], "[", "expression_", "]"}], ":=", 
    RowBox[{
     FractionBox[
      RowBox[{"-", "1"}], "2"], 
     RowBox[{
      RowBox[{"L", "[", 
       RowBox[{"X", ",", "a", ",", "b"}], "]"}], "[", 
      RowBox[{
       RowBox[{"L", "[", 
        RowBox[{"X", ",", "a", ",", "b"}], "]"}], "[", "expression", "]"}], 
      "]"}]}]}], ";"}]}]], "Input",
 CellChangeTimes->{{3.7335464326466093`*^9, 3.733546467257772*^9}, {
  3.7335470852366743`*^9, 
  3.733547094715046*^9}},ExpressionUUID->"48d75228-acfd-4766-8ce0-\
68b0d382b0b4"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{
    "Check", " ", "that", " ", "the", " ", "Casimir", " ", "operator", " ", 
     "acts", " ", "with", " ", "the", " ", "right", " ", "eigenvalue", " ", 
     "on", " ", "a", " ", "three"}], "-", 
    RowBox[{
    "point", " ", "function", " ", "of", " ", "scalar", " ", "operators"}]}], 
   " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"threePtScalars", "=", 
     FractionBox["1", 
      RowBox[{
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{
          RowBox[{"-", "2"}], 
          RowBox[{
           RowBox[{"X", "[", "1", "]"}], "\[CenterDot]", 
           RowBox[{"X", "[", "2", "]"}]}]}], ")"}], 
        FractionBox[
         RowBox[{
         "\[CapitalDelta]1", "+", "\[CapitalDelta]2", "-", 
          "\[CapitalDelta]3"}], "2"]], 
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{
          RowBox[{"-", "2"}], 
          RowBox[{
           RowBox[{"X", "[", "2", "]"}], "\[CenterDot]", 
           RowBox[{"X", "[", "3", "]"}]}]}], ")"}], 
        FractionBox[
         RowBox[{
         "\[CapitalDelta]2", "+", "\[CapitalDelta]3", "-", 
          "\[CapitalDelta]1"}], "2"]], 
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{
          RowBox[{"-", "2"}], 
          RowBox[{
           RowBox[{"X", "[", "3", "]"}], "\[CenterDot]", 
           RowBox[{"X", "[", "1", "]"}]}]}], ")"}], 
        FractionBox[
         RowBox[{
         "\[CapitalDelta]3", "+", "\[CapitalDelta]1", "-", 
          "\[CapitalDelta]2"}], "2"]]}]]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "threePtScalars"], 
       RowBox[{
        RowBox[{"CasimirOnePt", "[", 
         RowBox[{"X", "[", "1", "]"}], "]"}], "[", "threePtScalars", "]"}]}], 
      "//", "simplifyVectors"}], ")"}], "//", "Simplify"}]}]}]], "Input",
 CellChangeTimes->{{3.733547098002771*^9, 3.733547113610731*^9}, {
  3.733547339275362*^9, 
  3.733547376908428*^9}},ExpressionUUID->"ad2f5a17-504b-4749-b489-\
3acdd7409478"],

Cell[BoxData[
 RowBox[{"\[CapitalDelta]1", " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "d"}], "+", "\[CapitalDelta]1"}], ")"}]}]], "Output",
 CellChangeTimes->{
  3.733547115328018*^9, {3.7335473563129807`*^9, 
   3.7335473836191473`*^9}},ExpressionUUID->"8d36539e-7854-490d-8723-\
483d6971fa26"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell["Assignment", "Subchapter",
 CellChangeTimes->{{3.7335471264296093`*^9, 
  3.733547127589711*^9}},ExpressionUUID->"255aeeb6-17cb-450d-855d-\
26e3fe39bd1b"],

Cell[CellGroupData[{

Cell["Part 1", "Section",
 CellChangeTimes->{{3.733547262203405*^9, 
  3.733547267611573*^9}},ExpressionUUID->"0e2d7046-31b4-4040-bcce-\
8d05093b8411"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{
    RowBox[{"LTwoPt", "[", 
     RowBox[{"X_", ",", "Y_", ",", "a_", ",", "b_"}], "]"}], "[", "expr_", 
    "]"}], ":="}], 
  RowBox[{"(*", " ", 
   RowBox[{
   "Write", " ", "an", " ", "expression", " ", "for", " ", "the", " ", 
    "rotation", " ", "generator", " ", "acting", " ", "on", " ", "two", " ", 
    "points", " ", "simultaneously"}], " ", "*)"}], ";"}]], "Input",
 CellChangeTimes->{{3.733546728654583*^9, 3.73354675148729*^9}, {
  3.7335471426140633`*^9, 
  3.733547161189323*^9}},ExpressionUUID->"74ae938a-3362-4c61-877e-\
248a6d7b8caf"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Part 2", "Section",
 CellChangeTimes->{{3.7335472689392557`*^9, 
  3.733547269707706*^9}},ExpressionUUID->"7d555260-c67d-48ee-98ea-\
ff3a530b29ac"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{
    RowBox[{"CasimirTwoPt", "[", 
     RowBox[{"X_", ",", "Y_"}], "]"}], "[", "expr_", "]"}], ":="}], 
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{"Using", " ", "LTwoPt"}], ",", " ", 
    RowBox[{
    "write", " ", "an", " ", "expression", " ", "for", " ", "the", " ", 
     "Casimir", " ", "operator", " ", "acting", " ", "on", " ", "two", " ", 
     "points", " ", "simultaneously"}]}], " ", "*)"}], ";"}]], "Input",
 CellChangeTimes->{{3.733546757117613*^9, 3.73354677548134*^9}, {
  3.7335471642526903`*^9, 
  3.733547183627206*^9}},ExpressionUUID->"a6751b4a-4b55-4c83-a64c-\
0e5ac155458b"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Part 3", "Section",
 CellChangeTimes->{{3.733547272043198*^9, 
  3.733547273275367*^9}},ExpressionUUID->"9529f984-e24f-41a8-89de-\
c91178108eb5"],

Cell[BoxData[
 RowBox[{"(*", " ", 
  RowBox[{
   RowBox[{"Apply", " ", "CasimirTwoPt", " ", "to", " ", 
    RowBox[{"f", "[", 
     RowBox[{"U", ",", "V"}], "]"}], " ", "and", " ", "simplify", " ", "the", 
    " ", "result", " ", "to", " ", "a", " ", "differential", " ", "operator", 
    " ", "in", " ", "u"}], ",", 
   RowBox[{"v", " ", 
    RowBox[{"alone", ".", " ", "You"}], " ", "will", " ", "need", " ", "to", 
    " ", "use", " ", "simplifyVectors", " ", "and", " ", 
    "crossRatioReplace"}]}], " ", "*)"}]], "Input",
 CellChangeTimes->{{3.733547199001553*^9, 
  3.7335472570442142`*^9}},ExpressionUUID->"7a558be0-7c0d-49f4-8706-\
4316ddb82fb3"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Part 4", "Section",
 CellChangeTimes->{{3.73354730299902*^9, 
  3.7335473070694532`*^9}},ExpressionUUID->"95de5fdb-e303-41cd-9e4e-\
18b76b208723"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{
    "Turn", " ", "your", " ", "differential", " ", "operator", " ", "in", " ",
      "u"}], ",", 
    RowBox[{
    "v", " ", "into", " ", "a", " ", "differential", " ", "operator", " ", 
     "in", " ", "z"}], ",", 
    RowBox[{"zb", "."}]}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{
     RowBox[{"Here", " ", "is", " ", "a", " ", "1"}], "-", 
     RowBox[{"dimensional", " ", 
      RowBox[{"example", ".", " ", "Suppose"}], " ", "we", " ", "have", " ", 
      "a", " ", "differential", " ", "operator", " ", "in", " ", "x"}]}], ",",
     " ", 
    RowBox[{
     RowBox[{
     "and", " ", "we", " ", "want", " ", "to", " ", "express", " ", "it", " ",
       "in", " ", "terms", " ", "of", " ", "y", " ", "such", " ", "that", " ",
       "y"}], "=", 
     RowBox[{
      RowBox[{
       RowBox[{"x", "/", 
        RowBox[{"(", 
         RowBox[{"1", "-", "x"}], ")"}]}], " ", "and", " ", "x"}], "=", 
      RowBox[{"y", "/", 
       RowBox[{
        RowBox[{"(", 
         RowBox[{"1", "+", "y"}], ")"}], "."}]}]}]}]}], " ", "*)"}], 
  "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{"diffOpx", "=", 
    RowBox[{
     RowBox[{
      RowBox[{"f", "''"}], "[", "x", "]"}], "+", 
     RowBox[{"x", 
      RowBox[{"(", 
       RowBox[{"1", "-", "x"}], ")"}], 
      RowBox[{
       RowBox[{"f", "'"}], "[", "x", "]"}]}], "+", 
     RowBox[{"3", 
      RowBox[{"f", "[", "x", "]"}]}]}]}], ";"}]}]], "Input",
 CellChangeTimes->{{3.7335473086797333`*^9, 3.733547309285837*^9}, {
  3.733547418178557*^9, 3.733547617736042*^9}, {3.7335476930102663`*^9, 
  3.7335477046178827`*^9}},ExpressionUUID->"975fac5c-b9bc-42ab-a9c1-\
271ee252dd12"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{"First", " ", "we", " ", "substitute", " ", 
     RowBox[{"f", "[", "x", "]"}]}], "=", 
    RowBox[{
     RowBox[{"g", "[", "y", "]"}], "=", 
     RowBox[{
      RowBox[{
       RowBox[{
        RowBox[{"g", "[", 
         FractionBox["x", 
          RowBox[{"1", "-", "x"}]], "]"}], ".", " ", "Then"}], " ", "we", " ",
        "replace", " ", "x"}], "\[Rule]", 
      RowBox[{
       RowBox[{
        FractionBox["y", 
         RowBox[{"1", "+", "y"}]], ".", " ", "This"}], " ", "gives", " ", "a",
        " ", "differential", " ", "operator", " ", "acting", " ", "on", " ", 
       RowBox[{"g", "."}]}]}]}]}], " ", "*)"}], " ", "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"diffOpx", "/.", 
     RowBox[{"f", "\[Rule]", 
      RowBox[{"Function", "[", 
       RowBox[{"x", ",", 
        RowBox[{"g", "[", 
         FractionBox["x", 
          RowBox[{"1", "-", "x"}]], "]"}]}], "]"}]}]}], "/.", 
    RowBox[{"{", 
     RowBox[{"x", "\[Rule]", 
      FractionBox["y", 
       RowBox[{"1", "+", "y"}]]}], "}"}]}], "//", "Simplify"}]}]], "Input",
 CellChangeTimes->{{3.733547469556244*^9, 3.733547518885263*^9}, {
  3.733547579163028*^9, 3.733547586503521*^9}, {3.733547634248273*^9, 
  3.733547658471468*^9}, {3.733547708787595*^9, 
  3.733547792166214*^9}},ExpressionUUID->"0c4c3751-769c-4734-973d-\
d63f2b01bc1f"],

Cell[BoxData[
 RowBox[{
  RowBox[{"3", " ", 
   RowBox[{"g", "[", "y", "]"}]}], "+", 
  RowBox[{"y", " ", 
   RowBox[{
    SuperscriptBox["g", "\[Prime]",
     MultilineFunction->None], "[", "y", "]"}]}], "+", 
  RowBox[{"2", " ", 
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"1", "+", "y"}], ")"}], "3"], " ", 
   RowBox[{
    SuperscriptBox["g", "\[Prime]",
     MultilineFunction->None], "[", "y", "]"}]}], "+", 
  RowBox[{
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"1", "+", "y"}], ")"}], "4"], " ", 
   RowBox[{
    SuperscriptBox["g", "\[Prime]\[Prime]",
     MultilineFunction->None], "[", "y", "]"}]}]}]], "Output",
 CellChangeTimes->{{3.733547486914504*^9, 3.733547503037475*^9}, {
   3.7335476413273163`*^9, 3.7335476589494543`*^9}, 3.733547726339614*^9, {
   3.733547778675048*^9, 
   3.733547792731299*^9}},ExpressionUUID->"1e19cdc6-de26-42c7-a2a9-\
61413af96e8d"]
}, Open  ]]
}, Open  ]]
}, Open  ]]
}, Open  ]]
},
WindowSize->{900, 1156},
WindowMargins->{{183, Automatic}, {Automatic, 0}},
FrontEndVersion->"11.1 for Mac OS X x86 (32-bit, 64-bit Kernel) (April 27, \
2017)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[580, 22, 226, 5, 109, "Chapter", "ExpressionUUID" -> \
"5fee9e26-ee0e-4256-b18d-16ff3070794e"],
Cell[809, 29, 1171, 24, 117, "Input", "ExpressionUUID" -> \
"254b642f-f463-48c5-a642-5842a9433fd9"],
Cell[CellGroupData[{
Cell[2005, 57, 163, 3, 63, "Subchapter", "ExpressionUUID" -> \
"6081f8bc-c066-46fb-a415-a1c3e165466e"],
Cell[2171, 62, 7617, 191, 814, "Input", "ExpressionUUID" -> \
"bf9498db-f301-4f90-99f9-ed0f86f2acb7"]
}, Closed]],
Cell[CellGroupData[{
Cell[9825, 258, 156, 3, 47, "Subchapter", "ExpressionUUID" -> \
"35940f81-0d44-4c9c-ac44-6da19e3cc236"],
Cell[CellGroupData[{
Cell[10006, 265, 436, 10, 32, "Input", "ExpressionUUID" -> \
"72f196ca-6d8e-40f8-a424-aa7ba4666582"],
Cell[10445, 277, 262, 5, 32, "Output", "ExpressionUUID" -> \
"40b5f256-a0bf-4e3a-9f97-9f096209c262"]
}, Open  ]],
Cell[CellGroupData[{
Cell[10744, 287, 436, 12, 32, "Input", "ExpressionUUID" -> \
"0efde78f-2cbd-4e3e-96b2-7dc3df832f37"],
Cell[11183, 301, 267, 6, 32, "Output", "ExpressionUUID" -> \
"725829a5-157e-4342-aca2-954c1cc737c4"]
}, Open  ]],
Cell[CellGroupData[{
Cell[11487, 312, 273, 7, 32, "Input", "ExpressionUUID" -> \
"315cf529-2fa1-42ea-a5d9-37cd25e3dce3"],
Cell[11763, 321, 215, 6, 32, "Output", "ExpressionUUID" -> \
"5f41dd28-3bf2-45ad-abee-e48c16bc36cc"]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[12027, 333, 160, 3, 47, "Subchapter", "ExpressionUUID" -> \
"90b2aa64-2ac7-4471-a802-2c96048b570d"],
Cell[12190, 338, 3912, 104, 339, "Input", "ExpressionUUID" -> \
"496b377f-e704-48b0-96b1-dc9f33cea010"]
}, Closed]],
Cell[CellGroupData[{
Cell[16139, 447, 183, 3, 47, "Subchapter", "ExpressionUUID" -> \
"75e602d7-a54c-4dde-a0c4-bf804b7dbc8c"],
Cell[16325, 452, 1033, 30, 54, "Input", "ExpressionUUID" -> \
"110ad6c5-ea1a-4149-9d8c-ee6390b8d603"],
Cell[CellGroupData[{
Cell[17383, 486, 849, 25, 54, "Input", "ExpressionUUID" -> \
"dad4be70-2696-484e-bdc0-d2be605ce939"],
Cell[18235, 513, 156, 3, 32, "Output", "ExpressionUUID" -> \
"1e59cfe9-a10d-4e13-9a21-01a10465189b"]
}, Open  ]],
Cell[18406, 519, 818, 23, 70, "Input", "ExpressionUUID" -> \
"48d75228-acfd-4766-8ce0-68b0d382b0b4"],
Cell[CellGroupData[{
Cell[19249, 546, 2105, 61, 146, "Input", "ExpressionUUID" -> \
"ad2f5a17-504b-4749-b489-3acdd7409478"],
Cell[21357, 609, 303, 8, 32, "Output", "ExpressionUUID" -> \
"8d36539e-7854-490d-8723-483d6971fa26"]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[21709, 623, 160, 3, 47, "Subchapter", "ExpressionUUID" -> \
"255aeeb6-17cb-450d-855d-26e3fe39bd1b"],
Cell[CellGroupData[{
Cell[21894, 630, 151, 3, 64, "Section", "ExpressionUUID" -> \
"0e2d7046-31b4-4040-bcce-8d05093b8411"],
Cell[22048, 635, 599, 15, 54, "Input", "ExpressionUUID" -> \
"74ae938a-3362-4c61-877e-248a6d7b8caf"]
}, Open  ]],
Cell[CellGroupData[{
Cell[22684, 655, 153, 3, 64, "Section", "ExpressionUUID" -> \
"7d555260-c67d-48ee-98ea-ff3a530b29ac"],
Cell[22840, 660, 643, 16, 54, "Input", "ExpressionUUID" -> \
"a6751b4a-4b55-4c83-a64c-0e5ac155458b"]
}, Open  ]],
Cell[CellGroupData[{
Cell[23520, 681, 151, 3, 64, "Section", "ExpressionUUID" -> \
"9529f984-e24f-41a8-89de-c91178108eb5"],
Cell[23674, 686, 655, 14, 54, "Input", "ExpressionUUID" -> \
"7a558be0-7c0d-49f4-8706-4316ddb82fb3"]
}, Open  ]],
Cell[CellGroupData[{
Cell[24366, 705, 152, 3, 64, "Section", "ExpressionUUID" -> \
"95de5fdb-e303-41cd-9e4e-18b76b208723"],
Cell[24521, 710, 1742, 49, 96, "Input", "ExpressionUUID" -> \
"975fac5c-b9bc-42ab-a9c1-271ee252dd12"],
Cell[CellGroupData[{
Cell[26288, 763, 1399, 38, 100, "Input", "ExpressionUUID" -> \
"0c4c3751-769c-4734-973d-d63f2b01bc1f"],
Cell[27690, 803, 890, 26, 32, "Output", "ExpressionUUID" -> \
"1e19cdc6-de26-42c7-a2a9-61413af96e8d"]
}, Open  ]]
}, Open  ]]
}, Open  ]]
}, Open  ]]
}
]
*)

(* End of internal cache information *)