Professional Documents
Culture Documents
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).
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
d f
=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, es simplemente otra funcin ms en en plano XY,
y)
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) ,
es una cosntante
=
donde
(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 .
g1 = 0
g 2
g1
g2 = 0
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 (1x ,2 x ,3 x ,...) f ( x1 , x2 , x3 ,...) 1 g1 ( x1 , x2 , x3 ,...) 2 g 2 ( x1 , x2 , x3 ,...)
=
...
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 , ...
a) Construya la funcin
Problemas:
Encuentre el mnimo de la funcin f ( x, y) = x 2 + y 2 para puntos x, y que yacen en la
2
2
curva ( x 4) + y = 1 .