A distribution with zero derivative is constant
ID: a-distribution-with-zero-derivative-is-constant
If on , then is a constant distribution. Every test function of integral zero is the derivative of its compactly supported primitive, so vanishes on those test functions. Choosing one test function of integral one gives . Iteration shows that a distribution with th derivative zero is a polynomial of degree at most .
New to topics? Read the docs here!