Optimización · Definición

Multiplicadores de Lagrange

cálculo multivariableoptimización

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\).

\[\nabla f=\lambda\,\nabla g,\qquad g=k\]

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

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