Related papers: Reverse superposition estimates in Sobolev spaces
When a function belonging to a fractional-order Sobolev space is supported in a proper subset of the Lipschitz domain on which the Sobolev space is defined, how is its Sobolev norm as a function on the smaller set compared to its norm on…
For each $p>1$ and each positive integer $m$ we give intrinsic characterizations of the restriction of the Sobolev space $W^m_p(R)$ and homogeneous Sobolev space $L^m_p(R)$ to an arbitrary closed subset $E$ of the real line. In particular,…
In this article, we fully characterize the measurable Gaussian processes $(U(x))_{x\in\mathcal{D}}$ whose sample paths lie in the Sobolev space of integer order $W^{m,p}(\mathcal{D}),\ m\in\mathbb{N}_0,\ 1 <p<+\infty$, where $\mathcal{D}$…
For $1<p<\infty$ we give a characterization of the Sobolev space $\dot W^{1,p}(\mathbb R^d)$ in terms of the oscillations of a function on balls of varying centers and radii. Our work is motivated both by the study of trace ideal properties…
Using tools from the theory of operator ideals and s-numbers, we develop a general approach to transfer estimates for $L_2$ -approximation of Sobolev functions into estimates for $L_\infty$-approximation, with precise control of all…
We collect and extend results on the limit of $\sigma^{1-k}(1-\sigma)^k |v|_{l+\sigma,p,\Omega}^p$ as $\sigma$ tends to $0^+$ or $1^-$, where $\Omega$ is $\mathbb{R}^n$ or a smooth bounded domain, $k$ is 0 or 1, $l$ is a nonnegative…
In this paper we study how the (normalised) Gagliardo semi-norms $[u]_{W^{s,p} (\mathbb{R}^n)}$ control translations. In particular, we prove that $\| u(\cdot + y) - u \|_{L^p (\mathbb{R}^n)} \le C [ u ] _{W^{s,p} (\mathbb{R}^n)} |y|^s$ for…
We consider a homogeneous fractional Sobolev space obtained by completion of the space of smooth test functions, with respect to a Sobolev--Slobodecki\u{\i} norm. We compare it to the fractional Sobolev space obtained by the $K-$method in…
We obtain new characterizations of the Sobolev spaces $\dot W^{1,p}(\mathbb{R}^N)$ and the bounded variation space $\dot{BV}(\mathbb{R}^N)$. The characterizations are in terms of the functionals $\nu_{\gamma} (E_{\lambda,\gamma/p}[u])$…
We establish the area formula for change-of-variable mappings in the Sobolev space $W^{k,p}_{\text{loc}}$. Our approach relies on constructing Lipschitz approximations of Sobolev functions that agree with the original functions outside a…
This paper constructs unique compactly supported functions in Sobolev spaces that have minimal norm, maximal support, and maximal central value, under certain renormalizations. They may serve as optimized basis functions in interpolation or…
The tensorization problem for Sobolev spaces asks for a characterization of how the Sobolev space on a product metric measure space $X\times Y$ can be determined from its factors. We show that two natural descriptions of the Sobolev space…
Let D be a bounded domain in n-dimensional Euclidean space, where n>2, and let 1<p< (2n)/(n-2). We prove a reverse-Holder inequality for functions realizing equality in the Sobolev inequality, which finds a lower bound for their (p-1)-norm…
Higher Sobolev and H\"older regularity is studied for local weak solutions of the fractional $p$-Laplace equation of order $s$ in the case $p\ge 2$. Depending on the regime considered, i.e. $$0<s\le\tfrac{p-2}{p}\quad \text{or}…
We study the Sobolev regularity of $p$-harmonic functions. We show that $|Du|^{\frac{p-2+s}{2}}Du$ belongs to the Sobolev space $W^{1,2}_{loc}$, $s>-1-\frac{p-1}{n-1}$, for any $p$-harmonic function $u$. The proof is based on an elementary…
Let $\Lambda \subset R$ be a strictly increasing sequence. For $r = 1,2$, we give a simple explicit expression for an equivalent norm on the trace spaces $W_p^r(R)|_\Lambda$, $L_p^r(R)|_\Lambda$ of the non-homogeneous and homogeneous…
For each $p>2$ we give intrinsic characterizations of the restriction of the homogeneous Sobolev space $L^1_p(R^2)$ to an arbitrary finite subset $E$ of $R^2$. The trace criterion is expressed in terms of certain weighted oscillations of…
We exhibit an algorithm to solve the following extension problem: Given a finite set $E \subset \mathbb{R}^n$ and a function $f: E \rightarrow \mathbb{R}$, compute an extension $F$ in the Sobolev space $L^{m,p}(\mathbb{R}^n)$, $p>n$, with…
Let $n \geq 2$, let $\Omega \subset \mathbf{R}^n$ be a bounded domain with smooth boundary, and let $1 \leq p \leq 2$. We prove a reverse-Holder inequality for functions $u$ realizing the best constant in the Sobolev inequality, that is…
We construct explicit examples of Frostman-type measures concentrated on arbitrary planar rectifiable curves of positive length. Based on such constructions we obtain for each $p \in (1,\infty)$ an exact description of the trace space of…