The shifted Fermi circle satisfies . Its radial boundary at polar angle is the positive solution of . Thus, for ,
and its leading Taylor expansion is
Forward-pointing momenta gain occupied states and backward-pointing momenta lose them. With the paper's explicitly reversed Heaviside step function convention, ; consequently
with a positive leading sign.
For the later quadratic energy calculation it is useful to distinguish the first-order shape from exact particle number conservation. The particle-conserving displacement of a Fermi circle has
The second-order inward correction cancels the apparent area increase one would obtain by treating as exact.
Figure 1. . Original geometric construction with . The Fermi sea keeps its area under translation; the first-order radial approximation differs from the exact boundary at second order. Details.