Lema |
Una condición necesaria sobre la segunda variación para tener un máximo local (u*es máximo local) es que |
Prueba
Por contradicción (u* es máximo local pero
Proponga el control
Sea como se tiene que
como depende de una potencia mayor que
es posible elegir un ε suficientemente pequeño tal que domine a
Prueba
Como supusimos que se tiene que por lo que
lo que implica que
y consecuentemente se tiene que por lo que
pero esto contradice el hecho de que u* es máximo local, por lo que , es decir algunos de sus valores propios podrían ser cero o negativos, pero nunca positivos.
- A esta condición se le llama segunda variación.
- Esto motiva resolver el problema mediante el CALCULO VARIACIONAL.