Spectral projection of the Stokes operator
= Spectral projection of the Stokes operator
{title2=$P_N$}
The spectral projection $P_N$ retains the first $N$ Stokes eigenfunctions. On its finite-dimensional range, one derivative costs at most $\lambda_N^{1/2}$ and all Sobolev norms are equivalent.