Two Problems in Bergman Spaces with Non-radial Weights

Abstract: This paper investigates two problems unified by the study of the uniform boundedness of the dilation operators (UBD) T_r f(z)=f(rz), 0<r<1, acting on weighted Bergman spaces A^p_omega with not necessarily radial weights. We first characterize the random symbol space for A^p_omega under a mild admissible condition (Theorem 1.2). This extends the main result of [7] from radial weights to non-radial weights. We then introduce two new notions, namely non-radial mixed norm spaces M(p,q;omega) and analytic tent spaces A(p,q;omega), and we characterize their corresponding symbol spaces as well (Theorem 1.8, Theorem 1.12). The novelty here is to employ a measure-disintegration framework to prove a general Littlewood-type theorem (M(p,q;omega))* = H(2,q;omega_r), from which the Bergman space result (A^p_omega)* = H(2,p;omega_r) follows as the special case p=q. Among other things, UBD plays a pivotal role in the proofs of the preceding theorems. The second main problem addressed in this paper is to establish a local-to-global criterion for UBD, which remains largely unexplored for non-radial weights. Our principle result in this part (Theorem 1.16) asserts that UBD is guaranteed by two local geometric conditions: bounded hyperbolic oscillation (BHO) and a reverse-Carleson tail condition (RC). This is the technical heart of the paper. In the course of our investigation, three new types of problems arise naturally, each of independent interest: a two-weight top-maximal operator (Theorem 1.17); a truncated maximal operator over hyperbolic balls (Theorem 1.18); and a single-testing Carleson embedding problem (Theorem 1.19).

• The paper introduces a novel characterization of random symbol spaces via measure disintegration, extending Littlewood-type theorems to non-radial weights.
• It establishes a local-to-global criterion for uniform boundedness of dilation operators using geometric conditions like BHO and Reverse-Carleson.
• The authors develop auxiliary harmonic-analytic inequalities and maximal operator estimates that enhance the analysis of weighted Bergman spaces.

Uniform Boundedness and Structural Analysis in Bergman Spaces with Non-radial Weights

Introduction

The paper "Two Problems in Bergman Spaces with Non-radial Weights" (2606.08165) presents a systematic study of analytic and probabilistic phenomena in weighted Bergman spaces $A^p_\omega$ for general, non-radial weights. It addresses two fundamentally intertwined questions: characterization of random symbol spaces associated with $A^p_\omega$, and analytic criteria for uniform boundedness of dilation operators in the non-radial regime. The work leverages measure disintegration to extend classical theorems, introduces new analytic function spaces adapted to non-radial weights, and develops geometric criteria that connect local regularity and global control. Several auxiliary inequalities and operator-theoretic results with independent harmonic-analytic interest are established in the process.

Bergman Spaces with Non-radial Weights: General Framework

Weighted Bergman spaces $A^p_\omega$ on the unit disk $\mathbb{D}$ are defined via integrability of analytic functions with respect to the weight $\omega$. While the theory for radial weights (where $\omega(z)=\omega(|z|)$) is well-developed, the structure for general, non-radial weights is significantly more intricate. The paper focuses on admissible weights, defined by the finite mass, bounded point evaluations, and strong analytic convergence (dilation convergence property), which together ensure completeness, polynomial density, and openness under analytic operations.

A particularly notable class is the $B_p$ weights, generalizing Muckenhoupt $A_p$ weights from classical harmonic analysis, and providing a flexible context for operator-theoretic studies.

Random Symbol Spaces and Littlewood-type Theorems

One principal aim is the extension of Littlewood-type theorems characterizing the almost sure membership of randomized analytic functions in function spaces. For weighted Bergman spaces $A^p_\omega$, the random symbol space $(A^p_\omega)_\star$ consists of those analytic functions whose randomization (by a standard sequence, e.g., Rademacher, Steinhaus, Gaussian) almost surely belongs to $A^p_\omega$0.

The main result establishes:

$A^p_\omega$1

where $A^p_\omega$2 is a non-radial mixed norm space defined via the radial projection $A^p_\omega$3 obtained from a decomposition of $A^p_\omega$4 into its radial and angular averages. This equality generalizes prior work in the radial-weight regime and incorporates non-radial complexity by deploying measure-disintegration, separating the radial and angular structure.

Two additional generalizations are proven:

• Non-radial mixed norm spaces $A^p_\omega$5, for which $A^p_\omega$6,
• Weighted analytic tent spaces $A^p_\omega$7, characterized via Whitney decompositions and associated moment criteria.

These assertions are enabled by uniform boundedness of dilation operators (UBD), which facilitates probabilistic moment computation and functional-analytic machinery.

Uniform Boundedness of Dilation Operators: Local-to-Global Criterion

The uniform boundedness of the family $A^p_\omega$8 for $A^p_\omega$9 is analytically crucial for structural properties of $A^p_\omega$0. The paper provides a rigorous local-to-global criterion for UBD in the non-radial setting, anchored by two geometric conditions:

• Bounded Hyperbolic Oscillation (BHO): A local regularity requiring that the oscillation of $A^p_\omega$1 in hyperbolic balls is uniformly controlled.
• Reverse-Carleson Tail Condition (RC): A global thickness assertion ensuring that the mass on Carleson boxes is comparable to that of their "tops."

The main theorem asserts that if $A^p_\omega$2 and $A^p_\omega$3 satisfies $A^p_\omega$4, then the UBD property holds. Neither BHO nor RC individually suffices; their conjunction is necessary for uniform control over analytic dilation behaviors.

Auxiliary Results and Maximal Operators

Several harmonic-analytic results are established as technical tools and independent advances:

• Top-maximal operator: Weak $A^p_\omega$5 boundedness is shown to characterize the two-weight reverse Carleson tail condition.
• Truncated maximal operator: Local doubling induced by BHO allows for Vitali-type covering arguments and maximal estimates in the hyperbolic geometry.
• Single-testing Carleson embedding: Embedding $A^p_\omega$6 in $A^p_\omega$7 is secured by local structural properties (weighted sub-mean and local doubling), enabling control with minimal global assumptions.

Each of these results further refines the understanding of function-theoretic and operator-theoretic behavior in non-radially weighted analytic environments.

Methodological Innovations

The use of measure disintegration — splitting $A^p_\omega$8 into radial and angular components — is exploited throughout, allowing the separation of integration and norm estimates. The deployment of probabilistic moment inequalities (Khintchine-Kahane) interacts seamlessly with the functional structure, and the geometric arguments (graph coloring, Vitali covering) facilitate sharp control on overlap phenomena in hyperbolic metric balls and Carleson boxes.

The proof architecture for the main results leverages local estimates, global moment identities, and vector-valued probabilistic inequalities, integrating analytic, geometric, and probabilistic perspectives into a coherent methodology.

Implications, Open Questions, and Future Directions

This work advances the structural understanding of Bergman spaces under general non-radial weighting, providing both explicit characterizations of symbol spaces and concrete analytic criteria for boundedness properties critical in operator theory and harmonic analysis.

The results have implications for the theory of random analytic functions, operator boundedness in complex function spaces, and Carleson-type embeddings. The techniques developed herein suggest avenues for extending analysis to other non-radial function spaces, weighted geometric environments, and stochastic settings. The local-to-global paradigm developed for UBD may be applicable in broader contexts, potentially informing the study of singular integrals and maximal operators in metric measure spaces.

The full characterization of weights guaranteeing UBD remains open, particularly regarding necessity beyond sufficiency, and the exploration of more refined probabilistic symbol spaces (notably for BMOA) is a direction of continuing interest.

Conclusion

The paper systematically resolves two central problems in weighted Bergman spaces for non-radial weights: it identifies precise symbol spaces for random analytic functions under admissibility, and establishes geometric conditions guaranteeing uniform boundedness of dilation operators. By integrating measure disintegration, probabilistic moment analysis, and local-to-global geometric criteria, it consolidates and significantly extends the analytic apparatus of weighted spaces, opening new pathways for harmonic analysis, stochastic function theory, and operator theory in complex domains.