Hola
a) Creo que la función \( f(x)=x^a \) con \( a\in{}(0,1) \) nunca cumpliría esa desigualdad, aún para algún tramo de \( x \), no?
Para algún tramo si. Si llamas:
\( h(x)=f(x+g)+f(x-l)-2f(x) \)
queremos que \( h(x)<0 \) en algún intervalo. Tomamos \( f(x)=x^a \) con \( a\in (0,1) \) trabajamos con \( \color{red}\xcancel{x\leq l}\qquad x\geq l\color{black} \) (en otro caso \( f(x-l) \) no está definido).
Estudiamos cuando \( h(l)<0 \):
\( (l+g)^a-2l^a<0 \)
De donde: \( g<(1+\sqrt[a]{2})l \). Bajo esta condición \( h(l)<0 \) y por continuidad esa desigualdad se mantiene en un entorno de \( l \).
b) Además, la desigualdad mencionada es equivalente a \( f(x+g)-f(x)<f(x)-f(x-l) \). Esto quiere decir que \( f \) se vuelve cóncava muy rápidamente?
Si, es una forma intuitiva de entenderlo.
Saludos.
CORREGIDO POR SEGUNDA VEZ