Abstract convexity and non-smooth analysis.

From MaRDI portal





Let \(X\) and \(H\) be metric spaces, \(\omega(\cdot,\cdot): X\times H\to \mathbb{R}\) be a fixed continuous coupling function. An extended real-valued function \(f\) on \(X\) is called \(\omega\)-convex if \[ f(x)= \sup\{\omega(x, h)+ c\mid c\in\mathbb{R},\,\omega(u,h)+ c\leq f(u)\,\forall u\in X\}. \] The set \[ \partial^\omega f(x)= \{h\in H\mid f-\omega(\cdot, h)\text{ attains a global minimum at }x\} \] is called the \(\omega\)-subdifferential of \(f\) at \(x\). Finally, the extended real-valued function \(f^\omega\) on \(H\) according to \[ f^\omega(h)= \sup\{\omega(x, h)- f(x)\mid x\in X\} \] is the \(\omega\)-conjugate of \(f\). Many well-known results of convex analysis can be extended to these general notions. The aim of the paper is to point out assertions concerning connections between convergence of \(\omega\)-convex functions and convergence of their \(\omega\)-subdifferential mappings. For this, the notion of \(\omega\)-convergence of functions is introduced. A sequence of functions \(\{f_n\}\) on \(X\) is called \(\omega\)-convergent to the function \(f\) if \(\{f_n\}\) but also \(\{f_n^\omega\}\) are epi-convergent to \(f\) and \(f^\omega\), respectively. The author presents some sufficient conditions (so-called \(\omega\)-sufficient conditions) which ensure that the graph of the \(\omega\)-subdifferential of \(f\) belongs to the lower limit of the graphs of the \(\omega\)-subdifferentials of \(f_n\), i.e., that graph \(\partial^\omega f\subset\text{Li}\) (graph \(\partial^\omega f_n\)). Similar local assertions can be proved regarding the local \(\omega\)-subdifferential \[ \partial^{[\omega]} f(x)= \{h\in H\mid f-\omega(\cdot, h)\text{ attains a local minimum at }x\} \] assuming so-called locally \(\omega\)-sufficient conditions. The results are used for the discussion of known generalized differentiability notions (e.g., the second-order subjects, the Fréchet subdifferentials and the Dini-Hadamard viscosity subdifferentials of lower semi-continuous functions) chosing concrete spaces \(H\) and special coupling functions \(\omega(\cdot,\cdot)\). For the entire collection see [Zbl 0988.00047].











This page was built for publication: Abstract convexity and non-smooth analysis.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4552654)