4.4.2 Exact nonlinear second order ode $F(x,y,y^{\prime },y^{\prime \prime })=0$ (Approach 2)

This method is based on paper "Exactness of Second Order Ordinary Differential Equations and Integrating Factors", by AlAhmad, M. Al-Jararha and H. Almefleh which now I have full implementation for. We start with the ode in the form

$$\begin{array}{}\text{(1)}& a_2(x,y,y^{\prime })y^{\prime \prime }+a_1(x,y,y^{\prime })y^{\prime }+a_0(x,y,y^{\prime })=0\end{array}$$

Then, we first verify the ode is exact using the conditions

$$\begin{array}{rl}\frac{\partial a_2}{\partial y}& =\frac{\partial a_1}{\partial y^{\prime }}\\ \text{(2)}& \frac{\partial a_2}{\partial x}& =\frac{\partial a_0}{\partial y^{\prime }}\frac{\partial a_1}{\partial x}& =\frac{\partial a_0}{\partial y}\end{array}$$

If the above are satisfied, then next we generate a first order ode using

$$\begin{array}{}\text{(3)}& {\int }_{x_0}^x{a}_0(\alpha ,y,y^{\prime })d\alpha +{\int }_{y_0}^y{a}_1(x_0,\beta ,y^{\prime })d\beta +{\int }_{y_0^{\prime }}^{y^{\prime }}{a}_2(x_0,y_0,\gamma )d\gamma =0\end{array}$$

If we are not given initial conditions for the original ode, then the above is replaced by

$$\begin{array}{}\text{(4)}& {\int }_0^x{a}_0(\alpha ,y,y^{\prime })d\alpha +{\int }_0^y{a}_1(0,\beta ,y^{\prime })d\beta +{\int }_0^{y^{\prime }}{a}_2(0,0,\gamma )d\gamma =c_1\end{array}$$

Next, we solve the the above first order ode.  Examples below make this method more clear. Notice that when matching our equation against the template (1), it is possible to obtain different possible matches and hence different possible $a_0,a_1,a_2$ depending on how the match is done. We should only pick one that satisfy the exactness conditions and use that match. See example 4 below for such an example to illustrate what this means.