On higher-power moments of \(\Delta(1)(x)\) (Q2221030)

For \(\Re s > 1\), let \(d_{(1)}(n)\) be the \(n\)-th coefficient of the Dirichlet series \[ \left(\zeta'(s)\right)^2 = \sum_{n=1}^\infty d_{(1)}(n) n^{-s}\] and define \(D_{(1)}(x) := \sum_{n\leq x}d_{(1)}(n)\). Also, define the error term \[\Delta_{(1)}(x) = D_{(1)}(x) - xP_{(3)}(\log x),\] where \(P_{(3)}(u)\) is a polynomial of degree 3 in \(u\).\par For a real number \(A_0>2\) define \[K_0 = \min \{n \in \mathbb{N}: n \geq A_0, 2 \vert n\}, \quad b(k) = 2^{k-2} + (k-6)/4,\] \[\sigma(k, A_0) = \frac{A_0 - k}{2(A_0-2)}, \quad \delta_1(k, A_0) = \frac{\sigma(k, A_0)}{2b(K_0)},\] \[\delta_2(k, A_0) = \frac{\sigma (k, A_0)}{2b(k) + 2\sigma (k, A_0)}, \quad 3\leq k < A_0.\] \par Main results: \par Theorem 1. \[\Delta_{(1)}(x) \ll x^{\frac{131}{416}}(\log x)^{\frac{43587}{8320}}.\] Theorem 2. Suppose \(0 \leq A \leq \frac{262}{27}\) is a fixed constant, then \[ \text{(1)}\;\; \int_1^T\vert \Delta_{(1)}(t)\vert^A dt \ll T^{1 + \frac{A}{4} + \epsilon}.\] Theorem 3. Let \(A > 9\) be a real number such that (1) holds. Then for any integer \(3\leq k < A_0\), we have the asymptotic formula \[ \text{(2)}\;\; \int_1^T \Delta_{(1)}^k(x) dx = T ^{1+k/4}\sum_{j=0}^{2k} c_j(k) \log^j T + O(T^{1+k/4 -\delta_1(k, A_0) + \epsilon}),\] where \(c_j(k)\) are computable constants.\par Theorem 4. For \(k=3, \dots, 9\), the asymptotic formula (2) holds with \(\delta_1(k, A_0)\) replaced by \(\delta_2(k, 267/27)\). Hence we have \[\int_1^T \Delta_{(1)}^k(x) dx = T ^{1+k/4}\sum_{j=0}^{2k} c_j(k) \log^j T + O(T^{1+k/4 -\delta_1(k, A_0) + \epsilon}),\] where \(\eta_k = \delta_2(k, 262/27)\).