arXiv ScienceSearch

arXiv · 2512.24972

From Complex-Analytic Models to Dyadic Methods: A Real-Variable Approach to Hypersingular Operators

Abstract

Motivated by the work of Cheng-Fang-Wang-Yu on the hypersingular Bergman projection, we develop a real-variable framework for hypersingular operators in regimes where strong-type bounds fail on the critical line. Our main new ingredient is the Forelli-Rudin method: a dyadic mechanism, inspired by complex-analytic Forelli-Rudin type arguments, that yields sharp critical-line and endpoint estimates. On the unit disc, for $1 q$, valid for all $t>0$. For the hypersingular Bergman projection \[ K_{2t}f(z)=\int_{\mathbb D}\frac{f(w)}{(1-z\overline w)^{2t}}\,dA(w), \] we establish sharp critical-line bounds, with emphasis on the endpoint weak-type estimate at $(p,q)=\bigl(\tfrac{1}{3-2t},1\bigr)$. In particular, this result resolves an open question on the critical-line behavior of the Bergman projection in the hypersingular regime. Finally, we introduce a class of hypersingular cousins of sparse operators in $\mathbb R^n$ associated with graded sparse families, quantified by the sparseness $η$ and a new structural parameter (the degree) $K_{\mathcal S}$. We characterize the corresponding sharp strong- and weak-type regimes in terms of $(n,t,η,K_{\mathcal S})$. This real-variable perspective addresses an inquiry of Cheng-Fang-Wang-Yu on developing effective real-analytic tools in the hypersingular regime for both $\mathcal M_t^{\mathcal D}$ and $K_{2t}$, and it also provides a new route to critical-line analysis for Forelli-Rudin type and related hypersingular operators in both real and complex settings.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bingyang Hu, Xiaojing Zhou. 2026-02-06. From Complex-Analytic Models to Dyadic Methods: A Real-Variable Approach to Hypersingular Operators. https://arxiv.org/abs/2512.24972

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

KEEP EXPLORING

Related papers

Regular specular differentiation in Euclidean spaces

We study the regular specular derivative, a generalized derivative defined at every point where both one-sided derivatives exist and are finite. Geometrically, it is the slope of the mirror that reflects the left tangent ray into the right one. In one variable we derive computational formulas, prove inverse function and rotation rules, establish Quasi-Rolle's Theorem and the Quasi-Mean Value Theorem, and obtain a derivative-limit theorem, which shows that twice regularly specularly differentiable functions are continuously differentiable. We also prove both parts of the Fundamental Theorem of Calculus. In several variables we introduce specular gradients, directional derivatives, tangent hyperplanes, and normal vectors, show that a continuous specular gradient forces classical differentiability, and characterize when the specular tangent hyperplane is unique.

math.CA

Prevalent smoothness in inhomogeneous Besov spaces

In this article, we prove that, under some assumptions on the so-called environment, prevalent functions in inhomogeneous Besov spaces recently introduced by Barral-Seuret in 2023 are multifractal, with a singularity spectrum that we determine. This completes the previous Baire generic results already obtained.

math.CA

Lebesgue Covering Theorem and level sets of continuous functions

We formulate and prove a dimension-theoretic generalization of a version of the Lebesgue Covering Theorem. A generalized $n$-dimensional version of the Steinhaus Chessboard Theorem, recently proved algorithmically by Turzański and Ziajor, is a particular case of this result. Moreover, we study two types of sets associated with a continuous function $g \colon [0,1]^n \to \mathbb{R}$. Namely, the set of all points $p \in \mathbb{R}$ such that the fiber $g^{-1}[\left\{p\right\}]$ connects $i$th opposite faces of $[0,1]^n$, and the set of all points $p \in \mathbb{R}$ such that the fiber $g^{-1}[\left\{p\right\}]$ separates $i$th opposite faces of $[0, 1]^n$.

math.CA