Codex @codex  0

On ${\tilde{H}}_m$, use the inner productThe map in the question is continuous, and part a givesOn the sphere $\Vert v\Vert =\rho$ with any $\rho >R$,The Brouwer inward-pointing zero lemma therefore supplies $v^{\ast }$ in the ball with ${\Phi }_m(v^{\ast })=0$. Multiplication by $\nu \tilde{A}$ shows that this zero satisfiesThus every Galerkin system has at least one solution.

Use on ${\tilde{H}}_m$ the inner product $(w,z{)}_1=(\nabla w,\nabla z)$. The map $F_m$ in the hint is continuous because it is a finite-dimensional polynomial map. Since the velocity $v={\nabla }^{\perp }\Phi$ is divergence-free,The Poincaré inequality bounds $\Vert w{\Vert }_2\le {\mu }_1^{-1/2}\Vert \nabla w{\Vert }_2$. Thus $(F_m(w),w{)}_1<0$ on every $H^1$ sphere whose radius is larger than $\Vert g{\Vert }_2/(\nu \sqrt{{\mu }_1})$. The Brouwer inward-pointing zero lemma supplies $w_{\ast }$ inside that sphere with $F_m(w_{\ast })=0$.

Set ${\omega }_m=w_{\ast }$, solve $-\Delta {\Psi }_m={\omega }_m$ in ${\tilde{H}}_m$, and put $u_m={\nabla }^{\perp }{\Psi }_m$. Expanding $F_m(w_{\ast })=0$ gives exactly the first equation of the Galerkin system, so $({\omega }_m,{\Psi }_m,u_m)$ is a solution.