10.5.9 problem 9

Internal problem ID [1201]
Book : Elementary differential equations and boundary value problems, 10th ed., Boyce and DiPrima
Section : Section 2.6. Page 100
Problem number : 9
Date solved : Saturday, March 29, 2025 at 10:46:13 PM
CAS classification : [_exact]

\begin{align*} 2 x -2 \,{\mathrm e}^{x y} \sin \left (2 x \right )+{\mathrm e}^{x y} \cos \left (2 x \right ) y+\left (-3+{\mathrm e}^{x y} x \cos \left (2 x \right )\right ) y^{\prime }&=0 \end{align*}

✓ Maple. Time used: 0.015 (sec). Leaf size: 35

ode:=2*x-2*exp(x*y(x))*sin(2*x)+exp(x*y(x))*cos(2*x)*y(x)+(-3+exp(x*y(x))*x*cos(2*x))*diff(y(x),x) = 0; 
dsolve(ode,y(x), singsol=all);
 

\[ y = \frac {x^{3}+c_1 x -3 \operatorname {LambertW}\left (-\frac {x \cos \left (2 x \right ) {\mathrm e}^{\frac {x \left (x^{2}+c_1 \right )}{3}}}{3}\right )}{3 x} \]

✓ Mathematica. Time used: 60.568 (sec). Leaf size: 48

ode=2*x-2*Exp[x*y[x]]*Sin[2*x]+Exp[x*y[x]]*Cos[2*x]*y[x]+(-3+Exp[x*y[x]]*x*Cos[2*x])*D[y[x],x] == 0; 
ic={}; 
DSolve[{ode,ic},y[x],x,IncludeSingularSolutions->True]
 

\[ y(x)\to \frac {-3 W\left (-\frac {1}{3} x e^{\frac {1}{3} x \left (x^2-c_1\right )} \cos (2 x)\right )+x^3-c_1 x}{3 x} \]

✗ Sympy

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

Timed Out