skip to main content


Title: The Liouville theorem for $$p$$-harmonic functions and quasiminimizers with finite energy
Abstract We show that, under certain geometric conditions, there are no nonconstant quasiminimizers with finite p th power energy in a (not necessarily complete) metric measure space equipped with a globally doubling measure supporting a global $$p$$ p -Poincaré inequality. The geometric conditions are that either (a) the measure has a sufficiently strong volume growth at infinity, or (b) the metric space is annularly quasiconvex (or its discrete version, annularly chainable) around some point in the space. Moreover, on the weighted real line $$\mathbf {R}$$ R , we characterize all locally doubling measures, supporting a local $$p$$ p -Poincaré inequality, for which there exist nonconstant quasiminimizers of finite $$p$$ p -energy, and show that a quasiminimizer is of finite $$p$$ p -energy if and only if it is bounded. As $$p$$ p -harmonic functions are quasiminimizers they are covered by these results.  more » « less
Award ID(s):
1800161
NSF-PAR ID:
10293456
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Mathematische Zeitschrift
Volume:
297
Issue:
1-2
ISSN:
0025-5874
Page Range / eLocation ID:
827 to 854
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    Abstract The uniformization and hyperbolization transformations formulated by Bonk et al. in “Uniformizing Gromov Hyperbolic Spaces” , Astérisque, vol 270 (2001), dealt with geometric properties of metric spaces. In this paper we consider metric measure spaces and construct a parallel transformation of measures under the uniformization and hyperbolization procedures. We show that if a locally compact roughly starlike Gromov hyperbolic space is equipped with a measure that is uniformly locally doubling and supports a uniformly local p -Poincaré inequality, then the transformed measure is globally doubling and supports a global p -Poincaré inequality on the corresponding uniformized space. In the opposite direction, we show that such global properties on bounded locally compact uniform spaces yield similar uniformly local properties for the transformed measures on the corresponding hyperbolized spaces. We use the above results on uniformization of measures to characterize when a Gromov hyperbolic space, equipped with a uniformly locally doubling measure supporting a uniformly local p -Poincaré inequality, carries nonconstant globally defined p -harmonic functions with finite p -energy. We also study some geometric properties of Gromov hyperbolic and uniform spaces. While the Cartesian product of two Gromov hyperbolic spaces need not be Gromov hyperbolic, we construct an indirect product of such spaces that does result in a Gromov hyperbolic space. This is done by first showing that the Cartesian product of two bounded uniform domains is a uniform domain. 
    more » « less
  2. By seeing whether a Liouville type theorem holds for positive, bounded, and/or finite \(p\)-energy \(p\)-harmonic and \(p\)-quasiharmonic functions, we classify proper metric spaces equipped with a locally doubling measure supporting a local \(p\)-Poincaré inequality. Similar classifications have earlier been obtained for Riemann surfaces and Riemannian manifolds. We study the inclusions between these classes of metric measure spaces, and their relationship to the \(p\)-hyperbolicity of the metric space and its ends. In particular, we characterize spaces that carry nonconstant \(p\)-harmonic functions with finite \(p\)-energy as spaces having at least two well-separated \(p\)-hyperbolic sequences of sets towards infinity. We also show that every such space \(X\) has a function \(f \notin L^p(X) + \mathbf{R}\) with finite \(p\)-energy. 
    more » « less
  3. Abstract We consider two notions of functions of bounded variation in complete metric measure spaces,one due to Martio and the other due to Miranda Jr. We show that these two notionscoincide if the measure is doubling and supports a 1-Poincaré inequality. In doing so, we also prove that if the measure is doubling and supports a 1-Poincaré inequality, then the metric space supports a Semmes family of curves structure. 
    more » « less
  4. null (Ed.)
    In this paper, we study the asymptotic behavior of BV functions in complete metric measure spaces equipped with a doubling measure supporting a 1-Poincare inequality. We show that at almost every point x outside the Cantor and jump parts of a BV function, the asymptotic limit of the function is a Lipschitz continuous function of least gradient on a tangent space to the metric space based at x. We also show that, at co-dimension 1 Hausdorff measure almost every measure-theoretic boundary point of a set E of finite perimeter, there is an asymptotic limit set (E)∞ corresponding to the asymptotic expansion of E and that every such asymptotic limit (E)∞ is a quasiminimal set of finite perimeter. We also show that the perimeter measure of (E)∞ is Ahlfors co-dimension 1 regular. 
    more » « less
  5. Following ideas of Caffarelli and Silvestre in [20], and using recent progress in hyperbolic fillings, we define fractional p-Laplacians (−∆p)θ with 0 < θ < 1 on any compact, doubling metric measure space (Z, d, ν), and prove existence, regularity and stability for the non- homogenous non-local equation (−∆p)θu = f. These results, in turn, rest on the new existence, global Hölder regularity and stability theorems that we prove for the Neumann problem for p-Laplacians ∆p, 1 < p < ∞, in bounded domains of measure metric spaces endowed with a doubling measure that supports a Poincaré inequality. Our work also includes as special cases much of the previous results by other authors in the Euclidean, Riemannian and Carnot group settings. Unlike other recent contributions in the metric measure spaces context, our work does not rely on the assumption that (Z, d, ν) supports a Poincaré inequality. 
    more » « less