MathGroup Archive 2005

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

Search the Archive

Re: limit problem

On 23 Jul 2005, at 11:32, Chris Chiasson wrote:

> Dear MathGroup,
> Honestly, I see no reason why this should return "unevaluated"  
> instead of zero.
> FullSimplify[Limit[E^(-R t),t\[Rule]Infinity],Infinity>R>0&&Element 
> [R,Reals]]
> 5.2 on windows
> Regards,
> -- 
> Chris Chiasson
> 1 (810) 265-3161

There is no "mathematical" reason of course but there is a  
"Mathematica reason". First note that

Limit[E^((-R)*t), t -> Infinity, Assumptions -> R > 0]


which is, in fact, the only assumption you need. However, what  
happens in your case is that you ask first Mathematica to evaluate  
Limit without any assumptions on R. If Mathematica at this point  
returned a conditional answer in the form

If[R>0,0,Limit[E^(-R t),t->Infinity]] or something of that kind than  
indeed you would have got:

FullSimplify[If[R > 0, 0, Limit[E^(-(R*t)),
     t -> Infinity]], Infinity > R > 0 && R â?? Reals]


Unfortunately Mathematica returns an unconditional answer (the  
original input) and applying FullSimplify with assumptions has no  
effect because FullSimplify does not  simplify Limits (I think!).

Andrzej Kozlowski

  • Prev by Date: Re: problem with Delete[]
  • Next by Date: Re: simple question about random
  • Previous by thread: Re: limit problem
  • Next by thread: Re: limit problem