Related papers: A new approach to Sobolev spaces in metric measure…

Let $L^{m,p}(\mathbb{R}^n)$ be the homogeneous Sobolev space for $p \in (n,\infty)$, $\mu$ be a Borel regular measure on $\mathbb{R}^n$, and $L^{m,p}(\mathbb{R}^n) + L^p(d\mu)$ be the space of Borel measurable functions with finite seminorm…

Let $M$ and $N$ be connected manifolds without boundary with $\dim(M) < \dim(N)$, and let $M$ compact. Then shape space in this work is either the manifold of submanifolds of $N$ that are diffeomorphic to $M$, or the orbifold of…

Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[ I(\mu) = \int_X \int_X d(x,y) d\mu(x) d\mu(y), \] and set $M(X) =…

We introduce the class of compactly H\"older mappings between metric spaces and determine the extent to which they distort the Minkowski dimension of a given set. These mappings are defined purely with metric notions and can be seen as a…

It is shown that given a metric space $X$ and a $\sigma$-finite positive regular Borel measure $\mu$ on $X$, there exists a bounded continuous real-valued function on $X$ that is one-to-one on the complement of a set of $\mu$ measure zero.

We focus on Borel measures that have a globally subanalytic density function. We prove, given such a measure $\mu$ on a set $A$ and a globally subanalytic mapping $\Phi:A\to \Omega$, with $\Omega$ bounded open subset of $\mathbb{R}^n$, a…

We present in this paper a new way to define weighted Sobolev spaces when the weight functions are arbitrary small. This new approach can replace the old one consisting in modifying the domain by removing the set of points where at least…

We consider the monomial weight $|x_1|^{A_1}...|x_n|^{A_n}$ in $\mathbb R^n$, where $A_i\geq0$ is a real number for each $i=1,...,n$, and establish Sobolev, isoperimetric, Morrey, and Trudinger inequalities involving this weight. They are…

Let $(M,g)$ be a Riemannian manifold with Riemannian distance $\mathsf{d}_g$, and $\mathcal{M}(M)$ be the space of all non-negative Borel measures on $M$, endowed with the Hellinger-Kantorovich distance $\mathsf{H\! K}_{\mathsf{d}_g}$…

We introduce the notion of a gauge and of a tagged partition (subordinate to a given gauge) by intersections of open and closed sets of a compact metric space extending the corresponding notions in Henstock-Kurzweil integration of…

We establish trace theorems for function spaces defined on general Ahlfors regular metric spaces $Z$. The results cover the Triebel-Lizorkin spaces and the Besov spaces for smoothness indices $s<1,$ as well as the first order…

Given a compact metric space $X$, the collection of Borel probability measures on $X$ can be made into a compact metric space via the Kantorovich metric. We partially generalize this well known result to projection-valued measures. In…

Reparametrization invariant Sobolev metrics on spaces of regular curves have been shown to be of importance in the field of mathematical shape analysis. For practical applications, one usually discretizes the space of smooth curves and…

Let $X$ be a topological space and $\mu$ be a nonatomic finite measure on a $\sigma$-algebra $\Sigma$ containing the Borel $\sigma$-algebra of $X$. We say $\mu$ is weakly outer regular, if for every $A \in \Sigma$ and $\epsilon>0$, there…

We will solve a problem by Aliaga and Perneck\'a about Lipschitz free spaces (denoted by $\mathcal F(M)$): $$\text{Does every Borel measure $\mu$ on a complete metric space $M$ such that $\int d(m,0) d |\mu|(m)< \infty$ induce a weak$^*$…

In this paper, we study the existence of traces for Sobolev spaces on the hyperbolic filling $X$ of a compact metric space $Z$ equipped with a doubling measure. Given a suitable metric on $X$, we can regard $Z$ as the boundary of $X$. After…

For a probability measure space $(X,\mathscr{A},\mu)$, we define a pseudometric $\delta$ on the ring $\mathcal{M}(X,\mathscr{A})$ of real-valued measurable functions on $X$ as $\delta(f,g)=\mu(X\setminus Z(f-g))$ and denote the topological…

In continuation of [3] we discuss metrics of the form $$ G^P_f(h,k)=\int_M \sum_{i=0}^p\Phi_i(\Vol(f)) \g((P_i)_fh,k) \vol(f^*\g) $$ on the space of immersions $\Imm(M,N)$ and on shape space $B_i(M,N)=\Imm(M,N)/\on{Diff}(M)$. Here $(N,\g)$…

Many procedures in science, engineering and medicine produce data in the form of geometric shapes. Mathematically, a shape can be modeled as an un-parameterized immersed sub-manifold, which is the notion of shape used here. Endowing shape…

Let $(X,d)$ be a compact metric space, and let an iterated function system (IFS) be given on $X$, i.e., a finite set of continuous maps $\sigma_{i}$: $ X\to X$, $i=0,1,..., N-1$. The maps $\sigma_{i}$ transform the measures $\mu $ on $X$…