I've asked this question on mathoverflow too.Let$T>0$$I:=(0,T]$$d\in\mathbb N$$\Lambda\subseteq\mathbb R^d$ be nonempty and open, $$\mathcal V:=\left\{\phi\in C_c^\infty(\Lambda,\mathbb R^d):\nabla\cdot\phi=0\right\}$$ and $$V:=\overline{\mathcal V}^{\left\|\;\cdot\;\right\|_{H^1(\Lambda,\:\mathbb R^d)}}\;,\;\;\;H:=\overline{\mathcal V}^{\left\|\;\cdot\;\right\|_{L^2(\Lambda,\:\mathbb R^d)}}$$$\operatorname P_H$ denote the orthogonal projection from$L^2(\Lambda,\mathbb R^d)$ onto $H$$A_0u:=-\Delta u$ for $u\in\mathcal D(A_0):=H_0^1(\Lambda,\mathbb R^d)\cap H^2(\Lambda,\mathbb R^d)$, $$Au:=\operatorname P_HA_0u\;\;\;\text{for }u\in\mathcal D(A):=\mathcal D(A_0)\cap V$$ and $$B(u,v):=(u\cdot\nabla)v\;\;\;\text{for }u\in L^2(\Lambda,\mathbb R^d)\text{ and }v\in H^1(\Lambda,\mathbb R^d)$$$f:I\to H$$u\in L^2(I,\mathcal D(A))$ with $u'\in L^2(I,H)$ and $$u'(t)+A_0u(t)+B(u(t),u(t))+\nabla p(t)=f(t)\;\;\;\text{for all }t\in I\tag1$$ for some $p:I\to H^1(\Lambda)$Assuming that $\Lambda$ is sufficiently regular such that $(1)$ is well-defined, it can be shown that $(1)$ is equivalent to $$u'(t)+Au(t)+\operatorname P_HB(u(t),u(t))=f(t)\;\;\;\text{for all }t\in I\;.\tag2$$ I want to solve $(2)$ numerically and I'm only interested in $u$ (and not in $p$).I know that there are many references for the numerical study of $(1)$. However, it seems to me that all the considered schemes don't use $(2)$. They only use $(2)$ for theoretical results like existence and uniqueness of solutions. Maybe I'm wrong and I just don't see that these schemes use $(2)$.In any case, my question is: Are we able to provide a numerical scheme which solves $(2)$ directly?Or is there something which prevents us from doing that? My idea is to apply, for example, a semi-implicit Oseen discretization in time, i.e. consider $$\frac{u(t_n)-u(t_{n-1})}h+Au(t_n)+\operatorname P_HB(u(t_{n-1}),u(t_n))=f(t_n)\;\;\;\text{for all }n\in\left\{1,\ldots,N\right\}\tag3$$ with $$t_n:=nh\;\;\;\text{for }n\in\left\{0,\ldots,N\right\}$$ and $h:=T/N$ for some $N\in\mathbb N$. After that for each $n\in\left\{1,\ldots,N\right\}$ $(3)$ should be solvable by a finite element method (or is there some problem that I don't see?).
Time discretization of the variational formulation of the Navier-Stokes equation
finite element;pde;numerical analysis;fluid dynamics;navier stokes