Related papers: Trace and extension theorems for functions of boun…

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…

We survey a few trace theorems for Sobolev spaces on $N$-dimensional Euclidean domains. We include known results on linear subspaces, in particular hyperspaces, and smooth boundaries, as well as less known results for Lipschitz boundaries,…

In $\mathbb{R}^3$ we consider the vector fields \[ X_1 =\frac{ \partial }{\partial x},\qquad X_2 =\frac{ \partial }{\partial y}+ |x|^\alpha \frac{ \partial }{\partial z}, \] where $\alpha\in\left[1,+\infty\right[$. Let $\mathbb{R}^3_+…

We extend the classical Lebesgue and Fubini differentiation theorems to functions of several variables, using the notions of joint derivative and joint monotonicity. Our first main result shows that for a function $f$ of bounded variation,…

We study the Sobolev trace constant for functions defined in a bounded domain $\O$ that vanish in the subset $A.$ We find a formula for the first variation of the Sobolev trace with respect to hole. As a consequence of this formula, we…

We introduce a new approach to traces on the principal ideal $\mathcal L_{1,\infty}$ generated by any positive compact operator whose singular value sequence is the harmonic sequence. Distinct from the well-known construction of J.~Dixmier,…

We introduce the notion of trace convexity for functions and respectively, for subsets of a compact topological space. This notion generalizes both classical convexity of vector spaces, as well as Choquet convexity for compact metric…

Let $n \geq 3$ and $\Omega$ be a bounded domain in $\mathbb{C}^n$ with a smooth negative plurisubharmonic exhaustion function $\varphi$. As a generalization of Y. Tiba's result, we prove that any holomorphic function on a connected open…

In a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality, we show that functions of bounded variation (BV functions) can be approximated in the strict sense and pointwise uniformly by special…

In this paper we prove that if $\Omega\in\mathbb{R}^n$ is a bounded John domain, the following weighted Poincare-type inequality holds: $$ \inf_{a\in \mathbb{R}}\| (f(x)-a) w_1(x) \|_{L^q(\Omega)} \le C \|\nabla f(x) d(x)^\alpha w_2(x)…

Using a factorization theorem of Douglas, we prove functional characterizations of trace spaces $H^s(\partial \Omega)$ involving a family of positive self-adjoint operators. Our method is based on the use of a suitable operator by taking…

In the setting of a metric space equipped with a doubling measure supporting a $(1,1)$-Poincar\'e inequality, we study the problem of minimizing the BV-energy in a bounded domain $\Omega$ of functions bounded between two obstacle functions…

In this paper, we are concerned with some qualitative properties of the new fractional Musielak-Sobolev spaces $W^sL_{\varPhi_{x,y}}$ such that the generalized Poincar\'e type inequality and some continuous and compact embedding theorems of…

For $\Omega$ varying among open bounded sets in ${\mathbb R} ^n$, we consider shape functionals $J (\Omega)$ defined as the infimum over a Sobolev space of an integral energy of the kind $\int _\Omega[ f (\nabla u) + g (u) ]$, under…

We consider Schr\"odinger operators with complex-valued decreasing potentials on the half-line. Such operator has essential spectrum on the half-line plus eigenvalues (counted with algebraic multiplicity) in the complex plane without the…

In this work, we study several properties of the normal Lebesgue trace of vector fields introduced by the second and third author in [22] in the context of the energy conservation for the Euler equations in Onsager-critical classes. Among…

We obtain new bounds for short sums of isotypic trace functions associated to some sheaf modulo prime $p$ of bounded conductor, twisted by the Mobius function and also by the generalised divisor function. These trace functions include…

Let $C_1(H)$ denote the space of all trace class operators on an arbitrary complex Hilbert space $H$. We prove that $C_1(H)$ satisfies the $\lambda$-property, and we determine the form of the $\lambda$-function of Aron and Lohman on the…

In this paper, we study the existence of limits at infinity along almost every infinite curve for the upper and lower approximate limits of bounded variation functions on complete unbounded metric measure spaces. We prove that if the…

We show that, under certain regularity assumptions, there exists a linear extension operator.