What will be the derivative of x[x] when x is not an integer?
I was applying the product rule but I'm stuck in the part were I have to differentiate [x] wrt x.
[.] Denotes greatest integer function
What will be the derivative of x[x] when x is not an integer?
I was applying the product rule but I'm stuck in the part were I have to differentiate [x] wrt x.
[.] Denotes greatest integer function
You must evaluate: $$\frac{d}{dx} ([x]\cdot x) \tag{1}$$ Your idea to use the product rule is a good one. Therefore: $$\frac{d}{dx} ([x]\cdot x)=[x]\cdot \frac{d}{dx} (x)+x\cdot \frac{d}{dx}([x]) \tag{2}$$ Note that $[x]$ is locally constant for $x\not\in \mathbb{Z}$. It follows that $\frac{d}{dx}([x])=0$ where $x\not\in \mathbb{Z}$.
Therefore, what can you deduce about the solution to $(1)$ using $(2)$?
$$\frac{d}{dx} (x[x]) = [x]\cdot \frac{d}{dx} (x) + x\cdot \frac{d}{dx} ([x]) =[x]\cdot 1 + x\cdot 0 =[x] $$