Accretive system \(Tb\)-theorems on nonhomogeneous spaces. (Q1847929): Difference between revisions

The present paper is part of a push to extend Calderón--Zygmund theory into the realm of inhomogeneous spaces. Two basic issues are: (i) what is the correct version of BMO and (ii) how does one extend the notion of an accretive function in order to formulate a useful analogue of the \(Tb\)-theorem. In the present paper, the authors work in \(\mathbb R^n\) endowed with an underlying measure \(\mu\) that is not doubling, but rather satisfies the Ahlfors condition \(\mu(B(x;r))\leq C_\mu r^d\). A Calderón--Zygmund kernel \(K\) of order \(d\) is defined as any measurable \(K:\mathbb R^n\times \mathbb R^n\to \mathbb R\) satisfying \[ | K(x,y)| \leq C_1| x-y| ^{-d} \] and \[ K(x_1,y)-K(x_2,y)| +| K(y,x_1)-K(y,x_2)| \leq C_2\frac{| x_1-x_2| ^\alpha}{ | x_1-y| ^{d+\alpha}},\qquad (| x_1-x_2| \leq | x_1-y| /2). \] A Calderón--Zygmund operator \(T=T_K\) is defined by \(T f(x)= \int K(x,y) f(y) \, d\mu(y)\) whenever \(x\notin \text{ supp}\, f\) and \(T\) is \(L^2_\mu\)-bounded. Importantly, such a \(T\) is only defined up to multiplication by a function in \(L^\infty_\mu\). To establish \(L^2_\mu\)-boundedness, one seeks an appropriate generalization of the \(Tb\)-theorem. First, given \(\Lambda>1\) one defines \(\text{ BMO}_\Lambda^2(\mu)\) to consist of those \(f\) locally in \(L^2_\mu\) such that \(\mu(\Lambda Q)^{-1}\int_Q | f-f_\mu(Q)| ^2 \, d\mu\) is bounded independent of \(Q\). Here \(f_\mu(Q)=\int_Q f \, d\mu/\mu(Q)\). One defines a \(\text{ BMO}_\Lambda^2(\mu)\)-accretive system to be a family \(\{b_S\}\) of uniformly \(\mu\)-essentially bounded functions indexed by (almost) cubes \(S\) that support \(b_S\) such that, for some \(\delta>0\) and any cube \(S\), \(| (b_S)_\mu(S)| \geq \delta\), and \(\| T(b_S)\| _{\text{ BMO}_\Lambda^2(\mu)}\leq B\). The main results address boundedness of \(T_K\) when one can attach to \(T_K\) a suitable accretive system. Perhaps the most significant result states, essentially, that if \(T\) is a Calderón--Zygmund operator with norm \(\| T\| \) as an operator on \(L^2_\mu\) with an antisymmetric kernel, and if one can associate to \(T\) a \(\text{ BMO}_\Lambda^2(\mu)\)-accretive system \(\{b_S\}\) as above, then \(\| T\| \leq C\) where \(C\) depends only on \(C_\mu,C_1,C_2,\alpha\) and \(B\) as defined above. The proofs of the main results require several preliminary facts regarding Calderón--Zygmund theory on inhomogeneous spaces that are developed along the way.