Local real analysis in locally homogeneous spaces (Q431140)

The authors weaken the notion of the space of homogeneous type in the sense of Coifman and Weiss and introduce the notion of ``locally homogeneous space''. This approach is different from non-doubling analysis. The quartet \((\Omega, \{\Omega_n\}_{n=1}^\infty, \rho, \mu)\) is called a locally homogeneous space, if the following assumptions (H1)-(H6) hold: (H1) \(\Omega\) is a set, endowed with a function \(\rho:\Omega\times\Omega\to [0,\infty)\) such that (a) \(\rho(x,y)=0\Leftrightarrow x=y\); (b) \(\rho(x,y) =\rho(y,x)\). (H2) The balls \(B(x,r)=\{y\in\Omega;\rho(x,y)<r\}\) \((x\in\Omega,\, r>0)\) define a topology in \(\Omega\), and (a) the balls are open with respect to this topology; (b) the closure of \(B(x,r)\) is contained in \(\{y\in\Omega; \rho(x,y)\leq r\}\). (H3) \(\mu\) is a positive Borel measure on \(\Omega\). (H4) \(\{\Omega_n\}_{n=1}^\infty\) is an increasing sequence of bounded measurable subsets of \(\Omega\) such that \(\bigcup_{n=1}^\infty\Omega_n=\Omega\), the closure of \(\Omega_n\) in \(\Omega\) is compact, and there exists \(\varepsilon_n>0\) satisfying \(\{x\in\Omega;\rho(x,y)<2\varepsilon_n\) for some \(y\in\Omega_n \}\subset \Omega_{n+1}\). (H5) there exists \(B_n\geq1\) such that for any \(x,y,z\in\Omega_n\) \(\rho(x,y)\leq B_n(\rho(x,z)+\rho(z,y))\). (H6) there exists \(C_n>1\) such that for any \(x\in\Omega_n\), \(0<r\leq\varepsilon_n\) it holds \(0<\mu(B(x,2r))\leq C_n\mu(B(x,r))<\infty\). Naturally, a space of homogeneous type in the sense of Coifman-Weiss is a locally homogeneous space. On these locally homogeneous spaces, the authors develop the theory of local singular integrals and fractional integrals (their \(L^p\) and \(C^\alpha\) estimates), and then study local analysis of the commutator of a local singular integral or fractional integral with a BMO or VMO function. These results are motivated by local a priori estimates for subelliptic equations.