Registry · Theorem
IV.T103
tau-effective
formalized
IV.T103 — Euler budget conservation
Euler budget conservation: in the inviscid regime (mu <= mu_crit), the sum mu(d) + nu(d) + kappa(d) + theta(d) = const along propagation Phi_{n,n+1}. This is the tau-native Kelvin circulation theorem; the "circulation" is the sum of the four defect components.
Book IV
Part 1
Ch. 7