We derive Voronoï summation formulas for the Liouville function (n), the Möbius function (n), and for d^2 (n), where d (n) is the divisor function. The formula for (n) requires explicit evaluation of certain infinite series for which the use of the Vinogradov–Korobov zero-free region of the Riemann zeta function is indispensable. Several results of independent interest are obtained as special cases of these formulas. For example, a special case of the one for (n) is a famous result of Ramanujan, Hardy, and Littlewood. Cohen-type and Ramanujan–Guinand-type identities are established for (n) and ₐ (n) b (n), where ₛ (n) is the generalized divisor function. As expected, infinite series over the non-trivial zeros of (s) now form an essential part of all of these formulas. A series involving ₐ (n) b (n) and the product of modified Bessel functions occurring in one of our identities has appeared in a recent work of Dorigoni and Treilis in string theory. Lastly, we obtain results on oscillations of Riesz sums associated to (n), (n) and of the error term of Riesz sum of d² (n) under the assumption of the Riemann Hypothesis, simplicity of the zeros of (s), the Linear Independence conjecture, and a weaker form of the Gonek–Hejhal conjecture.
Dixit et al. (Tue,) studied this question.