Internal
problem
ID
[13597]
Book
:
Handbook
of
exact
solutions
for
ordinary
differential
equations.
By
Polyanin
and
Zaitsev.
Second
edition
Section
:
Chapter
1,
section
1.3.
Abel
Equations
of
the
Second
Kind.
subsection
1.3.3-2.
Problem
number
:
49
Date
solved
:
Friday, December 19, 2025 at 07:59:04 AM
CAS
classification
:
[_rational, [_Abel, `2nd type`, `class B`]]
ode:=y(x)*diff(y(x),x)-6/5*a*(1+4*x)/x^(7/5)*y(x) = 1/5*a^2*(x-1)*(27*x+8)/x^(9/5); dsolve(ode,y(x), singsol=all);
Maple trace
Methods for first order ODEs: --- Trying classification methods --- trying a quadrature trying 1st order linear trying Bernoulli trying separable trying inverse linear trying homogeneous types: trying Chini differential order: 1; looking for linear symmetries trying exact trying Abel Looking for potential symmetries Looking for potential symmetries Looking for potential symmetries trying inverse_Riccati trying an equivalence to an Abel ODE differential order: 1; trying a linearization to 2nd order --- trying a change of variables {x -> y(x), y(x) -> x} differential order: 1; trying a linearization to 2nd order trying 1st order ODE linearizable_by_differentiation --- Trying Lie symmetry methods, 1st order --- -> Computing symmetries using: way = 3 -> Computing symmetries using: way = 4 -> Computing symmetries using: way = 2 trying symmetry patterns for 1st order ODEs -> trying a symmetry pattern of the form [F(x)*G(y), 0] -> trying a symmetry pattern of the form [0, F(x)*G(y)] -> trying symmetry patterns of the forms [F(x),G(y)] and [G(y),F(x)] -> Computing symmetries using: way = HINT -> Calling odsolve with the ODE, diff(y(x),x)-1/5/x*y(x)*(8*x+7)/(4*x+1), y( x) *** Sublevel 2 *** Methods for first order ODEs: --- Trying classification methods --- trying a quadrature trying 1st order linear <- 1st order linear successful -> Calling odsolve with the ODE, diff(y(x),x)+1/5*y(x)*(27*x^2+76*x+72)/(x-1 )/x/(27*x+8), y(x) *** Sublevel 2 *** Methods for first order ODEs: --- Trying classification methods --- trying a quadrature trying 1st order linear <- 1st order linear successful -> Computing symmetries using: way = HINT -> Calling odsolve with the ODE, diff(y(x),x), y(x) *** Sublevel 2 *** Methods for first order ODEs: --- Trying classification methods --- trying a quadrature trying 1st order linear <- 1st order linear successful -> Calling odsolve with the ODE, diff(y(x),x)+y(x)/x, y(x) *** Sublevel 2 *** Methods for first order ODEs: --- Trying classification methods --- trying a quadrature trying 1st order linear <- 1st order linear successful -> trying a symmetry pattern of the form [F(x),G(x)] -> trying a symmetry pattern of the form [F(y),G(y)] -> trying a symmetry pattern of the form [F(x)+G(y), 0] -> trying a symmetry pattern of the form [0, F(x)+G(y)] -> trying a symmetry pattern of the form [F(x),G(x)*y+H(x)] -> trying a symmetry pattern of conformal type
Maple step by step
ode=y[x]*D[y[x],x]-6/5*a*(4*x+1)*x^(-7/5)*y[x]==1/5*a^2*(x-1)*(27*x+8)*x^(-9/5); ic={}; DSolve[{ode,ic},y[x],x,IncludeSingularSolutions->True]
Timed out
from sympy import * x = symbols("x") a = symbols("a") y = Function("y") ode = Eq(-a**2*(x - 1)*(27*x + 8)/(5*x**(9/5)) - 6*a*(4*x + 1)*y(x)/(5*x**(7/5)) + y(x)*Derivative(y(x), x),0) ics = {} dsolve(ode,func=y(x),ics=ics)
Timed Out
Python version: 3.12.3 (main, Aug 14 2025, 17:47:21) [GCC 13.3.0] Sympy version 1.14.0