Lacunary maximal operators on convex boundaries

Xi Cen; Xinfeng Wu

Home/Archive/arXiv

arXiv · 2610.32873

Lacunary maximal operators on convex boundaries

Xi Cen·Xinfeng Wu

View original source ↗Read source document ↗Export metadata ↓

Abstract

We disprove the cap-sufficiency proposal in Wright's Problem 16 for $1 3$. For each fixed exponent in these ranges, one smooth strictly convex domain has finite original directional cap integral, while the lacunary maximal operator of complete arclength fails restricted weak type. We also give a geometric sufficient condition for strong $L^p$ boundedness, for every finite $1<p<\infty$, on an arbitrary given bounded convex domain. It requires one logarithmic integral of a curvature lower envelope, without a differentiability assumption on the boundary or a restriction on the number of curvature zeros. Both results concern unnormalised true arclength, one fixed interior origin and all integer dyadic dilations.

Explore related subjects

math.CA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Xi Cen, Xinfeng Wu. 2026-10-23. Lacunary maximal operators on convex boundaries. https://arxiv.org/abs/2610.32873

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Counterexamples for lacunary dilates via dyadic spike blocks

We construct counterexamples, along dyadic lacunary sequences, to two problems of Erdős on the almost-everywhere behavior of sums $\sum_{j\le N}f(n_jx)$ on the circle. The main device is a dyadic spike block: rare positive spikes, each counted many times by a run of consecutive dilates, make the lacunary averages large, while a deterministic lower bound on every block prevents the rest of the series from cancelling them. We obtain a mean-zero $f\in\bigcap_{1\le q<\infty}L^q(\mathbb T)$ and a sequence $n_j=2^{m_j}$ with $n_{j+1}/n_j\ge2$ such that $\|f-S_Nf\|_2\ll(\log\log N)^{-1/2}$ and $\limsup_{N\to\infty}\frac1N\sum_{j\le N}f(n_jx)=+\infty$ for almost every $x$. This answers negatively a question of Erdős on whether the condition $\|f-S_Nf\|_2\ll(\log\log\log N)^{-C}$ suffices for almost-everywhere convergence, and shows that Matsuyama's condition $\|f-S_Nf\|_2\ll(\log\log N)^{-c}$, $c>1/2$, cannot be relaxed to $c=1/2$. A second choice of parameters gives, for every $2\le p<\infty$, functions $f\in L^p(\mathbb T)$ with $\limsup_{N\to\infty}\sum_{j\le N}f(n_jx)/(N(\log N)^{1/p-\varepsilon})=+\infty$ for every $\varepsilon>0$, almost everywhere. This is sharp up to $\varepsilon$, and the case $p=2$ answers negatively a second question of Erdős. Finally, a bounded variant in the spirit of Marstrand's disproof of Khintchine's conjecture gives sets of arbitrarily small measure whose lacunary visiting frequencies have limsup $1$ almost everywhere.

math.CA↗

arXiv2026

Weighted $H^p-L^q$ boundedness of integral operators with rough kernels

In this paper, we study integral operators \begin{equation*} T_αf(x)=\int_{\mathbb{R}^{n}}K(x,y) f(y)dy, \end{equation*} with kernels $K(x,y)= k_1( x- A_1y)...k_m( x-A_my),$ where $k_i(x)=\frac{Ω_i(x)}{|x|^{n/q_i}}$ and $Ω_i: \mathbb{R}^n\to \mathbb{R}$ are homogeneous functions of degree zero, satisfying a size and a Dini condition, $A_{i}$ are certain invertible matrices, and $\frac n{q_1}+\dots+\frac n{q_m}=n-α,$ $0\leq α<n.$ We obtain the $H^{p}_{w^p}(\mathbb{R}^{n})-L^{q}_{w^q}(\mathbb{R}^{n})$ boundedness of these operators, for a class of Muckenhoupt weights $w$, satisfying the condition \begin{equation*} w(A_ix)\leq cw(x), \end{equation*} $a.e.x\in\mathbb{R} ^n $, $1\leq i\leq m$.

math.CA↗

arXiv2026

Characterization of the boundedness of the segment multiplier on rearrangement-invariant spaces

Given rearrangement-invariant (r.i.) spaces $X$ and $Y$, we show that the segment multiplier, the truncated Hilbert transform, and the discrete Hilbert transform (on the associated discretized space) are bounded from $X$ to $Y$ simultaneously. Moreover, when $X = Y$ this boundedness is characterized by a condition on a pair of Boyd-type indices. We also exhibit an r.i. space on which the segment multiplier is bounded while the (non-truncated) Hilbert transform fails to be bounded.

math.CA↗