I don't have an answer, but for example your conditions imply that the identity works for . Now, it's well known that so "separated" simple functions are dense in the product (alternatively "separated" linear combinations of test functions are dense). One could then suspect that something along the lines of which would justify the argument. I don't know if the last identity holds.