The command SymmetryLAVF(...) constructs a LAVF object for the symmetry determining system of given list of DEs, using infinitesimal specification from the vector field V. A valid LAVF object then has access to at least 60 methods methods which allow it to be manipulated and its contents queried. For more detail, see Overview of the LAVF object.

The second input argument (depVars) is only used when the first input argument DEs have unclear dependent variables (e.g. trouble distinguishing dependent variables from arbitrary coefficients).

The command ultimately calls PDEtools[DeterminingPDE] command for finding the symmetry determining system DQ. It then calls LAVF(V,DQ) to construct a LAVF object.

This command is part of the LieAlgebrasOfVectorFields package. For more detail, see Overview of the LieAlgebrasOfVectorFields package.

This command can be used in the form SymmetryLAVF(...) only after executing the command with(LieAlgebrasOfVectorFields), but can always be used in the form :-LieAlgebrasOfVectorFields:-SymmetryLAVF(...).

$\mathrm{with}\left(\mathrm{LieAlgebrasOfVectorFields}\right)\:$

$\mathrm{Typesetting}:-\mathrm{Settings}\left(\mathrm{userep}=\mathrm{true}\right)\:$

$\mathrm{Typesetting}:-\mathrm{Suppress}\left(\left\{\mathrm{\eta }\left(x\,u\right)\,\mathrm{\xi }\left(x\,u\right)\right\}\right)\:$

$V≔\mathrm{VectorField}\left(\mathrm{\xi }\left(x\,u\right)\mathrm{D}\left[x\right]+\mathrm{\eta }\left(x\,u\right)\mathrm{D}\left[u\right]\,\mathrm{space}=\left[x\,u\right]\right)$

$V≔\mathrm{\xi }\left(\frac{\ⅆ}{\ⅆx}\right)+\mathrm{\eta }\left(\frac{\ⅆ}{\ⅆu}\right)$

$\mathrm{Blasius}≔\left[2\mathrm{diff}\left(u\left(x\right)\,x\,x\,x\right)+u\left(x\right)\mathrm{diff}\left(u\left(x\right)\,x\,x\right)=0\right]$

$\mathrm{Blasius}≔\left[2\frac{{\ⅆ}^3}{\ⅆx^3}u\left(x\right)+u\left(x\right)\left(\frac{{\ⅆ}^2}{\ⅆx^2}u\left(x\right)\right)=0\right]$

$L≔\mathrm{SymmetryLAVF}\left(\mathrm{Blasius}\,V\right)$

$L≔\left[\mathrm{\xi }\left(\frac{\ⅆ}{\ⅆx}\right)+\mathrm{\eta }\left(\frac{\ⅆ}{\ⅆu}\right)\right]\&where\left\{\left[{\mathrm{\xi }}_{x,x}=0\,{\mathrm{\xi }}_u=0\,\mathrm{\eta }=-\left({\mathrm{\xi }}_x\right)u\right]\right\}$

$\mathrm{SolutionDimension}\left(L\right)$

$2$

$\mathrm{LAVFSolve}\left(L\,'\mathrm{output}'=''basis''\right)$

$\left[-x\left(\frac{\ⅆ}{\ⅆx}\right)+u\left(\frac{\ⅆ}{\ⅆu}\right)\,\frac{\ⅆ}{\ⅆx}\right]$

The LieAlgebrasOfVectorFields[SymmetryLAVF] command was introduced in Maple 2020.

For more information on Maple 2020 changes, see Updates in Maple 2020.