(*********************************************************************** Mathematica-Compatible Notebook This notebook can be used on any computer system with Mathematica 3.0, MathReader 3.0, or any compatible application. The data for the notebook starts with the line of 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[ 225240, 6512]*) (*NotebookOutlinePosition[ 244703, 7060]*) (* CellTagsIndexPosition[ 244343, 7045]*) (*WindowFrame->Normal*) Notebook[{ Cell["\[Copyright] Copyright Notice", "Section", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, AspectRatioFixed->True, CellTags->"Copyright"], Cell[TextData[{ "Copyright \[Copyright] by \.86nal G\.9aktas and Willy Hereman (Department \ of Mathematical and Computer Sciences, Colorado School of Mines, Golden, \ Colorado, USA). No part of the ", StyleBox["Integrability ", FontSlant->"Italic"], "package can be sold or reproduced without written consent of the authors. \ ", ButtonBox["Wolfram Research", ButtonData:>{ URL[ "http://www.wolfram.com"], None}, ButtonStyle->"Hyperlink"], ", Inc. (Champaign, Illinois, USA) is the holder of the copyright to the ", StyleBox["Mathematica", FontSlant->"Italic"], " software system." }], "Text", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->1, AspectRatioFixed->True, CellTags->"Copyright"], Cell[TextData[{ "About the Package: ", StyleBox["Integrability", FontFamily->"Helvetica", FontSlant->"Italic"] }], "Section", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->0, AspectRatioFixed->True, CellTags->"Introduction"], Cell[TextData[{ "Nonlinear partial differential equations (PDEs) and differential \ difference equations (DDEs) possess a number of remarkable properties \ reflecting their rich mathematical structure. Such properties include the \ Painlev\.8e property, nontrivial prolongation and bi-Hamiltonian structures, \ soliton solutions, Lax pairs, B\.8acklund transformations, symmetries and \ invariants. They reveal the adequacy of PDEs and DDEs as models for physical \ relevant phenomena. The search for these intrinsic properties becomes more \ attractive due to the availability of CAS such as ", StyleBox["Mathematica.", FontSlant->"Italic"], " Indeed, ", StyleBox["Mathematica", FontSlant->"Italic"], " is well suited and often necessary tool to perform the computations \ inherent in the investigation of integrability." }], "Text", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->0, AspectRatioFixed->True, CellTags->"Introduction"], Cell[TextData[{ StyleBox["Integrability ", FontSlant->"Italic"], "is a collection of ", StyleBox["Mathematica", FontSlant->"Italic"], " functions addressing computations of invariants and symmetries in \ analyzing nonlinear PDEs and DDEs. The main topics covered in the ", StyleBox["Integrability", FontSlant->"Italic"], " package are as follows:\n\[FilledVerySmallSquare] Computations of \ invariants for systems of nonlinear PDEs and DDEs,\n\[FilledVerySmallSquare] \ Computations of symmetries for systems of nonlinear PDEs and DDEs." }], "Text", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->0, AspectRatioFixed->True, CellTags->"Introduction"], Cell[TextData[{ "A complete set of mathematical definitions and the concepts used in the \ package and this manual are beyond the scope of this document. For the formal \ definitions of the concepts and the theory behind the functions in the ", StyleBox["Integrability", FontSlant->"Italic"], " package, consult the references given in the References section. In this \ manual, a basic knowledge of ", StyleBox["Mathematica", FontSlant->"Italic"], " is assumed. For further information on ", StyleBox["Mathematica", FontSlant->"Italic"], ", consult the standard ", StyleBox["Mathematica", FontSlant->"Italic"], " reference: ", StyleBox["The Mathematica Book", FontSlant->"Italic"], ", Stephen Wolfram, Third Edition, Wolfram Media and Cambridge University \ Press, 1996." }], "Text", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->0, AspectRatioFixed->True, CellTags->"Introduction"], Cell["Organization of the Package and Functionality", "Section", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, AspectRatioFixed->True, CellTags->"Organization"], Cell[TextData[{ "The package ", StyleBox["Integrability", FontSlant->"Italic"], " consists of the following M", StyleBox["athematica", FontSlant->"Italic"], " packages. " }], "Text", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->1, AspectRatioFixed->True, CellTags->"Organization"], Cell[TextData[{ StyleBox["InvariantsSymmetries.m", "cb", FontWeight->"Bold"], StyleBox[" ", FontWeight->"Bold"], "\t Computations of invariants and symmetries of PDEs and DDEs\n", StyleBox["init.m\t ", FontWeight->"Bold"], "Function declarations" }], "Text", CellFrame->True, CellMargins->{{10.75, 24.125}, {0, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->1, AspectRatioFixed->True, FontSlant->"Plain", FontTracking->"Plain", FontVariations->{"Underline"->False, "Outline"->False, "Shadow"->False}, CellTags->"Organization"], Cell[TextData[{ StyleBox["Packages and file names in ", FontFamily->"Helvetica", FontSize->9], StyleBox["Integrability", FontFamily->"Helvetica", FontSize->9, FontSlant->"Italic"] }], "Text", CellMargins->{{10.75, 24.125}, {10, 0}}, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, FrameBoxOptions->{BoxMargins->{{0.4, 0.4}, {0, 0}}}, CellTags->"Organization"], Cell[TextData[{ StyleBox["PDEInvariants[", FontWeight->"Bold"], StyleBox["eqn, u, {x, t}, R, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["]", FontWeight->"Bold"], " finds the invariant with rank R of a partial differential equation for \ the function u.\n", StyleBox["PDEInvariants[", FontWeight->"Bold"], StyleBox["{eqn1, eqn2, ...}, {u1, u2, ...}, {x, t}, R, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["] ", FontWeight->"Bold"], "finds the invariant of a system of partial differential equations.\n", StyleBox["PDEInvariants[", FontWeight->"Bold"], StyleBox["{eqn1, eqn2, ...}, {u1, u2, ...}, {x, t}, {Rmax}, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["] ", FontWeight->"Bold"], "finds the invariants with rank 0 through Rmax.\n", StyleBox["PDEInvariants[", FontWeight->"Bold"], StyleBox["{eqn1, eqn2, ...}, {u1, u2, ...}, {x, t}, {Rmin, Rmax}, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["]", FontWeight->"Bold"], " finds the invariants with rank Rmin through Rmax.\n", StyleBox["PDESymmetries[", FontWeight->"Bold"], StyleBox["eqn, u, {x, t}, R, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["]", FontWeight->"Bold"], " finds the symmetry with rank R of a partial differential equation for the \ function u.\n", StyleBox["PDESymmetries[", FontWeight->"Bold"], StyleBox["{eqn1, eqn2, ...}, {u1, u2, ...}, {x, t}, R, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["]", FontWeight->"Bold"], " finds the symmetry of a system of partial differential equations, where R \ is the rank of the first equation in the desired symmetry.\n", StyleBox["PDESymmetries[", FontWeight->"Bold"], StyleBox["{eqn1, eqn2, ...}, {u1, u2, ...}, {x, t}, {Rmax}, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["]", FontWeight->"Bold"], " finds the symmetries with rank 0 through Rmax.\n", StyleBox["PDESymmetries[", FontWeight->"Bold"], StyleBox["{eqn1, eqn2, ...}, {u1, u2, ...}, {x, t}, {Rmin, Rmax}, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["]", FontWeight->"Bold"], " finds the symmetries with rank Rmin through Rmax.\nx is understood as the \ space variable and t as the time variable." }], "Text", CellFrame->True, CellMargins->{{10.75, 24.125}, {0, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->1, AspectRatioFixed->True, FontSlant->"Plain", FontTracking->"Plain", FontVariations->{"Underline"->False, "Outline"->False, "Shadow"->False}, CellTags->"Organization"], Cell[TextData[{ StyleBox["Functions for the analysis of PDEs in ", FontFamily->"Helvetica", FontSize->9], StyleBox["Integrability", FontFamily->"Helvetica", FontSize->9, FontSlant->"Italic"] }], "Text", CellMargins->{{10.75, 24.125}, {10, 0}}, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, FrameBoxOptions->{BoxMargins->{{0.4, 0.4}, {0, 0}}}, CellTags->"Organization"], Cell[TextData[{ StyleBox["DDEInvariants[", FontWeight->"Bold"], StyleBox["eqn, u, {n, t}, R, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["]", FontWeight->"Bold"], " finds the invariant with rank R of a differential difference equation for \ the function u.\n", StyleBox["DDEInvariants[", FontWeight->"Bold"], StyleBox["{eqn1, eqn2, ...}, {u1, u2, ...}, {n, t}, R, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["]", FontWeight->"Bold"], " finds the invariant of a system of differential difference equations. \n", StyleBox["DDEInvariants[", FontWeight->"Bold"], StyleBox["{eqn1, eqn2, ...}, {u1, u2, ...}, {n, t}, {Rmax}, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["]", FontWeight->"Bold"], " finds the invariants with rank 0 through Rmax. \n", StyleBox["DDEInvariants[", FontWeight->"Bold"], StyleBox["{eqn1, eqn2, ...}, {u1, u2, ...}, {n, t}, {Rmin, Rmax}, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["]", FontWeight->"Bold"], " finds the invariants with rank Rmin through Rmax. \n", StyleBox["DDESymmetries[", FontWeight->"Bold"], StyleBox["eqn, u, {n, t}, R, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["]", FontWeight->"Bold"], " finds the symmetry with rank R of a differential difference equation for \ the function u.\n", StyleBox["DDESymmetries[", FontWeight->"Bold"], StyleBox["{eqn1, eqn2, ...}, {u1, u2, ...}, {n, t}, R, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["]", FontWeight->"Bold"], " finds the symmetry of a system of differential difference equations, \ where R is the rank of the first equation in the desired symmetry.\n", StyleBox["DDESymmetries[", FontWeight->"Bold"], StyleBox["{eqn1, eqn2, ...}, {u1, u2, ...}, {n, t}, {Rmax}, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["]", FontWeight->"Bold"], " finds the symmetries with rank 0 through Rmax.\n", StyleBox["DDESymmetries[", FontWeight->"Bold"], StyleBox["{eqn1, eqn2, ...}, {u1, u2, ...}, {n, t}, {Rmin, Rmax}, opts", FontWeight->"Bold", FontSlant->"Italic"], StyleBox["]", FontWeight->"Bold"], " finds the symmetries with rank Rmin through Rmax.\nn is understood as the \ discrete space variable and t as the time variable." }], "Text", CellFrame->True, CellMargins->{{10.75, 24.125}, {0, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->1, AspectRatioFixed->True, FontSlant->"Plain", FontTracking->"Plain", FontVariations->{"Underline"->False, "Outline"->False, "Shadow"->False}, CellTags->"Organization"], Cell[TextData[{ StyleBox["Functions for the analysis of DDEs in ", FontFamily->"Helvetica", FontSize->9], StyleBox["Integrability", FontFamily->"Helvetica", FontSize->9, FontSlant->"Italic"] }], "Text", CellMargins->{{10.75, 24.125}, {10, 0}}, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, FrameBoxOptions->{BoxMargins->{{0.4, 0.4}, {0, 0}}}, CellTags->"Organization"], Cell[TextData[{ StyleBox["Options[PDEInvariants]", FontWeight->"Bold"], " = ", StyleBox["Options[DDEInvariants]", FontWeight->"Bold"], " = ", StyleBox["Options[PDESymmetries]", FontWeight->"Bold"], " = ", StyleBox["Options[DDESymmetries]", FontWeight->"Bold"], " = {WeightRules->{},WeightedParameters -> {}, \ MaxExplicitDependency -> 0, UndeterminedCoefficients -> C}\t\n", StyleBox["WeightRules", FontWeight->"Bold"], " is an option that determines the rules for weights of the variables. If \ WeightRules ->{Weight[u] -> val, ...}, then scaling properties are determined \ under these rules. There is a built in checking mechanism to see if the given \ rules cause inconsistency.\:f3b5\n", StyleBox["WeightedParameters", FontWeight->"Bold"], " is an option that determines the parameters with weight. If \ WeightedParameters -> {p1, p2, ...}, then p1, p2,.... are considered as \ constant parameters with weight. The default is WeightedParameters -> {}.\n", StyleBox["MaxExplicitDependency", FontWeight->"Bold"], " is an option in finding the invariant and generalized symmetries of PDEs \ and DDEs. If MaxExplicitDependency-> Max_Integer, then program allows \ explicit dependency of independent variables of maximum degree of Max. The \ default is MaxExplicitDependency -> 0.\n", StyleBox["UndeterminedCoefficients", FontWeight->"Bold"], " is an option that determines the name of the constant coefficients to \ use. The default is UndeterminedCoefficients ->C.\:f3b5" }], "Text", CellFrame->True, CellMargins->{{10.75, 24.125}, {0, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->1, AspectRatioFixed->True, FontSlant->"Plain", FontTracking->"Plain", FontVariations->{"Underline"->False, "Outline"->False, "Shadow"->False}, CellTags->"Organization"], Cell[TextData[{ StyleBox["Options of functions in ", FontFamily->"Helvetica", FontSize->9], StyleBox["Integrability", FontFamily->"Helvetica", FontSize->9, FontSlant->"Italic"] }], "Text", CellMargins->{{10.75, 24.125}, {10, 0}}, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, FrameBoxOptions->{BoxMargins->{{0.4, 0.4}, {0, 0}}}, CellTags->"Organization"], Cell["Loading the Package", "Section", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, AspectRatioFixed->True, CellTags->"Loading"], Cell[TextData[{ "To access all of the functions in ", StyleBox["Integrability", FontSlant->"Italic"], ", all you need to do is to load the file ", StyleBox["Integrability`init.m`", FontWeight->"Bold"], " by typing the following line in a ", StyleBox["Mathematica", FontSlant->"Italic"], " 3.0 notebook:" }], "Text", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->1, AspectRatioFixed->True, CellTags->"Loading"], Cell["<{{10.75, 24.125}, {Inherited, Inherited}}, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, AspectRatioFixed->True, CellTags->"Loading"], Cell["\<\ or simply, click at the following button \"Load Integrability\" in \ the help browser entry for the package. Note that this button can be \ copy-and-pasted in a notebook without losing its function.\ \>", "Text", CellTags->"Loading"], Cell[BoxData[ RowBox[{" ", TagBox[ ButtonBox[\(Load\ Integrability\), ButtonFunction:>CompoundExpression[ Get[ "Integrability`"]], ButtonEvaluator->Automatic, Active->True], DisplayForm]}]], "Input", CellTags->"Loading"], Cell[TextData[{ "Once ", StyleBox["Integrability`init.m`", FontWeight->"Bold"], " is loaded, the package will be automatically loaded when a function in \ the package is called from the ", StyleBox["Mathematica", FontSlant->"Italic"], " environment. So, in addition to the execution time of a function, some \ delay will occur when a package is first loaded." }], "Text", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->1, AspectRatioFixed->True, CellTags->"Loading"], Cell[TextData[{ "If the directory in which the package is located is not on the ", StyleBox["Mathematica", FontSlant->"Italic"], " ", StyleBox["$Path", FontWeight->"Bold"], ", a warning message will be generated. To solve this problem, the \ directory containing the package should be included on the path ", StyleBox["$Path", FontWeight->"Bold"], ". The following ", StyleBox["Mathematica", FontSlant->"Italic"], " command puts the directory ", StyleBox["dir", FontSlant->"Italic"], " on your path." }], "Text", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->1, AspectRatioFixed->True, CellTags->"Loading"], Cell["AppendTo[$Path,\"dir\"]", "Input", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, AspectRatioFixed->True, CellTags->"Loading"], Cell[TextData[{ "It is customary to place the packages in a subdirectory called \ Applications (APPS under MS-DOS or Microsoft Windows), found under the ", StyleBox["Mathematica", FontSlant->"Italic"], " root directory. In ", StyleBox["Mathematica", FontSlant->"Italic"], " 3.0, the canonical location for applications packages is the directory \ AddOns/Applications. Since the path to this directory is included in ", StyleBox["$Path", FontWeight->"Bold"], ", the user need not to set a path for the packages placed in \ AddOns/Applications." }], "Text", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->1, AspectRatioFixed->True, CellTags->"Loading"], Cell[TextData[ButtonBox["Palettes", ButtonData:>{"IntegrabilityPalettes.nb", None}, ButtonStyle->"Hyperlink", ButtonNote->None]], "Section", CellTags->"Palettes"], Cell[TextData[{ "Use the above hyperlink to get the designed palettes for the ", StyleBox["Integrability", FontSlant->"Italic"], " package." }], "Text", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->1, AspectRatioFixed->True, CellTags->"Palettes"], Cell["Examples", "Section", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->1, AspectRatioFixed->True, CellTags->"Examples"], Cell["\<\ If you haven't allready loaded the package, load it now by clicking \ at the following button.\ \>", "Text", CellMargins->{{10.75, 24.125}, {Inherited, Inherited}}, Evaluatable->False, CellLabelMargins->{{11.5625, Inherited}, {Inherited, Inherited}}, TextAlignment->Left, TextJustification->1, AspectRatioFixed->True, CellTags->"Examples"], Cell[BoxData[ RowBox[{" ", TagBox[ ButtonBox[\(Load\ Integrability\), ButtonFunction:>CompoundExpression[ Get[ "Integrability`"]], ButtonEvaluator->Automatic, Active->True], DisplayForm]}]], "Input", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell["Korteweg-de Vries (KdV) Equation", "Subsection", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ \(\(pde := \[PartialD]\_t u[x, t] + u[x, t]\ \[PartialD]\_x u[x, t] + \[PartialD]\_{x, 3}u[x, t] == 0; \)\)], "Input", CellLabel->"In[2]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[CellGroupData[{ Cell[BoxData[ \(TableForm[PDEInvariants[pde, u, {x, t}, {1, 16}], TableHeadings -> {None, {"\", "\"}}]\)], "Input", CellLabel->"In[2]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(t)\\) \\\\[Rule] \\(-3\\)\\), \\(\\(Weight(u)\\) \\\\[Rule] \ 2\\), \\(\\(Weight(x)\\) \\\\[Rule] \\(-1\\)\\)}\\)\\) .\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(General::"stop"\), \( : \ \), "\<\"Further output of \\!\\(TraditionalForm\\`\\(Solve :: \ \\\"svars\\\"\\)\\) will be suppressed during this calculation.\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ InterpretationBox[GridBox[{ { FormBox["\<\"Rank\"\>", "TraditionalForm"], FormBox["\<\"Invariant\"\>", "TraditionalForm"]}, {"1", "0"}, {"2", RowBox[{ SubscriptBox[ TagBox["c", C], "1"], " ", \(u(x, t)\)}]}, {"3", "0"}, {"4", RowBox[{ SubscriptBox[ TagBox["c", C], "1"], " ", \(\(u(x, t)\)\^2\)}]}, {"5", "0"}, {"6", RowBox[{ RowBox[{ SubscriptBox[ TagBox["c", C], "2"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}], "-", RowBox[{\(1\/3\), " ", SubscriptBox[ TagBox["c", C], "2"], " ", \(\(u(x, t)\)\^3\)}]}]}, {"7", "0"}, {"8", RowBox[{ RowBox[{\(5\/36\), " ", SubscriptBox[ TagBox["c", C], "3"], " ", \(\(u(x, t)\)\^4\)}], "-", RowBox[{\(5\/3\), " ", SubscriptBox[ TagBox["c", C], "3"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(u(x, t)\)}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "3"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}]}]}, {"9", "0"}, {"10", RowBox[{ RowBox[{\(-\(7\/108\)\), " ", SubscriptBox[ TagBox["c", C], "4"], " ", \(\(u(x, t)\)\^5\)}], "+", RowBox[{\(35\/18\), " ", SubscriptBox[ TagBox["c", C], "4"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(\(u(x, t)\)\^2\)}], "-", RowBox[{\(7\/3\), " ", SubscriptBox[ TagBox["c", C], "4"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(u(x, t)\)}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "4"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}]}]}, {"11", "0"}, {"12", RowBox[{ RowBox[{\(7\/216\), " ", SubscriptBox[ TagBox["c", C], "7"], " ", \(\(u(x, t)\)\^6\)}], "-", RowBox[{\(35\/18\), " ", SubscriptBox[ TagBox["c", C], "7"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(\(u(x, t)\)\^3\)}], "+", RowBox[{\(7\/2\), " ", SubscriptBox[ TagBox["c", C], "7"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(\(u(x, t)\)\^2\)}], "-", RowBox[{"3", " ", SubscriptBox[ TagBox["c", C], "7"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(u(x, t)\)}], "-", RowBox[{\(35\/36\), " ", SubscriptBox[ TagBox["c", C], "7"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "4"]}], "+", RowBox[{\(10\/3\), " ", SubscriptBox[ TagBox["c", C], "7"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "3"]}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "7"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((4, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}]}]}, {"13", "0"}, {"14", RowBox[{ RowBox[{\(-\(11\/648\)\), " ", SubscriptBox[ TagBox["c", C], "10"], " ", \(\(u(x, t)\)\^7\)}], "+", RowBox[{\(385\/216\), " ", SubscriptBox[ TagBox["c", C], "10"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(\(u(x, t)\)\^4\)}], "-", RowBox[{\(77\/18\), " ", SubscriptBox[ TagBox["c", C], "10"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(\(u(x, t)\)\^3\)}], "+", RowBox[{\(11\/2\), " ", SubscriptBox[ TagBox["c", C], "10"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(\(u(x, t)\)\^2\)}], "+", RowBox[{\(385\/108\), " ", SubscriptBox[ TagBox["c", C], "10"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "4"], " ", \(u(x, t)\)}], "-", RowBox[{\(110\/9\), " ", SubscriptBox[ TagBox["c", C], "10"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "3"], " ", \(u(x, t)\)}], "-", RowBox[{\(11\/3\), " ", SubscriptBox[ TagBox["c", C], "10"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((4, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(u(x, t)\)}], "-", RowBox[{\(77\/6\), " ", SubscriptBox[ TagBox["c", C], "10"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}], "+", RowBox[{\(55\/3\), " ", SubscriptBox[ TagBox["c", C], "10"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "10"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((5, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}]}]}, {"15", "0"}, {"16", RowBox[{ FractionBox[ RowBox[{"143", " ", SubscriptBox[ TagBox["c", C], "14"], " ", \(\(u(x, t)\)\^8\)}], "15552"], "-", RowBox[{\(1001\/648\), " ", SubscriptBox[ TagBox["c", C], "14"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(\(u(x, t)\)\^5\)}], "+", RowBox[{\(1001\/216\), " ", SubscriptBox[ TagBox["c", C], "14"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(\(u(x, t)\)\^4\)}], "-", RowBox[{\(143\/18\), " ", SubscriptBox[ TagBox["c", C], "14"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(\(u(x, t)\)\^3\)}], "-", RowBox[{\(5005\/648\), " ", SubscriptBox[ TagBox["c", C], "14"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "4"], " ", \(\(u(x, t)\)\^2\)}], "+", RowBox[{\(715\/27\), " ", SubscriptBox[ TagBox["c", C], "14"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "3"], " ", \(\(u(x, t)\)\^2\)}], "+", RowBox[{\(143\/18\), " ", SubscriptBox[ TagBox["c", C], "14"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((4, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(\(u(x, t)\)\^2\)}], "+", RowBox[{\(1001\/18\), " ", SubscriptBox[ TagBox["c", C], "14"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(u(x, t)\)}], "-", RowBox[{\(715\/9\), " ", SubscriptBox[ TagBox["c", C], "14"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(u(x, t)\)}], "-", RowBox[{\(13\/3\), " ", SubscriptBox[ TagBox["c", C], "14"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((5, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(u(x, t)\)}], "+", RowBox[{\(1001\/36\), " ", SubscriptBox[ TagBox["c", C], "14"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "4"]}], "-", RowBox[{\(143\/6\), " ", SubscriptBox[ TagBox["c", C], "14"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}], "+", RowBox[{\(91\/3\), " ", SubscriptBox[ TagBox["c", C], "14"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((4, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "14"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((6, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}]}]} }, RowSpacings->1, ColumnSpacings->3, RowAlignments->Baseline, ColumnAlignments->{Center}], TableForm[ {{{1}, {{0}}}, {{2}, {{ Times[ C[ 1], u[ x, t]]}}}, {{3}, {{0}}}, {{4}, {{ Times[ C[ 1], Power[ u[ x, t], 2]]}}}, {{5}, {{0}}}, {{6}, {{ Plus[ Times[ Rational[ -1, 3], C[ 2], Power[ u[ x, t], 3]], Times[ C[ 2], Power[ Derivative[ 1, 0][ u][ x, t], 2]]]}}}, {{7}, {{0}}}, {{8}, {{ Plus[ Times[ Rational[ 5, 36], C[ 3], Power[ u[ x, t], 4]], Times[ Rational[ -5, 3], C[ 3], u[ x, t], Power[ Derivative[ 1, 0][ u][ x, t], 2]], Times[ C[ 3], Power[ Derivative[ 2, 0][ u][ x, t], 2]]]}}}, {{9}, {{0}}}, {{ 10}, {{ Plus[ Times[ Rational[ -7, 108], C[ 4], Power[ u[ x, t], 5]], Times[ Rational[ 35, 18], C[ 4], Power[ u[ x, t], 2], Power[ Derivative[ 1, 0][ u][ x, t], 2]], Times[ Rational[ -7, 3], C[ 4], u[ x, t], Power[ Derivative[ 2, 0][ u][ x, t], 2]], Times[ C[ 4], Power[ Derivative[ 3, 0][ u][ x, t], 2]]]}}}, {{11}, {{0}}}, {{ 12}, {{ Plus[ Times[ Rational[ 7, 216], C[ 7], Power[ u[ x, t], 6]], Times[ Rational[ -35, 18], C[ 7], Power[ u[ x, t], 3], Power[ Derivative[ 1, 0][ u][ x, t], 2]], Times[ Rational[ -35, 36], C[ 7], Power[ Derivative[ 1, 0][ u][ x, t], 4]], Times[ Rational[ 7, 2], C[ 7], Power[ u[ x, t], 2], Power[ Derivative[ 2, 0][ u][ x, t], 2]], Times[ Rational[ 10, 3], C[ 7], Power[ Derivative[ 2, 0][ u][ x, t], 3]], Times[ -3, C[ 7], u[ x, t], Power[ Derivative[ 3, 0][ u][ x, t], 2]], Times[ C[ 7], Power[ Derivative[ 4, 0][ u][ x, t], 2]]]}}}, {{13}, {{0}}}, {{ 14}, {{ Plus[ Times[ Rational[ -11, 648], C[ 10], Power[ u[ x, t], 7]], Times[ Rational[ 385, 216], C[ 10], Power[ u[ x, t], 4], Power[ Derivative[ 1, 0][ u][ x, t], 2]], Times[ Rational[ 385, 108], C[ 10], u[ x, t], Power[ Derivative[ 1, 0][ u][ x, t], 4]], Times[ Rational[ -77, 18], C[ 10], Power[ u[ x, t], 3], Power[ Derivative[ 2, 0][ u][ x, t], 2]], Times[ Rational[ -77, 6], C[ 10], Power[ Derivative[ 1, 0][ u][ x, t], 2], Power[ Derivative[ 2, 0][ u][ x, t], 2]], Times[ Rational[ -110, 9], C[ 10], u[ x, t], Power[ Derivative[ 2, 0][ u][ x, t], 3]], Times[ Rational[ 11, 2], C[ 10], Power[ u[ x, t], 2], Power[ Derivative[ 3, 0][ u][ x, t], 2]], Times[ Rational[ 55, 3], C[ 10], Derivative[ 2, 0][ u][ x, t], Power[ Derivative[ 3, 0][ u][ x, t], 2]], Times[ Rational[ -11, 3], C[ 10], u[ x, t], Power[ Derivative[ 4, 0][ u][ x, t], 2]], Times[ C[ 10], Power[ Derivative[ 5, 0][ u][ x, t], 2]]]}}}, {{15}, {{0}}}, {{ 16}, {{ Plus[ Times[ Rational[ 143, 15552], C[ 14], Power[ u[ x, t], 8]], Times[ Rational[ -1001, 648], C[ 14], Power[ u[ x, t], 5], Power[ Derivative[ 1, 0][ u][ x, t], 2]], Times[ Rational[ -5005, 648], C[ 14], Power[ u[ x, t], 2], Power[ Derivative[ 1, 0][ u][ x, t], 4]], Times[ Rational[ 1001, 216], C[ 14], Power[ u[ x, t], 4], Power[ Derivative[ 2, 0][ u][ x, t], 2]], Times[ Rational[ 1001, 18], C[ 14], u[ x, t], Power[ Derivative[ 1, 0][ u][ x, t], 2], Power[ Derivative[ 2, 0][ u][ x, t], 2]], Times[ Rational[ 715, 27], C[ 14], Power[ u[ x, t], 2], Power[ Derivative[ 2, 0][ u][ x, t], 3]], Times[ Rational[ 1001, 36], C[ 14], Power[ Derivative[ 2, 0][ u][ x, t], 4]], Times[ Rational[ -143, 18], C[ 14], Power[ u[ x, t], 3], Power[ Derivative[ 3, 0][ u][ x, t], 2]], Times[ Rational[ -143, 6], C[ 14], Power[ Derivative[ 1, 0][ u][ x, t], 2], Power[ Derivative[ 3, 0][ u][ x, t], 2]], Times[ Rational[ -715, 9], C[ 14], u[ x, t], Derivative[ 2, 0][ u][ x, t], Power[ Derivative[ 3, 0][ u][ x, t], 2]], Times[ Rational[ 143, 18], C[ 14], Power[ u[ x, t], 2], Power[ Derivative[ 4, 0][ u][ x, t], 2]], Times[ Rational[ 91, 3], C[ 14], Derivative[ 2, 0][ u][ x, t], Power[ Derivative[ 4, 0][ u][ x, t], 2]], Times[ Rational[ -13, 3], C[ 14], u[ x, t], Power[ Derivative[ 5, 0][ u][ x, t], 2]], Times[ C[ 14], Power[ Derivative[ 6, 0][ u][ x, t], 2]]]}}}}, TableHeadings -> { None, {"Rank", "Invariant"}}]], TraditionalForm]], "Output", CellLabel->"Out[2]//TableForm=", CellTags->"Examples"] }, Open ]], Cell[CellGroupData[{ Cell["\<\ PDEInvariants[pde,u,{x,t},1,MaxExplicitDependency->1] //TableForm\ \ \>", "Input", CellLabel->"In[3]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(t)\\) \\\\[Rule] \\(-3\\)\\), \\(\\(Weight(u)\\) \\\\[Rule] \ 2\\), \\(\\(Weight(x)\\) \\\\[Rule] \\(-1\\)\\)}\\)\\) .\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ InterpretationBox[GridBox[{ {"1", RowBox[{ RowBox[{"t", " ", SubscriptBox[ TagBox["c", C], "2"], " ", \(\(u(x, t)\)\^2\)}], "-", RowBox[{"2", " ", "x", " ", SubscriptBox[ TagBox["c", C], "2"], " ", \(u(x, t)\)}]}]} }, RowSpacings->1, ColumnSpacings->3, RowAlignments->Baseline, ColumnAlignments->{Left}], TableForm[ {{{1}, {{ Plus[ Times[ -2, x, C[ 2], u[ x, t]], Times[ t, C[ 2], Power[ u[ x, t], 2]]]}}}}]], TraditionalForm]], "Output", CellLabel->"Out[3]//TableForm=", CellTags->"Examples"] }, Open ]], Cell[CellGroupData[{ Cell["\<\ TableForm[PDESymmetries[pde,u,{x,t},{9}],TableHeadings->{None,{\"\ Rank\",\"Symmetry\"}}]\ \>", "Input", CellLabel->"In[4]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(t)\\) \\\\[Rule] \\(-3\\)\\), \\(\\(Weight(u)\\) \\\\[Rule] \ 2\\), \\(\\(Weight(x)\\) \\\\[Rule] \\(-1\\)\\)}\\)\\) .\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(General::"stop"\), \( : \ \), "\<\"Further output of \\!\\(TraditionalForm\\`\\(Solve :: \ \\\"svars\\\"\\)\\) will be suppressed during this calculation.\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ InterpretationBox[GridBox[{ { FormBox["\<\"Rank\"\>", "TraditionalForm"], FormBox["\<\"Symmetry\"\>", "TraditionalForm"]}, {"0", "0"}, {"1", "0"}, {"2", "0"}, {"3", RowBox[{ SubscriptBox[ TagBox["c", C], "1"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}, {"4", "0"}, {"5", RowBox[{ RowBox[{ SubscriptBox[ TagBox["c", C], "2"], " ", \(u(x, t)\), " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "2"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}]}, {"6", "0"}, {"7", RowBox[{ RowBox[{\(5\/6\), " ", SubscriptBox[ TagBox["c", C], "4"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(\(u(x, t)\)\^2\)}], "+", RowBox[{\(5\/3\), " ", SubscriptBox[ TagBox["c", C], "4"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(u(x, t)\)}], "+", RowBox[{\(10\/3\), " ", SubscriptBox[ TagBox["c", C], "4"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "4"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((5, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}]}, {"8", "0"}, {"9", RowBox[{ RowBox[{\(35\/54\), " ", SubscriptBox[ TagBox["c", C], "8"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(\(u(x, t)\)\^3\)}], "+", RowBox[{\(35\/18\), " ", SubscriptBox[ TagBox["c", C], "8"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(\(u(x, t)\)\^2\)}], "+", RowBox[{\(70\/9\), " ", SubscriptBox[ TagBox["c", C], "8"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(u(x, t)\)}], "+", RowBox[{\(7\/3\), " ", SubscriptBox[ TagBox["c", C], "8"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((5, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(u(x, t)\)}], "+", RowBox[{\(35\/18\), " ", SubscriptBox[ TagBox["c", C], "8"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "3"]}], "+", RowBox[{\(35\/3\), " ", SubscriptBox[ TagBox["c", C], "8"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "+", RowBox[{"7", " ", SubscriptBox[ TagBox["c", C], "8"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", RowBox[{ SuperscriptBox["u", TagBox[\((4, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "8"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((7, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}]} }, RowSpacings->1, ColumnSpacings->3, RowAlignments->Baseline, ColumnAlignments->{Center}], TableForm[ {{{0}, {{0}}}, {{1}, {{0}}}, {{2}, {{0}}}, {{3}, {{ Times[ C[ 1], Derivative[ 1, 0][ u][ x, t]]}}}, {{4}, {{0}}}, {{5}, {{ Plus[ Times[ C[ 2], u[ x, t], Derivative[ 1, 0][ u][ x, t]], Times[ C[ 2], Derivative[ 3, 0][ u][ x, t]]]}}}, {{6}, {{0}}}, {{7}, {{ Plus[ Times[ Rational[ 5, 6], C[ 4], Power[ u[ x, t], 2], Derivative[ 1, 0][ u][ x, t]], Times[ Rational[ 10, 3], C[ 4], Derivative[ 1, 0][ u][ x, t], Derivative[ 2, 0][ u][ x, t]], Times[ Rational[ 5, 3], C[ 4], u[ x, t], Derivative[ 3, 0][ u][ x, t]], Times[ C[ 4], Derivative[ 5, 0][ u][ x, t]]]}}}, {{8}, {{0}}}, {{9}, {{ Plus[ Times[ Rational[ 35, 54], C[ 8], Power[ u[ x, t], 3], Derivative[ 1, 0][ u][ x, t]], Times[ Rational[ 35, 18], C[ 8], Power[ Derivative[ 1, 0][ u][ x, t], 3]], Times[ Rational[ 70, 9], C[ 8], u[ x, t], Derivative[ 1, 0][ u][ x, t], Derivative[ 2, 0][ u][ x, t]], Times[ Rational[ 35, 18], C[ 8], Power[ u[ x, t], 2], Derivative[ 3, 0][ u][ x, t]], Times[ Rational[ 35, 3], C[ 8], Derivative[ 2, 0][ u][ x, t], Derivative[ 3, 0][ u][ x, t]], Times[ 7, C[ 8], Derivative[ 1, 0][ u][ x, t], Derivative[ 4, 0][ u][ x, t]], Times[ Rational[ 7, 3], C[ 8], u[ x, t], Derivative[ 5, 0][ u][ x, t]], Times[ C[ 8], Derivative[ 7, 0][ u][ x, t]]]}}}}, TableHeadings -> {None, { "Rank", "Symmetry"}}]], TraditionalForm]], "Output", CellLabel->"Out[4]//TableForm=", CellTags->"Examples"] }, Open ]], Cell[CellGroupData[{ Cell["PDESymmetries[pde,u,{x, t},2,MaxExplicitDependency->1]", "Input", CellLabel->"In[5]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(t)\\) \\\\[Rule] \\(-3\\)\\), \\(\\(Weight(u)\\) \\\\[Rule] \ 2\\), \\(\\(Weight(x)\\) \\\\[Rule] \\(-1\\)\\)}\\)\\) .\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ InterpretationBox[ RowBox[{"(", GridBox[{ {\({2}\), RowBox[{"(", RowBox[{ RowBox[{\(-\(2\/3\)\), " ", SubscriptBox[ TagBox["c", C], "4"], " ", \(u(x, t)\)}], "+", RowBox[{"t", " ", SubscriptBox[ TagBox["c", C], "4"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(u(x, t)\)}], "-", RowBox[{\(1\/3\), " ", "x", " ", SubscriptBox[ TagBox["c", C], "4"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "+", RowBox[{"t", " ", SubscriptBox[ TagBox["c", C], "4"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}], ")"}]} }], ")"}], MatrixForm[ {{{2}, {{ Plus[ Times[ Rational[ -2, 3], C[ 4], u[ x, t]], Times[ Rational[ -1, 3], x, C[ 4], Derivative[ 1, 0][ u][ x, t]], Times[ t, C[ 4], u[ x, t], Derivative[ 1, 0][ u][ x, t]], Times[ t, C[ 4], Derivative[ 3, 0][ u][ x, t]]]}}}}, TableDepth -> 2]], TraditionalForm]], "Output", CellLabel->"Out[5]=", CellTags->"Examples"] }, Open ]], Cell[CellGroupData[{ Cell["PDESymmetries[pde,u,{x, t},0,MaxExplicitDependency->1]", "Input", CellLabel->"In[6]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(t)\\) \\\\[Rule] \\(-3\\)\\), \\(\\(Weight(u)\\) \\\\[Rule] \ 2\\), \\(\\(Weight(x)\\) \\\\[Rule] \\(-1\\)\\)}\\)\\) .\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ InterpretationBox[ RowBox[{"(", GridBox[{ {\({0}\), RowBox[{"(", RowBox[{ RowBox[{"t", " ", SubscriptBox[ TagBox["c", C], "2"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "-", SubscriptBox[ TagBox["c", C], "2"]}], ")"}]} }], ")"}], MatrixForm[ {{{0}, {{ Plus[ Times[ -1, C[ 2]], Times[ t, C[ 2], Derivative[ 1, 0][ u][ x, t]]]}}}}, TableDepth -> 2]], TraditionalForm]], "Output", CellLabel->"Out[6]=", CellTags->"Examples"] }, Open ]], Cell["Boussinesq Equation", "Subsection", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[{ \(\(pde1 := \[PartialD]\_t u[x, t] + \[PartialD]\_x v[x, t] == 0; \)\), \(\(pde2 := \[PartialD]\_t v[x, t] + \[PartialD]\_x u[x, t] - 3\ u[x, t]\ \[PartialD]\_x u[x, t] - \[Alpha]\ \[PartialD]\_{x, 3}u[x, t] == 0; \)\)}], "Input", CellLabel->"In[7]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[CellGroupData[{ Cell[BoxData[ \(PDEInvariants[{pde1, pde2}, {u, v}, {x, t}, {2, 6}]\)], "Input", CellLabel->"In[9]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Weight::"nonuniform1" : \ "Given system has at least one equation with terms of unequal rank, so \ that scaling properties can not be determined."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Weight::"nonuniform2" : \ "Incompatibility has been cured by assuming auxiliary parameters with \ weight."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(t)\\) \\\\[Rule] \\(-2\\)\\), \\(\\(Weight(u)\\) \\\\[Rule] \ 2\\), \\(\\(Weight(v)\\) \\\\[Rule] 3\\), \\(\\(Weight(x)\\) \\\\[Rule] \\(-1\ \\)\\)}\\)\\) .\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ InterpretationBox[ RowBox[{"(", GridBox[{ {\({2}\), RowBox[{"(", RowBox[{ SubscriptBox[ TagBox["c", C], "1"], " ", \(u(x, t)\)}], ")"}]}, {\({3}\), RowBox[{"(", RowBox[{ SubscriptBox[ TagBox["c", C], "1"], " ", \(v(x, t)\)}], ")"}]}, {\({4}\), InterpretationBox[ RowBox[{"(", GridBox[{ {\({True}\), \({u(x, t)}\)} }], ")"}], MatrixForm[ {{{True}, { u[ x, t]}}}, TableDepth -> 2]]}, {\({5}\), RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox[ TagBox["c", C], "1"], " ", \(v(x, t)\)}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "2"], " ", \(u(x, t)\), " ", \(v(x, t)\)}]}], ")"}]}, {\({6}\), InterpretationBox[ RowBox[{"(", GridBox[{ {\({True}\), RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"-", SubscriptBox[ TagBox["c", C], "4"]}], " ", \(\(u(x, t)\)\^3\)}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "4"], " ", \(\(u(x, t)\)\^2\)}], "+", \(u(x, t)\), "+", RowBox[{ SubscriptBox[ TagBox["c", C], "4"], " ", \(\(v(x, t)\)\^2\)}], "+", RowBox[{"\[Alpha]", " ", SubscriptBox[ TagBox["c", C], "4"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t \), ")"}], "2"]}]}], "}"}]} }], ")"}], MatrixForm[ {{{True}, { Plus[ u[ x, t], Times[ C[ 4], Power[ u[ x, t], 2]], Times[ -1, C[ 4], Power[ u[ x, t], 3]], Times[ C[ 4], Power[ v[ x, t], 2]], Times[ \[Alpha], C[ 4], Power[ Derivative[ 1, 0][ u][ x, t], 2]]]}}}, TableDepth -> 2]]} }], ")"}], MatrixForm[ {{{2}, {{ Times[ C[ 1], u[ x, t]]}}}, {{3}, {{ Times[ C[ 1], v[ x, t]]}}}, {{4}, {{{True}, { u[ x, t]}}}}, {{5}, {{ Plus[ Times[ C[ 1], v[ x, t]], Times[ C[ 2], u[ x, t], v[ x, t]]]}}}, {{6}, {{{True}, { Plus[ u[ x, t], Times[ C[ 4], Power[ u[ x, t], 2]], Times[ -1, C[ 4], Power[ u[ x, t], 3]], Times[ C[ 4], Power[ v[ x, t], 2]], Times[ \[Alpha], C[ 4], Power[ Derivative[ 1, 0][ u][ x, t], 2]]]}}}}}, TableDepth -> 2]], TraditionalForm]], "Output", CellLabel->"Out[9]=", CellTags->"Examples"] }, Open ]], Cell["Nonlinear Schr\.9adinger (NLS) Equation", "Subsection", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[{ \(\(pde1 := \[PartialD]\_t q[x, t] - \[PartialD]\_{x, 2}q[x, t] + 2\ q[x, t]\^2\ r[x, t] == 0; \)\), \(\(pde2 := \[PartialD]\_t r[x, t] + \[PartialD]\_{x, 2}r[x, t] - 2\ r[x, t]\^2\ q[x, t] == 0; \)\)}], "Input", CellLabel->"In[10]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[CellGroupData[{ Cell["PDEInvariants[{pde1,pde2},{q,r},{x,t},{2,5}]", "Input", CellLabel->"In[12]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(q)\\) \\\\[Rule] \\(2 - \\(Weight(r)\\)\\)\\), \ \\(\\(Weight(t)\\) \\\\[Rule] \\(-2\\)\\), \\(\\(Weight(x)\\) \\\\[Rule] \ \\(-1\\)\\)}\\)\\) .\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{"PDEInvariants", "(", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{\(2\ \(r(x, t)\)\ \(q(x, t)\)\^2\), "+", RowBox[{ SuperscriptBox["q", TagBox[\((0, 1)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "-", RowBox[{ SuperscriptBox["q", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "==", "0"}], ",", RowBox[{ RowBox[{\(\(-2\)\ \(q(x, t)\)\ \(r(x, t)\)\^2\), "+", RowBox[{ SuperscriptBox["r", TagBox[\((0, 1)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "+", RowBox[{ SuperscriptBox["r", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "==", "0"}]}], "}"}], ",", \({q, r}\), ",", \({x, t}\), ",", \({2, 5}\)}], ")"}], TraditionalForm]], "Output", CellLabel->"Out[12]=", CellTags->"Examples"] }, Open ]], Cell[CellGroupData[{ Cell["\<\ PDEInvariants[{pde1,pde2},{q,r},{x,t},{2,5},WeightRules->{Weight[q]-\ >Weight[r]}]\ \>", "Input", CellLabel->"In[13]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(q)\\) \\\\[Rule] 1\\), \\(\\(Weight(r)\\) \\\\[Rule] 1\\), \ \\(\\(Weight(t)\\) \\\\[Rule] \\(-2\\)\\), \\(\\(Weight(x)\\) \\\\[Rule] \ \\(-1\\)\\)}\\)\\) .\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(General::"stop"\), \( : \ \), "\<\"Further output of \\!\\(TraditionalForm\\`\\(Solve :: \ \\\"svars\\\"\\)\\) will be suppressed during this calculation.\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ InterpretationBox[ RowBox[{"(", GridBox[{ {\({2}\), RowBox[{"(", RowBox[{ SubscriptBox[ TagBox["c", C], "2"], " ", \(q(x, t)\), " ", \(r(x, t)\)}], ")"}]}, {\({3}\), RowBox[{"(", RowBox[{ SubscriptBox[ TagBox["c", C], "5"], " ", \(r(x, t)\), " ", RowBox[{ SuperscriptBox["q", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], ")"}]}, {\({4}\), RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox[ TagBox["c", C], "9"], " ", \(\(q(x, t)\)\^2\), " ", \(\(r(x, t)\)\^2\)}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "9"], " ", RowBox[{ SuperscriptBox["q", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", RowBox[{ SuperscriptBox["r", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}], ")"}]}, {\({5}\), RowBox[{"(", RowBox[{ RowBox[{"3", " ", SubscriptBox[ TagBox["c", C], "16"], " ", \(q(x, t)\), " ", RowBox[{ SuperscriptBox["q", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(\(r(x, t)\)\^2\)}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "16"], " ", RowBox[{ SuperscriptBox["r", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", RowBox[{ SuperscriptBox["q", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}], ")"}]} }], ")"}], MatrixForm[ {{{2}, {{ Times[ C[ 2], q[ x, t], r[ x, t]]}}}, {{3}, {{ Times[ C[ 5], r[ x, t], Derivative[ 1, 0][ q][ x, t]]}}}, {{4}, {{ Plus[ Times[ C[ 9], Power[ q[ x, t], 2], Power[ r[ x, t], 2]], Times[ C[ 9], Derivative[ 1, 0][ q][ x, t], Derivative[ 1, 0][ r][ x, t]]]}}}, {{5}, {{ Plus[ Times[ 3, C[ 16], q[ x, t], Power[ r[ x, t], 2], Derivative[ 1, 0][ q][ x, t]], Times[ C[ 16], Derivative[ 1, 0][ r][ x, t], Derivative[ 2, 0][ q][ x, t]]]}}}}, TableDepth -> 2]], TraditionalForm]], "Output", CellLabel->"Out[13]=", CellTags->"Examples"] }, Open ]], Cell["Non-dispersive Long Wave System", "Subsection", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[{ \(\(pde1 := \[PartialD]\_t u[x, t] + u[x, t]\ \[PartialD]\_x v[x, t] + v[x, t]\ \[PartialD]\_x u[x, t] == 0; \)\), \(\(pde2 := \[PartialD]\_t v[x, t] + \[PartialD]\_x u[x, t] + v[x, t]\ \[PartialD]\_x v[x, t] == 0; \)\)}], "Input", CellLabel->"In[14]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[CellGroupData[{ Cell["PDEInvariants[{pde1,pde2},{u,v},{x,t},{1,5}]", "Input", CellLabel->"In[16]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(t)\\) \\\\[Rule] \\(\\(-\\(\\(Weight(u)\\)\\/2\\)\\) - \ 1\\)\\), \\(\\(Weight(v)\\) \\\\[Rule] \\(\\\\[LeftSkeleton] 1 \ \\\\[RightSkeleton]\\)\\), \\(\\(Weight(x)\\) \\\\[Rule] \\(-1\\)\\)}\\)\\) .\ \"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{"PDEInvariants", "(", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{ SuperscriptBox["u", TagBox[\((0, 1)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "+", RowBox[{\(v(x, t)\), " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "+", RowBox[{\(u(x, t)\), " ", RowBox[{ SuperscriptBox["v", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}], "==", "0"}], ",", RowBox[{ RowBox[{ RowBox[{ SuperscriptBox["v", TagBox[\((0, 1)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "+", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "+", RowBox[{\(v(x, t)\), " ", RowBox[{ SuperscriptBox["v", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}], "==", "0"}]}], "}"}], ",", \({u, v}\), ",", \({x, t}\), ",", \({1, 5}\)}], ")"}], TraditionalForm]], "Output", CellLabel->"Out[16]=", CellTags->"Examples"] }, Open ]], Cell[CellGroupData[{ Cell["\<\ PDEInvariants[{pde1,pde2},{u,v},{x,t},{1,5},WeightRules->{Weight[u]-\ >2}]\ \>", "Input", CellLabel->"In[17]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(t)\\) \\\\[Rule] \\(-2\\)\\), \\(\\(Weight(u)\\) \\\\[Rule] \ 2\\), \\(\\(Weight(v)\\) \\\\[Rule] 1\\), \\(\\(Weight(x)\\) \\\\[Rule] \\(-1\ \\)\\)}\\)\\) .\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(General::"stop"\), \( : \ \), "\<\"Further output of \\!\\(TraditionalForm\\`\\(Solve :: \ \\\"svars\\\"\\)\\) will be suppressed during this calculation.\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ InterpretationBox[ RowBox[{"(", GridBox[{ {\({1}\), RowBox[{"(", RowBox[{ SubscriptBox[ TagBox["c", C], "1"], " ", \(v(x, t)\)}], ")"}]}, {\({2}\), RowBox[{"(", RowBox[{ SubscriptBox[ TagBox["c", C], "1"], " ", \(u(x, t)\)}], ")"}]}, {\({3}\), RowBox[{"(", RowBox[{ SubscriptBox[ TagBox["c", C], "1"], " ", \(u(x, t)\), " ", \(v(x, t)\)}], ")"}]}, {\({4}\), RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox[ TagBox["c", C], "2"], " ", \(\(u(x, t)\)\^2\)}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "2"], " ", \(\(v(x, t)\)\^2\), " ", \(u(x, t)\)}]}], ")"}]}, {\({5}\), RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox[ TagBox["c", C], "2"], " ", \(u(x, t)\), " ", \(\(v(x, t)\)\^3\)}], "+", RowBox[{"3", " ", SubscriptBox[ TagBox["c", C], "2"], " ", \(\(u(x, t)\)\^2\), " ", \(v(x, t)\)}]}], ")"}]} }], ")"}], MatrixForm[ {{{1}, {{ Times[ C[ 1], v[ x, t]]}}}, {{2}, {{ Times[ C[ 1], u[ x, t]]}}}, {{3}, {{ Times[ C[ 1], u[ x, t], v[ x, t]]}}}, {{4}, {{ Plus[ Times[ C[ 2], Power[ u[ x, t], 2]], Times[ C[ 2], u[ x, t], Power[ v[ x, t], 2]]]}}}, {{5}, {{ Plus[ Times[ 3, C[ 2], Power[ u[ x, t], 2], v[ x, t]], Times[ C[ 2], u[ x, t], Power[ v[ x, t], 3]]]}}}}, TableDepth -> 2]], TraditionalForm]], "Output", CellLabel->"Out[17]=", CellTags->"Examples"] }, Open ]], Cell["Ibragimov-Shabat System", "Subsection", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[{ \(\(pde1 := \[PartialD]\_t u[x, t] - \[PartialD]\_{x, 2}u[x, t] - 1\/2\ v[x, t]\^2 == 0; \)\), \(\(pde2 := \[PartialD]\_t v[x, t] - 2\ \[PartialD]\_{x, 2}v[x, t] == 0; \)\)}], "Input", CellLabel->"In[18]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[CellGroupData[{ Cell["PDEInvariants[{pde1,pde2},{u,v},{x,t},{6}]", "Input", CellLabel->"In[20]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(t)\\) \\\\[Rule] \\(-2\\)\\), \\(\\(Weight(u)\\) \\\\[Rule] \ \\(\\(2\\\\ \\(Weight(v)\\)\\) - 2\\)\\), \\(\\(Weight(x)\\) \\\\[Rule] \\(-1\ \\)\\)}\\)\\) .\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{"PDEInvariants", "(", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{\(\(-\(1\/2\)\)\ \(v(x, t)\)\^2\), "+", RowBox[{ SuperscriptBox["u", TagBox[\((0, 1)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "-", RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "==", "0"}], ",", RowBox[{ RowBox[{ RowBox[{ SuperscriptBox["v", TagBox[\((0, 1)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "-", RowBox[{"2", " ", RowBox[{ SuperscriptBox["v", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}], "==", "0"}]}], "}"}], ",", \({u, v}\), ",", \({x, t}\), ",", \({6}\)}], ")"}], TraditionalForm]], "Output", CellLabel->"Out[20]=", CellTags->"Examples"] }, Open ]], Cell[CellGroupData[{ Cell["\<\ PDEInvariants[{pde1,pde2},{u,v},{x,t},{6},WeightRules->{Weight[v]->\ 2}]\ \>", "Input", CellLabel->"In[21]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(t)\\) \\\\[Rule] \\(-2\\)\\), \\(\\(Weight(u)\\) \\\\[Rule] \ 2\\), \\(\\(Weight(v)\\) \\\\[Rule] 2\\), \\(\\(Weight(x)\\) \\\\[Rule] \\(-1\ \\)\\)}\\)\\) .\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ InterpretationBox[ RowBox[{"(", GridBox[{ {\({0}\), \((0)\)}, {\({1}\), \((0)\)}, {\({2}\), RowBox[{"(", RowBox[{ SubscriptBox[ TagBox["c", C], "2"], " ", \(v(x, t)\)}], ")"}]}, {\({3}\), \((0)\)}, {\({4}\), \((0)\)}, {\({5}\), \((0)\)}, {\({6}\), \((0)\)} }], ")"}], MatrixForm[ {{{0}, {{0}}}, {{1}, {{0}}}, {{2}, {{ Times[ C[ 2], v[ x, t]]}}}, {{3}, {{0}}}, {{4}, {{0}}}, {{5}, {{0}}}, {{6}, {{ 0}}}}, TableDepth -> 2]], TraditionalForm]], "Output", CellLabel->"Out[21]=", CellTags->"Examples"] }, Open ]], Cell[CellGroupData[{ Cell["\<\ PDESymmetries[{pde1,pde2},{u,v},{x,t},{5,7},WeightRules->{Weight[v]-\ >2}]//TableForm\ \>", "Input", CellLabel->"In[22]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(t)\\) \\\\[Rule] \\(-2\\)\\), \\(\\(Weight(u)\\) \\\\[Rule] \ 2\\), \\(\\(Weight(v)\\) \\\\[Rule] 2\\), \\(\\(Weight(x)\\) \\\\[Rule] \\(-1\ \\)\\)}\\)\\) .\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(General::"stop"\), \( : \ \), "\<\"Further output of \\!\\(TraditionalForm\\`\\(Solve :: \ \\\"svars\\\"\\)\\) will be suppressed during this calculation.\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ InterpretationBox[GridBox[{ {GridBox[{ {"5"}, {"5"} }, RowSpacings->0.25, ColumnSpacings->1, RowAlignments->Baseline, ColumnAlignments->{Left}], GridBox[{ { RowBox[{ RowBox[{\(3\/4\), " ", SubscriptBox[ TagBox["c", C], "12"], " ", \(v(x, t)\), " ", RowBox[{ SuperscriptBox["v", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "+", RowBox[{\(1\/4\), " ", SubscriptBox[ TagBox["c", C], "12"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}], RowBox[{ SubscriptBox[ TagBox["c", C], "12"], " ", RowBox[{ SuperscriptBox["v", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]} }, RowSpacings->0.25, ColumnSpacings->1, RowAlignments->Baseline, ColumnAlignments->{Left}]}, {GridBox[{ {"6"}, {"6"} }, RowSpacings->0.25, ColumnSpacings->1, RowAlignments->Baseline, ColumnAlignments->{Left}], GridBox[{ { RowBox[{ RowBox[{\(5\/8\), " ", SubscriptBox[ TagBox["c", C], "26"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["v", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}], "+", RowBox[{\(7\/8\), " ", SubscriptBox[ TagBox["c", C], "26"], " ", \(v(x, t)\), " ", RowBox[{ SuperscriptBox["v", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "+", RowBox[{\(1\/8\), " ", SubscriptBox[ TagBox["c", C], "26"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((4, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}], RowBox[{ SubscriptBox[ TagBox["c", C], "26"], " ", RowBox[{ SuperscriptBox["v", TagBox[\((4, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]} }, RowSpacings->0.25, ColumnSpacings->1, RowAlignments->Baseline, ColumnAlignments->{Left}]}, {GridBox[{ {"7"}, {"7"} }, RowSpacings->0.25, ColumnSpacings->1, RowAlignments->Baseline, ColumnAlignments->{Left}], GridBox[{ { RowBox[{ RowBox[{\(25\/16\), " ", SubscriptBox[ TagBox["c", C], "32"], " ", RowBox[{ SuperscriptBox["v", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", RowBox[{ SuperscriptBox["v", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "+", RowBox[{\(15\/16\), " ", SubscriptBox[ TagBox["c", C], "32"], " ", \(v(x, t)\), " ", RowBox[{ SuperscriptBox["v", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "+", RowBox[{\(1\/16\), " ", SubscriptBox[ TagBox["c", C], "32"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((5, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}], RowBox[{ SubscriptBox[ TagBox["c", C], "32"], " ", RowBox[{ SuperscriptBox["v", TagBox[\((5, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]} }, RowSpacings->0.25, ColumnSpacings->1, RowAlignments->Baseline, ColumnAlignments->{Left}]} }, RowSpacings->1, ColumnSpacings->3, RowAlignments->Baseline, ColumnAlignments->{Left}], TableForm[ {{{5, 5}, {{ Plus[ Times[ Rational[ 3, 4], C[ 12], v[ x, t], Derivative[ 1, 0][ v][ x, t]], Times[ Rational[ 1, 4], C[ 12], Derivative[ 3, 0][ u][ x, t]]], Times[ C[ 12], Derivative[ 3, 0][ v][ x, t]]}}}, {{6, 6}, {{ Plus[ Times[ Rational[ 5, 8], C[ 26], Power[ Derivative[ 1, 0][ v][ x, t], 2]], Times[ Rational[ 7, 8], C[ 26], v[ x, t], Derivative[ 2, 0][ v][ x, t]], Times[ Rational[ 1, 8], C[ 26], Derivative[ 4, 0][ u][ x, t]]], Times[ C[ 26], Derivative[ 4, 0][ v][ x, t]]}}}, {{7, 7}, {{ Plus[ Times[ Rational[ 25, 16], C[ 32], Derivative[ 1, 0][ v][ x, t], Derivative[ 2, 0][ v][ x, t]], Times[ Rational[ 15, 16], C[ 32], v[ x, t], Derivative[ 3, 0][ v][ x, t]], Times[ Rational[ 1, 16], C[ 32], Derivative[ 5, 0][ u][ x, t]]], Times[ C[ 32], Derivative[ 5, 0][ v][ x, t]]}}}}]], TraditionalForm]], "Output", CellLabel->"Out[22]//TableForm=", CellTags->"Examples"] }, Open ]], Cell["Burgers Equation", "Subsection", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ \(\(pde := \[PartialD]\_t u[x, t] - 2\ u[x, t]\ \[PartialD]\_x u[x, t] - \[PartialD]\_{x, 2}u[x, t] == 0; \)\)], "Input", CellLabel->"In[23]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[CellGroupData[{ Cell["PDEInvariants[pde,u,{x,t},{1,4}]", "Input", CellLabel->"In[24]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(t)\\) \\\\[Rule] \\(-2\\)\\), \\(\\(Weight(u)\\) \\\\[Rule] \ 1\\), \\(\\(Weight(x)\\) \\\\[Rule] \\(-1\\)\\)}\\)\\) .\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ InterpretationBox[ RowBox[{"(", GridBox[{ {\({1}\), RowBox[{"(", RowBox[{ SubscriptBox[ TagBox["c", C], "1"], " ", \(u(x, t)\)}], ")"}]}, {\({2}\), \((0)\)}, {\({3}\), \((0)\)}, {\({4}\), \((0)\)} }], ")"}], MatrixForm[ {{{1}, {{ Times[ C[ 1], u[ x, t]]}}}, {{2}, {{0}}}, {{3}, {{0}}}, {{4}, {{0}}}}, TableDepth -> 2]], TraditionalForm]], "Output", CellLabel->"Out[24]=", CellTags->"Examples"] }, Open ]], Cell[CellGroupData[{ Cell["PDESymmetries[pde,u,{x,t},{4,6}]//TableForm", "Input", CellLabel->"In[25]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(t)\\) \\\\[Rule] \\(-2\\)\\), \\(\\(Weight(u)\\) \\\\[Rule] \ 1\\), \\(\\(Weight(x)\\) \\\\[Rule] \\(-1\\)\\)}\\)\\) .\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(General::"stop"\), \( : \ \), "\<\"Further output of \\!\\(TraditionalForm\\`\\(Solve :: \ \\\"svars\\\"\\)\\) will be suppressed during this calculation.\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ InterpretationBox[GridBox[{ {"4", RowBox[{ RowBox[{"3", " ", SubscriptBox[ TagBox["c", C], "5"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(\(u(x, t)\)\^2\)}], "+", RowBox[{"3", " ", SubscriptBox[ TagBox["c", C], "5"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(u(x, t)\)}], "+", RowBox[{"3", " ", SubscriptBox[ TagBox["c", C], "5"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "5"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}]}, {"5", RowBox[{ RowBox[{"4", " ", SubscriptBox[ TagBox["c", C], "7"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(\(u(x, t)\)\^3\)}], "+", RowBox[{"6", " ", SubscriptBox[ TagBox["c", C], "7"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(\(u(x, t)\)\^2\)}], "+", RowBox[{"12", " ", SubscriptBox[ TagBox["c", C], "7"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(u(x, t)\)}], "+", RowBox[{"4", " ", SubscriptBox[ TagBox["c", C], "7"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(u(x, t)\)}], "+", RowBox[{"10", " ", SubscriptBox[ TagBox["c", C], "7"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "7"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((4, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}]}, {"6", RowBox[{ RowBox[{"5", " ", SubscriptBox[ TagBox["c", C], "11"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(\(u(x, t)\)\^4\)}], "+", RowBox[{"10", " ", SubscriptBox[ TagBox["c", C], "11"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(\(u(x, t)\)\^3\)}], "+", RowBox[{"30", " ", SubscriptBox[ TagBox["c", C], "11"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(\(u(x, t)\)\^2\)}], "+", RowBox[{"10", " ", SubscriptBox[ TagBox["c", C], "11"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(\(u(x, t)\)\^2\)}], "+", RowBox[{"50", " ", SubscriptBox[ TagBox["c", C], "11"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(u(x, t)\)}], "+", RowBox[{"5", " ", SubscriptBox[ TagBox["c", C], "11"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((4, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", \(u(x, t)\)}], "+", RowBox[{"15", " ", SubscriptBox[ TagBox["c", C], "11"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "3"]}], "+", RowBox[{"10", " ", SubscriptBox[ TagBox["c", C], "11"], " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}], "+", RowBox[{"15", " ", SubscriptBox[ TagBox["c", C], "11"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], " ", RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}], "+", RowBox[{ SubscriptBox[ TagBox["c", C], "11"], " ", RowBox[{ SuperscriptBox["u", TagBox[\((5, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}]}]}]} }, RowSpacings->1, ColumnSpacings->3, RowAlignments->Baseline, ColumnAlignments->{Left}], TableForm[ {{{4}, {{ Plus[ Times[ 3, C[ 5], Power[ u[ x, t], 2], Derivative[ 1, 0][ u][ x, t]], Times[ 3, C[ 5], Power[ Derivative[ 1, 0][ u][ x, t], 2]], Times[ 3, C[ 5], u[ x, t], Derivative[ 2, 0][ u][ x, t]], Times[ C[ 5], Derivative[ 3, 0][ u][ x, t]]]}}}, {{5}, {{ Plus[ Times[ 4, C[ 7], Power[ u[ x, t], 3], Derivative[ 1, 0][ u][ x, t]], Times[ 12, C[ 7], u[ x, t], Power[ Derivative[ 1, 0][ u][ x, t], 2]], Times[ 6, C[ 7], Power[ u[ x, t], 2], Derivative[ 2, 0][ u][ x, t]], Times[ 10, C[ 7], Derivative[ 1, 0][ u][ x, t], Derivative[ 2, 0][ u][ x, t]], Times[ 4, C[ 7], u[ x, t], Derivative[ 3, 0][ u][ x, t]], Times[ C[ 7], Derivative[ 4, 0][ u][ x, t]]]}}}, {{6}, {{ Plus[ Times[ 5, C[ 11], Power[ u[ x, t], 4], Derivative[ 1, 0][ u][ x, t]], Times[ 30, C[ 11], Power[ u[ x, t], 2], Power[ Derivative[ 1, 0][ u][ x, t], 2]], Times[ 15, C[ 11], Power[ Derivative[ 1, 0][ u][ x, t], 3]], Times[ 10, C[ 11], Power[ u[ x, t], 3], Derivative[ 2, 0][ u][ x, t]], Times[ 50, C[ 11], u[ x, t], Derivative[ 1, 0][ u][ x, t], Derivative[ 2, 0][ u][ x, t]], Times[ 10, C[ 11], Power[ Derivative[ 2, 0][ u][ x, t], 2]], Times[ 10, C[ 11], Power[ u[ x, t], 2], Derivative[ 3, 0][ u][ x, t]], Times[ 15, C[ 11], Derivative[ 1, 0][ u][ x, t], Derivative[ 3, 0][ u][ x, t]], Times[ 5, C[ 11], u[ x, t], Derivative[ 4, 0][ u][ x, t]], Times[ C[ 11], Derivative[ 5, 0][ u][ x, t]]]}}}}]], TraditionalForm]], "Output", CellLabel->"Out[25]//TableForm=", CellTags->"Examples"] }, Open ]], Cell["Family of Fifth-order KdV Equations", "Subsection", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ \(\(pde := \[PartialD]\_t u[x, t] + \[Alpha]\ u[x, t]\^2\ \[PartialD]\_x u[x, t] + \[Beta]\ \[PartialD]\_x u[x, t]\ \[PartialD]\_{x, 2}u[x, t] + \[Gamma]\ u[x, t]\ \[PartialD]\_{x, 3}u[x, t] + \[PartialD]\_{x, 5}u[x, t] == 0; \)\)], "Input", CellLabel->"In[26]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[CellGroupData[{ Cell["PDEInvariants[pde,u,{x,t},{2,10}];", "Input", CellLabel->"In[27]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(Weight::"dilation"\), \( : \ \), "\<\"Dilation symmetry of the equation(s) is \\!\\(TraditionalForm\\`\ \\({\\(\\(Weight(t)\\) \\\\[Rule] \\(-5\\)\\), \\(\\(Weight(u)\\) \\\\[Rule] \ 2\\), \\(\\(Weight(x)\\) \\\\[Rule] \\(-1\\)\\)}\\)\\) .\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ \(TraditionalForm \`Solve::"svars" : \ "Equations may not give solutions for all \"solve\" variables."\)], "Message", CellTags->"Examples"], Cell[BoxData[ FormBox[ RowBox[{ \(General::"stop"\), \( : \ \), "\<\"Further output of \\!\\(TraditionalForm\\`\\(Solve :: \ \\\"svars\\\"\\)\\) will be suppressed during this calculation.\"\>"}], TraditionalForm]], "Message", CellTags->"Examples"] }, Open ]], Cell[CellGroupData[{ Cell["\<\ TableForm[%,TableHeadings->{None,{\"Rank\",\"Condition - \ Density\"}}]\ \>", "Input", CellLabel->"In[28]:=", TextAlignment->Left, TextJustification->1, CellTags->"Examples"], Cell[BoxData[ FormBox[ InterpretationBox[GridBox[{ { FormBox["\<\"Rank\"\>", "TraditionalForm"], FormBox["\<\"Condition - Density\"\>", "TraditionalForm"]}, {"2", RowBox[{ SubscriptBox[ TagBox["c", C], "1"], " ", \(u(x, t)\)}]}, {"3", "0"}, {"4", GridBox[{ {\(\[Beta] \[Rule] 2\ \[Gamma]\), \(\(u(x, t)\)\^2\)} }, RowSpacings->0.25, ColumnSpacings->1, RowAlignments->Baseline, ColumnAlignments->{Left}]}, {"5", "0"}, {"6", GridBox[{ { \(\[Alpha] \[Rule] 1\/10\ \(( \(-2\)\ \[Beta]\^2 + 7\ \[Gamma]\ \[Beta] - 3\ \[Gamma]\^2)\)\), RowBox[{\(\(u(x, t)\)\^3\), "-", FractionBox[ RowBox[{"15", " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}], \(2\ \[Beta] - \[Gamma]\)]}]} }, RowSpacings->0.25, ColumnSpacings->1, RowAlignments->Baseline, ColumnAlignments->{Left}]}, {"7", "0"}, {"8", GridBox[{ { \(\[Alpha] \[Rule] 1\/45\ \(( \(-2\)\ \[Beta]\^2 + 7\ \[Gamma]\ \[Beta] + 4\ \[Gamma]\^2)\)\), RowBox[{\(\(u(x, t)\)\^4\), "-", FractionBox[ RowBox[{"135", " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(u(x, t)\)}], \(2\ \[Beta] + \[Gamma]\)], "+", FractionBox[ RowBox[{"675", " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}], \(\((2\ \[Beta] + \[Gamma])\)\^2\)]}]}, {\(\[Beta] \[Rule] 2\ \[Gamma]\), RowBox[{\(\(u(x, t)\)\^4\), "-", FractionBox[ RowBox[{"6", " ", "\[Gamma]", " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(u(x, t)\)}], "\[Alpha]"], "+", FractionBox[ RowBox[{"6", " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}], "\[Alpha]"]}]} }, RowSpacings->0.25, ColumnSpacings->1, RowAlignments->Baseline, ColumnAlignments->{Left}]}, {"9", "0"}, {"10", GridBox[{ {GridBox[{ {\(\[Alpha] \[Rule] \(3\ \[Gamma]\^2\)\/10\)}, {\(\[Beta] \[Rule] 2\ \[Gamma]\)} }, RowSpacings->0.25, ColumnSpacings->1, RowAlignments->Baseline, ColumnAlignments->{Left}], RowBox[{\(\(u(x, t)\)\^5\), "-", FractionBox[ RowBox[{"50", " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((1, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(\(u(x, t)\)\^2\)}], "\[Gamma]"], "+", FractionBox[ RowBox[{"100", " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((2, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"], " ", \(u(x, t)\)}], \(\[Gamma]\^2\)], "-", FractionBox[ RowBox[{"500", " ", SuperscriptBox[ RowBox[{ SuperscriptBox["u", TagBox[\((3, 0)\), Derivative], MultilineFunction->None], "(", \(x, t\), ")"}], "2"]}], \(7\ \[Gamma]\^3\)]}]} }, RowSpacings->0.25, ColumnSpacings->1, RowAlignments->Baseline, ColumnAlignments->{Left}]} }, RowSpacings->1, ColumnSpacings->3, RowAlignments->Baseline, ColumnAlignments->{Center}], TableForm[ {{{2}, {{ Times[ C[ 1], u[ x, t]]}}}, {{3}, {{0}}}, {{4}, {{{\[Beta] -> Times[ 2, \[Gamma]]}, { Power[ u[ x, t], 2]}}}}, {{5}, {{0}}}, {{6}, {{{\[Alpha] -> Times[ Rational[ 1, 10], Plus[ Times[ -2, Power[ \[Beta], 2]], Times[ 7, \[Beta], \[Gamma]], Times[ -3, Power[ \[Gamma], 2]]]]}, { Plus[ Power[ u[ x, t], 3], Times[ -15, Power[ Plus[ Times[ 2, \[Beta]], Times[ -1, \[Gamma]]], -1], Power[ Derivative[ 1, 0][ u][ x, t], 2]]]}}}}, {{7}, {{0}}}, {{ 8}, {{{\[Alpha] -> Times[ Rational[ 1, 45], Plus[ Times[ -2, Power[ \[Beta], 2]], Times[ 7, \[Beta], \[Gamma]], Times[ 4, Power[ \[Gamma], 2]]]]}, { Plus[ Power[ u[ x, t], 4], Times[ -135, Power[ Plus[ Times[ 2, \[Beta]], \[Gamma]], -1], u[ x, t], Power[ Derivative[ 1, 0][ u][ x, t], 2]], Times[ 675, Power[ Plus[ Times[ 2, \[Beta]], \[Gamma]], -2], Power[ Derivative[ 2, 0][ u][ x, t], 2]]]}}, {{\[Beta] -> Times[ 2, \[Gamma]]}, { Plus[ Power[ u[ x, t], 4], Times[ -6, Power[ \[Alpha], -1], \[Gamma], u[ x, t], Power[ Derivative[ 1, 0][ u][ x, t], 2]], Times[ 6, Power[ \[Alpha], -1], Power[ Derivative[ 2, 0][ u][ x, t], 2]]]}}}}, {{9}, {{0}}}, {{ 10}, {{{\[Alpha] -> Times[ Rational[ 3, 10], Power[ \[Gamma], 2]], \[Beta] -> Times[ 2, \[Gamma]]}, { Plus[ Power[ u[ x, t], 5], Times[ -50, Power[ \[Gamma], -1], Power[ u[ x, t], 2], Power[ Derivative[ 1, 0][ u][ x, t], 2]], Times[ 100, Power[ \[Gamma], -2], u[ x, t], Power[ Derivative[ 2, 0][ u][ x, t], 2]], Times[ Rational[ -500, 7], Power[ \[Gamma], -3], Power[ Derivative[ 3, 0][ u][ x, t], 2]]]}}}}}, TableHeadings -> { None, {"Rank", "Condition - Density"}}]], TraditionalForm]], "Output", CellLabel->"Out[28]//TableForm=", CellTags->"Examples"] }, Open ]], Cell[CellGro