test a given first integral
firtest(first_int, ODE, y(x))
ordinary differential equation
(optional) indeterminate function of the ODE
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](..).
A first order ODE
ODE := diff(y(x),x)=y(x)*a(x);
An integrating factor for ODE above
Mu := intfactor(ODE);
A related (to Mu) first integral for ODE above
ans := firint(Mu*ODE);
Testing the first integral
A second order ODE example
ODE := diff(y(x),x,x) = - 2*(2*diff(y(x),x)+5*x*y(x)^2+2*x^2*y(x)*diff(y(x),x))/x;
first_int := 2*x^5*y(x)^2+x^4*diff(y(x),x)+_C1 = 0;
Download Help Document
What kind of issue would you like to report? (Optional)