Internal problem ID [9049]
Internal file name [OUTPUT/7984_Monday_June_06_2022_01_07_48_AM_80568082/index.tex
]
Book: Differential Gleichungen, E. Kamke, 3rd ed. Chelsea Pub. NY, 1948
Section: Chapter 1, Additional non-linear first order
Problem number: 715.
ODE order: 1.
ODE degree: 1.
The type(s) of ODE detected by this program : "unknown"
Maple gives the following as the ode type
[[_1st_order, `_with_symmetry_[F(x),G(x)]`]]
Unable to solve or complete the solution.
\[ \boxed {y^{\prime }-\frac {-x^{2}+x +2+2 x^{3} \sqrt {x^{2}-4 x +4 y}}{2 \left (x +1\right )}=0} \] Unable to determine ODE type.
\[ \begin {array}{lll} & {} & \textrm {Let's solve}\hspace {3pt} \\ {} & {} & 2 x^{3} \sqrt {x^{2}-4 x +4 y}-2 y^{\prime } x -x^{2}-2 y^{\prime }+x +2=0 \\ \bullet & {} & \textrm {Highest derivative means the order of the ODE is}\hspace {3pt} 1 \\ {} & {} & y^{\prime } \\ \bullet & {} & \textrm {Solve for the highest derivative}\hspace {3pt} \\ {} & {} & y^{\prime }=\frac {x^{2}-x -2-2 x^{3} \sqrt {x^{2}-4 x +4 y}}{-2 x -2} \end {array} \]
Maple trace
`Methods for first order ODEs: --- Trying classification methods --- trying homogeneous types: differential order: 1; looking for linear symmetries trying exact Looking for potential symmetries trying an equivalence to an Abel ODE trying 1st order ODE linearizable_by_differentiation -> Calling odsolve with the ODE`, diff(diff(y(x), x), x)-(2*x+3)*(diff(y(x), x))/(x*(x+1))-(1/2)*(4*x^7+x^3-x^2-8*x-6)/(x*(x+1)^2), Methods for second order ODEs: --- Trying classification methods --- trying a quadrature trying high order exact linear fully integrable -> Calling odsolve with the ODE`, diff(_b(_a), _a) = (1/2)*(4*_a^7+4*_b(_a)*_a^2+_a^3+10*_b(_a)*_a-_a^2+6*_b(_a)-8*_a-6)/(_a*(_a+ Methods for first order ODEs: --- Trying classification methods --- trying a quadrature trying 1st order linear <- 1st order linear successful <- high order exact linear fully integrable successful <- 1st order ODE linearizable_by_differentiation successful`
✓ Solution by Maple
Time used: 0.157 (sec). Leaf size: 39
dsolve(diff(y(x),x) = 1/2*(-x^2+x+2+2*x^3*(x^2-4*x+4*y(x))^(1/2))/(x+1),y(x), singsol=all)
\[ c_{1} +\frac {2 x^{3}}{3}-x^{2}-2 \ln \left (x +1\right )+2 x -\sqrt {x^{2}-4 x +4 y \left (x \right )} = 0 \]
✓ Solution by Mathematica
Time used: 1.264 (sec). Leaf size: 50
DSolve[y'[x] == (1 + x/2 - x^2/2 + x^3*Sqrt[-4*x + x^2 + 4*y[x]])/(1 + x),y[x],x,IncludeSingularSolutions -> True]
\[ y(x)\to \frac {1}{4} \left (-x^2+\frac {1}{9} \left (2 x^3-3 x^2+6 x+6 \log \left (\frac {1}{x+1}\right )-6 c_1\right ){}^2+4 x\right ) \]