Local Fourier uniformity of higher divisor functions on average

Mengdi Wang

2024-07-08

Abstract:Let $\tau_k$ be the $k$-fold divisor function. By constructing an approximant of $\tau_k$, denoted as $\tau_k^*$, which is a normalized truncation of the $k$-fold divisor function, we prove that when $\exp\left(C\log^{1/2}X(\log\log X)^{1/2}\right)\leq H\leq X$ and $C>0$ is sufficiently large, the following estimate holds for almost all $x\in[X,2X]$: \[ \Big|\sum_{x<n\leq x+H}(\tau_k(n)-\tau_k^*(n)) e(\alpha_dn^d+\cdots+\alpha_1n)\Big|=o(H\log^{k-1}X), \] where $\alpha_1, \dots, \alpha_d\in \mathbb{R}$ are arbitrary frequencies.

Number Theory,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the local Fourier uniformity of the higher - order divisor function $\tau_k(n)$ on short intervals. Specifically, the author aims to prove that when the exponent $H$ is within a specific range, for almost all $x\in[X, 2X]$, the following estimate holds:

\[
\left|\sum_{x < n \leq x+H} (\tau_k(n) - \tau^*_k(n)) e(\alpha_d n^d + \cdots + \alpha_1 n)\right| = o(H \log^{k - 1}X)
\]

Here, $\tau_k(n)$ represents the $k$-fold divisor function of $n$, $\tau^*_k(n)$ is its constructed approximation, and $\alpha_1,\ldots,\alpha_d$ are arbitrary real frequencies.

### Detailed Explanation

1. **Background and Problem Description**
- $\tau_k(n)$ represents the number of ways in which $n$ can be expressed as a product of $k$ natural numbers.
- Researchers already know the mean - value behavior of $\tau_k(n)$ on longer intervals, such as $[X, 2X]$. However, the behavior on shorter intervals $[X, X + H]$ is more complex.
- The goal of the paper is to study the local Fourier uniformity of $\tau_k(n)$ within shorter intervals, especially when $H$ is small.

2. **Main Contributions**
- A new approximation function $\tau^*_k(n)$ is constructed, which is a normalized truncated version of $\tau_k(n)$.
- By introducing this approximation function, the author is able to prove that for $H$ within a specific range, the difference between $\tau_k(n)$ and $\tau^*_k(n)$ in the exponential sum is very small, that is, their local Fourier uniformity on short intervals.

3. **Theoretical Results**
- Theorem 1.1 shows that when $H$ satisfies certain conditions (for example, $\exp(C\log^{1/2}X(\log\log X)^{1/2})\leq H\leq X$), the above estimate holds for almost all $x\in[X, 2X]$.
- This means that under these conditions, the behaviors of $\tau_k(n)$ and $\tau^*_k(n)$ on short intervals are very close, thus verifying a special case of the local Fourier uniformity conjecture.

4. **Methodology**
- The author uses a method similar to that of Walsh in studying the local Fourier uniformity conjecture of the Liouville function.
- By introducing the Ramaré identity and dealing with small prime factors, the author is able to analyze the behavior of $\tau_k(n)$ within shorter intervals and finally obtain the required estimate.

In conclusion, the main goal of this paper is to study the local Fourier uniformity of the higher - order divisor function on short intervals by constructing a suitable approximation function and prove that this property holds under specific conditions.