# Question:why Maple sometimes solves an ode using method different than what odeadvisor gives?

## Question:why Maple sometimes solves an ode using method different than what odeadvisor gives?

Maple 2024

I noticed sometimes Maple dsolve solves an ode using a method different than what odeadvisor says it is.

In this example ode, advisor said it is separable. But when solving it, dsolve actually solved it as dAlembert.

Why is that? Should not these be the same?

I also noticed Maple does not verify the solution of the ode when asked to solve it as separable, which is what the advisor says. But it does verify the solution using dAlembert.

So in this example, should not advisor have said this ode is dAlembert and not separable then?

 > interface(version);

 > Physics:-Version();

 > ode:=y(x) = x + 3*ln(diff(y(x), x)); DEtools:-odeadvisor(ode);

 > infolevel[dsolve]:=5: sol_1:=dsolve(ode);

Methods for first order ODEs:

-> Solving 1st order ODE of high degree, 1st attempt

trying 1st order WeierstrassP solution for high degree ODE

trying 1st order WeierstrassPPrime solution for high degree ODE

trying 1st order JacobiSN solution for high degree ODE

trying 1st order ODE linearizable_by_differentiation

trying differential order: 1; missing variables

trying d'Alembert

<- d'Alembert successful

 > map(X->odetest(X,ode),[sol_1]);

 > sol_2:=dsolve(ode,[separable]);

Classification methods on request

Methods to be used are: [separable]

----------------------------

* Tackling ODE using method: separable

--- Trying classification methods ---

trying separable

<- separable successful

 > #notice, solution does not verify. odetest(sol_2,ode);