[Paper Review] Non-homogeneous Tb theorem and random dyadic cubes on metric measure spaces

Tuomas Hytönen, Henri Martikainen|arXiv (Cornell University)|Nov 23, 2009

Advanced Harmonic Analysis Research8 references18 citations

TL;DR

This paper establishes a non-homogeneous Tb theorem for Calderón–Zygmund operators on quasimetric spaces equipped with upper doubling measures, introducing a novel probabilistic construction of random dyadic cubes to handle the lack of translation invariance. The key contribution is a generalization of the Tb theorem to metric measure spaces with geometric doubling and upper doubling measures, enabling applications to Bergman-type operators and extending non-homogeneous harmonic analysis beyond Euclidean settings.

ABSTRACT

We prove a Tb theorem on quasimetric spaces equipped with what we call an upper doubling measure. This is a property that encompasses both the doubling measures and those satisfying the upper power bound μ(B(x,r)) \le Cr^d. Our spaces are only assumed to satisfy the geometric doubling property: every ball of radius r can be covered by at most N balls of radius r/2. A key ingredient is the construction of random systems of dyadic cubes in such spaces.

Motivation & Objective

• To develop a non-homogeneous Tb theorem in the general setting of quasimetric spaces with upper doubling measures, extending beyond the classical doubling measure framework.
• To address the lack of translation invariance in abstract metric spaces by constructing random systems of dyadic cubes using probabilistic center selection from finer grids.
• To generalize the Tb theorem to spaces that satisfy geometric doubling but not necessarily completeness or doubling measure conditions.
• To apply the theory to Bergman-type operators on the unit ball in C^n, recovering and extending results from Volberg and Wick (2009).
• To unify and extend existing non-homogeneous analysis by incorporating both doubling and power-bounded measures under a single upper doubling framework.

Proposed method

• Introduce an upper doubling measure μ satisfying μ(B(x,r)) ≤ λ(x,r) = max(δ(x)^m, r^m), generalizing both doubling and power-bounded measures.
• Construct random dyadic cubes in geometrically doubling quasimetric spaces by stochastically selecting centers from finer grids, ensuring probabilistic control over bad sets.
• Use a random almost-covering of the space by balls of comparable radius to replace dyadic cubes in estimating diagonal parts of the operator.
• Formulate kernel estimates adapted to the x- and r-dependent upper bound λ(x,r), allowing for non-homogeneous behavior.
• Apply the random dyadic cube construction to prove the weak type (1,1) and L^2 boundedness of Calderón–Zygmund operators under Tb conditions.
• Verify that the kernel estimates and BMO conditions in Volberg and Wick’s work on Bergman-type operators satisfy the assumptions of the present Tb theorem.

Experimental results

Research questions

• RQ1 Can the non-homogeneous Tb theorem be extended to quasimetric spaces that are geometrically doubling but not necessarily complete or equipped with a doubling measure?
• RQ2 How can random dyadic cubes be constructed in abstract metric spaces lacking a group structure, to enable probabilistic arguments similar to those in R^n?
• RQ3 To what extent do upper doubling measures, including power-bounded and non-doubling cases, unify the theory of Calderón–Zygmund operators in non-homogeneous spaces?
• RQ4 Do the kernel and BMO conditions in Volberg and Wick’s work on Bergman-type operators satisfy the assumptions of the new Tb theorem?
• RQ5 Can the probabilistic construction of random dyadic cubes be used to prove weak type (1,1) bounds for Calderón–Zygmund operators in non-homogeneous metric measure spaces?

Key findings

• A non-homogeneous Tb theorem is established for Calderón–Zygmund operators on geometrically doubling quasimetric spaces with upper doubling measures, generalizing previous results.
• The random dyadic cube construction, based on selecting centers from finer grids, provides a novel method to handle probabilistic estimates in spaces without translation invariance.
• The theory applies to measures satisfying μ(B(x,r)) ≤ max(δ(x)^m, r^m), including Volberg and Wick’s Bergman-type measures on the unit ball in C^n.
• The kernel estimates in the paper match those required by Volberg and Wick’s Bergman-type operators, confirming compatibility with their T1 theorem.
• The proof shows that the weak type (1,1) bound can be controlled via a probabilistic selection of dyadic grids, with the final bound depending on small parameters ε and υ.
• The construction enables the verification of the weak boundedness property and BMO conditions in terms of balls rather than cubes, aligning with the metric structure of the space.