Uniformly positive definite symmetric operator (source code)

= Uniformly positive definite symmetric operator
{title2=$L\geq\gamma I,\quad\gamma>0$}

A <positive definite symmetric operator> is uniformly positive definite if $\langle Lv,v\rangle\geq\gamma\|v\|^2$ for some $\gamma>0$. For a <bounded linear operator> defined on a whole <Hilbert space>, this is a symmetric <coercive operator>, and the <Lax-Milgram theorem> supplies a unique solution to $Lu=f$ for every $f$. For a differential operator, the corresponding bounded coercive form is used on its form space.