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 $.

Proof

 * $ \displaystyle \Delta J = \int_{ \gamma ^* } F \left ( { x, \mathbf y, \mathbf y' } \right ) \mathrm d x - \int_{ \gamma } F \left ( { x, \mathbf y, \mathbf y' } \right ) \mathrm d x $


 * $ \displaystyle \int_\gamma F \left ( { x, \mathbf y, \mathbf y' } \right ) \mathrm d x = \int_{ \gamma^* } \left ( { \{ { F \left ( { x, \mathbf y, \boldsymbol \psi } \right ) - \boldsymbol \psi F_{ \mathbf y' } \left ( { x, \mathbf y, \boldsymbol \psi } \right ) } \} \mathrm d x + F_{ \mathbf y' } \left ( { x, \mathbf y, \boldsymbol \psi } \right ) \mathrm d \mathbf y } \right ) $


 * $ E \left ( { x, \mathbf y, \boldsymbol \psi, \mathbf y' } \right ) \ge 0 \implies \Delta J \ge 0 $