2.1.19 Problem 19

Internal problem ID [8731]
Book : Own collection of miscellaneous problems
Section : section 1.0
Problem number : 19
Date solved : Sunday, March 30, 2025 at 01:28:22 PM
CAS classification : [`y=_G(x,y')`]

Unknown ode type.

✗ Maple

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

$$\text{No solution found}$$

Maple trace

Methods for first order ODEs: 
--- Trying classification methods --- 
trying homogeneous types: 
differential order: 1; looking for linear symmetries 
trying exact 
Looking for potential symmetries 
trying an equivalence to an Abel ODE 
trying 1st order ODE linearizable_by_differentiation 
--- Trying Lie symmetry methods, 1st order --- 
   -> Computing symmetries using: way = 3 
   -> Computing symmetries using: way = 5 
trying symmetry patterns for 1st order ODEs 
-> trying a symmetry pattern of the form [F(x)*G(y), 0] 
-> trying a symmetry pattern of the form [0, F(x)*G(y)] 
-> trying symmetry patterns of the forms [F(x),G(y)] and [G(y),F(x)] 
-> trying a symmetry pattern of the form [F(x),G(x)] 
-> trying a symmetry pattern of the form [F(y),G(y)] 
-> trying a symmetry pattern of the form [F(x)+G(y), 0] 
-> trying a symmetry pattern of the form [0, F(x)+G(y)] 
-> trying a symmetry pattern of the form [F(x),G(x)*y+H(x)] 
-> trying a symmetry pattern of conformal type
 

Maple step by step

$$\begin{array}{lll}& & \text{Let’s solve}\\ & & \frac{d}{dx}y\left(x\right)=\sqrt{1-x^2-y{\left(x\right)}^2}\\ \bullet & & \text{Highest derivative means the order of the ODE is}1\\ & & \frac{d}{dx}y\left(x\right)\\ \bullet & & \text{Solve for the highest derivative}\\ & & \frac{d}{dx}y\left(x\right)=\sqrt{1-x^2-y{\left(x\right)}^2}\end{array}$$

✗ Mathematica

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

Not solved

✗ Sympy

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

NotImplementedError : The given ODE -sqrt(-x**2 - y(x)**2 + 1) + Derivative(y(x), x) cannot be solved by the lie group method