On two-sided unidirectional mean value inequality in a Fréchet smooth space (Q6573635)

The author proves the following mean value result for a real-valued continuous function \(f\) defined on a Fréchet smooth Banach space \(\mathbb{X}\). Given a closed interval \([u;v]\subset\mathbb{X}\) and the numbers \(s<f(v)-f(u)\) and \(\varepsilon>0\) there exist \(\hat z\in[u;v]\) and a Fréchet subgradient \(\hat\zeta\in\hat{\partial}f(\hat z)\) such that \N\[\Ns<\hat\zeta(v-u) \text{ and }|f(\hat z)-f(u)|<|s|+\varepsilon.\N\]\NThis is a two-sided version of a result of \textit{Y. S. Ledyaev} and \textit{J. S. Treiman} [Russ. Math. Surv. 67, No. 2, 345--373 (2012; Zbl 1248.49019); translation from Usp. Mat. Nauk 67, No. 2, 157--186 (2012)], where one shows the existence of two points \(z_-,z_+\in[u;v]\) and of subgradients \(\zeta_-\in\partial f(z_-),\,\zeta_+\in\partial f(z_+)\) such that\N\[\Ns<\zeta_-(v-u)\text{ and } f(z_-)<f(u) +\max\{s,0\}+\varepsilon,\N\]\Nand \N\[\Ns<\zeta_+(v-u) \text{ and } f(z_-)>f(u)- \max\{s,0\}-\varepsilon.\N\]\NThe result is applied to find an upper estimate for the Fréchet subdifferential of the upper limit of continuous functions defined on a reflexive Banach space.