MathGroup Archive 2007

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: bug in Integrate (5.2)

  • To: mathgroup at smc.vnet.net
  • Subject: [mg74942] Re: [mg74918] bug in Integrate (5.2)
  • From: Daniel Lichtblau <danl at wolfram.com>
  • Date: Thu, 12 Apr 2007 04:49:54 -0400 (EDT)
  • References: <200704110557.BAA02816@smc.vnet.net>

dimitris wrote:
> Consider the integral of the following function in [0,Infinity).
> 
> In[710]:=
> f[x_, a_, b_] := (ArcTan[x/a] - ArcTan[x/b])/x
> 
> The integrand can be proved that converges for a, b>0.
> [proof snipped --dl]
> 
> However Mathematica returns
> 
> In[725]:=
> Block[{Message}, Integrate[f[x, a, b], {x, 0, Infinity}]]
> 
> Out[725]=
> Infinity
> 
> result which came from a very bad performance of Mathematica's
> Integrate algorithm.
 >
> (The ommited message is Integrate::idiv, generated when Mathematica
> considers an integral
> divergent.)
> [...]

This has been discussed in past.

http://forums.wolfram.com/mathgroup/archive/2006/Sep/msg00468.html

To recap:

(1) Integrate can misjudge convergence and incorrectly claim divergence.
(2) As mentioned in the post at the above URL, if this happens, and if 
Message is blocked by Block, then Integrate can claim the result is 
infinite. This was a small (in my opinion) bug, fixed for the next release.

Daniel Lichtblau
Wolfram Research



  • Prev by Date: Re: Beginner--Help on Listing Values
  • Next by Date: Re: Clean-up code for packages
  • Previous by thread: bug in Integrate (5.2)
  • Next by thread: Re: bug in Integrate (5.2)