arXiv subjects
Publications and source records attributed to Nageswari Shanmugalingam.
This paper studies functions of bounded mean oscillation (BMO) on metric spaces equipped with a doubling measure. The main result gives characterizations for mappings that preserve BMO. This extends the corresponding Euclidean results by Gotoh to metric measure spaces. The argument is based on a generalizations Uchiyama's construction of certain extremal BMO-functions and John-Nirenberg's lemma.
We study mean value properties of harmonic functions in metric measure spaces. The metric measure spaces we consider have a doubling measure and support a (1,1)- Poincaré inequality. The notion of harmonicity is based on the Dirichlet form defined in terms of a Cheeger differentiable structure. By studying fine properties of the Green function on balls, we characterize harmonic functions in terms of a mean value property. As a consequence, we obtain a detailed description of Poisson kernels. We shall also obtain a Gauss-Green type formula for sets of finite perimeter which posses a Minkowski content characterization of the perimeter. For the Gauss-Green formula we introduce a suitable notion of the interior normal trace of a regular ball.
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.
Let $(X, d, μ)$ be a metric measure space, with $μ$ a Borel regular measure. In this paper, we prove that, if $u\in L^1_{\mathop\mathrm{\,loc\,}}(X)$ and $g$ is a Hajłasz gradient of $u$, then there exists $\widetilde u$ such that $\widetilde u=u$ almost everywhere and $4g$ is a $p$-weak upper gradient of $\widetilde u$. This result avoids a priori assumption on the quasi-continuity of $u$ used in [Rev. Mat. Iberoamericana 16 (2000), 243-279]. As an application, an embedding of the Morrey-type function spaces based on Hajłasz-gradients into the corresponding function spaces based on upper gradients is obtained. We also introduce the notion of local Hajłasz gradient, and investigate the relations between local Hajłasz gradient and upper gradient.
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.
In this note we study the Dirichlet problem associated with a version of prime end boundary of a bounded domain in a complete metric measure space equipped with a doubling measure supporting a Poincare inequality. We show the resolutivity of functions that are continuous on the prime end boundary and are Lipschitz regular when restricted to the subset of all prime ends whose impressions are singleton sets. We also consider a new notion of capacity adapted to the prime end boundary, and show that bounded perturbations of such functions on subsets of the prime end boundary with zero capacity are resolutive and that their Perron solutions coincide with the Perron solution of the original functions. We also describe some examples which demonstrate the efficacy of the prime end boundary approach in obtaining new results even for the classical Dirichlet problem for some Euclidean domains.
We study local connectedness, local accessibility and finite connectedness at the boundary, in relation to the compactness of the Mazurkiewicz completion of a bounded domain in a metric space. For countably connected planar domains we obtain a complete characterization. It is also shown exactly which parts of this characterization fail in higher dimensions and in metric spaces.
The aim of this paper is two-fold: First, we obtain a better understanding of the intrinsic distance of diffusion processes. Precisely, (i) for all $n\ge1$, the diffusion matrix $A$ is weak upper semicontinuous on $Ω$ if and only if the intrinsic differential and the local intrinsic distance structures coincide; (ii) if $n=1$, or if $n\ge2$ and $A$ is weak upper semicontinuous on $Ω$, the intrinsic distance and differential structures always coincide; (iii) if $n\ge2$ and $A$ fails to be weak upper semicontinuous on $Ω$, the (non-) coincidence of the intrinsic distance and differential structures depend on the geometry of the non-weak-upper-semicontinuity set of $A$. Second, for an arbitrary diffusion matrix $A$, we show that the intrinsic distance completely determines the absolute minimizer of the corresponding $L^\infty$-variational problem, and then obtain the existence and uniqueness for given boundary data. We also give an example of a diffusion matrix $A$ for which there is an absolute minimizer that is not of class $C^1$. When $A$ is continuous, we also obtain the linear approximation property of the absolute minimizer.
Using uniformization, Cantor type sets can be regarded as boundaries of rooted trees. In this setting, we show that the trace of a first-order Sobolev space on the boundary of a regular rooted tree is exactly a Besov space with an explicit smoothness exponent. Further, we study quasisymmetries between the boundaries of two trees, and show that they have rough quasiisometric extensions to the trees. Conversely, we show that every rough quasiisometry between two trees extends as a quasisymmetry between their boundaries. In both directions we give sharp estimates for the involved constants. We use this to obtain quasisymmetric invariance of certain Besov spaces of functions on Cantor type sets.
In this paper we develop the Perron method for solving the Dirichlet problem for the analog of the p-Laplacian, i.e. for p-harmonic functions, with Mazurkiewicz boundary values. The setting considered here is that of metric spaces, where the boundary of the domain in question is replaced with the Mazurkiewicz boundary. Resolutivity for Sobolev and continuous functions, as well as invariance results for perturbations on small sets, are obtained. We use these results to improve the known resolutivity and invariance results for functions on the standard (metric) boundary. We also illustrate the results of this paper by discussing several examples.
We study the quasiadditivity property (a version of superadditivity with a multiplicative constant) of variational capacity in metric spaces with respect to Whitney type covers. We characterize this property in terms of a Mazya type capacity condition, and also explore the close relation between quasiadditivity and Hardy's inequality.
In this paper we propose a new definition of prime ends for domains in metric spaces under rather general assumptions. We compare our prime ends to those of Carathéodory and Näkki. Modulus ends and prime ends, defined by means of the \p-modulus of curve families, are also discussed and related to the prime ends. We provide characterizations of singleton prime ends and relate them to the notion of accessibility of boundary points, and introduce a topology on the prime end boundary. We also study relations between the prime end boundary and the Mazurkiewicz boundary. Generalizing the notion of John domains, we introduce almost John domains, and we investigate prime ends in the settings of John domains, almost John domains and domains which are finitely connected at the boundary.
This paper studies regularity of perimiter quasiminimizing sets in metric measure spaces with a doubling measure and a Poincare inequality. The main result shows that the measure theoretic boundary of a quasiminimizing set coincides with the topological boundary. We also show that such a set has finite Minkowski content and apply the regularity theory to study rectifiability issues related to quasiminimal sets in strong A_{\infty}-weighted Euclidean case.
We study relations between the variational Sobolev 1-capacity and versions of variational BV-capacity in a complete metric space equipped with a doubling measure and supporting a weak $(1,1)$-Poincaré inequality. We prove the equality of 1-modulus and 1-capacity, extending the known results for $1 < p < \infty$ to also cover the more geometric case $p = 1$. Then we give alternative definitions for variational BV-capacities and obtain equivalence results between them. Finally we study relations between total 1-capacity and versions of BV-capacity.
We show that for some negatively curved solvable Lie groups, all self quasiisometries are almost isometries. We prove this by showing that all self quasisymmetric maps of the ideal boundary (of the solvable Lie groups) are bilipschitz with respect to the visual metric. We also define parabolic visual metrics on the ideal boundary of Gromov hyperbolic spaces and relate them to visual metrics.
We present an easy proof that $p$--Hardy's inequality implies uniform $p$--fatness of the boundary when $p=n$. The proof works also in metric space setting and demonstrates the self--improving phenomenon of the $p$--fatness. We also explore the relationship between $p$-fatness, $p$-Hardy inequality, and the uniform perfectness for all $p\ge 1$, and demonstrate that in the Ahlfors $Q$-regular metric measure space setting with $p=Q$, these three properties are equivalent.