Deje $X$ ser un espacio de Banach con su doble $X^*$. Considerar la asignación de $f: X\rightarrow \mathbb{R}$ dada por $$ f(x)=\frac{1}{2}\|x\|^2. $$ Hemos de saber que cuando $X$ es un verdadero espacio de Hilbert ( $X=X^*$ ), a continuación, $f$ es fuertemente convexo con el módulo de $\lambda=1$, es decir, $$ \alpha f(x)+(1-\alpha)f(y)\geq f(\alpha x+(1-\alpha)y)+\frac{\alpha(1-\alpha)}{2}\|x-y\|^2 $$ para todos los $x, y\in X$$\lambda\in [0, 1]$. Por otra parte, $f$ es Frechet diferenciable y $$ \nabla_F f(x)=x\quad \forall x\in X. $$ No sé, además de espacio de Hilbert, ¿qué clase de espacios de Banach tenemos dos propiedades anteriores (Frechet la diferenciabilidad y fuerte convexidad de la función $f(x)$.
Me gustaría dar las gracias por todos los comentarios constructivos, ayudar y señalando las referencias relacionadas con este problema.
Nota.
- Si $X^*$ es estrictamente convexa $f(x)=\frac{1}{2}\|x\|^2$ Tartas es diferenciable y $$ \nabla_G f(x)=\{x^*\X^*: \|x^*\|^2=\|x\|^2=\langle x^*, x\rangle\}; $$
- Si $f(x)$ es fuertemente convexo, con una constante $\lambda=1$ $X$ es un espacio de Hilbert.