Loading [MathJax]/jax/element/mml/optable/Latin1Supplement.js

10 votos

Pruebalo, |f(x)f(y)|k|xy|(f(x))2<2kf(x)

Permita quef:R(0,) sea una función diferenciable de manera que para alguna constantek tengamos,|f(x)f(y)|k|xy|$$paratodos$x,yR.$Luegopruebeque,(f'(x))^2<2 kf(x).

Debido a la falta de argumentos, no pude probar esta desigualdad. Pero mejor dicho, probé que es cierto para la función particular,f(x) =\cos^2(x)+1\implies f'(x) = -\sin(2x).$ $ Y tenemos fácilmente,|\sin(2x)-\sin(2y)| = \left|\int_{2x}^{2y}\cos t dt\right|\le 2|x-y| también

ps

También es cierto para la función$$(f'(x))^2 = 4 \sin^2 x\cos^2x < 4(\cos^2x +1) = 4f(x).$

De estos ejemplos, no veo cómo probar el caso general. Cualquier sugerencia será bienvenida.

7voto

Martin R Puntos 7826

Fix x \in \Bbb R.

f' (Lipschitz continuas y por lo tanto integrable. Para cualquier d \ge 0 hemos 0 < f(x+d) = f(x) + \int_x^{x+d} f'(t) \, dt = f(x) + df'(x) + \int_x^{x+d}(f'(t) - f'(x)) \, dt \\ \le f(x) + df'(x) + \int_x^{x+d}k(t-x) \, dt \\ = f(x) + df'(x) + \frac 12 kd^2 y el mismo presupuesto tiene para d < 0, porque entonces \int_x^{x+d}(f'(t) - f'(x)) \, dt = -\int_{x+d}^x(f'(t) - f'(x)) \, dt \le -\int_{x+d}^x k(t-x) \, dt = \frac 12 k d^2 \, .

En particular, para d = -\frac{f'(x)}{k} tenemos 0 < f(x) - \frac{f'(x)^2}{k} + \frac{f'(x)^2}{2k} = f(x) - \frac{f'(x)^2}{2k} cual es la conclusión deseada.

4voto

David C. Ullrich Puntos 13276

Esto es una reminiscencia de la desigualdad de Landau .

WLOGk=1 (considereg=f/k).

Supongamosf'(0)^2 \ge 2f(0). WLOGf'(0) \le -(2f(0))^{1/2} (si otohf'(0) es positivo, considereg(t)=f(-t).) Luego, para cadat>0 tenemosf'(t)\le t-(2f(0))^{1/2}.Integrating, this shows that f(x)\le f(0)+x^2/2-2x(2f(0))^{1/2}for every x> 0. If x = (8f (0)) ^ {1/2} it follows that $ f (x)

Asi que f'(0)^2<2f(0). El caso general sigue ((letg(t)=f(x+t).)

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X