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

From MaRDI portal
Publication:6573635





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 \[ s<\hat\zeta(v-u) \text{ and }|f(\hat z)-f(u)|<|s|+\varepsilon. \] This 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 \[ s<\zeta_-(v-u)\text{ and } f(z_-)<f(u) +\max\{s,0\}+\varepsilon, \] and \[ s<\zeta_+(v-u) \text{ and } f(z_-)>f(u)- \max\{s,0\}-\varepsilon. \] The 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.











This page was built for publication: On two-sided unidirectional mean value inequality in a Fréchet smooth space

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