Study of the multiplicative autocorrelation of the fractional part function (Q2574053)

The authors study the function \[ A(\lambda):=\int_0^\infty\{t\}\{\lambda t\}\frac{dt}{t^2},\quad \lambda>0, \] which can be used to reformulate the Riemann hypothesis. They prove that this function has a strict local maximum at every rational point and that its Mellin transform is \[ -\frac{\zeta(-s)\zeta(s+1)}{s(s+1)}. \]