Nikod\'ym maximal function with restricted directions

TL;DR

This paper investigates the boundedness of the Nikodým maximal operator in the plane with respect to the quasi-Assouad dimension of the direction set, revealing a dimension-dependent threshold for $L^p$ boundedness.

Contribution

It establishes a precise dimension-based criterion for the $L^p$ boundedness of the Nikodým maximal operator, including cases where the dimension is below the critical threshold.

Findings

For $s \\in [1/2,1]$, the operator is essentially bounded on $L^p$ for $p \\geq 1 + s$.

The characterization fails for $s < 1/2$, with explicit counterexamples.

Application to convex domains shows convergence of Bochner-Riesz means in $L^6$ for all positive orders.

Abstract

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