If a smooth function on has finitely many zeros , all simple, then exactly when . Away from the zeros, divide a test function by the nonvanishing to show vanishes. Near , write with smooth nonzero . The kernel of multiplication by a coordinate, after translation and multiplication by , says that the local distribution is a multiple of . A partition of unity gives the global sum. Simplicity of the zeros excludes derivatives of deltas.
In one dimension, if and only if . Choose a cutoff function near zero and write every test function as . The pairing with vanishes, leaving .

Articles by others on the same topic (0)

There are currently no matching articles.