Re: Re: Limit bug?
- To: mathgroup at smc.vnet.net
- Subject: [mg65961] Re: [mg65911] Re: [mg65904] Limit bug?
- From: "Erickson Paul-CPTP18" <Paul.Erickson at Motorola.com>
- Date: Mon, 24 Apr 2006 06:02:37 -0400 (EDT)
- Sender: owner-wri-mathgroup at wolfram.com
- Thread-index: AcZm0GF3Ej5K8sXkQ/KBlpJC2J0NwAAc7WXg
An explanation? No, but ...
There appear to be a several other ways to force the evaluation, like:
Limit[x - Log[Cosh[x]], x -> â??] // FullSimplify
or noting the negative can be pulled outside, so
-Limit[ Log[Cosh[x]] - x, x -> Infinity]
But I do find it curious since:
In[5]:=
Limit[ Log[Cosh[x]] - x, x -> Infinity]//Trace
Out[5]=
{{Log[Cosh[x]]-x,-x+Log[Cosh[x]]},{{â??,â??},x\[Rule]â??,x\[Rule]â??},Limit[-x+Log[
Cosh[x]],x\[Rule]â??],-Log[2]}
Simplifies to the same form (but each term negative) ...
Paul
-----Original Message-----
From: Bob Hanlon [mailto:hanlonr at cox.net]
To: mathgroup at smc.vnet.net
Subject: [mg65961] [mg65911] Re: [mg65904] Limit bug?
I don't know why the second form does not evaluate but you can force it with TrigToExp
Limit[TrigToExp[x - Log[Cosh[x]]], x->Infinity]
log(2)
Bob Hanlon
>
> From: "Ray Koopman" <koopman at sfu.ca>
To: mathgroup at smc.vnet.net
> Subject: [mg65961] [mg65911] [mg65904] Limit bug?
>
> Does anyone have an explanation for this?
> I was expecting Out[2] to be Log[2].
>
> In[1]:= Limit[ Log[Cosh[x]] - x, x -> Infinity]
>
> Out[1]= -Log[2]
>
> In[2]:= Limit[ x - Log[Cosh[x]], x -> Infinity]
>
> Out[2]= Limit[x-Log[Cosh[x]],x\[Rule]\[Infinity]]
>
>