Question: How is Maple able to arrive at an exact solution to int[y'(x)*(x^2)/(x^2 -1)] =(int[sqrt(y(x))])^(-2/3) ?

For this integro-differential equation,

Equation:= int[y'(x)* (x^2)/[(x^2)-1],x)  =  (int[sqrt(y(x)])^(-2/3)

Maple is able to obtain an exact intrinsic solution

from which an exact solution can be extracted, namely,

ExtrinsicSolution:= y(x) = sqrt(3)*(-8*_C1*x^(8/3) + 12*x^2 - 3)^(3/4)

My question concerns how was this solution obtained.

Even more, specifically, 'odeadvisor' suggests converting the

equation in question to the form

ode:= y = G(x,diff(y(x),x));

However, I cannot reconcile how this can be applied to an equation which

contains two integrals. (Regretably, I am not able to directly, attach my

Maple worksheet directly on to this sheet). The situation is that after

applying 'dsolve' to the above 'Equation', Maple comes back with an

intrinsic solution which can was used to obtain the 'ExtrinsicSolution' in 

the above.  So it is the missing steps between applyingthe dsolve command

to Equation and the intrinsic solution which MS provides which, in turn, leads

to the 'Extrinsic Solution' above. I would greatly, appreciate if anyone can 

fill in the missing steps.

Please Wait...