A replacement lemma for obtaining pointwise estimates in phase transition models

We establish a replacement lemma for a variational problem, which is not based on a local argument. We then apply it to a phase transition problem and obtain pointwise estimates.