Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Multiplicadores de Lagrange PDF
Multiplicadores de Lagrange PDF
( 1, 1) ,
DEFINICIN. Sea f : ( x, y ) U \ 2 f ( x, y ) \ una funcin y sea C U una curva de ecuacin implcita g ( x, y ) = 0. Se dice que f alcanza en ( x0 , y0 ) C un mximo relativo sujeto (condicionado) a la restriccin g ( x, y ) = 0, si existe un disco D centrado en ( x0 , y0 ) tal que
f ( x0 , y0 ) f ( x, y ) para todo ( x, y ) D C ( ( x, y ) D y g ( x, y ) = 0 ).
Se dice que f alcanza en ( x0 , y0 ) C un mnimo relativo sujeto (condicionado) a la restriccin
g ( x, y ) = 0, si existe un disco D centrado en ( x0 , y0 ) tal que
f ( x0 , y0 ) f ( x, y ) para todo ( x, y ) D C ( ( x, y ) D y g ( x, y ) = 0 ).
En ambos casos decimos que f alcanza en ( x0 , y0 ) C un extremo relativo sujeto (condicionado)
a la restriccin g ( x, y ) = 0.
Observa que los extremos absolutos de la funcin f en C se alcanzan en puntos donde la funcin
f alcanza extremos relativos condicionados a g ( x, y ) = 0.
TEOREMA (DE LOS MULTIPLICADORES DE LAGRANGE). En las condiciones anteriores, supongamos
que f alcanza un extremo relativo en el punto ( x0 , y0 ) sujeto a la restriccin g ( x, y ) = 0 y que las
funciones f y g tienen derivadas parciales continuas en un disco D centrado en ( x0 , y0 ). Si
Dg ( x0 , y0 ) 0, entonces existe un nmero \ (llamado multiplicador de Lagrange) tal que
f x ( x0 , y0 ) = g x ( x0 , y0 ),
Df ( x0 , y0 ) = Dg ( x0 , y0 ), es decir, se verifica que
f y ( x0 , y0 ) = g y ( x0 , y0 ).
g ( x, y ) = 0,
f x ( x, y ) = g x ( x, y ),
f ( x, y ) = g ( x, y ).
y
y
Tambin es necesario analizar los puntos de la curva g ( x, y ) = 0 de forma que Dg ( x, y ) = 0.
EJEMPLO. Vamos a calcular los extremos absolutos del campo escalar f : ( x, y ) \ 2 f ( x, y ) \
2
2
f y ( x, y ) = 3 y + x + 4 y 4 = 0.
2
y = 2. Si x = 0, entonces 3 y 2 + 4 y 4 = 0. Es decir, y = o y = 2. Por otro lado, si y = 2,
3
2
entonces f y ( x, 2) = 12 + x 8 4 = 0. Por tanto, x = 0. Resumiendo, hay solamente dos puntos
2
crticos: P1 = 0, y P2 = ( 0, 2 ) . Observa que P2 U . Para aplicar el criterio de las derivadas se 3
2x
2 y + 4
gndas calculamos la matriz diferencial segunda, esto es, D 2 f ( x, y ) =
y, por tan6 y + 4
2x
16
0
2
3
0 8
cin alcanza un mnimo relativo. Ahora usaremos el teorema de los multiplicadores de Lagrange
para buscar los puntos de la frontera de U , es decir puntos que verifican x 2 + y 2 = 1, en los que la
funcin f alcanza extremos relativos condicionados. Llamemos g ( x, y ) = x 2 + y 2 1. Si el punto
( x, y ) es un extremo relativo de f ( x, y ) sujeto a g ( x, y ) = 0, entonces existe un nmero real tal
2 x( y + 2) = 2 x,
que Df ( x, y ) = Dg ( x, y ), es decir, 2
Distinguimos dos casos. Si x = 0,
2
3 y + x + 4 y 4 = 2 y.
la primera ecuacin se verifica y de g (0, y ) = y 2 1 = 0 obtenemos los puntos P3 = (0,1) y
P4 = (0, 1) son dos candidatos a ser extremos relativos. Para ambos la segunda ecuacin tiene solu2
este conjunto es cerrado y acotado). Puesto que estos extremos absolutos deben ser extremos relativos condicionados, necesariamente son P3 = (0,1) y P4 = (0, 1) . Para determinar en cul se alcanza
Df ( x0 , y0 , z0 ) = Dg ( x0 , y0 , z0 ), es decir f y ( x0 , y0 , z0 ) = g y ( x0 , y0 , z0 ),
f z ( x0 , y0 , z0 ) = g z ( x0 , y0 , z0 ).
EJEMPLO. Supongamos que entre todas las cajas rectangulares con rea constante e igual a 10 m 2
hay una caja de mayor volumen posible. Vamos a hallar sus dimensiones. Llamemos x , y y z a
las longitudes de los lados de la caja. Su volumen es xyz y el rea de la superficie de la caja viene
dada por 2( xy + xz + yz ). Por tanto, el problema es calcular el mximo de f ( x, y, z ) = xyz sujeto a
la restriccin g ( x, y, z ) = xy + xz + yz 5 = 0. Adems, observemos que puesto que x , y y z repre-
sentan longitudes, estos valores deben ser positivos: x > 0, y > 0 y z > 0. El punto solucin debe
g ( x, y, z ) = 0,
f ( x, y, z ) = g ( x, y, z ),
x
x
satisfacer las ecuaciones
para un cierto nmero . En nuestro caso, tene f y ( x, y, z ) = g y ( x, y, z ),
f ( x, y, z ) = g ( x, y, z ),
z
z
0 = xy + xz + yz 5,
yz = ( y + z ),
mos que
Puesto que estamos interesados solamente en soluciones del primer
xz
x
z
(
),
=
+
xy = ( x + y ).
octante, tenemos que la suma de cualesquiera dos coordenadas es no nula. Por tanto, de la segunda
yz
xz
=
, lo que implica que yx + yz = xy + xz. Es
y tercera ecuaciones anteriores se sigue que
y+z x+ z
decir, x = y. Anlogamente, se obtiene que x = z. Sustituyendo en la ecuacin xy + xz + yz = 5,
concluimos que x 2 =
5
5
y as x =
. Luego la solucin es la caja con todos los lados iguales a
3
3
5
. Observemos que no hemos probado que sta caja tenga volumen mximo. Lo que hemos obte3
nido es que si existe tal caja esa es la que hemos obtenido. Usualmente llegados a este punto se hace
uso de otros argumentos para concluir que la solucin obtenida es la que optimiza.
Multiplicadores de Lagrange para funciones de tres variables en una curva en. Tambin puede
que estemos interesados en obtener los extremos de una funcin f ( x, y, z ) = 0 definida sobre una
f y ( x0 , y0 , z0 ) = g y ( x0 , y0 , z0 ) + hy ( x0 , y0 , z0 ),
f z ( x0 , y0 , z0 ) = g z ( x0 , y0 , z0 ) + hz ( x0 , y0 , z0 ).
DEM. La demostracin es anloga a la del teorema de los multiplicadores de Lagrange para una curva en el plano. En este caso usaremos el teorema de la funcin implcita con tres incgnitas y dos
ecuaciones. Puesto que los vectores Dg ( x0 , y0 , z0 ) y Dh( x0 , y0 , z0 ) son linealmente independientes,
g x ( x0 , y0 , z0 ) g y ( x0 , y0 , z0 ) g z ( x0 , y0 , z0 )
la matriz
tiene rango dos. De esta forma hay dos co hx ( x0 , y0 , z0 ) hy ( x0 , y0 , z0 ) hz ( x0 , y0 , z0 )
lumnas que son linealmente independientes. Supongamos que son las dos ltimas (de forma anloga
se hace en las otras dos posibilidades). Por el teorema de la funcin implcita, existen un intervalo
I \ centrado en el punto x0 y dos nicas funciones escalares y y z derivables con derivadas
continuas en I tales que y ( x0 ) = y0 , z ( x0 ) = z0 y ( x, y ( x), z ( x)) es una solucin del sistema de
g ( x, y, z ) = 0,
ecuaciones
para cada x I . Es decir, la curva C , alrededor del punto ( x0 , y0 , z0 ), se
h( x, y, z ) = 0,
parametriza mediante la aplicacin C ( x) = ( x, y ( x), z ( x)), con x I . Adems, derivando en el sistema de ecuaciones anterior obtenemos que
g x ( x0 , y0 , z0 ) + g y ( x0 , y0 , z0 ) y( x0 ) + g z ( x0 , y0 , z0 ) z ( x0 ) = 0,
hx ( x0 , y0 , z0 ) + hy ( x0 , y0 , z0 ) y( x0 ) + hz ( x0 , y0 , z0 ) z ( x0 ) = 0.
Es decir, el vector C ( x0 ) = (1, y( x0 ), z ( x0 ) ) es normal al plano generado por Dg ( x0 , y0 , z0 ) y
Dh( x0 , y0 , z0 ). Por otro lado, la funcin ( x) := f ( x, y ( x), z ( x)) tiene un extremo relativo en el punto x0 . De esta forma, ( x0 ) = 0. Si aplicamos la regla de la cadena obtenemos que
Df ( x0 , y0 , z0 ) = Dg ( x0 , y0 , z0 ) + Dh( x0 , y0 , z0 ).
( x x0 ) 2 + ( y y0 ) 2 + ( z z0 ) 2 . Dicha distan-
cia es mxima o mnima cuando su cuadrado lo sea. Por tanto, nuestra funcin objetivo es
f ( x, y, z ) = ( x x0 ) 2 + ( y y0 ) 2 + ( z z0 ) 2 .
Calcularemos, a continuacin, el mnimo de la funcin f ( x, y, z ) sujeto a las restricciones
g ( x, y, z ) = y 2 = 0,
que son las ecuaciones de la recta. Por el teorema de los multiplicadores
h( x, y, z ) = x + z 2 = 0,
de Lagrange, si ( x, y , z ) es el punto donde se alcanza dicho mnimo, deben existir dos nmeros y
tales que Df ( x, y, z ) = Dg ( x, y, z ) + Dh( x, y, z ). En este caso, estas ecuaciones quedan co2( x x0 ) = ,
x z
z x
el hecho de que h( x, y, z ) = x + z 2 = 0, implica que x = 1 + 0 0 y z = 1 + 0 0 . Por otro lado,
2
2
la restriccin g ( x, y, z ) = y 2 = 0 fuerza a que y = 2. Es decir, el punto de la recta donde la distanz x
x z
cia es mnima es 1 + 0 0 , 2,1 + 0 0 . En particular, dicha distancia es
2
2
2
2
x0 z0
z x
x +z
x0 + ( 2 y0 ) + 1 + 0 0 z0 = 2 1 0 0 + ( 2 y0 ) .
1 +
2
2
2
y2 z2
+ = 1 a la re2
3
y = 2,
cta r
Una vez que tenemos la expresin de la distancia de un punto arbitrario P a la
x + z = 2.
recta r tenemos que calcular cundo esta funcin alcanza un mnimo o mximo suponiendo que el
y2 z2
2
P
=
(
x
,
y
,
z
)
pertenece
al
elipsoide
de
ecuacin
x
+
+ = 1. De nuevo podemos considepunto
2
3
rar como funcin objetivo el cuadrado de la distancia. Es decir, queremos buscar el mnimo y el m2
x+ z
ximo de la funcin f ( x, y, z ) = 2 1
+ ( 2 y ) sujeto a la restriccin definida por la fun2
2
2
y
z
cin g ( x, y, z ) := x 2 + + 1 = 0. Por el teorema de los multiplicadores de Lagrange, los puntos
2
3
2
f x ( x, y, z ) = g x ( x, y, z ),
f z ( x , y , z ) = g z ( x, y , z )
2 + x + z = 2 x,
Si = 0, entonces
un cierto nmero real . En nuestro caso tenemos que 2 ( 2 y ) = y,
2 + x + z = 2 Z .
3
2
2
y
z
z2
2
2
y = 2 y x + z = 2. Sustituyendo en x + + = 1 obtenemos que ( 2 z ) + 2 + = 1. Puesto
2
3
3
que el trmino de la izquierda es mayor que 2, sta ecuacin no tiene solucin. Por consiguiente,
1
0. De la primera y tercera ecuacin deducimos que x = z. Por tanto, 3x = z. Despejando
3
ahora en la primera y segunda ecuacin se obtiene que 4 x = y. Por tanto, x 2 + 8 x 2 + 3 x 2 = 1. Es
3 2 3 3
3
. De esta forma, obtenemos las dos soluciones: una es P1 =
,
,
y la
6
3
2
6
3 2 3
3
,
,
otra es P2 =
. Evaluamos ahora la funcin f ( x, y, z ) en estos puntos y obte3
2
6
nemos por una parte f ( P1 ) = 8 4 3 y, por otra, f ( P2 ) = 8 + 4 3. Por tanto, la distancia mnima se
decir, x =
8 + 4 3.
Fijado un sistema de coordenadas cartesianas en el que las abscisas representan la longitud y las ordenadas la latitud (como es habitual en los mapas), el contorno de la isla es la curva de ecuacin implcita x 4 4 x + 4 y 2 + y 4 = 2. Para encontrar el tesoro debes ejecutar los siguientes pasos:
(1) Halla las coordenadas del punto N ms septentrional de la isla.
(2) Comprueba que en dicho punto la curva define la latitud y como funcin de la longitud x y
obtener el polinomio de Taylor de orden 2 de dicha funcin definida implcitamente.
(3) Se sabe que el tesoro est en el punto T de la isla en el que la grfica de dicho polinomio corta
el eje de abscisas. Calcula las coordenadas del punto T .
(4) Dibuja la localizacin aproximada de los ejes coordenados, los puntos N y T y la grfica del
polinomio de Taylor mencionado.
EJERCICIO 8. Calcula las dimensiones de la pirmide recta de base cuadrada y mximo volumen
que puede construirse con un alambre de longitud L.
EJERCICIO 9. Encuentra el punto ms cercano al origen de coordenadas de la superficie xyz = 1,
siendo x > 0, y > 0 y z > 0.
EJERCICIO 10. Calcula el mximo y el mnimo absolutos de la funcin
f ( x, y , z ) = x 2 + y 2 + z 2 + x + y + z
sobre el conjunto U := {( x, y, z ) \ 3 : x 2 + y 2 + z 2 1, y + z = 1} .
EJERCICIO 11. Sea f ( x, y, z ) = 3 x 2 + 4 xy + z 3 . Calcula los extremos absolutos de f en el slido
cilndrico U := {( x, y, z ) \ 3 : x 2 + y 2 1, 2 z 2} .
x 2 + y 2 + z 2 = 36,
EJERCICIO 12. Calcula las coordenadas del punto ms alto de la curva
2 x + y z = 2.
x 2 + z 2 = 2,
EJERCICIO 13. Calcula las coordenadas del punto de la elipse
ms prximo al origen
x + y = 1,
de coordenadas.
z 3 + zx 3 + zy 4 + y 2 + 2 xy 2 x 4 y + 3 = 0.
(1) Prueba que en un entorno del punto P = (1,1, 0) puede obtenerse la coordenada z de los puntos
de S como una funcin explcita z = z ( x, y ) de las otras dos coordenadas.
(2) Calcula el polinomio de Taylor de grado 2 de z en el punto (1,1).
(3) Prueba que (1,1) es un punto crtico de z y clasifcalo.
(4) Sea C la interseccin de la superficie S con el plano OXY . Sea g ( x, y ) = x( y 1). Queremos
hallar los extremos relativos de g sujetos a la restriccin C. Cules son los puntos candidatos a
extremos relativos que proporciona el teorema de los multiplicadores de Lagrange para este caso?
(5) Halla los extremos absolutos de g sujetos a la restriccin C.
EJERCICIO 16. Sea la ecuacin F ( x, y, z ) = z 3 + x 2 z + y 2 z + xy 8 = 0.
(1) Prueba que en un entorno del punto P = (0, 0, 2) puede definirse la variable z como funcin
z = z ( x, y ) de las otras dos variables x e y.
(2) Prueba que (0, 0) es un punto crtico de z ( x, y ) y clasifcalo.
(3) Sea C la curva interseccin de la superficie de ecuacin F ( x, y, z ) = 0 con el plano de ecuacin
z = 1 y sea f ( x, y ) = x 2 + y 2 . Halla los extremos relativos de f sujetos a la restriccin C.
10