Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Integrate with elliptic integral special function in result

I'm trying to work with the following integral:

$$\int\sqrt{1-\frac14(\cosh x)^2}\mathrm dx$$

Feeding this to sage as integrate(sqrt(1-1/4*cosh(x)^2),x) leaves it pretty much as it stands. Feeding the same to Wolfram Alpha, I get a solution which at least at first glance looks better:

$$\int\sqrt{1-\frac14(\cosh x)^2}\mathrm dx=-\frac12i\sqrt3E\left(ix\Big\vert-\frac13\right)$$

So I wonder:

  • Is there a way to obtain this kind of output using sage? (This is my main question.)
  • In particular, is there a way to manually indicate that a given integral can likely be expressed in terms of elliptic integral functions, and that these would be of interest?
  • Are these elliptic integral functions even available at all inside sage? If they are, under what name?
  • Is there any benefit in using these special elliptic integral functions, as opposed to (a numeric_integral version of) the original integral, in terms of performance or accuracy when dealing with actual numeric data?
click to hide/show revision 2
retagged

Integrate with elliptic integral special function in result

I'm trying to work with the following integral:

$$\int\sqrt{1-\frac14(\cosh x)^2}\mathrm dx$$

Feeding this to sage as integrate(sqrt(1-1/4*cosh(x)^2),x) leaves it pretty much as it stands. Feeding the same to Wolfram Alpha, I get a solution which at least at first glance looks better:

$$\int\sqrt{1-\frac14(\cosh x)^2}\mathrm dx=-\frac12i\sqrt3E\left(ix\Big\vert-\frac13\right)$$

So I wonder:

  • Is there a way to obtain this kind of output using sage? (This is my main question.)
  • In particular, is there a way to manually indicate that a given integral can likely be expressed in terms of elliptic integral functions, and that these would be of interest?
  • Are these elliptic integral functions even available at all inside sage? If they are, under what name?
  • Is there any benefit in using these special elliptic integral functions, as opposed to (a numeric_integral version of) the original integral, in terms of performance or accuracy when dealing with actual numeric data?