Optimización · Definición
Multiplicadores de Lagrange
Antes de empezar necesitas conocer
Permite optimizar cuando las variables no son libres sino que deben cumplir una condición, como un presupuesto o una curva dada.
Definición
El método de los multiplicadores de Lagrange halla los extremos de una función \(f\) sobre la curva \(g=k\) entre los puntos donde el gradiente de \(f\) es un múltiplo \(\lambda\) del gradiente de \(g\).
Para aplicarlo se plantea el sistema \(f_x=\lambda g_x\), \(f_y=\lambda g_y\), \(g(x,y)=k\): tres ecuaciones con incógnitas \(x\), \(y\), \(\lambda\). Se resuelve, se evalúa \(f\) en cada solución y se comparan los valores; el mayor es el máximo y el menor el mínimo. Si la restricción es una curva cerrada y acotada, ambos existen.
Ejemplo guía: maximizar \(xy\) con \(x+y=10\). Las ecuaciones \(y=\lambda\), \(x=\lambda\) dan \(x=y\), y con la restricción \(x=y=5\), \(f=25\). El método no decide por sí mismo si cada solución es máximo o mínimo: hay que comparar los valores de \(f\).
La idea geométrica es que sobre la curva \(g=k\) un extremo ocurre donde la curva de nivel de \(f\) la toca sin cruzarla; ahí ambas son tangentes y, como cada gradiente es perpendicular a su curva de nivel, \(\nabla f\) y \(\nabla g\) son paralelos. Si no lo fueran, podrías moverte a lo largo de la curva y aumentar o disminuir \(f\).
El método exige \(\nabla g\ne\mathbf 0\) en los puntos de la restricción; los puntos donde \(\nabla g=\mathbf 0\) deben revisarse aparte. Con dos restricciones se usan dos multiplicadores, \(\nabla f=\lambda\nabla g+\mu\nabla h\). El valor de \(\lambda\) mide cuánto cambia el óptimo si se relaja \(k\) un poco.
Para pensar
¿Por qué no sirve resolver \(\nabla f=\lambda\nabla g\) sin la ecuación \(g=k\)?
Porque solo garantiza que los gradientes son paralelos, pero el punto podría estar fuera de la curva \(g=k\). La restricción es la tercera ecuación que fija el punto sobre la curva.
Maximiza \(xy\) con \(x+y=10\) usando \(\lambda\). ¿Qué representa \(\lambda\) aquí?
\(\lambda=5\): si la suma pasa de 10 a \(10+\varepsilon\), el máximo \(25\) sube aproximadamente \(5\varepsilon\); de hecho \(\left(\tfrac{10+\varepsilon}{2}\right)^2\approx25+5\varepsilon\).
Ejercicios 10
- Halla el valor máximo de \(f(x,y)=x+y\) sobre la circunferencia \(x^2+y^2=2\).
- Halla el valor mínimo de \(f(x,y)=x^2+y^2\) sobre la recta \(x+2y=5\).
- Para maximizar \(f(x,y)=xy\) con la restricción \(x+y=6\), ¿qué sistema plantea el método?
- Halla el valor máximo de \(f(x,y)=xy\) sobre la recta \(2x+y=12\).
- Al minimizar \(f(x,y)=x^2+y^2\) con la restricción \(x+y=4\), ¿cuánto vale \(\lambda\) en el punto óptimo?
- Halla el valor máximo de \(f(x,y)=xy\) sobre la circunferencia \(x^2+y^2=8\).
- Halla el valor mínimo de \(f(x,y)=x+2y\) sobre la circunferencia \(x^2+y^2=5\).
- Halla el valor mínimo de \(f(x,y,z)=x^2+y^2+z^2\) sobre el plano \(x+y+z=3\).
- ¿Qué significa geométricamente \(\nabla f=\lambda\nabla g\) en un extremo de \(f\) sobre la curva \(g=k\)?
- En una solución del sistema de Lagrange resulta \(\lambda=0\). ¿Qué implica?
Relacionados
Referencias
- James Stewart, Daniel K. Clegg, Saleem Watson, Calculus: Early Transcendentals, 9th edition, Cengage, 2021. §14.8
- Joel Hass, Christopher Heil, Przemyslaw Bogacki, Maurice D. Weir, George B. Thomas Jr., Thomas' Calculus, 15th edition, Pearson, 2023. §14.8
- Jerrold E. Marsden, Anthony Tromba, Vector Calculus, 6th edition, W. H. Freeman, 2012. §3.4