Some classes of abstract convex functions

From MaRDI portal





In the paper the authors consider the set \(LSC_H\) of all lower semicontinuous functions \(f:X\to R_{+\infty}\) such that \(f\geq h\) for some functions \(h\in H;\) \(H\) is a given set of functions defined on a set \(X.\) They provide a direct description of \(LSC_H\) for a broad class of sets \(H\) which possess the peaking property. In particular, let \(X\) be a normed space, and \(k\) be a positive number. Denote by \({\mathcal P}_k\) the set of lower semicontinuous functions \(f:X\to R_{+\infty}\) such that \(f\) is bounded below on each ball and \[ \liminf_{\|x\| \to \infty}{f(x)\over \|x\|^k}>-\infty. \] Denote by \(p\) a continuous sublinear function defined on \(X\) and such that \[ \gamma_p:=\inf_{\|x\| =1}p(x)>0. \] They investigate the set \(H^k\) (\(k>0\)) of all functions \(h\) of the form \[ h(x)=-ap^k(x-x_0)-c\qquad (x\in X) \] with \(x_0\in X,\) \(c\in R,\) and \(a>0\) and show that this set is a supremal generator of the class of functions \({\mathcal P}_k,\) which depends only on \(k\) and does not depend on \(p.\) Their main result is that \[ P(H^k)={\mathcal P}_k=LSC_{H^k}, \] where \(P(H^k)\) is the set of all \(H^k\)-convex functions. They also provide some examples. The authors devote the last part of the paper to the study of conditions which guarantee that the \(L^k\)-subdifferential is not empty. In particular, they show that if a function \(f\) is calm of degree \(k\) at a point \(x_0,\) then the subdifferential \(\partial_{L_k}f(x_0)\) is nonempty and contains the function \(l(x)=-cp^k(x-x_0)\) (for some \(c>0\)). If \(k=1,\) the condition of calmness of \(f\) at \(x_0\) is also necessary for the nonemptiness of the subdifferential \(\partial_{L_1}f(x_0)\). For the entire collection see [Zbl 1060.91002].











This page was built for publication: Some classes of abstract convex functions

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