Higher order divisor functions over values of mixed powers

Chenhao Du,Qingfeng Sun
2024-08-20
Abstract:Let $\tau_k(n)$ be the $k$-th divisor function. In this paper, we derive an asymptotic formula for the sum $$ \sum_{1\leq n_1,n_2, \dots, n_{\ell}\leq X^{\frac{1}{r}} \atop 1\leq n_{\ell+1}\le X^{\frac{1}{s}}}\tau_k(n_1^r+n_2^r+\dots +n_{\ell}^r+n_{\ell+1}^s), $$ where $k\geq 4$, $r\geq 2$, $s\geq 2$ and $\ell\geq 2$ are integers. Previously only special cases are studied.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the summation problem of the higher - order divisor function on mixed power values. Specifically, the author has studied the asymptotic formula in the following form: \[ \sum_{1 \leq n_1, n_2, \ldots, n_\ell \leq X^{\frac{1}{r}}} \sum_{1 \leq n_{\ell+1} \leq X^{\frac{1}{s}}} \tau_k(n_1^r + n_2^r + \cdots + n_\ell^r + n_{\ell+1}^s), \] where \( k\geq4\), \( r\geq2\), \( s\geq2\) and \( \ell\geq2r - 1\) are integers. Here, \( \tau_k(n)\) represents the \(k\)-th order divisor function, which calculates the number of ways to decompose \(n\) into the product of \(k\) positive integers. ### Main contributions Previous research mainly focused on special cases, while this paper derives the asymptotic formula in the general case. By introducing new methods and techniques, the author not only generalizes the previous results but also improves the estimation of the error term. In particular, they obtain an accurate asymptotic formula and give a specific upper bound for the error term. ### Key techniques To obtain this result, the author uses the circle method, which is a powerful tool for dealing with additive problems in number theory. In addition, they also use Gauss sums, Dirichlet series and some classical analytic number theory techniques to deal with complex summation problems. ### Formulas and symbols - \( \tau_k(n)\): the \(k\)-th order divisor function. - \( G_r(a,b;q)\): Gauss sum, defined as \( \sum_{x\ mod\ q} e\left(\frac{ax^r + bx}{q}\right)\). - \( A_j(q)\): the sum defined by specific coefficients \( c_j(b,q)\). - \( S_{k,r,s,\ell,j}\) and \( J_{r,s,\ell,i}\): key parameters used to represent the main term and the error term in the asymptotic formula. ### Asymptotic formula Finally, the author obtains the following asymptotic formula: \[ \sum_{1 \leq n_1, n_2, \ldots, n_\ell \leq X^{\frac{1}{r}}} \sum_{1 \leq n_{\ell+1} \leq X^{\frac{1}{s}}} \tau_k(n_1^r + n_2^r + \cdots + n_\ell^r + n_{\ell+1}^s)=\sum_{j = 0}^{k-1} S_{k,r,s,\ell,j}\sum_{i = 0}^{j}\binom{j}{i}J_{r,s,\ell,i}X^{\frac{\ell}{r}+\frac{1}{s}}(\log X)^{j - i}+O\left(X^{\frac{\ell}{r}+\frac{1}{s}-\delta_{k,r,s,\ell}+\varepsilon}\right), \] where \( \delta_{k,r,s,\ell}>0\) is a constant, and the specific value can be found in Section 4. Through the above work, the author successfully solves the summation problem of the higher - order divisor function under more general conditions and provides an accurate asymptotic expression and error estimate. This provides an important theoretical basis for further research on the divisor function and its applications in the future.