Search for: All records

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. 

Abstract Given a compact doubling metric measure spaceXthat supports a 2-Poincaré inequality, we construct a Dirichlet form on$$N^{1,2}(X)$$ $N^{1,2}\left(X\right)$that is comparable to the upper gradient energy form on$$N^{1,2}(X)$$ $N^{1,2}\left(X\right)$. Our approach is based on the approximation ofXby a family of graphs that is doubling and supports a 2-Poincaré inequality (see [20]). We construct a bilinear form on$$N^{1,2}(X)$$ $N^{1,2}\left(X\right)$using the Dirichlet form on the graph. We show that the$$\Gamma $$ $\Gamma$-limit$$\mathcal {E}$$ $E$of this family of bilinear forms (by taking a subsequence) exists and that$$\mathcal {E}$$ $E$is a Dirichlet form onX. Properties of$$\mathcal {E}$$ $E$are established. Moreover, we prove that$$\mathcal {E}$$ $E$has the property of matching boundary values on a domain$$\Omega \subseteq X$$ $\Omega \subseteq X$. This construction makes it possible to approximate harmonic functions (with respect to the Dirichlet form$$\mathcal {E}$$ $E$) on a domain inXwith a prescribed Lipschitz boundary data via a numerical scheme dictated by the approximating Dirichlet forms, which are discrete objects. 

In the context of a metric measure space \((X,d,\mu)\), we explore the potential-theoretic implications of having a finite-dimensional Besov space. We prove that if the dimension of the Besov space \(B^\theta_{p,p}(X)\) is \(k>1\), then \(X\) can be decomposed into \(k\) number of irreducible components (Theorem 1.1). Note that \(\theta\) may be bigger than \(1\), as our framework includes fractals. We also provide sufficient conditions under which the dimension of the Besov space is 1. We introduce critical exponents \(\theta_p(X)\) and \(\theta_p^{\ast}(X)\) for the Besov spaces. As examples illustrating Theorem 1.1, we compute these critical exponents for spaces \(X\) formed by glueing copies of \(n\)-dimensional cubes, the Sierpiński gaskets, and of the Sierpiński carpet. 

We study Besov capacities in a compact Ahlfors regular metric measure space by means of hyperbolic fillings of the space.This approach is applicable even if the space does not support any Poincar´e inequalities. As an application of the Besov capacity estimates we show that if a homeomorphism between two Ahlfors regular metric mea- sure spaces preserves, under some additional assumptions, certain Besov classes, then the homeomorphism is necessarily a quasisymmetric map. 

In this note we deconstruct and explore the components of a theorem of Carrasco Piaggio, which relates Ahlfors regular conformal gauge of a compact doubling metric space to weights on Gromov-hyperbolic fillings of the metric space. We consider a construction of hyperbolic filling that is simpler than the one considered by Carrasco Piaggio, and we determine the effect of each of the four properties postulated by Carrasco Piaggio on the induced metric on the compact metric space. 

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.