Izvestiya: Mathematics
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Forthcoming papers
Archive
Impact factor
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Izv. RAN. Ser. Mat.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Izvestiya: Mathematics, 2022, Volume 86, Issue 5, Pages 992–1019
DOI: https://doi.org/10.4213/im9270e
(Mi im9270)
 

This article is cited in 1 scientific paper (total in 1 paper)

On the Karatsuba divisor problem

V. V. Iudelevich

Lomonosov Moscow State University
References:
Abstract: We obtain an upper bound for the sum
$$\Phi_a(x) = \sum_{p\leqslant x}\frac{1}{\tau(p+a)},$$
where $\tau(n)$ is the divisor function, $a\geqslant 1$ is a fixed integer, and $p$ runs through primes up to $x$.
Keywords: divisor function, shifted primes.
Funding agency Grant number
Foundation for the Development of Theoretical Physics and Mathematics BASIS
The work was supported by the Theoretical Physics and Mathematics Advancement Foundation “BASIS”.
Received: 02.10.2021
Bibliographic databases:
Document Type: Article
UDC: 511.337
MSC: 11N36
Language: English
Original paper language: Russian

The work was supported by the Theoretical Physics and Mathematics Advancement Foundation “BASIS”.

Introduction

In 2004, A. A. Karatsuba in his seminar “Analytic number theory and applications” suggested the following problem: find the asymptotic formula for the sum

$$ \begin{equation*} \Phi_a(x) = \sum_{p \leqslant x}\frac{1}{\tau(p+a)},\qquad x\to +\infty, \end{equation*} \notag $$
where $\tau(n)$ denotes divisor function, $a$ is a fixed integer, and the summation is taken over primes not exceeding $x$.

This problem is a result of discussions between A. A. Karatsuba and V. I. Arnold. Note that it contains features of the following two problems from analytic number theory. The first one is Titchmarsh divisor problem. It asks about the asymptotic behavior of the sum

$$ \begin{equation*} F_a(x) = \sum_{p\leqslant x}\tau(p+a). \end{equation*} \notag $$
In 1930, Titchmarsh [1] proved the estimate
$$ \begin{equation*} \sum_{p\leqslant x}\tau(p-1) = O(x). \end{equation*} \notag $$
He also proved under Generalized Riemann Hypothesis that
$$ \begin{equation*} \sum_{p\leqslant x}\tau(p-1)\sim cx,\qquad c = \frac{\zeta(2)\zeta(3)}{\zeta(6)}. \end{equation*} \notag $$
The first unconditional result was obtained by Yu. V. Linnik [2]. He proved with the dispersion method that
$$ \begin{equation*} \begin{gathered} \, \sum_{p\leqslant x}\tau(p-1) = cx +R(x),\qquad c=\frac{\zeta(2)\zeta(3)}{\zeta(6)}, \\ R(x) \ll \frac{x}{(\ln x)^{\alpha}},\qquad 0 < \alpha < 1. \end{gathered} \end{equation*} \notag $$
Subsequently, this result was refined by many authors (see [3]–[7]).

The second problem is to find the asymptotic formula for the sum

$$ \begin{equation*} T(x) = \sum_{n\leqslant x}\frac{1}{\tau(n)}. \end{equation*} \notag $$
In 1916, S. Ramanujan [8] proved that
$$ \begin{equation*} T(x) = \frac{x}{\sqrt{\ln x}}\biggl(a_0 +\frac{a_1}{\ln x}+\dots+\frac{a_n}{(\ln x)^n}+O_n\biggl(\frac{1}{(\ln x)^{n+1}}\biggr)\biggr), \end{equation*} \notag $$
where $a_n$ are some constants; in particular,
$$ \begin{equation*} a_0 = \frac{1}{\sqrt{\pi}}\prod_{p}\sqrt{p^2-p}\,\ln{\frac{p}{p-1}}. \end{equation*} \notag $$
The aim of this paper is to find an upper bound for the sum $\Phi_a(x)$.

Since

$$ \begin{equation*} \frac{1}{x}\sum_{p\leqslant x}1\asymp \frac{1}{\ln x}, \end{equation*} \notag $$
and
$$ \begin{equation*} \frac{1}{x}\sum_{n\leqslant x}\frac{1}{\tau(n+a)}\asymp\frac{1}{\sqrt{\ln x}}, \end{equation*} \notag $$
then it is natural to expect that
$$ \begin{equation*} \frac{1}{x}\Phi_a(x)\asymp\frac{1}{(\ln x)\sqrt{\ln x}} = \frac{1}{(\ln x)^{3/2}}. \end{equation*} \notag $$
In this paper, we obtain the upper bound
$$ \begin{equation*} \Phi_a(x)\ll_a\frac{x}{(\ln x)^{3/2}}. \end{equation*} \notag $$
More precisely, we prove the following theorem.

Theorem 1. Let $a\geqslant 1$ be a fixed integer. Then we have

$$ \begin{equation*} \sum_{p\leqslant x}\frac{1}{\tau(p+a)}\leqslant{4 K(a)}\frac{x}{(\ln x)^{3/2}}+O\biggl(\frac{x \ln\ln x}{(\ln x)^{5/2}}\biggr), \end{equation*} \notag $$
where
$$ \begin{equation*} \begin{gathered} \, K(a) = K\beta(a),\qquad K= \frac{1}{\sqrt{\pi}}\prod_{p}\sqrt{\frac{p}{p-1}}\, \biggl(p\ln\frac{p}{p-1} -\frac{1}{p-1}\biggr), \\ \beta(a) = \prod_{p\,|\,a}\biggl(1+\frac{1}{p(p-1)\ln(p/(p-1))-1}\biggr). \end{gathered} \end{equation*} \notag $$

Thus, the upper bound coincides with the conjectural order of magnitude of $\Phi_a(x)$.

In this paper we rely on Selberg’s sieve method. The essence of this method is the following. We need to estimate the sum

$$ \begin{equation*} S(\mathcal{A},z) = \sum_{(n,P(z)) = 1}a_n, \end{equation*} \notag $$
where $\mathcal{A} = (a_n)$ is a given sequence of non-negative real numbers and $P(z) = \prod_{p\leqslant z}p$ is the product of all primes up to $z$. Since
$$ \begin{equation*} \sum_{d\,|\,n}\mu(d) = \begin{cases} 1, &\text{if }n = 1, \\ 0 &\text{otherwise}, \end{cases} \end{equation*} \notag $$
it follows that
$$ \begin{equation*} S(\mathcal{A},z) = \sum_{n}a_n\sum_{d\,|\,(n,P(z))}\mu(d). \end{equation*} \notag $$
We introduce arbitrary numbers $\rho_d$ (here $d \leqslant z$, $d\,|\,P(z)$), for which $\rho_1 = 1$. Then $\sum_{d\,|\,n}\mu(d)\,{\leqslant} \bigl( \sum_{d\,|\,n}\rho_d\bigr)^2$ for all $n\geqslant 1$. Thus, we obtain
$$ \begin{equation*} S(\mathcal{A},z)\leqslant \sum_{n}a_n\biggl(\sum_{d\,|\,(n,P(z))} \rho_d\biggr)^2 = \sum_{d_1,d_2\,|\,P(z)}\rho_{d_1}\rho_{d_2}A_{[d_1,d_2]}, \end{equation*} \notag $$
where
$$ \begin{equation*} A_d = \sum_{n \equiv 0\,(\operatorname{mod} d)}a_n. \end{equation*} \notag $$
Further, assume that for considered $d$ we have $A_d = Xg(d)+r_d$, where $g(d)$ is multiplicative function, $X$ is independent of $d$, and $r_d$ is small in average. The coefficients $\rho_d$ are chosen to minimize the quadratic form
$$ \begin{equation} B = \sum_{d_1, d_2\,|\,P_a(z)}\rho_{d_1}\rho_{d_2}g([d_1,d_2]). \end{equation} \tag{1} $$
In our case, $A_d$ has a more complicated form
$$ \begin{equation*} A_d = X_0 g_0(d)+ X_1 g_1(d)+\dots+X_{m} g_m(d), \end{equation*} \notag $$
where $g_k(d)$ are some functions (generally speaking, $g_k(d)$ are not multiplicative for $k\geqslant 1$), and the values $X_k$ are independent of $d$. The coefficients $\rho_d$ are constructed only from the first quadratic form (1) corresponding to the function $g\,{=}\,g_0$. In this case we observe the following effect. These coefficients simultaneously minimize the remaining quadratic forms corresponding to the functions $g_k$, at least in terms of the order of magnitude.

Note that the solution of Titchmarsh divisor problem is based on Bombieri–Vinogradov theorem. In our paper we essentially use the analogue of Bombieri–Vinogradov theorem, obtained by Korolev (see [9], Lemma 13). Note that the methods of this paper can also be applied for other sums. For instance, one can show that if

$$ \begin{equation*} T_a(x) = \sum_{\substack{p \leqslant x \\ p,\,p+2\text{ primes}}}\frac{1}{\tau{(p+a)}}, \end{equation*} \notag $$
where the summation is over twin primes, then
$$ \begin{equation*} T_a(x)\leqslant \frac{c(a) x}{(\ln x)^{5/2}}(1+o(1)). \end{equation*} \notag $$

§ 1. Auxiliary results

Lemma 1. Determine the coefficients $c_k$ from the expansion

$$ \begin{equation} \frac{x}{-(\ln(1-x))} = \sum_{k = 0}^{+\infty}c_kx^k,\qquad |x|<1. \end{equation} \tag{2} $$
Then $c_0 = 1$, and $|c_k|\leqslant 1$ when $k\geqslant 1$.

Proof. This immediately follows from the well-known identity (see [10]):
$$ \begin{equation} \sum_{k=1}^{+\infty}|c_k| = 1. \end{equation} \tag{3} $$
The proof of the lemma is complete.

Remark. The numbers

$$ \begin{equation*} G_n = (-1)^n c_n,\qquad n\geqslant 1, \end{equation*} \notag $$
are called Gregory coefficients. For more precise estimates of the Gregory coefficients, see [10].

Lemma 2. When $0<\varepsilon<1$ and $d\geqslant 1$, we have

$$ \begin{equation} \sum_{p\,|\,d}\frac{1}{p^{1-\varepsilon}}\leqslant \frac{2\omega(d)^{\varepsilon}}{\varepsilon}, \end{equation} \tag{4} $$
where $\omega(d)$ is the prime divisor function.

Proof. This is clear if $d$ is prime power or $d = 1$. Assume that $\omega(d)\geqslant 2$, then for $X\geqslant 2$ we have
$$ \begin{equation*} \begin{aligned} \, \sum_{p\,|\,d}\frac{1}{p^{1-\varepsilon}} &= \biggl( \sum_{p\,|\,d,\,p \leqslant X} + \sum_{p\,|\,d,\,p > X}\biggr) \frac{1}{p^{1-\varepsilon}}\leqslant \sum_{p\,|\,d,\,p \leqslant X}\frac{1}{p^{1-\varepsilon}} + \frac{1}{X^{1-\varepsilon}}\sum_{p\,|\,d}1 \\ &\leqslant \sum_{2\leqslant n \leqslant x}\frac{1}{n^{1-\varepsilon}} + \frac{\omega(d)}{X^{1-\varepsilon}}\leqslant \int_1^X\frac{du}{u^{1-\varepsilon}} + \frac{\omega(d)}{X^{1-\varepsilon}}\leqslant \frac{X^\varepsilon}{\varepsilon}+\frac{\omega(d)}{X^{1-\varepsilon}}. \end{aligned} \end{equation*} \notag $$
Choosing $X = \omega(d)\geqslant 2$, we complete the proof of the lemma.

We define the function $G_d(s)$ by the equality

$$ \begin{equation} G_d(s) = H(s)J_d(s). \end{equation} \tag{5} $$
Here
$$ \begin{equation} \begin{gathered} \, H(s)=\frac{1}{s}{\sqrt{\zeta(s)(s-1)}\, \prod_{p}\sqrt{p^{2s}-p^s}\, \ln\frac{p^s}{p^s-1}}, \nonumber \\ J_d(s)=\prod_{p\,|\,d}\biggl(p^s\ln\frac{p^s}{p^s-1}\biggr)^{-1}, \end{gathered} \end{equation} \tag{6} $$
where we choose the principal branches of $\sqrt{z}$ and $\ln z$. It is well-known (see [11], chapter IV, § 3, Theorem 1) that the Riemann zeta-function has no zeroes in the region
$$ \begin{equation} \sigma \geqslant 1 - \frac{c_0}{(\ln |t|)^{2/3}(\ln \ln |t|)^{1/3}},\qquad t\geqslant t_0, \end{equation} \tag{7} $$
for some $c_0>0$. Thus, the function $G_d(s)$ is regular in the domain (7).

Lemma 3. Set

$$ \begin{equation} \varepsilon_d = \bigl( 3\ln(\omega(d)+2)\bigr)^{-1}. \end{equation} \tag{8} $$
If $\operatorname{Re} s\geqslant 1-\varepsilon_d/2$ and $l\geqslant 0$, then for the $l$th derivative of $J_d(s)$, defined in (6), one has
$$ \begin{equation*} J^{(l)}_d(s)\ll_l(\omega(d)+2)^{10}. \end{equation*} \notag $$

Proof. We have
$$ \begin{equation*} J_d(s) = \prod_{p\,|\,d}\frac{p^{-s}}{-\ln(1-p^{-s})} = \prod_{p\,|\,d}(1+c_1p^{-s}+c_2p^{-2s}+\cdots), \end{equation*} \notag $$
where the coefficients $c_k$ are defined in (2). Hence, we obtain
$$ \begin{equation*} J_d(s) = \sum_{\delta\,|\,d^\infty}\frac{j(\delta)}{\delta^s}, \end{equation*} \notag $$
where the symbol $\delta\,|\, d^\infty$ means the summation over those numbers whose prime factors divide $d$, and $j(\delta)$ is the multiplicative function, for which $j(p^k) = c_k$. Thus, we obtain
$$ \begin{equation*} J_d^{(l)}(s) = \sum_{\delta\,|\,d^{\infty}}\frac{j(\delta)(-\ln\delta)^l}{\delta^s}\ll \sum_{\delta\,|\,d^{\infty}}\frac{(\ln\delta)^l}{\delta^\sigma}, \end{equation*} \notag $$
where $s = \sigma+it$. Note that
$$ \begin{equation*} \frac{(\ln \delta)^l}{\delta^\varepsilon}\leqslant \biggl(\frac{l}{e}\biggr)^l\frac{1}{\varepsilon^l}, \end{equation*} \notag $$
for $\varepsilon > 0$, $l\geqslant 1$ and $\delta \geqslant 1$. Hence, choosing $\varepsilon = \varepsilon_d/2$ and using inequality $\sigma\geqslant 1-\varepsilon_d/2$, we find that
$$ \begin{equation*} J_d^{(l)}(s)\ll_l\frac{1}{\varepsilon_d^l}\prod_{p\,|\,d}\biggl(1+\frac{1}{p^{1-\varepsilon_d}} +\frac{1}{p^{2(1-\varepsilon_d)}}+\cdots\biggr). \end{equation*} \notag $$
Note that the obtained inequality is also holds for $l = 0$. Since
$$ \begin{equation*} 2(1-\varepsilon_d)\geqslant 2\biggl( 1-\frac{1}{3\ln 2}\biggr)>1, \end{equation*} \notag $$
it follows from Lemma 2 that
$$ \begin{equation*} \begin{aligned} \, J_d^{(l)}(s) &\ll\frac{1}{\varepsilon_d^l}\prod_{p\,|\,d} \biggl(1+\frac{1}{p^{1-\varepsilon_d}}\biggr)\leqslant \frac{1}{\varepsilon_d^l}\exp\biggl(\sum_{p\,|\,d}\frac{1}{p^{1-\varepsilon_d}}\biggr) \ll\frac{1}{\varepsilon_d^l}\exp\biggl(\frac{2\omega(d)^{\varepsilon_d}}{\varepsilon_d}\biggr) \\ &\ll_l(\omega(d)+2)^{6\exp(1/3)}\bigl(\ln(\omega(d)+2)\bigr)^l\ll_l\bigl(\omega(d)+2\bigr)^{10}. \end{aligned} \end{equation*} \notag $$
This completes the proof of the lemma.

Lemma 4. Let $d\leqslant x$ be an integer and $m\geqslant 0$ be a fixed number, then

$$ \begin{equation} \sum_{\substack{k\leqslant x\\(k,d)=1}}\frac{1}{\tau(k)}=\frac{x}{\sqrt{\pi\ln x}}\sum_{k=0}^m\frac{(-1)^k\binom{2k}{k}}{4^k}\,\frac{ G_d^{(k)}(1)}{(\ln x)^k}+R_m(x;d), \end{equation} \tag{9} $$
where $G_d(s)$ is defined in (5), and
$$ \begin{equation*} R_m(x;d)\ll_m \kappa(d)\frac{x}{(\ln x)^{m+3/2}},\qquad \kappa(d) = (\omega(d)+2)^{10}. \end{equation*} \notag $$

Proof. Consider the generating series
$$ \begin{equation*} F_d(s)=\sum_{\substack{n=1\\(n,d)=1}}^{+\infty}\frac{1}{\tau(n)}\, n^{-s}. \end{equation*} \notag $$
Then we have
$$ \begin{equation*} \begin{aligned} \, F_d(s) &=\prod_{p\,\nmid\, d} \biggl(1+\frac{1}{2}p^{-s}+\frac{1}{3}p^{-2s}+\cdots\biggr)=\prod_{p\,\nmid\, d} p^s\ln\frac{p^s}{p^s-1} \\ &=\frac{\prod_{p}\bigl(p^s \ln(p^s/(p^s-1))(1-p^{-s})^{1/2} (1-p^{-s})^{-1/2}\bigr)}{\prod_{p\,|\,d}\bigl(p^s\ln(p^s/(p^s-1))\bigr)} \\ &=\frac{\sqrt{\zeta(s)}\,\prod_{p}\bigl(\sqrt{p^{2s}-p^s}\, \ln(p^s/(p^s-1))\bigr)}{\prod_{p\,|\,d}\bigl(p^s\ln(p^s/(p^s-1))\bigr)}, \end{aligned} \end{equation*} \notag $$
where $\sqrt{z}>0$ for $z>0$. Using Perron’s formula (see [12], chapter IV, § 1, Theorem 1) for $T, x \geqslant 2$ and $b=1+1/\ln x$, we obtain
$$ \begin{equation*} \sum_{\substack{k\leqslant x\\(k,d)=1}}\frac{1}{\tau(k)}=j+O\biggl(\frac{x\ln x}{T}\biggr), \end{equation*} \notag $$
where
$$ \begin{equation*} \begin{gathered} \, j=\frac{1}{2\pi i}\int_{b-iT}^{b+iT}F_d(s)\frac{x^s}{s}\, ds=\frac{1}{2\pi i}\int_{b-iT}^{b+iT}\frac{G_d(s)x^s}{\sqrt{s-1}}\, ds, \\ G_d(s)\,{=}\,\frac{1}{s}\sqrt{\zeta(s)(s\,{-}\,1)}\prod_{p} \biggl(\sqrt{p^{2s}\,{-}\,p^s}\ln\frac{p^s}{p^s\,{-}\,1}\biggr) \prod_{p\,|\,d}\biggl(p^s\ln\frac{p^s}{p^s\,{-}\,1}\biggr)^{-1} {=}\,H(s) J_d(s). \end{gathered} \end{equation*} \notag $$
Put
$$ \begin{equation*} a=1-{c_0}{(\ln T)^{-2/3}}(\ln\ln T)^{-1/3}, \end{equation*} \notag $$
where $c_0$ is chosen as in (7). Consider the rectangle $\Gamma$ at the vertices $a\pm iT$, $b\pm iT$ with horizontal cut going straight from the point $s = a$ to the point $s = 1$. Then by Cauchy’s theorem,
$$ \begin{equation*} \begin{aligned} \, \frac{1}{2\pi i}\int_{\Gamma}\frac{G_d(s)x^s}{\sqrt{s-1}}\, ds &=\frac{1}{2\pi i}\biggl(\int_{b-iT}^{b+iT}+\int_{b+iT}^{a+iT}+\int_{a+iT}^{a+i0} \\ &\qquad+\int_{a+i0}^{1+i0}+\int_{1-i0}^{a-i0}+\int_{a-i0}^{a-iT}+\int_{a-iT}^{b-iT}\biggr) \frac{G_d(s)x^s}{\sqrt{s-1}}\, ds \\ &=j+j_1+j_2+j_3+j_4+j_5+j_6=0 \end{aligned} \end{equation*} \notag $$
(where definition of the symbols $j_1, \dots, j_6$ is obvious), thus
$$ \begin{equation*} j=-(j_3+j_4)-j_1-j_2-j_5-j_6. \end{equation*} \notag $$
Calculate $J=-(j_3+j_4)$. We have
$$ \begin{equation*} \begin{aligned} \, j_3&=\frac{1}{2\pi i}\int_{a+i0}^{1+i0}\frac{G_d(s)x^s}{\sqrt{s-1}}\, ds=\frac{1}{2\pi i}\int_{a}^{1}\frac{G_d(\sigma)x^\sigma}{\sqrt{\sigma-1+i0}} \, d\sigma \\ &=\frac{1}{2\pi i}\int_{0}^{1-a}\frac{G_d(1-u)x^{1-u}}{\sqrt{u}\, \sqrt{-1+i0}}\, du =-\frac{x}{2\pi}\int_{0}^{1-a}\frac{G_d(1-u)x^{-u}}{\sqrt{u}}\, du. \end{aligned} \end{equation*} \notag $$
Similarly, we obtain
$$ \begin{equation*} j_4=-\frac{x}{2\pi}\int_{0}^{1-a}\frac{G_d(1-u)x^{-u}}{\sqrt{u}}\, du, \end{equation*} \notag $$
hence,
$$ \begin{equation*} J=\frac{x}{\pi}\int_{0}^{1-a}\frac{G_d(1-u)x^{-u}}{\sqrt{u}}\, du. \end{equation*} \notag $$
From the Taylor formula with Lagrange’s remainder, we obtain
$$ \begin{equation*} G_d(1-u)=\sum_{k=0}^m (-1)^k G_d^{(k)}(1)\frac{u^k}{k!} +O_m\bigl(G_d^{(m+1)}(\theta)u^{m+1}\bigr),\qquad a\leqslant1-u\leqslant\theta \leqslant1. \end{equation*} \notag $$
Hence,
$$ \begin{equation*} \begin{aligned} \, J &=\frac{x}{\pi}\int_{0}^{1-a}\sum_{k=0}^m\frac{G_d^{(k)}(1)(-1)^k}{k!}\, \frac{u^k x^{-u}}{\sqrt{u}}\, du +O_m\biggl(x G_{m+1} \int_{0}^{1-a}u^{m+1/2}x^{-u}\, du\biggr) \\ &=\frac{x}{\pi}\sum_{k=0}^m\frac{(-1)^k G_d^{(k)}(1)j_k(a)}{k!} +O_m\bigl(x G_{m+1} j_{m+1}(a) \bigr), \end{aligned} \end{equation*} \notag $$
where
$$ \begin{equation*} \begin{gathered} \, G_r = \max_{a\leqslant\theta \leqslant 1}|G_d^{(r)}(\theta)|,\qquad r\leqslant m+1, \\ j_k(a)\,{=} \int_{0}^{1-a}u^{k-1/2}x^{-u}\, du \,{=} \int_{0}^{+\infty}u^{k-1/2}x^{-u}\, du- \int_{1-a}^{+\infty}u^{k-1/2}x^{-u}\, du \,{=}\, J_k-r_k. \end{gathered} \end{equation*} \notag $$
Further, we choose $T = e^{(\ln x)^\alpha}$, $\alpha>0$. Since $\omega(d)\ll \ln x$ for $x\geqslant x_0$, it follows that $a\geqslant 1-\varepsilon_d/2$, where the value $\varepsilon_d$ is defined in (8).

Therefore, for $a\leqslant \theta\leqslant 1$ we have

$$ \begin{equation*} G_d^{(r)}(\theta) = \sum_{l=0}^r\binom{r}{l}H^{(r-l)}(\theta)J_d^{(l)}(\theta) \ll_m \sum_{l=0}^r|J_d^{(l)}(\theta)|\ll_m \bigl(\omega(d)+2\bigr)^{10}, \end{equation*} \notag $$
so that for $r\leqslant m+1$ we get
$$ \begin{equation} G_r\ll_m \bigl(\omega(d)+2\bigr)^{10}. \end{equation} \tag{10} $$
For the value $J_k$ we have
$$ \begin{equation*} \begin{aligned} \, J_k &=\int_{0}^{+\infty}u^{k-1/2}x^{-u}\, du=\frac{1}{(\ln x)^{k+1/2}} \int_{0}^{+\infty}w^{k-1/2}e^{-w}\, dw \\ &=\frac{\Gamma(k+1/2)}{(\ln x)^{k+1/2}}=\sqrt{\pi}\, \binom{2k}{k}\frac{k!}{4^k}\, \frac{1}{(\ln x)^{k+1/2}}. \end{aligned} \end{equation*} \notag $$
Further,
$$ \begin{equation*} r_k=\int_{1-a}^{+\infty}u^{k-1/2}x^{-u}\, du=\frac{1}{(\ln x)^{k+1/2}}\int_{(1-a)\ln x}^{+\infty}w^{k-1/2}e^{-w}\, dw. \end{equation*} \notag $$
Using the estimate
$$ \begin{equation*} I_{k}(\lambda)=\int_{\lambda}^{+\infty}w^{k-1/2}e^{-w}\, dw\ll k!\, e^{-\lambda}\lambda^{k-1/2},\qquad \lambda >1, \end{equation*} \notag $$
which is obtained by iterated integration by parts, we find that
$$ \begin{equation*} \begin{aligned} \, r_k &\ll \frac{k!}{(\ln x)^{k+1/2}}e^{(a-1)\ln x}(1-a)^{k-1/2}(\ln x)^{k-1/2} \\ &= \frac{k!\, x^{a-1}c_0^{k-1/2}}{(\ln T)^{(2/3)(k-1/2)}(\ln\ln T)^{(1/3)(k-1/2)}\ln x}, \end{aligned} \end{equation*} \notag $$
where the constant in the symbol $\ll$ is absolute. Thus,
$$ \begin{equation*} j_k(a)=\sqrt{\pi}\,\binom{2k}{k}\frac{k!}{4^k}\, \frac{1}{(\ln x)^{k+1/2}}+O\biggl(\frac{k!\, x^{a-1}c_0^{k-1/2}}{(\ln T)^{(2/3)(k-1/2)}(\ln\ln T)^{(1/3)(k-1/2)}\ln x} \biggr) \end{equation*} \notag $$
and
$$ \begin{equation*} \begin{aligned} \, J &=\frac{x}{\sqrt{\pi\ln x}}\sum_{k=0}^m\frac{(-1)^k\binom{2k}{k}}{4^k}\, \frac{G^{(k)}(1)}{(\ln x)^{k}} \\ &\qquad+O_m\biggl(\frac{x^a}{\ln x}\sum_{k=0}^m\frac{|G^{(k)}(1)|}{(\ln T)^{(2/3)(k-1/2)}(\ln\ln T)^{(1/3)(k-1/2)}}\biggr) \\ &\qquad+O_m\biggl( G_{m+1}\frac{x}{(\ln x)^{m+3/2}} \biggr). \end{aligned} \end{equation*} \notag $$
Finally, from the estimate (10), we get
$$ \begin{equation*} \begin{aligned} \, J &=\frac{x}{\sqrt{\pi\ln x}} \sum_{k=0}^m\frac{(-1)^k\binom{2k}{k}}{4^k}\, \frac{G^{(k)}(1)}{(\ln x)^{k}} \\ &\qquad + O_m\biggl( \kappa_d\frac{x^a(\ln T)^{1/3}(\ln\ln T)^{1/6}}{\ln x} + \kappa_d\frac{x}{(\ln x)^{m+3/2}}\biggr). \end{aligned} \end{equation*} \notag $$
Now we estimate the integrals $j_1$, $j_2$, $j_5$, $j_6$. It is well-known that
$$ \begin{equation*} \zeta(\sigma+it)\ll(\ln|t|)^{2/3}, \end{equation*} \notag $$
where $\sigma\geqslant 1-c/(\ln t)^{2/3}$, $c>0$, $|t|\geqslant 10$, (see [11], chapter IV, § 2, p. 3, Theorem 2). Then using this estimate, Lemma 3, and the inequality
$$ \begin{equation*} \prod_{p}\sqrt{p^{2s}-p^s}\, \ln\frac{p^s}{p^s-1} = \prod_{p}\biggl(1-\frac{1}{24p^{2s}}-\frac{1}{24p^{3s}}-\cdots \biggr) \ll 1, \end{equation*} \notag $$
which holds for $3/4\leqslant \operatorname{Re} s\leqslant 2$, we find that
$$ \begin{equation*} \begin{aligned} \, j_1 &=\frac{1}{2\pi i} \int_{b+iT}^{a+iT}\frac{1}{s}\sqrt{\zeta(s)}\, \prod_{p}\biggl(\sqrt{p^{2s}-p^s}\ln\frac{p^s}{p^s-1}\biggr) \prod_{p\,|\,d}\biggl(p^s\ln\frac{p^s}{p^s-1}\biggr)^{-1}x^s\, ds \\ &\ll \bigl(\omega(d)+2\bigr)^{10}\,\frac{x(\ln T)^{1/3}}{T}. \end{aligned} \end{equation*} \notag $$
Similarly, we obtain
$$ \begin{equation*} j_6\ll\bigl(\omega(d)+2\bigr)^{10}\,\frac{x(\ln T)^{1/3}}{T}. \end{equation*} \notag $$
Further,
$$ \begin{equation*} \begin{aligned} \, j_2+j_5 &=\frac{1}{2\pi i} \int_{a+iT}^{a-iT}\frac{1}{s}\sqrt{\zeta(s)}\, \prod_{p}\biggl(\sqrt{p^{2s}-p^s}\,\ln\frac{p^s}{p^s-1}\biggr) \prod_{p\,|\,d}\biggl(p^s\ln\frac{p^s}{p^s-1}\biggr)^{-1}x^s\, ds \\ &\ll\bigl(\omega(d)+2\bigr)^{10}(\ln T)^{1/3} x^a \int_{-T}^T\frac{dt}{\sqrt{a^2+t^2}}\ll \bigl(\omega(d)+2\bigr)^{10}(\ln T)^{4/3} x^a. \end{aligned} \end{equation*} \notag $$
Choosing $T=e^{(\ln x)^{3/5}}$, we complete the proof of Lemma 4.

Remark. Using Lemma 6 and some estimates following from inequality (4), one can improve the dependence on $d$ in the remainder term in (9).

Denote by $I(s)$ the logarithmic derivative of the function $J_d(s)$ defined in (6), then we have

$$ \begin{equation} \frac{J_{d}^{'}(s)}{J_d(s)} = I(s), \end{equation} \tag{11} $$
where
$$ \begin{equation} I(s) = \sum_{p\,|\,d} f(s;p) = \sum_{p\,|\,d}\biggl\{\frac{\ln p}{(p^s-1)\ln(p^s/(p^s-1))}-\ln p\biggr\}. \end{equation} \tag{12} $$

Lemma 5. Let $f(s;p)$ be defined in (12), then for $m\geqslant 0 $ we have

$$ \begin{equation*} \frac{d^m}{ds^m}f(1;p)\ll_{m}\frac{(\ln p)^{m+1}}{p}. \end{equation*} \notag $$

Proof. Define the sequence $d_k$ from the expansion
$$ \begin{equation*} \frac{-x}{(1-x)\ln(1-x)} = \sum_{k=0}^{+\infty}d_k x^k,\qquad |x|<1, \end{equation*} \notag $$
then $d_0=1$ and for $k\geqslant 1$ we have $d_k = c_0+c_1+\dots+c_k$, where the coefficients $c_k$ are defined in (2). From (3) we find that $|d_k|\leqslant 2$, where $k\geqslant 1$. Further, we have
$$ \begin{equation*} \frac{1}{(p^s-1)\ln(p^s/(p^s-1))} = \frac{p^{-s}}{(1-p^{-s})(-\ln(1-p^{-s}))} = \sum_{k = 0}^{+\infty}\frac{d_k}{p^{ks}}. \end{equation*} \notag $$
Hence, since $d_1 = 1/2$, we get
$$ \begin{equation*} f(s;p) = \frac{\ln p}{2 p^s}+\sum_{k=2}^{+\infty}\frac{d_k \ln p}{p^{ks}}. \end{equation*} \notag $$
Taking the $m$ th derivative, we get
$$ \begin{equation*} f^{(m)}(s;p) = (-1)^m\frac{(\ln p)^{m+1}}{2 p^s} + (-1)^m (\ln p)^{m+1}\sum_{k=2}^{+\infty}\frac{d_k k^m}{p^{ks}},\qquad m\geqslant 0. \end{equation*} \notag $$
Then for $s=1$ inequality $|d_k|\leqslant 2$ implies that
$$ \begin{equation*} \begin{aligned} \, f^{(m)}(1;p) &= (-1)^m\frac{(\ln p)^{m+1}}{2 p} + (-1)^m (\ln p)^{m+1}\sum_{k=2}^{+\infty}\frac{d_k k^m}{p^{k}} \\ &=(-1)^m\frac{(\ln p)^{m+1}}{2 p } +O_{m, \varepsilon}\biggl( \frac{1}{p^{2-\varepsilon}}\biggr)\ll_m\frac{(\ln p)^{m+1}}{p}. \end{aligned} \end{equation*} \notag $$
The lemma is proved.

Lemma 6. Let $J_d(s)$ be defined in (6) and $I(s)$ be defined in (12), then for $l\geqslant 1$ the following representation holds:

$$ \begin{equation*} J_{d}^{(l)}(s) = J_d(s) Q_l, \end{equation*} \notag $$
where $Q_l = Q_l(I, I', \dots, I^{(l-1)})$ is a polynomial in $l$ variables of degree $l$ with integer coefficients.

Proof. We prove that $Q_l$ has the form
$$ \begin{equation*} Q_l = I^l + R_l, \end{equation*} \notag $$
where
$$ \begin{equation*} R_l = R_l(I, I', \dots, I^{(l-1)})\in\mathbb{Z}[I, I', \dots, I^{(l-1)}] \end{equation*} \notag $$
and $\deg R_l\leqslant l-1$.

The proof is by induction on $l$. According to (11) for $l = 1$ we have $J_{d}'(s) = J_d(s)I$. Hence, we obtain that $R_1 = 0$, so the lemma is true in this case.

Assume that the lemma is true for $l = r\geqslant 1$, let us prove it for $l = r+1$. We have

$$ \begin{equation*} J_d^{(r+1)}(s) = J_d(s)(I^{r+1} + IR_r + rI^{r-1}I' + R_{r}') = J_d(s)(I^{r+1} + R_{r+1}). \end{equation*} \notag $$
Since $\deg R'_r\leqslant r-1 $, $\deg I R_r\leqslant r$ and $\deg I^{r-1}I' = r$, we get
$$ \begin{equation*} \deg R_{r+1}\leqslant r. \end{equation*} \notag $$
The claim follows.

Let $g(n)$ be a multiplicative function such that for any prime $p$

$$ \begin{equation} 0\leqslant g(p) <1. \end{equation} \tag{13} $$
Further, let $h(n)$ be a multiplicative function such that for any prime $p$
$$ \begin{equation} h(p) = \frac{g(p)}{1-g(p)}. \end{equation} \tag{14} $$
For $z\geqslant 2$ and $a\geqslant 1$ define $H_a = H_a(z)$ to be the sum
$$ \begin{equation} H_a = \sum_{\substack{k\leqslant z\\ (k,a) = 1}}\mu^2(k)h(k). \end{equation} \tag{15} $$
Also we need the product $P_a(z)$, defined as follows:
$$ \begin{equation} P_a(z) = \prod_{\substack{p\leqslant z \\ (p,a)=1}}p. \end{equation} \tag{16} $$
Finally, consider the sequence
$$ \begin{equation} \rho_d = \frac{\mu(d)h(d)}{H_a g(d)}\sum_{\substack{k\leqslant z/d\\ kd\,|\,P_a(z)}}\mu^2(k)h(k),\qquad d\geqslant 1. \end{equation} \tag{17} $$
According to Selberg’s sieve method (see [13], ch. 3, also see [14], ch. 7), these coefficients minimize the quadratic form
$$ \begin{equation*} B = \sum_{d_1,d_2\,|\,P_a(z)}\rho_{d_1}\rho_{d_2}g([d_1,d_2]) \end{equation*} \notag $$
of real variables $\rho_{d_1}$, $\rho_{d_2}$, for which $\rho_1 = 1$. The coefficients $\rho_d$ are defined in (17) satisfy the following properties: $B = 1/H_a(z)$, $|\rho_d|\leqslant 1$, $\rho_d = 0$ for $d>z$ or $d\nmid P_a(z)$. Below we prove some lemmas about these coefficients.

Lemma 7. Let $g(n)$ and $h(n)$ be multiplicative functions, for which conditions (13), (14) hold, and $H_a$ be defined in (15). Further, let $p$ be a prime number, and $a\geqslant 1$ be an integer. Then for $(d, p)= 1$ and $(dp, a) = 1$ we have

$$ \begin{equation*} \rho_{dp} = -\rho_d +\frac{\mu(d)h(d)}{H_ag(d)}\sum_{\substack{z/(dp)<k\leqslant z/d\\(k, dp a) = 1}}\mu^2(k)h(k). \end{equation*} \notag $$

Proof. Using (17), we obtain
$$ \begin{equation} \rho_{dp} = -\frac{h(p)}{g(p)}\, \frac{\mu(d)h(d)}{H_ag(d)}\sum_{\substack{l\leqslant z/(dp) \\(l, dp a) = 1}} \mu^2(l) h(l) = -\frac{h(p)}{g(p)}\, \frac{\mu(d)h(d)}{H_ag(d)} S. \end{equation} \tag{18} $$
For the sum $S$ we have
$$ \begin{equation*} \begin{aligned} \, S &= \sum_{\substack{l\leqslant z/d \\ (l, dpa) = 1}}\mu^2(l)h(l) - \sum_{\substack{z/(dp) <l\leqslant z/d \\ (l, dpa) = 1}}\mu^2(l)h(l) \\ &= \sum_{\substack{l\leqslant z/d \\ (l, da) = 1}}\mu^2(l)h(l) - \sum_{\substack{l\leqslant z/d \\ (l, da) = 1 \\ p\,|\,l}}\mu^2(l)h(l) - R, \end{aligned} \end{equation*} \notag $$
where
$$ \begin{equation*} R = \sum_{\substack{z/(dp) < l \leqslant z/d\\(l, dp a) = 1}} \mu^2(l) h(l). \end{equation*} \notag $$
Further, we have
$$ \begin{equation*} \sum_{\substack{l\leqslant z/d \\(l, d a) = 1 \\ p\,|\,l}} \mu^2(l) h(l) = h(p)\sum_{\substack{k\leqslant z/(dp) \\(kp,\,d a) = 1 \\ (k, p)= 1}} \mu^2(k) h(k) = h(p) \sum_{\substack{k\leqslant z/(dp)\\(k, dp a) = 1}} \mu^2(k) h(k) = h(p) S. \end{equation*} \notag $$
Hence,
$$ \begin{equation*} S = \frac{1}{1+ h(p)}\Biggl( \sum_{\substack{l\leqslant z/d\\(l, d a) = 1}} \mu^2(l) h(l) - R\Biggr). \end{equation*} \notag $$
Substituting the obtained equality for (18) and using that for a prime $p$ one has
$$ \begin{equation*} \frac{h(p)}{g(p)} = 1+ h(p), \end{equation*} \notag $$
we complete the proof of the lemma.

Lemma 8. Suppose that functions $g(n)$ and $h(n)$ satisfy (13) and (14), respectively, and let $H_a$ be defined in (15). Further, let $p_1, \dots, p_k$ be distinct primes and

$$ \begin{equation*} (d, p_1\dotsb p_k) = (dp_1\dotsb p_k, a) = 1. \end{equation*} \notag $$
Then
$$ \begin{equation*} \rho_{d p_1\dotsb p_k} = (-1)^k\biggl( \rho_d - \frac{\mu(d)h(d)}{H_a g(d)}R\biggr), \end{equation*} \notag $$
where
$$ \begin{equation*} R = \sum_{m=1}^k\biggl( \prod_{i = 1}^{m-1}\frac{h(p_i)}{g(p_i)}\biggr) \sum_{\substack{z/(d \alpha_m)< l \leqslant z/(d \alpha_{m-1}) \\ (l,\,d \alpha_m a) = 1}} \mu^2(l) h(l),\qquad \alpha_m = \prod_{i = 1}^{m} p_i. \end{equation*} \notag $$

Proof. The proof is by induction on $k$. It follows from the previous lemma that our lemma is true for $k=1$. Assume that the lemma is true for $k = r\geqslant 1$, and prove it for $k = r+1$. We have
$$ \begin{equation*} \rho_{dp_1\dotsb p_{r+1}} = (-1)^r \biggl( \rho_{d p_1} + \frac{\mu(d)h(d)}{H_a g(d)}\, \frac{h(p_1)}{g(p_1)}R \biggr), \end{equation*} \notag $$
where
$$ \begin{equation*} \begin{aligned} \, \frac{h(p_1)}{g(p_1)}R &= \frac{h(p_1)}{g(p_1)}\sum_{m=1}^r\biggl( \prod_{i = 2}^{m}\frac{h(p_i)}{g(p_i)}\biggr)\sum_{\substack{z/(d\alpha_{m+1})< l \leqslant z/(d\alpha_{m}) \\ (l,d \alpha_{m+1} a) = 1}} \mu^2(l) h(l) \\ &=\sum_{m=2}^{r+1}\biggl( \prod_{i = 1}^{m-1}\frac{h(p_i)}{g(p_i)}\biggr) \sum_{\substack{z/(d \alpha_{m})< l \leqslant z/(d \alpha_{m-1}) \\ (l,\,d \alpha_{m} a) = 1}} \mu^2(l) h(l). \end{aligned} \end{equation*} \notag $$
Hence,
$$ \begin{equation*} \begin{aligned} \, \rho_{dp_1\cdots p_{r+1}} &= (-1)^{r}\Biggl( -\rho_d+\frac{\mu(d)h(d)}{H_ag(d)}\sum_{\substack{z/(dp_1)<l\leqslant z/d\\(l, dp_1 a) = 1}}\mu^2(l)h(l) \\ &\qquad+\frac{\mu(d)h(d)}{H_ag(d)}\sum_{m=2}^{r+1}\biggl( \prod_{i = 1 }^{m-1}\frac{h(p_i)}{g(p_i)}\biggr) \sum_{\substack{z/(d \alpha_{m})< l \leqslant z/(d \alpha_{m-1}) \\ (l,\,d \alpha_{m} a) = 1}} \mu^2(l) h(l)\Biggr), \end{aligned} \end{equation*} \notag $$
which completes the proof of the lemma.

Lemma 9. Let $P$, $M$, $q$, $a$, $\delta$ be square-free integers satisfying the following conditions: $(q,M) = 1$; $qM\,|\,P$; $(P,a) = (P, \delta) = 1$. Let $h(n)$ be a multiplicative function and $q = r_1r_2\cdots r_s$ be the prime factorization of $q$. Set

$$ \begin{equation} \begin{aligned} \, R_k(M,\delta) &= R_k(M,\delta,z,q,a) \nonumber \\ &=\sum_{\substack{d\leqslant z \\ (d,a) = 1 \\ (d, P) = M\\ d\equiv\, 0\,(\operatorname{mod}\delta)}}\mu(d)h(d) \sum_{\substack{z/(d\alpha_k)< l \leqslant z/(d\alpha_{k-1}) \\ (l, d\alpha_k a) = 1}} \mu^2(l) h(l),\qquad \alpha_k = \prod_{i = 1}^{k} r_i, \end{aligned} \end{equation} \tag{19} $$
then
$$ \begin{equation*} R_k(M,\delta)\ll\mu^2(M\delta)h(M\delta)\prod_{p\,|\,P}(1+h(p)). \end{equation*} \notag $$
In particular, if $P = p_1p_2 \cdots p_m$ is the product of $m$ distinct primes and $h(p)\ll 1$, then
$$ \begin{equation*} R_k(M,\delta)\ll_m \mu^2(M\delta)h(M\delta). \end{equation*} \notag $$

Proof. Since $(l,d)=1$ in the sum (19), then introducing the notation $n=dl$, we obtain
$$ \begin{equation*} R_k(M,\delta) = \sum_{\substack{z/\alpha_k< n \leqslant z/\alpha_{k-1}}} \mu^2(n) h(n) \sum_{\substack{d\,|\,n \\ d\leqslant z \\ (d,a)=1 \\ (d, P) = M\\ d\equiv 0\,(\operatorname{mod} \delta )\\ (n/d, d \alpha_k a) = 1 }}\mu(d), \qquad \alpha_k = \prod_{i = 1}^{k} r_i. \end{equation*} \notag $$
Since $d\equiv 0\,(\operatorname{mod} \delta )$, we have $n\equiv 0\,(\operatorname{mod} \delta) $. Since $(d,a) = 1$ and $(n/d,a)=1$, it follows that $(n,a)=1$. Further, since $(d,P) = M$, we have $n\equiv 0\,(\operatorname{mod} M) $. Finally, note that $(d, \alpha_k) = \bigl( d, \prod_{i=1}^{k} r_i \bigr) = 1$. Assume the converse, if $r_i\,|\,(d,\alpha_k)$, then, on the one hand, $r_i\,|\,q$ and $r_i\,|\,P$; on the other hand, $r_i\,|\,(d,P) = M$. Since $(M, q) = 1$, this is a contradiction. Since $(n/d, \alpha_k) =1 $, it follows that $(n, \alpha_k) = 1$. Thus, we get
$$ \begin{equation} \begin{aligned} \, R_k(M,\delta) &= \sum_{\substack{z/\alpha_k< n \leqslant z/\alpha_{k-1} \\ n\equiv 0\,(\operatorname{mod} M\delta) \\ (n, a\alpha_k )= 1}} \mu^2(n) h(n) \sum_{\substack{d\,|\,n \\ d\leqslant z \\ (d,a)=1 \\ (d, P) = M\\ d\equiv 0\,(\operatorname{mod} \delta )\\ (n/d, d \alpha_k a) = 1 }}\mu(d) \nonumber \\ &=\sum_{\substack{z/\alpha_k< n \leqslant z/\alpha_{k-1} \\ n\equiv 0\,(\operatorname{mod} M\delta) \\ (n, a\alpha_k )= 1}} \mu^2(n) h(n) \sum_{\substack{d\,|\,n \\ (d, P) = M\\ d\equiv 0\,(\operatorname{mod} \delta )}}\mu(d) \nonumber \\ &= \sum_{\substack{z/\alpha_k< n \leqslant z/\alpha_{k-1} \\ n\equiv 0\,(\operatorname{mod} M\delta) \\ (n, a\alpha_k )= 1}} \mu^2(n) h(n) W_n(M,\delta). \end{aligned} \end{equation} \tag{20} $$
Since $M\,|\,P$ and $(\delta, P) = 1$, we have
$$ \begin{equation*} W_n(M,\delta) = \sum_{\substack{d\,|\,n \\ (d, P) = M\\ d\equiv 0\,(\operatorname{mod} \delta )}}\mu(d) = \mu(M) \sum_{\substack{d\,|\,(n/M) \\ (d, P/M) = 1\\ (d, M)=1 \\ d\equiv 0\,(\operatorname{mod} \delta ) }}\mu(d) = \mu(M)\sum_{\substack{d\,|\,n \\ (d, P) = 1 \\ d\equiv 0\,(\operatorname{mod} \delta ) }}\mu(d), \end{equation*} \notag $$
where we used the fact that the condition $d\,|\,(n/M)$ is equivalent to $d\,|\,n$ and $(d,M) = 1$. Hence, we get
$$ \begin{equation*} W_n(M,\delta)\,{=}\, \mu(M)\!\sum_{\substack{d\,|\,n \\ d\equiv 0\,(\operatorname{mod} \delta )}}\mu(d) \! \sum_{\Delta\,|\,(d,P)}\mu(\Delta) =\mu(M) \!\sum_{\Delta\,|\,(n,P)} \mu(\Delta) \sum_{\substack{d\,|\,n \\ d\equiv 0\,(\operatorname{mod} \delta ) \\ d\equiv 0\,(\operatorname{mod} \Delta ) }}\mu(d). \end{equation*} \notag $$
Further, since $\Delta\,|\,P$ and $(\delta,P) = 1$, we get $(\delta,\Delta) = 1$, whence
$$ \begin{equation*} \begin{aligned} \, W_n(M,\delta) &= \mu(M) \sum_{\Delta\,|\,(n,P)}\mu(\Delta)\sum_{\substack{d\,|\,n \\ d\equiv 0\,(\operatorname{mod} \delta\Delta ) }}\mu(d) \\ &= \mu(M) \sum_{\Delta\,|\,(n,P)}\mu(\Delta)\sum_{d\,|\,(n/(\delta\Delta))}\mu(\delta\Delta d) \\ &= \mu(M\delta) \sum_{\Delta\,|\,(n,P)}\mu^2(\Delta)\sum_{d\,|\,(n/(\delta\Delta))}\mu(d) \\ &=\mu(M\delta) \sum_{\Delta\,|\,(n,P)}\mu^2(\Delta)\, \mathbf{1}\biggl( \Delta = \frac{n}{\delta}\biggr) = \mu(M\delta)\, \mathbf{1}\biggl( \frac{n}{\delta}\biggm|P\biggr), \end{aligned} \end{equation*} \notag $$
where we use the notation
$$ \begin{equation*} \mathbf{1}(A) = \begin{cases} 1, &\text{if condition }A\text{ holds}, \\ 0 &\text{otherwise}. \end{cases} \end{equation*} \notag $$
Substituting the resulting expression of $W_n(M,\delta)$ into (20), we obtain
$$ \begin{equation*} \begin{aligned} \, R_k(M,\delta) &= \mu(M\delta) \sum_{\substack{z/\alpha_k< n \leqslant z/\alpha_{k-1} \\ n\equiv 0\,(\operatorname{mod} \delta M) \\ (n, a\alpha_k )= 1 \\ n/(\delta\,|\,P)}} \mu^2(n) h(n) \\ &=\mu(M\delta) h(M\delta) \sum_{\substack{z/(\delta M\alpha_k)< n \leqslant z/(\delta M\alpha_{k-1}) \\ (n, a\alpha_k \delta M)= 1 \\ n\,|\,(P/M)}} \mu^2(n) h(n) \\ &\ll\mu^2(M\delta) h(M\delta) \sum_{n\,|\,P}\mu^2(n)h(n) = \mu^2(M\delta) h(M\delta) \prod_{p\,|\,P}(1+h(p)), \end{aligned} \end{equation*} \notag $$
which proves Lemma 9.

Now we prove the main lemma.

Lemma 10. Let $m\geqslant 1$ be an arbitrary fixed integer. Further, let $\{f\}_{i=1}^m$ be a set of functions such that for any prime $f_i(p)\ll_m (\ln p)^{m +1}/p$. Put

$$ \begin{equation*} T_m(z;a) = \sum_{\substack{p_1\leqslant z\\p_1\,\nmid\,a}}f_1(p_1) \dots \sum_{\substack{p_m\leqslant z \\p_m\,\nmid\, a}}f_m(p_m) \sum_{\substack{d_1, d_2 \,|\, P_a(z) \\ d_1, d_2\leqslant z \\ [d_1, d_2]\equiv 0\,(\operatorname{mod} [p_1, \dots, p_m])}} \frac{\rho_{d_1}\rho_{d_2}}{\varphi([d_1,d_2])}J_{[d_1,d_2]}(1), \end{equation*} \notag $$
where the function $J_d(s)$ is defined in (6), the coefficients $\rho_d$ are defined in (17), and the product $P_a(z)$ is defined in (16). Then the sum $T_m(z;a)$ satisfies the estimate
$$ \begin{equation*} T_m(z;a)\ll_m \frac{1}{H_a(z)}, \end{equation*} \notag $$
where $H_a(z)$ is defined in (15).

Proof. Denote $g(d) = J_d(1)/\varphi(d)$, then
$$ \begin{equation*} g(p) = \frac{1}{p(p-1)\ln(1/(1-1/p))} \end{equation*} \notag $$
and for any $p\geqslant 3$ we have
$$ \begin{equation} \frac{1}{p}\leqslant g(p) \leqslant \frac{1}{p-1}. \end{equation} \tag{21} $$
Hence, $g(p)\leqslant 1/2$ for $p\geqslant 3$. Then since $g(2) = 1/(2\ln{2})$, for any prime
$$ \begin{equation} 0<g(p)\leqslant \frac{1}{2\ln{2}}<1. \end{equation} \tag{22} $$
Further, from the definition of $g(d)$ we have
$$ \begin{equation*} T_m(z;a) = \sum_{\substack{p_1\leqslant z\\p_1\,\nmid\,a}}f_1(p_1) \dots \sum_{\substack{p_m\leqslant z \\p_m\,\nmid\, a}}f_m(p_m) \sum_{\substack{d_1, d_2 \,|\, P_a(z) \\ d_1, d_2\leqslant z \\ [d_1, d_2]\equiv 0\,(\operatorname{mod} [p_1, \dots, p_m])}}{\rho_{d_1}\rho_{d_2}}g([d_1, d_2]). \end{equation*} \notag $$
Using the estimate (21) for $p\geqslant 3$, we find that
$$ \begin{equation*} \frac{1}{p-1}\leqslant h(p)\leqslant\frac{1}{p-2}. \end{equation*} \notag $$
According to (14) we get
$$ \begin{equation*} g(p) = \frac{h(p)}{h(p)+1}. \end{equation*} \notag $$
Hence, for the square-free $d$ we have
$$ \begin{equation*} \frac{1}{g(d)} = \prod_{p\,|\,d}\biggl(1+\frac{1}{h(p)}\biggr) = \sum_{\delta \,|\, d}\frac{1}{h(\delta)}. \end{equation*} \notag $$
Since $g(n)$ is multiplicative and $d_1$ and $d_2$ are square-free, we have
$$ \begin{equation*} g([d_1, d_2]) = \frac{g(d_1)g(d_2)}{g((d_1, d_2))} = g(d_1)g(d_2)\sum_{\delta \,|\, (d_1 , d_2)}\frac{1}{h(\delta )}. \end{equation*} \notag $$
Then
$$ \begin{equation*} \begin{aligned} \, &T_m(z;a) \\ &= \sum_{\substack{p_1\leqslant z\\ p_1\,\nmid\,a}}f_1(p_1) \dots \sum_{\substack{p_m\leqslant z \\ p_m\,\nmid\, a}}f_m(p_m)\sum_{\substack{\delta\,|\, P_a(z) \\ \delta\leqslant z}}\frac{1}{h(\delta)}\sum_{\substack{d_1, d_2 \,|\, P_a(z) \\ d_1, d_2\leqslant z\\ [d_1, d_2]\equiv 0\,(\operatorname{mod} [p_1, \dots, p_m]) \\ d_1, d_2 \equiv 0\,(\operatorname{mod} \delta)}}\rho_{d_1}g(d_1)\rho_{d_2}g(d_2). \end{aligned} \end{equation*} \notag $$
Without loss of generality, we may assume that all $p_1, p_2, \dots, p_m$ are pairwise distinct. Indeed, if $p_1 = p_2$, then
$$ \begin{equation*} f_1(p_1)f_2(p_1)\ll\frac{(\ln p_1)^{2m+2}}{p_1^2}\ll_m\frac{\ln p_1}{p_1},\qquad [p_1,p_2,\dots,p_m] = [p_1, p_3, \dots, p_m], \end{equation*} \notag $$
and the estimation of the sum $T_m(z;a)$ reduces to the estimation of the sum of the same type, but with a smaller value of the parameter $m$. Thus,
$$ \begin{equation} T_m(z;a) = \sum_{\substack{p_1\leqslant z\\ p_1\,\nmid\,a} }f_1(p_1) \sum_{\substack{p_2\leqslant z\\ p_2\,\nmid\,a \\ p_2\neq p_1} }f_2(p_2) \dots \sum_{\substack{p_m\leqslant z\\ p_m\,\nmid\,a \\ p_m\notin \{p_1, p_2, \dots, p_{m-1}\}} }f_m(p_m)\times S, \end{equation} \tag{23} $$
where
$$ \begin{equation*} S = \sum_{\substack{\delta\,|\, P_a(z) \\\delta\leqslant z}}\frac{1}{h(\delta)}\sum_{\substack{d_1, d_2 \,|\,P_a(z) \\ d_1, d_2\leqslant z\\ [d_1, d_2]\equiv\, 0\,(\operatorname{mod} p_1 \dotsb p_m) \\ d_1, d_2 \equiv\, 0\,(\operatorname{mod} \delta)}}\rho_{d_1}g(d_1)\rho_{d_2}g(d_2). \end{equation*} \notag $$
Let $P_m = p_1\cdots p_m$. Note that the condition
$$ \begin{equation*} [d_1 , d_2] \equiv 0\,(\operatorname{mod} P_m) \end{equation*} \notag $$
is equivalent to
$$ \begin{equation*} ([d_1 , d_2], P_m) = [(d_1, P_m), (d_2, P_m) ] = P_m. \end{equation*} \notag $$
Let $A = (d_1, P_m)$ and $B = (d_2, P_m)$. Then,
$$ \begin{equation*} \sum_{\substack{d_1, d_2 \,|\, P_a(z) \\ d_1, d_2\leqslant z\\ [d_1, d_2]\equiv 0\,(\operatorname{mod} P_m) \\ d_1, d_2 \equiv 0\,(\operatorname{mod} \delta)}}\rho_{d_1}g(d_1)\rho_{d_2}g(d_2) = \sum_{A\,|\,P_m}\sum_{\substack{B\,|\,P_m \\ [A,B] = P_m}} S_{\delta}(A)S_{\delta}(B), \end{equation*} \notag $$
where
$$ \begin{equation*} S_{\delta}(N) = \sum_{\substack{d\leqslant z \\ d\,|\,P_a(z) \\ (d, P_m) = N \\ d\equiv 0\,(\operatorname{mod} \delta)}}\rho_d g(d). \end{equation*} \notag $$
Further, let $D=(A, B)$, then
$$ \begin{equation*} \begin{aligned} \, S &= \sum_{\substack{\delta\,|\, P_a(z) \\\delta\leqslant z}}\frac{1}{h(\delta)}\sum_{A\,|\,P_m}\sum_{\substack{B\,|\,P_m \\ [A,B] = P_m}} S_{\delta}(A)S_{\delta}(B) \\ &= \sum_{D \,|\, P_m} \sum_{\substack{A\,|\, P_m\\ A\equiv 0\,(\operatorname{mod} D)}} \sum_{\substack{\delta\,|\, P_a(z)\\ \delta\leqslant z}}\frac{1}{h(\delta)} S_\delta(A) S_{\delta}(B), \end{aligned} \end{equation*} \notag $$
where the values $A$, $B$ and $D$ satisfy the relation $A B = {D P_m}$.

Note that $(\delta,P_m/D)=1$. Indeed, if there exists a prime $p$ such that $p\,|\, (\delta,P_m/D)$, then $p\,|\, \delta$, $p\,|\, P_m$ and $(p, D)=1$. This yields that $(p,A)\,{=}\,1$ or $(p, B)=1$. Without loss of generality, assume that $(p,A)=1$. Then all $d$ corresponding to the summands of the sum $S_\delta(A)$ are divisible by $p$. Since $p\,|\,P_m$, it follows from the condition $(d, P_m) = A$ in the sum $S_\delta(A)$ that $p\,|\,A$. This is a contradiction. Thus,

$$ \begin{equation} \begin{aligned} \, S &= \sum_{D \,|\, P_m} \sum_{\substack{A\,|\, P_m\\ A\equiv 0\,(\operatorname{mod} D)}} \sum_{\substack{\delta\,|\, P_a(z) \\ \delta\leqslant z \\ (\delta,P_m/D) = 1}}\frac{1}{h(\delta)} S_\delta(A) S_{\delta}(B) \nonumber \\ &=\sum_{D \,|\, P_m} \sum_{\substack{A\,|\, P_m\\ A\equiv\, 0\,(\operatorname{mod} D)}}\sum_{q\,|\,D} \sum_{\substack{\delta\,|\, P_a(z) \\ \delta\leqslant z \\ (\delta,P_m/D) = 1 \\ (\delta, D) = q}}\frac{1}{h(\delta)} S_\delta(A) S_{\delta}(B) \nonumber \\ &=\sum_{D \,|\, P_m} \sum_{\substack{A\,|\, P_m\\ A\equiv\, 0\,(\operatorname{mod} D)}}\sum_{q\,|\,D}\frac{1}{h(q)} \sum_{\substack{\delta\,|\, P_a(z) \\ \delta\leqslant z/q \\ (\delta,P_m) = 1 }}\frac{1}{h(\delta)} S_{\delta q}(A) S_{\delta q}(B). \end{aligned} \end{equation} \tag{24} $$
Express the value $S_{\delta q}(A)$ in terms of the value $S_{\delta}(1)$. We have
$$ \begin{equation*} S_{\delta q}(A) = \sum_{\substack{d\leqslant z \\ d\,|\,P_a(z) \\ (d, P_m) = A\\ d\equiv 0\,(\operatorname{mod} \delta q )}}\rho_d g(d) = \sum_{\substack{d\leqslant z/q \\ d\,|\,(P_a(z)/q) \\ (d, P_m/q) = A/q \\d\equiv 0\,(\operatorname{mod} \delta )}}\rho_{dq} g(dq). \end{equation*} \notag $$
Since the condition $d\,|\,(P_a(z)/q)$ is equivalent to the condition
$$ \begin{equation*} d\,|\,P_a(z),\qquad (d,q)=1, \end{equation*} \notag $$
and $\rho_d=0$ for $d>z$, we get
$$ \begin{equation*} S_{\delta q}(A) = g(q)\sum_{\substack{d\leqslant z \\ d\,|\,P_a(z) \\ (d, P_m/q) = A/q\\ (d,q) = 1 \\ d\equiv 0\,(\operatorname{mod} \delta)}}\rho_{d q} g(d) = g(q)\sum_{\substack{d\leqslant z \\ d\,|\,P_a(z) \\ (d, P_m) = A/q\\ (d,q) = 1 \\ d\equiv 0\,(\operatorname{mod} \delta)}}\rho_{d q} g(d). \end{equation*} \notag $$
Since for $(d,q) > 1$ we have $\rho_{dq} = 0$, the condition $(d,q) = 1$ in the above sum can be omitted. Thus, we get
$$ \begin{equation*} S_{\delta q}(A) = g(q)\sum_{\substack{d\leqslant z \\ d\,|\,P_a(z) \\ (d, P_m) = A/q \\ d\equiv 0\,(\operatorname{mod} \delta)}}\rho_{d q} g(d). \end{equation*} \notag $$
Further, since $(\delta, P_m) = 1$ and $Aq^{-1}\,|\,P_m$, we conclude that $(\delta,{A}{q}^{-1 }) = 1$. Hence,
$$ \begin{equation} S_{\delta q}(A) = g(q)\sum_{\substack{d\leqslant z/(Aq^{-1}) \\ d\,|\,(P_a(z)/(Aq^{-1})) \\ (d, P_m/(Aq^{-1})) = 1 \\ d\equiv 0\,(\operatorname{mod} \delta)}}\rho_{d A} g(Aq^{-1}d) = g(A)\sum_{\substack{d\leqslant z \\ d\,|\,P_a(z) \\ (d, P_m) = 1 \\ d\equiv 0\,(\operatorname{mod} \delta)}}\rho_{d A} g(d). \end{equation} \tag{25} $$
Let $A>1$ and $A = r_1 r_2 \cdots r_s$ be the factorization of $A$. Then $(-1)^s = \mu(A)$. Since $(d,A) = (dA,a) = 1$, Lemma 8 implies that
$$ \begin{equation*} \rho_{dA} = \mu(A)\biggl(\rho_d-\frac{\mu(d)h(d)}{H_a(z)g(d)}R\biggr), \end{equation*} \notag $$
where
$$ \begin{equation*} R = \sum_{k=1}^{\omega(A)}\biggl( \prod_{i = 1}^{k-1} \frac{h(r_i)}{g(r_i)}\biggr) \sum_{\substack{z/(d\alpha_k)< l \leqslant z/(d\alpha_{k-1}) \\ (l,d \alpha_k a) = 1}} \mu^2(l) h(l),\qquad \alpha_k = \prod_{i = 1}^{k} r_i. \end{equation*} \notag $$
From (25) we get
$$ \begin{equation*} S_{\delta q}(A) = \mu(A)g(A)\biggl(S_{\delta}(1)-\frac{R'}{H_a(z)}\biggr), \end{equation*} \notag $$
where
$$ \begin{equation*} R' = \sum_{k=1}^{\omega(A)}\biggl( \prod_{i = 1}^{k-1}\frac{h(r_i)}{g(r_i)}\biggr) \sum_{\substack{d\leqslant z \\ d\,|\,P_a(z) \\ (d, P_m) = 1 \\ d\equiv 0\,(\operatorname{mod} \delta)}}\mu(d)h(d) \sum_{\substack{z/(d\alpha_k)< l \leqslant z/(d\alpha_{k-1}) \\ (l,d \alpha_k a) = 1}} \mu^2(l) h(l). \end{equation*} \notag $$
From Lemma 9 and the equality $h(p)/g(p)=1+h(p)$ we obtain the following estimate of $R'$:
$$ \begin{equation*} R'=\sum_{k=1}^{\omega(A)}\biggl( \prod_{i = 1}^{k-1}(1+h(r_i))\biggr) R_k(1,\delta)\ll\omega(A)\prod_{p\,|\,P_m}(1+h(p))^2\mu^2(\delta) h(\delta)\ll_m \mu^2(\delta) h(\delta). \end{equation*} \notag $$
Thus, when $A>1$, we have
$$ \begin{equation} S_{\delta q}(A) = \mu(A)g(A)\biggl( S_{\delta }(1)+O_m\biggl( \frac{\mu^2(\delta) h(\delta)}{H_a}\biggr) \biggr). \end{equation} \tag{26} $$
From (25) for $A = 1$ we get $S_{\delta q} (1) = S_{\delta}(1)$, thus the equality (26) also holds when $A = 1$.

Then from (24), we obtain

$$ \begin{equation*} \begin{aligned} \, S &= \sum_{D \,|\, P_m} \sum_{\substack{A\,|\, P_m\\ A\equiv 0\,(\operatorname{mod} D)}}\sum_{q\,|\,D}\frac{1}{h(q)} \sum_{\substack{\delta\,|\, P_a(z) \\ \delta\leqslant z/q \\ (\delta,{P_m})=1}}\frac{1}{h(\delta)} \mu(A)g(A)\mu(B)g(B) \\ &\qquad\times\biggl( S_{\delta}(1)+O_m\biggl(\frac{\mu^2(\delta) h(\delta)}{H_a(z)} \biggr) \biggr)^2 \\ &=\mu(P_m) g(P_m) \sum_{D \,|\, P_m}\mu(D) g(D) \sum_{\substack{A\,|\, P_m\\ A\equiv\, 0\,(\operatorname{mod} D)}}\sum_{q\,|\,D}\frac{1}{h(q)} \\ &\qquad \times \sum_{\substack{\delta\,|\, P_a(z) \\ \delta\leqslant z/q \\ (\delta,{P_m}) = 1 }}\frac{1}{h(\delta)} \biggl( S_{\delta}(1)+O_m\biggl(\frac{\mu^2(\delta) h(\delta)}{H_a(z)} \biggr) \biggr)^2. \end{aligned} \end{equation*} \notag $$
Since for any square-free $d$ we have
$$ \begin{equation*} \frac{g(d)}{h(d)}\leqslant 1, \end{equation*} \notag $$
it follows that
$$ \begin{equation} \begin{aligned} \, S &\ll_m g(P_m)\sum_{D\,|\,P_m}\frac{g(D)}{h(D)}\sum_{\substack{A\,|\,P_m \\ A\equiv 0\, (\operatorname{mod} D)}}\sum_{q\,|\,D}h\biggl(\frac{D}{q}\biggr) \nonumber \\ &\qquad\times \sum_{\substack{\delta\,|\, P_a(z) \\ \delta\leqslant z/q \\ (\delta,{P_m}) = 1 }}\frac{1}{h(\delta)} \biggl( S_{\delta}(1)+\frac{\mu^2(\delta) h(\delta)}{H_a(z)} \biggr)^2 \nonumber \\ &\ll_m g(P_m) W \sum_{\substack{\delta\,|\, P_a(z) \\ \delta\leqslant z \\ (\delta,{P_m}) = 1 }}\frac{1}{h(\delta)} \biggl( S_{\delta}^2(1)+\frac{\mu^2(\delta) h^2(\delta)}{H^2_a(z)} \biggr), \end{aligned} \end{equation} \tag{27} $$
where the sum $W$ is defined by the equality
$$ \begin{equation*} W = \sum_{D\,|\,P_m}\sum_{\substack{A\,|\,P_m \\ A\equiv 0\,(\operatorname{mod} D)}}\sum_{d\,|\,D}h(d). \end{equation*} \notag $$
Note that $W\ll 4^m$. Indeed,
$$ \begin{equation*} \begin{aligned} \, W &= \sum_{D\,|\,P_m}\prod_{p\,|\,D}(1+h(p))\sum_{\substack{A\,|\,P_m \\ A\equiv 0\, (\operatorname{mod} D)}}1 = \sum_{D\,|\,P_m} \prod_{p\,|\,D}(1+h(p)) \frac{\tau(P_m)}{\tau(D)} \\ &= \tau(P_m)\sum_{D\,|\,P_m}\prod_{p\,|\,D}\frac{1+h(p)}{2} = \tau(P_m)\prod_{p\,|\,P_m}\frac{3+h(p)}{2} = \prod_{p\,|\,P_m}(3+h(p))\ll 4^m. \end{aligned} \end{equation*} \notag $$
Then from (27) and (15) we find that
$$ \begin{equation} S\ll_m g(P_m)\Biggl( \sum_{\substack{\delta\,|\, P_a(z) \\ \delta\leqslant z \\ (\delta,{P_m}) = 1 }}\frac{S_{\delta}^2(1)}{h(\delta)}+\frac{1}{H_a(z)}\Biggr). \end{equation} \tag{28} $$
Note that
$$ \begin{equation*} \begin{aligned} \, S_{\delta}(1) &= \sum_{\substack{d\leqslant z \\ d\,|\,P_a(z) \\ (d, P_m) = 1\\ d\equiv 0\,(\operatorname{mod} \delta)}}\rho_d g(d) = \sum_{\substack{d\leqslant z \\ d\,|\,P_a(z) \\ d\equiv 0\,(\operatorname{mod} \delta )}}\rho_d g(d)- \sum_{\substack{\Delta\,|\,P_m\\ \Delta>1}} S_{\delta}(\Delta) \\ &=x_{\delta}-\sum_{\substack{\Delta\,|\,P_m\\ \Delta>1}} \mu(\Delta)g(\Delta)\biggl( S_{\delta}(1)+ O_m\biggl( \frac{\mu^2(\delta)h(\delta)}{H_a(z)}\biggr) \biggr) \\ &=x_{\delta}-S_{\delta}(1)\sum_{\substack{\Delta\,|\,P_m\\ \Delta>1}} \mu(\Delta)g(\Delta) + O_m\Biggl( \frac{\mu^2(\delta)h(\delta)}{H_a(z)}\sum_{\substack{\Delta\,|\,P_m \\ \Delta > 1}}\mu^2(\Delta)g(\Delta)\Biggr). \end{aligned} \end{equation*} \notag $$
Then we obtain
$$ \begin{equation*} S_{\delta}(1) \sum_{\Delta\,|\, P_m}\mu(\Delta)g(\Delta) = x_{\delta} + O_{m}\biggl(\frac{\mu ^2(\delta)h(\delta)}{H_a(z)} \biggr). \end{equation*} \notag $$
Since $0<g(p) \leqslant 1/(2\ln 2)$ for any prime $p$, it follows that
$$ \begin{equation*} \sum_{\delta\,|\, P_m}\mu(\Delta)g(\Delta) = \prod_{p\,|\,P_m}(1-g(p)) \gg_m 1. \end{equation*} \notag $$
Hence, we get
$$ \begin{equation*} S^2_{\delta}(1)\ll_m x^2_{\delta}+\frac{\mu^2(\delta) h^2(\delta)}{H_a^2(z)}. \end{equation*} \notag $$

Note that

$$ \begin{equation*} \sum_{\substack{\delta\,|\, P_a(z) \\ \delta\leqslant z}}\frac{1}{h(\delta)} x^2_{\delta} = \frac{1}{H_a(z)}. \end{equation*} \notag $$
Indeed,
$$ \begin{equation*} \begin{aligned} \, \frac{1}{H_a(z)} &= \sum_{d_1,d_2\,|\,P_a(z)} \rho_{d_1}\rho_{d_2}g(d_1)g(d_1)\frac{1}{g((d_1,d_2))} \\ &=\sum_{\substack{\delta\,|\,P_a(z)\\\delta \leqslant z}}\frac{1}{h(\delta)}\Biggl( \sum_{\substack{d\leqslant z \\ d\,|\,P_a(z) \\ d\equiv 0\,(\operatorname{mod} \delta )}}\rho_d g(d)\Biggr)^2 = \sum_{\substack{\delta\,|\, P_a(z) \\ \delta\leqslant z}}\frac{1}{h(\delta)} x^2_{\delta}. \end{aligned} \end{equation*} \notag $$
Thus, from (28) we get
$$ \begin{equation*} S\ll_m \frac{g(P_m)}{H_a(z)} = \frac{g(p_1)g(p_2)\cdots g(p_m)}{H_a(z)}\ll_m \frac{1}{p_1p_2\cdots p_m H_a(z)}. \end{equation*} \notag $$
Substituting this estimate in (23), we obtain that
$$ \begin{equation*} T_m(z;a) \ll \sum_{p_1\leqslant z}\frac{f_1(p_1)}{p_1} \sum_{p_2\leqslant z}\frac{f_1(p_2)}{p_2} \cdots \sum_{p_m\leqslant z}\frac{f_m(p_m)}{p_m}\, |S|\ll_m \frac{1}{H_a(z)}. \end{equation*} \notag $$
Lemma 10 is proved.

Lemma 11. Let $g(n)$ be a multiplicative function, for which

– for some constant $A_1\geqslant 1$ and any prime $p$

$$ \begin{equation} 0\leqslant g(p)\leqslant 1-\frac{1}{A_1}; \end{equation} \tag{29} $$

– for some values $\kappa$, $L$, $A_2>0$ the following inequalities hold

$$ \begin{equation} -L\leqslant \sum_{u\leqslant p<v}g(p)\ln p-\kappa\ln\biggl(\frac{v}{u}\biggr)\leqslant A_2. \end{equation} \tag{30} $$

Then for $W(z) = \prod_{p<z}(1-g(p))$ we have

$$ \begin{equation*} W(z) = \prod_{p}(1-g(p))\biggl(1-\frac{1}{p}\biggr)^{-\kappa}\frac{e^{-\gamma\kappa}}{(\ln z)^{\kappa}}\biggl(1+O\biggl(\frac{L}{\ln z}\biggr)\biggr), \end{equation*} \notag $$
where $\gamma$ is the Euler–Mascheroni constant.

Proof see in [13], § 5, Lemma 5.3.

Lemma 12. Let $g(n)$ and $h(n)$ be multiplicative functions, and

$$ \begin{equation*} 0\leqslant g(p)<1,\qquad h(p) = \frac{g(p)}{1-g(p)} \end{equation*} \notag $$
for any prime $p$. Further, suppose that the conditions (29) and (30) are hold. Put
$$ \begin{equation} H(z) = \sum_{k\leqslant z}\mu^2(k)h(k), \qquad W(z) = \prod_{p<z}(1-g(p)). \end{equation} \tag{31} $$

Then we have

$$ \begin{equation*} \frac{1}{H(z)} = W(z)e^{\gamma\kappa}\Gamma(\kappa+1)\biggl(1+O\biggl(\frac{L}{\ln z }\biggr)\biggr), \end{equation*} \notag $$
where $\gamma$ is the Euler–Mascheroni constant.

Proof see in [13], § 5, Lemma 5.4.

From Lemmas 11 and 12 for $H(z)$ defined in (31), we get

$$ \begin{equation} \frac{1}{H(z)} = \prod_{p}(1-g(p)) \biggl(1-\frac{1}{p}\biggr)^{-\kappa} \frac{\Gamma(\kappa+1)}{(\ln z)^{\kappa}}\biggl(1+O\biggl(\frac{L}{\ln z}\biggr)\biggr). \end{equation} \tag{32} $$
We need the main lemma of [9].

Lemma 13. Let $d\geqslant 1$ be a fixed integer, $f(q)$ be a positive function such that

$$ \begin{equation*} \sum_{q\leqslant x}f(q)\ll x(\ln x)^{\kappa} \end{equation*} \notag $$
for some constant $\kappa > 0$. Then for any fixed $B>0$ there exists $A(B) > 0$ such that the inequality
$$ \begin{equation*} R = \sum_{q\leqslant Q}\frac{f(q)}{\varphi(q)}\sum_{\substack{\chi\,\operatorname{mod} q \\ \chi\neq\chi_0}}\,\Biggl|\sum_{\substack{n\leqslant N \\ (n, d) = 1}} \frac{\chi(n)}{\tau(n)}\Biggr| \ll x(\ln x)^{-B} \end{equation*} \notag $$
holds for any $Q$, $N$ such that $Q\leqslant \sqrt{x}\,(\ln x)^{-A}$, $N\leqslant x$, and an implied constant is inefficient and depends only on $B$, $d$ and $f$.

Proof see [9], Lemma 13.

§ 2. Proof of the theorem

We have

$$ \begin{equation*} \Phi_a(x)=\sum _{p \leqslant x} \frac{1}{\tau (p+a)}\leqslant \sum_{\substack{ n+a\leqslant x \\ (n,P_a(z))=1 }} \frac{1}{\tau (n+a)}+r_1, \end{equation*} \notag $$
where $r_1=r_1(z;a)$ is the number of those $n\leqslant z$ for which $n+a$ is prime, so that
$$ \begin{equation*} r_1\ll\frac{z}{\ln z}+a. \end{equation*} \notag $$
Further, let $\rho_d$ be chosen as in (17), then $\rho_1 = 1$, $\rho_d = 0$ for $d>z$ or $d\nmid P_a(z)$, and $|\rho_d|\leqslant 1$. Then we get
$$ \begin{equation*} \begin{aligned} \, \Phi_a(x) &\leqslant\sum_{\substack{ n+a\leqslant x \\ (n,P_a(z))=1 }} \frac{1}{\tau (n+a)}+r_1 \leqslant \sum_{\substack{ n+a\leqslant x}} \frac{1}{\tau (n+a)}\biggl(\sum_{d\,|\,(n,P_a(z))}\rho_d\biggr)^2+ r_1 \\ &=\sum_{\substack{d\,|\,P_a(z) \\ d\leqslant z^2}}{\lambda_d}\sum_{\substack{ n+a\leqslant x \\ n\equiv0\,(\operatorname{mod} d)}}\frac{1}{\tau(n+a)}+r_1, \end{aligned} \end{equation*} \notag $$
where $\lambda_d = \sum_{[d_1, d_2] = d}\rho_{d_1}\rho_{d_2}$. Note that
$$ \begin{equation*} |\lambda_d|\leqslant \sum_{[d_1, d_2] = d} 1 = 3^{\omega(d)}. \end{equation*} \notag $$
Since $(d,a) = 1$, we have
$$ \begin{equation*} \sum_{\substack{ n+a\leqslant x \\ n\equiv0\, (\operatorname{mod} d)}}\frac{1}{\tau(n+a)} = \sum_{\substack{ k\leqslant x \\ k\equiv a\,(\operatorname{mod} d)}}\frac{1}{\tau(k)} = \frac{1}{\varphi(d)}\sum_{\chi\, \operatorname{mod} d}\overline{\chi}(a)\sum_{k\leqslant x}\frac{\chi(k)}{\tau(k)}, \end{equation*} \notag $$
where the summation is over all Dirichlet characters modulo $d$. Separating the contribution of the main character and denoting by $r_2$ the contribution from the remaining characters, we obtain
$$ \begin{equation*} \Phi_a(x)\leqslant \sum_{\substack{d\,|\,P_a(z) \\ d\leqslant z^2}}\frac{\lambda_d}{\varphi(d)} \sum_{\substack{ k\leqslant x \\ (k, d) = 1}}\frac{1}{\tau(k)}+r_2+r_1, \end{equation*} \notag $$
where
$$ \begin{equation*} r_2 = r_2(x,z;a) \ll\sum_{d\leqslant z^2}\frac{|\lambda_d|}{\varphi(d)} \sum_{\substack{\chi\,\operatorname{mod} d \\ \chi\neq\chi_0}}\, \biggl|\sum_{\substack{ k\leqslant x}}\frac{\chi(k)}{\tau(k)}\biggr| \ll \sum_{d\leqslant z^2}\frac{3^{\omega(d)}}{\varphi(d)} \sum_{\substack{\chi\,\operatorname{mod} d \\ \chi\neq\chi_0}}\, \biggl|\sum_{\substack{ k\leqslant x}}\frac{\chi(k)}{\tau(k)}\biggr|. \end{equation*} \notag $$
Consider an integer $m_0\geqslant 1$. Then from Lemma 4 we get
$$ \begin{equation} \begin{aligned} \, \Phi_a(x) &\leqslant \sum_{\substack{d\,|\,P_a(z) \\ d\leqslant z^2}}\frac{\lambda_d}{\varphi(d)}\biggl(\frac{x}{\sqrt{\pi\ln x}}\sum_{k=0}^{m_0}\frac{(-1)^k\binom{2k}{k}}{4^k}\, \frac{G_d^{(k)}(1)}{(\ln x)^k}+R_{m_0}(x;d)\biggr)+r_2+r_1 \nonumber \\ &= \frac{x}{\sqrt{\pi\ln x}}\sum_{k=0}^{m_0}\frac{(-1)^k\binom{2k}{k}}{4^k(\ln x)^k} \sum_{\substack{d\,|\,P_a(z) \\ d\leqslant z^2}}\frac{\lambda_d G_d^{(k)}(1)}{\varphi(d)}+r_3+r_2+r_1, \end{aligned} \end{equation} \tag{33} $$
where
$$ \begin{equation*} \begin{aligned} \, r_3 &\ll_{m_0}\frac{x}{(\ln x)^{m_0 + 3/2}}\sum_{d\leqslant z^2}\frac{|\lambda_d|}{\varphi(d)}(\omega(d)+2)^{10} \\ &\ll \frac{x}{(\ln x)^{m_0 + 3/2}}\sum_{d\leqslant z^2} \frac{(3+1/2)^{\omega(d)}}{\varphi(d)} \ll\frac{x(\ln z)^{3+1/2}}{(\ln x)^{m_0+3/2}}. \end{aligned} \end{equation*} \notag $$
Substituting the equality
$$ \begin{equation*} G^{(k)}_d(s) = \sum_{l = 0}^k\binom{k}{l}H^{(k-l)}(s)J_d^{(l)}(s) \end{equation*} \notag $$
for (33) and changing the order of summation over the variables $d$ and $l$, we obtain
$$ \begin{equation} \Phi_a(x)\leqslant \frac{x}{\sqrt{\pi\ln x}}\sum_{k = 0}^{m_0}\frac{a_k}{(\ln x)^k}\sum_{l = 0}^k b_l(k)S_l(z;a)+r_3+r_2+r_1, \end{equation} \tag{34} $$
where
$$ \begin{equation*} \begin{gathered} \, a_k = \frac{(-1)^k\binom{2k}{k}}{4^k},\qquad b_l(k) = \binom{k}{l} H^{(k-l)}(1), \\ S_l(z;a) = \sum_{\substack{d\,|\,P_a(z) \\ d\leqslant z^2}}\frac{\lambda_d J_d^{(l)}(1)}{\varphi(d)}. \end{gathered} \end{equation*} \notag $$
Let us estimate the values $S_l(z;a)$. We set $g(d) = J_d(1)/\varphi(d)$, then for $l = 0$ we get
$$ \begin{equation} S_0(z;a) = \sum_{\substack{d_1,d_2 \,|\,P_a(z) \\ d_1, d_2\leqslant z}}\rho_{d_1}\rho_{d_2}g([d_1,d_2]) = \frac{1}{H_a(z)}. \end{equation} \tag{35} $$
Let $l\geqslant 1$, then from Lemma 6 we get
$$ \begin{equation} S_l(z;a) = \sum_{\substack{d\,|\,P_a(z) \\ d\leqslant z^2}}\frac{\lambda_d}{\varphi(d)}J_d(1)Q_l. \end{equation} \tag{36} $$
Here $Q_l$ is a polynomial of degree $l$ in variables $I(1), I'(1), \dots, I^{(l-1)}(1)$ with integer coefficients:
$$ \begin{equation*} Q_l = \sum_{m=0}^l\sum_{\substack{ |\mathbf{i}| = m }}a_{\mathbf{i}}\prod_{\substack{r=1}}^l\bigl( I^{(r-1)}(1)\bigr)^{i_r} , \end{equation*} \notag $$
where $\mathbf{i} = (i_1,\dots, i_l)$ is an integer vector, $i_r\geqslant 0$, $|\mathbf{i}| = i_1+\dots+i_l$, and $I(s)$ is defined in (12). For $1\leqslant r\leqslant l$ we have
$$ \begin{equation*} I^{(r-1)}(1) = \sum_{p\,|\,d}\mathfrak{f}_r(p), \end{equation*} \notag $$
where $\mathfrak{f}_r(p)=f^{(r-1)}(1;p)$. Lemma 5 implies that for any prime $p$
$$ \begin{equation*} \mathfrak{f}_{r}(p)\ll_r\frac{(\ln p)^{r+1}}{p}\ll_{m_0}\frac{(\ln p)^{m_0+1}}{p}. \end{equation*} \notag $$
For convenience, for each $r\geqslant 1$ we consider $i_r$ identical functions with different indices
$$ \begin{equation*} f_{r1} = f_{r_2} = \dots = f_{ri_{r}} = \mathfrak{f}_r. \end{equation*} \notag $$
Hence, using notations given above, we obtain
$$ \begin{equation*} (I^{(r-1)}(1))^{i_r} \,{=} \sum_{p_{r1}\,|\,d}f_{r1}(p_{r1})\cdots \sum_{p_{ri_{r}}\,|\,d}f_{ri_r}(p_{ri_r})\,{=} \sum_{p_{r1},\,\dots,\, p_{ri_r}\,|\,d}{f}_{r1}(p_{r1})\cdots {f}_{ri_r}(p_{ri_r}). \end{equation*} \notag $$
Let $j_1, j_2, \dots, j_R$ be the sequence of indices of all nonzero coordinates of the vector $\mathbf{i}$. Then $j_1<j_2<\dots<j_{R}$, $R\leqslant l$, and $i_r \neq 0$ if and only if $r\in \{j_1, j_2, \dots, j_R\} $. Then we have
$$ \begin{equation*} \begin{aligned} \, \prod_{\substack{r=1}}^l\bigl( I^{(r-1)}(1)\bigr)^{i_r} &= \prod_{\substack{r=1 \\ i_r \neq 0}}^l \sum_{p_{r1},\dots,p_{ri_r}\,|\,d}f_{r1}(p_{r1})\cdots f_{ri_r}(p_{ri_r}) \\ &=\sum_{p_{j_11}, \dots, p_{j_Ri_{j_R}}\,|\,d} f_{j_11}(p_{j_11})\cdots f_{j_Ri_{j_R}}(p_{j_Ri_{j_R}}). \end{aligned} \end{equation*} \notag $$
Associate each pair $(j_\nu,t)$, where $1\leqslant t\leqslant i_{j_\nu}$, with the number
$$ \begin{equation*} i = i_{j_1}+\dots+i_{j_{\nu-1}}+t. \end{equation*} \notag $$
With this numbering, $f_{j_\nu t}(p_{j_\nu t})$ will be rewritten as $f_i(p_i)$, where $1\leqslant i\leqslant m$. Then we get
$$ \begin{equation*} \prod_{\substack{r=1}}^l\bigl( I^{(r-1)}(1)\bigr)^{i_r} = \sum_{p_1,p_2,\dots,p_m \,|\, d}f_1(p_1)f_2(p_2)\cdots f_m(p_m). \end{equation*} \notag $$
Thus, for $Q_l$ we have
$$ \begin{equation} Q_l = \sum_{m=0}^l \sum_{\substack{|\mathbf{i}| = m}}a_{\mathbf{i}}\,\sum_{p_1,p_2,\dots,p_m \,|\, d}f_1(p_1)f_2(p_2)\cdots f_m(p_m). \end{equation} \tag{37} $$
Substituting (37) into (36) and changing the order of summation, we obtain
$$ \begin{equation*} \begin{aligned} \, S_l(z;a) &= \sum_{m=0}^l \sum_{\substack{|\mathbf{i}|=m}} a_{\mathbf{i}}\, \sum_{\substack{p_1 \leqslant z \\ p_1\nmid\, a}}f_1(p_1)\cdots\sum_{\substack{p_m \leqslant z \\ p_m\nmid\, a}}f_m(p_m) \\ &\qquad\times\sum_{\substack{d_1,d_2\,|\,P_a(z) \\ d_1, d_2\leqslant z \\ [d_1,d_2]\equiv 0\,(\operatorname{mod} P)}}\frac{\rho_{d_1}\rho_{d_2}}{\varphi([d_1,d_2])}J_{[d_1,d_2]}(1), \end{aligned} \end{equation*} \notag $$
where $P$ is the least common multiple of the primes $p_{1}, p_2, \dots, p_m$. Applying (35) for $m=0$ and Lemma 10 for $m\geqslant 1$, we obtain
$$ \begin{equation} S_l(z;a)\ll_{m_0}\frac{1}{H_a(z)}. \end{equation} \tag{38} $$
Now we separate the term corresponding to $k = 0$ in sum (34), and apply (38) to the rest terms of the sum. Then we obtain
$$ \begin{equation*} \Phi_a(x) \leqslant\frac{H(1)}{\sqrt{\pi}}\, \frac{x}{\sqrt{\ln x}\, H_a(z)}+r_4+r_3+r_2+r_1, \end{equation*} \notag $$
where
$$ \begin{equation*} r_4\ll_{m_0}\frac{x}{(\ln x)^{3/2}H_a(z)}. \end{equation*} \notag $$
Let us find the asymptotic formula for $1/H_a(z)$. For this purpose we apply equality (32). For prime $p$ we set
$$ \begin{equation*} g_0(p) = \begin{cases} g(p), &\text{if } p\nmid a, \\ 0 &\text{otherwise}, \end{cases} \qquad h_0(p) = \frac{g_0(p)}{1-g_0(p)}, \end{equation*} \notag $$
and define $g_0(d)$, $h_0(d)$ for square-free $d$ by multiplicativity. From the definition of the function $h_0$ we obtain
$$ \begin{equation*} H_a(z) = \sum_{k\leqslant z}\mu^2(k)h_0(k). \end{equation*} \notag $$
Now we find the parameters $A_1$, $A_2$, $L$, $\kappa$ corresponding to the function $g_0$. It follows from (22) that one can take $A_1 = 4$. Estimate (21) for $p\geqslant 2$ implies that
$$ \begin{equation*} g(p) = \frac{1}{p}+\frac{\theta}{p(p-1)},\qquad |\theta| \leqslant 1. \end{equation*} \notag $$
From here we get $\kappa = 1$ and $A_2$, $L = O_a(1)$. From (32) we obtain
$$ \begin{equation*} \begin{aligned} \, \frac{1}{H_a(z)} &= \prod_{p}\biggl(1-g_0(p)\biggr) \biggl(1-\frac{1}{p}\biggr)^{-1}\frac{1}{\ln z}\biggl(1+O\biggl(\frac{1}{\ln z}\biggr)\biggr) \\ &=\frac{C\beta(a)}{\ln z}\biggl(1+O\biggl(\frac{1}{\ln z}\biggr)\biggr), \end{aligned} \end{equation*} \notag $$
where
$$ \begin{equation*} \begin{gathered} \, C = \prod_{p}(1-g(p))\biggl(1-\frac{1}{p}\biggr)^{-1}, \\ \beta(a) = \prod_{p\,|\,a}\biggl( 1+\frac{1}{p(p-1)\ln(p/(p-1))-1}\biggr). \end{gathered} \end{equation*} \notag $$
Hence, we obtain the following estimate for the sum $\Phi_a(x)$:
$$ \begin{equation} \Phi_a(x) \leqslant K\beta(a)\frac{x}{\sqrt{\ln x}\,\ln z}\biggl(1+O\biggl(\frac{1}{\ln z}\biggr)\biggr)+r_4+r_3+r_2+r_1, \end{equation} \tag{39} $$
where
$$ \begin{equation*} \begin{aligned} \, K &= \frac{H(1)C}{\sqrt{\pi}} = \frac{1}{\sqrt{\pi}}\prod_p\sqrt{p^2-p}\, \ln{\frac{p}{p-1}}\biggl(1-\frac{1}{p(p-1)\ln(p/(p-1))}\biggr) \biggl(1-\frac{1}{p}\biggr)^{-1} \\ &= \frac{1}{\sqrt{\pi}}\prod_{p}\sqrt{\frac{p}{p-1}}\biggl(p\ln\frac{p}{p-1} -\frac{1}{p-1}\biggr). \end{aligned} \end{equation*} \notag $$
It remains to estimate the remainder terms. Now we take
$$ \begin{equation*} f(q) = 3^{\omega(q)},\qquad B = \frac{5}{2},\qquad d = 1,\qquad Q = \frac{\sqrt{x}}{(\ln x)^A},\qquad N = x. \end{equation*} \notag $$
We choose $m_0 = 5$ and
$$ \begin{equation*} z = \sqrt{Q} = \frac{\sqrt[4]{x}}{(\ln x)^{A/2}}, \end{equation*} \notag $$
then Lemma 13 implies that $r_2\ll x/(\ln x)^{5/2}$. For the remainders $r_4$, $r_3$, $r_1$, we obtain
$$ \begin{equation*} r_4\ll\frac{x}{(\ln x)^{5/2}},\qquad r_3\ll\frac{x}{(\ln x)^3},\qquad r_1\ll\sqrt[4]{x}. \end{equation*} \notag $$
It follows from (39) that
$$ \begin{equation*} \Phi_a(x)\leqslant 4K\beta(a)\frac{x}{(\ln x)^{3/2}}\biggl(1+O\biggl(\frac{\ln\ln x}{\ln x}\biggr)\biggr), \end{equation*} \notag $$
which completes the proof of Theorem 1.


Bibliography

1. E. C. Titchmarsh, “A divisor problem”, Rend. Circ. Mat. Palermo, 54 (1930), 414–429  crossref  zmath
2. Yu. V. Linnik, “New versions and new uses of the dispersion method in binary additive problems.”, Dokl. Akad. Nauk SSSR, 137:6 (1961), 1299–1302  mathnet  mathscinet  zmath; English transl. Soviet Math. Dokl., 2 (1961), 468–471
3. G. Rodriquez, “Sul problema dei divisori di Titchmarsh”, Boll. Un. Mat. Ital. (3), 20 (1965), 358–366  mathscinet  zmath
4. H. Halberstam, “Footnote to the Titchmarsh–Linnik divisor problem”, Proc. Amer. Math. Soc., 18 (1967), 187–188  crossref  mathscinet  zmath
5. E. Bombieri, J. B. Friedlander, and H. Iwaniec, “Primes in arithmetic progressions to large moduli”, Acta Math., 156:3-4 (1986), 203–251  crossref  mathscinet  zmath
6. É. Fouvry, “Sur le probléme des diviseurs de Titchmarsh”, J. Reine Angew. Math., 1985:357 (1985), 51–76  crossref  mathscinet  zmath
7. S. Drappeau and B. Topacogullari, “Combinatorial identities and Titchmarsh's divisor problem for multiplicative functions”, Algebra Number Theory, 13:10 (2019), 2383–2425  crossref  mathscinet  zmath
8. S. Ramanujan, “Some formulae in the analytic theory of numbers”, Messenger Math., 45 (1916), 81–84  mathscinet  zmath
9. M. A. Korolev, “On Karatsuba's problem concerning the divisor function”, Monatsh. Math., 168:3-4 (2012), 403–441  crossref  mathscinet  zmath
10. V. Kowalenko, “Properties and applications of the reciprocal logarithm numbers”, Acta Appl. Math., 109:2 (2010), 413–437  crossref  mathscinet  zmath
11. A. A. Karatsuba and S. M. Voronin, The Riemann zeta-function, Fizmatlit, Moscow, 1994  mathscinet  zmath; English transl. De Gruyter Exp. Math., 5, Walter de Gruyter & Co., Berlin, 1992  crossref  mathscinet  zmath
12. A. A. Karatsuba, Basic analytic number theory, Nauka, Moscow, 1975  mathscinet  zmath; English transl. of 2nd ed. Springer-Verlag, Berlin, 1993  crossref  mathscinet  zmath
13. H. Halberstam and H.-E. Richert, Sieve methods, (Repint of the 1974 original ed.), Dover Publ., Inc., Mineola, NY, 2011  mathscinet  zmath
14. J. Friedlander and H. Iwaniec, Opera de cribro, Amer. Math. Soc. Colloq. Publ., 57, Amer. Math. Soc., Providence, RI, 2010  crossref  mathscinet  zmath

Citation: V. V. Iudelevich, “On the Karatsuba divisor problem”, Izv. Math., 86:5 (2022), 992–1019
Citation in format AMSBIB
\Bibitem{Iud22}
\by V.~V.~Iudelevich
\paper On the Karatsuba divisor problem
\jour Izv. Math.
\yr 2022
\vol 86
\issue 5
\pages 992--1019
\mathnet{http://mi.mathnet.ru//eng/im9270}
\crossref{https://doi.org/10.4213/im9270e}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4582542}
\zmath{https://zbmath.org/?q=an:1523.11170}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2022IzMat..86..992I}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000992252200008}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85165918443}
Linking options:
  • https://www.mathnet.ru/eng/im9270
  • https://doi.org/10.4213/im9270e
  • https://www.mathnet.ru/eng/im/v86/i5/p169
  • This publication is cited in the following 1 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Известия Российской академии наук. Серия математическая Izvestiya: Mathematics
    Statistics & downloads:
    Abstract page:584
    Russian version PDF:62
    English version PDF:86
    Russian version HTML:339
    English version HTML:108
    References:57
    First page:25
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024