Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Inversion Lerch Phi
Replies: 38   Last Post: May 27, 2012 2:36 PM

 Messages: [ Previous | Next ]
 did Posts: 80 Registered: 9/14/05
Re: Inversion Lerch Phi
Posted: Apr 15, 2012 6:40 AM

On 4/15/12 12:01 PM, clicliclic@freenet.de wrote:
> Sure, one can always switch between formulae whose domains of validity
> are nonoverlapping by means of IF statements or constructs like the
> Heaviside function. In particular, your formular seems to supply an
> additive correction to the Hurwitz zeta function when its second
> argument goes "out of range". But this means introducing nonanalytic
> objects into complex analysis ...

You are right. If I remember correctly, you can split my formula into
two purely analytic ones, with a condition on the range of the argument
of z-1. Heaviside's function is not less analytical than a IF
statement, it is a IF statement under disguise.

> Actually, for the polylogarithm inversion formula, it is computationally
> simpler to just switch between the two versions in the Wikipedia
> article. It is still simpler to introduce
>
> CuteLog(z) = Log(z) if z not in ]0;-1],
> = -Log(1/z) if z not in ]-1;-inf[,
>
> which remains an analytic function (there is no contradiction where the
> domains overlap), and to compute
>
> polylog(s,z) + (-1)^s*polylog(s,1/z)
> = (2*I*Pi)^nu/GAMMA(s) * Zeta(0,1-s,1/2+CuteLog(-z)/I/2/Pi)
>
> for all complex z. CuteLog differs from Log by an infinitesimall small
> relocation of the branch cut.

Thanks for the tip.

BTW, Axel's formula is made valid on the branch cut subtracting
(there only) 2*I*Pi/z^a (check numerically with both MMA and Maple,
and analytically for some special values with MMA).

The question is who is right: Maple hygergeometric analytic equivalent,
or Maple numerics and MMA numerics and analytic? 1 againt 3, but
democracy shouldn't play any role in Mathematics.

I'm still interested in the general formula for all s.

Did

Date Subject Author
4/12/12 did
4/12/12 clicliclic@freenet.de
4/12/12 did
4/19/12 clicliclic@freenet.de
4/26/12 clicliclic@freenet.de
4/26/12 clicliclic@freenet.de
4/26/12 clicliclic@freenet.de
4/26/12 did
4/27/12 clicliclic@freenet.de
5/4/12 clicliclic@freenet.de
5/5/12 did
5/5/12 clicliclic@freenet.de
5/27/12 clicliclic@freenet.de
5/27/12 Axel Vogt
4/13/12 clicliclic@freenet.de
4/13/12 Axel Vogt
4/13/12 did
4/13/12 Axel Vogt
4/13/12 did
4/13/12 did
4/13/12 Axel Vogt
4/13/12 Axel Vogt
4/13/12 did
4/13/12 Axel Vogt
4/13/12 did
4/13/12 Axel Vogt
4/14/12 clicliclic@freenet.de
4/14/12 did
4/14/12 did
4/15/12 clicliclic@freenet.de
4/15/12 did
4/15/12 Axel Vogt
4/15/12 did
4/15/12 Axel Vogt
4/16/12 clicliclic@freenet.de
4/16/12 did
4/14/12 Axel Vogt
4/13/12 Axel Vogt
4/16/12 Joe keane