On the correlations, Selberg integral and symmetry of sieve functions in short intervals. III. (Q509084)

An arithmetic function \(f:\mathbb{N}\rightarrow\mathbb{R}\) is called a sieve function of range \(Q\) if \( f(n)=\sum\limits_{d|n,\,d\leqslant Q}g(d), \) and function the \(g\) is essentially bounded, i.e., \(g(q)\ll_\varepsilon q^\varepsilon \) for all \(q\leqslant Q\) and \(\varepsilon>0\). Further, it is said that a function \(f\) has level \(\lambda\) if this function is a sieve function of range \(N^\lambda\). A pair of sieve functions \(\{f_1,f_2\}\) is considered in this paper. Upper bounds are obtained for the Selberg integral \[ J_{f_1,f_2}(N,h)=\int\limits_{N}^{2N}\prod\limits_{j=1}^2 \left(\sum\limits_{x<n\leqslant x+h}f_j(n)-h\sum\limits_{d\leqslant Q}\frac{g_j(d)}{d}\right)\mathrm{ d}x \] and for the mixed symmetry integral \[ I_{f_1,f_2}(N,h)=\int\limits_{N}^{2N}\prod\limits_{j=1}^2\left(\,\sum\limits_{|n-x|\leqslant h}\mathrm{ sgn}(n-x)f_j(n)\right)\mathrm{d}x. \] Here, in the Selberg integral, the essentially bounded function \(g_1\) generates the function \(f_1\) with range \(Q_1\), and the function \(g_2\) generates the function \(f_2\) with range \(Q_2\). The following assertion is the main result in the paper. Let \(\delta\) be a positive number. If the real sieve functions \(f_1\) and \(f_2\) have levels \(\lambda_1,\lambda_2\in(1/2,1)\), \(\lambda_1\geqslant \lambda_2\), then \[ J_{f_1,f_2}(N,h)\ll_\varepsilon Nh+N^\delta Q_1^{53/48}Q_2^{7/8}h^2+N^{1-2\delta/3}h^2+Q_1h^2, \] \[ I_{f_1,f_2}(N,h)\ll_\varepsilon Nh+N^\delta Q_1^{53/48}Q_2^{7/8}h^2+N^{1-2\delta/3}h^2 \] \smallskip for all \(\varepsilon>0\), where \(Q_1=\lfloor N^{\lambda_1}\rfloor\), \(Q_2=\lfloor N^{\lambda_2}\rfloor\) and \(h=\lfloor N^{\theta}\rfloor\) with \(\theta\in(0,1/2)\).