Re: Re-defining Log over it's branch cut

• To: mathgroup at smc.vnet.net
• Subject: [mg77642] Re: Re-defining Log over it's branch cut
• From: chuck009 <dmilioto at comcast.com>
• Date: Thu, 14 Jun 2007 05:28:25 -0400 (EDT)

```Thanks guys.  I checked it on my machine (5.2) as well and seems Carl's technique works with 6.0.  Little involved though.  Maybe for now, it's not too bad to code it directly.  For example, when I integrate the Zeta integral  on the lower leg of the contour, I just enter:

NIntegrate[Exp[(s - 1)(Log[r] - Pi I)]/(Exp[r] - 1), {r, 1, Infinity}]

same on the upper leg with z=r Exp[Pi I] and on the route around the branch point, I can use the technique  with ContourNIntegrate that was described in another post.

> Hello.Carl Woll's solution is very smart.
>
> Limit[z^(s - 1) /. z -> r Exp[-I (Pi -eps)], eps ->
> 0, Assumptions ->
> r > 0]
> E^((-1 + s)*((-I)*Pi + Log[r]))
>
> But I guess he used Mathematica 6, since in 5.2 I get
>
> In[17]:=
> Limit[z^(s - 1) /. z -> r*Exp[(-I)*(Pi - eps)], eps
> -> 0, Assumptions -
> > r > 0]
>
> Out[17]=
> (-r)^(-1 + s)
>
> So let's see what can I do (until upgrading!).
>
> In[18]:=
> PowerExpand[Limit[z^(s - 1), z -> r*Exp[e*I]]]
> % /. E^(b_Times) :> ComplexExpand[E^b]
> TrigToExp[% /. e -> Pi]
> TrigToExp[%% /. e -> -Pi]
>
> Out[18]=
> E^(I*e*(-1 + s))*r^(-1 + s)
>
> Out[19]=
> r^(-1 + s)*(Cos[e*(-1 + s)] + I*Sin[e*(-1 + s)])
>
> Out[20]=
> E^(I*Pi*(-1 + s))*r^(-1 + s)
>
> Out[21]=
> r^(-1 + s)/E^(I*Pi*(-1 + s))
>
> Everything is how you desired!
>
> Regards
> Dimitris
>
>

```

• Prev by Date: Re: Integral that Mathematica 5.1 can do and Mathematica 6 cannot do (2)
• Next by Date: Re: Re: What is the compatibility guide?
• Previous by thread: Re: Re-defining Log over it's branch cut
• Next by thread: New release of package SNEG