In this section, we gather some preliminary results
on the Ginzburg-Landau energy for time-independent vector fields
— most importantly, the compactness results of Jerrard & Ignat [1]}
and the product estimates of Sandier & Serfaty [2]}.
