Advanced Search

Question: workaround for Maple unable to verify its own solution for series?

Question:workaround for Maple unable to verify its own solution for series?

nm 11333 Maple 2025
ode dsolve series differential-equations odetest
April 13 2025
2

I've reported this problem to Maple many years ago but still not fixed in Maple 2025.

Maple not able to verify its own solution on some series solutions using odetest.

Any one can suggest a workaround one can use other than odetest to verify ode solution when using series? Or have an idea why this happens?

The solution is correct but for some reason odetest returns FAIL 

Below is one example of many I have

> 

restart;
> 

interface(version);

`Standard Worksheet Interface, Maple 2025.0, Linux, March 24 2025 Build ID 1909157`

> 

 

> 

Physics:-Version();

`The "Physics Updates" version in the MapleCloud is 1861 and is the same as the version installed in this computer, created 2025, April 10, 15:58 hours Pacific Time.`

> 

ode:=x*diff(y(x),x$2)+y(x)=0;
IC:=y(0)=1;
maple_sol:=dsolve([ode,IC],y(x),'series');
odetest(maple_sol,[ode,IC],'series','point'=0);

x*(diff(diff(y(x), x), x))+y(x) = 0

y(0) = 1

y(x) = c__1*x*(series(1-(1/2)*x+(1/12)*x^2-(1/144)*x^3+(1/2880)*x^4-(1/86400)*x^5+O(x^6),x,6))+ln(x)*(series(-x+(1/2)*x^2-(1/12)*x^3+(1/144)*x^4-(1/2880)*x^5+O(x^6),x,6))+(series(1-(3/4)*x^2+(7/36)*x^3-(35/1728)*x^4+(101/86400)*x^5+O(x^6),x,6))

Warning, unable to compute series necessary to test the given solution

FAIL

 

 

Download series_unable_to_odetest_april_12_2025.mw
Please Wait...