Supongamos que $x\in[n,n+1)$, donde $n$ es un entero. Entonces $$ f(x)=x^n $$ y por lo tanto $f$ coincide con $x^n$ en el intervalo abierto $(n,n+1)$. Por lo tanto $f'(x)=nx^{n-1}$ para $x\in(n,n+1)$.
Así, para $x$ no entero, $$ f'(x)=\lfloor x\rfloor x^{\lfloor x\rfloor-1} $$ El problema ahora es ver si $f$ es diferenciable en los enteros. Pero si $n\ne0$ es un entero $$ \lim_{x\to n^+}x^{\lfloor x\rfloor}=\lim_{x\to n^+}x^n=n^n $$ mientras que $$ \lim_{x\to n^-}x^{\lfloor x\rfloor}=\lim_{x\to n^-}x^{n-1}=n^{n-1} $$ Los límites son diferentes cuando $n\ne1$. También $$ \lim_{x\to0^+}f(x)=1 \qquad \lim_{x\to0^-}f(x)=-\infty $$ Esto muestra que la función no es continua en los enteros $\ne1$, por lo tanto no es diferenciable tampoco.
Ahora intentemos ver si la derivada existe en $x=1$.
2 votos
Cuando $x$ no es un número entero, entonces la función piso es localmente constante, así que trátala como una constante al diferenciar. En números enteros, necesitas usar la definición de límite de la derivada, y no hay garantía de que el límite exista. (Intenta comparar los límites derecho e izquierdo del cociente de diferencias.)