 Positive-definite operator

A self-adjoint operator $L$ is positive definite when $⟨Lu,u⟩>0$ for every nonzero vector $u$ in its domain. For variational problems one usually asks for the uniform lower bound $⟨Lu,u⟩\ge c\Vert u{\Vert }^2$ called coercivity.