The shifted Fermi circle satisfies . Its radial boundary at polar angle is the positive solution of . Thus, for ,and its leading Taylor expansion isForward-pointing momenta gain occupied states and backward-pointing momenta lose them. With the paper's explicitly reversed Heaviside step function convention, ; consequentlywith 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 hasThe second-order inward correction cancels the apparent area increase one would obtain by treating as exact.
