
doi: 10.7151/dmdico.1010
Let \(C\) be a nonempty weakly compact convex subset of a real Banach space \(E\) and \(f: E\to\overline{\mathbb{R}}\) be a lower semi-continuous convex function. The question about the equality \[ \inf_E f= \inf_C f \] can be characterized by the following two different conditions: \[ \forall x\not\in C\;\exists c\in C:f'(x; c-x)\leq 0\qquad (\text{that means}:\;\langle x^*,c-x\rangle\leq 0\quad \forall x^*\in\partial f(x));\tag{1} \] \[ \;\exists c\in C:0\in\partial f(c)\qquad (\text{that means}:\;(\text{graph }\partial f)\cap (C\times \{0\})\neq\emptyset).\tag{2} \] Since the subdifferential mapping \(\partial f\) is monotone, we can conclude immediately that (2) implies (1). Moreover, by the maximal monotonicity theorem of Rockafellar we get even the equivalence of both conditions. In the present paper, the author gives some generalization of these results. In the first part, the subdifferential mapping \(\partial f\) is replaced by an arbitrary maximal monotone set-valued mapping \(T: E\Rightarrow E^*\) and relations between the conditions \[ \forall(x,x^*)\in \text{graph }T\quad\exists c\in C:\langle x^*,c-x\rangle\leq 0;\tag{1} \] \[ \exists c\in C: 0\in T(c).\tag{4} \] are discussed. In the second part, the compactness condition of the set \(C\) is replaced by a weaker condition and it is shown that in this case condition (2) turns to \[ (\text{graph\;}\partial f)\cap ((C+ B(0,\varepsilon))\times B(0,\varepsilon))\neq \emptyset\;\forall \varepsilon\in 0, \] where \(B(0,\varepsilon)\) is the ball at the origin with the radius \(\varepsilon\).
Nonsmooth analysis, lower semi-continuous convex function, subdifferential, maximal monotonicity, Optimality conditions for problems in abstract spaces, Monotone operators and generalizations, maximal monotone operator, equilibrium point, maximal monotone set-valued mapping, Set-valued and variational analysis
Nonsmooth analysis, lower semi-continuous convex function, subdifferential, maximal monotonicity, Optimality conditions for problems in abstract spaces, Monotone operators and generalizations, maximal monotone operator, equilibrium point, maximal monotone set-valued mapping, Set-valued and variational analysis
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
