Positive definite symmetric operator ($⟨Lv,v⟩>0$)

A symmetric operator $L$ on a real Hilbert space is strictly positive definite when $⟨Lv,v⟩>0$ for every nonzero $v$ in its operator domain. Strict positivity proves uniqueness of a solution of $Lu=f$, but in infinite dimension it need not prove existence for every $f$. A uniformly positive definite symmetric operator additionally has a positive lower bound independent of $v$. Symmetry must be stated separately when positivity is defined only by a real quadratic expression: adding a skew-symmetric matrix changes the operator without changing that expression.

For a symmetric bounded bilinear form $B$ that is strictly positive on nonzero vectors, and a bounded linear functional $\ell$, set $I(v)=B(v,v)-2\ell (v)$. The first variation is $DI(v)[w]=2(B(v,w)-\ell (w))$. A weak solution $u$ of $B(u,w)=\ell (w)$ satisfies $I(u+w)-I(u)=B(w,w)$, so it is the unique minimizer. Conversely, any minimizer solves the weak equation. A coercive bilinear form gives existence by the Lax-Milgram theorem; strict positivity alone does not.

For a bounded operator on a real Hilbert space, $⟨Lv,v⟩=⟨Sv,v⟩$ with $S=(L+L^{\ast })/2$. Consequently the Euler-Lagrange equation of $⟨Lv,v⟩-2⟨f,v⟩$ is $Sv=f$. It is $Lv=f$ only when $L$ is self-adjoint or when the relevant solution also annihilates the skew part. For example $L=\left(\begin{array}{cc}1& -1\\ 1& 1\end{array}\right)$ has positive quadratic form $\Vert v{\Vert }^2$, but that form contains no information about its skew part.

A positive definite symmetric operator is uniformly positive definite if $⟨Lv,v⟩\ge \gamma \Vert v{\Vert }^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.