AlgebraFromSolution

AlgebraFromSolution[ig, solution]
gives the r-parameter infinitesimal generator by combining the general form of the infinitesimal generator for the problem with the solution obtained from the SolveOverdeterminedEqs.
  • ig is the infinitesimal operator, in its general form, used for the symmetry analysis. This operator can be obtain by taking the first element of the list which DeterminingEqs gives.
  • solution is the set of rules for the coefficients of ig. This set can be readily supplied by using the command SolveOverdeterminedEqs on the overdetermined system found.
In[1]:=
Click for copyable input
Let us take the ODE
In[2]:=
Click for copyable input
Out[2]=
the determining equations of the ode and the general form of the inifinitesimal generator are given by the command
In[3]:=
Click for copyable input
Out[3]=
we solve the determining equations using SolveOverdeterminedEqs
In[4]:=
Click for copyable input
Out[4]=
finally, by using the AlgebraFromSolution we obtain the specific multiparameter infinitesimal generator
In[5]:=
Click for copyable input
Out[5]=