Positive-definite operator (source code)

= Positive-definite operator

A self-adjoint operator $L$ is positive definite when $\langle Lu,u\rangle>0$ for every nonzero vector $u$ in its domain. For variational problems one usually asks for the uniform lower bound $\langle Lu,u\rangle\geq c\|u\|^2$ called <coercive bilinear form>[coercivity].