Editing Riesz function

{{Short description|Mathematical function}}
[[Image:Riesz50.png|right|thumb|240px|Riesz(x) for x from 0 to 50]]
In [[mathematics]], the '''Riesz function''' is an [[entire function]] defined by [[Marcel Riesz]] in connection with the [[Riemann hypothesis]], by means of the [[power series]]
:<math>{\rm Riesz}(x) = \sum_{k=1}^\infty \frac{(-1)^{k-1}x^k}{(k-1)! \zeta(2k)}=x \sum_{n=1}^\infty \frac{\mu(n)}{n^2} \exp\left(\frac{-x}{n^2}\right).</math>
If we set <math>F(x) = \frac12 {\rm Riesz}(4 \pi^2 x)</math> we may define it in terms of the coefficients of the [[Laurent series]] development of the hyperbolic (or equivalently, the ordinary) cotangent around zero. If
:<math>\frac{x}{2} \coth \frac{x}{2} = \sum_{n=0}^\infty c_n x^n = 1 + \frac{1}{12} x^2 - \frac{1}{720}x^4 + \cdots</math>
then <math>F</math> may be defined as
:<math>F(x) = \sum_{k=1}^\infty \frac{x^k}{c_{2k}(k-1)!} = 12x - 720x^2 + 15120x^3 - \cdots</math>

The values of <math>\zeta(2k)</math> approach one for increasing k, and comparing the series for the Riesz function with that for <math>x\exp(-x)</math> shows that it defines an entire function. Alternatively, ''F'' may be defined as
:<math> F(x) = \sum_{k=1}^{\infty}\frac{k^{\overline{k+1}}x^{k}}{B_{2k}}. \ </math>

<math>n^{\overline{k}}</math> denotes the [[Pochhammer symbol#Alternate notations|rising factorial power]] in the notation of [[D. E. Knuth]] and the number ''<math>B_n</math>'' are the [[Bernoulli number]]. The series is one of alternating terms and the function quickly tends to minus infinity for increasingly negative values of ''<math>x</math>''. Positive values of ''<math>x</math>'' are more interesting and delicate.

==Riesz criterion==
It can be shown that

:<math>\operatorname{Riesz}(x) = O(x^e)\qquad (\text{as }x\to\infty)</math>

for any exponent ''<math>e</math>'' larger than <math>1/2</math>, where this is [[big O notation]]; taking values both positive and negative. Riesz showed that the Riemann hypothesis is equivalent to the claim that the above is true for any ''e'' larger than <math>1/4</math>.<ref>M. Riesz,  «Sur l'hypothèse de Riemann», ''Acta Mathematica'', '''40''' (1916), pp.185-90.». For English  translation look [http://pracownicy.uksw.edu.pl/mwolf//Riesz_translation.pdf here]</ref> In the same paper, he added a slightly pessimistic note too: «''Je ne sais pas encore decider si cette condition facilitera la vérification de l'hypothèse''» ("I can't decide if this condition will facilitate the verification of the hypothesis yet").

==Mellin transform of the Riesz function==
The Riesz function is related to the [[Riemann zeta function]] via its [[Mellin transform]]. If we take
:<math>{\mathcal M}({\rm Riesz}(z)) = \int_0^\infty {\rm Riesz}(z) z^s \frac{dz}{z}</math>
we see that if <math>\Re(s)>-1</math> then
:<math>\int_0^1 {\rm Riesz}(z) z^s \frac{dz}{z}</math>
converges, whereas from the growth condition we have that if <math>\Re(s) < -\frac{1}{2} </math> then
:<math>\int_1^\infty {\rm Riesz}(z) z^s \frac{dz}{z}</math>
converges. Putting this together, we see the Mellin transform of the Riesz function is defined on the strip <math>-1 < \Re(s) < -\frac12</math>. On this strip, we have (cf. [[Ramanujan's master theorem]]) <math>\frac{\Gamma(s+1)}{\zeta(-2s)} = {\mathcal M}({\rm Riesz}(z)) </math>

From the inverse Mellin transform, we now get an expression for the Riesz function, as
:<math>{\rm Riesz}(z) = \int_{c - i \infty}^{c+i \infty} \frac{\Gamma(s+1)}{\zeta(-2s)} z^{-s} ds </math>
where c is between minus one and minus one-half. If the Riemann hypothesis is true, we can move the line of integration to any value less than minus one-fourth, and hence we get the equivalence between the fourth-root rate of growth for the Riesz function and the Riemann hypothesis.

==Calculation of the Riesz function==
The [[Maclaurin series]] coefficients of ''<math>F</math>'' increase in absolute value until they reach their maximum at the 40th term of <math>-1.753\times 10^{17}</math>. By the 109th term they have dropped below one in absolute value. Taking the first 1000 terms suffices to give a very accurate value for <math>F(z)</math> for <math>|z| < 9</math>. However, this would require evaluating a polynomial of degree 1000 either using rational arithmetic with the coefficients of large numerator or denominator, or using floating point computations of over 100 digits. An alternative is to use the inverse Mellin transform defined above and numerically integrate. Neither approach is computationally easy.

Another approach is to use acceleration of convergence. We have
:<math>{\rm Riesz}(x) = \sum_{k=1}^\infty \frac{(-1)^{k+1}x^k}{(k-1)! \zeta(2k)}.</math>
Since <math>\zeta(2k)</math> approaches one as k grows larger, the terms of this series approach
:<math>\sum_{k=1}^\infty \frac{(-1)^{k+1}x^k}{(k-1)!} = x \exp(-x)</math>. Indeed, Riesz noted that: <math>\ {\sum_{n=1}^\infty {\rm Riesz}(x/n^2) = x \exp(-x)}.</math>

Using Kummer's method for accelerating convergence gives
:<math>{\rm Riesz}(x) = x \exp(-x) - \sum_{k=1}^\infty \left(\zeta(2k) -1\right) \left(\frac{(-1)^{k+1}}
{(k-1)! \zeta(2k)}\right)x^k</math>
with an improved rate of convergence.

Continuing this process leads to a new series for the Riesz function with much better convergence properties:
:<math>{\rm Riesz}(x) = \sum_{k=1}^\infty \frac{(-1)^{k+1}x^k}{(k-1)! \zeta(2k)}
= \sum_{k=1}^\infty \frac{(-1)^{k+1}x^k}{(k-1)!} \left(\sum_{n=1}^\infty \mu(n)n^{-2k}\right)</math>
:<math> \sum_{k=1}^\infty \sum_{n=1}^\infty \frac{(-1)^{k+1}\left(x/n^2\right)^k}{(k-1)!}= x \sum_{n=1}^\infty \frac{\mu(n)}{n^2} \exp\left(-\frac{x}{n^2}\right).</math>
Here <math>\mu</math> is the [[Möbius function]], and the rearrangement of terms is justified by absolute convergence. We may now apply Kummer's method again, and write
:<math>{\rm Riesz}(x) = x \left(\frac{6}{\pi^2} + \sum_{n=1}^\infty \frac{\mu(n)}{n^2}\left(\exp\left(-\frac{x}{n^2}\right) - 1\right)\right)</math>
the terms of which eventually decrease as the inverse fourth power of <math>n</math>.

The above series are absolutely convergent everywhere, and hence may be differentiated term by term, leading to the following expression for the derivative of the Riesz function:
:<math>{\rm Riesz}'(x) = \frac{\text{Riesz}(x)}{x} - x\left(\sum_{n=1}^\infty \frac{\mu(n)}{n^4} \exp\left(-\frac{x}{n^2}\right)\right)</math>
which may be rearranged as
:<math>{\rm Riesz}'(x) = \frac{\text{Riesz}(x)}{x} + x\left(-\frac{90}{\pi^4} + \sum_{n=1}^\infty \frac{\mu(n)}{n^4} \left(1-\exp\left(-\frac{x}{n^2}\right)\right)\right).</math>

Marek Wolf in<ref name=":0">M. Wolf, "[http://www.man.poznan.pl/cmst/2008/v_14_1/cmst_47-54a.pdf Evidence in favor of the Baez-Duarte criterion for the Riemann Hypothesis] {{webarchive|url=https://web.archive.org/web/20110607143146/http://www.man.poznan.pl/cmst/2008/v_14_1/cmst_47-54a.pdf |date=2011-06-07 }}", ''Computational Methods in Science and Technology'',  '''v.14''' (2008) pp.47-54</ref> assuming the Riemann Hypothesis has shown that for large <math>x</math>:
:<math>{\rm Riesz}(x) \sim K x^{1/4} \sin\left(\phi-\frac{1}{2}\gamma_1\log(x)\right)</math>

where <math>\gamma_1=14.13472514...</math> is the imaginary part of the first nontrivial zero of the zeta function, <math> K =
7.7750627...\times 10^{-5}</math> and <math>\phi=-0.54916...= -31,46447^{\circ}</math>.  It agrees with the  general theorems about zeros of the Riesz function proved in 1964 by Herbert Wilf.<ref>H.Wilf,  "[http://www.math.upenn.edu/~wilf/website/RieszFunction.pdf  '' On the zeros of Riesz' function in the analytic theory of numbers'']", Illinois J. Math., '''8''' (1964), pp. 639-641</ref>

A plot for the range 0 to 50 is given above. So far as it goes, it does not indicate very rapid growth and perhaps bodes well for the truth of the Riemann hypothesis.

== Hardy–Littlewood criterion ==
[[G. H. Hardy]] and [[John Edensor Littlewood|J. E. Littlewood]]<ref>{{Cite journal |last1=Hardy |first1=G. H. |last2=Littlewood |first2=J. E. |date=January 1916 |title=Contributions to the theory of the riemann zeta-function and the theory of the distribution of primes |journal=Acta Mathematica |volume=41 |issue=none |pages=119–196 |doi=10.1007/BF02422942 |issn=0001-5962|doi-access=free }}</ref><ref>{{Cite journal |last1=Dixit |first1=Atul |last2=Roy |first2=Arindam |last3=Zaharescu |first3=Alexandru |date=2016-03-01 |title=Riesz-type criteria and theta transformation analogues |journal=Journal of Number Theory |language=en |volume=160 |pages=385–408 |doi=10.1016/j.jnt.2015.08.005 |issn=0022-314X|doi-access=free }}</ref> proved, by similar methods, that the Riemann hypothesis is equivalent to the claim that the following will be true for any exponent ''<math>e</math>'' larger than <math>-1/4</math>:
:<math>\sum_{k=1}^\infty \frac{(-x)^k}{k! \zeta(2k+1)} = O(x^{e})\qquad (\text{as }x\to\infty).
</math>
==Notes==
<references/>

==References==
*[[Edward Charles Titchmarsh|Titchmarsh, E. C.]], ''The Theory of the Riemann Zeta Function'', second revised (Heath-Brown) edition, Oxford University Press, 1986, [''Section'' '''14.32''']

{{DEFAULTSORT:Riesz Function}}
[[Category:Zeta and L-functions]]