skip to main content

Attention:

The NSF Public Access Repository (NSF-PAR) system and access will be unavailable from 11:00 PM ET on Thursday, October 10 until 2:00 AM ET on Friday, October 11 due to maintenance. We apologize for the inconvenience.


Title: Bounded Geometry and p-Harmonic Functions Under Uniformization and Hyperbolization
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
Award ID(s):
1800161
NSF-PAR ID:
10293413
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
The Journal of Geometric Analysis
Volume:
31
Issue:
5
ISSN:
1050-6926
Page Range / eLocation ID:
5259 to 5308
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    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
  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

    In this paper, we solve thep-Dirichlet problem for Besov boundary data on unbounded uniform domains with bounded boundaries when the domain is equipped with a doubling measure satisfying a Poincaré inequality. This is accomplished by studying a class of transformations that have been recently shown to render the domain bounded while maintaining uniformity. These transformations conformally deform the metric and measure in a way that depends on the distance to the boundary of the domain and, for the measure, a parameterp. We show that the transformed measure is doubling and the transformed domain supports a Poincaré inequality. This allows us to transfer known results for bounded uniform domains to unbounded ones, including trace results and Adams-type inequalities, culminating in a solution to the Dirichlet problem for boundary data in a Besov class.

     
    more » « less
  4. 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
  5. 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