Exact Nonlinear ODEs
The general form of the exact nonlinear ODE is given by the following:
exact_nonlinear_ode := 'diff(F(x,y(x),seq(diff(y(x),x$i),i=1..n)),x)' = 0;
See Murphy, "Ordinary Differential Equations and their Solutions", p. 221.
The order of this ODE can be reduced since it is the total derivative of an ODE of one order lower. If the given ODE is G(x,y,y1,y2,...,yn)=0, the test for exactness is the following:
Note: The derivatives with respect to y, dy/dx and d^2y/dx^2 are taken in the obvious manner but the derivatives with regard to x are taken considering y, and its derivatives as functions of x.
The reduced ODE is:
reduced_ode := 'F(x,y(x),seq(diff(y(x),x$i),i=1..n))' = _C1;
ode ≔ ⅆ2ⅆx2⁢y⁡x=1y⁡x−x⁢ⅆⅆx⁢y⁡xy⁡x2
ans ≔ dsolve⁡ode,implicit
Download Help Document
What kind of issue would you like to report? (Optional)