Averaging with the Divisor Function: $\ell^p$-improving and Sparse Bounds

TL;DR

This paper investigates averages along integers weighted by the divisor function, establishing uniform $ ext{ell}^p$-improving bounds and sparse bounds for associated maximal functions, extending boundedness results to weighted $ ext{ell}^p$ spaces.

Contribution

It introduces novel $ ext{ell}^p$-improving estimates and sparse bounds for divisor function averages, advancing understanding of their harmonic analysis properties.

Findings

Proves uniform $ ext{ell}^p$-improving estimates for $p o 1$

Establishes sparse bounds for the associated maximal function

Shows boundedness on weighted $ ext{ell}^p$ spaces for all $p eq 1$

Abstract

We study averages along the integers using the divisor function $d(n)$, and defined as $$K_N f (x) = \frac{1}{D(N)} \sum _{n \leq N} d(n) \,f(x+n) , $$ where $D(N) = \sum _{n=1} ^N d(n) $. We shall show that these averages satisfy a uniform, scale free $\ell^p$-improving estimate for $p \in (1,2)$, that is $$ \left( \frac{1}{N} \sum |K_Nf|^{p'} \right)^{1/p'} \lesssim \left(\frac{1}{N} \sum |f|^p \right)^{1/p} $$ as long as $f$ is supported on $[0,N]$. We also show that the associated maximal function $K^*f = \sup_N |K_N f|$ satisfies $(p,p)$ sparse founds for $p \in (1,2)$, which implies that $K^*$ is bounded on $\ell ^p (w)$ for $p \in (1, \infty )$, for all weights $w$ in the Muckenhoupt $A_p$ class.