1
$\begingroup$

Consider the sum $\sum_{x=1}^{\infty} \frac{\log{x}}{z^x}$. We can assume that $z\geq1$ (and is real). Mathematica gives this sum as

-PolyLog^(1, 0)[0,1/z] 

Even after reading the manual page for PolyLog I don't understand what this function is like and I certainly don't know how the sum was derived.

Are there simple upper and lower bounds for this sum?

I also tried to compute $\int_{x=1}^{\infty} \frac{\log{x}}{z^x}$ in the hope that this would shed more light but Mathematica gives

Gamma[0, Log[z]]/Log[z] 

which I also didn't find helpful.

1 Answers 1

0

I assume you mean $\displaystyle \sum_{x=1}^\infty \dfrac{\ln(x)}{z^x}$. Since $z > 1$ and $\ln(x)$ grows very slowly, the terms go to $0$ rapidly, so you can get good bounds by taking a partial sum and bounds for the "tail". For $x \ge n+1$ we have $\ln(n+1) \le \ln(x) \le \ln(n+1) + \dfrac{x-n-1}{n+1}$ so $ \sum_{x=1}^n \dfrac{\ln(x)}{z^x} + \dfrac{z \ln(n+1)}{z^{n+2}-z^{n+1}} \le \sum_{x=1}^\infty \dfrac{\ln(x)}{z^x} \le \sum_{x=1}^n \dfrac{\ln(x)}{z^x} + \dfrac{1+(z-1)(n+1)\ln(n+1)}{(n+1)(z-1)^2 z^n}$

Some explanation for the PolyLog: by definition $\text{PolyLog}(p,1/z) = \sum_{x=1}^\infty \dfrac{x^{-p}}{z^x}$ Take the derivative of this with respect to $p$ (which is what the $(1,0)$ superscript refers to), evaluated at $p=0$ and you get $-1$ times your sum, because $ \dfrac{\partial}{\partial p} x^{-p} = -x^{-p} \log(x)$

  • 0
    If $\mu = E[X] = 1/p$, we have $P(X \ge \mu) = (1-p)^{\lfloor \mu \rfloor}$ and $E[\log(X)] \ge \log(\mu) P(X \ge \mu)$. Note that as $p \to 0+$, $P(X \ge \mu) \to 1/e$.2012-12-11