Solution (source code)

= Solution

A real <linear operator> $\mathcal L$ on an <inner-product space> is a <positive-definite operator> when it is self-adjoint and
$$
\langle\mathcal Lu,u\rangle>0
$$
for every nonzero $u$ in its domain. In the variational setting one normally requires the stronger uniform estimate $\langle\mathcal Lu,u\rangle\geq c\|u\|_V^2$ for some $c>0$, which is <coercivity>.