Estoy tratando de responder la siguiente pregunta:
Sea $f$ continuamente diferenciable en todo $\mathbb{R}$ y sea $g:\mathbb{R}\to\mathbb{R}$ una función que satisface $\lim_{x\to0}g\left(x\right)=0$. Demostrar que $$\lim_{x\to0} \frac{f\left(x+g\left(x\right)\right)-f\left(g\left(x\right)\right)}{x}=f'(0)$$
Al principio pensé que sería una simple desigualdad triangular a partir de la definición de límite, pero no me funciona...
Sea $\epsilon>0$, podemos encontrar $\delta$ tal que $$\left|x\right|<\delta\implies\left|\frac{f\left(x\right)-f\left(0\right)}{x}-f'\left(0\right)\right|<\frac{\epsilon}{2}$$ Pero como $g\left(x\right)\to0$ podemos encontrar $\delta_{g}$ tal que
$$\left|x\right|<\delta_{g}\implies\left|g\left(x\right)\right|<\frac{\delta}{2}$$
Por lo tanto, para $\left|x\right|<\min\left\{ \delta_{g},\frac{\delta}{2}\right\}$ tenemos que $x+g\left(x\right)<\delta$, y
$$\left|\frac{f\left(x+g\left(x\right)\right)-f\left(g\left(x\right)\right)}{x}-f'\left(0\right)\right|=\left|\frac{f\left(x+g\left(x\right)\right)-f\left(0\right)+f\left(0\right)-f\left(g\left(x\right)\right)}{x}-f'\left(0\right)\right|$$
¿Alguna dirección?
2 votos
Mostrar que...? Parece que has omitido algo.
0 votos
Oopse, corregido...
2 votos
¿También deseas un límite en el lado izquierdo de esa expresión?
0 votos
Oh wow... parece que ya estoy demasiado cansado... Muchas gracias
2 votos
Bueno, puedes usar el teorema del valor medio de Lagrange para decir que siempre que $g(x)\neq 0$ $$f(x+g(x))-f(g(x))=xf'(\xi_x),\ \text{ con }\xi_x\in[x-|g(x)|,x+|g(x)|]$$ y luego usar la continuidad de $f'$. Y luego, ajustar el caso cuando $g(x)$ es frecuentemente $0$ en un entorno de $0$.
0 votos
¿Por qué preocuparse por $g(x)=0$?