English

Nikod\'ym maximal function with restricted directions

Classical Analysis and ODEs 2026-01-28 v1

Abstract

We study the planar Nikod\'ym maximal operator NΘ;δ\mathcal{N}_{\Theta;\delta} associated to a direction set ΘS1\Theta \subset \mathbb{S}^{1}. We show that the quasi-Assouad dimension s:=dimqAΘs := \dim_{\mathrm{qA}} \Theta characterises the essential LpL^{p}-boundedness of NΘ;δ\mathcal{N}_{\Theta;\delta} in the following sense. If s[12,1]s \in [\tfrac{1}{2},1], then NΘ;δ\mathcal{N}_{\Theta;\delta} is essentially bounded on Lp(R2)L^{p}(\mathbb{R}^{2}) for p1+sp \geq 1 + s, and essentially unbounded for p<1+sp < 1 + s. Here essential boundedness means LpL^{p}-boundedness with constant Oϵ(δϵ)O_{\epsilon}(\delta^{-\epsilon}). We also show that the characterisation described above fails for s<12s < \tfrac{1}{2}. More precisely, there exists a set ΘS1\Theta \subset \mathbb{S}^{1} with dimqAΘ=13\dim_{\mathrm{qA}} \Theta = \tfrac{1}{3} such that NΘ;δ\mathcal{N}_{\Theta;\delta} is essentially unbounded on Lp(R2)L^{p}(\mathbb{R}^{2}) for all p<32p < \tfrac{3}{2}. As an application, we show there exists a convex domain with affine dimension 16\tfrac{1}{6} such that the α\alpha-order Bochner-Riesz means converge in L6L^6 for all α>0\alpha>0.

Keywords

Cite

@article{arxiv.2601.19631,
  title  = {Nikod\'ym maximal function with restricted directions},
  author = {Tuomas Orponen and Hrit Roy},
  journal= {arXiv preprint arXiv:2601.19631},
  year   = {2026}
}

Comments

28 pages, 2 figures

R2 v1 2026-07-01T09:22:20.579Z