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!