10 Extremos locales y puntos críticos
Se dice que tiene un maximo local (o relativo) en un punto si existe tal que
Se dice que tiene un mínimo local en si existe tal que
Sean abierto de , y diferenciable en . Supongamos que tiene un extremo local en . Entonces
es decir es un punto crítico de .
Sea cualquiera con . Definamos por
donde es tal que . Como tiene un extremo local en , es evidente que tambien tiene un extremo local (del mismo tipo) en . Entonces, por el resultado ya conocido para funciones de variable real, se tiene que
Esto prueba que para todo con , y por tanto, como es lineal,
El recíproco no se cumple. Un contraejemplo es .
Sea . Para que un punto sea maximo o minimo, debe cumplir que
es decir, . En este caso, es un minimo ya que y .
Si consideramos , se debe cumplir que y . Sin embargo, no es maximo ni minimo, pues en cualquier entorno que tome voy a tener puntos en los que la funcion es positiva y otros en los que la funcion es negativa.
Sea una funcion de clase . Se llama hessiana de en a la segunda derivada de en , y matriz hessiana a la matriz de esta forma cuadratica, es decir,
Recordemos que, si es una forma cuadratica en , se dice que:
-
1.
es definida positiva si para todo
-
2.
es semidefinida positiva si para todo
-
3.
es definida negativa si para todo
-
4.
es semidefinida negativa si para todo
-
5.
es indefinida si no es ni semidefinida positiva ni semidefinida negativa.
Sean un abierto de , y . Supongamos que , es decir, es un punto critico de . Entonces
-
1.
Si es definida positiva, tiene un minimo local estricto en .
-
2.
Si es definida negativa, tiene un maximo local estricto en .
-
3.
Si es indefinida, tiene un punto de silla en (es decir, no tiene ni maximo ni minimo local en este punto critico).
Ademas, se tiene un reciproco parcial (no total) de lo anterior.
-
4.
Si tiene un minimo local en entonces es semidefinida positiva.
-
5.
Si tiene un maximo local en , entonces es semidefinida positiva.
-
1.
Por el teorema de Taylor, y puesto que , sabemos que
donde . Sea
Como es continua y la esfera unidad es compacta, este infimo es en realidad un minimo y puesto que es definida positiva, debe ser . Asi, para todo , , tenemos
luego, puesto que es -homogenea (al ser forma cuadratica, cualquier constante sale elevada al cuadrado, ),
para todo . Sea . Como , existe tal que si entonces , y por tanto
luego
para todo con . Esto significa que
y que la desigualdad es estricta cuando (si , entonces y ), es decir, tiene un minimo local estricto en .
-
2.
Analogo al apartado 1 (o se puede aplicar el apartado 1 a la funcion )
-
4.
Sea con . Por el teorema de Taylor, y teniendo en cuenta que tiene un minimo local en , podemos escribir
si es suficientemente pequeño, donde . Entonces, tomando limites,
es decir, para todo con , lo que significa que es semidefinida positiva.
-
5.
Analogo al apartado 4 o aplicar el apartado 4 a .
-
3.
Consecuencia inmediata de 4) y 5) por contrarreciproco. Si es indefinida, no puede ser semidefinida positiva, por lo que por 4) no puede ser minimo local. Ademas, por ser indefinida tampoco es semidefinida negativa, por lo que por 5) no puede ser un maximo local.
El reciproco no es total (semidefinido en lugar de definido) porque no podemos asegurar que el limite en la demostracion de 4) sea mayor estricto que .
Sea una forma cuadratica simetrica en . Entonces
-
1.
es definida positiva si y solo si todos sus autovalores son estrictamente positivos
-
2.
es definida negativa si y solo si todos sus autovalores son estrictamente negativos
-
3.
es indefinida si y solo si tiene autovalores positivos y negativos (estrictamente)
-
4.
es semidefinida positiva si y solo si todos sus autovalores son mayores o iguales que cero
-
5.
es semidefinida negativa si y solo si todos sus autovalores son menores o iguales que cero.
Sea una forma cuadratica simetrica en , con matriz . Consideremos los menores angulares de ,
Entonces:
-
1.
es definida positiva si y solo si para todo
-
2.
es definida negativa si y solo si para todo .
-
3.
Si es semidefinida positiva entonces para todo
-
4.
Si es semidefinida negativa entonces para todo
Si algun con par es negativo, entonces es indefinida.
Sea . Sabemos que el punto critico es . La matriz hessiana es
que es definida positiva y por tanto es minimo.
Sea . En este caso,
Se tiene que y . Por tanto, es indefinida y es punto de silla.
Consideramos . Se tiene que y .
La matriz hessiana es
y en ,
se tiene que y por tanto es indefinida. es punto de silla.
Otra forma seria ver que en el segundo y cuarto cuadrante, y en el primero y tercero .
Sean funciones de clase . Sean , , el conjunto de nivel de . Supongamos que , y que la restriccion de a , denotada , tiene un maximo o un minimo en . Entonces existe tal que
Es decir, los extremos de se alcanzan en puntos en los que el gradiente de es perpendicular a la superficie de nivel de .
Sean una funcion de clase , y supongamos que es un valor regular de (es decir, para todo con ). Sea diferenciable en . Si es un punto de maximo o minimo de sujeta a las restricciones , entonces
para ciertos numeros .