Sufficient Condition for Twice Differentiable Functional to have Minimum

Theorem
Let $ J$ be a twice differentiable functional.

Let $ J$ have an extremum for $ y= \hat{ y }$.

Let the second variation $ \delta^2 J \left[ { \hat { y }; h } \right ]$ be strongly positive  $h$.

Then for $y = \hat { y }$ $ J$ acquires the minimum.

Proof

 * $ \delta J \left [ { \hat { y }; h } \right ]=0$


 * $ \Delta J \left [ { \hat { y }; h } \right ]= \delta^2 J \left [ { \hat { y }; h  } \right ]+ \epsilon \left \vert h \right \vert^2$

where $ \epsilon \to 0$ as $ \left \vert h \right \vert \to 0$.

By assumption, the second variation is strongly positive:


 * $ \delta^2 J \left [ { \hat { y }; h } \right ] \ge k \left \vert h \right \vert^2, \quad k \in \R_{ > 0 }$

Hence,


 * $ \Delta J \left [ { \hat { y }; h } \right ] \ge \left ( { k + \epsilon } \right ) \left \vert h \right \vert^2$

Since $ \epsilon \to 0$ as $ \left \vert h \right \vert \to 0$, there exist $c \in \R_{ > 0 }$, such that


 * $ \left \vert h \right \vert < c  \implies \left \vert \epsilon \right \vert < \frac{ 1 }{ 2 } k $

Choose $ h $ such that this inequality holds.

Then

and $ J $ has a minimum for $ y= \hat { y }$.