Necessary and Sufficient Condition for Quadratic Functional to be Positive Definite/Dependent on N Functions

Theorem
Let $ K $ be a functional, such that:


 * $ \displaystyle K \left [ { \mathbf h } \right ] = \int_a^b \left ( { \mathbf h' \mathbf P \mathbf h' + \mathbf h \mathbf Q \mathbf h } \right ) \mathrm d x $

where $ \mathbf h $ is an N-dimensional vector, $ \mathbf Q $ is a $ N \times N $ matrix, and $ \mathbf P $ is a $ N \times N $ symmetric positive definite matrix.

Then $ \forall \mathbf h : \mathbf h \left ( { a } \right ) = \mathbf h \left ( { b } \right ) = 0 : K \left [ { \mathbf h } \right ] > 0 $ iff $ \left [ { a \,. \,. \, b } \right ] $ does not contain a point conjugate to $ a $.