Related papers: Uniqueness of the approximative trace

We study removable sets for Newtonian Sobolev functions in metric measure spaces satisfying the usual (local) assumptions of a doubling measure and a Poincar\'e inequality. In particular, when restricted to Euclidean spaces, a closed set…

We provide a characterization of one-dimensional almost Gorenstein rings in terms of the trace ideal. As an application, we investigate the almost Gorenstein property of certain $\mathbb{Z}_2$-graded rings.

We study graph-theoretic properties of the trace of a random walk on a random graph. We show that for any $\varepsilon>0$ there exists $C>1$ such that the trace of the simple random walk of length $(1+\varepsilon)n\ln{n}$ on the random…

For the trace of Besov spaces $B^s_{p,q}$ onto a hyperplane, the borderline case with $s=\frac{n}{p}-(n-1)$ and $0<p<1$ is analysed and a new dependence on the sum-exponent $q$ is found. Through examples the restriction operator defined for…

Let $\Omega\subset\mathbb{R}^n$ be an open set and let $f\in W^{1,p}(\Omega,\mathbb{R}^n)$ be a weak (sequential) limit of Sobolev homeomorphisms. Then $f$ is injective almost everywhere for $p>n-1$ both in the image and in the domain. For…

We prove uniform boundedness of certain boundary representations on appropriate fractional Sobolev spaces $W^{s,p}$ with $p>1$ for arbitrary Gromov hyperbolic groups. These are closed subspaces of $L^p$ and in particular Hilbert spaces in…

We prove that an open set $\Omega \subset \mathbb{R}^n$ can be approximated by smooth sets of uniformly bounded perimeter from the interior if and only if the open set $\Omega$ satisfies \begin{align*} &\qquad…

We establish optimal convergence rates for the continuous piecewise affine finite element approximation of the Sobolev constant in arbitrary dimensions N\geq 2 and for Lebesgue exponents 1<p<N. Our analysis relies on a refined study of the…

Let $\Omega\subseteq \mathbb{R}^{4}$ be a bounded domain with smooth boundary $\partial\Omega$. In this paper, we establish the following sharp form of the trace Adams' inequality in $W^{2,2}(\Omega)$ with zero mean value and zero Neumann…

Entropic independence is a structural property of measures that underlies modern proofs of functional inequalities, notably (modified) log-Sobolev inequalities, via ``annealing'' or local-to-global schemes. Existing sufficient criteria for…

In this paper, we define weighted relative $p(.)$-capacity and discuss properties of capacity in the space $W_{\vartheta }^{1,p(.)}(\mathbb{R}^{n}).$ Also, we investigate some properties of weighted variable Sobolev capacity. It is shown…

In this work we establish the optimality and the stability of the ball for the Sobolev trace operator $W^{1,p}(\Omega)\hookrightarrow L^q(\partial\Omega)$ among convex sets of prescribed perimeter for any $1< p <+\infty$ and $1\le q\le p$.…

We introduce a distance in the space of fully-supported probability measures on one-dimensional symbolic spaces. We compare this distance to the $\bar{d}$-distance and we prove that in general they are not comparable. Our projective…

The trace test in numerical algebraic geometry verifies the completeness of a witness set of an irreducible variety in affine or projective space. We give a brief derivation of the trace test and then consider it for subvarieties of…

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…

Let $\alpha$ be a totally positive algebraic integer, and define its absolute trace to be $\frac{Tr(\alpha)}{\text{deg}(\alpha)}$, the trace of $\alpha$ divided by the degree of $\alpha$. Elementary considerations show that the absolute…

We develop geometric versions of Rademacher and Calderon type differentiability theorems in two categories. A special case of our results is that for any Lipschitz or continuous $W^{1,p}$ Sobolev map $f$ from $[0,1]^n$ into a Euclidean…

Rough set theory is a new mathematical approach to imperfect knowledge. The notion of rough sets is generalized by using an arbitrary binary relation on attribute values in information systems, instead of the trivial equality relation. The…

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…

The study of infra-topological spaces focuses on characterizations of $e^\star$-open sets and nearby open sets in infra-topological spaces. The $e^\star$-open sets, a variation of open sets, are explored for their unique properties and…