Dejemos que g(x)=12+√x−x3 .
Para todos x∈R , f(x)=g(f(x−a))≥1/2 . Además, como f(x+a)=g(f(x)) existe, debemos tener f(x)−f(x)3≥0 Por lo tanto f(x)≤1
Por lo tanto, f(x)∈[0.5;1] para todos x∈R .
g aumenta de x=1/2 (donde f(1/2)>1 ) a x=1/√3 luego disminuye a x=1 (donde f(1)=1/2 ).
Podemos calcular y ver que 0.83>1/√3 y g(0.83)>1 Así pues, para cualquier x∈[0.5;0.83] , g(x)>1 .
Por lo tanto, f(x)∈[0.83;1] para todos x∈R (o bien f(x+2a) no existiría)
g′(x) es decreciente en ese intervalo, y g′(0.83)<−1 Así que para todos x∈[0.83;1] , g′(x)≤g′(0.83)<−1 .
En particular, tenemos |f(x+2a)−f(x+a)|≥|f(x+a)−f(x)||g′(0.83)| .
Dejemos que M=sup . Desde f(x) \in [0.5;1] obviamente tenemos 0 \le M \le 0.5 . Pero también tenemos M \ge M |g'(0.83)| lo cual es imposible a menos que M=0 .
Por lo tanto, f(x+a) = f(x) para todos x \in \Bbb R . Y de hecho f es constante y su valor es el único punto fijo de g en [0.83;1]
1 votos
En lo que a mí respecta, es "para todos x∈R " y b no debería estar ahí.
0 votos
¿La observación f(a)=12 ¿ayuda? No lo sé.
0 votos
@GitGud Si escribió b∈Z entonces ambas definiciones son equivalentes.
1 votos
@user3313320 Aunque ayude, no es necesariamente cierto.
0 votos
@GitGud Plug in x=0
3 votos
Espera un momento... f3(x) significa f(f(f(x))) o (f(x))3 ?
0 votos
@user3313320 Tienes razón en que las definiciones son equivalentes. En cuanto a enchufar 0 , entonces se obtiene f(a)=12+√f(0)−(f(0))3 o f(a)=12+√f(0)−f(f(f(0))) . Cómo conseguir f(a)=12 ¿en cualquier caso?
0 votos
@GitGud Oops sorry. Parece que simplemente y por error he considerado f(0)=0
1 votos
De hecho, parece claro que f(x)∈[12,1] para todos los reales.
1 votos
Parece similar a math.stackexchange.com/questions/1147980/