Contenido principal
Cálculo multivariable
Curso: Cálculo multivariable > Unidad 3
Lección 6: Optimización restringida (artículos)Interpretación de los multiplicadores de Lagrange
Los multiplicadores de Lagrange son más que simples variables fantasmas que ayudan a resolver problemas de optimización con constricciones...
Antecedentes
La técnica de los multiplicadores de Lagrange. Recapitulación rápida
Cuando quieres maximizar (o minimizar) una función multivariable start color #0c7f99, f, left parenthesis, x, comma, y, comma, dots, right parenthesis, end color #0c7f99 sujeta a la restricción de que otra función multivariable sea igual a una constante start color #bc2612, g, left parenthesis, x, comma, y, comma, dots, right parenthesis, equals, c, end color #bc2612, sigue estos pasos:
- Paso 1: introduce una nueva variable start color #0d923f, lambda, end color #0d923f y define una nueva función L como sigue:Esta función L se llama el "lagrangiano", y a la nueva variable start color #0d923f, lambda, end color #0d923f se le conoce como un "multiplicador de Lagrange".
- Paso 2: haz el gradiente de L igual al vector cero.En otras palabras, encuentra los puntos críticos de L.
- Paso 3: considera cada solución, las cuales se ven algo como left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, comma, dots, comma, start color #0d923f, lambda, end color #0d923f, start subscript, 0, end subscript, right parenthesis. Sustituye cada una en f. O más bien, primero quita la componente start color #0d923f, lambda, end color #0d923f, start subscript, 0, end subscript, después sustitúyela en f, ya que start color #0d923f, lambda, end color #0d923f no es una entrada de f. La que dé el valor más grade (o más chico) es el punto máximo (o mínimo) que estás buscando.
Limitaciones presupuestarias. Una revisión
El artículo anterior que cubre ejemplos de la técnica del multiplicador de Lagrange incluyó el siguiente problema.
- Problem: supón que tienes una fábrica que produce cierto tipo de dispositivo que requiere acero como materia prima. Tus costos son predominantemente mano de obra, que cuesta dollar sign, 20 por hora para tus trabajadores y el propio acero, que cuesta dollar sign, 170 por tonelada. Supón que tus ingresos, R, se modelan vagamente por la ecuaciónDonde
- h representa las horas de trabajo
- s representa las toneladas de acero
Si tu presupuesto es de dollar sign, 20, comma, 000, ¿cuál es el ingreso máximo posible?
Puedes darte una idea de este problema al usar el siguiente diagrama interactivo, que te deja ver cuáles valores de left parenthesis, h, comma, s, right parenthesis dan un ingreso dado (curva azul) y cuáles satisfacen la constricción (recta roja).
Los detalles completos de la solución se pueden encontrar en el artículo anterior. Para nuestro propósito, solo necesitas saber qué pasa en principio, a medida que seguimos los pasos de la técnica del multiplicador de Lagrange.
- Si empezamos por escribir el lagrangiano L, left parenthesis, h, comma, s, comma, lambda, right parenthesis con base en la función start color #0c7f99, R, left parenthesis, h, comma, s, right parenthesis, end color #0c7f99 y la restricción start color #bc2612, 20, h, plus, 170, s, equals, 20, comma, 000, end color #bc2612.
- Después encontramos los puntos críticos de L, o sea las soluciones de
- Puede haber varias soluciones left parenthesis, h, comma, s, comma, lambda, right parenthesis para esta ecuación,así que para cada una sustituyes las componentes h y s en la función de ingreso R, left parenthesis, h, comma, s, right parenthesispara ver cuál es la que corresponde en realidad con el máximo.
Es común escribir este punto crítico que maximiza como left parenthesis, h, start superscript, times, end superscript, comma, s, start superscript, times, end superscript, comma, lambda, start superscript, times, end superscript, right parenthesis, usando los superíndices de asteriscos para indicar que esta es una solución. Esto significa que h, start superscript, times, end superscript y s, start superscript, times, end superscript representan las horas de mano de obra y las toneladas de acero que debes asignar para maximizar el ingreso sujeto a tu presupuesto. Pero, ¿cómo podemos interpretar el multiplicador de Lagrange lambda, start superscript, times, end superscript que viene con estos valores que maximizan? Esta es la pregunta central del artículo.
Resulta que lambda, start superscript, times, end superscript nos dice cuánto dinero más podemos ganar al cambiar nuestro presupuesto.
Vamos a darnos una idea de lo que significa cambiar el presupuesto. La siguiente herramienta es parecida a la de arriba, pero ahora la recta roja que representa cuáles puntos left parenthesis, h, comma, s, right parenthesis satisfacen la constricción del presupuesto se van a mover a medida que hagas variar el presupuesto alrededor de dollar sign, 20, comma, 000. Este presupuesto se representa con la variable b.
Para cada valor del presupuesto b, trata de maximizar R al asegurarte de que las curvas se sigan tocando. Observa que el valor máximo de R que puedes lograr cambia a medida que b cambia. Estamos interesados en estudiar los detalles de ese cambio.
Sea M, start superscript, times, end superscript que represente el ingreso máximo que logras. En el siguiente diagrama interactivo, la única variable que puedes cambiar es b, y puedes ver cómo el valor de M, start superscript, times, end superscript depende de b.
En otras palabras, este ingreso máximo M, start superscript, times, end superscript es una función del presupuesto b, así que lo escribimos como
Ahora podemos expresar un hecho verdaderamente maravilloso: el multiplicador de Lagrange lambda, start superscript, times, end superscript, left parenthesis, b, right parenthesis da la derivada de M, start superscript, times, end superscript:
En términos del diagrama interactivo de arriba, esto significa que lambda, start superscript, times, end superscript, left parenthesis, b, right parenthesis te dice la razón de cambio del punto negro que representa a M, start superscript, times, end superscript a medida que mueves el punto verde que representa a b.
Mostrar por qué esto es verdad es un poco difícil, pero, primero, tomémonos un momento para interpretarlo. Por ejemplo, si encontráramos que lambda, start superscript, times, end superscript, left parenthesis, b, right parenthesis, equals, 2, point, 59, significaría que cada peso adicional que gastas por arriba de tu presupuesto generaría otros dollar sign, 2, point, 59 de ganancia. Por el contrario, reducir tu presupuesto en un peso resultaría en una pérdida de ganancia por la misma cantidad.
Esta interpretación de lambda, start superscript, times, end superscript aparece muy comúnmente en economía y se merece un nombre: "precio sombra". Es el dinero ganado por un solo peso al relajar la constricción, o por el contrario, el precio de apretar por un peso la restricción.
De manera general
Vamos a generalizar lo que acabamos de hacer con el ejemplo del presupuesto y ver por qué es verdadero. Explicar el resultado completo es en realidad bastante difícil, pero debe quedar claro al tener el siguiente mantra en tu cabeza: "¿cómo cambia la solución a medida que cambia la constricción?".
Empezamos con la configuración habitual del multiplicador de Lagrange. Hay una función que queremos maximizar,
y una constricción,
Empezamos por escribir el lagrangiano,
Sea left parenthesis, x, start superscript, times, end superscript, comma, y, start superscript, times, end superscript, comma, lambda, start superscript, times, end superscript, right parenthesis el punto crítico de L, el cual resuelve nuestro problema de optimización con constricciones. En otras palabras,
Y left parenthesis, x, start superscript, times, end superscript, comma, y, start superscript, times, end superscript, right parenthesis maximiza f (sujeta a la constricción).
Cuando empezamos a pensar en c como una variable, debemos tomar en cuenta el hecho de que la solución left parenthesis, x, start superscript, times, end superscript, comma, y, start superscript, times, end superscript, comma, lambda, start superscript, times, end superscript, right parenthesis cambia a medida que la constricción c cambia. Para hacer esto, empezamos por escribir cada componente como una función de c:
En otras palabras, cuando la constricción es igual a cierto valor c, el triplete que es solución del problema del multiplicador de Lagrange es left parenthesis, x, start superscript, times, end superscript, left parenthesis, c, right parenthesis, comma, y, start superscript, times, end superscript, left parenthesis, c, right parenthesis, comma, lambda, start superscript, times, end superscript, left parenthesis, c, right parenthesis, right parenthesis.
Ahora hacemos que M, start superscript, times, end superscript, left parenthesis, c, right parenthesis represente el valor máximo (con constricción) de f como una función de c, que también se puede escribir en términos de f, x, start superscript, times, end superscript, left parenthesis, c, right parenthesis y y, start superscript, times, end superscript, left parenthesis, c, right parenthesis como sigue:
El resultado básico que queremos mostrar es que
Esto dice que el multiplicador de Lagrange lambda, start superscript, times, end superscript da la razón de cambio de la solución al problema de maximización con constricciones a medida que la constricción varía.
¿Quieres ser más listo que tu profesor?
Probar este resultado podría ser una pesadilla algebraica, ya que no hay una fórmula explícita para las funciones x, start superscript, times, end superscript, left parenthesis, c, right parenthesis, y, start superscript, times, end superscript, left parenthesis, c, right parenthesis, lambda, start superscript, times, end superscript, left parenthesis, c, right parenthesis o M, start superscript, times, end superscript, left parenthesis, c, right parenthesis. Esto significa que tendrías que empezar con la propiedad que define a x, start superscript, times, end superscript, y, start superscript, times, end superscript y lambda, start superscript, times, end superscript, esto es, que del, L, left parenthesis, x, start superscript, times, end superscript, comma, y, start superscript, times, end superscript, comma, lambda, start superscript, times, end superscript, right parenthesis, equals, 0, y razonar para llegar a start fraction, d, M, start superscript, times, end superscript, divided by, d, c, end fraction. Esto no es para nada directo (¡inténtalo!).
Hay una historia divertida, en la cual le preguntaron a un profesor cuál fue la verdad más dura que aprendió de un estudiante. Él recordó una clase que dio en la que pasó por una demostración de álgebra larga y difícil, para que al final un estudiante le dijera que había una aproximación mucho más sencilla. La lección, dijo, fue que él no era tan listo como creía.
El resultado del que estaba hablando resulta ser el que estamos tratando de probar. Aunque la aproximación del estudiante no es tan sencillo como dice la historia, sigue siendo una manera limpia de ver el problema. Más importante aún, es más fácil de recordar que las otras demostraciones, así que lo voy a decir completo aquí. Como suele ser común en matemáticas, un poco de intuición nos puede salvar de álgebra excesiva.
La intuición
La idea subyacente es que al evaluar el propio lagrangiano en una solución left parenthesis, x, start superscript, times, end superscript, comma, y, start superscript, times, end superscript, comma, lambda, start superscript, times, end superscript, right parenthesis, obtendremos el valor máximo M, start superscript, times, end superscript. Esto es porque el término "g, left parenthesis, x, comma, y, right parenthesis, minus, c" en el lagrangiano se anula (ya que una solución debe satisfacer la constricción), por lo que tenemos
Dado que queremos encontrar start fraction, d, M, start superscript, times, end superscript, divided by, d, start color #bc2612, c, end color #bc2612, end fraction, esto sugiere que debemos encontrar una manera para tratar a L como una función de start color #bc2612, c, end color #bc2612. Después tal vez podamos relacionar la derivada que queremos con una derivada de L con respecto a start color #bc2612, c, end color #bc2612.
La continuación
Empieza por tratar a L como una función de cuatro variables en lugar de tres, ya que start color #bc2612, c, end color #bc2612 ahora se modela como un valor que cambia:
Pregunta de reflexión: cuando L está escrita como una función de cuatro variables como esta, ¿qué es start fraction, \partial, L, divided by, \partial, start color #bc2612, c, end color #bc2612, end fraction?
Esta derivada parcial es prometedora, ya que nuestro objetivo es mostrar que start fraction, d, M, start superscript, times, end superscript, divided by, d, start color #bc2612, c, end color #bc2612, end fraction, equals, lambda, start superscript, times, end superscript, y sabemos que M, start superscript, times, end superscript, equals, L en las soluciones. Sin embargo, todavía tenemos trabajo por hacer.
Para codificar el hecho de que solo nos importa el valor de L en las soluciones left parenthesis, x, start superscript, times, end superscript, comma, y, start superscript, times, end superscript, comma, lambda, start superscript, times, end superscript, right parenthesis para un valor dado de start color #bc2612, start color #bc2612, c, end color #bc2612, end color #bc2612, reemplazamos start color #0c7f99, x, end color #0c7f99, comma, start color #0d923f, y, end color #0d923f y start color #a75a05, lambda, end color #a75a05 con start color #0c7f99, x, start superscript, times, end superscript, left parenthesis, start color #bc2612, c, end color #bc2612, right parenthesis, end color #0c7f99, comma, start color #0d923f, y, start superscript, times, end superscript, left parenthesis, start color #bc2612, c, end color #bc2612, right parenthesis, end color #0d923f y start color #a75a05, lambda, start superscript, times, end superscript, left parenthesis, start color #bc2612, c, end color #bc2612, right parenthesis, end color #a75a05. Estas son funciones de start color #bc2612, c, end color #bc2612 que corresponden a la solución del problema del lagrangiano para una opción dada de la "constante" start color #bc2612, c, end color #bc2612.
Esto nos permite escribir M, start superscript, times, end superscript como una función de start color #bc2612, c, end color #bc2612 como sigue:
Aunque esta expresión solo tiene una variable, start color #bc2612, c, end color #bc2612, hay una función de cuatro variables L como intermediaria. Por lo tanto, para tomar esta derivada (ordinaria) con respecto a c, usamos la regla de la cadena multivariable:
Observa que cada derivada parcial en la expresión anterior debe evaluarse en left parenthesis, start color #0c7f99, x, start superscript, times, end superscript, end color #0c7f99, left parenthesis, start color #bc2612, c, end color #bc2612, right parenthesis, comma, start color #0d923f, y, start superscript, times, end superscript, end color #0d923f, left parenthesis, start color #bc2612, c, end color #bc2612, right parenthesis, comma, start color #a75a05, lambda, start superscript, times, end superscript, end color #a75a05, left parenthesis, start color #bc2612, c, end color #bc2612, right parenthesis, comma, start color #bc2612, c, end color #bc2612, right parenthesis, pero escribir eso haría que la expresión fuera más confusa de lo que ya es.
Esto puede parecer mucho, pero recuerda de donde viene cada uno de los términos start color #0c7f99, x, start superscript, times, end superscript, end color #0c7f99, start color #0d923f, y, start superscript, times, end superscript, end color #0d923f y start color #a75a05, lambda, start superscript, times, end superscript, end color #a75a05. Cada derivada parcial start fraction, \partial, L, divided by, start color #0c7f99, \partial, x, end color #0c7f99, end fraction, start fraction, \partial, L, divided by, start color #0d923f, \partial, y, end color #0d923f, end fraction y start fraction, \partial, L, divided by, start color #a75a05, \partial, lambda, end color #a75a05, end fraction se hace cero cuando se evalúa en left parenthesis, start color #0c7f99, x, start superscript, times, end superscript, end color #0c7f99, comma, start color #0d923f, y, start superscript, times, end superscript, end color #0d923f, comma, start color #a75a05, lambda, start superscript, times, end superscript, end color #a75a05, right parenthesis. ¡Así es como se define una solución left parenthesis, start color #0c7f99, x, start superscript, times, end superscript, end color #0c7f99, comma, start color #0d923f, y, start superscript, times, end superscript, end color #0d923f, comma, start color #a75a05, lambda, start superscript, times, end superscript, end color #a75a05, right parenthesis! Esto significa que los primeros tres términos se hacen cero.
Además, como start fraction, d, start color #bc2612, c, end color #bc2612, divided by, d, start color #bc2612, c, end color #bc2612, end fraction, equals, 1, toda la expresión se simplifica a
Es importante darse cuenta que la razón para esta simplificación depende de las propiedades especiales de los puntos que son solución left parenthesis, start color #0c7f99, x, start superscript, times, end superscript, end color #0c7f99, comma, start color #0d923f, y, start superscript, times, end superscript, end color #0d923f, comma, start color #a75a05, lambda, start superscript, times, end superscript, end color #a75a05, right parenthesis. De otro modo, trabajar toda la derivada con base en la regla de la cadena multivariable ¡podría haber sido una pesadilla!
Po el bien de la limpieza de la notación, no incluimos las entradas para estas derivadas, pero vamos a escribirlas.
Como en la pregunta de reflexión de arriba vimos que start fraction, \partial, L, divided by, \partial, start color #bc2612, c, end color #bc2612, end fraction, equals, lambda, esto significa
¡Terminamos!
¿Quieres unirte a la conversación?
- Si yo tengo una manera mas sencilla de resolver todo el tema del Lagrangiano, me pondran en el texto o sere mas lista que el programa?
Quiza deberia escribir un articulo sobre eso, como que desbloqueo avatares y gano medallas.(2 votos)- ojála ser como vos, enseñame(1 voto)