Abstract:We prove a totally explicit bound for short sums of certain non-negative
arithmetic functions satisfying a general growth condition, and apply this
result to derive two explicit estimates for the Erd\H{o}s-Hooley
$\Delta$-function in short intervals.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide a completely explicit bound for the short sums of some non - negative arithmetic functions, and apply this result to derive two explicit estimates of the Erdős - Hooley Δ - function in short intervals.
Specifically, the main contributions of the paper include:
1. **Providing explicit bounds**: For non - negative arithmetic functions satisfying general growth conditions, the paper proves a completely explicit bound. This bound is applicable to the sums in short intervals and is uniformly valid for a large class of functions.
2. **Application to the Erdős - Hooley Δ - function**: Based on the above results, the paper further derives two explicit estimates of the Erdős - Hooley Δ - function in short intervals. The Erdős - Hooley Δ - function is an important number - theoretic function used to describe the divisor structure of integers.
### Main theorems and corollaries
#### Main theorem
Let \(\ell\geq1\) and \(f\) be a positive arithmetic function. There exist \(A > 0\) and \(k\in\mathbb{Z}_{\geq1}\) such that for all \((m,n)\in(\mathbb{Z}_{\geq1})^2\), we have:
\[f(mn)\leq A\tau_k(m)f(n).\]
Then, for all \(x\geq\exp\left(728(12e\ell)^{28}\log(192e\ell)\right)\) and \(x^{1/\ell}\leq y\leq x\), we have:
\[\sum_{x - y < n\leq x}f(n)\leq\Lambda(k,\ell)Ay\frac{\sum_{n\leq x}f(n)}{n\log x},\]
where:
\[\Lambda(k,\ell): = 12\ell k^{6\ell}+ 5\ell C_{k,\ell}+9A\ell(\log4)^{-5k + 1}k(D_{k,\ell}+ 4),\]
\[C_{k,\ell}:=(10\ell(k - 1))^{k^{16\ell}(k - 1)},\]
\[\log D_{k,\ell}:=\frac{5}{2e^{3/e}}\left(\ell\log k+7k\times5^k+(5e)^{-1}\right)e^{105k\times5^k k^{15\ell}}.\]
#### Corollaries
By applying the main theorem, the paper obtains two important corollaries regarding the Erdős - Hooley Δ - function:
1. **Corollary 2**: Let \(\ell\geq1\). For all \(x\geq\exp\left(728(12e\ell)^{28}\log(192e\ell)\right)\) and \(x^{1/\ell}\leq y\leq x\), we have:
\[\sum_{x - y < n\leq x}\Delta(n)\leq\varphi(\ell)y(\log x)^{-1 + 4/\pi},\]
where \(\varphi(\ell): = 16748\Lambda(2,\ell)\).
2. **Corollary 3**: Let \(\ell\geq1\) and \(j\in\mathbb{Z}_{\geq1}\). For all \(x>\max\left(\exp\left(728(12e\ell)^{28}\log(192e\ell)\right),\exp\left(\frac{e\pi j}{4}\right)\right)\) and \(x^{1/\ell}\leq y\leq x\)