Distribution annihilated by a function with simple zeros

ID: distribution-annihilated-by-a-function-with-simple-zeros

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.

New to topics? Read the docs here!