Ladyzhenskaya–Babuška–Brezzi condition

In numerical partial differential equations, the Ladyzhenskaya-Babuška-Brezzi condition is a sufficient condition for a saddle point problem to have a unique solution that depends continuously on the input data. Saddle point problems arise in the discretization of Stokes flow and in the mixed finite element discretization of the Poisson's equation. For positive-definite problems, like the unmixed formulation of the Poisson equation, most discretization schemes will converge to the true solution in the limit as the mesh is refined. For saddle point problems, however, many discretizations are unstable, giving rise to artifacts such as spurious oscillations. The LBB condition gives criteria both for when a discretization scheme for a saddle point problem is stable.

Saddle point problems

The abstract form of a saddle point problem can be expressed in terms of Hilbert spaces and bilinear forms. Let $V$ and $Q$ be Hilbert spaces, and let $a:V\times V\to \mathbb {R}$, $b:V\times Q\to \mathbb {R}$ be bilinear forms. Let $f\in V^{*}$, $g\in Q^{*}$ where $V^{*}$, $Q^{*}$ are the dual spaces. The saddle-point problem for the pair $a$, $b$ is to find a pair of fields $u$ in $V$, $p$ in $Q$ such that, for all $v$ in $V$ and $q$ in $Q$,

${\begin{aligned}a(u,v)+b(v,p)&=\langle f,v\rangle \\b(u,q)&=\langle g,q\rangle .\end{aligned}}$

For example, for the Stokes equations on a $d$-dimensional domain $\Omega$, the fields are the velocity $u$ and pressure $p$, which live in respectively the Sobolev space $H^{1}(\Omega )^{d}$ and the Lebesgue space $L^{2}(\Omega )$. The bilinear forms are

${\begin{aligned}a(u,v)&=\int _{\Omega }2\mu {\dot {\varepsilon }}(u):{\dot {\varepsilon }}(v)\,dx\\b(u,q)&=\int _{\Omega }(\nabla \cdot u)q\,dx,\end{aligned}}$

where $\mu$ is the viscosity.

Statement of the theorem

Suppose that $a$ and $b$ are both continuous bilinear forms, and moreover that $a$ is coercive on the kernel of $b$:

$a(v,v)\geq \alpha \|v\|_{V}^{2}$

for all $v$ such that $b(v,q)=0$ for all $q\in Q$. If $b$ satisfies the inf-sup or Ladyzhenskaya-Babuška-Brezzi condition

$\sup _{v\in V,v\neq 0}{\frac {\langle b(v,q)}{\|v\|_{V}}}\geq \beta \|q\|_{Q}$

for all $q$, then there exists a unique solution $u,p$ of the saddle-point problem. Moreover, there exists a constant $C$ such that

$\|u\|_{V}+\|p\|_{Q}\leq C(\|f\|_{V^{*}}+\|g\|_{Q^{*}}).$

References

• Boffi, Daniele; Brezzi, Franco; Fortin, Michel (2013). Mixed finite element methods and applications. Vol. 44. Springer.

External links

• A Mixed Variational Formulation for 3D Linear and Nonlinear Magnetostatics
• Advanced finite element methods lecture notes