相关论文: Uniqueness of the approximative trace

A full interpolation theory for Sobolev functions with smoothness between 0 and 1 and vanishing trace on a part of the boundary of an open set is established. Geometric assumptions are of mostly measure theoretic nature and reach beyond…

We establish a sharp affine $L^p$ Sobolev trace inequality by using the $L_p$ Busemann-Petty centroid inequality. For $p = 2$, our affine version is stronger than the famous sharp $L^2$ Sobolev trace inequality proved independently by…

This work introduces a notion of approximate probabilistic trace equivalence for labelled Markov chains, and relates this new concept to the known notion of approximate probabilistic bisimulation. In particular this work shows that the…

The purpose of this article is to introduce the relative $p$-capacity $\Cap_{p,\Omega}$ with respect to an open set $\Omega$ in $\IR^N$. It is a Choquet capacity on the closure of $\Omega$ and extends the classical $p$-capacity $\Cap_p$ in…

Given an extendible spacetime one may ask how much, if any, uniqueness can in general be expected of the extension. Locally, this question was considered and comprehensively answered in a recent paper of Sbierski, where he obtains local…

The (chordal) Loewner differential equation encodes certain curves in the half-plane (aka traces) by continuous real-valued driving functions. Not all curves are traces; the latter can be defined via a geometric condition called the local…

We prove that a trace inequality holds for John domains $\Omega$ satisfying $$ \mathcal H^{n-1}(\partial \Omega\setminus \partial_*\Omega)=0,$$ where $\partial_*\Omega$ denotes the measure-theoretic boundary, together with an upper density…

This paper investigates instances of Sobolev embeddings characterized by local compactness at every point within their domain, except for a single point. We obtain the sharp conditions that distinguish compactness from non-compactness and…

We introduce trace definability, a weak notion of interpretability, and trace equivalence, a weak notion of equivalence for first order structures and theories. In particular we get an interesting weak equivalence notion for $\mathrm{NIP}$…

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…

The natural $H^1(\Omega)$ energy norm for Helmholtz problems is weighted with the wavenumber modulus $\sigma$ and induces natural weighted norms on the trace spaces $H^{\pm1/2}(\Gamma)$ by minimial extension to $\Omega\subset\mathbb R^n$.…

The Calder\'on problem is an inverse problem with applications to electrical impedance tomography and geophysical prospection. We prove uniqueness in the Calder\'on problem in spatial dimension $n \geq 3$ for scalar conductivities in the…

We prove that given any positive integer $k$, for each open set $\Omega$ and any closed subset $D$ of its closure such that $\Omega$ is locally an (epsilon,delta)-domain near points in the boundary of $\Omega$ not contained in $D$ there…

The traces of gauge-covariant Sobolev spaces on a Riemannian vector bundle for some connection are characterised as some gauge-covariant fractional Sobolev spaces when the curvature of the connection is bounded. The constants in the trace…

We introduce a generalization of relative entropy derived from the Wigner-Yanase-Dyson entropy and give a simple, self-contained proof that it is convex. Moreover, special cases yield the joint convexity of relative entropy, and for the map…

We characterise the trace spaces arising from intersections of weighted, vector-valued Sobolev spaces, where the weights are powers of the distance to the boundary. These weighted function spaces are particularly suitable for treating…

In this paper, we study the existence of traces for Sobolev spaces on the hyperbolic filling $X$ of a compact metric space $Z$ equipped with a doubling measure. Given a suitable metric on $X$, we can regard $Z$ as the boundary of $X$. After…

We study properties of $W_0^{1,p}(\mathbb{R}_+,t^\beta)$ - the completion of $C_0^\infty(\mathbb{R}_+)$ in the power-weighted Sobolev spaces $W^{1,p}(\mathbb{R}_+,t^\beta)$, where $\beta\in\mathbb{R}$. Among other results, we obtain the…

This article continues the investigation of the tracial geometry of classifiable $\mathrm{C}^*$-algebras that have real rank zero and stable rank one. Using the language of optimal transport, we describe several situations in which the…

A discrete-time totally asymmetric simple exclusion process on a lattice with open boundaries is considered. There are particles of different types. The type of a particle is characterized by the probability that a particle moves to a…