Example 1 Solve\[ y^{\prime }=\frac {-y\left ( 2x^{2}y^{3}+3\right ) }{x\left ( x^{2}y^{3}+1\right ) }\] The first step is to identify if this is class G and find \(F\). We start by multiplying the RHS by \(\frac {x}{y}\) (regardless of what is in the RHS) which gives\begin {align*} y^{\prime } & =\frac {x}{y}\left ( \frac {-y\left ( 2x^{2}y^{3}+3\right ) }{x\left ( x^{2}y^{3}+1\right ) }\right ) \\ & =\frac {-2x^{2}y^{3}-3}{x^{2}y^{3}+1}\\ & =F\left ( x,y\right ) \end {align*}

Next we check if \(F\left ( x,y\right ) \) has \(y\) or not in it. If so, then let the RHS above be \(F\left ( x,y\right ) \) and now do\begin {align*} f_{x} & =x\frac {\partial F}{\partial x}\\ & =x\left ( \frac {2y^{3}x}{\left ( x^{2}y^{3}+1\right ) ^{2}}\right ) \\ & =\frac {2y^{3}x^{2}}{\left ( x^{2}y^{3}+1\right ) ^{2}} \end {align*}

And let \begin {align*} f_{y} & =y\frac {\partial F}{\partial y}\\ & =y\left ( \frac {3x^{2}y^{2}}{\left ( x^{2}y^{3}+1\right ) ^{2}}\right ) \\ & =\frac {3x^{2}y^{3}}{\left ( x^{2}y^{3}+1\right ) ^{2}} \end {align*}

Now we check, if \(f_{y}=0\) then this is not Homogeneous type G. Else we now need to determine value of \(\alpha \). This is done as follows. \begin {align*} \alpha & =\frac {fx}{f_{y}}\\ & =\frac {2}{3} \end {align*}

If \(\alpha \) comes out not to have in it \(x\) nor \(y\) as in this case, then we are done. This ode is Homogeneous type G. But we have to do one more check.  We have to check that \(F\left ( x,y\right ) \) found above ends up with no \(x\) in it. Hence the solution is\begin {equation} \ln x-c_{1}+\int ^{yx^{\alpha }}\frac {1}{\tau \left ( -\alpha -F\left ( \tau \right ) \right ) }d\tau =0 \tag {1} \end {equation} Now let \(yx^{\alpha }=\tau \) or \(y=\frac {\tau }{x^{\alpha }}\ \)and substituting this into \(F\left ( x,y\right ) \) gives\begin {align*} F\left ( \tau \right ) & =\frac {-2x^{2}\left ( \frac {\tau }{x^{\alpha }}\right ) ^{3}-3}{x^{2}\left ( \frac {\tau }{x^{\alpha }}\right ) ^{3}+1}\\ & =\frac {-2x^{2}\left ( \frac {\tau }{x^{\frac {2}{3}}}\right ) ^{3}-3}{x^{2}\left ( \frac {\tau }{x^{\frac {2}{3}}}\right ) ^{3}+1}\\ & =\frac {-2x^{2}\left ( \frac {\tau ^{3}}{x^{2}}\right ) -3}{x^{2}\left ( \frac {\tau ^{3}}{x^{3}}\right ) +1}\\ & =\frac {-2\tau ^{3}-3}{\tau ^{3}+1} \end {align*}

We see that \(F\left ( x,y\right ) \) ends up as \(F\left ( \tau \right ) =\frac {-2\tau ^{3}-3}{\tau ^{3}+1}\) after the transformation. It has no \(x\) left in it. If we end up with \(x\) then this method can not be used.

The solution (1) becomes\begin {align*} \ln x-c_{1}+\int ^{yx^{\alpha }}\frac {1}{\tau \left ( -\alpha -\left ( \frac {-2\tau ^{3}-3}{\tau ^{3}+1}\right ) \right ) }d\tau & =0\\ \ln x-c_{1}+\int ^{yx^{\frac {2}{3}}}\frac {3\tau ^{3}+3}{4\tau ^{4}+7\tau }d\tau & =0 \end {align*}

Solving the integral gives\[ \ln x-c_{1}+\frac {3}{7}\ln \left ( yx^{\frac {2}{3}}\right ) +\frac {3}{28}\ln \left ( 4x^{2}y^{3}+7\right ) =0 \] And this is the final answer. Now if earlier we have \(F\left ( x,y\right ) \) not have \(y\) in it. In this case we check if \(F\left ( x,y\right ) \) has \(x\). If not, then \(\alpha =0\) and we do the same as above. But if \(F\left ( x,y\right ) \) has \(x\) and not has \(y\) then it is not not Homogeneous type G.