Related papers: Trace theory for Sobolev mappings into a manifold

The subject is traces of Sobolev spaces with mixed Lebesgue norms on Euclidean space. Specifically, restrictions to the hyperplanes given by the first and last coordinates are applied to functions belonging to quasi-homogeneous, mixed-norm…

This paper is concerned with developing a theory of traces for functions that are integrable but need not possess any differentiability within their domain. Moreover, the domain can have an irregular boundary with cusp-like features and…

In this article we introduce a new class of weighted sequence spaces of Sobolev type and prove several compact embedding theorems for them. It is our contention that the chosen class is general enough so as to allow applications in various…

We prove that every surjective isometry between the unit spheres of two trace class spaces admits a unique extension to a surjective complex linear or conjugate linear isometry between the spaces. This provides a positive solution to…

This paper tackles the extension problems for three far-unsatble homotopy groups $\pi_{39}(S^{6})$, $\pi_{40}(S^{7})$, and $\pi_{41}(S^{8})$ localized at 2, the puzzles having remained unsolved for forty-five years. By a Toda bracket…

We prove trace theorems for weighted mixed norm Sobolev spaces in the upper-half space where the weight is a power function of the vertical variable. The results show the differentiability order of the trace functions depends only on the…

We generalize the notion of trace to the Kontsevich quantization algebra and show that for all Poisson manifolds representable by quotients of a symplectic manifold by a Hamiltonian action of a nilpotent Lie group, the trace is given by…

We describe a class of Sobolev $W^k_p$-extension domains $\Omega\subset R^n$ determined by a certain inner subhyperbolic metric in $\Omega$. This enables us to characterize finitely connected Sobolev $W^1_p$-extension domains in $R^2$ for…

Including the previously untreated borderline cases, the trace spaces in the distributional sense of the Besov--Lizorkin--Triebel spaces are determined for the anisotropic (or quasi-homogeneous) version of these classes. The ranges of the…

In this paper, we solve the Dirichlet problem for Orlicz-Sobolev maps between singular metric spaces that extends the corresponding result of Guo et al. [arXiv 2021]. As an intermediate step, we develop a version of Rellich-Kondrachov…

In this paper, we extend the class of admissible functions for the trace formula of the second order in the self-adjoint, unitary, and contraction cases for a perturbation in the Hilbert-Schmidt class $\mathcal{S}^2(\mathcal{H})$ by…

We provide a necessary and sufficient condition for a simple object in a pivotal k-category to be ambidextrous. In turn, these objects imply the existence of nontrivial trace functions in the category. These functions play an important role…

We consider an algebra $\mathscr A$ of Fourier integral operators on $\mathbb R^n$. It consists of all operators $D: \mathscr S(\mathbb R^n)\to \mathscr S(\mathbb R^n)$ on the Schwartz space $\mathscr S(\mathbb R^n)$ that can be written as…

In this paper, we discuss the trace operator for homogeneous fractional Sobolev spaces over infinite strip-like domains. We determine intrinsic seminorms on the trace space that allow for a bounded right inverse. The intrinsic seminorm…

For a finite $E \subset \R^2$, $f:E \rightarrow \R$, and $p>2$, we produce a continuous $F:\R^2 \rightarrow \R$ depending linearly on $f$, taking the same values as $f$ on $E$, and with $L^{2,p}(\R^2)$ semi-norm minimal up to a factor…

For each $p>n$ we use local oscillations and doubling measures to give intrinsic characterizations of the restriction of the Sobolev space $W_p^1(R^n)$ to an arbitrary closed subset of $R^n$.

We first prove that all the functions in L 2 whose directional derivative is in L 2 have a directional trace on the boundary of any open bounded domain, without assumptions on its regularity. This enables us to define the omnidirectional…

A series of recent papers by Bergfalk, Lupini and Panagiotopoulus developed the foundations of a field known as `definable algebraic topology,' in which classical cohomological invariants are enriched by viewing them as groups with a Polish…

We define the notion of higher-order colocally weakly differentiable maps from a manifold $M$ to a manifold $N$. When $M$ and $N$ are endowed with Riemannian metrics, $p\ge 1$ and $k\ge 2$, this allows us to define the intrinsic…

We introduce Besov and Triebel--Lizorkin spaces on a manifold with boundary adapted to H\"ormander vector fields, near a so-called non-characteristic point of the boundary. We prove sharp results in these spaces for the corresponding…