Minimizers of the limit of Mosco converging functions (Q2574890)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Minimizers of the limit of Mosco converging functions
scientific article

    Statements

    Minimizers of the limit of Mosco converging functions (English)
    0 references
    0 references
    5 December 2005
    0 references
    The author gives a characterization of minimizers of a function \(f\) defined on a Banach space \(E\) which is the limit of the Moscow converging sequence \(\{f_n\}\) of lower semicontinuous functions. It is shown that any minimizer of \(f\) is a cluster point of a sequence of ``almost'' minimizers of the functions \(f_n\). More exactly, it is shown that for any point \(x\in\text{arg\,min }f\), for any sequence \(\{u_n\} \subset E\) (with \(u_n\to 0\) and \(f_n(u_n+x)\to f(x))\) and for any convex weakly compact subset \(Q\subset E\) (with \(0\in Q)\) there exist sequences \(\{k_n\}\subset\mathbb{R}_+\) (with \(k_n\uparrow\infty)\) and \(\{x_n\}\subset E\) (with \(x_n\to 0\) and \(x_n\in k_nQ)\) such that \(x_n \in\frac{1}{k_n}-\text{arg\,min}_{k_nQ}f_n(\cdot+u_n+x)\) and \(f_n (x_n+u_n+x)\to f(x)\). The proof of the assertion bases on the known Ekeland variational theorem. As a consequence of this result the author can derive the necessity part of the Attouch theorem for convex functions on a reflexive Banach space which points out the graphical convergence of the associated subdifferentials \(\partial f_n\) to the subdifferential \(\partial f\). If \(E\) is not reflexive then the (strong) convergence of the subgradients can not be ensured. However for WCG (i.e., weakly compactly generated) spaces a kind of a weak convergence for the subdifferentials can be derived assuming uniformly boundedness of the functions on an open subset of \(E\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Moscow convergence
    0 references
    minimizer subdifferential
    0 references
    convex function
    0 references
    0 references