EXTREMOS CONDICIONADOS

Consideremos la función F=f(x,y) de dos variables relacionadas por otra función 𝜙(𝑥, 𝑦) = 0 en
forma implícita, llamada ecuación de ligadura; en consecuencia las variables x e y ya no son
independientes sino que están ligadas a otra función.

Como la ecuación 𝜙(𝑥, 𝑦) = 0 es igual a una constante, entonces para cierta cantidad de x la
cantidad de y queda determinada automáticamente y viceversa.

Queremos hallar valores extremos de F bajo la restricción 𝜙(𝑥, 𝑦) = 0

Cuando x e y son variables independientes (extremos libres), la condición necesaria para la

existencia de extremos es que df=0. Aquí que no son independientes también df=0, pero para ello
no basta con que 𝑓𝑥′ = 0 y 𝑓𝑦′ = 0. ¿Qué hacemos en este caso? A partir de 𝜙(𝑥, 𝑦) = 0 podemos
hallar y=g(x) y tomar a la variable x como independiente e y como variable dependiente.

Tenemos que 𝑑𝑓 = 𝑓𝑥′ 𝑑𝑥 + 𝑓𝑦′ 𝑑𝑦 = 0 , si podemos eliminar dy del df nos quedará únicamente la
variable independiente dx lo que nos permitirá hallar la condición necesaria.

Para eliminar dy del df calcularemos primero 𝑑𝜙

𝜙𝑥′ 𝑑𝑥 + 𝜙𝑦′ 𝑑𝑦 = 0

Supongamos que en el punto que haya un valor extremo sea 𝜙𝑦′ ≠ 0 entonces multiplicamos ambos
𝑓𝑦′
miembros por 𝜙′
𝑦

𝑓𝑦′ ′ 𝑓𝑦′ ′
𝜙 𝑑𝑥 + ′ 𝜙𝑦 𝑑𝑦 = 0
𝜙𝑦′ 𝑥 𝜙𝑦

𝑓𝑦′ ′
⟹ 𝜙 𝑑𝑥 + 𝑓𝑦′ 𝑑𝑦 = 0
𝜙𝑦′ 𝑥

Si restamos 𝑓𝑥′ 𝑑𝑥 + 𝑓𝑦′ 𝑑𝑦 = 0

𝑓𝑦′ ′
𝜙 𝑑𝑥 + 𝑓𝑦′ 𝑑𝑦 = 0
𝜙𝑦′ 𝑥

_______________________
𝑓𝑦′ ′
𝑓𝑥′ 𝑑𝑥 − 𝜙 𝑑𝑥 = 0
𝜙𝑦′ 𝑥

𝑓𝑦′ ′
(𝑓𝑥′ − 𝜙 ) 𝑑𝑥 = 0
𝜙𝑦′ 𝑥
Para que esto sea cero debe anularse el paréntesis. Es decir
𝑓𝑦′ ′
𝑓𝑥′ − 𝜙 =0
𝜙𝑦′ 𝑥

𝑓𝑦′ ′
𝑓𝑥′ = 𝜙
𝜙𝑦′ 𝑥
𝑓𝑥′ 𝑓𝑦′
= Hacemos esta proporción igual a la constante – 𝜆
𝜙𝑥′ 𝜙ý′

𝑓𝑥′ 𝑓𝑦′
= = −𝜆
𝜙𝑥′ 𝜙ý′

𝑓′
Entonces 𝜙𝑥′ = −𝜆 ⟹ 𝑓𝑥′ = −𝜆𝜙𝑥′ ⟹ 𝑓𝑥′ + 𝜆𝜙𝑥′ = 0
𝑥

𝑓𝑦′
= −𝜆 ⟹ 𝑓𝑦′ = −𝜆𝜙𝑦′ ⟹ 𝑓𝑦′ + 𝜆𝜙𝑦′ = 0
𝜙𝑦′

Además tenemos 𝜙(𝑥, 𝑦) = 0

Estas ecuaciones surgen de la función de Lagrange

𝑳(𝒙, 𝒚, 𝝀) = 𝑭(𝒙, 𝒚) + 𝝀𝝓(𝒙, 𝒚)

Donde 𝐿′𝑥 = 0 𝐿′𝑦 = 0 𝐿′𝜆 = 0

𝑓𝑥′ + 𝜆𝜙𝑥′ = 0
{𝑓𝑦′ + 𝜆𝜙𝑦′ = 0
𝜙(𝑥, 𝑦) = 0

Este método es el llamado MÉTODO DE MULTIPLICADORES DE LAGRANGE

Para que este método sea válido 𝜙𝑥′ 𝜙𝑦′ no deben ser ceros simultáneamente.

Condición suficiente

𝐿′′𝑥𝑥 𝐿′′𝑥𝑦 𝐿′′𝑥𝜆 𝐿′′𝑥𝑥 𝐿′′𝑥𝑦 𝜙𝑥′

′′
Hessiano Orlado 𝐻 ∗ = |𝐿𝑦𝑥 𝐿′′𝑦𝑦 𝐿′′𝑦𝜆 | = |𝐿′′𝑦𝑥 𝐿′′𝑦𝑦 𝜙𝑦′ |
𝐿´´𝜆𝑥 𝐿′′
𝜆𝑦 𝐿′′
𝜆𝜆
𝜙𝑥′ 𝜙𝑦′ 0

Si 𝐻 ∗ > 0 hay máximo

Si 𝐻 ∗ < 0 hay mínimo

Si 𝐻 ∗ = 0 Caso dudoso