Example 1
\[ y^{\prime }=\frac {8y^{2}+12xy-10y-6x+3}{y^{2}+6xy-2y+9x^{2}-6x+1}\]
Using methods in earlier sections it can be shown that this is not isobaric for any degree
including \(m=1\) (which means it is not even homogeneous ode of class A, which is special case of
isobaric). Let
\begin{align*} x & =X+x_{0}\\ y & =Y+y_{0}\end{align*}
The above ode becomes
\begin{align} Y^{\prime } & =\frac {8\left ( Y+y_{0}\right ) ^{2}+12\left ( X+x_{0}\right ) \left ( Y+y_{0}\right ) -10\left ( Y+y_{0}\right ) -6\left ( X+x_{0}\right ) +3}{\left ( Y+y_{0}\right ) ^{2}+6\left ( X+x_{0}\right ) \left ( Y+y_{0}\right ) -2\left ( Y+y_{0}\right ) +9\left ( X+x_{0}\right ) ^{2}-6\left ( X+x_{0}\right ) +1}\tag {1}\\ & =F\left ( X,Y\right ) \nonumber \end{align}
The question now becomes how to find \(x_{0},y_{0}\) such that the above ode is isobaric of degree \(1\). (i.e.
homogeneous ode of class A). Earlier section showed that this becomes the condition that
\begin{equation} m=-\frac {X\frac {\partial F}{\partial X}}{Y\ \frac {\partial F}{\partial Y}} \tag {2}\end{equation}
Where \(m=1\). Applying the above to (1) and setting \(m=1\) gives
\begin{align*} 1 & =-\frac {X\frac {d}{dX}\left ( \frac {8\left ( Y+y_{0}\right ) ^{2}+12\left ( X+x_{0}\right ) \left ( Y+y_{0}\right ) -10\left ( Y+y_{0}\right ) -6\left ( X+x_{0}\right ) +3}{\left ( Y+y_{0}\right ) ^{2}+6\left ( X+x_{0}\right ) \left ( Y+y_{0}\right ) -2\left ( Y+y_{0}\right ) +9\left ( X+x_{0}\right ) ^{2}-6\left ( X+x_{0}\right ) +1}\right ) }{Y\frac {d}{dY}\left ( \frac {8\left ( Y+y_{0}\right ) ^{2}+12\left ( X+x_{0}\right ) \left ( Y+y_{0}\right ) -10\left ( Y+y_{0}\right ) -6\left ( X+x_{0}\right ) +3}{\left ( Y+y_{0}\right ) ^{2}+6\left ( X+x_{0}\right ) \left ( Y+y_{0}\right ) -2\left ( Y+y_{0}\right ) +9\left ( X+x_{0}\right ) ^{2}-6\left ( X+x_{0}\right ) +1}\right ) }\\ & =-\frac {X\left ( \frac {-6\left ( 3X+3Y+3x_{0}+3y_{0}-2\right ) \left ( 2Y+2y_{0}-1\right ) }{\left ( y_{0}-1+3x_{0}+Y+3X\right ) ^{3}}\right ) }{Y\left ( \frac {2\left ( 3X+3Y+3x_{0}+3y_{0}-2\right ) \left ( 6X+6x_{0}-1\right ) }{\left ( y_{0}-1+3x_{0}+Y+3X\right ) ^{3}}\right ) }\\ & =-\frac {X\left ( -6\left ( 3X+3Y+3x_{0}+3y_{0}-2\right ) \left ( 2Y+2y_{0}-1\right ) \right ) }{Y\left ( 2\left ( 3X+3Y+3x_{0}+3y_{0}-2\right ) \left ( 6X+6x_{0}-1\right ) \right ) }\\ 1 & =3\frac {X}{Y}\frac {2Y+2y_{0}-1}{6X+6x_{0}-1}\end{align*}
The above is satisfied if \(\frac {2Y+2y_{0}-1}{6X+6x_{0}-1}=\frac {1}{3}\frac {Y}{X}\). Which means \(\frac {6Y+6y_{0}-3}{6X+6x_{0}-1}=\frac {Y}{X}\). This implies if \(6y_{0}-3=0\) and \(6x_{0}-1=0\) then the equation is satisfied.
Therefore a solution is found which is
\begin{align*} 6y_{0}-3 & =0\\ y_{0} & =\frac {1}{2}\end{align*}
And
\begin{align*} 6x_{0}-1 & =0\\ x_{0} & =\frac {1}{6}\end{align*}
Since transformation is found, then substituting the above 2 equations back in (1)
gives
\begin{align*} Y^{\prime } & =\frac {8\left ( Y+\frac {1}{2}\right ) ^{2}+12\left ( X+\frac {1}{6}\right ) \left ( Y+\frac {1}{2}\right ) -10\left ( Y+\frac {1}{2}\right ) -6\left ( X+\frac {1}{6}\right ) +3}{\left ( Y+\frac {1}{2}\right ) ^{2}+6\left ( X+\frac {1}{6}\right ) \left ( Y+\frac {1}{2}\right ) -2\left ( Y+\frac {1}{2}\right ) +9\left ( X+\frac {1}{6}\right ) ^{2}-6\left ( X+\frac {1}{6}\right ) +1}\\ & =4\frac {3XY+2Y^{2}}{\left ( 3X+Y\right ) ^{2}}\\ & =G\left ( X,Y\right ) \end{align*}
The above ode is now homogeneous ode of class A. We can verify this using method from
above section as follows
\begin{align*} m & =-\frac {X\frac {\partial G}{\partial X}}{Y\frac {\partial G}{\partial Y}}\\ & =\frac {-X\frac {d}{dX}\left ( 4\frac {Y\left ( 3X+2Y\right ) }{\left ( 3X+Y\right ) ^{2}}\right ) }{Y\frac {d}{dY}\left ( 4\frac {Y\left ( 3X+2Y\right ) }{\left ( 3X+Y\right ) ^{2}}\right ) }\\ & =\frac {-X\left ( -36\frac {Y}{\left ( 3X+Y\right ) ^{3}}\left ( X+Y\right ) \right ) }{Y\left ( 36\frac {X}{\left ( 3X+Y\right ) ^{3}}\left ( X+Y\right ) \right ) }\\ & =1 \end{align*}
We see that this is indeed homogeneous ode of class A. Now this is solved easily using the
substitution \(Y=uX\). This results in
\begin{equation} -\ln \left ( \frac {Y+X}{X}\right ) +3\ln \left ( \frac {Y}{X}\right ) -3\ln \left ( -\frac {3X-Y}{X}\right ) -\ln X=c_{1} \tag {3}\end{equation}
But from earlier
\begin{align*} X & =x-x_{0}\\ & =x-\frac {1}{6}\\ Y & =y-y_{0}\\ & =y-\frac {1}{2}\end{align*}
Hence the solution (3) in \(y\left ( x\right ) \) now becomes
\begin{align*} -\ln \left ( \frac {y-\frac {1}{2}+x-\frac {1}{6}}{x-\frac {1}{6}}\right ) +3\ln \left ( \frac {y-\frac {1}{2}}{x-\frac {1}{6}}\right ) -3\ln \left ( -\frac {3\left ( x-\frac {1}{6}\right ) -\left ( y-\frac {1}{2}\right ) }{x-\frac {1}{6}}\right ) -\ln \left ( x-\frac {1}{6}\right ) & =c_{2}\\ -\ln \left ( \frac {x+y-\frac {2}{3}}{x-\frac {1}{6}}\right ) +3\ln \left ( \frac {6y-3}{6x-1}\right ) -3\ln \left ( \frac {6y-18x}{6x-1}\right ) -\ln \left ( x-\frac {1}{6}\right ) & =c_{2}\\ -\ln \left ( \frac {6\left ( x+y-\frac {2}{3}\right ) }{6x-1}\right ) +3\ln \left ( \frac {6y-3}{6x-1}\right ) -3\ln \left ( 6\frac {y-3x}{6x-1}\right ) -\ln \left ( x-\frac {1}{6}\right ) & =c_{2}\end{align*}
The above is the solution (implicit) to the original ode. The main difficulty with this method
is in solving (if possible) equation (2) when \(m=1\) which is
\[ 1=-\frac {X\frac {\partial F}{\partial X}}{Y\ \frac {\partial F}{\partial Y}}\]
For \(x_{0},y_{0}\). In other words, to find explicit
values for \(x_{0},y_{0}\) which makes the RHS above \(1\). If we can find such \(x_{0},y_{0}\) then the original ode
can now be solved. If not, then this method will not work and we say the ode is
not homogeneous ode of class C. Using the software Maple this can be found as
follows
restart;
eq:=1=3*X/Y*(2*Y+2*y0-1)/(6*X+6*x0-1);
solve(identity(eq,X),[x0,y0])
Which gives
[[x0 = 1/6, y0 = 1/2]]
And Using Mathematica
eq = 1 == 3*X/Y*(2*Y + 2*y0 - 1)/(6*X + 6*x0 - 1);
SolveAlways[eq, {X, Y}]
Which gives
{{x0 -> 1/6, y0 -> 1/2}}