60.7.95 problem 1707 (book 6.116)

Internal problem ID [11645]
Book : Differential Gleichungen, E. Kamke, 3rd ed. Chelsea Pub. NY, 1948
Section : Chapter 6, non-linear second order
Problem number : 1707 (book 6.116)
Date solved : Sunday, March 30, 2025 at 08:32:36 PM
CAS classification : [NONE]

\begin{align*} y^{\prime \prime } y-{y^{\prime }}^{2}+f^{\prime }\left (x \right ) y^{\prime }-f^{\prime \prime }\left (x \right ) y+f \left (x \right ) y^{3}-y^{4}&=0 \end{align*}

✗ Maple

ode:=diff(diff(y(x),x),x)*y(x)-diff(y(x),x)^2+diff(f(x),x)*diff(y(x),x)-diff(diff(f(x),x),x)*y(x)+f(x)*y(x)^3-y(x)^4 = 0; 
dsolve(ode,y(x), singsol=all);
 

\[ \text {No solution found} \]

✓ Mathematica. Time used: 57.597 (sec). Leaf size: 245

ode=f[x]*y[x]^3 - y[x]^4 + Derivative[1][f][x]*D[y[x],x] - D[y[x],x]^2 - y[x]*Derivative[2][f][x] + y[x]*D[y[x],{x,2}] == 0; 
ic={}; 
DSolve[{ode,ic},y[x],x,IncludeSingularSolutions->True]
 

\begin{align*} y(x)\to -\frac {\exp \left (c_2-\int _1^x\frac {y(K[3])^4-f(K[3]) y(K[3])^3+\left (c_1+\int _1^{K[3]}\frac {-y(K[1])^4+f(K[1]) y(K[1])^3-f''''(K[1]) y(K[1])+f''(K[1]) y''(K[1])}{y(K[1])^2}dK[1]\right ){}^2 y(K[3])^2+f''''(K[3]) y(K[3])-f''(K[3]) y''(K[3])}{y(K[3])^2 \left (c_1+\int _1^{K[3]}\frac {-y(K[1])^4+f(K[1]) y(K[1])^3-f''''(K[1]) y(K[1])+f''(K[1]) y''(K[1])}{y(K[1])^2}dK[1]\right )}dK[3]\right )}{\int _1^x\frac {-y(K[1])^4+f(K[1]) y(K[1])^3-f''''(K[1]) y(K[1])+f''(K[1]) y''(K[1])}{y(K[1])^2}dK[1]+c_1} \\ y(x)\to 0 \\ \end{align*}

✗ Sympy

from sympy import * 
x = symbols("x") 
y = Function("y") 
f = Function("f") 
ode = Eq(f(x)*y(x)**3 - y(x)**4 - y(x)*Derivative(f(x), (x, 2)) + y(x)*Derivative(y(x), (x, 2)) + Derivative(f(x), x)*Derivative(y(x), x) - Derivative(y(x), x)**2,0) 
ics = {} 
dsolve(ode,func=y(x),ics=ics)
 

NotImplementedError : The given ODE -sqrt(4*f(x)*y(x)**3 - 4*y(x)**4 - 4*y(x)*Derivative(f(x), (x, 2)) + 4*y(x)*Derivative(y(x), (x, 2)) + Derivative(f(x), x)**2)/2 - Derivative(f(x), x)/2 + Derivative(y(x), x) cannot be solved by the factorable group method