6
$\begingroup$

Let $$ f(x) = \sum_{k=1}^\infty\frac{(-1)^{k+1}x^k}{(k-1)!\zeta(2k)}$$

Are there lower bounds, upper bounds or (unlikely) simpler closed form for $f(x)$?

The bounds for Bernoulli numbers I found give the trivial bounds.

Wolfram Alpha times out.

mpmath's nsum returns small negative values.

$\endgroup$
5
  • 1
    $\begingroup$ Starts at 0, local max of about 0.125 at about x=0.48, crosses zero about 1.15, local min of about -0.82 at about 7.1, then slowly tends to 0 from below. $\endgroup$ Jun 3, 2013 at 13:23
  • $\begingroup$ Brendan thank you. This agrees with mpmath's plots. What software are you using? btw, not sure if these numeric results are correct, mpmath occasionally gives provably wrong result on alternating sums... $\endgroup$
    – joro
    Jun 3, 2013 at 14:07
  • $\begingroup$ I used Maple with 1000 digit precision. It gets quite hard to compute when $x$ is large, at least by brute summation. Probably there is some sequence accelerator that helps. $\endgroup$ Jun 3, 2013 at 14:13
  • 6
    $\begingroup$ The OP is asking about the Riesz function, en.wikipedia.org/wiki/Riesz_function $\endgroup$ Jun 3, 2013 at 16:46
  • 3
    $\begingroup$ Ah, thank you! And math.upenn.edu/~wilf/website/RieszFunction.pdf proves that the Riesz function has infinitely many real zeroes, showing that the numeric evidence is misleading. $\endgroup$ Jun 3, 2013 at 17:42

2 Answers 2

16
$\begingroup$

The Wikipedia page on the Riesz function which Barry Cipra cited has a link to a paper by Wilf showing that there are infinitely many real $x$ where the function vanishes, though rather sparse: the number of such $x \geq X$ is asymptotically proportional to $\log X$. The function certainly does not approach zero as $x \rightarrow \infty$; even the estimate $f(x) = o(x^{1/4+\epsilon})$ would be equivalent to the Riemann hypothesis, as Riesz noted in his original 1916 paper in Acta Math.

Numerically, the first few zero crossings beyond $1.15$ are at about $19326.551$, $22521.798$, $51868.607$ if I did this right. Here's a plot for $x \in [5\cdot 10^3, 10^5]$, comparing $f(x)$ with the main term $$ {\rm Re}\left( \frac {\Gamma\left(1 - \frac{\rho_1}{2}\right)}{\zeta'(\rho_1)} x^{\rho_1/2} \right) $$ in the asymptotic expansion of $f(x)$ for large $x$.

     (source)

Here $\rho_1 = \frac12 + 14.1347\ldots i$ is the first complex zero of the Riemann $\zeta$ function. The factor $x^{\rho_1/2}$ oscillates with amplitude $x^{1/4}$. The coefficient is small (absolute value about $7.775 \cdot 10^{-5}$) because of the complex Gamma factor; further complex zeros provide additional terms, but the $\rho_2$ term is already smaller by a factor of almost $300$, and further terms should be smaller yet, assuming no $\zeta$ zeros get very close to each other (let alone collide or worse). The discrepancy between the two plots is accounted for almost entirely by the first trivial zero of $\zeta$ at $-2$, which gives a term $1/\left(2\zeta'(-2)x\right)$ that is asymptotically negligible but makes $f(x)$ negative for $1.15 < x < 5000$. It takes a long time for the growth of $x^{1/4}$ to overcome the small Gamma factor: $\left|\phantom.f(x)\right|$ first exceeds $1$ around $x = 10^{19}$.

The asymptotic expansion comes from the contour-integral formula $$ f(x) = \frac1{2\pi i} \int_{c-i\infty}^{c+i\infty} \frac{\Gamma(s+1)}{\zeta(-2s)} x^{-s} ds $$ with $-1 < c < -1/2$. NB the denominator really is $\zeta(-2s)$, not $\zeta(+2s)$; we encounter zeros of $\zeta$ by moving the contour to the right. The Wikipedia page gives this formula but without the factor of $(2\pi i)^{-1}$ $-$ maybe somebody reading this can fix that error.

To compute $f(x)$ numerically, we can't quite use the formula $$ f(x) = \sum_{n=1}^\infty \mu(n) \frac{x}{n^2} e^{-x/n^2} $$ because it doesn't converge fast enough to locate the large zeros. Instead, by applying the same trick to the sum over (say) $k \geq 4$ instead of $k \geq 1$ we get an expansion such as $$ f(x) = \frac{6x}{\pi^2} - \frac{90x^2}{\pi^4} + \frac{945x^3}{2\pi^6} + \sum_{n=1}^\infty \mu(n) \frac{x}{n^2} \left( \exp\left(\frac{-x}{n^2}\right) - 1 + \frac{x}{n^2} - \frac{x^2}{2n^4} \right) $$ which was used to compute $f(x)$ to enough accuracy to draw the plot shown above. For large $x$ this technique still requires $x^{1/2 + \epsilon}$ terms. It may be barely feasible to compute $f$ this way for $x \approx 10^{19}$ large enough to see $\left|\phantom.f(x)\right|>1$; but the asymptotic expansion using the first handful of zeta zeros should be much better for this purpose.

$\endgroup$
6
  • $\begingroup$ Thanks Elkies. In the formula with the derivative won't you get a pole at hypothetical double zero of zeta? $\endgroup$
    – joro
    Jun 4, 2013 at 6:56
  • $\begingroup$ You're welcome! As for putative multiple zeros of zeta: The term corresponding to a double zero would have the factor $1/\zeta'(\rho)$ replaced by something of the form $A \log x + B$ (think about what happens when two zeros collide). Likewise an $m$-fold zero would yield a term with a factor that's a polynomial of degree $m-1$ in $\log x$. (This actually happens for some $L$-functions at the center of the critical strip, and is exploited in the Goldfeld-Gross-Zagier lower bound on class numbers of quadratic imaginary fields.) $\endgroup$ Jun 4, 2013 at 13:57
  • $\begingroup$ Btw, not sure if this is correct, but with the first 10 zeta zeros Riesz crosses 0 much often than your plot, sage plots: s21.postimg.org/do3blw3xz/riesz1.png and s21.postimg.org/bmc0z4kqf/riesz2.png $\endgroup$
    – joro
    Jun 4, 2013 at 14:54
  • $\begingroup$ The red plot uses just the power-series manipulations, no zeta zeros. The gray plot uses only the first zero, but adding further zeros changes the picture too little to be visible because the complex Gamma function decays so quickly; its zero crossings seem to have the same logarithmic frequency as yours. The graphs continue to approach each other as $C/x$ at least up to $x=10^6$. The $C/x$ comes from the first trivial zero at $\rho = -2$; did you include that one (and maybe the next few trivial zeros) in your approximation as well? $\endgroup$ Jun 4, 2013 at 15:06
  • $\begingroup$ Hm, the Riemann R function is efficiently computable and it is somewhat similar to this: R(x) = 1 + sum((ln x)^m/(m!*m*Zeta(m+1)), m, 1, +infinity). Setting log(x)= i sqrt( y ) distinguishes odd and even zeta via the imaginary part. $\endgroup$
    – joro
    Jul 28, 2013 at 7:59
9
$\begingroup$

This answer is inspired by a now deleted answer by Abhinav Kumar:

A perhaps simpler form is $$\sum_{n=1}^{\infty} \mu(n) \frac{x}{n^2} e^{- x/n^2}$$ where $\mu$ is the Möbius function.

Proof: Expand $1/\zeta(2k) = \sum_{n=1}^{\infty} \mu(n) n^{-2k}$ and rearrange (everything is absolutely convergent) to get $$\sum_{k=1}^{\infty} \frac{(-1)^{k+1} x^k}{(k-1)!} \sum_{n=1}^{\infty} \frac{\mu(n)}{n^{2k}} = \sum_{n=1}^{\infty} \mu(n) \sum_{k=1}^{\infty} \frac{(-1)^{k-1}}{(k-1)!} \left( \frac{x}{n^2} \right)^{k} = \sum_{n=1}^{\infty} \mu(n) \left( \frac{x}{n^2} \right) \exp \left( \frac{- x}{n^2} \right). \quad \square$$

For $x$ small, we get an easy bound of $\pi^2/6 x$ by replacing $\mu(n)$ by $1$ and $\exp(-x/n^2)$ by $1$. It should be possible to push this down to $(6/\pi^2+o(1)_{x \to 0}) x$. Cut the sum at some fixed $N$. Then we have $$\sum_{n=1}^{N} \mu(n) \frac{x}{n^2} \exp(-x/n^2) = \sum_{n=1}^N \left( x \frac{\mu(n)}{n^2} (1 - O(x/n^2) \right) = \sum_{n=1}^{N} \left( x\frac{\mu(n)}{n^2} + O(x^2/n^4) \right) = x (6/\pi^2 - O(1/N)) + O(x^2)$$ and $$\sum_{n=N+1}^{\infty} \mu(n) \frac{x}{n^2} \exp(-x/n^2) = O\left(x \sum_{n=N+1}^{\infty} \frac{1}{n^2} \right) = O(x/N)$$

For large $x$, the problem seems much harder. If we look at the part of the sum where $0.9 \leq x/n^2 \leq 1.1$, we are basically getting $e^{-1} \sum_{n=\sqrt{x}/\sqrt{1.1}}^{\sqrt{x}/\sqrt{0.9}} \mu(n)$. My understanding is that sums like $\sum_{n=ay}^{by} \mu(n)$ for fixed $a$ and $b$ are expected to behave like $c \sqrt{y}$, so this seems to be contributing $c \sqrt[4]{x}$, contrary to the numerical observation that it is going to $0$. I can't imagine any easy method getting a bound which approaches $0$, in light of this observation.

UPDATE. Barry Cipra points out that this is the Riesz function. It is known to have infinitely many real zeroes, contrary to the numeric evidence, and the estimate $f(z) = O(z^{1/4+\epsilon})$ is equivalent to the Riemann Hypothesis (which makes sense, because I pointed out that it is related to bounds like $\sum_{n=ay}^{by} \mu(n) = O(\sqrt{y})$, which are related to RH.)

$\endgroup$
3
  • 3
    $\begingroup$ I think you mean $e^{-x/n^2}$, not $e^{-x^2/n}$. $\endgroup$ Jun 3, 2013 at 18:04
  • $\begingroup$ Oops! Thanks, I think I found them all now. $\endgroup$ Jun 3, 2013 at 18:53
  • $\begingroup$ @David: Thanks - I'd forgotten that the inverse of $\zeta(s)$ has a nice L-series too! :-) $\endgroup$ Jun 3, 2013 at 20:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.