Related papers: A theory of traces and the divergence theorem
By employing the differential structure recently developed by N. Gigli, we first give a notion of functions of bounded variation ($BV$) in terms of suitable vector fields on a complete and separable metric measure space $(\mathbb{X},d,\mu)$…
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 metric measure spaces, we study boundary traces of BV functions in domains equipped with a doubling measure and supporting a Poincar\'e inequality, but possibly having a very large and irregular boundary. We show that the trace exists in…
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 present weighted Sobolev spaces and prove a trace theorem for the spaces. As an application, we discuss non-zero boundary value problems for parabolic equations. The weighted parabolic Sobolev spaces we consider are designed, in…
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…
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…
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…
This paper shows that finitely additive measures occur naturally in very general Divergence Theorems. The main results are two such theorems. The first proves the existence of pure normal measures for sets of finite perime- ter, which yield…
Trace classes of Sobolev-type functions in metric spaces are subject of this paper. In particular, functions on domains whose boundary has an upper codimension-$\theta$ bound are considered. Based on a Poincar\'e inequality, existence of a…
In this paper we show that every $L^1$-integrable function on $\partial\Omega$ can be obtained as the trace of a function of bounded variation in $\Omega$ whenever $\Omega$ is a domain with regular boundary $\partial\Omega$ in a doubling…
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$…
A new notion of pairing between measure vector fields with divergence measure and scalar functions, which are not required to be weakly differentiable, is introduced. In particular, in the case of essentially bounded divergence-measure…
Following a Maz'ya-type approach, we adapt the theory of rough traces of functions of bounded variation ($BV$) in the context of doubling metric measure spaces supporting a Poincar\'e inequality. This eventually allows for an integration by…
The basic mathematical properties of Green's functions used in statistical mechanics as well as the equations defining these functions and the techniques of solving these equations are reviewed. An approach is presented called the…
We study the boundary traces of Newton-Sobolev, Hajlasz-Sobolev, and BV (bounded variation) functions. Assuming less regularity of the domain than is usually done in the literature, we show that all of these function classes achieve the…
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…
We lay the foundations for a theory of divergence-measure fields in noncommutative stratified nilpotent Lie groups. Such vector fields form a new family of function spaces, which generalize in a sense the $BV$ fields. They provide the most…
We develop a new algebraic setting for treating piecewise functions and distributions together with suitable differential and Rota-Baxter structures. Our treatment aims to provide the algebraic underpinning for symbolic computation systems…
In this paper, we solve the Dirichlet problem for Sobolev maps between singular metric spaces that extends the corresponding result of Guo and Wenger [Comm. Anal. Geom. 2020]. The main new ingredient in our proofs is a suitable extension of…