Steady skew-symmetrized Navier-Stokes equation (source code)

= Steady skew-symmetrized Navier-Stokes equation

The steady equation $\nu Au+\widetilde B(u,u)=f$ retains the <energy> cancellation without imposing <incompressibility>. Galerkin bounds, compactness, and elliptic bootstrapping produce an $H^2$ periodic solution for square-integrable forcing.