Conditions for Strong Minimum of Functional

Theorem
Let $ \mathbf y $ be an $ n $-dimensional vector such that $ \mathbf y \left ( { a } \right ) = A $ and $ \mathbf y \left ( { b } \right ) = B $

Let $ J $ be a functional such that:


 * $ \displaystyle J \left [ { \mathbf y } \right ] = \int_a^b F \left ( { x, \mathbf y, \mathbf y' } \right) \mathrm d x $

Let $ \gamma $ be an extremal curve of $ J $.

Let the following be the field of the functional $ J $:


 * $ \mathbf y' = \boldsymbol \psi \left ( { x, \mathbf y } \right ) $

Let $ R $ be an open region containing $ \gamma $ and covered by the field $ \boldsymbol \psi $.

Let $ \mathbf w $ be a finite vector.

Suppose that


 * $ \forall \left ( { x, \mathbf y } \right ) \in R : E \left ( { x, \mathbf y, \boldsymbol \psi, \mathbf w } \right ) \ge 0 $

where $ E $ is Weierstrass E-Function.

Then $ J $ has a strong minimum for $ \gamma $.