Mximos y mnimos mediante el mtodo de Lagrange:

Sea una funcin continua y derivable de varias variables f ( x, y ) (varias variables, o sea , dos en este ejemplo). Sabemos que para encontrar los extremos de la funcin (es decir, los puntos (x,y) donde f alcanza su mximo o mnimo valor), debemos resolver las ecuaciones: f ( x , y ) f ( x, y ) = 0; =0 x y Esto es lo mismo que especificar el punto donde el gradiente de la funcin en el plano XY se anula:
f ( x, y ) = 0. Como usted sabe (!), el gradiente en este caso es un vector en el plano XY que indica la direccin hacia donde hay que moverse para que la funcin aumente ms bruscamente. El gradiente se anula en los puntos donde la funcin es horizontal (donde la funcin no aumenta hacia ningn lado).

En la figura se muestra una funcin con un mximo bien notorio. Las curvas de nivel indican los puntos donde la funcin tiene un valor dado. El gradiente de la funcin en un punto dado tiene direccin perpendicular a la curva de nivel que pasa por ese punto. En el mximo, la curva de nivel degenera en un solo punto. En tal caso, el gradiente es cero: a partir de ese punto no hay ninguna direccin hacia donde la funcin aumente. _______________ A veces no queremos buscar el mximo de la funcin en todo el dominio (plano XY, en este caso), sino slo a lo largo de una curva en el plano XY (en el caso de una funcin de 3 variables, es decir en el volumen XYZ, la restriccin puede ser una curva o una superficie en el espacio XYZ). Nuestro problema es entonces cmo encontrar los extremos de f si queremos limitarnos slo a puntos (x,y) que estn sobre una curva definida por: g ( x, y ) = 0 . La forma ms directa (aunque no necesariamente la ms simple de calcular) es usar la condicin de restriccin g ( x, y ) = 0 para despejar y como funcin de x, y = y ( x ) , y luego reemplazar este valor de y en la funcin f ( x, y ( x )) . De esta forma, tenemos una funcin de una variable menos (en este caso una funcin que slo depende de x) sin restricciones. Para encontrar los extremos, simplemente buscamos los puntos x tales que df ( x, y ( x)) =0 dx Lo malo de este mtodo es que en la prctica no siempre es posible despejar y = y ( x ) !!! Alternativamente, podemos definir la curva g ( x, y ) = 0 en forma paramtrica, es decir, mediante un par de funciones de un parmetro t: x = x (t ) e y = y (t ) tales que g ( x(t ), y (t )) = 0 . En este caso, buscamos el extremo de la funcin f (t ) = f ( x (t ), y (t )) usando, como siempre, la condicin:

 df =0 dt En la prctica, esto a veces tampoco resulta fcil de hacer!!! Veamos entonces la otra alternativa: el mtodo de Lagrange. Grficamente, la funcin f ( x, y ) se puede representar por un mapa de curvas de nivel en el plano XY, que en el ejemplo anterior son curvas circulares. Como sabemos, el punto mximo est en el centro de las curvas de nivel. Sobre este grfico podemos dibujar la curva de restriccin g ( x, y ) = 0 , que es la lnea que atraviesa la figura. Note que en esta figura, hemos dibujado la curva con un parmetro t, que avanza de izquierda a derecha. En el ejemplo, la funcin es mayor mientras ms nos movemos hacia el centro de las curvas de nivel. t El mximo de f a lo largo de la curva ocurre en el punto tal que al avanzar sobre la curva no nos cambiamos de nivel, es decir donde la curva es tangente a la correspondiente curva de nivel. En otras palabras, el extremo de la funcin f sobre la curva g = 0 ocurre donde el gradiente de f es perpendicular a la curva g = 0. Hay otra forma de especificar esto ms elegantemente: uno siempre puede definir el gradiente de la funcin g, esto es g , puesto que g ( x, y ) es simplemente otra funcin ms en en plano XY, donde la restriccin g ( x, y ) = 0 simplemente corresponde a una de las curvas de nivel de g. Esto significa que g , para puntos sobre la curva g = 0, es un vector perpendicular a esta curva. La condicin del extremo es, por lo tanto, un punto donde el gradiente de f es paralelo al gradiente de g: Condicin de extremo: f = g , donde es una constante de proporcionalidad. Esta elegante condicin corresponde exactamente al Mtodo de Lagrange para encontrar mximos y mnimos de una funcin f ( x, y ) sujeto a la restriccin g ( x, y ) = 0 : a) Construya una nueva funcin f ( x, y ) = f ( x, y ) g ( x, y ) , donde es una cosntante (multiplicador de Lagrange), hasta aqu desconocida. b) Extremice esta nueva funcin, considerando las variables sin restriccin, es decir: f ( x, y ) = 0 Las ecuaciones obtenidas sern funciones de las coordenadas x, y y del parmetro . c) Use la ecuacin de restriccin g ( x, y ) = 0 para determinar .

La belleza de este mtodo es que es fcil de aplicar y fcil de generalizar a un nmero mayor de variables y de restricciones.

En 3 dimensiones, con una restriccin:: Queremos encontrar los extremos de f ( x, y , z ) , sujeto a g ( x, y , z ) = 0 . Esto se generaliza en forma muy simple: 1) Ahora trabajamos en el espacio XYZ en vez del plano XY. 2) Ahora f ( x, y , z ) se puede representar en el espacio XYZ por superficies de nivel, donde cada superficie es el lugar de puntos donde la funcin tiene un valor dado. Tal como las curvas de nivel en dos dimensiones, las superficies de nivel resultan como hojas paralelas en cada vecindad, y el gradiente de la funcin es un vector que apunta normalmente a las hojas en la direccin en la que la funcin aumenta. 3) Ahora, la funcin de restriccin g ( x, y , z ) = 0 es una superficie, que corresponde a una de las superficies de nivel de la funcin g ( x, y , z ) . 4) Claramente, el extremo de la funcin f sujeta a la restriccin g = 0 ocurre donde el gradiente de f es perpendicular a la superficie g = 0, es decir, nuevamente los vectores gradiente de f y g son paralelos! En 3 dimensiones, con dos restricciones: Qu pasa si hay dos ecuaciones de restriccin? (en 3 dimensiones, eso puede ocurrir). En tal caso, tenemos una funcin f ( x, y , z ) , de la cual buscamos los extremos, sujeto a las condiciones conjuntas: g1 ( x, y, z ) = 0 y g 2 ( x, y, z ) = 0 . Cada una de estas condiciones corresponde a una superficie en el espacio XYZ. La restriccin simultnea corresponde a los puntos que son comunes a ambas superficies, es decir, definen una curva en el espacio XYZ, que es la interseccin de las superficies (ms vale que tal interseccin exista, pues de otro modo el problema es inconsistente!). En tal caso, el extremo de la funcin, al igual que en el caso en dos dimensiones, ocurre donde la curva de restriccin es tangente a una superficie de nivel de la funcin f. Ahora, todo el problema es expresar esa condicin en trmino de los gradientes: Sabemos que en cada punto, f es un vector perpendicular a la superficie de nivel donde yace tal punto. Por lo tanto, en el punto de extremo, f es perpendicular a la curva de restriccin. La ltima pregunta que nos queda es: cmo defino la direccin de la curva de restriccin? La respuesta es que, en vez de definir la direccin de dicha curva, voy a identificar el plano normal a la curva. Cada superficie de restriccin, en cada punto, tiene definido un gradiente, que es un vector normal a dicha superficie. Por lo tanto, la curva de interseccin de ambas superficies es normal a ambos vectores gradiente (ver figura). El plano normal a la curva, por lo tanto, es aqul que contiene a todos los vectores que son combinacin lineal de los dos gradientes, g1 y g 2 . g1 g1 = 0 g 2 g2 = 0

Como en el punto de extremo, f debe ser normal a la curva, entonces dicho gradiente debe yacer en el plano normal. Esto significa que f es una combinacin lineal de los dos vectores gradiente g1 y g 2 : f = 1 g1 + 2 g 2 , para algn 1 y 2 . Eso es nuevamente el mtodo de Lagrange! Generalicemos: Para encontrar el extremo de la funcin multivariable f ( x1 , x2 , x3 ,...) para valores x1 , x2 , x3 ,... restringidos a las condiciones g1 ( x1 , x2 , x3, ...) = 0 , g 2 ( x1 , x2 , x3, ...) = 0 , etc f ( x , x , x ,...) = f ( x , x , x ,...) g ( x , x , x ,...) g ( x , x , x ,...) ... a) Construya la funcin
1 2 3 1 2 3 1 1 1 2 3 2 2 1 2 3

y extremice considerando como independientes a todas las variables y a todos los parmetros 1 , 2 ,... es decir, imponga f =0 b) Use las ecuaciones de restriccin g1 = 0,... para determinar los valores de los parmetros 1 , 2 ,...

Problemas: Encuentre el mnimo de la funcin f ( x, y ) = x 2 + y 2 para puntos x, y que yacen en la curva ( x 4) 2 + y 2 = 1 . Haga un grfico de la situacin. Solucione el problema haciendo un reemplazo de y en la funcin usando la restriccin y encuentre la solucin al problema de minimizacin en una variable. Alternativamente, use el mtodo de Lagrange.