Spectral projection of the Stokes operator (source code)

= 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.