MathGroup Archive 2007

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

Search the Archive

Re: Mathematica not considering an assumption


matematica65 at gmail.com wrote:

> Assuming[a < 0,Integrate[x^a, {x, 5, 6}]}]
------------------------------------------^
Syntax error: extraneous curly bracket.

> This Integral, for a = -1, is equal to Log(6/5)
> 
> Why doesn't Mathematica report it?

Usually, functions like *Integrate* return the most general solution, 
solution applicable in most cases, without returning any constants of 
integration or restrictions on the domain or special cases. For 
instance, integrating 1/x just return the antiderivative Log[x], which 
obviously does not work for x == 0 (or x < 0 if we restrict ourself to 
the reals).

In[1]:= Integrate[1/x, x]

Out[1]= Log[x]

In[2]:= Assuming[a < 0, Integrate[x^a, {x, 5, 6}]]

Out[2]= (-5^(1 + a) + 6^(1 + a))/(1 + a)

In[3]:= Limit[%, a -> -1, Direction -> -1]

Out[3]= Log[6/5]

In[4]:= Limit[%, a -> -1, Direction -> +1]

Out[4]= Log[6/5]

In[5]:= Integrate[x^(-1), {x, 5, 6}]

Out[5]= Log[6/5]

Regards,
-- 
Jean-Marc


  • Prev by Date: Re: Ordering function weird?
  • Next by Date: Re: Ordering function weird?
  • Previous by thread: Re: Mathematica not considering an assumption
  • Next by thread: Re: Mathematica not considering an assumption