The buildsym command takes as arguments the solution of an ODE and the dependent variable, and it looks for a pair of infinitesimals for the ODE that generated the problem. At present, buildsym is able to look for symmetries of solutions of first and second order ODEs only.

As a rule, if we represent the infinitesimal generator as

f -> xi(x,y) * diff(f,x) + eta(x,y) * diff(f,y);

$f\→\mathrm{\ξ}\left(x\,y\right)\left(\frac{\partial }{\partial x}f\right)\+\mathrm{\η}\left(x\,y\right)\left(\frac{\partial }{\partial y}f\right)$

where x is the independent variable and y is the dependent one, buildsym (when successful) returns the list $\left[\mathrm{\xi }\left(x\,y\right)\,\mathrm{\eta }\left(x\,y\right)\right]$, or two of these lists if the solution given as argument contains two arbitrary constants _C1 and _C2.

In order to study the relationship between symmetry patterns and ODE patterns, the buildsym command and equinv may be useful in connection with the odeadvisor command and the $\mathrm{HINT}=\left[\mathrm{e1}\,\mathrm{e2}\right]$ option of dsolve.

This function is part of the DEtools package, and so it can be used in the form buildsym(..) only after executing the command with(DEtools). However, it can always be accessed through the long form of the command by using DEtools[buildsym](..).

$\mathrm{with}\left(\mathrm{DEtools}\,\mathrm{buildsym}\,\mathrm{equinv}\,\mathrm{symtest}\right)$

$\left[\mathrm{buildsym}\,\mathrm{equinv}\,\mathrm{symtest}\right]$

$\mathrm{sym}≔\left[\mathrm{\_\ξ}=0\,\mathrm{\_\η}=\frac{\exp \left(y\right)}{\ln \left(x\right)}\right]$

$\mathrm{sym}≔\left[\mathrm{\_\ξ}=0\,\mathrm{\_\η}=\frac{{\ⅇ}^y}{\ln \left(x\right)}\right]$

$\mathrm{ODE}≔\mathrm{equinv}\left(\mathrm{sym}\,y\left(x\right)\right)$

$\mathrm{ODE}≔\frac{\ⅆ}{\ⅆx}y\left(x\right)=\frac{1}{\ln \left(x\right)x}+{\ⅇ}^{y\left(x\right)}\mathrm{f\_\_1}\left(x\right)$

$\mathrm{ans}≔\mathrm{dsolve}\left(\mathrm{ODE}\,\mathrm{Lie}\right)$

$\mathrm{ans}≔y\left(x\right)=-\ln \left(-\frac{\int \mathrm{f\_\_1}\left(x\right)\ln \left(x\right)\ⅆx+\mathrm{c\_\_1}}{\ln \left(x\right)}\right)$

$\mathrm{buildsym}\left(\mathrm{ans}\,y\left(x\right)\right)$

$\left[\mathrm{\_\ξ}=0\,\mathrm{\_\η}=\frac{{\ⅇ}^y}{\ln \left(x\right)}\right]$

$\mathrm{ans2}≔y\left(x\right)=\mathrm{\_C1}\cos \left(x\right)+x\mathrm{\_C2}$

$\mathrm{ans2}≔y\left(x\right)=\mathrm{c\_\_1}\cos \left(x\right)+x\mathrm{\_C2}$

$\mathrm{sym2}≔\mathrm{buildsym}\left(\mathrm{ans2}\right)$

$\mathrm{sym2}≔\left[\mathrm{\_\ξ}=0\,\mathrm{\_\η}=x\right],\left[\mathrm{\_\ξ}=0\,\mathrm{\_\η}=\cos \left(x\right)\right]$

$\mathrm{ODE2}≔\mathrm{equinv}\left(\left[\mathrm{sym2}\right]\,y\left(x\right)\,2\right)$

$\mathrm{ODE2}≔\frac{{\ⅆ}^2}{\ⅆx^2}y\left(x\right)=\frac{x\cos \left(x\right)\left(\frac{\ⅆ}{\ⅆx}y\left(x\right)\right)}{\sin \left(x\right)x+\cos \left(x\right)}-\frac{\cos \left(x\right)y\left(x\right)}{\sin \left(x\right)x+\cos \left(x\right)}+\mathrm{f\_\_1}\left(x\right)$

$\mathrm{symtest}\left(\mathrm{sym2}\left[1\right]\,\mathrm{ODE2}\right)$

$0$

$\mathrm{symtest}\left(\mathrm{sym2}\left[2\right]\,\mathrm{ODE2}\right)$

$0$