Spaces of type BLO on non-homogeneous metric measure (Q537621)

Let \(({\mathcal X},d,\mu)\) be a non-homogeneous metric measure space. The main purpose of this paper is to introduce the space \(\text{RBLO}(\mu)\) and prove that it is a subset of the space \(\text{RBMO}(\mu)\) in this context. Moreover, the authors establish several useful results for the space \(\text{RBLO}(\mu)\). As an application, the authors obtain the boundedness of the maximal Calderón-Zygmund operators from \(L^{\infty}(\mu)\) to \(\text{RBLO}(\mu)\). A metric measure space \(({\mathcal X}, d, \mu)\) is called upper doubling if \(\mu\) is a Borel measure on \({\mathcal X}\) and there exist a dominating function \[ \lambda:{\mathcal X} \times (0, \infty) \rightarrow (0, \infty), \] and a positive constant \(C_{\lambda}\) such that for each \(x \in{\mathcal X}\), \(r\mapsto \lambda(x,r)\) is non-decreasing, and for all \(x \in {\mathcal X}\) and \(r \in (0, \infty)\), \[ \mu(B(x, r)) \leq \lambda(x, r) \leq C_{\lambda}\lambda(x, r/2) \] where \(B(x,r)=\{ y \in{\mathcal X}: d(x,y) < r \}\). A metric space \(({\mathcal X}, d)\) is called geometrically doubling if there exists some positive integer \(N_{0}\) such that for any ball \(B(x, r)\) in \({\mathcal X}\), there exists a finite ball covering \(\{B(x_{i}, r/2) \}_{i}\) of \(B(x, r)\) such that the cardinality of this covering is at most \(N_{0}\). A metric measure space \(({\mathcal X}, d, \mu)\) is called a non-homogeneous metric mesure space if \(\mu\) is upper doubling and \(({\mathcal X}, d)\) is geometrically doubling. We denote the natural maximal operator in the non-doubling context by \({\mathcal M}(f)\). Theorem A. Let \(f \in \text{RBMO}(\mu)\). Then \({\mathcal M}(f)\) is either infinite everywhere or finite almost everywhere and in the later case, there exists a positive constant \(C\), independent of \(f\), such that \[ \|{\mathcal M}(f)\|_{\text{RBLO}(\mu)} \leq C\|f\|_{\text{RBMO}(\mu)}. \] Theorem B. A locally integrable function \(f\) belongs to \(\text{RBLO}(\mu)\) if and only if there exist \(h \in L^{\infty}(\mu)\) and \(g \in \text{RBMO}(\mu)\) with \({\mathcal M}(g)\) finite \(\mu\)-almost everywhere such that \[ f={\mathcal M}(g)+h. \] Furthermore, \[ \|f\|_{\text{RBLO}(\mu)} \sim \inf (\|g\|_{\text{RBMO}(\mu)}+\|h\|_{L^{\infty}(\mu)}) \] where the infimum is taken over all representations of \(f\) as above. Theorem C. Let \(T\) be the Calderón-Zygmund operator. If \(T\) is bounded on \(L^{2}(\mu)\), then the maximal operator \(T_{*}\) is bounded from \(L^{\infty}(\mu)\) to \(\text{RBLO}(\mu)\) where \(T_{*}f(x)=\sup_{\varepsilon >0}|T_{\varepsilon}f(x)| \) and \(T_{\epsilon}\) is the truncated operator of \(T\).