-
Sharp Hölder regularity of weak solutions of the Neumann problem and applications to nonlocal PDE in metric measure spaces
Authors:
Luca Capogna,
Ryan Gibara,
Riikka Korte,
Nageswari Shanmugalingam
Abstract:
We prove global Hölder regularity result for weak solutions $u\in N^{1,p}(Ω, μ)$ to a PDE of $p$-Laplacian type with a measure as non-homogeneous term: \[ -\text{div}\!\left( |\nabla u|^{p-2}\nabla u \right)=\overlineν, \]
where $1<p<\infty$ and $\overlineν\in (N^{1,p}(Ω,μ))^*$ is a signed Radon measure supported in $\overline Ω$. Here, $Ω$ is a John domain in a metric measure space satisfying a…
▽ More
We prove global Hölder regularity result for weak solutions $u\in N^{1,p}(Ω, μ)$ to a PDE of $p$-Laplacian type with a measure as non-homogeneous term: \[ -\text{div}\!\left( |\nabla u|^{p-2}\nabla u \right)=\overlineν, \]
where $1<p<\infty$ and $\overlineν\in (N^{1,p}(Ω,μ))^*$ is a signed Radon measure supported in $\overline Ω$. Here, $Ω$ is a John domain in a metric measure space satisfying a doubling condition and a $p$-Poincaré inequality, and $\nabla u$ is the Cheeger gradient. The regularity results obtained in this paper improve on earlier estimates proved by the authors in \cite{CGKS} for the study of the Neumann problem, and have applications to the regularity of solutions of nonlocal PDE in doubling metric spaces. Moreover, the obtained Hölder exponent matches with the known sharp result in the Euclidean case \cite{CSt,BLS,BT}.
△ Less
Submitted 20 May, 2025;
originally announced May 2025.
-
Sharp conditions for preserving uniformity, doubling measure and Poincaré inequality under sphericalization
Authors:
Riikka Korte,
Sari Rogovin,
Nageswari Shanmugalingam,
Timo Takala
Abstract:
We study sphericalization, which is a mapping that conformally deforms the metric and the measure of an unbounded metric measure space so that the deformed space is bounded. The goal of this paper is to study sharp conditions on the deforming density function under which the sphericalization preserves uniformity of the space, the doubling property of the measure and the support of a Poincaré inequ…
▽ More
We study sphericalization, which is a mapping that conformally deforms the metric and the measure of an unbounded metric measure space so that the deformed space is bounded. The goal of this paper is to study sharp conditions on the deforming density function under which the sphericalization preserves uniformity of the space, the doubling property of the measure and the support of a Poincaré inequality. We also provide examples that demonstrate the sharpness of our conditions.
△ Less
Submitted 2 January, 2025;
originally announced January 2025.
-
On Carrasco Piaggio's theorem connecting combinatorial modulus and Ahlfors regular conformal dimension
Authors:
Behnam Esmayli,
Ryan Schardine,
Nageswari Shanmugalingam
Abstract:
The goal of this paper is to provide an expository description of a result of Carrasco Piaggio connecting the Ahlfors regular conformal dimension of a compact uniformly perfect doubling metric space with the combinatorial $p$-moduli of the metric space. We give detailed construction of a metric associated with the $p$-modulus of the space when the $p$-modulus is zero, so that the constructed metri…
▽ More
The goal of this paper is to provide an expository description of a result of Carrasco Piaggio connecting the Ahlfors regular conformal dimension of a compact uniformly perfect doubling metric space with the combinatorial $p$-moduli of the metric space. We give detailed construction of a metric associated with the $p$-modulus of the space when the $p$-modulus is zero, so that the constructed metric is in the Ahlfors regular conformal gauge of the metric space. To do so, we utilize the tools of hyperbolic filling, developed first by Gromov and by Bourdon and Pajot.
△ Less
Submitted 7 December, 2024;
originally announced December 2024.
-
Fractional $p$-Laplacians via Neumann problems in unbounded metric measure spaces
Authors:
Luca Capogna,
Ryan Gibara,
Riikka Korte,
Nageswari Shanmugalingam
Abstract:
We prove well-posedness, Harnack inequality and sharp regularity of solutions to a fractional $p$-Laplace non-homogeneous equation $(-Δ_p)^su =f$, with $0<s<1$, $1<p<\infty$, for data $f$ satisfying a weighted $L^{p'}$ condition in a doubling metric measure space $(Z,d_Z,ν)$ that is possibly unbounded. Our approach is inspired by the work of Caffarelli and Silvestre \cite{CS} (see also Mol{č}anov…
▽ More
We prove well-posedness, Harnack inequality and sharp regularity of solutions to a fractional $p$-Laplace non-homogeneous equation $(-Δ_p)^su =f$, with $0<s<1$, $1<p<\infty$, for data $f$ satisfying a weighted $L^{p'}$ condition in a doubling metric measure space $(Z,d_Z,ν)$ that is possibly unbounded. Our approach is inspired by the work of Caffarelli and Silvestre \cite{CS} (see also Mol{č}anov and Ostrovski{ĭ} \cite{MO}), and extends the techniques developed in
\cite{CKKSS}, where the bounded case is studied. Unlike in \cite{EbGKSS}, we do not assume that $Z$ supports a Poincaré inequality. The proof is based on the well-posedness of the Neumann problem on a Gromov hyperbolic space $(X,d_X, μ)$ that arises as an hyperbolic filling of $Z$.
△ Less
Submitted 24 October, 2024;
originally announced October 2024.
-
Finite dimensionality of Besov spaces and potential-theoretic decomposition of metric spaces
Authors:
Takashi Kumagai,
Nageswari Shanmugalingam,
Ryosuke Shimizu
Abstract:
In the context of a metric measure space $(X,d,μ)$, we explore the potential-theoretic implications of having a finite-dimensional Besov space. We prove that if the dimension of the Besov space $B^θ_{p,p}(X)$ is $k>1$, then $X$ can be decomposed into $k$ number of irreducible components (Theorem 1.1). Note that $θ$ may be bigger than $1$, as our framework includes fractals. We also provide suffici…
▽ More
In the context of a metric measure space $(X,d,μ)$, we explore the potential-theoretic implications of having a finite-dimensional Besov space. We prove that if the dimension of the Besov space $B^θ_{p,p}(X)$ is $k>1$, then $X$ can be decomposed into $k$ number of irreducible components (Theorem 1.1). Note that $θ$ 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 $θ_p(X)$ and $θ_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.
△ Less
Submitted 24 June, 2025; v1 submitted 2 September, 2024;
originally announced September 2024.
-
Well-posedness of Dirichlet boundary value problems for reflected fractional $p$-Laplace-type inhomogeneous equations in compact doubling metric measure spaces
Authors:
Josh Kline,
Feng Li,
Nageswari Shanmugalingam
Abstract:
In this paper we consider the setting of a locally compact, non-complete metric measure space $(Z,d,ν)$ equipped with a doubling measure $ν$, under the condition that the boundary $\partial Z:=\overline{Z}\setminus Z$ (obtained by considering the completion of $Z$) supports a Radon measure $π$ which is in a $σ$-codimensional relationship to $ν$ for some $σ>0$. We explore existence, uniqueness, com…
▽ More
In this paper we consider the setting of a locally compact, non-complete metric measure space $(Z,d,ν)$ equipped with a doubling measure $ν$, under the condition that the boundary $\partial Z:=\overline{Z}\setminus Z$ (obtained by considering the completion of $Z$) supports a Radon measure $π$ which is in a $σ$-codimensional relationship to $ν$ for some $σ>0$. We explore existence, uniqueness, comparison property, and stability properties of solutions to inhomogeneous Dirichlet problems associated with certain nonlinear nonlocal operators on $Z$. We also establish interior regularity of solutions when the inhomogeneity data is in an $L^q$-class for sufficiently large $q>1$, and verify a Kellogg-type property when the inhomogeneity data vanishes and the Dirichlet data is continuous.
△ Less
Submitted 22 April, 2025; v1 submitted 5 August, 2024;
originally announced August 2024.
-
On homogeneous Newton-Sobolev spaces of functions in metric measure spaces of uniformly locally controlled geometry
Authors:
Ryan Gibara,
Ilmari Kangasniemi,
Nageswari Shanmugalingam
Abstract:
We study the large-scale behavior of Newton-Sobolev functions on complete, connected, proper, separable metric measure spaces equipped with a Borel measure $μ$ with $μ(X) = \infty$ and $0 < μ(B(x, r)) < \infty$ for all $x \in X$ and $r \in (0, \infty)$ Our objective is to understand the relationship between the Dirichlet space $D^{1,p}(X)$, defined using upper gradients, and the Newton-Sobolev spa…
▽ More
We study the large-scale behavior of Newton-Sobolev functions on complete, connected, proper, separable metric measure spaces equipped with a Borel measure $μ$ with $μ(X) = \infty$ and $0 < μ(B(x, r)) < \infty$ for all $x \in X$ and $r \in (0, \infty)$ Our objective is to understand the relationship between the Dirichlet space $D^{1,p}(X)$, defined using upper gradients, and the Newton-Sobolev space $N^{1,p}(X)+\mathbb{R}$, for $1\le p<\infty$. We show that when $X$ is of uniformly locally $p$-controlled geometry, these two spaces do not coincide under a wide variety of geometric and potential theoretic conditions. We also show that when the metric measure space is the standard hyperbolic space $\mathbb{H}^n$ with $n\ge 2$, these two spaces coincide precisely when $1\le p\le n-1$. We also provide additional characterizations of when a function in $D^{1,p}(X)$ is in $N^{1,p}(X)+\mathbb{R}$ in the case that the two spaces do not coincide.
△ Less
Submitted 23 April, 2025; v1 submitted 25 July, 2024;
originally announced July 2024.
-
On the Dirichlet-to-Neumann Map for the $p$-Laplacian on a Metric Measure Space
Authors:
Ryan Gibara,
Nageswari Shanmugalingam
Abstract:
In this note, we construct a Dirichlet-to-Neumann map, from a Besov space of functions, to the dual of this class. The Besov spaces are of functions on the boundary of a bounded, locally compact uniform domain equipped with a doubling measure supporting a $p$-Poincaré inequality so that this boundary is also equipped with a Radon measure that has a codimensional relationship with the measure on th…
▽ More
In this note, we construct a Dirichlet-to-Neumann map, from a Besov space of functions, to the dual of this class. The Besov spaces are of functions on the boundary of a bounded, locally compact uniform domain equipped with a doubling measure supporting a $p$-Poincaré inequality so that this boundary is also equipped with a Radon measure that has a codimensional relationship with the measure on the domain. We construct this map via the following recipe. We show first that solutions to Dirichlet problem for the $p$-Laplacian on the domain with prescribed boundary data in the Besov space induce an operator that lives in the dual of the Besov space. Conversely, we show that there is a solution, in the homogeneous Newton-Sobolev space, to the Neumann problem for the $p$-Laplacian with the Neumann boundary data given by a continuous linear functional belonging to the dual of the Besov space. We also obtain bounds on its operator norm in terms of the norms of trace and extension operators that relate Newton-Sobolev functions on the domain to Besov functions on the boundary.
△ Less
Submitted 20 March, 2024; v1 submitted 9 March, 2024;
originally announced March 2024.
-
Homogeneous Newton-Sobolev spaces in metric measure spaces and their Banach space properties
Authors:
Nageswari Shanmugalingam
Abstract:
In this note we prove the Banach space properties of the homogeneous Newton-Sobolev spaces $HN^{1,p}(X)$ of functions on an unbounded metric measure space $X$ equipped with a doubling measure supporting a $p$-Poincaré inequality, and show that when $1<p<\infty$, even with the lack of global $L^p$-integrability of functions in $HN^{1,p}(X)$, we have that every bounded sequence in $HN^{1,p}(X)$ has…
▽ More
In this note we prove the Banach space properties of the homogeneous Newton-Sobolev spaces $HN^{1,p}(X)$ of functions on an unbounded metric measure space $X$ equipped with a doubling measure supporting a $p$-Poincaré inequality, and show that when $1<p<\infty$, even with the lack of global $L^p$-integrability of functions in $HN^{1,p}(X)$, we have that every bounded sequence in $HN^{1,p}(X)$ has a strongly convergent convex-combination subsequence. The analogous properties for the inhomogeneous Newton-Sobolev classes $N^{1,p}(X)$ are proven elsewhere in existing literature
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Sharp Hausdorff content estimates for accessible boundaries of domains in metric measure spaces of controlled geometry
Authors:
Sylvester Eriksson-Bique,
Ryan Gibara,
Riikka Korte,
Nageswari Shanmugalingam
Abstract:
We give a sharp Hausdorff content estimate for the size of the accessible boundary of any domain in a metric measure space of controlled geometry, i.e., a complete metric space equipped with a doubling measure supporting a $p$-Poincaré inequality for a fixed $1\le p<\infty$. This answers a question posed by Jonas Azzam. In the process, we extend the result to every doubling gauge in metric measure…
▽ More
We give a sharp Hausdorff content estimate for the size of the accessible boundary of any domain in a metric measure space of controlled geometry, i.e., a complete metric space equipped with a doubling measure supporting a $p$-Poincaré inequality for a fixed $1\le p<\infty$. This answers a question posed by Jonas Azzam. In the process, we extend the result to every doubling gauge in metric measure spaces which satisfies a codimension one bound.
△ Less
Submitted 20 November, 2023;
originally announced November 2023.
-
Construction of a Dirichlet form on metric measure spaces of controlled geometry
Authors:
Almaz Butaev,
Liangbing Luo,
Nageswari Shanmugalingam
Abstract:
Given a compact doubling metric measure space $X$ that supports a $2$-Poincaré inequality, we construct a Dirichlet form on $N^{1,2}(X)$ that is comparable to the upper gradient energy form on $N^{1,2}(X)$. Our approach is based on the approximation of $X$ by a family of graphs that is doubling and supports a $2$-Poincaré inequality. We construct a bilinear form on $N^{1,2}(X)$ using the Dirichlet…
▽ More
Given a compact doubling metric measure space $X$ that supports a $2$-Poincaré inequality, we construct a Dirichlet form on $N^{1,2}(X)$ that is comparable to the upper gradient energy form on $N^{1,2}(X)$. Our approach is based on the approximation of $X$ by a family of graphs that is doubling and supports a $2$-Poincaré inequality. We construct a bilinear form on $N^{1,2}(X)$ using the Dirichlet form on the graph. We show that the $Γ$-limit $\mathcal{E}$ of this family of bilinear forms (by taking a subsequence) exists and that $\mathcal{E}$ is a Dirichlet form on $X$. Properties of $\mathcal{E}$ are established. Moreover, we prove that $\mathcal{E}$ has the property of matching boundary values on a domain $Ω\subseteq X$. This construction makes it possible to approximate harmonic functions (with respect to the Dirichlet form $\mathcal{E}$) on a domain in $X$ with a prescribed Lipschitz boundary data via a numerical scheme dictated by the approximating Dirichlet forms, which are discrete objects.
△ Less
Submitted 22 October, 2023;
originally announced October 2023.
-
Fine properties of metric space-valued mappings of bounded variation in metric measure spaces
Authors:
Ivan Caamano,
Josh Kline,
Nageswari Shanmugalingam
Abstract:
Here we consider two notions of mappings of bounded variation (BV) from the metric measure space into the metric space; one based on relaxations of Newton-Sobolev functions, and the other based on a notion of AM-upper gradients. We show that when the target metric space is a Banach space, these two notions coincide with comparable energies, but for more general target metric spaces, the two notion…
▽ More
Here we consider two notions of mappings of bounded variation (BV) from the metric measure space into the metric space; one based on relaxations of Newton-Sobolev functions, and the other based on a notion of AM-upper gradients. We show that when the target metric space is a Banach space, these two notions coincide with comparable energies, but for more general target metric spaces, the two notions can give different function-classes. We then consider the fine properties of BV mappings (based on the AM-upper gradient property), and show that when the target space is a proper metric space, then for a BV mapping into the target space, co-dimension $1$-almost every point in the jump set of a BV mapping into the proper space has at least two, and at most $k_0$, number of jump values associated with it, and that the preimage of balls around these jump values have lower density at least $γ$ at that point. Here $k_0$ and $γ$ depend solely on the structural constants associated with the metric measure space, and jump points are points at which the map is not approximately continuous.
△ Less
Submitted 20 August, 2023;
originally announced August 2023.
-
Traces of Newton-Sobolev functions on the visible boundary of domains in doubling metric measure spaces supporting a $p$-Poincaré inequality
Authors:
Sylvester Eriksson-Bique,
Ryan Gibara,
Riikka Korte,
Nageswari Shanmugalingam
Abstract:
We consider the question of whether a domain with uniformly thick boundary at all locations and at all scales has a large portion of its boundary visible from the interior; here, "visibility" indicates the existence of John curves connecting the interior point to the points on the "visible boundary". In this paper, we provide an affirmative answer in the setting of a doubling metric measure space…
▽ More
We consider the question of whether a domain with uniformly thick boundary at all locations and at all scales has a large portion of its boundary visible from the interior; here, "visibility" indicates the existence of John curves connecting the interior point to the points on the "visible boundary". In this paper, we provide an affirmative answer in the setting of a doubling metric measure space supporting a $p$-Poincaré inequality for $1<p<\infty$, thus extending the results of [20,2,9] to non-Ahlfors regular spaces. We show that $t$-codimensional thickness of the boundary for $0<t<p$ implies $p$-codimensional thickness of the visible boundary. For such domains we prove that traces of Sobolev functions on the domain belong to the Besov class of the visible boundary.
△ Less
Submitted 20 January, 2025; v1 submitted 18 August, 2023;
originally announced August 2023.
-
Discontinuous eikonal equations in metric measure spaces
Authors:
Qing Liu,
Nageswari Shanmugalingam,
Xiaodan Zhou
Abstract:
In this paper, we study the eikonal equation in metric measure spaces, where the inhomogeneous term is allowed to be discontinuous, unbounded and merely $p$-integrable in the domain with a finite $p$. For continuous eikonal equations, it is known that the notion of Monge solutions is equivalent to the standard definition of viscosity solutions. Generalizing the notion of Monge solutions in our set…
▽ More
In this paper, we study the eikonal equation in metric measure spaces, where the inhomogeneous term is allowed to be discontinuous, unbounded and merely $p$-integrable in the domain with a finite $p$. For continuous eikonal equations, it is known that the notion of Monge solutions is equivalent to the standard definition of viscosity solutions. Generalizing the notion of Monge solutions in our setting, we establish uniqueness and existence results for the associated Dirichlet boundary problem. The key in our approach is to adopt a new metric, based on the optimal control interpretation, which integrates the discontinuous term and converts the eikonal equation to a standard continuous form. We also discuss the Holder continuity of the unique solution with respect to the original metric under regularity assumptions on the space and the inhomogeneous term.
△ Less
Submitted 13 August, 2023;
originally announced August 2023.
-
Trace and extension theorems for homogeneous Sobolev and Besov spaces for unbounded uniform domains in metric measure spaces
Authors:
Ryan Gibara,
Nageswari Shanmugalingam
Abstract:
In this paper we fix $1\le p<\infty$ and consider $(\Om,d,μ)$ be an unbounded, locally compact, non-complete metric measure space equipped with a doubling measure $μ$ supporting a $p$-Poincaré inequality such that $\Om$ is a uniform domain in its completion $\bar\Om$. We realize the trace of functions in the Dirichlet-Sobolev space $D^{1,p}(\Om)$ on the boundary $\partial\Om$ as functions in the h…
▽ More
In this paper we fix $1\le p<\infty$ and consider $(\Om,d,μ)$ be an unbounded, locally compact, non-complete metric measure space equipped with a doubling measure $μ$ supporting a $p$-Poincaré inequality such that $\Om$ is a uniform domain in its completion $\bar\Om$. We realize the trace of functions in the Dirichlet-Sobolev space $D^{1,p}(\Om)$ on the boundary $\partial\Om$ as functions in the homogeneous Besov space $HB^α_{p,p}(\partial\Om)$ for suitable $α$; here, $\partial\Om$ is equipped with a non-atomic Borel regular measure $ν$. We show that if $ν$ satisfies a $θ$-codimensional condition with respect to $μ$ for some $0<θ<p$, then there is a bounded linear trace operator $T:D^{1,p}(\Om)\rightarrow HB^{1-θ/p}(\partial\Om)$ and a bounded linear extension operator $E:HB^{1-θ/p}(\partial\Om)\rightarrow D^{1,p}(\Om)$ that is a right-inverse of $T$.
△ Less
Submitted 14 December, 2022; v1 submitted 23 November, 2022;
originally announced November 2022.
-
Potential theory and quasisymmetric maps between compact Ahlfors regular metric measure spaces via Besov functions: preliminary
Authors:
Juha Lehrback,
Nageswari Shanmugalingam
Abstract:
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é inequalities. As an application of the Besov capacity estimates we show that if a homeomorphism between two Ahlfors regular metric measure spaces preserves, under some additional assumptions, certain Be…
▽ More
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é inequalities. As an application of the Besov capacity estimates we show that if a homeomorphism between two Ahlfors regular metric measure spaces preserves, under some additional assumptions, certain Besov classes, then the homeomorphism is necessarily a quasisymmetric map.
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
Solving a Dirichlet problem for unbounded domains via a conformal transformation
Authors:
Ryan Gibara,
Riikka Korte,
Nageswari Shanmugalingam
Abstract:
In this paper, we solve the $p$-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 defo…
▽ More
In this paper, we solve the $p$-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 parameter $p$. 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.
△ Less
Submitted 8 August, 2023; v1 submitted 20 September, 2022;
originally announced September 2022.
-
On Carrasco Piaggio's theorem characterizing quasisymmetric maps from compact doubling spaces to Ahlfors regular spaces
Authors:
Nageswari Shanmugalingam
Abstract:
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…
▽ More
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.
△ Less
Submitted 24 July, 2022;
originally announced July 2022.
-
Conformal transformation of uniform domains under weights that depend on distance to the boundary
Authors:
Ryan Gibara,
Nageswari Shanmugalingam
Abstract:
The sphericalization procedure converts a Euclidean space into a compact sphere. In this note we propose a variant of this procedure for locally compact, rectifiably path-connected, non-complete, unbounded metric spaces by using conformal deformations that depend only on the distance to the boundary of the metric space. This deformation is locally bi-Lipschitz to the original domain near its bound…
▽ More
The sphericalization procedure converts a Euclidean space into a compact sphere. In this note we propose a variant of this procedure for locally compact, rectifiably path-connected, non-complete, unbounded metric spaces by using conformal deformations that depend only on the distance to the boundary of the metric space. This deformation is locally bi-Lipschitz to the original domain near its boundary, but transforms the space into a bounded domain. We will show that if the original metric space is a uniform domain with respect to its completion, then the transformed space is also a uniform domain.
△ Less
Submitted 18 August, 2022; v1 submitted 4 April, 2022;
originally announced April 2022.
-
Neumann problems for $p$-harmonic functions, and induced nonlocal operators in metric measure spaces
Authors:
Luca Capogna,
Josh Kline,
Riikka Korte,
Nageswari Shanmugalingam,
Marie Snipes
Abstract:
Following ideas of Caffarelli and Silvestre in~\cite{CS}, 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 regula…
▽ More
Following ideas of Caffarelli and Silvestre in~\cite{CS}, 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<\infty$, in bounded domains of measure metric spaces endowed with a doubling measure that supports a Poincaré inequality. Our work also extends beyond the compact setting, and 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.
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
Classification of metric measure spaces and their ends using $p$-harmonic functions
Authors:
Anders Bjorn,
Jana Bjorn,
Nageswari Shanmugalingam
Abstract:
By seeing whether a Liouville type theorem holds for positive, bounded, and/or finite 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 also study the inclusions between these…
▽ More
By seeing whether a Liouville type theorem holds for positive, bounded, and/or finite 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 also 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 energy as spaces having at least two well-separated $p$-hyperbolic sequences. We also show that every such space $X$ has a function $f \notin L^p(X) + \mathbb{R} $ with finite $p$-energy.
△ Less
Submitted 25 June, 2021;
originally announced June 2021.
-
Regularity of Solutions to the Fractional Cheeger-Laplacian on Domains in Metric Spaces of Bounded Geometry
Authors:
Sylvester Eriksson-Bique,
Gianmarco Giovannardi,
Riikka Korte,
Nageswari Shanmugalingam,
Gareth Speight
Abstract:
We study existence, uniqueness, and regularity properties of the Dirichlet problem related to fractional Dirichlet energy minimizers in a complete doubling metric measure space $(X,d_X,μ_X)$ satisfying a $2$-Poincaré inequality. Given a bounded domain $Ω\subset X$ with $μ_X(X\setminusΩ)>0$, and a function $f$ in the Besov class $B^θ_{2,2}(X)\cap L^2(X)$, we study the problem of finding a function…
▽ More
We study existence, uniqueness, and regularity properties of the Dirichlet problem related to fractional Dirichlet energy minimizers in a complete doubling metric measure space $(X,d_X,μ_X)$ satisfying a $2$-Poincaré inequality. Given a bounded domain $Ω\subset X$ with $μ_X(X\setminusΩ)>0$, and a function $f$ in the Besov class $B^θ_{2,2}(X)\cap L^2(X)$, we study the problem of finding a function $u\in B^θ_{2,2}(X)$ such that $u=f$ in $X\setminusΩ$ and $\mathcal{E}_θ(u,u)\le \mathcal{E}_θ(h,h)$ whenever $h\in B^θ_{2,2}(X)$ with $h=f$ in $X\setminusΩ$. We show that such a solution always exists and that this solution is unique. We also show that the solution is locally Hölder continuous on $Ω$, and satisfies a non-local maximum and strong maximum principle. Part of the results in this paper extend the work of Caffarelli and Silvestre in the Euclidean setting and Franchi and Ferrari in Carnot groups.
△ Less
Submitted 21 December, 2020; v1 submitted 17 December, 2020;
originally announced December 2020.
-
Extension and trace results for doubling metric measure spaces and their hyperbolic fillings
Authors:
Anders Bjorn,
Jana Bjorn,
Nageswari Shanmugalingam
Abstract:
In this paper we study connections between Besov spaces of functions on a compact metric space $Z$, equipped with a doubling measure, and the Newton--Sobolev space of functions on a uniform domain $X_\varepsilon$. This uniform domain is obtained as a uniformization of a (Gromov) hyperbolic filling of $Z$. To do so, we construct a family of hyperbolic fillings in the style of the work of Bonk and K…
▽ More
In this paper we study connections between Besov spaces of functions on a compact metric space $Z$, equipped with a doubling measure, and the Newton--Sobolev space of functions on a uniform domain $X_\varepsilon$. This uniform domain is obtained as a uniformization of a (Gromov) hyperbolic filling of $Z$. To do so, we construct a family of hyperbolic fillings in the style of the work of Bonk and Kleiner and the work of Bourdon and Pajot. Then for each parameter $β>0$ we construct a lift $μ_β$ of the doubling measure $ν$ on $Z$ to $X_\varepsilon$, and show that $μ_β$ is doubling and supports a $1$-Poincaré inequality. We then show that for each $θ$ with $0<θ<1$ and $p\ge 1$ there is a choice of $β=p(1-θ)\logα$ such that the Besov space $B^θ_{p,p}(Z)$ is the trace space of the Newton--Sobolev space $N^{1,p}(X_\varepsilon,μ_β)$ when $\varepsilon=\logα$. Finally, we exploit the tools of potential theory on $X_\varepsilon$ to obtain fine properties of functions in $B^θ_{p,p}(Z)$, such as their quasicontinuity and quasieverywhere existence of $L^q$-Lebesgue points with $q=s_νp/(s_ν-pθ)$, where $s_ν$ is a doubling dimension associated with the measure $ν$ on $Z$. Applying this to compact subsets of Euclidean spaces improves upon a result of Netrusov in $\mathbb{R}^n$.
△ Less
Submitted 6 March, 2021; v1 submitted 2 August, 2020;
originally announced August 2020.
-
Traces and extensions of certain weighted Sobolev spaces on $\mathbb{R}^n$ and Besov functions on Ahlfors regular compact subsets of $\mathbb{R}^n$
Authors:
Jeff Lindquist,
Nageswari Shanmugalingam
Abstract:
The focus of this paper is on Ahlfors $Q$-regular compact sets $E\subset\mathbb{R}^n$ such that, for each $Q-2<α\le 0$, the weighted measure $μ_α$ given by integrating the density $ω(x)=\text{dist}(x, E)^α$ yields a Muckenhoupt $\mathcal{A}_p$-weight in a ball $B$ containing $E$. For such sets $E$ we show the existence of a bounded linear trace operator acting from $W^{1,p}(B,μ_α)$ to…
▽ More
The focus of this paper is on Ahlfors $Q$-regular compact sets $E\subset\mathbb{R}^n$ such that, for each $Q-2<α\le 0$, the weighted measure $μ_α$ given by integrating the density $ω(x)=\text{dist}(x, E)^α$ yields a Muckenhoupt $\mathcal{A}_p$-weight in a ball $B$ containing $E$. For such sets $E$ we show the existence of a bounded linear trace operator acting from $W^{1,p}(B,μ_α)$ to $B^θ_{p,p}(E, \mathcal{H}^Q\vert_E)$ when $0<θ<1-\tfrac{α+n-Q}{p}$, and the existence of a bounded linear extension operator from $B^θ_{p,p}(E, \mathcal{H}^Q\vert_E)$ to $W^{1,p}(B, μ_α)$ when $1-\tfrac{α+n-Q}{p}\le θ<1$. We illustrate these results with $E$ as the Sierpiński carpet, the Sierpiński gasket, and the von Koch snowflake.
△ Less
Submitted 13 August, 2020; v1 submitted 20 July, 2020;
originally announced July 2020.
-
Equivalence of solutions of eikonal equation in metric spaces
Authors:
Qing Liu,
Nageswari Shanmugalingam,
Xiaodan Zhou
Abstract:
In this paper we prove the equivalence between some known notions of solutions to the eikonal equation and more general analogs of the Hamilton-Jacobi equations in complete and rectifiably connected metric spaces. The notions considered are that of curve-based viscosity solutions, slope-based viscosity solutions, and Monge solutions. By using the induced intrinsic (path) metric, we reduce the metr…
▽ More
In this paper we prove the equivalence between some known notions of solutions to the eikonal equation and more general analogs of the Hamilton-Jacobi equations in complete and rectifiably connected metric spaces. The notions considered are that of curve-based viscosity solutions, slope-based viscosity solutions, and Monge solutions. By using the induced intrinsic (path) metric, we reduce the metric space to a length space and show the equivalence of these solutions to the associated Dirichlet boundary problem. Without utilizing the boundary data, we also localize our argument and directly prove the equivalence for the definitions of solutions. Regularity of solutions related to the Euclidean semi-concavity is discussed as well.
△ Less
Submitted 2 June, 2020; v1 submitted 27 May, 2020;
originally announced May 2020.
-
Rough isometry between Gromov hyperbolic spaces and uniformization
Authors:
Jeff Lindquist,
Nageswari Shanmugalingam
Abstract:
In this note we show that given two complete geodesic Gromov hyperbolic spaces that are roughly isometric and $\varepsilon>0$, either the uniformization of both spaces with parameter $\varepsilon$ results in uniform domains, or else neither uniformized space is a uniform domain. The terminology of "uniformization" is from the work of Bonk, Heinonen and Koskela, where it is shown that the uniformiz…
▽ More
In this note we show that given two complete geodesic Gromov hyperbolic spaces that are roughly isometric and $\varepsilon>0$, either the uniformization of both spaces with parameter $\varepsilon$ results in uniform domains, or else neither uniformized space is a uniform domain. The terminology of "uniformization" is from the work of Bonk, Heinonen and Koskela, where it is shown that the uniformization, with parameter $\varepsilon>0$, of a complete geodesic Gromov hyperbolic space results in a uniform domain provided $\varepsilon$ is small enough.
△ Less
Submitted 1 June, 2020; v1 submitted 19 December, 2019;
originally announced December 2019.
-
Analysis on Metric Spaces
Authors:
Mario Bonk,
Luca Capogna,
Piotr Hajłasz,
Nageswari Shanmugalingam,
Jeremy T. Tyson
Abstract:
This note is a survey of Analysis on Metric spaces, in connection with the upcoming AMS Mathematics Research Communities program in June 2020.
This note is a survey of Analysis on Metric spaces, in connection with the upcoming AMS Mathematics Research Communities program in June 2020.
△ Less
Submitted 4 November, 2019; v1 submitted 1 November, 2019;
originally announced November 2019.
-
BV functions and fractional Laplacians on Dirichlet spaces
Authors:
Patricia Alonso Ruiz,
Fabrice Baudoin,
Li Chen,
Luke Rogers,
Nageswari Shanmugalingam,
Alexander Teplyaev
Abstract:
We study $L^p$ Besov critical exponents and isoperimetric and Sobolev inequalities associated with fractional Laplacians on metric measure spaces. The main tool is the theory of heat semigroup based Besov classes in Dirichlet spaces that was introduced by the authors in previous works.
We study $L^p$ Besov critical exponents and isoperimetric and Sobolev inequalities associated with fractional Laplacians on metric measure spaces. The main tool is the theory of heat semigroup based Besov classes in Dirichlet spaces that was introduced by the authors in previous works.
△ Less
Submitted 28 October, 2019;
originally announced October 2019.
-
Carathéodory-type extension theorem with respect to prime end boundaries
Authors:
Joshua Kline,
Jeff Lindquist,
Nageswari Shanmugalingam
Abstract:
We prove a Carathéodory-type extension of BQS homeomorphisms between two domains in proper, locally path-connected metric spaces as homeomorphisms between their prime end closures. We also give a Carathéodory-type extension of geometric quasiconformal mappings between two such domains provided the two domains are both Ahlfors $Q$-regular and support a $Q$-Poincaré inequality when equipped with the…
▽ More
We prove a Carathéodory-type extension of BQS homeomorphisms between two domains in proper, locally path-connected metric spaces as homeomorphisms between their prime end closures. We also give a Carathéodory-type extension of geometric quasiconformal mappings between two such domains provided the two domains are both Ahlfors $Q$-regular and support a $Q$-Poincaré inequality when equipped with their respective Mazurkiewicz metrics. We also provide examples to demonstrate the strengths and weaknesses of prime end closures in this context.
△ Less
Submitted 23 September, 2019;
originally announced September 2019.
-
Bounded geometry and $p$-harmonic functions under uniformization and hyperbolization
Authors:
Anders Bjorn,
Jana Bjorn,
Nageswari Shanmugalingam
Abstract:
The uniformization and hyperbolization transformations formulated by Bonk, Heinonen and Koskela in \emph{"Uniformizing Gromov Hyperbolic Spaces"}, Astérisque {\bf 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…
▽ More
The uniformization and hyperbolization transformations formulated by Bonk, Heinonen and Koskela in \emph{"Uniformizing Gromov Hyperbolic Spaces"}, Astérisque {\bf 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.
△ Less
Submitted 13 August, 2019;
originally announced August 2019.
-
Besov class via heat semigroup on Dirichlet spaces III: BV functions and sub-Gaussian heat kernel estimates
Authors:
Patricia Alonso-Ruiz,
Fabrice Baudoin,
Li Chen,
Luke Rogers,
Nageswari Shanmugalingam,
Alexander Teplyaev
Abstract:
With a view toward fractal spaces, by using a Korevaar-Schoen space approach, we introduce the class of bounded variation (BV) functions in a general framework of strongly local Dirichlet spaces with a heat kernel satisfying sub-Gaussian estimates. Under a weak Bakry-Émery curvature type condition, which is new in this setting, this BV class is identified with a heat semigroup based Besov class. A…
▽ More
With a view toward fractal spaces, by using a Korevaar-Schoen space approach, we introduce the class of bounded variation (BV) functions in a general framework of strongly local Dirichlet spaces with a heat kernel satisfying sub-Gaussian estimates. Under a weak Bakry-Émery curvature type condition, which is new in this setting, this BV class is identified with a heat semigroup based Besov class. As a consequence of this identification, properties of BV functions and associated BV measures are studied in detail. In particular, we prove co-area formulas, global $L^1$ Sobolev embeddings and isoperimetric inequalities. It is shown that for nested fractals or their direct products the BV class we define is dense in $L^1$. The examples of the unbounded Vicsek set, unbounded Sierpinski gasket and unbounded Sierpinski carpet are discussed.
△ Less
Submitted 8 August, 2022; v1 submitted 24 March, 2019;
originally announced March 2019.
-
Besov class via heat semigroup on Dirichlet spaces II: BV functions and Gaussian heat kernel estimates
Authors:
Patricia Alonso-Ruiz,
Fabrice Baudoin,
Li Chen,
Luke Rogers,
Nageswari Shanmugalingam,
Alexander Teplyaev
Abstract:
We introduce the class of bounded variation (BV) functions in a general framework of strictly local Dirichlet spaces with doubling measure. Under the 2-Poincaré inequality and a weak Bakry-Émery curvature type condition, this BV class is identified with the heat semigroup based Besov class $\mathbf{B}^{1,1/2}(X)$ that was introduced in our previous paper. Assuming furthermore a quasi Bakry-Émery c…
▽ More
We introduce the class of bounded variation (BV) functions in a general framework of strictly local Dirichlet spaces with doubling measure. Under the 2-Poincaré inequality and a weak Bakry-Émery curvature type condition, this BV class is identified with the heat semigroup based Besov class $\mathbf{B}^{1,1/2}(X)$ that was introduced in our previous paper. Assuming furthermore a quasi Bakry-Émery curvature type condition, we identify the Sobolev class $W^{1,p}(X)$ with $\mathbf{B}^{p,1/2}(X)$ for $p>1$. Consequences of those identifications in terms of isoperimetric and Sobolev inequalities with sharp exponents are given.
△ Less
Submitted 10 September, 2020; v1 submitted 27 November, 2018;
originally announced November 2018.
-
Besov class via heat semigroup on Dirichlet spaces I: Sobolev type inequalities
Authors:
Patricia Alonso-Ruiz,
Fabrice Baudoin,
Li Chen,
Luke Rogers,
Nageswari Shanmugalingam,
Alexander Teplyaev
Abstract:
We introduce heat semigroup-based Besov classes in the general framework of Dirichlet spaces. General properties of those classes are studied and quantitative regularization estimates for the heat semigroup in this scale of spaces are obtained. As a highlight of the paper, we obtain a far reaching $L^p$-analogue, $p \ge 1$, of the Sobolev inequality that was proved for $p=2$ by N. Varopoulos under…
▽ More
We introduce heat semigroup-based Besov classes in the general framework of Dirichlet spaces. General properties of those classes are studied and quantitative regularization estimates for the heat semigroup in this scale of spaces are obtained. As a highlight of the paper, we obtain a far reaching $L^p$-analogue, $p \ge 1$, of the Sobolev inequality that was proved for $p=2$ by N. Varopoulos under the assumption of ultracontractivity for the heat semigroup. The case $p=1$ is of special interest since it yields isoperimetric type inequalities.
△ Less
Submitted 30 April, 2020; v1 submitted 10 November, 2018;
originally announced November 2018.
-
Asymptotic behavior of BV functions and sets of finite perimeter in metric measure spaces
Authors:
Sylvester Eriksson-Bique,
James T. Gill,
Panu Lahti,
Nageswari Shanmugalingam
Abstract:
In this paper, we study the asymptotic behavior of BV functions in complete metric measure spaces equipped with a doubling measure supporting a $1$-Poincaré 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…
▽ More
In this paper, we study the asymptotic behavior of BV functions in complete metric measure spaces equipped with a doubling measure supporting a $1$-Poincaré 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)_\infty$ corresponding to the asymptotic expansion of $E$ and that every such asymptotic limit $(E)_\infty$ is a quasiminimal set of finite perimeter. We also show that the perimeter measure of $(E)_\infty$ is Ahlfors co-dimension $1$ regular.
△ Less
Submitted 22 January, 2020; v1 submitted 11 October, 2018;
originally announced October 2018.
-
The Liouville theorem for $p$-harmonic functions and quasiminimizers with finite energy
Authors:
Anders Björn,
Jana Björn,
Nageswari Shanmugalingam
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$-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 a…
▽ More
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$-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}$, we characterize all locally doubling measures, supporting a local $p$-Poincaré inequality, for which there exist nonconstant quasiminimizers of finite $p$-energy, and show that a quasiminimizer is of finite $p$-energy if and only if it is bounded. As $p$-harmonic functions are quasiminimizers they are covered by these results.
△ Less
Submitted 19 September, 2018;
originally announced September 2018.
-
Equivalence of two BV classes of functions in metric spaces, and existence of a Semmes family of curves under a $1$-Poincaré inequality
Authors:
Estibalitz Durand-Cartagena,
Sylvester Eriksson-Bique,
Riikka Korte,
Nageswari Shanmugalingam
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 notions coincide, 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 \emph{Semmes fam…
▽ More
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 notions coincide, 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 \emph{Semmes family of curves} structure.
△ Less
Submitted 11 September, 2018;
originally announced September 2018.
-
The prime end capacity of inaccessible prime ends, resolutivity, and the Kellogg property
Authors:
Tomasz Adamowicz,
Nageswari Shanmugalingam
Abstract:
Prime end boundaries $\partial_PΩ$ of domains $Ω$ are studied in the setting of complete doubling metric measure spaces supporting a $p$-Poincaré inequality. Notions of rectifiably (in)accessible- and (in)finitely far away prime ends are introduced and employed in classification of prime ends. We show that, for a given domain, the prime end capacity of the collection of all rectifiably inaccessibl…
▽ More
Prime end boundaries $\partial_PΩ$ of domains $Ω$ are studied in the setting of complete doubling metric measure spaces supporting a $p$-Poincaré inequality. Notions of rectifiably (in)accessible- and (in)finitely far away prime ends are introduced and employed in classification of prime ends. We show that, for a given domain, the prime end capacity of the collection of all rectifiably inaccessible prime ends together will all non-singleton prime ends is zero. We show the resolutivity of continouous functions on $\partial_PΩ$ which are Lipschitz continuous with respect to the Mazurkiewicz metric when restricted to the collection $\partial_{SP}Ω$ of all accessible prime ends. Furthermore, bounded perturbations of such functions in $\partial_PΩ\setminus\partial_{SP}Ω$ yield the same Perron solution. In the final part of the paper, we demonstrate the (resolutive) Kellogg property with respect to the prime end boundary of bounded domains in the metric space. Notions given in this paper are illustrated by a number of examples.
△ Less
Submitted 21 July, 2018;
originally announced July 2018.
-
Locally $p$-admissible measures on $\mathbb{R}$
Authors:
Anders Bjorn,
Jana Bjorn,
Nageswari Shanmugalingam
Abstract:
In this note we show that locally $p$-admissible measures on $\mathbb{R}$ necessarily come from local Muckenhoupt $A_p$ weights. In the proof we employ the corresponding characterization of global $p$-admissible measures on $\mathbb{R}$ in terms of global $A_p$ weights due to Björn, Buckley and Keith, together with tools from analysis in metric spaces, more specifically preservation of the doublin…
▽ More
In this note we show that locally $p$-admissible measures on $\mathbb{R}$ necessarily come from local Muckenhoupt $A_p$ weights. In the proof we employ the corresponding characterization of global $p$-admissible measures on $\mathbb{R}$ in terms of global $A_p$ weights due to Björn, Buckley and Keith, together with tools from analysis in metric spaces, more specifically preservation of the doubling condition and Poincaré inequalities under flattening, due to Durand-Cartagena and Li. As a consequence, the class of locally $p$-admissible weights on $\mathbb{R}$ is invariant under addition and satisfies the lattice property. We also show that measures that are $p$-admissible on an interval can be partially extended by periodical reflections to global $p$-admissible measures. Surprisingly, the $p$-admissibility has to hold on a larger interval than the reflected one, and an example shows that this is necessary.
△ Less
Submitted 5 July, 2018;
originally announced July 2018.
-
Modulus of families of sets of finite perimeter and quasiconformal maps between metric spaces of globally $Q$-bounded geometry
Authors:
Rebekah Jones,
Panu Lahti,
Nageswari Shanmugalingam
Abstract:
We generalize a result of J. C. Kelly to the setting of Ahlfors $Q$-regular metric measure spaces supporting a $1$-Poincaré inequality. It is shown that if $X$ and $Y$ are two Ahlfors $Q$-regular spaces supporting a $1$-Poincaré inequality and $f:X\to Y$ is a quasiconformal mapping, then the $Q/(Q-1)$-modulus of the collection of measures $\mathcal{H}^{Q-1}\lfloor_{ΣE}$ corresponding to any collec…
▽ More
We generalize a result of J. C. Kelly to the setting of Ahlfors $Q$-regular metric measure spaces supporting a $1$-Poincaré inequality. It is shown that if $X$ and $Y$ are two Ahlfors $Q$-regular spaces supporting a $1$-Poincaré inequality and $f:X\to Y$ is a quasiconformal mapping, then the $Q/(Q-1)$-modulus of the collection of measures $\mathcal{H}^{Q-1}\lfloor_{ΣE}$ corresponding to any collection of sets $E\subset X$ of finite perimeter is quasi-preserved by $f$. We also show that for $Q/(Q-1)$-modulus almost every $ΣE$, if the image surface $Σf(E)$ does not see the singular set of $f$ as a large set, then $f(E)$ is also of finite perimeter. Even in the standard Euclidean setting our results are more general than that of Kelly, and hence are new even in there.
△ Less
Submitted 16 June, 2018;
originally announced June 2018.
-
BV functions and Besov spaces associated with Dirichlet spaces
Authors:
Patricia Alonso-Ruiz,
Fabrice Baudoin,
Li Chen,
Luke Rogers,
Nageswari Shanmugalingam,
Alexander Teplyaev
Abstract:
We develop a theory of bounded variation functions and Besov spaces in abstract Dirichlet spaces which unifies several known examples and applies to new situations, including fractals.
We develop a theory of bounded variation functions and Besov spaces in abstract Dirichlet spaces which unifies several known examples and applies to new situations, including fractals.
△ Less
Submitted 18 September, 2018; v1 submitted 9 June, 2018;
originally announced June 2018.
-
Infinity modulus and the essential metric
Authors:
Nathan Albin,
Jared Hoppis,
Pietro Poggi-Corradini,
Nageswari Shanmugalingam
Abstract:
We study $\infty$-modulus on general metric spaces and establish its relation to shortest lengths of paths. This connection was already known for modulus on graphs, but the formulation in metric measure spaces requires more attention to exceptional families. We use this to define a metric that we call the essential metric, and show how this recovers a metric that had already been advanced in the l…
▽ More
We study $\infty$-modulus on general metric spaces and establish its relation to shortest lengths of paths. This connection was already known for modulus on graphs, but the formulation in metric measure spaces requires more attention to exceptional families. We use this to define a metric that we call the essential metric, and show how this recovers a metric that had already been advanced in the literature by De Cecco and Palmieri.
△ Less
Submitted 9 February, 2018;
originally announced February 2018.
-
An Analog of the Neumann Problem for the $1$-Laplace Equation in the Metric Setting: Existence, Boundary Regularity, and Stability
Authors:
Panu Lahti,
Lukas Maly,
Nageswari Shanmugalingam
Abstract:
We study an inhomogeneous Neumann boundary value problem for functions of least gradient on bounded domains in metric spaces that are equipped with a doubling measure and support a Poincaré inequality. We show that solutions exist under certain regularity assumptions on the domain, but are generally nonunique. We also show that solutions can be taken to be differences of two characteristic functio…
▽ More
We study an inhomogeneous Neumann boundary value problem for functions of least gradient on bounded domains in metric spaces that are equipped with a doubling measure and support a Poincaré inequality. We show that solutions exist under certain regularity assumptions on the domain, but are generally nonunique. We also show that solutions can be taken to be differences of two characteristic functions, and that they are regular up to the boundary when the boundary is of positive mean curvature. By regular up to the boundary we mean that if the boundary data is $1$ in a neighborhood of a point on the boundary of the domain, then the solution is $-1$ in the intersection of the domain with a possibly smaller neighborhood of that point. Finally, we consider the stability of solutions with respect to boundary data.
△ Less
Submitted 7 August, 2017;
originally announced August 2017.
-
Domains in metric measure spaces with boundary of positive mean curvature, and the Dirichlet problem for functions of least gradient
Authors:
Panu Lahti,
Lukas Maly,
Nageswari Shanmugalingam,
Gareth Speight
Abstract:
We study the geometry of domains in complete metric measure spaces equipped with a doubling measure supporting a $1$-Poincaré inequality. We propose a notion of \emph{domain with boundary of positive mean curvature} and prove that, for such domains, there is always a solution to the Dirichlet problem for least gradients with continuous boundary data. Here \emph{least gradient} is defined as minimi…
▽ More
We study the geometry of domains in complete metric measure spaces equipped with a doubling measure supporting a $1$-Poincaré inequality. We propose a notion of \emph{domain with boundary of positive mean curvature} and prove that, for such domains, there is always a solution to the Dirichlet problem for least gradients with continuous boundary data. Here \emph{least gradient} is defined as minimizing total variation (in the sense of BV functions) and boundary conditions are satisfied in the sense that the \emph{boundary trace} of the solution exists and agrees with the given boundary data. This extends the result of Sternberg, Williams and Ziemer to the non-smooth setting. Via counterexamples we also show that uniqueness of solutions and existence of \emph{continuous} solutions can fail, even in the weighted Euclidean setting with Lipschitz weights.
△ Less
Submitted 22 June, 2017;
originally announced June 2017.
-
Dichotomy of global capacity density in metric measure spaces
Authors:
Hiroaki Aikawa,
Anders Björn,
Jana Björn,
Nageswari Shanmugalingam
Abstract:
The variational capacity cap_p in Euclidean spaces is known to enjoy the density dichotomy at large scales, namely that for every subset E of R^n, inf_{x in R^n} (cap_p(E \cap B(x,r),B(x,2r)) / cap_p(B(x,r),B(x,2r))) is either zero or tends to 1 as r tends to infinity. We prove that this property still holds in unbounded complete geodesic metric spaces equipped with a doubling measure supporting a…
▽ More
The variational capacity cap_p in Euclidean spaces is known to enjoy the density dichotomy at large scales, namely that for every subset E of R^n, inf_{x in R^n} (cap_p(E \cap B(x,r),B(x,2r)) / cap_p(B(x,r),B(x,2r))) is either zero or tends to 1 as r tends to infinity. We prove that this property still holds in unbounded complete geodesic metric spaces equipped with a doubling measure supporting a p-Poincaré inequality, but that it can fail in nongeodesic metric spaces and also for the Sobolev capacity in R^n.
It turns out that the shape of balls impacts the validity of the density dichotomy. Even in more general metric spaces, we construct families of sets, such as John domains, for which the density dichotomy holds. Our arguments include an exact formula for the variational capacity of superlevel sets for capacitary potentials and a quantitative approximation from inside of the variational capacity.
△ Less
Submitted 29 December, 2016;
originally announced December 2016.
-
Notions of Dirichlet problem for functions of least gradient in metric measure spaces
Authors:
Riikka Korte,
Panu Lahti,
Xining Li,
Nageswari Shanmugalingam
Abstract:
We study two notions of Dirichlet problem associated with BV energy minimizers (also called functions of least gradient) in bounded domains in metric measure spaces whose measure is doubling and supports a $(1,1)$-Poincaré inequality. Since one of the two notions is not amenable to the direct method of the calculus of variations, we construct, based on an approach of [23, 29], solutions by conside…
▽ More
We study two notions of Dirichlet problem associated with BV energy minimizers (also called functions of least gradient) in bounded domains in metric measure spaces whose measure is doubling and supports a $(1,1)$-Poincaré inequality. Since one of the two notions is not amenable to the direct method of the calculus of variations, we construct, based on an approach of [23, 29], solutions by considering the Dirichlet problem for $p$-harmonic functions, $p>1$, and letting $p\to 1$. Tools developed and used in this paper include the inner perimeter measure of a domain.
△ Less
Submitted 19 December, 2016;
originally announced December 2016.
-
Neumann problem for p-Laplace equation in metric spaces using a variational approach: existence, boundedness, and boundary regularity
Authors:
Lukáš Malý,
Nageswari Shanmugalingam
Abstract:
We employ a variational approach to study the Neumann boundary value problem for the $p$-Laplacian on bounded smooth-enough domains in the metric setting, and show that solutions exist and are bounded. The boundary data considered are Borel measurable bounded functions. We also study boundary continuity properties of the solutions. One of the key tools utilized is the trace theorem for Newton-Sobo…
▽ More
We employ a variational approach to study the Neumann boundary value problem for the $p$-Laplacian on bounded smooth-enough domains in the metric setting, and show that solutions exist and are bounded. The boundary data considered are Borel measurable bounded functions. We also study boundary continuity properties of the solutions. One of the key tools utilized is the trace theorem for Newton-Sobolev functions, and another is an analog of the De Giorgi inequality adapted to the Neumann problem.
△ Less
Submitted 21 September, 2016;
originally announced September 2016.
-
Fine properties and a notion of quasicontinuity for BV functions on metric spaces
Authors:
Panu Lahti,
Nageswari Shanmugalingam
Abstract:
On a metric space equipped with a doubling measure supporting a Poincaré inequality, we show that given a BV function, discarding a set of small $1$-capacity makes the function continuous outside its jump set and ``one-sidedly" continuous in its jump set. We show that such a property implies, in particular, that the measure theoretic boundary of a set of finite perimeter separates the measure theo…
▽ More
On a metric space equipped with a doubling measure supporting a Poincaré inequality, we show that given a BV function, discarding a set of small $1$-capacity makes the function continuous outside its jump set and ``one-sidedly" continuous in its jump set. We show that such a property implies, in particular, that the measure theoretic boundary of a set of finite perimeter separates the measure theoretic interior of the set from its measure theoretic exterior, both in the sense of the subspace topology outside sets of small $1$-capacity, and in the sense of $1$-almost every curve.
△ Less
Submitted 17 November, 2015;
originally announced November 2015.
-
Trace and extension theorems for functions of bounded variation
Authors:
Lukáš Malý,
Nageswari Shanmugalingam,
Marie Snipes
Abstract:
In this paper we show that every $L^1$-integrable function on $\partialΩ$ can be obtained as the trace of a function of bounded variation in $Ω$ whenever $Ω$ is a domain with regular boundary $\partialΩ$ in a doubling metric measure space. In particular, the trace class of $BV(Ω)$ is $L^1(\partialΩ)$ provided that $Ω$ supports a 1-Poincaré inequality. We also construct a bounded linear extension f…
▽ More
In this paper we show that every $L^1$-integrable function on $\partialΩ$ can be obtained as the trace of a function of bounded variation in $Ω$ whenever $Ω$ is a domain with regular boundary $\partialΩ$ in a doubling metric measure space. In particular, the trace class of $BV(Ω)$ is $L^1(\partialΩ)$ provided that $Ω$ supports a 1-Poincaré inequality. We also construct a bounded linear extension from a Besov class of functions on $\partialΩ$ to $BV(Ω)$.
△ Less
Submitted 11 July, 2016; v1 submitted 13 November, 2015;
originally announced November 2015.
-
Trace theorems for functions of bounded variation in metric spaces
Authors:
Panu Lahti,
Nageswari Shanmugalingam
Abstract:
In this paper we show existence of traces of functions of bounded variation on the boundary of a certain class of domains in metric measure spaces equipped with a doubling measure supporting a $1$-Poincaré inequality, and obtain $L^1$ estimates of the trace functions. In contrast with the treatment of traces given in other papers on this subject, the traces we consider do not require knowledge of…
▽ More
In this paper we show existence of traces of functions of bounded variation on the boundary of a certain class of domains in metric measure spaces equipped with a doubling measure supporting a $1$-Poincaré inequality, and obtain $L^1$ estimates of the trace functions. In contrast with the treatment of traces given in other papers on this subject, the traces we consider do not require knowledge of the function in the exterior of the domain. We also establish a Maz'ya-type inequality for functions of bounded variation that vanish on a set of positive capacity.
△ Less
Submitted 24 July, 2015;
originally announced July 2015.
-
Stability and continuity of functions of least gradient
Authors:
Heikki Hakkarainen,
Riikka Korte,
Panu Lahti,
Nageswari Shanmugalingam
Abstract:
In this note we prove that on metric measure spaces, functions of least gradient, as well as local minimizers of the area functional (after modification on a set of measure zero) are continuous everywhere outside their jump sets. As a tool, we develop some stability properties of sequences of least gradient functions. We also apply these tools to prove a maximum principle for functions of least gr…
▽ More
In this note we prove that on metric measure spaces, functions of least gradient, as well as local minimizers of the area functional (after modification on a set of measure zero) are continuous everywhere outside their jump sets. As a tool, we develop some stability properties of sequences of least gradient functions. We also apply these tools to prove a maximum principle for functions of least gradient that arise as solutions to a Dirichlet problem.
△ Less
Submitted 8 October, 2014; v1 submitted 8 October, 2014;
originally announced October 2014.
