IV.D232 — tau-Navier-Stokes flow

A tau-Navier-Stokes flow is a sequence {d_n} where mu(d_n) > mu_crit for some or all n, with viscous budget decay B_{n+1} - B_n proportional to mobility excess; the Euler budget is no longer conserved and entropy production occurs from viscous dissipation.