-
A theory of traces and the divergence theorem
Authors:
Moritz Schönherr,
Friedemann Schuricht
Abstract:
We introduce a general approach to traces that we consider as linear continuous functionals on some function space where we focus on some special choices for that space. This leads to an integral calculus for the computation of the precise representative of an integrable function and of the trace of a Sobolev or BV function. For integrable vector fields with distributional divergence being a measu…
▽ More
We introduce a general approach to traces that we consider as linear continuous functionals on some function space where we focus on some special choices for that space. This leads to an integral calculus for the computation of the precise representative of an integrable function and of the trace of a Sobolev or BV function. For integrable vector fields with distributional divergence being a measure, we also obtain Gauss-Green formulas on arbitrary Borel sets. It turns out that a second boundary integral is needed in general. The advantage of the integral calculus is that neither a normal field nor a trace function on the boundary is needed. The Gauss-Green formulas are also available for Sobolev and BV functions. Finally, for any open set the existence of a weak solution of a boundary value problem is shown as application of the trace theory.
△ Less
Submitted 1 November, 2022; v1 submitted 16 June, 2022;
originally announced June 2022.
-
A General Theorem of Gauß Using Pure Measures
Authors:
Moritz Schönherr,
Friedemann Schuricht
Abstract:
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 a Gauß formula for essentially bounded vector fields having divergence measure. The second extends a result of Silhavy [19] on normal traces. In particular, it…
▽ More
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 a Gauß formula for essentially bounded vector fields having divergence measure. The second extends a result of Silhavy [19] on normal traces. In particular, it is shown that a Gauß Theorem for unbounded vector fields having divergence measure necessitates the use of pure measures acting on the gradient of the scalar field. All of these measures are shown to have their core on the boundary of the domain of integration.
△ Less
Submitted 5 October, 2017;
originally announced October 2017.
-
Pure Measures, Density Measures and the Dual of L-infinity
Authors:
Moritz Schönherr,
Friedemann Schuricht
Abstract:
Measures play an important role in the characterisation of various function spaces. In this paper, the structure of density measures will be investigated. These are elements of the dual of the space of essentially bounded func- tions. The main results presented here are a more precise representation of the dual of the space of essentially bounded functions, leading to the notion of pure measures,…
▽ More
Measures play an important role in the characterisation of various function spaces. In this paper, the structure of density measures will be investigated. These are elements of the dual of the space of essentially bounded func- tions. The main results presented here are a more precise representation of the dual of the space of essentially bounded functions, leading to the notion of pure measures, and the definition and analysis of density measures which constitute a large class of such measures. It is shown that density measures have applications in the context of traces. In particular, new and meaningful examples of pure measures are given on Rn, in contrast to common examples in the literature, which are usually constructed on N.
△ Less
Submitted 5 October, 2017;
originally announced October 2017.
