# improper integral error?

Is there an alternative way to calculate this improper integral?

integral(log(x)/(x^2 - 1),x,0,infinity)

the integral is convergent to pi^2/4 but Sage says divergent.

edit retag close merge delete

Sort by » oldest newest most voted

Always try the other available "algorithms":

sage: integral(log(x)/(x^2 - 1),x,0,infinity, algorithm='mathematica_free')
-1/2*log(x + 1)*log(x) - 1/2*polylog(2, -x) - 1/2*polylog(2, -x + 1)

more

Though this algorithm requires the internet. Interestingly, using algorithm='sympy' gives AttributeError: 'NonElementaryIntegral' object has no attribute '_sage_'.

( 2015-03-11 10:06:55 -0500 )edit

Unfortunately, the mathematica_free algorithm will not work from within Sage Math Cloud with current connection settings.

( 2015-03-11 10:10:25 -0500 )edit

But the correct answer is a numerical value or exact expression pi^2/4. So, algorithm = 'mathematica_free' doesn't work.

( 2015-03-11 11:39:28 -0500 )edit

With the algorithm set to mathematica_free, Sage is returning the antiderivative even though you are asking for the improper integral. You can get the improper integral by doing the following:

f=integral(log(x)/(x^2 - 1),x,algorithm='mathematica_free')
limit(f,x=oo)-limit(f,x=0)


This returns pi^2/4.

more