Internal
problem
ID
[13595]
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
:
46
Date
solved
:
Friday, December 19, 2025 at 07:54:25 AM
CAS
classification
:
[_rational, [_Abel, `2nd type`, `class B`]]
ode:=y(x)*diff(y(x),x)-1/13*a*(6*x-13)/x^(5/2)*y(x) = -1/26*a^2*(x-1)*(x-13)/x^4; 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/2*y(x)/x*(18*x-65)/(6*x-13), 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)-2*y(x)*(x^2-21*x+26)/x/(x^(1/2 )-1)/(x^(1/2)+1)/(x-13), 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]-1/13*a*(6*x-13)*x^(-5/2)*y[x]==-1/26*a^2*(x-1)*(x-13)*x^(-4); ic={}; DSolve[{ode,ic},y[x],x,IncludeSingularSolutions->True]
Not solved
from sympy import * x = symbols("x") a = symbols("a") y = Function("y") ode = Eq(a**2*(x - 13)*(x - 1)/(26*x**4) - a*(6*x - 13)*y(x)/(13*x**(5/2)) + 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