Internal
problem
ID
[10291]
Book
:
First
order
enumerated
odes
Section
:
section
1
Problem
number
:
33
Date
solved
:
Monday, March 09, 2026 at 03:29:31 AM
CAS
classification
:
[_quadrature]
0.096 (sec)
Entering first order ode quadrature solver
Since the ode has the form \(y^{\prime }=f(x)\), then we only need to integrate \(f(x)\).
Summary of solutions found
0.204 (sec)
Entering first order ode homog type D2 solver
Applying change of variables \(y = u \left (x \right ) x\), then the ode becomes
Which is now solved The ode
is separable as it can be written as
Where
Integrating gives
Taking the exponential of both sides the solution becomes
We now need to find the singular solutions, these are found by finding for what values \(g(u)\) is zero, since we had to divide by this above. Solving \(g(u)=0\) or
for \(u \left (x \right )\) gives
Now we go over each such singular solution and check if it verifies the ode itself and any initial conditions given. If it does not then the singular solution will not be used.
Therefore the solutions found are
Converting \(u \left (x \right ) = \frac {c_1}{x}\) back to \(y\) gives
Converting \(u \left (x \right ) = 0\) back to \(y\) gives
Summary of solutions found
ode:=exp(1)*diff(y(x),x) = 0; dsolve(ode,y(x), singsol=all);
Maple trace
Methods for first order ODEs: --- Trying classification methods --- trying a quadrature <- quadrature successful
Maple step by step
ode=Exp[1]*D[y[x],x]==0; ic={}; DSolve[{ode,ic},y[x],x,IncludeSingularSolutions->True]
from sympy import * x = symbols("x") y = Function("y") ode = Eq(E*Derivative(y(x), x),0) ics = {} dsolve(ode,func=y(x),ics=ics)
Python version: 3.12.3 (main, Aug 14 2025, 17:47:21) [GCC 13.3.0] Sympy version 1.14.0
classify_ode(ode,func=y(x)) ('factorable', 'nth_algebraic', 'separable', '1st_exact', '1st_linear', 'Bernoulli', '1st_homogeneous_coeff_best', '1st_homogeneous_coeff_subs_indep_div_dep', '1st_homogeneous_coeff_subs_dep_div_indep', '1st_power_series', 'lie_group', 'nth_linear_constant_coeff_homogeneous', 'nth_linear_euler_eq_homogeneous', 'nth_algebraic_Integral', 'separable_Integral', '1st_exact_Integral', '1st_linear_Integral', 'Bernoulli_Integral', '1st_homogeneous_coeff_subs_indep_div_dep_Integral', '1st_homogeneous_coeff_subs_dep_div_indep_Integral')