Registry · Definition IV.D212 tau-effective formalized

IV.D212 — Macroscopic vorticity

Macroscopic vorticity nu^macro(C) = (1/N) sum_i nu(d_i) + nu_int(C), the average rotational content plus collective circulation modes; in a superfluid nu^macro = 0 everywhere except at quantized vortex cores where topological charge concentrates.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt

Symbol: Tau.BookIV.ManyBody.MacroscopicVorticity