“…If the latter are assumed to be non‐degenerate, by adapting a lemma of from the study of the Ginzburg–Landau system, we showed in that, for any k > 0 and , bounded, nonconstant solutions of satisfy (see also for related estimates for just the potential energy term; there it was also noted that the above estimate remains valid even if the global minima of W have a finite degree of degeneracy). If, in addition, the solution is minimal, it was shown in , as a consequence of the density estimates proven therein (a natural but nontrivial extension of those in for the scalar problem), that which in light of is optimal.…”