Extremos Relativos

f(a, b) es máximo relativo⟺ (𝑎, 𝑏)𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎𝑙 𝐷𝑓 ∧ ∀(𝑥, 𝑦) ∈ 𝐸(𝑎, 𝑏) ⟹ 𝑓(𝑥, 𝑦) <

𝑓(𝑎, 𝑏)

f(a, b) es mínimo relativo⟺ (𝑎, 𝑏)𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎𝑙 𝐷𝑓 ∧ ∀(𝑥, 𝑦) ∈ 𝐸(𝑎, 𝑏) ⟹ 𝑓(𝑥, 𝑦) >

𝑓(𝑎, 𝑏)

Condición necesaria

Plano tangente paralelo al plano(x,y), esto significa 𝑓𝑥′ = 0 𝑦 𝑓𝑦′ = 0

Condición suficiente

Consideramos el Polinomio de Taylor hasta segundo orden

′ ′ 1 ′′ ′′ ′′
𝑓(𝑥, 𝑦) = 𝑓(𝑎, 𝑏) + 𝑓𝑥(𝑎,𝑏) ℎ + 𝑓𝑦(𝑎,𝑏) 𝑘 + 2 [𝑓𝑥𝑥(𝑎,𝑏) ℎ2 + 2𝑓𝑥𝑦(𝑎,𝑏) ℎ𝑘 + 𝑓𝑦𝑦(𝑎,𝑏) 𝑘2]

El diferencial primero se anula ya que las derivadas primeras valen cero en el punto crítico.

1 ′′ ′′ ′′
𝑓(𝑥, 𝑦) − 𝑓(𝑎, 𝑏) = [𝑓 ℎ2 + 2𝑓𝑥𝑦(𝑎,𝑏) ℎ𝑘 + 𝑓𝑦𝑦(𝑎,𝑏) 𝑘2]
2 𝑥𝑥(𝑎,𝑏)
′′ ′′ ′′
Hacemos 𝑓𝑥𝑥(𝑎,𝑏) =𝐴 𝑓𝑥𝑦(𝑎,𝑏) =𝐵 𝑓𝑦𝑦(𝑎,𝑏) =𝐶

Entonces tenemos

1
𝑓(𝑥, 𝑦) − 𝑓(𝑎, 𝑏) = [𝐴ℎ2 + 2𝐵ℎ𝑘 + 𝐶𝑘 2 ]
2
1 𝐵 𝐶
= 2 𝐴 [ℎ2 + 2 𝐴 ℎ𝑘] + 2 𝑘 2

1 𝐵 𝐵2 𝐶 𝐵2 2
= 𝐴 [ℎ2 + 2 ℎ𝑘 + 2 𝑘 2 ] + 𝑘 2 − 𝑘
2 𝐴 𝐴 2 2𝐴

1 𝐵 2 𝐴𝐶 − 𝐵 2 2
𝑓(𝑥, 𝑦) − 𝑓(𝑎, 𝑏) = 𝐴 (ℎ + 𝑘) + 𝑘
2 𝐴 2𝐴
Si 𝐴𝐶 − 𝐵 2 > 0 ∧ 𝐴 > 0 𝑓(𝑥, 𝑦) − 𝑓(𝑎, 𝑏) > 0 ⟹ 𝑓(𝑥, 𝑦) > 𝑓(𝑎, 𝑏) MINIMO

Si 𝐴𝐶 − 𝐵 2 > 0 ∧ 𝐴 < 0 𝑓(𝑥, 𝑦) − 𝑓(𝑎, 𝑏) < 0 ⟹ 𝑓(𝑥, 𝑦) < 𝑓(𝑎, 𝑏) MAXIMO

Si 𝐴𝐶 − 𝐵 2 < 0 𝑓(𝑥, 𝑦) − 𝑓(𝑎, 𝑏) toma distintos signos. NO HAY EXTREMO

SI 𝐴𝐶 − 𝐵 2 = 0 el signo depende de A⟹CASO DUDOSO

𝐴 𝐵
𝐻=| | Hessiano
𝐵 𝐶

Resumiendo

′′ ′′
𝑓𝑥𝑥(𝑎,𝑏) 𝑓𝑥𝑦(𝑎,𝑏) ′′
𝐻(𝑎,𝑏) = | ′′ ′′ |>0 ∧ 𝑓𝑥𝑥(𝑎,𝑏) > 0 Hay Mínimo relativo en (𝑎, 𝑏, 𝑓(𝑎, 𝑏))
𝑓𝑦𝑥(𝑎,𝑏) 𝑓𝑦𝑦(𝑎,𝑏)

′′ ′′
𝑓𝑥𝑥(𝑎,𝑏) 𝑓𝑥𝑦(𝑎,𝑏) ′′
𝐻(𝑎,𝑏) = | ′′ ′′ |>0 ∧ 𝑓𝑥𝑥(𝑎,𝑏) < 0 Hay Máximo relativo en (𝑎, 𝑏, 𝑓(𝑎, 𝑏))
𝑓𝑦𝑥(𝑎,𝑏) 𝑓𝑦𝑦(𝑎,𝑏)

Si 𝐻(𝑎, 𝑏) < 0 PUNTO DE ENSILLADURA (No hay extremo)

Si 𝐻(𝑎, 𝑏) = 0 CASO DUDOSO