1
$\begingroup$

I want to prove the LBB condition for the Stokes Equations discretised by the Crouzeix-Raviart element.

The continuous Stokes Equation in the weak formulation is

Find $u \in H_0^1(\Omega, \mathbb{R}^d)$ and $p \in L_0^2(\Omega)$ with

\begin{align} \int_\Omega \nabla u : \nabla v dx - \int_\Omega p \text{ div} (v) dx &= \int_{\Omega} fv dx \qquad \ \forall v \in H_0^1(\Omega, \mathbb{R}^d)\\ \int_\Omega q \text{ div} (u) dx&= 0 \qquad \qquad \quad \forall q \in L_0^2(\Omega) \end{align}

It has a unique solution in the spaces $V = H_0^1(\Omega, \mathbb{R}^d)$ and $Q= L_0^2(\Omega)$.

For the discrete spaces I have

\begin{align} V_h &= \{ v_h \in H_0^1(\Omega, \mathbb{R}^d) : v_h|_T\in P^3(T),v_h|_E\in P^2(E),\forall T \in T_h\forall E\subset \partial T\}\\ Q_h &= \{q_h\in L_0^1(\Omega):q_h|_T\in P^1(T),\forall T \in T_h \} \end{align}

To prove solvability, I want to prove the discrete LBB condition

\begin{align} \sup\limits_{v_h\in V_h} \frac{\int_\Omega \text{div}(v_h)q_h dx}{\|v_h\|_{V}} \geq \beta_1 \|q_h\|_{Q} \qquad \forall q_h \in Q_h \end{align}

For the continuous spaces $V,Q$ the LBB condition holds.

Assume there exists a Fortin operator $\Pi_h:V \rightarrow V_h$ with \begin{align} \|\Pi_h v \|_V &\preccurlyeq \|v\|_V \qquad \quad \forall v\in V \\ b(\Pi_h v, q_h) &= b(v, q_h) \qquad \ \forall q_h \in Q_h \end{align} Then the continuous LBB implies the discrete LBB.

Can you please tell me how I can construct such an Fortin Operator and then prove its two properties.

Especially it would be very helpful to see the full scaling argument that proves its continuity.

I would be thankful for any help.

$\endgroup$
1

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.