Related papers: The omnidirectional trace in H 1 ($\Omega$)

Motivated by manifold-constrained homogenization problems, we construct suitable extensions for Sobolev functions defined on a perforated domain and taking values in a compact, connected $C^2$-manifold without boundary. The proof combines a…

Consider a Lipschitz domain $\Omega$ and a measurable function $\mu$ supported in $\overline\Omega$ with $\left\|{\mu}\right\|_{L^\infty}<1$. Then the derivatives of a quasiconformal solution of the Beltrami equation $\overline{\partial} f…

We consider the question of whether a domain with uniformly thick boundary at all locations and at all scales has a large portion of its boundary visible from the interior; here, "visibility" indicates the existence of John curves…

Let $\Omega$ be a smooth bounded domain of $\mathbb{R}^{N+1}$ of boundary $\partial \Omega= \Gamma_1 \cup \Gamma_2$ and such that $\partial \Omega \cap \Gamma_2$ is a neighborhood of $0$, $h \in \mathcal{C}^0(\partial \Omega \cap \Gamma_2)…

Trace theorems are proved for non-isotropic Sobolev and $L^p$-Lipschitz spaces defined by vector fields satisfying H\"ormander's bracket condition of order 2. It is shown that the loss of regularity by traces is the same as in the classical…

The present paper is devoted to analysis of the lack of compactness of bounded sequences in \emph{inhomogeneous} Sobolev spaces, where bounded sequences might fail to be compact due to an isometric group action, that is, \emph{translation}.…

In this work, we revisit the following estimate due to Dahlberg \cite{Dahl}. Let $\textit{\textbf x}_0$ a fixed point in a bounded Lipschitz domain $\Omega$. Then there exists a constant $C > 0$ such that if $u$ is a harmonic function in…

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…

On the Sierpinski gasket $\mathcal{SG}$, we consider Sobolev spaces $L^2_\sigma(\mathcal{SG})$ associated with the standard Laplacian $\Delta$ with order $\sigma\geq 0$. When $\sigma\in\mathbb{Z}^+$, $L^2_\sigma(\mathcal{SG})$ consists of…

A variant of the trace in a monoidal category is given in the setting of closed monoidal derivators, which is applicable to endomorphisms of fiberwise dualizable objects. Functoriality of this trace is established. As an application, an…

We consider fractional Sobolev spaces $H^\theta$, $\theta\in (0,1)$, on 2D domains and $H^1$-conforming discretizations by globally continuous piecewise polynomials on a mesh consisting of shape-regular triangles and quadrilaterals. We…

In the paper, the basic results on boundary trace of the book "Sobolev spaces" by V. Maz'ya are generalized to a wider class of regions. In the book, boundary trace of BV-functions is defined for regions with finite perimeter and the main…

Our first main result is a uniform bound, in every dimension $k \in \mathbb N$, on the topological Tur\'an numbers of $k$-dimensional simplicial complexes: for each $k \in \mathbb N$, there is a $\lambda_k \ge k^{-2k^2}$ such that for any…

Let $\Omega\subset\mathbb{R}^\nu$, $\nu\ge 2$, be a $C^{1,1}$ domain whose boundary $\partial\Omega$ is either compact or behaves suitably at infinity. For $p\in(1,\infty)$ and $\alpha>0$, define \[…

In this paper we study the problem of minimizing the Sobolev trace Rayleigh quotient $\|u\|_{W^{1,p}(\Omega)}^p / \|u\|_{L^q(\partial\Omega)}^p$ among functions that vanish in a set contained on the boundary $\partial\Omega$ of given…

In this paper we show existence of traces of functions of bounded variation on the boundary of a certain class of domains in metric measure spaces equipped with a doubling measure supporting a $1$-Poincar\'e inequality, and obtain $L^1$…

We consider the most general class of linear inhomogeneous boundary-value problems for systems of ordinary differential equations of an arbitrary order whose solutions and right-hand sides belong to appropriate Sobolev spaces. For…

We define a tracelike transformation to be a natural family of conjugation invariant maps $T_{x,C}: hom_C(x,x) \to hom_C(1,1)$ for all dualisable objects $x$ in any symmetric monoidal infinity-category $C$. This generalises the trace from…

In this short article we show an orthogonal decomposition of a Hilbert space as a sum of null solutions of the first derivative and the first derivative of a traceless higher order Hilbert/Sobolev space. We define orthogonal projections and…

We study properties of the boundary trace operator on the Sobolev space $W^1_1(\Omega)$. Using the density result by Koskela and Zhang, we define a surjective operator \mbox{$Tr: W^1_1(\Omega_K)\rightarrow X(\Omega_K)$}, where $\Omega_K$ is…