Weakly Convex Sets and Their Properties

In this paper, the notion of a weakly convex set is introduced. Sharp estimates for the weak convexity constants of the sum and difference of such sets are given. It is proved that, in Hilbert space, the smoothness of a set is equivalent to the weak convexity of the set and its complement. Here, by definition, the smoothness of a set means that the field of unit outward normal vectors is defined on the boundary of the set; this vector field satisfies the Lipschitz condition. We obtain the minimax theorem for a class of problems with smooth Lebesgue sets of the goal function and strongly convex constraints. As an application of the results obtained, we prove the alternative theorem for program strategies in a linear differential quality game.     

交替最小化算法求解强凸函数与弱凸函数和的极小值问题

交替最小化算法(简称AMA)最早由[SIAM J.Control Optim.,1991,29(1):119-138]提出,并能用于求解强凸函数与凸函数和的极小值问题.本文直接利用AMA算法来求解强凸函数与弱凸函数和的极小值问题.在强凸函数的模大于弱凸函数的模的假设下,我们证明了AMA生成的点列全局收敛到优化问题的解,并且若该优化问题中的某个函数是光滑函数时,AMA所生成的点列的收敛率是线性的.     

Sufficient Conditions for a Minimum of a Strongly Quasiconvex Function on a Weakly Convex Set

Mathematical Notes - We consider a finite-dimensional minimization problem for a strongly quasiconvex function on a weakly convex set. We obtain sufficient conditions for its solution expressed in...     

Comparative Properties of Three Metrics in the Space of Compact Convex Sets

Along with the Hausdorff metric, we consider two other metrics on the space of convex sets, namely, the metric induced by the Demyanov difference of convex sets and the Bartels–Pallaschke metric. We describe the hierarchy of these three metrics and of the corresponding norms in the space of differences of sublinear functions. The completeness of corresponding metric spaces is demonstrated. Conditions of differentiability of convex-valued maps of one variable with respect to these metrics are proved for some special cases. Applications to the theory of convex fuzzy sets are given.     

Properties and Applications of the Distance Functions on Open Sets of the Euclidean Space

Russian Mathematics - For an open subset of the Euclidean space of dimension n we consider interior and exterior approximations by sequences of open sets. We prove convergence everywhere of the...     

近似凸集的某些性质

主要研究了两类近似凸集的关系和性质.首先,举例说明两类近似凸集没有相互包含关系.其次,在近似凸集(nearly convex)条件下,证明了在一定条件下函数上图是近似凸集与凸集的等价关系.同时,考虑了近似凸函数与函数上图是近似凸集的等价刻画、近似凸函数与函数水平集是近似凸集的必要性,并用例子说明近似凸函数与函数水平集是...     

Differences of Convex Compact Sets in the Space of Directed Sets. Part I: The Space of Directed Sets

A normed and partially ordered vector space of so-called directed sets is constructed, in which the convex cone of all nonempty convex compact sets in R ⁿ is embedded by a positively linear, order preserving and isometric embedding (with respect to a new metric stronger than the Hausdorff metric and equivalent to the Demyanov one). This space is a Banach and a Riesz space for all dimensions and a Banach lattice for n=1. The directed sets in R ⁿ are parametrized by normal directions and defined recursively with respect to the dimension n by the help of a support function and directed supporting faces of lower dimension prescribing the boundary. The operations (addition, subtraction, scalar multiplication) are defined by acting separately on the support function and recursively on the directed supporting faces. Generalized intervals introduced by Kaucher form the basis of this recursive approach. Visualizations of directed sets will be presented in the second part of the paper.     

弱紧局部一致凸空间中的度量投影

本文研究了弱紧局部一致凸空间中度量投影的弱连续性,将Ｂ．Ｂ．Ｐａｎｄａ和Ｏ．Ｐ．Ｋａｐｏｏｒ的相应结论推广到更一般的弱紧局部一致凸空间．最后给出了局部一致凸点的一个必要条件．     

On certain Matching Properties of Convex Sets

In this paper we use a fixed-point theorem of the Ky Fan typewhich is proved by J.-P. Aubin to give a common generalizationof two matching theorems of Ky Fan concerning closed coveringsof convex sets in topological vector spaces.     

Additive Properties of Slowly Increasing Convex Sets

Mathematical Notes - We obtain new estimates for the distribution of convolutions of the set of values of a convex function at integer points under additional conditions on the higher derivatives...     

Weakly Convex Biharmonic Hypersurfaces in Nonpositive Curvature Space Forms are Minimal

A submanifold M ^m of a Euclidean space R ^m+p is said to have harmonic mean curvature vector field if ${\Delta \vec{H}=0}$ , where ${\vec{H}}$ is the mean curvature vector field of ${M\hookrightarrow R^{m+p}}$ and Δ is the rough Laplacian on M. There is a famous conjecture named after Bangyen Chen which states that submanifolds of Euclidean spaces with harmonic mean curvature vector fields are minimal. In this paper we prove that weakly convex hypersurfaces (i.e. hypersurfaces whose principle curvatures are nonnegative) with harmonic mean curvature vector fields in Euclidean spaces are minimal. Furthermore we prove that weakly convex biharmonic hypersurfaces in nonpositively curved space forms are minimal.     

An Analog of the Krein--Mil'man Theorem for Strongly Convex Hulls in Hilbert Space

We prove the following theorem: in Hilbert space a closed bounded set is contained in the strongly convex R-hull of its R-strong extreme points. R-strong extreme points are a subset of the set of extreme points (it may happen that these two sets do not coincide); the strongly convex R-hull of a set contains the closure of the convex hull of the set.     

Differences of Convex Compact Sets in the Space of Directed Sets. Part II: Visualization of Directed Sets

This paper is a continuation of the author's first paper (Set-Valued Anal. 9 (2001), pp. 217–245), where the normed and partially ordered vector space of directed sets is constructed and the cone of all nonempty convex compact sets in R ⁿ is embedded. A visualization of directed sets and of differences of convex compact sets is presented and its geometrical components and properties are studied. The three components of the visualization are compared with other known differences of convex compact sets.     

The Distance to the Intersection of Two Convex Sets Expressed by the Distances to Each of Them

Using the distances of a point x to two convex sets we obtain an upper estimation of the distance of x to the intersection of these two sets. Applications to the intersection of point-to-set mappings are given.     

一个关于凸集强分离的充分必要条件及其应用

该文首先给出了关于两个非紧凸集可被强分离的充分必要条件，它是[1，2]中一个定理的改进，然后利用它改进了[4-7]中一些定理和[8]中的一个结果．     

The Singularities of the Distance Function Near Convex Boundary Points

In an open bounded set Ω, we consider the distance function from ∂Ω associated to a Riemannian metric with C ^1,1 coefficients. Assuming that Ω is convex near a boundary point x ₀, we show that the distance function is differentiable at x ₀ if and only if there exists the tangent space to ∂Ω at x ₀. Furthermore, if the distance function is not differentiable at x ₀ then there exists a Lipschitz continuous curve, with initial point at x ₀, such that the distance function is not differentiable along such a curve.      

Measure-Theoretic Properties of Level Sets of Distance Functions

We consider the level sets of distance functions from the point of view of geometric measure theory. This lays the foundation for further research that can be applied, among other uses, to the derivation of a shape calculus based on the level-set method. Particular focus is put on the \((n-1)\)-dimensional Hausdorff measure of these level sets. We show that, starting from a bounded set, all sub-level sets of its distance function have finite perimeter. Furthermore, if a uniform-density condition is satisfied for the initial set, one can even show an upper bound for the perimeter that is uniform for all level sets. Our results are similar to existing results in the literature, with the important distinction that they hold for all level sets and not just almost all. We also present an example demonstrating that our results are sharp in the sense that no uniform upper bound can exist if our uniform-density condition is not satisfied. This is even true if the initial set is otherwise very regular (i.e., a bounded Caccioppoli set with smooth boundary).