Related papers: Trace theory for Sobolev mappings into a manifold

Relying on a recent criterion, due to A.~Petrunin [18], to check if a complete, non-compact, Riemannian manifold admits an isometric embedding into a Euclidean space with positive reach, we extend to manifolds with such property the…

For some class of mappings, there are investigated problems connected with a possibility of continuous extension to a boundary on Riemannian manifolds. In particular, for so-called ring mappings, there is proved a result related to…

In this paper we construct a trace operator for homogeneous Sobolev spaces defined on infinite strip-like domains. We identify an intrinsic seminorm on the resulting trace space that makes the trace operator bounded and allows us to…

Sobolev trace inequalities on nonhomogeneous fractional Sobolev spaces are established.

For a given Lipschitz domain $\Omega$, it is a classical result that the trace space of $W^{1,p}(\Omega)$ is $W^{1-1/p,p}(\partial\Omega)$, namely any $W^{1,p}(\Omega)$ function has a well-defined $W^{1-1/p,p}(\partial\Omega)$ trace on its…

We give characterizations for the existence of traces for first order Sobolev spaces defined on regular trees.

We consider a class of infinite weighted metric trees obtained as perturbations of self-similar regular trees. Possible definitions of the boundary traces of functions in the Sobolev space on such a structure are discussed by using…

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,…

We prove the compactness of weighted Sobolev trace operators in outward cuspidal domains by using composition operators on Sobolev spaces. This result allows us to formulate the non-linear Steklov problem in outward cuspidal domains in a…

We study the existence of uniformly bounded extension and trace operators for W^{1,p}-functions on randomly perforated domains, where the geometry is assumed to be stationary ergodic. Such extension and trace operators are important for…

Let $X, Y \subset \mathbb{R}^n$ be Lipschitz domains, and suppose there is a homeomorphism $\varphi \colon \overline{X} \to \overline{Y}$. We consider the class of Sobolev mappings $f \in W^{1,n} (X, \mathbb{R}^n)$ with a strictly positive…

We recall the complex structure on the generalised loop spaces $W^{k,2}(S,X)$, where $S$ is a compact real manifold with boundary and $X$ is a complex manifold, and prove a Hartogs-type extension theorem for holomorphic maps from certain…

Given a positive integer $p$, we consider $W^{1,p}$-maps from a Euclidean domain of dimension $p+1$ into a closed Riemannian manifold $\mathcal{N}$. The target manifold is required to satisfy suitable topological conditions; in particular,…

In this article we present a coherent rigorous overview of the main properties of Sobolev-Slobodeckij spaces of sections of vector bundles on compact manifolds; results of this type are scattered through the literature and can be difficult…

We have recently introduced the trimming property for a complete Riemannian manifold $N^{n}$ as a necessary and sufficient condition for bounded maps to be strongly dense in $W^{1, p}(B^m; N^{n})$ when $p \in \{1, \dotsc, m\}$. We prove in…

We show that limits of sequences of smooth maps between compact Riemannian manifolds with equi-integrable $W^{1, p}$-Sobolev energy can always be strongly approximated by smooth maps, giving a counterpart of Hang's density result in $W^{1,…

Brezis and Mironescu have announced several years ago that for a compact manifold $N^n \subset \mathbb{R}^\nu$ and for real numbers $0 < s < 1$ and $1 \le p < \infty$ the class $C^\infty(\overline{Q}^m; N^n)$ of smooth maps on the cube with…

A well-known result is that any Lipschitz domain is an extension domain for $W^{s,p}$. This paper extends this result to Lipschitz subsets of compact Lipschitz submanifolds of $\mathbb{R}^n$. We adapt the construction of an extension…

We consider two basic problems of algebraic topology, the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational complexity. The extension problem is the following: Given…

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…