On the sum of error terms associated to the sum-of-divisors function _a(n) for 12

DOI10.1142/S179304212650017XMaRDI QIDQ6862929zbMATH OpenFDO

Authors T. Makoto Minamide, Yoshio Tanigawa

Publication date 6 February 2026

Published in International Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S179304212650017X

zbMATH Keywords

Dirichlet series of error termexponent pairsexponential sumsgeneralized divisor problemnumber theoretic error termPerron's formulasum of Chowla and Walum

Mathematics Subject Classification ID

(zeta (s)) and (L(s, chi)) (11M06) Asymptotic results on arithmetic functions (11N37)

Review text

Let \(\sigma_a(n)\) be the classical arithmetic function defined by \N\[\N\sigma_a(n)=\sum_{d|n}d^a.\N\]\NThe well-known average behaviour of \(\sigma_a(n)\), for \(0<a<1\), is such that \N\[\N\sum_{n\leq x}\sigma_a(n)=\frac{\zeta(a+1)}{a+1}x^{a+1}+\zeta(1-a)x+E_a(x),\N\]\Nwhere \(E_a(x)=O(x^{(1+a)/2})\). For \(a=1\), this becomes \N\[\N\sum_{n\leq x}\sigma_1(n)=\frac{\zeta(2)}{2}x^{2}+E_1(x),\N\]\Nwhere \(E_1(x)=O(x\log x)\).\N\NThe paper under review investigates the average of \(E_a(n)\) for \(1/2< a \leq 1\). The main result states the following: For \(\delta_1(a)=1\) if a \(a=1\), or \(0\) otherwise, and for a exponent pair \((K_a,\Lambda_a)\) such that \N\[\N\Lambda_a-\frac{K_a}{2}+\frac{a}{2}-\frac{5}{4}=0,\N\]\Nwith \(K_1>0\) in the case \(a=1\), then \N\[\N\sum_{n\leq x}E_a(n)=\frac{\zeta(a+1)}{2(a+1)}x^{a+1}+\delta_1(a)\frac{\zeta(1-a)}{2}x^2+O(x^{a/2+3/4+K_a/2}\log x).\N\]\NBy applying the theory of exponent pairs, explicit choices of good exponents are given. In fact, for a certain choice of parameters, the \(O\)-term above \(O(x^{a/2+3/4+K_a/2}\log x)\), for explicit \(c\) nearly equal to \(0.28^+\), can be expressed as \(O(x^{1+(2a-1)c}\log x)\) in the case \(1/2<a<1\), and in the case \(a=1\), can be expressed as \(O(x^{1+c+\epsilon})\).\N\NThese results demonstrate a non-trivial cancellation among the terms \(E_a(n)\), improving upon the standard bound \(O(x^{1+(1+a)/2})\) for their sum.

Cites work

• A generalized divisor problem and the sum of Chowla and Walum
• A new \(k\)th derivative estimate for exponential sums via Vinogradov's mean value
• A note on the average order of number-theoretic error terms
• Decoupling, exponential sums and the Riemann zeta function
• scientific article; zbMATH DE number 3886001 (Why is no real title available?)
• scientific article; zbMATH DE number 3115986 (Why is no real title available?)
• scientific article; zbMATH DE number 3968684 (Why is no real title available?)
• scientific article; zbMATH DE number 3968690 (Why is no real title available?)
• scientific article; zbMATH DE number 41280 (Why is no real title available?)
• scientific article; zbMATH DE number 1231230 (Why is no real title available?)
• scientific article; zbMATH DE number 699709 (Why is no real title available?)
• scientific article; zbMATH DE number 194767 (Why is no real title available?)
• Introduction to analytic and probabilistic number theory. Transl. from the 3rd French edition by Patrick D. F. Ion
• On a conjecture of S. Chowla and of S. Chowla and H. Walum. I
• On the sum of _k(n) in the Piltz divisor problem for k=3 and k=4
• Toward optimal exponent pairs
• Über eine Vermutung von S. Chowla und H. Walum

This page was built for publication: On the sum of error terms associated to the sum-of-divisors function \(\sigma_a(n)\) for \(\frac{1}{2}<a\leq 1\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6862929)