heat-eqn-uniqueness.pdf