On the range of the subdifferential in non reflexive Banach spaces (Q2020092)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the range of the subdifferential in non reflexive Banach spaces
scientific article

    Statements

    On the range of the subdifferential in non reflexive Banach spaces (English)
    0 references
    23 April 2021
    0 references
    The paper is concerned with non-linear versions of James's theorem on weak compactness and applications. One considers a function \(f:E\to\mathbb{R}\cup\{\infty\}\), where \(E\) is a real Banach space, and one looks for conditions ensuring the weak compactness of a subset \(A\) of \(E\) provided that \(x^*-f\) attains its supremum on \(A\) for every \(x^*\in E^*\) (the dual of \(E\)). Another version is that all sublevel sets \(f^{-1}((-\infty,c])\) are weakly compact if this supremum is attained on \(E\). These results have found substantial applications to various problems in optimization theory and to mathematical finance. The introductory part of the paper contains a survey of various results obtained along these lines. It was previously proved that, under the above hypotheses, the weak compactness of the sublevel sets of \(f\) follows if its subdifferential \(\partial f:E\to2^{E^*}\) is surjective, i.e., \(\partial f(E)=E^*\). In the present paper, the authors show that the surjectivity condition can be weakened to the nonemptiness of the interior of \(\partial f(E)\) with respect to the Mackey topology \(\tau(E^*,E)\) on \(E^*\). If, in addition, the function \(f\) has a domain with non-empty norm interior, the Banach space \(E\) must be reflexive. As a consequence, one obtains a version of the James theorem in this vein: a closed, convex and bounded subset \(A\) of the Banach space \(E\) is weakly compact if, and only if, there is a nonvoid \(\tau(E^*,E)\)-open subset \(V\) of \( E^*\) such that every \(x^*\in V\) attains its supremum on \(A\) (Corollary~14). The paper also contains other results of this kind, based on the nonemptiness of the interior of some subset of \(E^*\) with respect to the Mackey topology. Some applications to risk measures and to cyclically monotone operators \(\Phi:E\to 2^{E^*}\) are given.
    0 references
    weak compactness
    0 references
    reflexivity
    0 references
    norm attaining linear functionals
    0 references
    Mackey topology
    0 references
    0 references
    0 references

    Identifiers