The classical Jensen inequality for concave function φ is adapted for the Sugeno integral using the notion of the subdifferential. Some examples in the framework of the Lebesgue measure to illustrate the results are presented.

Extending and improving some recent results of Hantoute, López, and Zălinescu and others, we provide characterization conditions for subdifferential formulas to hold for the supremum function of a family of convex functions on a real locally convex space.

In this note we give a Brøndsted-Rockafellar Theorem for diagonal subdifferential operators in Banach spaces. To this end we apply an Ekeland-type variational principle for monotone bifunctions.

This report is a collection of six articles on model checking in the abstraction/refinement framework. This framework is used by various techniques for tackling the state-space explosion problem that is frequently encountered in model checking. The articles collected in this report are (in order of appearance): 1. Counterexample-guided abstraction refinement. Clarke, Grumberg, Jha, Lu, Veith[2]...

We relate the argmin sets of a given function, not necessarily convex or lower semicontinuous, and its lower semicontinuous convex hull by means of explicit characterizations involving an appropriate concept of asymptotic functions. This question is connected to the subdifferential calculus of the Legendre–Fenchel conjugate function. The final expressions, which also involve a useful extension ...

In this paper we introduce and study enhanced notions of relative Pareto minimizers to constrained multiobjective problems that are defined via several kinds of relative interiors of ordering cones and occupy intermediate positions between the classical notions of Pareto and weak Pareto efficiency/minimality. Using advanced tools of variational analysis and generalized differentiation, we estab...

and Applied Analysis 3 where ∂ denotes the subdifferential in the sense of convex analysis. We need the subdifferential inequality Φ( 󵄩󵄩󵄩󵄩x + y 󵄩󵄩󵄩󵄩) ≤ Φ (‖x‖) + ⟨y, j (x + y)⟩ ∀x, y ∈ X, j (x + y) ∈ Jφ (x + y) . (14) For a smoothX, we have Φ( 󵄩󵄩󵄩󵄩x + y 󵄩󵄩󵄩󵄩) ≤ Φ (‖x‖) + ⟨y, Jφ (x + y)⟩ ∀x, y ∈ X, (15) or considering the normalized duality mapping J, we have 󵄩󵄩󵄩󵄩x + y 󵄩󵄩󵄩󵄩 2 ≤ ‖x‖ 2 + 2 ⟨y, J (...