Registry · Proposition
V.P45
tau-effective
formalized
V.P45 — Vortex stretching bound
Vortex stretching bound: despite the amplifying nonlinearity mu dot nu, the vorticity component nu_n remains bounded at every primorial level: |nu_n| <= M_nu Prim(n)^{1/2}, where M_nu is determined by initial data. Compactness prevents blow-up.
Book V
Part 4
Ch. 28