v = -2 .. -2/3)

Then J = -8/3*EllipticK(1/3) + 8/3*EllipticPi(-1/3,1/3) + 3*EllipticE(1/3)

That integral caught my attention through a private discussion. Both MMA and Maple
only succeded up to a limit in the lower boundary, which could not be determined.

Re-writing the integrand as A/(polynomial of degree 4) using the command 'rationalize'
and simplifying (assuming the boundaries for the variable) one can use a presentation
as real partial fraction for 1/B by 'convert(1/B, parfrac, v)'.

Then Maple finds the integrals for A*(each summand) and adding gives the above.

After playing a bit more I recognized, that Maple sees Elliptics as integrals over
the unit interval (by definition). Which motivated me to transform the task to that.

And - astonishingly - Maple finds the answer:

  `` = IntegrationTools[Change](%, x = 3/4*v+3/2, x); # over the unit interval

      -8/3*EllipticK(1/3) + 8/3*EllipticPi(-1/3,1/3) + 3*EllipticE(1/3)

Is there any reason, why the system does not try that (just forgotten to be done)?

Please Wait...