BLO spaces associated with the Ornstein-Uhlenbeck operator (Q2378591)

Let \((\mathbb{R}^n, | \cdot |, d\gamma )\) be the Gauss measure metric space, where \(\mathbb{R}^n\) denotes the \(n\)-dimensional Euclidean space, \(| \cdot |\) the Euclidean norm and \(d\gamma = \pi^{-n/2}e^{- | x |^2}dx\) the Gauss measure. \textit{G. Mauceri} and \textit{S. Meda} [J. Funct. Anal. 252, 278--313 (2007; Zbl 1136.46027)] defined \(BMO(\gamma)\) on this space and obtained the boundedness of singular integral operators associated with Ornstein-Uhlenbeck operator from \(L^{\infty}(\gamma)\) to \(BMO(\gamma)\). The authors consider the boundedness from \(L^{\infty}(\gamma)\) to \(BLO(\gamma)\). Let \(m(x) = \min (1, 1/ | x |)\). Let \({\mathcal B}_a\) denotes the collection of a Euclidean balls \(B\) such that \(r_B \leq a \, m(c_B)\), where \(c_B\) and \(r_B\) are the center and radius of \(B\) respectively. The space \(BLO_a(\gamma)\) is defined to be the set of all locally integrable functions \(f\) such that \[ \| f \|_{BLO_a(\gamma)} = \| f \|_{L^1(\gamma)} + \sup_{B \in {\mathcal B}_a} \left( \frac{1}{ \gamma (B)} \int_B f(y) d\gamma(y) -\operatornamewithlimits{essinf}_{x \in B}f(x) \right) < \infty. \] Let \(T\) be a singular integral operator bounded on \(L^2(\gamma)\) which has the kernel such that \[ Tf(x) = \int_{R^n}K(x,y)f(y)d\gamma(y), \quad \text{where} \quad f \in C^{\infty}_c(R^n) \quad \text{and} \quad x \notin \text{supp}f, \] and set \[ T_a^{*}f(x) = \sup_{ 0 < \varepsilon \leq a \, m(x)} \left| \int_{ | x-y | > \varepsilon}K(x,y)f(y)d\gamma(y) \right|. \] The authors prove the following. Suppose that \(K\) satisfies the next two conditions. \[ | K(x,y) | \leq C e^{| y |^2} \frac{1}{ | x-y |^n} \quad \text{where} \quad | x-y | \leq 3a (a+1)^2 m(x), \] \[ \sup_{B \in {\mathcal B}_a} \sup_{x,x' \in B} \int_{R^n \setminus 2B} | K(x,y) - K(x',y) | d\gamma(y) \leq C. \] Then \(T_a^{*}\) is bounded form \(L^{\infty}(\gamma)\) to \(BLO_a(\gamma)\). To prove this theorem they also prove that the local natural Hardy-Littlewood maximal operator is bounded from \(BMO(\gamma)\) to \(BLO_a(\gamma)\).