Registry · Remark
IV.R170
tau-effective
formalized
IV.R170 — Kelvin theorem as budget law
Kelvin's circulation theorem (oint v * dl conserved in inviscid barotropic flow) is the chart-level readout of the tau-Euler budget law; the four defect components play the role of the integrand and conservation holds because propagation preserves the budget surface.
Book IV
Part 7
Ch. 53