1

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

2 Answers2

1

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)$?

0

$$\frac{d}{dx} (x[x]) = [x]\cdot \frac{d}{dx} (x) + x\cdot \frac{d}{dx} ([x]) =[x]\cdot 1 + x\cdot 0 =[x] $$