60.1.353 problem 360

Internal problem ID [10367]
Book : Differential Gleichungen, E. Kamke, 3rd ed. Chelsea Pub. NY, 1948
Section : Chapter 1, linear first order
Problem number : 360
Date solved : Sunday, March 30, 2025 at 04:28:27 PM
CAS classification : [_quadrature]

\begin{align*} y^{\prime } \cos \left (a y\right )-b \left (1-c \cos \left (a y\right )\right ) \sqrt {\cos \left (a y\right )^{2}-1+c \cos \left (a y\right )}&=0 \end{align*}

Maple. Time used: 0.002 (sec). Leaf size: 50
ode:=diff(y(x),x)*cos(a*y(x))-b*(1-c*cos(a*y(x)))*(cos(a*y(x))^2-1+c*cos(a*y(x)))^(1/2) = 0; 
dsolve(ode,y(x), singsol=all);
 
\[ \frac {\int _{}^{y}\frac {\cos \left (a \textit {\_a} \right )}{\sqrt {c \cos \left (a \textit {\_a} \right )-\sin \left (a \textit {\_a} \right )^{2}}\, \left (c \cos \left (a \textit {\_a} \right )-1\right )}d \textit {\_a} +\left (x +c_1 \right ) b}{b} = 0 \]
Mathematica. Time used: 28.015 (sec). Leaf size: 504
ode=-(b*(1 - c*Cos[a*y[x]])*Sqrt[-1 + c*Cos[a*y[x]] + Cos[a*y[x]]^2]) + Cos[a*y[x]]*D[y[x],x]==0; 
ic={}; 
DSolve[{ode,ic},y[x],x,IncludeSingularSolutions->True]
 
\begin{align*} y(x)\to \text {InverseFunction}\left [-\frac {i (\cos (\text {$\#$1} a)+1) \sqrt {\frac {2 c \cos (\text {$\#$1} a)+\cos (2 \text {$\#$1} a)-1}{(\cos (\text {$\#$1} a)+1)^2}} \sqrt {\frac {c \tan ^2\left (\frac {\text {$\#$1} a}{2}\right )+\sqrt {c^2+4}+2}{\sqrt {c^2+4}+2}} \sqrt {1-\frac {c \tan ^2\left (\frac {\text {$\#$1} a}{2}\right )}{\sqrt {c^2+4}-2}} \left ((c-1) \operatorname {EllipticF}\left (i \text {arcsinh}\left (\sqrt {-\frac {c}{\sqrt {c^2+4}-2}} \tan \left (\frac {a \text {$\#$1}}{2}\right )\right ),\frac {2-\sqrt {c^2+4}}{\sqrt {c^2+4}+2}\right )+2 \operatorname {EllipticPi}\left (\frac {(c+1) \left (\sqrt {c^2+4}-2\right )}{(c-1) c},i \text {arcsinh}\left (\sqrt {-\frac {c}{\sqrt {c^2+4}-2}} \tan \left (\frac {a \text {$\#$1}}{2}\right )\right ),\frac {2-\sqrt {c^2+4}}{\sqrt {c^2+4}+2}\right )\right )}{a \left (c^2-1\right ) \sqrt {\frac {c}{4-2 \sqrt {c^2+4}}} \sqrt {2 c \cos (\text {$\#$1} a)+\cos (2 \text {$\#$1} a)-1} \sqrt {-c \tan ^4\left (\frac {\text {$\#$1} a}{2}\right )-4 \tan ^2\left (\frac {\text {$\#$1} a}{2}\right )+c}}\&\right ]\left [-\frac {b x}{\sqrt {2}}+c_1\right ] \\ y(x)\to -\frac {\arccos \left (\frac {1}{c}\right )}{a} \\ y(x)\to \frac {\arccos \left (\frac {1}{c}\right )}{a} \\ y(x)\to -\frac {\arccos \left (\frac {1}{2} \left (-\sqrt {c^2+4}-c\right )\right )}{a} \\ y(x)\to \frac {\arccos \left (\frac {1}{2} \left (-\sqrt {c^2+4}-c\right )\right )}{a} \\ y(x)\to -\frac {\arccos \left (\frac {1}{2} \left (\sqrt {c^2+4}-c\right )\right )}{a} \\ y(x)\to \frac {\arccos \left (\frac {1}{2} \left (\sqrt {c^2+4}-c\right )\right )}{a} \\ \end{align*}
Sympy
from sympy import * 
x = symbols("x") 
a = symbols("a") 
b = symbols("b") 
c = symbols("c") 
y = Function("y") 
ode = Eq(-b*(-c*cos(a*y(x)) + 1)*sqrt(c*cos(a*y(x)) + cos(a*y(x))**2 - 1) + cos(a*y(x))*Derivative(y(x), x),0) 
ics = {} 
dsolve(ode,func=y(x),ics=ics)
 
Timed Out