We give an alternative proof of the theorem of Alikakos and Fusco concerning existence of heteroclinic solutions U : ℝ → ℝN to the system
Here a± are local minima of a potential W ∈ C2(ℝN) with W(a±) = 0. This system arises in the theory of phase transitions. Our method is variational but differs from the original artificial constraint method of Alikakos and Fusco and establishes existence by analysing the loss of compactness in minimizing sequences of the action in the appropriate functional space. Our assumptions are slightly different from those considered previously and also imply a priori estimates for the solution.