En este apunte, se describen las propiedades del hessiano, de los extremos de las funciones sobre conjuntos abiertos y cerrados. Nuevamente, representa un conjunto abierto.

DEFINICIÓN:Sea . Decimos que es un máximo relativo de en si existe tal que . Si además se dice máximo relativo estricto. De manera análoga, se definen el mínimo relativo y el mínimo estricto.
TEOREMA: Sea , diferenciable en . Si es extremo de , entonces
DEFINICIÓN: Los puntos que satisfacen se llaman puntos críticos de . Luego, una función diferenciable en , satisface que los posibles extremos de en son los puntos críticos de en .
DEFINICIÓN: Las funciones , se llaman funciones cuadráticas. Satisfacen las propiedades siguientes:
-son continuas
-
-. Se deduce que sobre una recta, el signo de la función cuadrática no cambia.
Definición: Decimos que es definida positiva, si . De manera análoga, decimos que es definida negativa si . Si existen tales que , se dice que es indefinida.
Lema : Si es definida positiva, entonces existe que satisface . De manera similar, si es definida negativa, entonces existe que satisface
Lema: Si y:
. Entonces:
-. Luego, es definida positiva.
-. Luego, es definida negativa.
-. Luego, es indefinida
TEOREMA: Sea , un punto crítico de en . Sea el hessiano de en . Se verifica:
- es definido positivo, entonces es un mínimo relativo estricto
- es definido negativo, entonces es un máximo relativo extricto
- es indefinido, entonces no es un extremo y se llama punta silla o de ensilladura.
Teorema: sea un entorno de y punto crítico de . Luego, sea:
.
-Si es un mínimo relativo estricto.
-Si es un máximo relativo estricto.
-Si es un punto de ensilladura
Lema: Sea estrictamente creciente. Luego, es extremo de es extremo de . Si es estricatmente decreciente, vale el , pero cambian los máximos por los mínimos y los mínimos por los máximos(es decir, un máximo de es un mínimo de , y un mínimo de es un máximo de ))
MULTIPLICADORES DE LAGRANGE: Sea , y sea una función . Notamos a la restricción de a . Sea . Si es extremo de , entonces existe .
En caso de tener restricciones, y extremo de sujeto a tales restricciones, siendo , existen tales que:
.
Esta forma de calcular extremos de funciones con restricciones se conoce como el método de los multiplicadores de Lagrange . Los puntos que se obtienen de este método suelen llamarse puntos críticos .

Perdón si hay errores en las expresiones de LaTex. Por alguna razón mi PC no visualiza como quedan las expresiones a esta hora. Mañana tan pronto como pueda arreglo los errores. Hasta entonces, discúlpenme.
Edit: ya está. Ya arreglé lo que tenía mal en LaTex

una webada, pero..
el maximo estricto no es en vez de ??

No; porque un mínimo es tal que no hay imagen mayor alrededor de cierta bola. Luego, si lo trato de extender a , elimino la idea de mínimo en en . Es decir, la propiedad de máximo y mínimo es local, no necesariamenmte global. Espero haber sido claro

aah, creo que me confundi estricto con absoluto.
entonces, estricto seria (dicho muy coloquialmente) que "esta solito" ? que no es digamos parte de una recta o una curva de minimos/maximos?

ahh.. por eso te confundiste. Si, absoluto es global; estricto, solito en una bola, como dijiste.

que pasa si para un solo P?

puedo usar lagrange y desp analizar ese punto aparte? o directamente no lo puedo usar?

Fijate que el gradiente sea no nulo los usás en la demostración para poder usar el teorema de la función implícita y concluir la relación entre gradientes que usás. Si es nulo, no podés llegar a lo mismo. En resumen... mientras todas las hipótesis estén en orden, los puntos de la superficie donde se anula el gradiente los estudiás por separado.
Por cierto, acabo de ver, y debería ir en vez de diferenciable para . No es suficiente para el teo de implícita, sino. Como comentario adicional, vale un resultado un poco más general del método de multpilicadores de Lagrange(para varias superficies al mismo tiempo). No me pareció necesario, pero si les parece útil, pónganlo o lo agrego.
Saludos.

¿Pregunta: que pasa si es negativa?
¿Es de ensilladura o no se nada?
Muchas gracias

no, o sea. que pasa si, por ejemplo, tengo la función





Pero yo sabía las cosas si

La pregunta es que pasa en este caso...

Pero depende del Hessiano.

Te queda

El es el unico punto critico. Y tenes que . Entonces el teorema te dice que es un punto silla. Si el Hessiano es negativo en ese punto, no importa el resto.

Disclaimer: estudie el desarrollo de ese teorema muy por encima, solo se aplicar la "receta". Estaria bueno que alguien que sepa la demostracion confirme lo que dije.

Ahi cambié lo que decías de . Es decir, había dos '''' que eran lo mismo. La raya arriba la usé para notar que era un vector, aunque realmente es algo inútil esa notación(en un principio quería evitar justamente confusión)
Es como decís fedor: si el determinante del hessiano es negativo es un punto silla . Puse unas propiedades arriba del criterio del Hessiano que se usan justamente para probar al criterio.