New Sobolev spaces via generalized Poincaré inequalities on metric measure spaces (Q5920440)

The authors introduce some new function spaces of Sobolev type on metric measure space, which generalize the classical Sobolev spaces on Euclidean spaces. They consider Poincaré type inequalities. \textit{X. T. Duong} and \textit{A. McIntosh} [Rev. Mat. Iberoam. 15, No. 2, 233--265 (1999; Zbl 0980.42007)] first used such estimates to obtain weak \((1,1)\) estimates on certain singular integrals defined on irregular domains. Let \((X,d,\mu)\) be a topological space endowed with a distance \(d\) and a doubling measure \(\mu\). A family of operators \(\{ A_t\}_{t>0}\) is said to be a generalized approximation of THE identity if \(A_tA_s f (x) = A_sA_t f(x)\), and \(A_t\) is represented by the kernel \(a_t\); \[ A_t f(x) = \int_X a_t (x,y) f(y)dy, \] and the following condition holds: \[ | a_t (x,y) | \leq \frac{1}{ \mu (B(x, t^{1/m}))} \varphi \Bigl( \frac{d(x,y)^m}{t} \Bigr), \] where \(m\) is a positive fixed constant and \(\varphi\) is a positive, bounded decreasing function which decays fast enough. Let \(1<p \leq \infty, s>0\). The Sobolev-type space \(P^{s,p}_A(X)\) is the set of functions \(f \in L^p(X)\) satisfying that there exists some \(q \in [1,p), \lambda \geq 1\) and a non-negative function \(g \in L^p(X)\) such that for every ball \(B \subset X\), \[ \frac{1}{\mu (B)} \int_B | f(x) - A_{t_B}f(x) | d\mu(x) \leq r_{B}^s \Bigl\{ \frac{1}{\mu (\lambda B)} \int_{\lambda B} g(x)^q d\mu (x) \Bigr\}^{1/q}, \] where \(r_B\) is the radius of the ball \(B\) and \(t_B = r_{B}^m\). Moreover \( \| f \|_{ P^{s,p}_A } = \| f \|_{L^p} + \inf_{g} \| g \|_{L^p}. \) The Sobolev-type space \(HS^{s,p}_A(X)\) is the set of functions \(f \in L^p(X)\) satisfying that there exists a non-negative function \(g \in L^p(X)\) such that for every ball \(B \subset X\) and \textit{a.e.} \(x \in B\), \[ | f(x) - A_{t_B}f(x) | \leq r_B^s g(x). \] Moreover \( \| f \|_{ HS^{s,p}_A } = \| f \|_{L^p} + \inf_{g} \| g \|_{L^p}. \) Note that they do not assume the semigroup property \( A_tA_s f = A_{t+s} f\). They prove the following. There exists \(r>1\) such that for \(r<p \leq \infty\), \( P^{s,p}_A (X) = HS^{s,p}_A (X)\) with equivalent norms. They also consider Hajłasz-Sobolev space on \(X\).