The firtest command checks whether a given expression is a first integral of a given ODE. Similar to odetest, firtest returns $0$ when the result is valid, or an algebraic expression obtained after simplifying the PDE for the first integral associated with the given ODE (see odepde). Among other things, firtest can be used to test the results obtained using the command firint.

If the result returned by firtest is not zero, the expression might nevertheless be a first integral. Sometimes, with further simplification, you can obtain the desired $0$ using commands such as expand, combine, and so on.

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

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

$\mathrm{ODE}≔\mathrm{diff}\left(y\left(x\right)\,x\right)=y\left(x\right)a\left(x\right)$

$\mathrm{ODE}≔\frac{\ⅆ}{\ⅆx}y\left(x\right)=y\left(x\right)a\left(x\right)$

$\mathrm{{\rm M}}≔\mathrm{intfactor}\left(\mathrm{ODE}\right)$

$\mathrm{{\rm M}}≔{\ⅇ}^{\int -a\left(x\right)\ⅆx}$

$\mathrm{ans}≔\mathrm{firint}\left(\mathrm{{\rm M}}\mathrm{ODE}\right)$

$\mathrm{ans}≔{\ⅇ}^{\int -a\left(x\right)\ⅆx}y\left(x\right)+\mathrm{\_C1}=0$

$\mathrm{firtest}\left(\mathrm{ans}\,\mathrm{ODE}\right)$

$0$

$\mathrm{ODE}≔\mathrm{diff}\left(y\left(x\right)\,x\,x\right)=-\frac{2\left(2\mathrm{diff}\left(y\left(x\right)\,x\right)+5x{y\left(x\right)}^2+2x^{2}y\left(x\right)\mathrm{diff}\left(y\left(x\right)\,x\right)\right)}{x}$

$\mathrm{ODE}≔\frac{{\ⅆ}^2}{\ⅆx^2}y\left(x\right)=-\frac{2\left(2\frac{\ⅆ}{\ⅆx}y\left(x\right)+5x{y\left(x\right)}^2+2x^{2}y\left(x\right)\left(\frac{\ⅆ}{\ⅆx}y\left(x\right)\right)\right)}{x}$

$\mathrm{first\_int}≔2x^5{y\left(x\right)}^2+x^4\mathrm{diff}\left(y\left(x\right)\,x\right)+\mathrm{\_C1}=0$

$\mathrm{first\_int}≔2x^5{y\left(x\right)}^2+x^4\left(\frac{\ⅆ}{\ⅆx}y\left(x\right)\right)+\mathrm{\_C1}=0$

$\mathrm{firtest}\left(\mathrm{first\_int}\,\mathrm{ODE}\right)$

$0$