(************** Content-type: application/mathematica ************** CreatedBy='Mathematica 5.2' Mathematica-Compatible Notebook This notebook can be used with any Mathematica-compatible application, such as Mathematica, MathReader or Publicon. 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[ 125606, 3869]*) (*NotebookOutlinePosition[ 170287, 5192]*) (* CellTagsIndexPosition[ 169810, 5178]*) (*WindowFrame->Normal*) Notebook[{ Cell[CellGroupData[{ Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell["\<\ Using Gr\[ODoubleDot]bner Bases for Solving Linear 2Pt Boundary Value Problems\ \>", "Title", TextAlignment->Center, TextJustification->0, FontFamily->"Utopia"], Cell["\<\ Special Semester on Gr\[ODoubleDot]bner Bases Workshop on Symbolic Analysis Castle of Hagenberg / Austria 11 May 2006\ \>", "Subtitle", TextAlignment->Center, TextJustification->0], Cell[TextData[StyleBox["Markus.Rosenkranz@oeaw.ac.at", FontWeight->"Bold", FontSlant->"Plain"]], "Subsubtitle", CellMargins->{{Inherited, Inherited}, {10, 30}}, TextAlignment->Center, TextJustification->0], Cell["\<\ Radon Institute for Computational and Applied Mathematics Austrian Academy of Sciences A-4040 Linz, Austria\ \>", "Subsubtitle", TextAlignment->Center, TextJustification->0], Cell["Copyright Markus Rosenkranz 2004.", "Quotation"], Cell[TextData[{ "COPYRIGHT NOTE.", " Copying and storing is granted under the following conditions:\n- The \ file is kept unchanged (including the copyright note).\n- A message is sent \ to ", StyleBox["markus.rosenkranz@oeaw.ac.at", FontVariations->{"Underline"->True}], ".\n- If the material in this talk is used in publications or talks, \ please, cite the talk appropriately." }], "Quotation"] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["Outline of the Talk", "Section"], Cell["\<\ Cooperation Prof. Buchberger\[LongDash]Prof. Engl within SFB \ F013.\ \>", "Text"], Cell[TextData[{ "Importance of ", StyleBox["boundary conditions", FontVariations->{"Underline"->True}], " for practical usage of differential equations:" }], "Text", CellMargins->{{Inherited, Inherited}, {Inherited, 30}}], Cell[TextData[{ StyleBox["Lions:", FontVariations->{"Underline"->True}], " \[LeftGuillemet]God made the differential equations, but the devil made \ the boundary conditions.\[RightGuillemet]" }], "Quotation", CellFrame->True, CellMargins->{{50, Inherited}, {Inherited, Inherited}}, FontColor->RGBColor[1, 0, 0]], Cell[TextData[{ "Simple starting point: ", StyleBox["Linear two\[Dash]point boundary value problems", FontVariations->{"Underline"->True}], " (briefly BVPs)." }], "Text", CellMargins->{{Inherited, Inherited}, {Inherited, 30}}], Cell[TextData[{ "How to ", StyleBox["see", FontWeight->"Bold"], " them. (On the operators level.)" }], "ItemizedText"], Cell[TextData[{ "How to ", StyleBox["solve", FontWeight->"Bold"], " them. (By Gr\[ODoubleDot]bner bases.)" }], "ItemizedText"], Cell[TextData[{ "How to ", StyleBox["factor", FontWeight->"Bold"], " them. (Through Stieltjes conditions.)" }], "ItemizedText"], Cell[TextData[{ "How to ", StyleBox["divide", FontWeight->"Bold"], " them. (In the Mikusi", Cell[BoxData[ FormBox[ OverscriptBox[ StyleBox["n", FontSlant->"Plain"], "'"], TraditionalForm]]], "ski style.)" }], "ItemizedText"], Cell["\<\ Parts (1) and (2): Doctoral thesis \[Rule] JSC. Parts (3) and (4): Ongoing joint research with Georg Regensburger.\ \>", \ "Text", CellMargins->{{Inherited, Inherited}, {Inherited, 30}}] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["\<\ Two\[Dash]Point Boundary Value Problems\ \>", "Section"], Cell[TextData[{ StyleBox["Given", FontVariations->{"Underline"->True}], " ", Cell[BoxData[ \(TraditionalForm\`f \[Element] \(C\^\[Infinity]\)[a, b]\)]], ", find ", Cell[BoxData[ \(TraditionalForm\`u \[Element] \(C\^\[Infinity]\)[a, b]\)]], " such that:" }], "Text"], Cell[BoxData[ FormBox[ StyleBox[ RowBox[{"\<\"(#) \"\>", FrameBox[ StyleBox[GridBox[{ {\(T\ u = f\)}, { RowBox[{\(\(B\_1\) u\), "=", RowBox[{"\[Ellipsis]", "=", RowBox[{\(\(B\_n\) u\), "=", StyleBox["0", FontColor->RGBColor[1, 0, 0]]}]}]}]} }], AutoStyleOptions->{"UnmatchedBracketStyle"->None}, ShowStringCharacters->False]]}], AutoStyleOptions->{"UnmatchedBracketStyle"->None}, ShowStringCharacters->False], TraditionalForm]], "Formula"], Cell[TextData[{ "\t", Cell[BoxData[ FormBox[ StyleBox[\([a, b]\), FontFamily->"Times"], TraditionalForm]]], "\t..................... ", Cell[BoxData[ RowBox[{ "Finite", " ", "interval", " ", "in", " ", Cell[ "\[DoubleStruckCapitalR]"]}]], GeneratedCell->False, CellAutoOverwrite->False], "\n\t", Cell[BoxData[ FormBox[ StyleBox[\(\(C\^\[Infinity]\)[a, b]\), FontFamily->"Times"], TraditionalForm]]], "\t..................... Smooth functions ", Cell[BoxData[ FormBox[ StyleBox[\(\([a, b]\)\ \[Rule] \ \[DoubleStruckCapitalC]\), FontFamily->"Times"], TraditionalForm]]], "\n\t", Cell[BoxData[ FormBox[ StyleBox["T", FontFamily->"Times"], TraditionalForm]]], "\t\t..................... Linear differential operator of order ", Cell[BoxData[ FormBox[ StyleBox["n", FontFamily->"Times"], TraditionalForm]]], "\n\t", Cell[BoxData[ FormBox[ RowBox[{ StyleBox[\(B\_1\), FontFamily->"Times"], StyleBox[",", FontFamily->"Times"], "\[Ellipsis]", StyleBox[",", FontFamily->"Times"], StyleBox[\(B\_n\), FontFamily->"Times"]}], TraditionalForm]]], "\t..................... Two\[Dash]point boundary operators" }], "Text", FontFamily->"Courier"], Cell[TextData[{ "For simplicity, we assume ", StyleBox["constant coefficients", FontVariations->{"Underline"->True}], " in ", Cell[BoxData[ \(TraditionalForm\`T\)]], ":" }], "Text"], Cell[BoxData[ FormBox[GridBox[{ {"T", \(\(\ \)\(:\)\), \(\(C\^\[Infinity]\)[a, b]\), "\[Rule]", \(\(C\^\[Infinity]\)[a, b]\)}, {" ", " ", "u", "\[RightTeeArrow]", \(\(c\_0\) u + \(c\_1\) u' + \(c\_2\) u'' + \[Ellipsis] + \(c\_\(n - 1\)\) u\^\((n - 1)\) + u\^\((n)\)\)} }], TraditionalForm]], "Formula", FontSize->16], Cell[TextData[{ StyleBox["Two\[Dash]point", FontVariations->{"Underline"->True}], " boundary operators:" }], "Text"], Cell[BoxData[ FormBox[GridBox[{ {\(B\_i\), ":", \(\(C\^\[Infinity]\)[a, b]\), "\[Rule]", "\[DoubleStruckCapitalC]"}, {" ", " ", "u", "\[RightTeeArrow]", \(\(p\_\(i, 0\)\) \(\(u\^\((n - 1)\)\)( a)\)\ + \[Ellipsis] + \(p\_\(i, n - 1\)\) u' \((a)\) + \(p\_\(i, n\)\) \(u( a)\)\ \ \ \ \ + \ \ \ \ \ \ \(q\_\(i, 0\)\) \(\(u\^\((n - 1)\)\)( b)\)\ + \[Ellipsis] + \(q\_\(i, n - 1\)\) u' \((b)\) + \(q\_\(i, n\)\) \(u(b)\)\)} }], TraditionalForm]], "Formula", FontSize->16] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["Traditional Solution by the Green's Function", "Section"], Cell[TextData[{ "We assume ", StyleBox["regularity", FontVariations->{"Underline"->True}], ":" }], "Text"], Cell[BoxData[ \(TraditionalForm\`\[ForAll] \+f\(\[Exists] \+u\[NegativeThinSpace]\(! \ \ \ \((#)\)\)\)\)], "Formula"], Cell[TextData[{ "Then every linear two\[Dash]point BVP admits to write the ", StyleBox["solution", FontVariations->{"Underline"->True}], " as:" }], "Text"], Cell[BoxData[ \(TraditionalForm\`u( x) = \[Integral]\_a\%b\( g( x, \[Xi])\)\ \ \ \(f(\[Xi])\)\ \ \ \[DifferentialD]\[Xi]\)], \ "Formula"], Cell[TextData[{ "\t", Cell[BoxData[ FormBox[ StyleBox["g", FontFamily->"Times"], TraditionalForm]]], "\t...................... Green's function ", Cell[BoxData[ FormBox[ StyleBox[\(\([a, b]\)\^2 \[Rule] \[DoubleStruckCapitalC]\), FontFamily->"Times"], TraditionalForm]]], "\n\t", Cell[BoxData[ FormBox[ StyleBox["f", FontFamily->"Times"], TraditionalForm]]], "\t...................... Given forcing function ", Cell[BoxData[ FormBox[ StyleBox[\(\([a, b]\) \[Rule] \[DoubleStruckCapitalC]\), FontFamily->"Times"], TraditionalForm]]], "\n\t", Cell[BoxData[ FormBox[ StyleBox["u", FontFamily->"Times"], TraditionalForm]]], "\t...................... Desired solution function ", Cell[BoxData[ FormBox[ StyleBox[\(\([a, b]\) \[Rule] \[DoubleStruckCapitalC]\), FontFamily->"Times"], TraditionalForm]]] }], "Text", FontFamily->"Courier"], Cell[TextData[{ StyleBox["Traditional solution method", FontVariations->{"Underline"->True}], " (see e.g. Kamke): Matrix inversion based on a fundamental system for ", Cell[BoxData[ \(TraditionalForm\`T\)]], "." }], "Text"], Cell[TextData[{ StyleBox["Importance of Green's function:", FontVariations->{"Underline"->True}], " Response to \"point sources\"." }], "Text"] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["An Example: Beam Deflection", "Section"], Cell[TextData[{ "Beam deflected under a loading ", Cell[BoxData[ \(TraditionalForm\`\[Sigma]\)]], ":" }], "Text"], Cell[BoxData[ FormBox[GridBox[{ {\(\(-u''''\) \((x)\) + \(\(\(\(\[Sigma](x)\)/ E\ I\)\+\[UnderBrace]\)\+\(f(x)\)\) \(u(x)\) = 0\), "\[LongRightArrow]", \(u'''' \((x)\) = f(x)\)} }, ColumnSpacings->3], TraditionalForm]], "Formula", FormatType->StandardForm], Cell["\<\ Fixed at both ends, but allowed to bend:\ \>", "Text"], Cell[BoxData[ FormBox[ FrameBox[GridBox[{ { StyleBox[\(u'''' \((x)\) = f(x)\), GridBoxOptions->{ColumnAlignments->{Center}}]}, {GridBox[{ {\(u(0)\), "=", "0", \(u'' \((0)\)\), "=", "0"}, {\(u(1)\), "=", "0", \(u'' \((1)\)\), "=", "0"} }, ColumnSpacings->{0.5, 0.5, 8, 0.5}]} }, RowLines->True], BoxFrame->False], TraditionalForm]], "Formula", TextAlignment->Left, FormatType->StandardForm, GridBoxOptions->{ColumnSpacings->3}], Cell[TextData[StyleBox["Green's function:", FontVariations->{"Underline"->True}]], "Text"], Cell[BoxData[ FormBox[ RowBox[{\(g(x, \[Xi])\), "=", RowBox[{ StyleBox["{", SpanMaxSize->Infinity], GridBox[{ {\(\(1\/3\) x\ \[Xi] - \(1\/6\) \[Xi]\^3 - \(1\/2\) \(x\^2\) \[Xi] + \ \(1\/6\) x\ \[Xi]\^3 + \(1\/6\) \(x\^3\) \[Xi]\), "if", \(0 \[LessEqual] \[Xi] \[LessEqual] x \[LessEqual] 1\)}, {\(\(1\/3\) x\ \[Xi] - \(1\/2\) x\ \[Xi]\^2 - \(1\/6\) x\^3 + \(1\/6\) x\ \[Xi]\^3 + \(1\/6\) \(x\^3\) \[Xi]\), "if", \(0 \[LessEqual] x \[LessEqual] \[Xi] \[LessEqual] 1\)} }], StyleBox["}", ShowContents->False]}]}], TraditionalForm]], "Formula"] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["The Operator Perspective of BVPs", "Section"], Cell[TextData[{ "Everything seems to be on the ", StyleBox["functional level", FontVariations->{"Underline"->True}], ":" }], "Text"], Cell[TextData[{ "Problem statement: For every ", StyleBox["function", FontWeight->"Bold"], " ", Cell[BoxData[ \(TraditionalForm\`f\)]], ", find the ", StyleBox["function", FontWeight->"Bold"], " ", Cell[BoxData[ \(TraditionalForm\`u\)]], " such that \[Ellipsis]" }], "ItemizedText"], Cell[TextData[{ "Solution method: Linear algebra over ", StyleBox["function", FontWeight->"Bold"], " fields." }], "ItemizedText"], Cell[TextData[{ "Final solution: The Green's ", StyleBox["function", FontWeight->"Bold"], "." }], "ItemizedText"], Cell[CellGroupData[{ Cell["", "Collector"], Cell[BoxData[ FormBox[GridBox[{ { StyleBox[ AdjustmentBox["u", BoxMargins->{{0, 0}, {-0.297297, 0.297297}}, BoxBaselineShift->0.297297], FontSize->48], GridBox[{ { OverscriptBox["\[RightTeeArrow]", StyleBox["T", FontSize->24]]}, { UnderscriptBox["\[LeftTeeArrow]", StyleBox["G", FontSize->24]]} }], StyleBox[ AdjustmentBox["f", BoxMargins->{{0, 0}, {-0.189189, 0.189189}}, BoxBaselineShift->0.189189], FontSize->48]} }], TraditionalForm]], "Formula"], Cell[TextData[{ "But ", StyleBox["actually", FontSlant->"Italic"], ", everything happens on the ", StyleBox["operator level", FontVariations->{"Underline"->True}], ":" }], "Text"], Cell[TextData[{ "What we really want is the Green's ", StyleBox["operator", FontWeight->"Bold"], " ", Cell[BoxData[ \(TraditionalForm\`G\)]], " mapping forcing functions to solutions (via ", Cell[BoxData[ \(TraditionalForm\`g\)]], " or not)." }], "ItemizedText"], Cell[TextData[{ "In some sense, it is the inverse of the given differential ", StyleBox["operator", FontWeight->"Bold"], " ", Cell[BoxData[ \(TraditionalForm\`T\)]], "." }], "ItemizedText"], Cell[TextData[{ "We will present a new method that works directly on (an algebraic model \ of) the ", StyleBox["operators", FontWeight->"Bold"], "." }], "ItemizedText"] }, Open ]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["Integro\[Dash]Differential Algebras", "Section"], Cell[TextData[{ "A complex algebra ", Cell[BoxData[ \(TraditionalForm\`\[ScriptCapitalF]\)]], " with basis ", Cell[BoxData[ \(TraditionalForm\`\[ScriptCapitalF]\^#\)]], ", plus 5 linear operations fulfilling these ", StyleBox["axioms", FontVariations->{"Underline"->True}], ":" }], "Text"], Cell[TextData[{ StyleBox["Boundary operators as abbreviations: ", FontSlant->"Italic"], Cell[BoxData[ \(TraditionalForm\`f\^\[LeftArrow] \[Congruent] f - \(\[Integral]\^*\)f'\)], FontSlant->"Italic"], StyleBox[" and ", FontSlant->"Italic"], Cell[BoxData[ \(TraditionalForm\`\(f\^ \[Rule] \) \[Congruent] \(\[Integral]\_*\)f' - f\)], FontSlant->"Italic"], StyleBox[".", FontSlant->"Italic"] }], "Text", TextAlignment->Right, TextJustification->0], Cell[BoxData[ FormBox[ StyleBox[GridBox[{ {"Differentiation", \(\[Ellipsis]'\), ":", \(\[ScriptCapitalF] \[Rule] \[ScriptCapitalF]\), \(\((f\ \[InvisibleSpace]g)\)' = f'\[NegativeVeryThinSpace]g + f\[InvisibleSpace]g'\)}, {"Integral", \(\(\[Integral]\^*\)\[Ellipsis]\), ":", \(\[ScriptCapitalF] \[Rule] \[ScriptCapitalF]\), \(\(\ \[Integral]\^*\)f' = f - f\^\[LeftArrow], \((\(\[Integral]\^*\)f)\)' = f\)}, {"Cointegral", \(\(\[Integral]\_*\)\[Ellipsis]\), ":", \(\[ScriptCapitalF] \[Rule] \[ScriptCapitalF]\), \(\(\ \[Integral]\_*\)f' = \(f\^ \[Rule] \) - f, \((\(\[Integral]\_*\)f)\)' = \(-f\)\)}, {\(Left\ Boundary\ Value\), \(\[Ellipsis]\^\[LeftArrow]\), ":", \(\[ScriptCapitalF] \[Rule] \[DoubleStruckCapitalC]\), \ \(\((f\[InvisibleSpace]g)\)\^\[LeftArrow] = f\^\[LeftArrow]\[InvisibleSpace]g\^\[LeftArrow]\)}, {\(Right\ Boundary\ Value\), \(\[Ellipsis]\^ \[Rule] \), ":", \(\[ScriptCapitalF] \[Rule] \[DoubleStruckCapitalC]\), \ \(\(\((f\[InvisibleSpace]g)\)\^ \[Rule] \) = \(f\^ \[Rule] \ \)\[InvisibleSpace]\(g\^ \[Rule] \)\)} }, ColumnSpacings->{2, 0.5, 0.5, 5}], ShowStringCharacters->False], TraditionalForm]], "Formula"], Cell[CellGroupData[{ Cell["", "Collector"], Cell[TextData[{ StyleBox["Standard example", FontVariations->{"Underline"->True}], ": ", Cell[BoxData[ \(TraditionalForm\`\[ScriptCapitalF] = \(C\^\[Infinity]\)[0, 1]\)]], " with:" }], "Text"], Cell[BoxData[ FormBox[GridBox[{ {\(f' = \[PartialD]f\/\[PartialD]x\)}, {\(\(\[Integral]\^*\)f = \[Integral]\_0\%x\( f(\[Xi])\)\ \ \[DifferentialD]\[Xi]\)}, {\(\(\[Integral]\_*\)f = \[Integral]\_x\%1\( f(\[Xi])\)\ \ \[DifferentialD]\[Xi]\)}, {\(f\^\[LeftArrow] = f(0)\)}, {\(\(f\^ \[Rule] \) = f(1)\)} }], TraditionalForm]], "Formula"] }, Open ]], Cell[CellGroupData[{ Cell["", "Collector"], Cell[TextData[{ StyleBox["Common subalgebra", FontVariations->{"Underline"->True}], ": Exponential polynomials" }], "Text"], Cell[BoxData[ \(TraditionalForm\`\[ScriptCapitalE]\[ScriptX]\[ScriptP]\^\[NumberSign] = \ {\(x\^k\) \[ExponentialE]\^\(\[Lambda]\[InvisibleSpace]x\) | k \[Element] \[DoubleStruckCapitalN] \[And] \[Lambda] \[Element] \ \[DoubleStruckCapitalC]}\)], "Formula"] }, Open ]], Cell[CellGroupData[{ Cell["", "Collector"], Cell[TextData[{ StyleBox["Other example", FontVariations->{"Underline"->True}], ": ", Cell[BoxData[ \(TraditionalForm\`\[ScriptCapitalF] = \(C\^\[Infinity]\)(\ \[DoubleStruckCapitalR]\^2)\)]], " with:" }], "Text"], Cell[BoxData[ FormBox[GridBox[{ {\(f' = \[PartialD]f\/\[PartialD]x + \[PartialD]f\/\[PartialD]y\)}, {\(\(\[Integral]\^*\)f = \[Integral]\_0\%x\( f(t, t - x + y)\) \[DifferentialD]\[NegativeThinSpace]t\ \[IndentingNewLine] \(\[Integral]\_*\)f = \[Integral]\_x\%1\( f(t, t - x + y)\) \[DifferentialD]\[NegativeThinSpace]t\)}, {\(f\^\[LeftArrow] = f(0, \(-x\) + y)\[IndentingNewLine] \(f\^ \[Rule] \) = f(1, 1 - x + y)\)} }], TraditionalForm]], "Formula"] }, Open ]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["\<\ Integro\[Dash]Differential Polynomials\ \>", "Section"], Cell["\<\ Analogous to differential algebra \[Rule] differential polynomials:\ \ \>", "Text"], Cell[TextData[{ StyleBox["Idea:", FontVariations->{"Underline"->True}], " \t\tIntegral / differential / boundary / multiplication operators\n\t\t~ \ \"formal linear expressions\" of \[ScriptCapitalF] containing an \ indeterminate ", Cell[BoxData[ \(TraditionalForm\`u\)]], "." }], "Quotation", CellFrame->True, CellMargins->{{50, Inherited}, {Inherited, Inherited}}, FontColor->RGBColor[1, 0, 0]], Cell[CellGroupData[{ Cell["", "Collector"], Cell[TextData[{ "Introduce abbreviations for ", StyleBox["basic operators", FontVariations->{"Underline"->True}], ":" }], "Text"], Cell[BoxData[ FormBox[ StyleBox[GridBox[{ {"\<\"Differential operator\"\>", \(u'\), "\[RightVector]", "D"}, {\(\(Integral\)\(\ \)\(Operator\)\(\ \)\), \ \(\(\[Integral]\^*\)u\), "\[RightVector]", "A"}, {\(\(Cointegral\)\(\ \)\(Operator\)\(\ \)\), \ \(\(\[Integral]\_*\)u\), "\[RightVector]", "B"}, {"\<\"Left Boundary Operator\"\>", \(u\^\[LeftArrow]\), "\[RightVector]", "L"}, {"\<\"Right Boundary Operator\"\>", \(u\^ \[Rule] \), "\[RightVector]", "R"}, {\(Multiplication\ Operator\), "f", "\[RightVector]", \(\[LeftCeiling]f\[RightCeiling]\)} }, ColumnSpacings->{2, 0.5, 0.5, 5}], ShowStringCharacters->False], TraditionalForm]], "Formula"] }, Open ]], Cell[CellGroupData[{ Cell["", "Collector"], Cell[TextData[{ "Hence we construct the noncommutative ", StyleBox["algebra of integro\[Dash]differential polynomials", FontVariations->{"Underline"->True}], ":" }], "Text"], Cell[BoxData[ \(TraditionalForm\`\[ScriptCapitalA]\[ScriptN](\[ScriptCapitalF]) = \ \[DoubleStruckCapitalC]\ \[NegativeVeryThinSpace]\[LeftAngleBracket]{D, A, B, L, R} \[Union] {\[LeftCeiling]f\[RightCeiling] \ \[VerticalSeparator] f \[Element] \[ScriptCapitalF]\^\[NumberSign]}\ \[RightAngleBracket]/\[ScriptCapitalG]\[ScriptR]\[ScriptN]\)], "Formula"], Cell[TextData[{ "Here ", Cell[BoxData[ \(TraditionalForm\`\[ScriptCapitalG]\[ScriptR]\[ScriptN]\)]], " is the ideal generated by a set of polynomial identities (\"", StyleBox["Green's system", FontVariations->{"Underline"->True}], "\").\nSomehow mirroring integro\[Dash]differential axioms." }], "Text"] }, Open ]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["The Green's System 1, 2", "Section"], Cell[BoxData[ RowBox[{ StyleBox["System", FontWeight->"Bold"], "[", RowBox[{ StyleBox["\"\<1. Equalities for Isolating Differential Operators\>\"", FontSlant->"Italic"], ",", \(any[f]\), ",", "\[IndentingNewLine]", GridBox[{ {\(D\ A = 1\), "\"\\""}, {\(D\ B = \(-1\)\), "\"\\""}, {\(D\ \[LeftCeiling]f\[RightCeiling] = \[LeftCeiling]f\ \[RightCeiling] D + \[LeftCeiling]f'\[RightCeiling]\), "\"\\""}, {\(D\ L = 0\), "\"\\""}, {\(D\ R = 0\), "\"\\""} }, RowSpacings->1.5, ColumnSpacings->1.5, ColumnWidths->{22, 4}, RowLines->{False, True, True, False}, ColumnLines->False]}], "\[IndentingNewLine]", "]"}]], "Input", CellTags->"System (1. Equalities for Isolating Differential Operators)"], Cell[BoxData[ RowBox[{ StyleBox["System", FontWeight->"Bold"], "[", RowBox[{ StyleBox["\"\<2. Equalities for Isolating Boundary Operators\>\"", FontSlant->"Italic"], ",", \(any[f]\), ",", "\[IndentingNewLine]", GridBox[{ {\(L\ A = 0\), "\"\\""}, {\(R\ A = A + B\), "\"\\""}, {\(L\ B = A + B\), "\"\\""}, {\(R\ B = 0\), "\"\\""}, {\(L\ \[LeftCeiling]f\[RightCeiling] = \(f\^\[LeftArrow]\) L\), "\"\\""}, {\(R\ \[LeftCeiling]f\[RightCeiling] = \(f\^\[RightArrow]\) R\), "\"\\""}, {\(L\ L = L\), "\"\\""}, {\(L\ R = R\), "\"\\""}, {\(R\ L = L\), "\"\\""}, {\(R\ R = R\), "\"\\""} }, RowSpacings->1.5, ColumnSpacings->1.5, ColumnWidths->{22, 4}, RowLines->{False, False, False, True, False, True, False}, ColumnLines->False]}], "\[IndentingNewLine]", "]"}]], "Input", CellTags->"System (2. Equalities for Isolating Boundary Operators)"] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["The Green's System 0, 3", "Section"], Cell[BoxData[ RowBox[{ StyleBox["System", FontWeight->"Bold"], "[", RowBox[{ StyleBox["\"\\"", FontSlant->"Italic"], ",", \(any[f, g]\), ",", "\[IndentingNewLine]", GridBox[{ {\(\[LeftCeiling]f\[RightCeiling] \[LeftCeiling]g\[RightCeiling] \ = \[LeftCeiling]f\ g\[RightCeiling]\), "\"\\""} }, RowSpacings->1.5, ColumnSpacings->1.5, ColumnWidths->{22, 4}, RowLines->{False, True, True, False}, ColumnLines->False]}], "\[IndentingNewLine]", "]"}]], "Input", CellTags->"System (Equalities for Algebraic Simplication)"], Cell[BoxData[ RowBox[{ StyleBox["System", FontWeight->"Bold"], "[", RowBox[{ StyleBox[ "\"\<3. Equalities for Contracting Integration Operators\>\"", FontSlant->"Italic"], ",", \(any[f]\), ",", "\[IndentingNewLine]", GridBox[{ {\(A\ \[LeftCeiling]f\[RightCeiling]\ A = \[LeftCeiling]\(\ \[Integral]\^*\)f\[RightCeiling] A - A\ \[LeftCeiling]\(\[Integral]\^*\)f\[RightCeiling]\), "\"\\""}, {\(A\ \[LeftCeiling]f\[RightCeiling]\ B = \[LeftCeiling]\(\ \[Integral]\^*\)f\[RightCeiling] B + A\ \[LeftCeiling]\(\[Integral]\^*\)f\[RightCeiling]\), "\"\\""}, {\(B\ \[LeftCeiling]f\[RightCeiling]\ A = \[LeftCeiling]\(\ \[Integral]\_*\)f\[RightCeiling] A + B\ \[LeftCeiling]\(\[Integral]\_*\)f\[RightCeiling]\), "\"\\""}, {\(B\ \[LeftCeiling]f\[RightCeiling]\ B = \[LeftCeiling]\(\ \[Integral]\_*\)f\[RightCeiling] B - B\ \[LeftCeiling]\(\[Integral]\_*\)f\[RightCeiling]\), "\"\\""}, {\(A\ A = \[LeftCeiling]\(\[Integral]\^*\)1\[RightCeiling]\ A - A\ \[LeftCeiling]\(\[Integral]\^*\)1\[RightCeiling]\), "\"\\""}, {\(A\ B = \[LeftCeiling]\(\[Integral]\^*\)1\[RightCeiling]\ B + A\ \[LeftCeiling]\(\[Integral]\^*\)1\[RightCeiling]\), "\"\\""}, {\(B\ A = \[LeftCeiling]\(\[Integral]\_*\)1\[RightCeiling] A + B\ \[LeftCeiling]\(\[Integral]\_*\)1\[RightCeiling]\), "\"\\""}, {\(B\ B = \[LeftCeiling]\(\[Integral]\_*\)1\[RightCeiling] B - B\ \[LeftCeiling]\(\[Integral]\_*\)1\[RightCeiling]\), "\"\\""} }, RowSpacings->1.5, ColumnSpacings->1.5, ColumnWidths->{22, 4}, RowLines->{False, False, False, True, False}, ColumnLines->False]}], "\[IndentingNewLine]", "]"}]], "Input", CellTags->"System (3. Equalities for Contracting Integration Operators)"] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["The Green's System 4", "Section"], Cell[BoxData[ RowBox[{ StyleBox["System", FontWeight->"Bold"], "[", RowBox[{ StyleBox["\"\<4. Equalities for Absorbing Integration Operators\>\"", FontSlant->"Italic"], ",", \(any[f]\), ",", "\[IndentingNewLine]", GridBox[{ {\(A\ \[LeftCeiling]f\[RightCeiling]\ D = \(-f\^\[LeftArrow]\) L + \[LeftCeiling]f\[RightCeiling] - A\ \[LeftCeiling]f'\[RightCeiling]\), "\"\\""}, {\(B\ \[LeftCeiling]f\[RightCeiling]\ D = \(f\^\[RightArrow]\) R - \[LeftCeiling]f\[RightCeiling] - B\ \[LeftCeiling]f'\[RightCeiling]\), "\"\\""}, {\(A\ D = \(-L\) + 1\), "\"\\""}, {\(B\ D = R - 1\), "\"\\""}, {\(A \[LeftCeiling]f\[RightCeiling] L = \[LeftCeiling]\(\[Integral]\^*\)f\[RightCeiling] L\), "\"\\""}, {\(B \[LeftCeiling]f\[RightCeiling] L = \[LeftCeiling]\(\[Integral]\_*\)f\[RightCeiling] L\), "\"\\""}, {\(A \[LeftCeiling]f\[RightCeiling] R = \[LeftCeiling]\(\[Integral]\^*\)f\[RightCeiling] R\), "\"\\""}, {\(B \[LeftCeiling]f\[RightCeiling] R = \[LeftCeiling]\(\[Integral]\_*\)f\[RightCeiling] R\), "\"\\""}, {\(A\ L = \[LeftCeiling]\(\[Integral]\^*\)1\[RightCeiling]\ L\), "\"\\""}, {\(B\ L = \[LeftCeiling]\(\[Integral]\_*\)1\[RightCeiling]\ L\), "\"\\""}, {\(A\ R = \[LeftCeiling]\(\[Integral]\^*\)1\[RightCeiling]\ R\), "\"\\""}, {\(B\ R = \[LeftCeiling]\(\[Integral]\_*\)1\[RightCeiling]\ R\), "\"\\""} }, RowSpacings->1.5, ColumnSpacings->1.5, ColumnWidths->{22, 4}, RowLines->{ False, True, False, True, False, False, False, True, False}, ColumnLines->False]}], "\[IndentingNewLine]", "]"}]], "Input", CellTags->"System (4. Equalities for Absorbing Integration Operators)"] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["New Formulation of BVPs", "Section"], Cell[TextData[{ "Remember: ", StyleBox["Given", FontColor->RGBColor[1, 0, 0]], " ", Cell[BoxData[ \(TraditionalForm\`f \[Element] \(C\^\[Infinity]\)[a, b]\)]], ", ", StyleBox["find", FontColor->RGBColor[1, 0, 0]], " ", Cell[BoxData[ \(TraditionalForm\`u \[Element] \(C\^\[Infinity]\)[a, b]\)]], " such that ", Cell[BoxData[ \(TraditionalForm\`T\ u = f\)]], " and ", Cell[BoxData[ \(TraditionalForm\`\(B\_1\) u = \(\[Ellipsis] = \(\(B\_n\) u = 0\)\)\)]], "." }], "Text"], Cell[BoxData[ FormBox[GridBox[{ {"G", ":", \(\(C\^\[Infinity]\)[a, b]\), "\[LongRightArrow]", \(\(C\^\[Infinity]\)[a, b]\)}, {" ", " ", "f", "\[RightTeeArrow]", "u"} }], TraditionalForm]], "Formula"], Cell[TextData[{ "Hence, for every ", Cell[BoxData[ \(TraditionalForm\`f \[Element] \(C\^\[Infinity]\)[a, b]\)]], " we must have:" }], "Text"], Cell[BoxData[{ \(TraditionalForm\`T\ G\ f = f\), "\[IndentingNewLine]", \(TraditionalForm\`\(B\_1\) G\ f = \(\[Ellipsis] = \(\(B\_n\) G\ f = 0\)\)\)}], "Formula"], Cell[CellGroupData[{ Cell["", "Collector"], Cell["Or purely on the level of operators:", "Text"], Cell[BoxData[{ \(TraditionalForm\`T\ G = 1\), "\[IndentingNewLine]", \(TraditionalForm\`\(B\_1\) G\ = \(\[Ellipsis] = \(\(B\_n\) G\ = 0\)\)\)}], "Formula"], Cell[TextData[{ "So we search an operator ", Cell[BoxData[ \(TraditionalForm\`G\)]], " that is a right inverse of ", Cell[BoxData[ \(TraditionalForm\`T\)]], " and annihilated by ", Cell[BoxData[ \(TraditionalForm\`\[LeftAngleBracket]B\_1, \[Ellipsis], B\_n\[RightAngleBracket]\)]], ".\nCharacteristic data of BVP: Differential operator ", Cell[BoxData[ \(TraditionalForm\`T\)]], " and boundary (vector) operator ", Cell[BoxData[ \(TraditionalForm\`\[LeftAngleBracket]B\_1, \[Ellipsis], B\_n\[RightAngleBracket]\)]], "." }], "Quotation", CellFrame->True, CellMargins->{{50, Inherited}, {Inherited, Inherited}}] }, Open ]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["Beam Deflection Again", "Section"], Cell[TextData[{ StyleBox["Functional formulation", FontVariations->{"Underline"->True}], " from before:" }], "Text"], Cell[BoxData[ FormBox[GridBox[{ {GridBox[{ { StyleBox[\(u'''' \((x)\) = f(x)\), GridBoxOptions->{ColumnAlignments->{Center}}]}, {GridBox[{ {\(u(0)\), "=", "0", \(u'' \((0)\)\), "=", "0"}, {\(u(1)\), "=", "0", \(u'' \((1)\)\), "=", "0"} }, ColumnSpacings->{0.5, 0.5, 1, 0.5}]} }, RowLines->True], RowBox[{\(g(x, \[Xi])\), "=", RowBox[{ StyleBox["{", SpanMaxSize->Infinity], GridBox[{ {\(\(1\/3\) x\ \[Xi] - \(1\/6\) \[Xi]\^3 - \(1\/2\) \(x\^2\) \ \[Xi] + \(1\/6\) x\ \[Xi]\^3 + \(1\/6\) \(x\^3\) \[Xi]\), "if", \(0 \[LessEqual] \[Xi] \[LessEqual] x \[LessEqual] 1\)}, {\(\(1\/3\) x\ \[Xi] - \(1\/2\) x\ \[Xi]\^2 - \(1\/6\) x\^3 + \(1\/6\) x\ \[Xi]\^3 + \(1\/6\) \(x\^3\) \[Xi]\), "if", \(0 \[LessEqual] x \[LessEqual] \[Xi] \[LessEqual] 1\)} }, ColumnSpacings->1], StyleBox["}", ShowContents->False]}]}]} }, ColumnSpacings->2], TraditionalForm]], "Formula", TextAlignment->Left, FormatType->StandardForm, GridBoxOptions->{ColumnSpacings->3}], Cell[TextData[{ "New ", StyleBox["operator formulation", FontVariations->{"Underline"->True}], ":" }], "Text"], Cell[BoxData[ FormBox[GridBox[{ {GridBox[{ { RowBox[{ RowBox[{ StyleBox[\(D\^4\), GridBoxOptions->{ColumnAlignments->{Center}}], "G"}], "=", "1"}]}, {GridBox[{ {\(L\[InvisibleSpace]G\), "=", "0", \(L\[InvisibleSpace]D\^2\[NegativeVeryThinSpace]\ G\), "=", "0"}, {\(R\[InvisibleSpace]G\), "=", "0", \(R\[InvisibleSpace]D\^2\[NegativeVeryThinSpace]\ G\), "=", "0"} }, ColumnSpacings->{0.5, 0.5, 1, 0.5}]} }, RowLines-> True], \(G = \(-\(1\/6\)\) A \[LeftCeiling]x\^3\[RightCeiling] - \(1\/6\) \ \[LeftCeiling]x\^3\[RightCeiling] B + \(1\/3\) \[LeftCeiling]x\[RightCeiling] A \[LeftCeiling]x\[RightCeiling] + \(1\/6\) \[LeftCeiling]x\ \[RightCeiling] A \[LeftCeiling]x\^3\[RightCeiling] + \(1\/3\) \ \[LeftCeiling]x\[RightCeiling] B \[LeftCeiling]x\[RightCeiling]\[IndentingNewLine] \ \ \ \(-\(1\/2\)\) \[LeftCeiling]x\[RightCeiling] B \[LeftCeiling]x\^2\[RightCeiling] + \(1\/6\) \ \[LeftCeiling]x\[RightCeiling] B \[LeftCeiling]x\^3\[RightCeiling] - \(1\/2\) \ \[LeftCeiling]x\^2\[RightCeiling] A \[LeftCeiling]x\[RightCeiling] + \(1\/6\) \ \[LeftCeiling]x\^3\[RightCeiling] A \[LeftCeiling]x\[RightCeiling] + \(1\/6\) \ \[LeftCeiling]x\^3\[RightCeiling] B \[LeftCeiling]x\[RightCeiling]\)} }, ColumnSpacings->2, RowAlignments->Center], TraditionalForm]], "Formula", TextAlignment->Left, FormatType->StandardForm, GridBoxOptions->{ColumnSpacings->3}], Cell[TextData[{ StyleBox["Characteristic data", FontVariations->{"Underline"->True}], ": ", Cell[BoxData[ \(TraditionalForm\`T = D\^4\)]], " and ", Cell[BoxData[ \(TraditionalForm\`\[LeftAngleBracket]B\_1, B\_2, B\_3, B\_4\[RightAngleBracket] = \[LeftAngleBracket]L\[InvisibleSpace]G, R\[InvisibleSpace]G, L\[InvisibleSpace]D\^2\[NegativeVeryThinSpace]G, R\[InvisibleSpace]D\^2\[NegativeVeryThinSpace]G\[RightAngleBracket]\ \)]], "." }], "Text"], Cell[TextData[{ StyleBox["Computation", FontVariations->{"Underline"->True}], " within the ", StyleBox["Theorema", FontSlant->"Italic"], " system:" }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(Compute[ Green[D\^4, \[LeftAngleBracket]L, R, L\ D\^2, R\ D\^2\[RightAngleBracket]], by \[Rule] GreenEvaluator]\)], "Input"], Cell[BoxData[ \(\(\(\(\(\(\(-\(\(1\/6\) A \[LeftCeiling]x\^3\[RightCeiling]\)\) - \(1\/6\) \ \[LeftCeiling]x\^3\[RightCeiling] B\) + \(1\/3\) \[LeftCeiling]x\[RightCeiling] A \[LeftCeiling]x\[RightCeiling] + \(1\/6\) \[LeftCeiling]x\ \[RightCeiling] A \[LeftCeiling]x\^3\[RightCeiling] + \(1\/3\) \ \[LeftCeiling]x\[RightCeiling] B \[LeftCeiling]x\[RightCeiling]\) - \(1\/2\) \[LeftCeiling]x\ \[RightCeiling] B \[LeftCeiling]x\^2\[RightCeiling]\) + \(1\/6\) \ \[LeftCeiling]x\[RightCeiling] B \[LeftCeiling]x\^3\[RightCeiling]\) - \(1\/2\) \ \[LeftCeiling]x\^2\[RightCeiling] A \[LeftCeiling]x\[RightCeiling]\) + \(1\/6\) \[LeftCeiling]x\^3\ \[RightCeiling] A \[LeftCeiling]x\[RightCeiling] + \(1\/6\) \[LeftCeiling]x\^3\ \[RightCeiling] B \[LeftCeiling]x\[RightCeiling]\)], "Output"] }, Open ]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["\<\ Solving BVPs\[LongDash]A Primitive Approach\ \>", "Section"], Cell["Heuristic strategy:", "Text"], Cell[TextData[{ "For every concrete problem characterized by ", Cell[BoxData[ \(TraditionalForm\`T\)]], " and ", Cell[BoxData[ \(TraditionalForm\`\[LeftAngleBracket]B\_1, \[Ellipsis], B\_n\[RightAngleBracket]\)]], " throw together\n\tthe equations ", Cell[BoxData[ \(TraditionalForm\`T\[InvisibleSpace]G = 1, B\_1\[NegativeThinSpace]G = \(\[Ellipsis] = \(B\_n\[NegativeThinSpace]G \ = 0\)\)\)]], "\n\tand an appropriate segment of the above \"Green's system\" identities.\ \nThen solve the resulting system for ", Cell[BoxData[ \(TraditionalForm\`G\)]], " by using noncommutative Gr\[ODoubleDot]bner bases." }], "Quotation", CellFrame->True], Cell[CellGroupData[{ Cell["", "Collector"], Cell["Problematic points in the above strategy:", "Text"], Cell["\<\ In the noncommutative case, (finite) Gr\[ODoubleDot]bner bases need \ not exist.\ \>", "ItemizedText"], Cell[TextData[{ "If it exists, how do we know that ", Cell[BoxData[ \(TraditionalForm\`G\)]], " always gets isolated as above?" }], "ItemizedText"], Cell["\<\ Computing a noncommutative Gr\[ODoubleDot]bner basis for each \ example is expensive!\ \>", "ItemizedText", CellMargins->{{Inherited, Inherited}, {30, Inherited}}] }, Open ]], Cell[CellGroupData[{ Cell["", "Collector"], Cell["Observe:", "Text"], Cell[TextData[{ "The ", Cell[BoxData[ \(TraditionalForm\`n + 1\)]], " equations ", Cell[BoxData[ \(TraditionalForm\`T\[InvisibleSpace]G = 1, B\_1\[NegativeThinSpace]G = \(\[Ellipsis] = \(B\_n\[NegativeThinSpace]G \ = 0\)\)\)]], " are the only ones changing in each computation." }], "ItemizedText"], Cell[TextData[{ "Replacing them by a single equation, ", Cell[BoxData[ \(TraditionalForm\`\[ScriptCapitalE](G)\)]], ", might yield an expression for ", Cell[BoxData[ \(TraditionalForm\`G\)]], " by a uniform method." }], "ItemizedText"], Cell["\<\ Then we could use the Green's system only for normalizing this \ expression.\ \>", "ItemizedText"], Cell[BoxData[ FormBox[GridBox[{ {\(T\[InvisibleSpace]G = 1, B\_1\[NegativeThinSpace]G = \(\[Ellipsis] = \(B\_n\ \[NegativeThinSpace]G = 0\)\)\), "\[DoubleLongLeftRightArrow]", \(\[ScriptCapitalE](G)\), "??"} }], TraditionalForm]], "Formula", GridBoxOptions->{ColumnSpacings->3}] }, Open ]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["\<\ Solving BVPs\[LongDash]A Refined Approach\ \>", "Section"], Cell[CellGroupData[{ Cell["Sketch of Solution Algorithm", "Collector"], Cell[BoxData[{ \(TraditionalForm\`T\ G = 1\), "\[IndentingNewLine]", \(TraditionalForm\`\(B\_1\) G\ = \(\[Ellipsis] = \(\(B\_n\) G\ = 0\)\)\)}], "Formula"], Cell[BoxData[ FormBox[GridBox[{ {\(\(\[ScriptCapitalE](G)\)\(\[Colon]\)\), \(G\[InvisibleSpace]T = 1 - P\)} }], TraditionalForm]], "Formula", GridBoxOptions->{ColumnSpacings->3}], Cell[TextData[{ "Compute the solution space ", Cell[BoxData[ \(TraditionalForm\`N\)]], " of the homogeneous equation ", Cell[BoxData[ \(TraditionalForm\`T\[InvisibleSpace]u = 0\)]], "." }], "ItemizedText"], Cell[TextData[{ "Determine a projector ", Cell[BoxData[ \(TraditionalForm\`P\)]], " onto ", Cell[BoxData[ \(TraditionalForm\`N\)]], " such that ", Cell[BoxData[ \(TraditionalForm\`M = \((1 - P)\) \(C\^\[Infinity]\)[a, b]\)]], " fulfills the boundary conditions." }], "ItemizedText"], Cell[CellGroupData[{ Cell[BoxData[ \(P = Compute[Proj[ D\^4, \[LeftAngleBracket]L, R, L\ D\^2, R\ D\^2\[RightAngleBracket]], by \[Rule] GreenEvaluator]\)], "Input"], Cell[BoxData[ \(\(\(\(\(\(\(L - \[LeftCeiling]x\[RightCeiling] L\) + \[LeftCeiling]x\[RightCeiling] R\) - \(1\/3\) \[LeftCeiling]x\[RightCeiling] L D\^2\) - \(1\/6\) \[LeftCeiling]x\[RightCeiling] R D\^2\) + \(1\/2\) \[LeftCeiling]x\^2\[RightCeiling] L D\^2\) - \(1\/6\) \[LeftCeiling]x\^3\[RightCeiling] L D\^2\) + \(1\/6\) \[LeftCeiling]x\^3\[RightCeiling] R D\^2\)], "Output"] }, Open ]], Cell[TextData[{ "Find the right inverse ", Cell[BoxData[ \(TraditionalForm\`T\^\[FilledDiamond]\)]], " of ", Cell[BoxData[ \(TraditionalForm\`T\)]], " as specified above." }], "ItemizedText"], Cell[CellGroupData[{ Cell[BoxData[ \(T\[FilledDiamond] = Compute[\((D\^4)\)\^\[FilledDiamond], by \[Rule] GreenEvaluator]\)], "Input"], Cell[BoxData[ \(\(\(-\(\(1\/6\) A \[LeftCeiling]x\^3\[RightCeiling]\)\) + \(1\/6\) \ \[LeftCeiling]x\^3\[RightCeiling] A + \(1\/2\) \[LeftCeiling]x\[RightCeiling] A \[LeftCeiling]x\^2\[RightCeiling]\) - \(1\/2\) \[LeftCeiling]x\^2\ \[RightCeiling] A \[LeftCeiling]x\[RightCeiling]\)], "Output"] }, Open ]], Cell[TextData[{ "Build up ", Cell[BoxData[ FormBox[ FrameBox[\(G = \((1 - P)\) T\^\[FilledDiamond]\)], TraditionalForm]]], " as the crude Green's operator." }], "ItemizedText"], Cell[TextData[{ "Reduce ", Cell[BoxData[ \(TraditionalForm\`G\)]], " with respect to the Green's system for obtaining a standard \ representation." }], "ItemizedText"] }, Open ]], Cell[CellGroupData[{ Cell["The Role of Noncommutative Gr\[ODoubleDot]bner Bases", "Collector"], Cell["Crucial Properties of the Green's System:", "Text"], Cell[TextData[{ StyleBox["Noetherianity", FontSlant->"Italic"], ": Every reduction terminates \[Rule] finit", StyleBox["ary", FontVariations->{"Underline"->True}], " basis." }], "ItemizedText"], Cell[TextData[{ StyleBox["Confluence", FontSlant->"Italic"], ": It provides a unique normal form for each polynomial \[Rule] ", StyleBox["Gr\[ODoubleDot]bner basis!", FontColor->RGBColor[1, 0, 0]] }], "ItemizedText"], Cell[TextData[{ StyleBox["Adequacy", FontSlant->"Italic"], ": Enough reductions for algebraizing relevant analytic knowledge \[Rule] \ correctness claim." }], "ItemizedText"], Cell[TextData[{ StyleBox["Standardization", FontSlant->"Italic"], ": Normal forms correspond exactly to the Green's functions \[Rule] \ extraction algorithm." }], "ItemizedText"], Cell[TextData[{ "But there are 233 such S\[Dash]polynomials! \[Rule] Proof automated in ", StyleBox["Theorema", FontSlant->"Italic"], " (approximately 2000 lines)." }], "Text"], Cell["\<\ Proof is relative to the axioms of integro\[Dash]differential \ algebras.\ \>", "Text"], Cell[BoxData[ FormBox[GridBox[{ { StyleBox["\[LowerRightArrow]", FontSize-> 36], "\<\"\\!\\( \\*ButtonBox[\\(Logfile\\), ButtonData:>{ \ FrontEnd`FileName[ {$RootDirectory, \"home\", \"marcus\", \"Mathematica\", \ \"Thesis\"}, \"ConfluenceProof.nb\", CharacterEncoding -> \"iso8859-1\"], \ None}, ButtonStyle->\"Hyperlink\"]\\)\"\>"} }, RowAlignments->Bottom], TraditionalForm]], "Sketch", TextAlignment->Left, TextJustification->0] }, Open ]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["The Problem Monoid\[LongDash]Ideas", "Section"], Cell["Additive Structure on Boundary Conditions:", "Text"], Cell[BoxData[ FormBox[GridBox[{ {\(\(B\)\(\[Colon]\)\), "\[ScriptCapitalF]", "\[Rule]", \(\[DoubleStruckCapitalC]\^m\), \(\(B\&~\)\(\[Colon]\)\ \), "\[ScriptCapitalF]", "\[Rule]", \(\[DoubleStruckCapitalC]\^n\), \(\(B\[CirclePlus]B\&~\ \)\(\[Colon]\)\), "\[ScriptCapitalF]", "\[Rule]", \(\[DoubleStruckCapitalC]\^\(m + n\)\)}, {" ", "f", "\[RightTeeArrow]", \(B\&~\[InvisibleSpace]f\), " ", "f", "\[RightTeeArrow]", \(B\&~\[InvisibleSpace]f\), " ", "f", "\[RightTeeArrow]", \(\[LeftAngleBracket]B\[InvisibleSpace]f, B\&~\[InvisibleSpace]f\[RightAngleBracket]\)} }, ColumnSpacings->{0.8, 0.5, 0.5, 3, 0.8, 0.5, 0.5, 3, 0.8, 0.5}], TraditionalForm]], "Formula"], Cell["Encoding of Boundary Value Problems:", "Text"], Cell[BoxData[ FormBox[GridBox[{ {\((T, B\_1\[CirclePlus]\[Ellipsis]\[CirclePlus]B\_n)\), \(\(:=\)\(\ \ \)\), FrameBox[GridBox[{ {\(T\[InvisibleSpace]u = f\)}, {\(\((B\_1\[CirclePlus]\[Ellipsis]\[CirclePlus]B\_n)\) u = 0\)} }]]} }], TraditionalForm]], "Formula"], Cell["Identifying Boundary Value Problems", "Text"], Cell[BoxData[ FormBox[GridBox[{ {\(\((T, B)\) \[Tilde] \((T\&~, B\&~)\)\), \(\(\[Colon]\)\(\[NegativeMediumSpace]\ \[NegativeMediumSpace]\)\(\[DoubleLeftRightArrow]\)\), \(T = \(T\&~ \[And] Ker(B) = Ker(B\&~)\)\)} }], TraditionalForm]], "Formula"], Cell["\<\ Noncommutative Multiplicative Structure on Boundary Value Problems:\ \ \>", "Text"], Cell[BoxData[ FormBox[ RowBox[{"\[GothicCapitalB]", "=", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"(", RowBox[{"T", ",", StyleBox["B", FontColor->RGBColor[1, 0, 0]]}], ")"}], "\[VerticalSeparator]", "regular"}], "}"}], "/"}], "\[Tilde]", "\n", FormBox[\(\([T, B]\)\[CenterDot]\([T\&~, B\&~]\) = \([T\[InvisibleSpace]T\&~, B\[InvisibleSpace]T\&~\[CirclePlus]B\&~]\)\), "TraditionalForm"]}]}], TraditionalForm]], "Formula"] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["\<\ Example of Multiplication / Factorization\ \>", "Section"], Cell["Decomposing Boundary Value Problems:", "Text"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ FrameBox[GridBox[{ {\(u' = f\)}, { RowBox[{ RowBox[{ StyleBox[\(\[Integral]\_0\%1\), FontColor->RGBColor[1, 0, 0]], \(\(u(\[Xi])\)\ \ \[DifferentialD]\ \[NegativeVeryThinSpace]\[Xi]\)}], "=", RowBox[{"0", StyleBox[\(\[Integral]\_0\%1\), ShowContents->False]}]}]} }]], "\[CenterDot]", FrameBox[GridBox[{ {\(u' = f\)}, { RowBox[{\(u(0)\), "=", RowBox[{"0", StyleBox[\(\[Integral]\_0\%1\), ShowContents->False]}]}]} }]]}], "=", FrameBox[GridBox[{ {\(u'' = f\)}, { RowBox[{\(u(0)\), "=", RowBox[{\(u(1)\), "=", RowBox[{"0", StyleBox[\(\[Integral]\_0\%1\), ShowContents->False]}]}]}]} }]]}], TraditionalForm]], "Formula"], Cell["In the Problem Monoid:", "Text"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{"[", RowBox[{"D", ",", StyleBox["F", FontColor->RGBColor[1, 0, 0]]}], "]"}], "\[CenterDot]", \([D, L]\)}], "=", \([D\^2, L\[CirclePlus]R]\)}], TraditionalForm]], "Formula"], Cell["Abbreviation:", "Text"], Cell[BoxData[{ FormBox[ RowBox[{ RowBox[{ StyleBox["F", FontColor->RGBColor[1, 0, 0]], "\[Congruent]", \(A + B\)}], "=", RowBox[{\(\[Integral]\_0\%x\(+\[Integral]\_x\%1\)\), "=", RowBox[{ StyleBox[\(\[Integral]\_0\%1\), FontColor->RGBColor[1, 0, 0]], StyleBox["d", ShowContents->False, FontColor->GrayLevel[0]]}]}]}], TraditionalForm], "\[IndentingNewLine]", FormBox[\(F = \(R\[InvisibleSpace]A = L\[InvisibleSpace]B\)\), TraditionalForm]}], "Formula"] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["\<\ The Problem Monoid\[LongDash]Exact Definition\ \>", "Section"], Cell[CellGroupData[{ Cell["Stieltjes Boundary Conditions:", "Collector"], Cell[BoxData[{ FormBox[\(\[Beta]\[InvisibleSpace]u = \[Sum]\+\(i = 0\)\%\(n - \ 1\)\((\(a\_i\) \(\(u\^\((i)\)\)(0)\) + \(b\_i\) \(\(u\^\((i)\)\)( 1)\))\) + \[Integral]\_0\%1\( \[CurlyPhi](\[Xi])\) \(u(\ \[Xi])\)\ \ \[DifferentialD]\[NegativeVeryThinSpace]\[Xi]\), TraditionalForm], "\n", FormBox[\(\[Beta] = \[Sum]\+\(i = 0\)\%\(n - 1\)\((\(a\_i\) L\[InvisibleSpace]D\^i + \(b\_i\) R\[InvisibleSpace]D\^i)\) + F\ \[LeftCeiling]\[CurlyPhi]\[RightCeiling]\), TraditionalForm], "\n", FormBox[ FormBox[ RowBox[{" ", RowBox[{ RowBox[{"\[UpperLeftArrow]", " ", StyleBox[ RowBox[{"\[Ellipsis]", " ", "for", " ", "any", " ", FormBox[\(a\_0, \[Ellipsis], a\_\(n - 1\), b\_0, \[Ellipsis], b\_\(n - 1\) \[Element] \[DoubleStruckCapitalC]\), "TraditionalForm"], " ", "and", " ", FormBox[\(\[CurlyPhi] \[Element] \ \[ScriptCapitalE]\[ScriptX]\[ScriptP]\), "TraditionalForm"]}], FontSize->14]}], ":"}]}], "TraditionalForm"], TraditionalForm]}], "Formula"], Cell["Formulation in the Language of Green's Algebra:", "Text"], Cell[BoxData[ FormBox[GridBox[{ {\(\[ScriptCapitalS]\[ScriptT]\[ScriptJ] = {L, R}\[CenterDot]\[ScriptCapitalA]\[ScriptN] \((\ \[ScriptCapitalF])\)\)}, {\(\[ScriptCapitalS]\[ScriptT]\[ScriptJ]\_n = {B\_1\[CirclePlus]\ \ \[Ellipsis]\ \[CirclePlus]B\_n \[VerticalSeparator] B\_1, \[Ellipsis], B\_n \[Element] \[ScriptCapitalS]\[ScriptT]\[ScriptJ]}\)} }], TraditionalForm]], "Formula"] }, Open ]], Cell[CellGroupData[{ Cell["Recognizing Regularity of BVPs:", "Collector"], Cell[BoxData[{ FormBox[\(\([T, B]\)\ \ \ \(regular\ \ : \[NegativeMediumSpace]\ \[NegativeMediumSpace]\(\(\[DoubleLeftRightArrow]\)\(\[ForAll] \+\(f \ \[Element] \(C\^\[Infinity]\)[0, 1]\)\ \ \(\[Exists] \[NegativeMediumSpace]! \ \)\+\(u \[Element] \(C\^\[Infinity]\)[0, 1]\)\ \ \ \[NegativeThinSpace]\((T\ \[InvisibleSpace]u = \(f \[And] B\[InvisibleSpace]u = 0\))\)\)\)\)\), TraditionalForm], "\n", FormBox[ FormBox[ RowBox[{\(\([T, B]\)\ \ \ regular\ \ \ \ \ \ \ \[DoubleLeftRightArrow] \ \ \ \ \ \ \ Ker(T)\( + \& . \)Ker(B)\), "=", RowBox[{ "\[ScriptCapitalF]", " ", "\[DoubleLeftRightArrow]", " ", RowBox[{ RowBox[{"(", GridBox[{ {\(\(B\_1\) \[CurlyPhi]\_1\), "\[CenterEllipsis]", \(\(B\_1\) \[CurlyPhi]\_n\)}, {"\[VerticalEllipsis]", "\[DescendingEllipsis]", "\[VerticalEllipsis]"}, {\(\(B\_n\) \[CurlyPhi]\_1\), "\[CenterEllipsis]", \(\(B\_n\) \[CurlyPhi]\_n\)} }, ColumnAlignments->{Center}], ")"}], " ", "regular"}]}]}], "TraditionalForm"], TraditionalForm], "\n", FormBox[ RowBox[{" ", RowBox[{ StyleBox[ RowBox[{"\[Ellipsis]", " ", "where", " ", FormBox[\(B = B\_1\[CirclePlus]\[Ellipsis]\[CirclePlus]B\_n\), "TraditionalForm"], " ", "and", " ", FormBox[\({\[CurlyPhi]\_1, \[Ellipsis], \[CurlyPhi]\_n}\), "TraditionalForm"], " ", "is", " ", "any", " ", "basis", " ", "for", " ", FormBox[\(Ker(T)\), "TraditionalForm"]}], FontSize->14], StyleBox[" ", FontSize->14], "\[UpperRightArrow]"}]}], TraditionalForm]}], "Formula"] }, Open ]], Cell[CellGroupData[{ Cell["Problem Monoid Revisited", "Collector"], Cell[BoxData[ \(TraditionalForm\`\[ScriptCapitalB] = \(\(\({\([T, B]\) \[VerticalSeparator] T \[Element] \(\[DoubleStruckCapitalC][\[PartialD]]\)\_n \ \[And] B \[Element] \[ScriptCapitalS]\[ScriptT]\[ScriptJ]\_n \[And] Ker(T)\( + \& . \)Ker( B) = \[ScriptCapitalF]}\)\(/\)\)\(\[Tilde]\)\)\)], \ "Formula"] }, Open ]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["\<\ Problem Factorization versus Operator Factorization\ \>", "Section"], Cell["Easy to check:", "Text"], Cell[BoxData[ FormBox[GridBox[{ {\([T, B]\), "\[CenterDot]", \([\(T\&~\), \(B\&~\)]\), "=", \([T\[InvisibleSpace]\(T\&~\), B\[InvisibleSpace]\(T\&~\)\[CirclePlus]\(B\&~\)]\)}, {"\[UpArrow]", " ", "\[UpArrow]", " ", "\[UpArrow]"}, {"G", " ", \(G\&~\), " ", \(\(G\&~\)\[CenterDot]G\)} }, ColumnAlignments->{Center}], TraditionalForm]], "Formula"], Cell["Notation:", "Text"], Cell[BoxData[ FormBox[GridBox[{ {\(\([T, B]\)\^\(-1\) := G\), \(\([T\&~, B\&~]\)\^\(-1\) := G\&~\), "\[LongRightArrow]", \(\((\([T, B]\)\[CenterDot]\([T\&~, B\&~]\))\ \)\^\(-1\) = \([T\&~, B\&~]\)\^\(-1\)\[CenterDot]\([T, B]\)\^\(-1\)\)} }, ColumnSpacings->4], TraditionalForm]], "Formula"], Cell["Example from before:", "Text"], Cell[BoxData[ FormBox[GridBox[{ {\([D, F]\), "\[CenterDot]", \([D, L]\), "=", \([D\^2, L\[CirclePlus]R]\), "=", \([D, F]\), "\[CenterDot]", \([D, R]\)}, {"\[UpArrow]", " ", "\[UpArrow]", " ", "\[UpArrow]", " ", "\[UpArrow]", " ", "\[UpArrow]"}, { UnderscriptBox[\((A - A\[InvisibleSpace]F)\), StyleBox["\[UnderBrace]", FontSize->36]], " ", "A", " ", UnderscriptBox[\(X\[InvisibleSpace]A\[InvisibleSpace]X + X\[InvisibleSpace]B\[InvisibleSpace]X - A\[InvisibleSpace]X - X\[InvisibleSpace]B\), StyleBox["\[UnderBrace]", FontSize->36]], " ", UnderscriptBox[\(A - A\[InvisibleSpace]F\), StyleBox["\[UnderBrace]", FontSize->36]], " ", \(-B\)}, {"C", " ", " ", " ", \(G\_2\), " ", "C", " ", " "} }, ColumnAlignments->{Center}], TraditionalForm]], "Formula"] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["The Factorization Lemma", "Section"], Cell["\<\ Every factorization of the differential operator can be lifted to \ the level of problems:\ \>", "Text"], Cell[TextData[{ "For every regular problem ", Cell[BoxData[ \(TraditionalForm\`\([T, B]\)\)]], " and for every factorization\n\t", Cell[BoxData[ \(TraditionalForm\`T = \(T\_1\) T\_2\)]], "\nthere are boundary conditions ", Cell[BoxData[ \(TraditionalForm\`B\_1, B\_2\)]], " with ", Cell[BoxData[ \(TraditionalForm\`Ker(B) \[SubsetEqual] Ker(B\_1)\)]], " such that\n\t", Cell[BoxData[ \(TraditionalForm\`\([T, B]\) = \([T\_1, B\_1]\)\[CenterDot]\([T\_2, B\_2]\)\)]], "\nand both ", Cell[BoxData[ \(TraditionalForm\`\([T\_1, B\_1]\)\)]], " and ", Cell[BoxData[ \(TraditionalForm\`\([T\_2, B\_2]\)\)]], " are regular." }], "Quotation", CellFrame->True], Cell["Iteration yields:", "Text"], Cell[BoxData[{ \(TraditionalForm\`\([T, B]\) = \([D - \[Lambda]\_1, \[Beta]\_1]\)\[CenterDot]\[Ellipsis]\ \[CenterDot]\([D - \[Lambda]\_n, \[Beta]\_n]\)\), "\[IndentingNewLine]", \(TraditionalForm\`\([T, B]\)\^\(-1\) = \([D - \[Lambda]\_n, \ \[Beta]\_n]\)\^\(-1\)\[CenterDot]\[Ellipsis]\[CenterDot]\([D - \[Lambda]\_1, \ \[Beta]\_1]\)\^\(-1\)\)}], "Formula"], Cell["First\[Dash]Order Green's Operators", "Text"], Cell[BoxData[ FormBox[GridBox[{ {\(\([D - \[Lambda], \[Beta]]\)\^\(-1\) = \((1 - P\_\(\[Lambda], \[Beta]\))\) \[LeftCeiling]e\^\(\[Lambda]\ \[InvisibleSpace]x\)\[RightCeiling] A \[LeftCeiling]e\^\(\(-\[Lambda]\)\[InvisibleSpace]x\)\ \[RightCeiling]\), "with", \(P\_\(\[Lambda], \[Beta]\) \[Congruent] \(\(\[Beta]( e\^\(\[Lambda]\[InvisibleSpace]x\))\)\^\(-1\)\) \ \[LeftCeiling]e\^\(\[Lambda]\[InvisibleSpace]x\)\[RightCeiling] \[Beta]\)} }, ColumnSpacings->3], TraditionalForm]], "Formula"] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[TextData[{ "Solving Inhomogeneous Initial Value Problems \[AGrave] la Mikusi", Cell[BoxData[ FormBox[ OverscriptBox[ StyleBox["n", FontSlant->"Plain"], "'"], TraditionalForm]]], "ski" }], "Section"], Cell[CellGroupData[{ Cell["Recall Duhamel Convolution:", "Collector"], Cell[BoxData[ \(TraditionalForm\`u*\(u\&~\)\ \((x)\) = \[Integral]\_0\%x\( u( x - t)\) \(\(u\&~\)( t)\)\ \[DifferentialD]\[NegativeVeryThinSpace]t\)], "Formula"], Cell["Note:", "Text"], Cell[TextData[{ "Makes ", Cell[BoxData[ \(TraditionalForm\`\[GothicCapitalL] \[Congruent] \(\(C( 0, \[Infinity])\)\(\ \)\)\)]], " into a commutative(!) ring." }], "ItemizedText"], Cell["Tichmarsh's Theorem: No zero divisors!", "ItemizedText"], Cell[TextData[{ "Field of fractions ", Cell[BoxData[ \(TraditionalForm\`\[GothicCapitalM]\)]], " introduced by Mikusi", Cell[BoxData[ FormBox[ OverscriptBox[ StyleBox["n", FontSlant->"Plain"], "'"], TraditionalForm]]], "ski in 1959." }], "ItemizedText"], Cell[TextData[{ "Integral operator ", Cell[BoxData[ \(TraditionalForm\`l \[Congruent] 1 \[Element] \[GothicCapitalL]\)]], ", so ", Cell[BoxData[ \(TraditionalForm\`l* u\ \((x)\) = \(\[Integral]\_0\%x\( u( t)\)\ \[DifferentialD]\[NegativeVeryThinSpace]t = A\[InvisibleSpace]u\ \((x)\)\)\)]], "." }], "ItemizedText"], Cell[TextData[{ "Differential operator ", Cell[BoxData[ \(TraditionalForm\`s \[Congruent] l\^\(-1\) \[Element] \[GothicCapitalM]\)]] }], "ItemizedText"] }, Open ]], Cell[CellGroupData[{ Cell["\<\ How to Solve Inhomogeneous Initial Value Problems (Constant \ Coefficients):\ \>", "Collector"], Cell[BoxData[ FormBox[GridBox[{ {\(Fundamental\ \(\(Formula\)\(:\)\)\), FrameBox[\(s*u = u' + \(u(0)\) \[Delta]\_0\)]}, {\(\(Iteration\)\(:\)\), \(s*s*u = u'' + u' \((0)\) \[Delta]\_0 + \(u(0)\) \(\[Delta]\_0\%'\)\)}, {\(Dirac\ \(\(Distribution\)\(:\)\)\), \(\[Delta]\_0 \[Congruent] s*1 = \(f // f\[LongRightArrow]\ \[Delta]\_0*u = u\), l*\[Delta]\_0 = 1\)} }], TraditionalForm]], "Formula"], Cell["Example:", "Text"], Cell[BoxData[ FormBox[GridBox[{ { FrameBox[GridBox[{ {\(u'' = f\)}, {\(u(0) = a, u' \((0)\) = b\)} }]], GridBox[{ {\(s*s*u = f + a\ \[Delta]\_0 + b\ \(\[Delta]\_0\%'\)\)}, {\(\(\ \ \ \ \ \)\(\(\(\[LongRightArrow]\)\(\ \)\(u\)\) = \ \(\((l*l)\)*f + a\ \((l*1)\) + b = x*f + a\[InvisibleSpace]x + b\)\)\)} }]} }, ColumnSpacings->3], TraditionalForm]], "Formula"], Cell["Solution:", "Text"], Cell[BoxData[ \(TraditionalForm\`u(x) = a + b\[InvisibleSpace]x + \[Integral]\_0\%x t\ \(f(t)\)\ \ \[DifferentialD]\[NegativeVeryThinSpace]t\)], \ "Formula"] }, Open ]], Cell[CellGroupData[{ Cell["How about Boundary Value Problems?", "Collector"], Cell[TextData[{ "We need both ", Cell[BoxData[ \(TraditionalForm\`A\)]], " and ", Cell[BoxData[ \(TraditionalForm\`B\)]], " for representing Green's operators for boundary value problems.\nSince ", Cell[BoxData[ \(TraditionalForm\`A\[InvisibleSpace]B \[NotEqual] B\[InvisibleSpace]A\)]], ", Mikusi", Cell[BoxData[ FormBox[ OverscriptBox[ StyleBox["n", FontSlant->"Plain"], "'"], TraditionalForm]]], "ski cannot do this!" }], "Quotation", CellFrame->True] }, Open ]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[TextData[{ "Returning to Green's Operators\[LongDash]on the Functional Level \[AGrave] \ la Mikusi", Cell[BoxData[ FormBox[ OverscriptBox[ StyleBox["n", FontSlant->"Plain"], "'"], TraditionalForm]]], "ski" }], "Section"], Cell[CellGroupData[{ Cell["Recall Green's Functions:", "Collector"], Cell[BoxData[{ \(TraditionalForm\`G\[InvisibleSpace]f\ \((x)\) = \[Integral]\_0\%1\( g( x, \[Xi])\) \(f(\[Xi])\)\ \[DifferentialD]\[NegativeThinSpace]\ \[Xi]\), "\[IndentingNewLine]", \(TraditionalForm\`G = Fred(g)\)}], "Formula"], Cell[TextData[{ "Introduce Multiplication on Collection ", Cell[BoxData[ \(TraditionalForm\`\[GothicCapitalG]\)]], " of all Green's Functions of Regular Problems in ", Cell[BoxData[ \(TraditionalForm\`\[GothicCapitalB]\)]], ":" }], "Text"], Cell[BoxData[ \(TraditionalForm\`g* g\&~\ \((x, y)\) = \[Integral]\_0\%1\( g(x, t)\) \(\(g\&~\)(t, y)\)\ \[DifferentialD]\[NegativeVeryThinSpace]t\)], "Formula"], Cell["Note:", "Text"], Cell["Introduced by Volterra in 1913.", "ItemizedText"], Cell[TextData[{ "Makes ", Cell[BoxData[ \(TraditionalForm\`\(\(\[GothicCapitalK] \[Congruent] \(L\^2\)( I\[Times] I)\)\(\[SupersetEqual]\)\(\[GothicCapitalG]\)\(\ \)\)\)]], " into a noncommutative ring." }], "ItemizedText"], Cell[TextData[{ "Key property is ", Cell[BoxData[ \(TraditionalForm\`Fred( g*g\&~) = \(Fred(g)\)\[SmallCircle]Fred \((g\&~)\)\)]], "." }], "ItemizedText"], Cell[TextData[{ "We will often identify ", Cell[BoxData[ \(TraditionalForm\`g\)]], " with ", Cell[BoxData[ \(TraditionalForm\`Fred(g)\)]], " and drop ", Cell[BoxData[ \(TraditionalForm\`*\)]], "." }], "ItemizedText"] }, Open ]], Cell[CellGroupData[{ Cell["Factorization on Three Levels:", "Collector"], Cell[BoxData[ FormBox[ StyleBox[GridBox[{ {\(\([\)\(D\^2, L\[CirclePlus]R\)\(]\)\), "=", \(\([\)\(D, F\)\(]\)\), "\[CenterDot]", \(\([\)\(D, L\)\(]\)\), \(Problem\ Level\)}, {\(X\[InvisibleSpace]A\[InvisibleSpace]X + X\[InvisibleSpace]B\[InvisibleSpace]X - A\[InvisibleSpace]X - X\[InvisibleSpace]B\), "=", "A", "\[SmallCircle]", \((A - A\[InvisibleSpace]F)\), \(Operator\ Level\)}, {\(\(-\(h(\[Xi] - x)\)\) x - \(h(x - \[Xi])\) x + \(h(\[Xi] - x)\) x\[InvisibleSpace]\[Xi] + \(h(x - \[Xi])\) x\[InvisibleSpace]\[Xi]\), "=", \(h(\[Xi] - x)\), "*", \((\(-\(h(x - \[Xi])\)\) + \(h(\[Xi] - x)\) \[Xi] + \(h( x - \[Xi])\) \[Xi])\), \(Functional\ Level\)} }, RowSpacings->3, ColumnAlignments->{Center}], FontSize->14], TraditionalForm]], "Formula"], Cell[BoxData[ FormBox[GridBox[{ {\(\(Anti\[Dash]Isomorphism\)\(:\)\), \(\[GothicCapitalG] \ \[TildeEqual] \[GothicCapitalB]\^op\)} }, ColumnSpacings->3], TraditionalForm]], "Formula"] }, Open ]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["Localization in Noncommutative Rings", "Section"], Cell[CellGroupData[{ Cell["\<\ Necessary and Sufficient Condition for Constructing a \ \[LeftGuillemet]Ring of Fractions\[RightGuillemet]:\ \>", "Collector"], Cell[TextData[{ "For localizing ", Cell[BoxData[ \(TraditionalForm\`R\)]], " at ", Cell[BoxData[ \(TraditionalForm\`S \[SubsetEqual] R\)]], " into ", Cell[BoxData[ \(TraditionalForm\`R\[InvisibleSpace]S\^\(-1\)\)]], " we require:\n", StyleBox["Multiplicativity:", FontVariations->{"Underline"->True}], " ", Cell[BoxData[ FormBox[ StyleBox[\(\[ForAll] \+\(s, s\&~ \[Element] S\)s\[InvisibleSpace]s\&~ \ \[Element] S\), FontSize->22], TraditionalForm]]], "\n", StyleBox["Ore Condition:", FontVariations->{"Underline"->True}], " ", Cell[BoxData[ \(TraditionalForm\`\ \ \)]], " ", Cell[BoxData[ FormBox[ StyleBox[\(\[ForAll] \+\(r \[Element] R\)\(\[ForAll] \+\(s \[Element] \ S\)\(\[Exists] \+\(r\&~ \[Element] R\)\(\[Exists] \+\(s\&~ \[Element] S\)r\ \[InvisibleSpace]s\&~\)\)\) = s\[InvisibleSpace]r\&~\), FontSize->22], TraditionalForm]]], "\n", StyleBox["Reversibility:", FontVariations->{"Underline"->True}], " ", Cell[BoxData[ FormBox[ StyleBox[\(\[ForAll] \+\(r \[Element] R\)\((\[Exists] \+\(s \ \[Element] S\)s\[InvisibleSpace]r = \(0 \[Implies] \[Exists] \+\(s\&~ \ \[Element] S\)r\[InvisibleSpace]s\&~ = 0\))\)\), FontSize->22], TraditionalForm]]] }], "Quotation", CellFrame->True], Cell[TextData[{ "Even if ", Cell[BoxData[ \(TraditionalForm\`R\)]], " has no zero divisors, it may not have a ring of fractions, i.e. a \ quotient (skew) field!" }], "Text", CellMargins->{{Inherited, Inherited}, {15, Inherited}}] }, Open ]], Cell[CellGroupData[{ Cell[TextData[{ "Failing Attempts at Localizing in ", Cell[BoxData[ \(TraditionalForm\`\[GothicCapitalK]\)]], ":" }], "Collector"], Cell[TextData[{ "First Attempt: Take ", Cell[BoxData[ \(TraditionalForm\`R = \[GothicCapitalK]\)]], " and ", Cell[BoxData[ \(TraditionalForm\`S = \(\[GothicCapitalK]\^\[Diamond]\)\)]], Cell[BoxData[ FormBox[Cell[""], TraditionalForm]]], ". Too many denominators!" }], "ItemizedText"], Cell[TextData[{ "Second Attempt: Take ", Cell[BoxData[ \(TraditionalForm\`R = \[GothicCapitalK]\)]], " and ", Cell[BoxData[ \(TraditionalForm\`S = \[LeftAngleBracket]A, B\[RightAngleBracket]\)]], ". Too few denominators!" }], "ItemizedText"], Cell[TextData[{ "Third Attempt: Take ", Cell[BoxData[ \(TraditionalForm\`R = \[GothicCapitalK]\)]], " and ", Cell[BoxData[ \(TraditionalForm\`S = \[GothicCapitalG]\)]], ". More balanced, but still fails!" }], "ItemizedText"], Cell[TextData[StyleBox["The Ore condition turns out to be very tough!", FontSlant->"Italic"]], "Text", CellMargins->{{Inherited, Inherited}, {15, Inherited}}] }, Open ]], Cell[CellGroupData[{ Cell["Winning Idea:", "Collector"], Cell[TextData[{ "Let ", Cell[BoxData[ \(TraditionalForm\`R\)]], " be any ring and ", Cell[BoxData[ \(TraditionalForm\`S \[SubsetEqual] R\)]], " a multiplicative subset fulfilling the Ore condition just within ", Cell[BoxData[ \(TraditionalForm\`S\)]], ".\nThen the ring ", Cell[BoxData[ \(TraditionalForm\`\(S\^+\)\)]], " generated by ", Cell[BoxData[ \(TraditionalForm\`S\)]], " in ", Cell[BoxData[ \(TraditionalForm\`R\)]], " fulfills the Ore condition when localized at ", Cell[BoxData[ \(TraditionalForm\`S\)]], "." }], "Quotation", CellFrame->True], Cell[TextData[{ "Successful choice: ", Cell[BoxData[ \(TraditionalForm\`R = \(\[GothicCapitalG]\^+\)\)]], " and ", Cell[BoxData[ \(TraditionalForm\`S = \[GothicCapitalG]\)]], ":" }], "Text"], Cell[TextData[{ "Hence it suffices to prove the Ore condition within ", Cell[BoxData[ \(TraditionalForm\`\[GothicCapitalG]\)]], "." }], "ItemizedText"], Cell[TextData[{ "Since ", Cell[BoxData[ \(TraditionalForm\`\[GothicCapitalG] \[TildeEqual] \ \[GothicCapitalB]\^op\)]], ", we may as well prove it within ", Cell[BoxData[ \(TraditionalForm\`\[GothicCapitalB]\)]], "." }], "ItemizedText"] }, Open ]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["The Ore Condition in the Problem Monoid", "Section"], Cell[CellGroupData[{ Cell["Regularization Lemma:", "Collector"], Cell[TextData[{ "For every ", Cell[BoxData[ \(TraditionalForm\`T \[Element] \ \(\[DoubleStruckCapitalC][\[PartialD]]\)\_m\)]], " and every ", Cell[BoxData[ \(TraditionalForm\`B = \[ScriptCapitalS]\[ScriptT]\[ScriptJ]\_m\)]], "\nthere is a regular ", Cell[BoxData[ \(TraditionalForm\`\([\(T\&~\), \(B\&~\)]\)\)]], " with ", Cell[BoxData[ \(TraditionalForm\`T \[LeftBracketingBar]\(T\&~\)\)]], " and ", Cell[BoxData[ \(TraditionalForm\`Ker \((B)\) \[SupersetEqual] Ker \((\(B\&~\))\)\)]], "." }], "Quotation", CellFrame->True] }, Open ]], Cell[CellGroupData[{ Cell["Division Lemma:", "Collector"], Cell[TextData[{ "For regular problems ", Cell[BoxData[ \(TraditionalForm\`\([T, B]\)\)]], " and ", Cell[BoxData[ \(TraditionalForm\`\([T\_1, B\_1]\)\)]], " with ", Cell[BoxData[ \(TraditionalForm\`T\_1\[NegativeThinSpace] \[VerticalSeparator] T\)]], " and ", Cell[BoxData[ \(TraditionalForm\`Ker \((B\_1)\) \[SupersetEqual] Ker \((B)\)\)]], "\nthere is exactly one regular problem ", Cell[BoxData[ \(TraditionalForm\`\([T\_2, B\_2]\)\)]], " with ", Cell[BoxData[ \(TraditionalForm\`\([T\_1, B\_1]\)\[CenterDot]\([T\_2, B\_2]\) = \([T, B]\)\)]], "." }], "Quotation", CellFrame->True] }, Open ]], Cell[CellGroupData[{ Cell["Ore Condition:", "Collector"], Cell[TextData[{ "Given regular problems ", Cell[BoxData[ \(TraditionalForm\`\([T\_1, B\_1]\)\)]], " and ", Cell[BoxData[ \(TraditionalForm\`\([T\_2, B\_2]\)\)]], ", there are regular problems ", Cell[BoxData[ \(TraditionalForm\`\([\(T\&~\)\_1, \(B\&~\)\_1]\)\)]], " and ", Cell[BoxData[ \(TraditionalForm\`\([\(T\&~\)\_2, \(B\&~\)\_2]\)\)]], "\nsuch that ", Cell[BoxData[ \(TraditionalForm\`\([T\_1, B\_1]\)\[CenterDot]\([\(T\&~\)\_1, \(B\&~\)\_1]\) = \([T\_2, B\_2]\)\[CenterDot]\([\(T\&~\)\_2, \(B\&~\)\_2]\)\)]], "." }], "Quotation", CellFrame->True], Cell["Proof of the Ore Condition:", "Text"], Cell[TextData[{ "Regularization Lemma \[LongRightArrow] ", Cell[BoxData[ \(TraditionalForm\`\([T, B]\)\)]], " with ", Cell[BoxData[ \(TraditionalForm\`\(T\_1\) T\_2 \[VerticalSeparator] T\)]], " and ", Cell[BoxData[ \(TraditionalForm\`Ker \((B\_1\[CirclePlus]B\_2)\) \[SupersetEqual] Ker \((B)\)\)]], "." }], "ItemizedText"], Cell[TextData[{ "Division Lemma \[LongRightArrow] ", Cell[BoxData[ \(TraditionalForm\`\([\(T\&~\)\_1, \(B\&~\)\_1]\)\)]], " and ", Cell[BoxData[ \(TraditionalForm\`\(\([\)\(\(T\&~\)\_2, \(B\&~\)\_2\)\(]\)\)\)]], "." }], "ItemizedText"] }, Open ]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["Lots of Fundamental Formulae", "Section"], Cell[TextData[{ "The Fundamental Formulae \[AGrave] la ", "Mikusi", Cell[BoxData[ FormBox[ OverscriptBox[ StyleBox["n", FontSlant->"Plain"], "'"], TraditionalForm]]], "ski:" }], "Text"], Cell[BoxData[ FormBox[GridBox[{ {\(A\[InvisibleSpace]D = 1 - L\), \(\(-B\)\[InvisibleSpace]D = 1 - R\)}, {\(A\[InvisibleSpace]u' = u - u(0)\), \(\(-B\)\[InvisibleSpace]u' = u - u(1)\)}, {\(u' = A\^\(-1\)\[NegativeVeryThinSpace]u - \(u(0)\) \(A\^\(-1\)\) 1\), \(u' = \(-B\^\(-1\)\)\[InvisibleSpace]u + \(u( 1)\) \(B\^\(-1\)\) 1\)}, { FrameBox[\(A\^\(-1\)\[NegativeVeryThinSpace]u = u' + \(u(0)\) \[Delta]\_0\)], FrameBox[\(B\^\(-1\)\[NegativeVeryThinSpace]u = \(-u'\) + \(u( 1)\) \[Delta]\_1\)]}, {\(\(\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \)\(\(\[Delta]\_0 \ \[Congruent] \(A\^\(-1\)\) 1\)\(\[UpperRightArrow]\)\)\), \(\(\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \)\(\(\[Delta]\_1 \[Congruent] \(B\^\(-1\)\) 1\)\(\[UpperRightArrow]\)\)\)} }, ColumnSpacings->5], TraditionalForm]], "Formula"], Cell[CellGroupData[{ Cell["\<\ Example of a Different Fundamental Formula:\ \>", "Collector"], Cell[BoxData[ FormBox[GridBox[{ {\(C\[InvisibleSpace]D = 1 - F\)}, {\(C\[InvisibleSpace]u' = u - \[Integral]\_0\%1\( u(\[Xi])\)\ \[DifferentialD]\[NegativeVeryThinSpace]\ \[Xi]\[IndentingNewLine] u' = C\^\(-1\)\[NegativeVeryThinSpace]u - \((\[Integral]\_0\%1\( u(\[Xi])\)\ \[DifferentialD]\[NegativeThinSpace]\ \[Xi])\) \(C\^\(-1\)\) 1\)}, { FrameBox[\(C\^\(-1\)\[NegativeVeryThinSpace]u = u' + \((\[Integral]\_0\%1\( u(\[Xi])\)\ \[DifferentialD]\[NegativeThinSpace]\ \[Xi])\) \[CurlyEpsilon]\)]}, {\(\(\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \)\(\(\[CurlyEpsilon] \[Congruent] \(C\^\(-1\)\) 1\)\(\[UpperRightArrow]\)\)\)} }], TraditionalForm]], "Formula"], Cell[TextData[{ StyleBox["Recall:", FontVariations->{"Underline"->True}], " ", Cell[BoxData[ \(TraditionalForm\`C = \(\([D, F]\)\^\(-1\) = A - A\[InvisibleSpace]F\)\)]] }], "Text"] }, Open ]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[TextData[{ "Solving Inhomogeneous Boundary Value Problems \[AGrave] la Mikusi", Cell[BoxData[ FormBox[ OverscriptBox[ StyleBox["n", FontSlant->"Plain"], "'"], TraditionalForm]]], "ski" }], "Section"], Cell[CellGroupData[{ Cell["Recall the Factorization:", "Collector"], Cell[BoxData[ FormBox[GridBox[{ {\(\([D, F]\)\^\(-1\)\), "\[CenterDot]", \(\([D, L]\)\^\(-1\)\), "=", \(\([D\^2, L\[CirclePlus]R]\)\^\(-1\)\)}, {"\[UpArrow]", " ", "\[UpArrow]", " ", "\[UpArrow]"}, { UnderscriptBox[\((A - A\[InvisibleSpace]F)\), StyleBox["\[UnderBrace]", FontSize->36]], "\[CenterDot]", "A", "=", UnderscriptBox[\(X\[InvisibleSpace]A\[InvisibleSpace]X + X\[InvisibleSpace]B\[InvisibleSpace]X - A\[InvisibleSpace]X - X\[InvisibleSpace]B\), StyleBox["\[UnderBrace]", FontSize->36]]}, {"C", " ", " ", " ", \(G\_2\)} }, ColumnAlignments->{Center}], TraditionalForm]], "Formula"] }, Open ]], Cell[CellGroupData[{ Cell["\<\ A Custom\[Dash]Tailored Fundamental Formula:\ \>", "Collector"], Cell[BoxData[ FormBox[GridBox[{ { FrameBox[\(G\_2\%\(-1\)\[NegativeVeryThinSpace]u = u'' + \(u(0)\) \(\[Delta]\_0\%'\) + \(u( 1)\) \[CurlyEpsilon]\)]}, {\(\(\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \)\(\(\(\[Delta]\_0\%'\) \ \[Congruent] \(A\^\(-2\)\) 1\)\(\[UpperRightArrow]\)\)\)} }], TraditionalForm]], "Formula"] }, Open ]], Cell[CellGroupData[{ Cell["Example:", "Collector"], Cell[BoxData[ FormBox[GridBox[{ { FrameBox[GridBox[{ {\(u'' = f\)}, {\(u(0) = a, u(1) = b\)} }]], GridBox[{ {\(G\_2\%\(-1\)\[NegativeVeryThinSpace]u = f + a\ \(\[Delta]\_0\%'\) + b\ \[CurlyEpsilon]\)}, {\(\(\ \ \ \ \ \ \)\(\(\(\[LongRightArrow]\)\(\ \)\(u\)\)\( = \ \&*\)\(G\_2\[InvisibleSpace]f + a\ A\ \((\[Delta]\_0 - 1)\) + b\ A\[InvisibleSpace]1 = G\_2\[InvisibleSpace]f + a\[InvisibleSpace]\ \((1 - x)\) + b\ x\)\)\)} }]} }, ColumnSpacings->3], TraditionalForm]], "Formula"], Cell["Solution:", "Text"], Cell[BoxData[ \(TraditionalForm\`u(x) = a\[InvisibleSpace]\ \((1 - x)\) + b\ x + \[Integral]\_0\%1\(\( g\_2\)( x, \[Xi])\)\ \(f(\[Xi])\)\ \ \[DifferentialD]\ \[NegativeVeryThinSpace]t\)], "Formula"] }, Open ]] }, Open ]], Cell[TextData[Cell[BoxData[GridBox[{ { ButtonBox[ StyleBox["\[FirstPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookStart"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"First Slide"], ButtonBox[ StyleBox["\[LeftPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageUp"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Previous Slide"], ButtonBox[ StyleBox["\[RightPointer]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollPageDown"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Next Slide"], ButtonBox[ StyleBox["\[LastPage]", "SR"], ButtonFunction:>FrontEndExecute[ { FrontEndToken[ FrontEnd`SelectedNotebook[ ], "ScrollNotebookEnd"]}], ButtonStyle->"SlideHyperlink", ButtonNote->"Last Slide"], " ", ButtonBox[ StyleBox[ RowBox[{ CounterBox["SlideShowNavigationBar"], \(\(\ \)\(of\)\(\ \)\), CounterBox["SlideShowNavigationBar", {None, "SlideShowHeader", -1}]}], "SR"], ButtonFrame->"None"]} }]]]], "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell["Conclusion", "Section"], Cell["\<\ Computer algebra tools (noncommutative polynomials) for \ handling\ \>", "Text"], Cell[TextData[{ "Problem ", StyleBox["and", FontWeight->"Bold"], " solution of" }], "ItemizedText"], Cell[TextData[{ "Differential equation ", StyleBox["and", FontWeight->"Bold"], " boundary conditions." }], "ItemizedText"], Cell["Two new recent achievements:", "Text"], Cell[TextData[{ StyleBox["Factorization", FontWeight->"Bold"], " of any regular BVP into irreducibles." }], "ItemizedText"], Cell[TextData[{ "The ", StyleBox["Mikusi", FontWeight->"Bold"], Cell[BoxData[ FormBox[ OverscriptBox[ StyleBox["n", FontSlant->"Plain"], "'"], TraditionalForm]], FontWeight->"Bold"], StyleBox["ski calculus", FontWeight->"Bold"], " extended to cover boundary conditions." }], "ItemizedText"], Cell[TextData[{ "Setting still very ", StyleBox["simple", FontWeight->"Bold"], ": variable coefficients, partial differential equations, systems, \ \[Ellipsis]?" }], "Text"], Cell["\<\ Hope of extending some ideas there!\ \>", "Quotation", CellFrame->True, CellMargins->{{50, Inherited}, {Inherited, Inherited}}] }, Open ]] }, FrontEndVersion->"5.2 for X", ScreenRectangle->{{0, 1400}, {0, 1050}}, AutoGeneratedPackage->None, ScreenStyleEnvironment->"Working", WindowToolbars->{}, Evaluator->"Theorema", WindowSize->{1392, 975}, WindowMargins->{{0, Automatic}, {Automatic, 0}}, PrintingPageRange->{Automatic, Automatic}, PrintingOptions->{"PaperSize"->{597.562, 842.375}, "PaperOrientation"->"Portrait", "PostScriptOutputFile":>FrontEnd`FileName[{$RootDirectory, "home", "marcus", \ "Mathematica", "Publications", "SSGB"}, "Talk.ps", CharacterEncoding -> \ "iso8859-1"], "Magnification"->1}, ShowCellLabel->False, Magnification->1.5, StyleDefinitions -> Notebook[{ Cell["Style Definitions", "Subtitle"], Cell["\<\ Modify the definitions below to change the default appearance of \ all cells in a given style. Make modifications to any definition using \ commands in the Format menu.\ \>", "Text"], Cell[CellGroupData[{ Cell["Style Environment Names", "Section"], Cell[StyleData[All, "Working"], WindowToolbars->"EditBar", PageWidth->WindowWidth, WindowElements->{ "StatusArea", "MemoryMonitor", "MagnificationPopUp", "VerticalScrollBar", "MenuBar"}, ScrollingOptions->{"PagewiseScrolling"->False, "PagewiseDisplay"->False}, ScriptMinSize->9], Cell[StyleData[All, "SlideShow"], WindowToolbars->{}, PageWidth->WindowWidth, WindowElements->{}, ScrollingOptions->{"PagewiseScrolling"->True, "PagewiseDisplay"->True}, ShowCellBracket->False, ScriptMinSize->12, FontSize->16], Cell[StyleData[All, "Printout"], PageWidth->PaperWidth, ScriptMinSize->7, FontSize->10, PrivateFontOptions->{"FontType"->"Outline"}] }, Closed]], Cell[CellGroupData[{ Cell["Notebook Options", "Section"], Cell["\<\ The options defined for the style below will be used at the \ Notebook level.\ \>", "Text"], Cell[StyleData["Notebook"], PageHeaders->{{Cell[ TextData[ { CounterBox[ "Page"]}], "PageNumber"], None, Cell[ TextData[ { ValueBox[ "FileName"]}], "Header"]}, {Cell[ TextData[ { ValueBox[ "FileName"]}], "Header"], None, Cell[ TextData[ { CounterBox[ "Page"]}], "PageNumber"]}}, PageHeaderLines->{True, True}, PrintingOptions->{"FirstPageHeader"->False, "FacingPages"->True}, CellFrameLabelMargins->4, SingleLetterItalics->True, StyleMenuListing->None] }, Closed]], Cell[CellGroupData[{ Cell["Styles for Headings", "Section"], Cell[CellGroupData[{ Cell[StyleData["Title"], ShowCellBracket->False, CellMargins->{{0, 0}, {0, 0}}, PageBreakBelow->False, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "mma"->"Mathematica", "Mma"->"Mathematica", "MMA"->"Mathematica", "gridMathematica"->FormBox[ RowBox[ {"grid", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], "webMathematica"->FormBox[ RowBox[ {"web", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], Inherited}, LineSpacing->{1, 11}, CounterIncrements->"Title", CounterAssignments->{{"Section", 0}, {"Equation", 0}, {"Figure", 0}, { "Subtitle", 0}, {"Subsubtitle", 0}}, FontSize->34, FontColor->GrayLevel[1], Background->RGBColor[0.571389, 0.19675, 0.570504]], Cell[StyleData["Title", "SlideShow"], CellMargins->{{0, 0}, {0, 0}}, CellFrameMargins->{{12, 10}, {24, 24}}, LineSpacing->{1, 0}, FontSize->46], Cell[StyleData["Title", "Printout"], CellMargins->{{0, 0}, {0, 0}}, FontSize->24, FontTracking->"Plain", Background->GrayLevel[0]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Subtitle"], ShowCellBracket->False, CellMargins->{{0, 0}, {0, 0}}, PageBreakBelow->False, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "mma"->"Mathematica", "Mma"->"Mathematica", "MMA"->"Mathematica", "gridMathematica"->FormBox[ RowBox[ {"grid", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], "webMathematica"->FormBox[ RowBox[ {"web", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], Inherited}, LineSpacing->{1, 3}, ParagraphIndent->-96, CounterIncrements->"Subtitle", CounterAssignments->{{"Section", 0}, {"Equation", 0}, {"Figure", 0}, { "Subsubtitle", 0}}, FontFamily->"Helvetica", FontSize->18, FontColor->GrayLevel[1], Background->RGBColor[0.2, 0.700008, 0.700008]], Cell[StyleData["Subtitle", "SlideShow"], CellMargins->{{0, 0}, {4, 0}}, CellFrameMargins->{{12, 10}, {12, 8}}, LineSpacing->{1, 6}, ParagraphIndent->-157, FontSize->28], Cell[StyleData["Subtitle", "Printout"], CellMargins->{{0, 0}, {0, 0}}, ParagraphIndent->-85, FontSize->16, Background->GrayLevel[0.6]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Subsubtitle"], ShowCellBracket->False, CellMargins->{{10, 4}, {30, 10}}, PageBreakBelow->False, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "mma"->"Mathematica", "Mma"->"Mathematica", "MMA"->"Mathematica", "gridMathematica"->FormBox[ RowBox[ {"grid", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], "webMathematica"->FormBox[ RowBox[ {"web", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], Inherited}, CounterIncrements->"Subsubtitle", CounterAssignments->{{"Section", 0}, {"Equation", 0}, {"Figure", 0}}, FontFamily->"Helvetica", FontSize->14, FontSlant->"Italic"], Cell[StyleData["Subsubtitle", "SlideShow"], CellMargins->{{15, 10}, {50, 10}}, LineSpacing->{1, 0}, FontSize->22], Cell[StyleData["Subsubtitle", "Printout"], CellMargins->{{9, 10}, {50, 10}}, FontSize->14] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Section"], CellFrame->{{6, 0}, {0, 1}}, CellDingbat->None, CellMargins->{{12, Inherited}, {4, 24}}, CellGroupingRules->{"SectionGrouping", 30}, PageBreakBelow->False, CellFrameMargins->6, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "mma"->"Mathematica", "Mma"->"Mathematica", "MMA"->"Mathematica", "gridMathematica"->FormBox[ RowBox[ {"grid", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], "webMathematica"->FormBox[ RowBox[ {"web", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], Inherited}, LineSpacing->{1, 7}, CounterIncrements->"Section", CounterAssignments->{{"Subsection", 0}, {"Subsubsection", 0}}, FontFamily->"Helvetica", FontSize->16, FontWeight->"Bold", FontColor->RGBColor[0.571389, 0.19675, 0.570504]], Cell[StyleData["Section", "SlideShow"], CellFrame->{{8, 0}, {0, 2}}, CellMargins->{{20, 20}, {14, 15}}, CellFrameMargins->{{8, 10}, {10, 14}}, LineSpacing->{1, 2}, FontSize->24, FontTracking->"Condensed"], Cell[StyleData["Section", "Printout"], CellMargins->{{9, 0}, {2, 50}}, FontSize->14, FontTracking->"Plain", FontColor->GrayLevel[0]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Subsection"], CellMargins->{{12, Inherited}, {8, 20}}, CellGroupingRules->{"SectionGrouping", 40}, PageBreakBelow->False, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "mma"->"Mathematica", "Mma"->"Mathematica", "MMA"->"Mathematica", "gridMathematica"->FormBox[ RowBox[ {"grid", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], "webMathematica"->FormBox[ RowBox[ {"web", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], Inherited}, LineSpacing->{1, 7}, CounterIncrements->"Subsection", CounterAssignments->{{"Subsubsection", 0}}, FontFamily->"Helvetica", FontSize->13, FontWeight->"Bold"], Cell[StyleData["Subsection", "SlideShow"], CellMargins->{{15, 10}, {12, 32}}, LineSpacing->{1, 0}, FontSize->22], Cell[StyleData["Subsection", "Printout"], CellMargins->{{9, 0}, {4, 40}}, FontSize->12] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Styles for Body Text", "Section"], Cell[CellGroupData[{ Cell[StyleData["Text"], CellMargins->{{12, 10}, {5, 5}}, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "mma"->"Mathematica", "Mma"->"Mathematica", "MMA"->"Mathematica", "gridMathematica"->FormBox[ RowBox[ {"grid", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], "webMathematica"->FormBox[ RowBox[ {"web", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], Inherited}, LineSpacing->{1, 3}, ParagraphSpacing->{0, 12}, CounterIncrements->"Text", FontFamily->"Times"], Cell[StyleData["Text", "SlideShow"], CellMargins->{{50, 20}, {3, 10}}, TextAlignment->Left, TextJustification->1, LineSpacing->{1, 1}, ParagraphSpacing->{0, 12}, FontSize->18], Cell[StyleData["Text", "Printout"], CellMargins->{{9, 0}, {4, 4}}, Hyphenation->True, ParagraphSpacing->{0, 6}] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Quotation"], CellMargins->{{32, 30}, {5, 5}}, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "mma"->"Mathematica", "Mma"->"Mathematica", "MMA"->"Mathematica", "gridMathematica"->FormBox[ RowBox[ {"grid", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], "webMathematica"->FormBox[ RowBox[ {"web", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], Inherited}, LineSpacing->{1, 3}, ParagraphSpacing->{0, 12}, CounterIncrements->"Text", FontFamily->"Times", FontSlant->"Italic"], Cell[StyleData["Quotation", "SlideShow"], CellMargins->{{80, 55}, {8, 10}}, TextAlignment->Left, TextJustification->1, LineSpacing->{1, 5}, ParagraphSpacing->{0, 12}, FontSize->18], Cell[StyleData["Text", "Printout"], CellMargins->{{9, 0}, {4, 4}}, Hyphenation->True, ParagraphSpacing->{0, 6}] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["ItemizedText"], CellDingbat->"\[FilledSmallCircle]", CellMargins->{{25, 10}, {5, 5}}, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "mma"->"Mathematica", "Mma"->"Mathematica", "MMA"->"Mathematica", "gridMathematica"->FormBox[ RowBox[ {"grid", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], "webMathematica"->FormBox[ RowBox[ {"web", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], Inherited}, LineSpacing->{1, 3}, ParagraphSpacing->{0, 12}, CounterIncrements->"Text", FontFamily->"Times"], Cell[StyleData["ItemizedText", "SlideShow"], CellDingbat->"\[FilledSmallCircle]", CellMargins->{{65, 20}, {3, 6}}, TextAlignment->Left, TextJustification->1, LineSpacing->{1, 4}, ParagraphSpacing->{0, 12}, FontSize->18], Cell[StyleData["Text", "Printout"], CellMargins->{{9, 0}, {4, 4}}, Hyphenation->True, ParagraphSpacing->{0, 6}] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["OralText"], CellMargins->{{12, 10}, {5, 5}}, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "mma"->"Mathematica", "Mma"->"Mathematica", "MMA"->"Mathematica", "gridMathematica"->FormBox[ RowBox[ {"grid", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], "webMathematica"->FormBox[ RowBox[ {"web", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], Inherited}, LineSpacing->{1, 3}, ParagraphSpacing->{0, 6}, CounterIncrements->"SmallText", FontFamily->"Helvetica", FontSize->9, FontColor->RGBColor[1, 0, 0]], Cell[StyleData["OralText", "SlideShow"], CellMargins->{{50, 20}, {8, 10}}, LineSpacing->{1, 5}, FontSize->14], Cell[StyleData["OralText", "Printout"], CellMargins->{{9, 0}, {4, 4}}, Hyphenation->True, FontSize->7] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Collector"], CellMargins->{{12, 10}, {5, 5}}, CellOpen->True, CellGroupingRules->{"SectionGrouping", 40}, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "mma"->"Mathematica", "Mma"->"Mathematica", "MMA"->"Mathematica", "gridMathematica"->FormBox[ RowBox[ {"grid", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], "webMathematica"->FormBox[ RowBox[ {"web", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], Inherited}, LineSpacing->{1, 3}, ParagraphSpacing->{0, 12}, CounterIncrements->"Text", FontFamily->"Times"], Cell[StyleData["Collector", "SlideShow"], ShowGroupOpenCloseIcon->True, CellMargins->{{50, 20}, {0, 0}}, CellGroupingRules->{"SectionGrouping", 40}, TextAlignment->Left, TextJustification->1, LineSpacing->{1, 1}, ParagraphSpacing->{0, 12}, FontSize->18] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell["Styles for Input/Output", "Section"], Cell["\<\ The cells in this section define styles used for input and output \ to the kernel. Be careful when modifying, renaming, or removing these \ styles, because the front end associates special meanings with these style \ names.\ \>", "Text"], Cell[CellGroupData[{ Cell[StyleData["InlineInput"], Evaluatable->True, CellGroupingRules->"InputGrouping", CellHorizontalScrolling->True, PageBreakWithin->False, GroupPageBreakWithin->False, DefaultFormatType->DefaultInputFormatType, "TwoByteSyntaxCharacterAutoReplacement"->True, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, AutoItalicWords->{}, FormatType->InputForm, ShowStringCharacters->True, NumberMarks->True, CounterIncrements->"Input", FontWeight->"Bold"], Cell[StyleData["InlineInput", "SlideShow"], CellMargins->{{10, 10}, {12, 12}}, FontSize->18] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Input"], CellMargins->{{50, Inherited}, {6, 6}}, Evaluatable->True, CellGroupingRules->"InputGrouping", PageBreakWithin->False, GroupPageBreakWithin->False, CellLabelPositioning->Left, CellLabelMargins->{{21, Inherited}, {Inherited, Inherited}}, CellFrameColor->RGBColor[0.180392, 0.392157, 0.780392], DefaultFormatType->DefaultInputFormatType, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, AutoItalicWords->{}, LanguageCategory->"Formula", FormatType->StandardForm, ShowStringCharacters->True, NumberMarks->True, LinebreakAdjustments->{0.85, 2, 10, 0, 1}, CounterIncrements->"Input", FontFamily->"Helvetica", FontWeight->"Bold", FontColor->RGBColor[1, 0, 0]], Cell[StyleData["Input", "Presentation"], ShowGroupOpenCloseIcon->True, CellMargins->{{Inherited, Inherited}, {0, 10}}, CellGroupingRules->"InputGrouping", PageBreakWithin->False, GroupPageBreakWithin->False, CellLabelMargins->{{21, Inherited}, {Inherited, Inherited}}, DefaultFormatType->DefaultInputFormatType, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, AutoItalicWords->{}, LanguageCategory->"Formula", FormatType->StandardForm, ShowStringCharacters->True, NumberMarks->True, LinebreakAdjustments->{0.85, 2, 10, 0, 1}, CounterIncrements->"Input", FontWeight->"Plain"], Cell[StyleData["Input", "PrintoutColor"], ShowCellBracket->False, CellMargins->{{20, Inherited}, {Inherited, 1}}, ShowCellLabel->False, CellFrameMargins->{{8, 8}, {2, 2}}, LinebreakAdjustments->{0.85, 2, 10, 1, 1}, FontSize->9], Cell[StyleData["Input", "PrintoutGray"], ShowCellBracket->False, CellMargins->{{20, Inherited}, {0, 1}}, ShowCellLabel->False, CellFrameMargins->{{8, 8}, {2, 2}}, CellFrameColor->GrayLevel[0.749996], LinebreakAdjustments->{0.85, 2, 10, 1, 1}, FontSize->9, Background->GrayLevel[0.980011]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Output"], CellMargins->{{50, Inherited}, {6, 6}}, CellEditDuplicate->True, CellGroupingRules->"OutputGrouping", PageBreakWithin->False, GroupPageBreakWithin->False, GeneratedCell->True, CellAutoOverwrite->True, CellLabelPositioning->Left, CellLabelMargins->{{21, Inherited}, {Inherited, Inherited}}, CellFrameColor->RGBColor[0.180392, 0.392157, 0.780392], DefaultFormatType->DefaultOutputFormatType, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, AutoItalicWords->{}, LanguageCategory->"Formula", FormatType->StandardForm, CounterIncrements->"Output", FontFamily->"Helvetica", FontWeight->"Bold", FontColor->RGBColor[0, 1, 0]], Cell[StyleData["Output", "Presentation"], CellMargins->{{Inherited, Inherited}, {10, Inherited}}, CellEditDuplicate->True, CellGroupingRules->"OutputGrouping", PageBreakWithin->False, GroupPageBreakWithin->False, GeneratedCell->True, CellAutoOverwrite->True, CellLabelMargins->{{21, Inherited}, {Inherited, Inherited}}, DefaultFormatType->DefaultOutputFormatType, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, AutoItalicWords->{}, LanguageCategory->"Formula", FormatType->StandardForm, CounterIncrements->"Output"], Cell[StyleData["Output", "PrintoutColor"], ShowCellBracket->False, CellMargins->{{20, Inherited}, {1, Inherited}}, ShowCellLabel->False, CellFrameMargins->{{8, 8}, {2, 2}}, FontSize->9], Cell[StyleData["Output", "PrintoutGray"], ShowCellBracket->False, CellMargins->{{20, Inherited}, {1, Inherited}}, ShowCellLabel->False, CellFrameMargins->{{8, 8}, {2, 2}}, CellFrameColor->GrayLevel[0.749996], FontSize->9, Background->GrayLevel[0.980011]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Graphics"], CellMargins->{{12, 10}, {Inherited, Inherited}}, CellGroupingRules->"GraphicsGrouping", CellHorizontalScrolling->True, PageBreakWithin->False, GeneratedCell->True, CellAutoOverwrite->True, ShowCellLabel->False, DefaultFormatType->DefaultOutputFormatType, FormatType->InputForm, CounterIncrements->"Graphics", StyleMenuListing->None], Cell[StyleData["Graphics", "SlideShow"], CellMargins->{{50, 20}, {8, 8}}, FontSize->18], Cell[StyleData["Graphics", "Printout"], CellMargins->{{54, Inherited}, {Inherited, Inherited}}, ImageSize->{250, 250}] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Message"], CellMargins->{{62, Inherited}, {Inherited, Inherited}}, CellGroupingRules->"OutputGrouping", PageBreakWithin->False, GroupPageBreakWithin->False, GeneratedCell->True, CellAutoOverwrite->True, ShowCellLabel->False, DefaultFormatType->DefaultOutputFormatType, "TwoByteSyntaxCharacterAutoReplacement"->True, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, FormatType->InputForm, CounterIncrements->"Message", StyleMenuListing->None, FontColor->RGBColor[1, 0, 0]], Cell[StyleData["Message", "SlideShow"], CellMargins->{{86, 20}, {0, 10}}, LineSpacing->{1, 0}], Cell[StyleData["Message", "Printout"], CellMargins->{{54, Inherited}, {Inherited, Inherited}}, FontColor->GrayLevel[0]] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Print"], CellMargins->{{62, Inherited}, {Inherited, Inherited}}, CellGroupingRules->"OutputGrouping", CellHorizontalScrolling->True, PageBreakWithin->False, GroupPageBreakWithin->False, GeneratedCell->True, CellAutoOverwrite->True, ShowCellLabel->False, DefaultFormatType->DefaultOutputFormatType, "TwoByteSyntaxCharacterAutoReplacement"->True, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, FormatType->InputForm, CounterIncrements->"Print", StyleMenuListing->None], Cell[StyleData["Print", "SlideShow"], CellMargins->{{86, 20}, {4, 4}}, LineSpacing->{1, 0}, FontSize->18], Cell[StyleData["Print", "Printout"], CellMargins->{{54, Inherited}, {Inherited, Inherited}}] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["CellLabel"], StyleMenuListing->None, FontFamily->"Courier", FontSize->9, FontColor->RGBColor[0, 0.2, 1]], Cell[StyleData["CellLabel", "Presentation"]], Cell[StyleData["CellLabel", "PrintoutColor"], FontSize->7, FontSlant->"Oblique"], Cell[StyleData["CellLabel", "PrintoutGray"], FontSize->7, FontSlant->"Oblique", FontColor->GrayLevel[0]] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Unique Styles", "Section"], Cell[CellGroupData[{ Cell[StyleData["Formula"], CellFrame->{{3, 0}, {0, 0}}, CellMargins->{{12, 10}, {8, 8}}, Evaluatable->True, CellGroupingRules->"InputGrouping", CellHorizontalScrolling->True, PageBreakWithin->False, GroupPageBreakWithin->False, CellLabelMargins->{{5, Inherited}, {Inherited, Inherited}}, DefaultFormatType->TraditionalForm, "TwoByteSyntaxCharacterAutoReplacement"->True, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, LanguageCategory->"Formula", FormatType->TraditionalForm, ShowStringCharacters->True, NumberMarks->True, SingleLetterItalics->True, TraditionalFunctionNotation->True, LinebreakAdjustments->{0.85, 2, 10, 0, 1}, CounterIncrements->"Input", FontWeight->"Bold", Background->RGBColor[0.486275, 0.827451, 0.588235]], Cell[StyleData["Formula", "SlideShow"], CellFrame->{{5, 0}, {0, 0}}, CellMargins->{{50, 20}, {8, 10}}, CellFrameMargins->{{10, 10}, {14, 14}}, LineSpacing->{1, 0}, FontSize->18] }, Open ]], Cell[CellGroupData[{ Cell[StyleData["Sketch"], CellMargins->{{12, 10}, {8, 8}}, Evaluatable->True, CellGroupingRules->"InputGrouping", CellHorizontalScrolling->True, PageBreakWithin->False, GroupPageBreakWithin->False, CellLabelMargins->{{5, Inherited}, {Inherited, Inherited}}, DefaultFormatType->DefaultInputFormatType, "TwoByteSyntaxCharacterAutoReplacement"->True, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, LanguageCategory->"Formula", FormatType->InputForm, NumberMarks->True, LinebreakAdjustments->{0.85, 2, 10, 0, 1}, CounterIncrements->"Input", FontWeight->"Bold"], Cell[StyleData["Sketch", "SlideShow"], CellMargins->{{50, 20}, {8, 10}}, LineSpacing->{1, 0}, FontSize->18] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell[TextData[{ "Formulas and Programming ", StyleBox["(currently unused)", FontColor->RGBColor[1, 0, 0]] }], "Section"], Cell[CellGroupData[{ Cell[StyleData["DisplayFormula"], CellMargins->{{62, 10}, {2, 10}}, CellHorizontalScrolling->True, DefaultFormatType->DefaultInputFormatType, "TwoByteSyntaxCharacterAutoReplacement"->True, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, LanguageCategory->"Formula", ScriptLevel->0, SingleLetterItalics->True, UnderoverscriptBoxOptions->{LimitsPositioning->True}], Cell[StyleData["DisplayFormula", "Presentation"], CellMargins->{{100, 10}, {8, 16}}, FontSize->18], Cell[StyleData["DisplayFormula", "Condensed"], CellMargins->{{52, 10}, {2, 10}}, FontSize->10], Cell[StyleData["DisplayFormula", "Printout"], CellMargins->{{54, 10}, {2, 10}}, FontSize->10] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["ChemicalFormula"], CellMargins->{{62, 10}, {2, 10}}, DefaultFormatType->DefaultInputFormatType, "TwoByteSyntaxCharacterAutoReplacement"->True, HyphenationOptions->{"HyphenationCharacter"->"\[Continuation]"}, LanguageCategory->"Formula", AutoSpacing->False, ScriptLevel->1, ScriptBaselineShifts->{0.6, Automatic}, SingleLetterItalics->False, ZeroWidthTimes->True], Cell[StyleData["ChemicalFormula", "Presentation"], CellMargins->{{100, 10}, {8, 12}}, FontSize->18], Cell[StyleData["ChemicalFormula", "Condensed"], CellMargins->{{52, 10}, {2, 10}}, FontSize->10], Cell[StyleData["ChemicalFormula", "Printout"], CellMargins->{{54, 10}, {2, 10}}, FontSize->10] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["Program"], CellMargins->{{12, 10}, {Inherited, 6}}, Hyphenation->False, LanguageCategory->"Formula", FontFamily->"Courier"], Cell[StyleData["Program", "Presentation"], CellMargins->{{20, 30}, {4, 4}}, FontSize->18], Cell[StyleData["Program", "Condensed"], CellMargins->{{8, 10}, {Inherited, 4}}, FontSize->9.5], Cell[StyleData["Program", "Printout"], CellMargins->{{9, 0}, {Inherited, 4}}, FontSize->9.5] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Styles for Headers and Footers", "Section"], Cell[StyleData["Header"], CellMargins->{{0, 0}, {4, 1}}, StyleMenuListing->None, FontFamily->"Helvetica", FontSize->9, FontSlant->"Italic"], Cell[StyleData["Footer"], CellMargins->{{0, 0}, {0, 4}}, StyleMenuListing->None, FontFamily->"Helvetica", FontSize->6], Cell[StyleData["PageNumber"], CellMargins->{{0, 0}, {4, 1}}, StyleMenuListing->None, FontFamily->"Helvetica", FontSize->9, FontWeight->"Bold"] }, Closed]], Cell[CellGroupData[{ Cell[TextData[{ "Palette Styles ", StyleBox["(might be interesting)", FontColor->RGBColor[1, 0, 0]] }], "Section"], Cell["\<\ The cells below define styles that define standard \ ButtonFunctions, for use in palette buttons.\ \>", "Text"], Cell[StyleData["Paste"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`NotebookApply[ FrontEnd`InputNotebook[ ], #, After]}]&)}], Cell[StyleData["Evaluate"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`NotebookApply[ FrontEnd`InputNotebook[ ], #, All], SelectionEvaluate[ FrontEnd`InputNotebook[ ], All]}]&)}], Cell[StyleData["EvaluateCell"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`NotebookApply[ FrontEnd`InputNotebook[ ], #, All], FrontEnd`SelectionMove[ FrontEnd`InputNotebook[ ], All, Cell, 1], FrontEnd`SelectionEvaluateCreateCell[ FrontEnd`InputNotebook[ ], All]}]&)}], Cell[StyleData["CopyEvaluate"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`SelectionCreateCell[ FrontEnd`InputNotebook[ ], All], FrontEnd`NotebookApply[ FrontEnd`InputNotebook[ ], #, All], FrontEnd`SelectionEvaluate[ FrontEnd`InputNotebook[ ], All]}]&)}], Cell[StyleData["CopyEvaluateCell"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`SelectionCreateCell[ FrontEnd`InputNotebook[ ], All], FrontEnd`NotebookApply[ FrontEnd`InputNotebook[ ], #, All], FrontEnd`SelectionEvaluateCreateCell[ FrontEnd`InputNotebook[ ], All]}]&)}] }, Closed]], Cell[CellGroupData[{ Cell["Slide Show Styles", "Section"], Cell[CellGroupData[{ Cell[StyleData["SlideShowNavigationBar"], Editable->False, CellFrame->True, CellMargins->{{0, 0}, {3, 3}}, CellElementSpacings->{"CellMinHeight"->0.8125}, CellGroupingRules->{"SectionGrouping", 30}, CellFrameMargins->False, CellFrameColor->GrayLevel[1], CellFrameLabelMargins->False, TextAlignment->Center, CounterIncrements->"SlideShowNavigationBar", StyleMenuListing->None, FontSize->10, Background->GrayLevel[0.8], Magnification->1, GridBoxOptions->{GridBaseline->Center, RowSpacings->0, ColumnSpacings->0, ColumnWidths->{3.5, 3.5, 3.5, 3.5, 13, 5, 4}, RowAlignments->Baseline, ColumnAlignments->{ Center, Center, Center, Center, Center, Center, Right, Center}}], Cell[StyleData["SlideShowNavigationBar", "SlideShow"], Deletable->False, ShowCellBracket->False, CellMargins->{{-1, -1}, {-1, -1}}, PageBreakAbove->True, CellFrameMargins->{{1, 1}, {0, 0}}], Cell[StyleData["SlideShowNavigationBar", "Printout"], CellMargins->{{18, 4}, {4, 4}}, LineSpacing->{1, 3}, FontSize->10] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["SlideShowSection"], CellFrame->{{0, 0}, {0, 0.5}}, CellMargins->{{0, 0}, {10, 0}}, CellGroupingRules->{"SectionGrouping", 40}, PageBreakBelow->False, CellFrameMargins->{{12, 4}, {6, 12}}, InputAutoReplacements->{"TeX"->StyleBox[ RowBox[ {"T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "LaTeX"->StyleBox[ RowBox[ {"L", StyleBox[ AdjustmentBox[ "A", BoxMargins -> {{-0.36, -0.1}, {0, -0}}, BoxBaselineShift -> -0.2], FontSize -> Smaller], "T", AdjustmentBox[ "E", BoxMargins -> {{-0.075, -0.085}, {0, 0}}, BoxBaselineShift -> 0.5], "X"}]], "mma"->"Mathematica", "Mma"->"Mathematica", "MMA"->"Mathematica", "gridMathematica"->FormBox[ RowBox[ {"grid", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], "webMathematica"->FormBox[ RowBox[ {"web", AdjustmentBox[ StyleBox[ "Mathematica", FontSlant -> "Italic"], BoxMargins -> {{-0.175, 0}, {0, 0}}]}], TextForm], Inherited}, CounterIncrements->"Section", CounterAssignments->{{"Subsection", 0}, {"Subsubsection", 0}}, StyleMenuListing->None, FontFamily->"Helvetica", FontSize->18, FontWeight->"Plain", FontColor->GrayLevel[1], Background->RGBColor[0.408011, 0.440726, 0.8]], Cell[StyleData["SlideShowSection", "SlideShow"], ShowCellBracket->False, PageBreakAbove->True], Cell[StyleData["SlideShowSection", "Printout"], CellMargins->{{18, 30}, {0, 30}}, CellFrameMargins->5, FontSize->14] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["SlideHyperlink"], StyleMenuListing->None, ButtonStyleMenuListing->Automatic, FontSize->26, FontColor->GrayLevel[0.400015], ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`NotebookLocate[ #2]}]&), Active->True, ButtonMinHeight->0.85, ButtonMargins->0.5, ButtonNote->None}], Cell[StyleData["SlideHyperlink", "SlideShow"]], Cell[StyleData["SlideHyperlink", "Printout"], FontSize->10, FontColor->GrayLevel[0], FontVariations->{"Underline"->False}] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["SlideTOCLink"], CellMargins->{{24, Inherited}, {Inherited, Inherited}}, StyleMenuListing->None, ButtonStyleMenuListing->Automatic, FontFamily->"Helvetica", ButtonBoxOptions->{ButtonFunction:>(FrontEndExecute[ { FrontEnd`NotebookLocate[ #2]}]&), Active->True, ButtonMargins->1.5, ButtonNote->ButtonData}], Cell[StyleData["SlideTOCLink", "SlideShow"]], Cell[StyleData["SlideTOCLink", "Printout"], FontColor->GrayLevel[0], FontVariations->{"Underline"->False}] }, Closed]], Cell[CellGroupData[{ Cell[StyleData["SlideTOC"], CellDingbat->"\[Bullet]", CellMargins->{{18, Inherited}, {Inherited, Inherited}}, StyleMenuListing->None, FontFamily->"Helvetica"], Cell[StyleData["SlideTOC", "SlideShow"], FontSize->14], Cell[StyleData["SlideTOC", "Printout"], FontSize->10, FontColor->GrayLevel[0]] }, Closed]] }, Closed]] }] ] (******************************************************************* Cached data follows. If you edit this Notebook file directly, not using Mathematica, you must remove the line containing CacheID at the top of the file. The cache data will then be recreated when you save this file from within Mathematica. *******************************************************************) (*CellTagsOutline CellTagsIndex->{ "SlideShowHeader"->{ Cell[1776, 53, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[4769, 146, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[8356, 270, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[13986, 446, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[17783, 571, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[21559, 682, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[25842, 841, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[31915, 1021, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[36227, 1154, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[40081, 1257, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[44748, 1372, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[48743, 1470, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[52649, 1599, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[59930, 1800, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[64192, 1945, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[70677, 2166, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[74911, 2284, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[78992, 2407, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[85265, 2571, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[88999, 2673, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[92721, 2782, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[98172, 2966, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[103104, 3122, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[109198, 3341, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[113789, 3501, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[118150, 3627, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[122616, 3761, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"]}, "System (1. Equalities for Isolating Differential Operators)"->{ Cell[38015, 1205, 900, 21, 245, "Input", CellTags-> "System (1. Equalities for Isolating Differential Operators)"]}, "System (2. Equalities for Isolating Boundary Operators)"->{ Cell[38918, 1228, 1148, 26, 439, "Input", CellTags->"System (2. Equalities for Isolating Boundary Operators)"]}, "System (Equalities for Algebraic Simplication)"->{ Cell[41869, 1308, 688, 16, 85, "Input", CellTags->"System (Equalities for Algebraic Simplication)"]}, "System (3. Equalities for Contracting Integration Operators)"->{ Cell[42560, 1326, 2173, 43, 435, "Input", CellTags-> "System (3. Equalities for Contracting Integration Operators)"]}, "System (4. Equalities for Absorbing Integration Operators)"->{ Cell[46533, 1423, 2195, 44, 595, "Input", CellTags-> "System (4. Equalities for Absorbing Integration Operators)"]} } *) (*CellTagsIndex CellTagsIndex->{ {"SlideShowHeader", 166190, 5101}, {"System (1. Equalities for Isolating Differential Operators)", 168898, \ 5156}, {"System (2. Equalities for Isolating Boundary Operators)", 169094, 5160}, {"System (Equalities for Algebraic Simplication)", 169271, 5163}, {"System (3. Equalities for Contracting Integration Operators)", 169451, \ 5166}, {"System (4. Equalities for Absorbing Integration Operators)", 169652, \ 5170} } *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[1776, 53, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[3497, 100, 176, 6, 182, "Title"], Cell[3676, 108, 194, 7, 188, "Subtitle"], Cell[3873, 117, 215, 5, 90, "Subsubtitle"], Cell[4091, 124, 191, 6, 144, "Subsubtitle"], Cell[4285, 132, 54, 0, 40, "Quotation"], Cell[4342, 134, 412, 9, 151, "Quotation"] }, Open ]], Cell[4769, 146, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[6512, 195, 38, 0, 91, "Section"], Cell[6553, 197, 92, 3, 40, "Text"], Cell[6648, 202, 233, 6, 77, "Text"], Cell[6884, 210, 326, 8, 64, "Quotation"], Cell[7213, 220, 238, 6, 77, "Text"], Cell[7454, 228, 128, 5, 40, "ItemizedText"], Cell[7585, 235, 136, 5, 40, "ItemizedText"], Cell[7724, 242, 137, 5, 40, "ItemizedText"], Cell[7864, 249, 274, 11, 40, "ItemizedText"], Cell[8141, 262, 200, 5, 114, "Text"] }, Open ]], Cell[8356, 270, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[10099, 319, 66, 2, 91, "Section"], Cell[10168, 323, 293, 10, 40, "Text"], Cell[10464, 335, 702, 17, 109, "Formula"], Cell[11169, 354, 1416, 47, 147, "Text"], Cell[12588, 403, 201, 8, 40, "Text"], Cell[12792, 413, 410, 9, 113, "Formula"], Cell[13205, 424, 124, 4, 40, "Text"], Cell[13332, 430, 639, 13, 115, "Formula"] }, Open ]], Cell[13986, 446, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[15729, 495, 63, 0, 91, "Section"], Cell[15795, 497, 116, 5, 40, "Text"], Cell[15914, 504, 121, 2, 85, "Formula"], Cell[16038, 508, 165, 5, 40, "Text"], Cell[16206, 515, 161, 4, 95, "Formula"], Cell[16370, 521, 1000, 32, 112, "Text"], Cell[17373, 555, 241, 7, 40, "Text"], Cell[17617, 564, 151, 4, 40, "Text"] }, Open ]], Cell[17783, 571, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[19526, 620, 46, 0, 91, "Section"], Cell[19575, 622, 125, 5, 40, "Text"], Cell[19703, 629, 335, 7, 93, "Formula"], Cell[20041, 638, 64, 2, 40, "Text"], Cell[20108, 642, 596, 16, 123, "Formula"], Cell[20707, 660, 92, 1, 40, "Text"], Cell[20802, 663, 742, 16, 127, "Formula"] }, Open ]], Cell[21559, 682, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[23302, 731, 51, 0, 91, "Section"], Cell[23356, 733, 142, 5, 40, "Text"], Cell[23501, 740, 320, 14, 40, "ItemizedText"], Cell[23824, 756, 139, 5, 40, "ItemizedText"], Cell[23966, 763, 123, 5, 40, "ItemizedText"], Cell[CellGroupData[{ Cell[24114, 772, 21, 0, 40, "Collector"], Cell[24138, 774, 789, 22, 151, "Formula"], Cell[24930, 798, 197, 8, 40, "Text"], Cell[25130, 808, 292, 11, 40, "ItemizedText"], Cell[25425, 821, 209, 8, 40, "ItemizedText"], Cell[25637, 831, 178, 6, 40, "ItemizedText"] }, Open ]] }, Open ]], Cell[25842, 841, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[27585, 890, 54, 0, 91, "Section"], Cell[27642, 892, 319, 11, 40, "Text"], Cell[27964, 905, 511, 17, 41, "Text"], Cell[28478, 924, 1361, 24, 191, "Formula"], Cell[CellGroupData[{ Cell[29864, 952, 21, 0, 40, "Collector"], Cell[29888, 954, 210, 7, 40, "Text"], Cell[30101, 963, 440, 9, 211, "Formula"] }, Open ]], Cell[CellGroupData[{ Cell[30578, 977, 21, 0, 40, "Collector"], Cell[30602, 979, 131, 4, 54, "Text"], Cell[30736, 985, 272, 4, 110, "Formula"] }, Open ]], Cell[CellGroupData[{ Cell[31045, 994, 21, 0, 36, "Collector"], Cell[31069, 996, 231, 8, 54, "Text"], Cell[31303, 1006, 585, 11, 315, "Formula"] }, Open ]] }, Open ]], Cell[31915, 1021, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[33658, 1070, 65, 2, 91, "Section"], Cell[33726, 1074, 93, 3, 40, "Text"], Cell[33822, 1079, 421, 12, 101, "Quotation"], Cell[CellGroupData[{ Cell[34268, 1095, 21, 0, 40, "Collector"], Cell[34292, 1097, 139, 5, 40, "Text"], Cell[34434, 1104, 800, 16, 217, "Formula"] }, Open ]], Cell[CellGroupData[{ Cell[35271, 1125, 21, 0, 40, "Collector"], Cell[35295, 1127, 183, 5, 40, "Text"], Cell[35481, 1134, 393, 6, 77, "Formula"], Cell[35877, 1142, 323, 8, 77, "Text"] }, Open ]] }, Open ]], Cell[36227, 1154, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[37970, 1203, 42, 0, 91, "Section"], Cell[38015, 1205, 900, 21, 245, "Input", CellTags->"System (1. Equalities for Isolating Differential Operators)"], Cell[38918, 1228, 1148, 26, 439, "Input", CellTags->"System (2. Equalities for Isolating Boundary Operators)"] }, Open ]], Cell[40081, 1257, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[41824, 1306, 42, 0, 91, "Section"], Cell[41869, 1308, 688, 16, 85, "Input", CellTags->"System (Equalities for Algebraic Simplication)"], Cell[42560, 1326, 2173, 43, 435, "Input", CellTags->"System (3. Equalities for Contracting Integration Operators)"] }, Open ]], Cell[44748, 1372, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[46491, 1421, 39, 0, 91, "Section"], Cell[46533, 1423, 2195, 44, 595, "Input", CellTags->"System (4. Equalities for Absorbing Integration Operators)"] }, Open ]], Cell[48743, 1470, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[50486, 1519, 42, 0, 91, "Section"], Cell[50531, 1521, 538, 21, 40, "Text"], Cell[51072, 1544, 246, 5, 95, "Formula"], Cell[51321, 1551, 153, 5, 40, "Text"], Cell[51477, 1558, 180, 3, 94, "Formula"], Cell[CellGroupData[{ Cell[51682, 1565, 21, 0, 40, "Collector"], Cell[51706, 1567, 52, 0, 40, "Text"], Cell[51761, 1569, 175, 3, 94, "Formula"], Cell[51939, 1574, 683, 21, 101, "Quotation"] }, Open ]] }, Open ]], Cell[52649, 1599, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[54392, 1648, 40, 0, 91, "Section"], Cell[54435, 1650, 124, 4, 40, "Text"], Cell[54562, 1656, 1516, 35, 127, "Formula"], Cell[56081, 1693, 120, 5, 40, "Text"], Cell[56204, 1700, 1885, 43, 137, "Formula"], Cell[58092, 1745, 517, 15, 40, "Text"], Cell[58612, 1762, 175, 7, 40, "Text"], Cell[CellGroupData[{ Cell[58812, 1773, 161, 3, 47, "Input"], Cell[58976, 1778, 927, 18, 128, "Output"] }, Open ]] }, Open ]], Cell[59930, 1800, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[61673, 1849, 70, 2, 91, "Section"], Cell[61746, 1853, 35, 0, 40, "Text"], Cell[61784, 1855, 701, 19, 175, "Quotation"], Cell[CellGroupData[{ Cell[62510, 1878, 21, 0, 40, "Collector"], Cell[62534, 1880, 57, 0, 40, "Text"], Cell[62594, 1882, 112, 3, 40, "ItemizedText"], Cell[62709, 1887, 159, 5, 40, "ItemizedText"], Cell[62871, 1894, 175, 4, 77, "ItemizedText"] }, Open ]], Cell[CellGroupData[{ Cell[63083, 1903, 21, 0, 36, "Collector"], Cell[63107, 1905, 24, 0, 40, "Text"], Cell[63134, 1907, 327, 10, 40, "ItemizedText"], Cell[63464, 1919, 257, 8, 40, "ItemizedText"], Cell[63724, 1929, 108, 3, 40, "ItemizedText"], Cell[63835, 1934, 330, 7, 71, "Formula"] }, Open ]] }, Open ]], Cell[64192, 1945, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[65935, 1994, 68, 2, 91, "Section"], Cell[CellGroupData[{ Cell[66028, 2000, 49, 0, 40, "Collector"], Cell[66080, 2002, 175, 3, 94, "Formula"], Cell[66258, 2007, 219, 5, 71, "Formula"], Cell[66480, 2014, 227, 8, 40, "ItemizedText"], Cell[66710, 2024, 314, 11, 40, "ItemizedText"], Cell[CellGroupData[{ Cell[67049, 2039, 186, 5, 47, "Input"], Cell[67238, 2046, 493, 8, 69, "Output"] }, Open ]], Cell[67746, 2057, 213, 8, 40, "ItemizedText"], Cell[CellGroupData[{ Cell[67984, 2069, 133, 3, 47, "Input"], Cell[68120, 2074, 322, 5, 69, "Output"] }, Open ]], Cell[68457, 2082, 205, 7, 46, "ItemizedText"], Cell[68665, 2091, 179, 6, 40, "ItemizedText"] }, Open ]], Cell[CellGroupData[{ Cell[68881, 2102, 73, 0, 40, "Collector"], Cell[68957, 2104, 57, 0, 54, "Text"], Cell[69017, 2106, 209, 7, 52, "ItemizedText"], Cell[69229, 2115, 230, 6, 52, "ItemizedText"], Cell[69462, 2123, 182, 5, 52, "ItemizedText"], Cell[69647, 2130, 186, 5, 52, "ItemizedText"], Cell[69836, 2137, 186, 5, 54, "Text"], Cell[70025, 2144, 97, 3, 54, "Text"], Cell[70125, 2149, 525, 13, 66, "Sketch"] }, Open ]] }, Open ]], Cell[70677, 2166, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[72420, 2215, 53, 0, 91, "Section"], Cell[72476, 2217, 58, 0, 40, "Text"], Cell[72537, 2219, 788, 14, 111, "Formula"], Cell[73328, 2235, 52, 0, 40, "Text"], Cell[73383, 2237, 390, 10, 109, "Formula"], Cell[73776, 2249, 51, 0, 40, "Text"], Cell[73830, 2251, 307, 6, 79, "Formula"], Cell[74140, 2259, 93, 3, 40, "Text"], Cell[74236, 2264, 660, 17, 102, "Formula"] }, Open ]], Cell[74911, 2284, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[76654, 2333, 68, 2, 91, "Section"], Cell[76725, 2337, 52, 0, 40, "Text"], Cell[76780, 2339, 1209, 33, 119, "Formula"], Cell[77992, 2374, 38, 0, 40, "Text"], Cell[78033, 2376, 311, 9, 77, "Formula"], Cell[78347, 2387, 29, 0, 40, "Text"], Cell[78379, 2389, 598, 15, 121, "Formula"] }, Open ]], Cell[78992, 2407, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[80735, 2456, 72, 2, 91, "Section"], Cell[CellGroupData[{ Cell[80832, 2462, 51, 0, 40, "Collector"], Cell[80886, 2464, 1311, 28, 315, "Formula"], Cell[82200, 2494, 63, 0, 54, "Text"], Cell[82266, 2496, 453, 8, 143, "Formula"] }, Open ]], Cell[CellGroupData[{ Cell[82756, 2509, 52, 0, 36, "Collector"], Cell[82811, 2511, 1956, 42, 313, "Formula"] }, Open ]], Cell[CellGroupData[{ Cell[84804, 2558, 45, 0, 36, "Collector"], Cell[84852, 2560, 386, 7, 106, "Formula"] }, Open ]] }, Open ]], Cell[85265, 2571, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[87008, 2620, 78, 2, 91, "Section"], Cell[87089, 2624, 30, 0, 40, "Text"], Cell[87122, 2626, 424, 8, 137, "Formula"], Cell[87549, 2636, 25, 0, 40, "Text"], Cell[87577, 2638, 335, 6, 81, "Formula"], Cell[87915, 2646, 36, 0, 40, "Text"], Cell[87954, 2648, 1030, 22, 169, "Formula"] }, Open ]], Cell[88999, 2673, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[90742, 2722, 42, 0, 91, "Section"], Cell[90787, 2724, 114, 3, 40, "Text"], Cell[90904, 2729, 734, 25, 212, "Quotation"], Cell[91641, 2756, 33, 0, 40, "Text"], Cell[91677, 2758, 376, 6, 97, "Formula"], Cell[92056, 2766, 51, 0, 40, "Text"], Cell[92110, 2768, 596, 11, 77, "Formula"] }, Open ]], Cell[92721, 2782, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[94464, 2831, 245, 8, 91, "Section"], Cell[CellGroupData[{ Cell[94734, 2843, 48, 0, 40, "Collector"], Cell[94785, 2845, 189, 3, 137, "Formula"], Cell[94977, 2850, 21, 0, 54, "Text"], Cell[95001, 2852, 200, 6, 52, "ItemizedText"], Cell[95204, 2860, 62, 0, 52, "ItemizedText"], Cell[95269, 2862, 305, 11, 52, "ItemizedText"], Cell[95577, 2875, 373, 11, 54, "ItemizedText"], Cell[95953, 2888, 173, 5, 52, "ItemizedText"] }, Open ]], Cell[CellGroupData[{ Cell[96163, 2898, 105, 3, 36, "Collector"], Cell[96271, 2903, 494, 9, 207, "Formula"], Cell[96768, 2914, 24, 0, 54, "Text"], Cell[96795, 2916, 506, 12, 163, "Formula"], Cell[97304, 2930, 25, 0, 54, "Text"], Cell[97332, 2932, 181, 4, 137, "Formula"] }, Open ]], Cell[CellGroupData[{ Cell[97550, 2941, 55, 0, 36, "Collector"], Cell[97608, 2943, 537, 19, 145, "Quotation"] }, Open ]] }, Open ]], Cell[98172, 2966, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[99915, 3015, 267, 9, 91, "Section"], Cell[CellGroupData[{ Cell[100207, 3028, 46, 0, 40, "Collector"], Cell[100256, 3030, 251, 4, 182, "Formula"], Cell[100510, 3036, 261, 8, 54, "Text"], Cell[100774, 3046, 197, 4, 138, "Formula"], Cell[100974, 3052, 21, 0, 54, "Text"], Cell[100998, 3054, 55, 0, 52, "ItemizedText"], Cell[101056, 3056, 261, 7, 52, "ItemizedText"], Cell[101320, 3065, 176, 6, 52, "ItemizedText"], Cell[101499, 3073, 248, 11, 52, "ItemizedText"] }, Open ]], Cell[CellGroupData[{ Cell[101784, 3089, 51, 0, 36, "Collector"], Cell[101838, 3091, 1021, 20, 212, "Formula"], Cell[102862, 3113, 215, 5, 105, "Formula"] }, Open ]] }, Open ]], Cell[103104, 3122, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[104847, 3171, 55, 0, 91, "Section"], Cell[CellGroupData[{ Cell[104927, 3175, 136, 3, 40, "Collector"], Cell[105066, 3180, 1341, 43, 301, "Quotation"], Cell[106410, 3225, 243, 7, 72, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[106690, 3237, 142, 5, 36, "Collector"], Cell[106835, 3244, 313, 10, 56, "ItemizedText"], Cell[107151, 3256, 263, 8, 52, "ItemizedText"], Cell[107417, 3266, 246, 8, 52, "ItemizedText"], Cell[107666, 3276, 162, 2, 72, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[107865, 3283, 34, 0, 36, "Collector"], Cell[107902, 3285, 627, 24, 186, "Quotation"], Cell[108532, 3311, 212, 8, 54, "Text"], Cell[108747, 3321, 163, 5, 52, "ItemizedText"], Cell[108913, 3328, 258, 9, 52, "ItemizedText"] }, Open ]] }, Open ]], Cell[109198, 3341, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[110941, 3390, 58, 0, 91, "Section"], Cell[CellGroupData[{ Cell[111024, 3394, 42, 0, 40, "Collector"], Cell[111069, 3396, 578, 19, 145, "Quotation"] }, Open ]], Cell[CellGroupData[{ Cell[111684, 3420, 36, 0, 36, "Collector"], Cell[111723, 3422, 657, 22, 145, "Quotation"] }, Open ]], Cell[CellGroupData[{ Cell[112417, 3449, 35, 0, 36, "Collector"], Cell[112455, 3451, 633, 20, 145, "Quotation"], Cell[113091, 3473, 43, 0, 54, "Text"], Cell[113137, 3475, 365, 12, 52, "ItemizedText"], Cell[113505, 3489, 257, 8, 52, "ItemizedText"] }, Open ]] }, Open ]], Cell[113789, 3501, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[115532, 3550, 47, 0, 91, "Section"], Cell[115582, 3552, 229, 9, 40, "Text"], Cell[115814, 3563, 1073, 23, 201, "Formula"], Cell[CellGroupData[{ Cell[116912, 3590, 72, 2, 40, "Collector"], Cell[116987, 3594, 926, 20, 219, "Formula"], Cell[117916, 3616, 207, 7, 40, "Text"] }, Open ]] }, Open ]], Cell[118150, 3627, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[119893, 3676, 246, 8, 91, "Section"], Cell[CellGroupData[{ Cell[120164, 3688, 46, 0, 40, "Collector"], Cell[120213, 3690, 800, 17, 171, "Formula"] }, Open ]], Cell[CellGroupData[{ Cell[121050, 3712, 73, 2, 40, "Collector"], Cell[121126, 3716, 411, 9, 121, "Formula"] }, Open ]], Cell[CellGroupData[{ Cell[121574, 3730, 29, 0, 40, "Collector"], Cell[121606, 3732, 720, 16, 109, "Formula"], Cell[122329, 3750, 25, 0, 40, "Text"], Cell[122357, 3752, 232, 5, 95, "Formula"] }, Open ]] }, Open ]], Cell[122616, 3761, 1718, 45, 30, "SlideShowNavigationBar", CellTags->"SlideShowHeader"], Cell[CellGroupData[{ Cell[124359, 3810, 29, 0, 91, "Section"], Cell[124391, 3812, 90, 3, 40, "Text"], Cell[124484, 3817, 109, 5, 40, "ItemizedText"], Cell[124596, 3824, 132, 5, 40, "ItemizedText"], Cell[124731, 3831, 44, 0, 40, "Text"], Cell[124778, 3833, 131, 4, 40, "ItemizedText"], Cell[124912, 3839, 348, 13, 40, "ItemizedText"], Cell[125263, 3854, 183, 6, 40, "Text"], Cell[125449, 3862, 141, 4, 64, "Quotation"] }, Open ]] } ] *) (******************************************************************* End of Mathematica Notebook file. *******************************************************************)