Internal problem ID [12339]
Book: Ordinary Differential Equations by Charles E. Roberts, Jr. CRC Press. 2010
Section: Chapter 2. The Initial Value Problem. Exercises 2.2, page 53
Problem number: 23.
ODE order: 1.
ODE degree: 1.
CAS Maple gives this as type [_separable]
\[ \boxed {y^{\prime }+x \sqrt {-y^{2}+1}=0} \] With initial conditions \begin {align*} [y \left (0\right ) = 1] \end {align*}
✓ Solution by Maple
Time used: 0.0 (sec). Leaf size: 5
dsolve([diff(y(x),x)=-x*sqrt(1-y(x)^2),y(0) = 1],y(x), singsol=all)
\[ y \left (x \right ) = 1 \]
✓ Solution by Mathematica
Time used: 0.003 (sec). Leaf size: 6
DSolve[{y'[x]==-x*Sqrt[1-y[x]^2],{y[0]==1}},y[x],x,IncludeSingularSolutions -> True]
\[ y(x)\to 1 \]