arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.34691

Sharp $L^p$--$L^q$ bounds for the strong circular maximal operator

Jin Bong Lee·Sanghyuk Lee·Seunghwan Lee·Jeongtae Oh
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study $L^p$--$L^q$ boundedness of the strong circular maximal operator $\M$, the maximal function over axis-parallel ellipses centered at the origin whose two semiaxes range independently over $[1,2]$. We prove that $\M$ is bounded from $L^p$ to $L^q$ whenever $(1/p,1/q)$ lies in the interior of the triangle with vertices $(0,0)$, $(2/7,1/7)$, and $(1/3,1/3)$, the two-parameter analogue of the triangle with vertices $(0,0)$, $(2/5,1/5)$, and $(1/2,1/2)$ obtained by Schlag and Schlag--Sogge for the circular maximal function. The range is sharp up to the boundary; in particular, weak type $(p,q)$ bounds fail for every $p\le3$. The proof is based on a bilinear estimate for frequencies in separated angular sectors, uniform as the sectors approach the coordinate axes. We also prove the analogous sharp result for axis dilations of a translated circle $c+\mathbb S^1$ with fixed $c\ne0$, where the vertex $(2/7,1/7)$ is replaced by $(1/4,1/8)$.

Explore related subjects

math.CA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jin Bong Lee, Sanghyuk Lee, Seunghwan Lee, Jeongtae Oh. 2026-10-26. Sharp $L^p$--$L^q$ bounds for the strong circular maximal operator. https://arxiv.org/abs/2610.34691

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

KEEP EXPLORING

Related papers

arXiv2026

Projection Theorems in the Presence of Expansions

We prove a restricted projection theorem for a certain one dimensional family of projections from $\mathbb R^n$ to $\mathbb R^k$. The family we consider here arises naturally in the study of quantitative equidistribution problems in homogeneous dynamics.

math.CA↗
arXiv2026

Hausdorff content $A_p$ weights: weighted maximal inequalities and fundamental structural properties

Let $\mathcal H_{\infty}^δ$ denote the Hausdorff content of dimension $δ\in(0,n]$ defined on subsets of $\mathbb R^n$. The principal problem, considered in this paper, is to characterize the non-negative function $w$ for which the weighted $L^p$ inequality with $p\in(1,\infty)$ and the weighted weak $L^1$ inequality on Hardy-Littlewood maximal operators associated with Hausdorff content hold true. To achieve this, we introduce a class of Hausdorff content $A_p$ weights, denoted as $\mathcal A_{p,δ}$, and then show that, for any $p\in(1,\infty)$ and $δ\in(0,n]$, the weighted $L^p$ maximal inequality holds true if and only if $w\in\mathcal A_{p,δ}$, and the weighted weak $L^1$ maximal inequality holds true if and only if $w\in\mathcal A_{1,δ}$ by proposing a novel approach. As the second objective, applying this approach, the seminal structural properties of classical Muckenhoupt $A_p$ weights, such as the reverse Hölder inequality [R. R. Coifman and C. Fefferman, Studia Math. 51 (1974), 241-250], the self-improving property [B. Muckenhoupt, Trans. Amer. Math. Soc. 165 (1972), 207-226], and Jones' factorization theorem [P. W. Jones, Ann. of Math. (2) 111 (1980), 511-530], are all established for $\mathcal A_{p,δ}$. The main novelties of this paper lies in: (i) we discover $\mathcal A_{p,δ}$ weights with rich structural properties, that increase strictly on dimension exponent and hence reduce to the classical $A_p$ class at the endpoint dimension, forming proper subsets of it for smaller dimension exponent; (ii) by proposing a novel approach, this work naturally extends the classical theory beyond measure-theoretic frameworks, while also provides novel insights even when reduced to the classical $A_p$ weight case.

math.CA↗