Showing 1–6 of 6 results for author: Schuricht, F

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.

Comments: 132 pages; v2: Example 4.16 added, some references added

A nonsmooth nonconvex descent algorithm

Authors: Jan Mankau, Friedemann Schuricht

Abstract: The paper presents a new descent algorithm for locally Lipschitz continuous functions $f:X\to\mathbb{R}$. The selection of a descent direction at some iteration point $x$ combines an approximation of the set-valued gradient of $f$ on a suitable neighborhood of $x$ (recently introduced by Mankau & Schuricht) with an Armijo type step control. The algorithm is analytically justified and it is shown t… ▽ More The paper presents a new descent algorithm for locally Lipschitz continuous functions $f:X\to\mathbb{R}$. The selection of a descent direction at some iteration point $x$ combines an approximation of the set-valued gradient of $f$ on a suitable neighborhood of $x$ (recently introduced by Mankau & Schuricht) with an Armijo type step control. The algorithm is analytically justified and it is shown that accumulation points of iteration points are critical points of $f$. Finally the algorithm is tested for numerous benchmark problems and the results are compared with simulations found in the literature. △ Less

Submitted 24 October, 2019; originally announced October 2019.

MSC Class: 49M25; 65K10; 90C26; 90C56; 90C90

Gradients on Sets

Authors: Jan Mankau, Friedemann Schuricht

Abstract: For a locally Lipschitz continuous function $f:X\to\mathbb{R}$ the generalized gradient $\partial f(x)$ of Clarke is used to develop some (set-valued) gradient on a set $A\subset X$. Existence, uniqueness and some approximation are considered for optimal descent directions on set $A$. The results serve as basis for nonsmooth numerical descent algorithms that can be found in subsequent papers. For a locally Lipschitz continuous function $f:X\to\mathbb{R}$ the generalized gradient $\partial f(x)$ of Clarke is used to develop some (set-valued) gradient on a set $A\subset X$. Existence, uniqueness and some approximation are considered for optimal descent directions on set $A$. The results serve as basis for nonsmooth numerical descent algorithms that can be found in subsequent papers. △ Less

Submitted 16 March, 2018; originally announced March 2018.

MSC Class: 46G05; 47H04; 49J52; 49J53

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.

Comments: 46 pages, 2 figures

MSC Class: 35-02; 28-02

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.

Comments: 41 pages, 4 figures

MSC Class: 28-02

Perturbation results involving the 1-Laplace operator

Authors: Samuel Littig, Fridemann Schuricht

Abstract: We consider perturbed eigenvalue problems of the 1-Laplace operator and verify the existence of a sequence of solutions. It is shown that the eigenvalues of the perturbed problem converge to the corresponding eigenvalue of the unperturbed problem as the perturbation becomes small. The results rely on nonsmooth critical point theory based on the weak slope. We consider perturbed eigenvalue problems of the 1-Laplace operator and verify the existence of a sequence of solutions. It is shown that the eigenvalues of the perturbed problem converge to the corresponding eigenvalue of the unperturbed problem as the perturbation becomes small. The results rely on nonsmooth critical point theory based on the weak slope. △ Less

Submitted 17 February, 2017; originally announced February 2017.

MSC Class: 35P30; 49R05; 26B30; 49J52