Related papers: Testing the Sobolev property with a single test pl…

We show that Sobolev maps with values in a dual Banach space can be characterized in terms of weak derivatives in a weak* sense. Since every metric space embeds isometrically into a dual Banach space, this implies a characterization of…

We prove that, if dichotomy occurs when the concentration-compactness principle is used, the dichotomizing sequence can be choosen so that a nontrivial part of it concentrates. Iterating this argument leads to a profile decomposition for…

We study completeness properties of Sobolev metrics on the space of immersed curves and on the shape space of unparametrized curves. We show that Sobolev metrics of order $n\geq 2$ are metrically complete on the space $\mathcal…

We study completeness properties of reparametrization invariant Sobolev metrics of order $n\ge 2$ on the space of manifold valued open and closed immersed curves. In particular, for several important cases of metrics, we show that Sobolev…

We provide a new, short proof of the density in energy of Lipschitz functions into the metric Sobolev space defined by using plans with barycenter (and thus, a fortiori, into the Newtonian-Sobolev space). Our result covers first-order…

A unified approach to embedding theorems for Sobolev type spaces of vector-valued functions, defined via their symmetric gradient, is proposed. The Sobolev spaces in question are built upon general rearrangement-invariant norms. Optimal…

It is well known that besides oscillations, sequences bounded only in $L^1$ can also develop concentrations, and if the latter occurs, we can at most hope for weak$^*$ convergence in the sense of measures. Here we derive a new tool to…

In this paper, first-order Sobolev-type spaces on abstract metric measure spaces are defined using the notion of (weak) upper gradients, where the summability of a function and its upper gradient is measured by the "norm" of a quasi-Banach…

For each $m\ge 1$ and $p>2$ we characterize bounded simply connected Sobolev $L^m_p$-extension domains $\Omega\subset R^2$. Our criterion is expressed in terms of certain intrinsic subhyperbolic metrics in $\Omega$. Its proof is based on a…

We introduce a continuous domain framework for the recovery of a planar curve from a few samples. We model the curve as the zero level set of a trigonometric polynomial. We show that the exponential feature maps of the points on the curve…

If $X$ is an analytic metric space satisfying a very mild doubling condition, then for any finite Borel measure $\mu$ on $X$ there is a set $N\subseteq X$ such that $\mu(N)>0$, an ultrametric space $Z$ and a Lipschitz bijection $\phi:N\to…

We consider a class of symmetry hypothesis testing problems including testing isotropy on $\mathbb{R}^d$ and testing rotational symmetry on the hypersphere $\mathcal{S}^{d-1}$. For this class, we study the null and non-null behaviors of…

In this paper we present a new characterization of Sobolev spaces on Euclidian spaces ($\mathbb{R}^n$). Our characterizing condition is obtained via a quadratic multiscale expression which exploits the particular symmetry properties of…

Optimal higher-order Sobolev type embeddings are shown to follow via isoperimetric inequalities. This establishes a higher-order analogue of a well-known link between first-order Sobolev embeddings and isoperimetric inequalities. Sobolev…

An embedding theorem for Sobolev spaces built upon general Musielak-Orlicz norms is offered. These norms are defined in terms of generalized Young functions which also depend on the $x$ variable. Under minimal conditions on the latter…

We present an elementary proof of a well-known theorem of Cheeger which states that if a metric-measure space $X$ supports a $p$-Poincar\'e inequality, then the $N^{1,p}(X)$ Sobolev space is reflexive and separable whenever $p\in…

We investigate a Sobolev map $f$ from a finite dimensional RCD space $(X, \dist_X, \meas_X)$ to a finite dimensional non-collapsed compact RCD space $(Y, \dist_Y, \mathcal{H}^N)$. If the image $f(X)$ is smooth in a weak sense (which is…

Sobolev embeddings, of arbitrary order, are considered into function spaces on domains of $\mathbb R^n$ endowed with measures whose decay on balls is dominated by a power $d$ of their radius. Norms in arbitrary rearrangement-invariant…

If one thinks of a Riemannian metric, $g_1$, analogously as the gradient of the corresponding distance function, $d_1$, with respect to a background Riemannian metric, $g_0$, then a natural question arises as to whether a corresponding…

Statistical shape analysis can be done in a Riemannian framework by endowing the set of shapes with a Riemannian metric. Sobolev metrics of order two and higher on shape spaces of parametrized or unparametrized curves have several desirable…