Some inverse mapping theorems
Mean value inequalities are shown for functions which are sub- or super-differentiable at every point.
Two properties concerning the space of differences of sublinear functions D(X) for a real Banach space X are proved. First, we show that for a real separable Banach space (X,‖·‖) there exists a countable family of seminorms such that D(X) becomes a Fréchet space. For X = ℝ^n this construction yields a norm such that D(ℝ^n) becomes a Banach space. Furthermore, we show that for a real Banach space with a smooth dual every sublinear Lipschitzian function can be expressed by the Fenchel conjugate of...
This paper presents coordination algorithms for groups of mobile agents performing deployment and coverage tasks. As an important modeling constraint, we assume that each mobile agent has a limited sensing or communication radius. Based on the geometry of Voronoi partitions and proximity graphs, we analyze a class of aggregate objective functions and propose coverage algorithms in continuous and discrete time. These algorithms have convergence guarantees and are spatially distributed with respect...
This paper presents coordination algorithms for groups of mobile agents performing deployment and coverage tasks. As an important modeling constraint, we assume that each mobile agent has a limited sensing or communication radius. Based on the geometry of Voronoi partitions and proximity graphs, we analyze a class of aggregate objective functions and propose coverage algorithms in continuous and discrete time. These algorithms have convergence guarantees and are spatially distributed with...
In the paper, some sufficient optimality conditions for strict minima of order in constrained nonlinear mathematical programming problems involving (locally Lipschitz) -convex functions of order are presented. Furthermore, the concept of strict local minimizer of order is also used to state various duality results in the sense of Mond-Weir and in the sense of Wolfe for such nondifferentiable optimization problems.
We are concerned with two-level optimization problems called strongweak Stackelberg problems, generalizing the class of Stackelberg problems in the strong and weak sense. In order to handle the fact that the considered two-level optimization problems may fail to have a solution under mild assumptions, we consider a regularization involving ε-approximate optimal solutions in the lower level problems. We prove the existence of optimal solutions for such regularized problems and present some approximation...
In dimension one it is proved that the solution to a total variation-regularized least-squares problem is always a function which is "constant almost everywhere" , provided that the data are in a certain sense outside the range of the operator to be inverted. A similar, but weaker result is derived in dimension two.
The paper contains calculus rules for coderivatives of compositions, sums and intersections of set-valued mappings. The types of coderivatives considered correspond to Dini-Hadamard and limiting Dini-Hadamard subdifferentials in Gˆateaux differentiable spaces, Fréchet and limiting Fréchet subdifferentials in Asplund spaces and approximate subdifferentials in arbitrary Banach spaces. The key element of the unified approach to obtaining various calculus rules for various types of derivatives presented...
* This work was completed while the author was visiting the University of Limoges. Support from the laboratoire “Analyse non-linéaire et Optimisation” is gratefully acknowledged.The author recently introduced a regularity assumption for derivatives of set-valued mappings, in order to obtain first order necessary conditions of optimality, in some generalized sense, for nondifferentiable control problems governed by variational inequalities. It was noticed that this regularity assumption can be...
We study multiobjective optimization problems with γ-paraconvex multifunction data. Sufficient optimality conditions for unconstrained and constrained problems are given in terms of contingent derivatives.
We consider an infinite dimensional, nonstationary growth model with uncertainty. Using techniques from functional analysis and the subdifferentiation theory of concave functions, we establish the existence of a supporting price system for a weakly maximal program.
Conditions under which the inf-convolution of f and g has the cancellation property (i.e. f □ h ≡ g □ h implies f ≡ g) are treated in a convex analysis framework. In particular, we show that the set of strictly convex lower semicontinuous functions on a reflexive Banach space such that constitutes a semigroup, with inf-convolution as multiplication, which can be embedded in the group of its quotients.