\(L^p\) self-improvement of generalized Poincaré inequalities in spaces of homogeneous type (Q537685)

The authors study self-improving properties in the scale of Lebesgue spaces of generalized Poincaré inequalities in spaces of homogeneous type. The starting estimate is \[ \frac{1}{\mu(B)}\int_B |f- S_{t_Q}|d\mu \leq a(B,f) \] with \(S_t\) being a family of operators (e.g., a semigroup) with fast decay kernel and \(a:\mathcal B\times \mathcal F\to [0,\infty)\) a functional, where \(\mathcal B\) is a family of balls in a homogeneous space \(X\) and \(\mathcal F\) is some family of functions. The main results of the paper consider the case where the dependence on the functions is not of interest, and they write then \(a(B)\). The conditions of the functional considered in the paper are the doubling condition, \(a(\sigma B)\leq C_a a(B)\) for every ball \(B\) and the so-called \(D_r(\mu)\) condition, i.e., \(\sum_i a(B_i)^r\mu(B_i)\leq C_a^ra(B)^r\mu(B)\) for any family of pairwise disjoint balls \((B_i)\) contained in a ball \(B\). The techniques used in the proofs do not use any classical Poincaré or Sobolev-Poincaré inequalities, which allows the authors to apply their result to very general situations. They apply the results to the case of Riemannian manifolds with doubling volume form and under the assumption that the heat kernel of the semigroup \(e^{-t\Delta}\) (with \(\Delta\) being the Laplace-Beltrami operator) has Gaussian upper bounds. As a consequence of their results, they obtain new generalized Poincaré inequalities with oscillations that involve the semigroup \(e^{-t\Delta}\) and with right hand sides containing either \(\nabla\) of \(\Delta^{1/2}\). The research presented is a continuation of the work by the second author in the case of increasing functionals \(a\) and the situation studied by the second and third authors in the euclidean setting, where they already used the \(D_r\) condition in that context.