For a symmetric bounded bilinear form that is strictly positive on nonzero vectors, and a bounded linear functional , set . The first variation is . A weak solution of satisfies , 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, with . Consequently the Euler-Lagrange equation of is . It is only when is self-adjoint or when the relevant solution also annihilates the skew part. For example has positive quadratic form , but that form contains no information about its skew part.

Articles by others on the same topic (0)

There are currently no matching articles.