29.25.30 problem 727

Internal problem ID [5317]
Book : Ordinary differential equations and their solutions. By George Moseley Murphy. 1960
Section : Various 25
Problem number : 727
Date solved : Sunday, March 30, 2025 at 07:54:58 AM
CAS classification : [_separable]

\begin{align*} \left (y+\sqrt {1+y^{2}}\right ) \left (x^{2}+1\right )^{{3}/{2}} y^{\prime }&=1+y^{2} \end{align*}

✓ Maple. Time used: 0.048 (sec). Leaf size: 28

ode:=(y(x)+(1+y(x)^2)^(1/2))*(x^2+1)^(3/2)*diff(y(x),x) = 1+y(x)^2; 
dsolve(ode,y(x), singsol=all);
 

\[ \frac {x}{\sqrt {x^{2}+1}}-\operatorname {arcsinh}\left (y\right )-\frac {\ln \left (1+y^{2}\right )}{2}+c_1 = 0 \]

✓ Mathematica. Time used: 15.089 (sec). Leaf size: 115

ode=(y[x]+Sqrt[1+y[x]^2])(1+x^2)^(3/2) D[y[x],x]==1+y[x]^2; 
ic={}; 
DSolve[{ode,ic},y[x],x,IncludeSingularSolutions->True]
 

\begin{align*} y(x)\to -\frac {i \left (1+e^{\frac {x}{\sqrt {x^2+1}}+c_1}\right )}{\sqrt {1+2 e^{\frac {x}{\sqrt {x^2+1}}+c_1}}} \\ y(x)\to \frac {i \left (1+e^{\frac {x}{\sqrt {x^2+1}}+c_1}\right )}{\sqrt {1+2 e^{\frac {x}{\sqrt {x^2+1}}+c_1}}} \\ y(x)\to -i \\ y(x)\to i \\ \end{align*}

✓ Sympy. Time used: 1.279 (sec). Leaf size: 26

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

\[ - \frac {x}{\sqrt {x^{2} + 1}} + \frac {\log {\left (y^{2}{\left (x \right )} + 1 \right )}}{2} + \operatorname {asinh}{\left (y{\left (x \right )} \right )} = C_{1} \]