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.