arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.32641

Dimension-free bounds for maximal operators associated to log kernel and applications

Mingming Cao·Honghai Liu·Zengyan Si·Haibin Yan
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $M_ψ$ be the maximal operator associated to $ψ(x)=-\ln(1-|x|^2)$. We obtain dimension-free bounds on $L^p(\mathbb R^d)$ for $M_ψ$, $1<p\le\infty$. We show that the weak $L^1$ estimate does not hold for $M_ψ$, but does hold for the corresponding lacunary maximal operator $M_ψ^D$. An weak $L\log L$ type estimate for $M_ψ$ is obtained, which seems to be the right substitution for the weak $L^1$ estimate. Estimates for $M_ψ$ are applied to dimension-free estimates for maximal Riesz transforms obtained by Mateu, Verdera, Orobitg and Pérez.

Explore related subjects

math.CA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mingming Cao, Honghai Liu, Zengyan Si, Haibin Yan. 2026-10-23. Dimension-free bounds for maximal operators associated to log kernel and applications. https://arxiv.org/abs/2610.32641

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↗