Linearity follows from linearity of differentiation and point evaluation. For a test function supported in a fixed compact set , its value and derivative vanish at any point outside . Therefore
This proves the continuity estimate with and for every . Thus the stated mapping is a distribution of order at most one, supported in . In particular, a sequence tending to zero in the test function topology has both and .

Articles by others on the same topic (0)

There are currently no matching articles.