My problem
Alright, so this is my dilemma and it all boils down to the very troublesome function floor ($\lfloor x \rfloor$) and piecewise constant functions in general ($\lfloor f(x) \rfloor$). Everyone knows what the indefinite integral is. Just in case it is not well known this is what it is:
$$F(x) = \int_{c}^{x} f(t)dt$$
The indefinite integral is an accumulation function with some base value that it starts out with. It varies by an arbitrary constant.
Now let me define a second operator that we will refer to as an implied integral ($\int^*$). It is best defined by example:
$\int^* \lfloor x \rfloor dx = x \lfloor x \rfloor + C(x)$
$\int^* x \lfloor x \rfloor dx = \frac 12 x^2 \lfloor x \rfloor + C(x)$
$\int^* \lfloor f(x) \rfloor dx = x \lfloor f(x) \rfloor + C(x)$
Basically, it is an indefinite integral that varies be piecewise constant functions (C(x)) and treats peicewise constant functions as constants.
Now,there is ambiguousness with the term "antiderivative" that I recently stumbled upon. The antiderivative seems to refer to both of these operations. For instance, see my question about the bug in matlab. The answer there claims that the implied integral is a valid antiderivative. I remember from elementary calculus that antiderivatives vary by constants. However, I am willing to give the benefit of the doubt since that user is a professor and probably knows way more than me.
Why is it important?
Well, while the area function is a set-in-stone idea differential equations rely upon use of the antiderivative and not the indefinite integral. Therefore, depending on which one the antiderivative follows... the result will change the solutions to differential equations. Specifically: It will decide whether or not their solutions must be continuous or if they are allowed to be discontinuous. A more concrete example is that we would no longer be able to just solve homogenous linear equations with constant coefficients. We would be able solve one's with piecewise constant coefficients trivially (it is possible to solve them for continuous solutions by doing things).
To sum it all up:
Do antiderivatives vary by constant functions or piecewise constant functions?
It truly is an important question.
Let $f\colon \mathbb{R}\to\mathbb{R}$ be a differentiable function. If $F$ and $F'$ are antiderivatives of $f$ and $F - F' = C$ where $C\colon\mathbb{R}\to\mathbb{R}$ is a function, then $C$ is constant.
We have $\frac{d}{dx} (F - F') = \frac{d}{dx} C$ and since $\frac{d}{dx}(F - F') = \frac{d}{dx} F - \frac{d}{dx} F' = f - f =0$, it follows that $\frac{d}{dx} C = 0$ and thus $C$ is a constant function.