Question: Why Maple gives solution to Euler ode which has no solution?

This second order (Euler type) ode has no solution for the given two initial conditions. but Maple gives solution with one unresolved constant of integration.

ode:=x^2*diff(y(x),x$2)-2*y(x)=0;
ic:=y(0)=4,D(y)(0)=-1;

sol_no_IC:=dsolve(ode)

The IC's are given at x=0 as a trick to see what Maple will do. We see that at x=0 there is division by zero. So no solution exist for these IC's. But see what happens

sol_with_IC:=dsolve([ode,ic])

It seems Maple simply threw away the part of the solution it could not handle due to the x=0 and just returned the rest.

odetest(sol_with_IC,[ode,ic])

The correct answer should have been the NULL solution (i.e. no solution). 

What Am I missing here? Why does Maple do this? Should Maple have returned such a solution?

Maple 2024 on windows 10.

update:

Reported to Maplesoft support.

update:

Here is another example ode. This is first order ode. Maple gives a solution that does not satisfy the initial condition also. I wish I can understand how Maple comes up with these solutions since when I solve these by hand I see it is not possible to satisfy the IC, hence no solution exist.

14876

interface(version);

`Standard Worksheet Interface, Maple 2024.0, Windows 10, March 01 2024 Build ID 1794891`

Physics:-Version();

`The "Physics Updates" version in the MapleCloud is 1722 and is the same as the version installed in this computer, created 2024, April 12, 17:58 hours Pacific Time.`

restart;

14876

ode:=diff(y(x),x)+y(x)/x=x^2;
ic:=y(0)=a;

diff(y(x), x)+y(x)/x = x^2

y(0) = a

dsolve(ode)

y(x) = ((1/4)*x^4+c__1)/x

sol:=dsolve([ode,ic])

y(x) = (1/4)*x^3

odetest(sol,[ode,ic])

[0, a]

Student:-ODEs:-ODESteps([ode,ic])

Error, (in Student:-ODEs:-applyICO1) numeric exception: division by zero

 

 

Download another_strange_solution_ode_maple_2024.mw

Please Wait...