Prctica 6.

Mtodo de los
multiplicadores de Lagrange.
Extremos condicionados.
Anlisis Matemtico II. Departamento de Matemticas.
Diplomatura en Estadstica / Ingeniera Tcnica de Informtica de
Gestin
Ejemplo 1. Sea la funcin f Hx, yL = x
2
- y
2
. Busquemos los extremos de
dicha funcin restringida a la circunferencia centrada en el origen y de radio
1.
Definimos la funcin
In[1]:= Clear@"Global`"D
f@x_, y_D := x
2
y
2
Plot3D@f@x, yD, 8x, 1, 1<, 8y, 1, 1<, BoxRatios 81, 1, 1<D
Out[3]=
Se trata de calcular el mximo y mnimo de la funcin restringida a la circunferencia D={(x, y) eR
2
: x
2
+ y
2
=1}.
In[4]:= ParametricPlot3D@8Cos@tD, Sin@tD, Cos@tD^2 Sin@tD^2<, 8t, 0, 2 <D
Out[4]=
-1.0
-0.5
0.0
0.5
1.0
-1.0
-0.5
0.0
0.5
1.0
-1.0
-0.5
0.0
0.5
1.0
Puesto que D es un conjunto cerrado y acotado (setratadelacircunferenciadecentro(0,0) y radio 1) y la funcinf es
continua tenemos garantizado que existen el mximo y el mnimo absolutos de la funcin f en el conjunto D. Para
determinarlos aplicamos el mtodo de los multiplicadores de Lagrange. Definimos la funcin que nos determina la
ligadura o restriccin
In[5]:= g@x_, y_D := x
2
+ y
2
1
Determinamos las ecuacionescuyas soluciones sonloscandidatosaextremos.
In[6]:= ecu1 =
x
f@x, yD
x
g@x, yD
Out[6]= 2 x 2 x
In[7]:= ecu2 =
y
f@x, yD
y
g@x, yD
Out[7]= 2 y 2 y
In[8]:= ecu3 = g@x, yD 0
Out[8]= 1 + x
2
+ y
2
0
Hallamos los puntos candidatos a extremos
In[9]:= Solve@8ecu1, ecu2, ecu3<, 8x, y, <D
Out[9]= 88 1, y 1, x 0<, 8 1, y 1, x 0<, 8 1, x 1, y 0<, 8 1, x 1, y 0<<
Se obtienen cuatro puntos A=(-1,0), B =(1,0), C=(0,-1) y D=(0,1). Para determinar dnde se encuentran el mximo y el
2 Practica6.nb
mnimo basta evaluar la funcin f en dichos puntos.
In[10]:= f@1, 0D
Out[10]= 1
In[11]:= f@1, 0D
Out[11]= 1
In[12]:= f@0, 1D
Out[12]= 1
In[13]:= f@0, 1D
Out[13]= 1
Luego, se alcanza el mximo absoluto 1 en los puntosA=(-1,0) y B=(1,0) y el mnimoabsoluto -1 en los puntosC=(0,-1)
y D=(0,1).
Ejemplo 2. Utilizar los multiplicadores de Lagrange para maximizar
f(x,y)=x
2
-y
2
sujeta a la restriccin 2y-x
2
=0, x>0, y>0.
In[14]:= Clear@"Global`"D
f@x_, y_D := x
2
y
2
Plot3D@f@x, yD, 8x, 3, 3<, 8y, 3, 3<, BoxRatios 81, 1, 1<D
Out[16]=
Se trata de calcular el mximo de la funcin restringida a la parbola y=x
2
2, para valores de x>0..
Practica6.nb 3
In[17]:= ParametricPlot3D@8x, x^22, x^2 Hx^2 2L^2<, 8x, 0, 3<, BoxRatios 81, 1, 1<D
Out[17]=
0
1
2
3
0
1
2
3
4
-10
-5
0
Puesto que D no es un conjunto acotado (se trata de una parbola) no tenemos garantizada la existencia del mximo ni del
mnimo absolutos. En cualquier caso si existe algn extremo tiene que ser solucin del siguiente sistema.
In[18]:= g@x_, y_D := 2 y x^2
In[19]:= ecu1 =
x
f@x, yD
x
g@x, yD
Out[19]= 2 x 2 x
In[20]:= ecu2 =
y
f@x, yD
y
g@x, yD
Out[20]= 2 y 2
In[21]:= ecu3 = g@x, yD 0
Out[21]= x
2
+ 2 y 0
Hallamos los puntos candidatos a extremos.
In[22]:= Solve@8ecu1, ecu2, ecu3<, 8x, y, <D
Out[22]= ::y 1, 1, x 2 >, :y 1, 1, x 2 >, 8 0, y 0, x 0<>
Se obtienen tres puntos pero solo ( 2 , 1) se corresponde con valores positivos de x e y. Evaluamos la funcin f en
dicho punto.
In[23]:= fB 2 , 1F
Out[23]= 1
4 Practica6.nb
Luego, si se alcanza el mximo tiene que ser en el punto ( 2 , 1) y vale 1 .
In[24]:= f@x, x^22D
Out[24]= x
2

x
4
4
In[25]:= Plot@8f@x, x^2 2D, 1<, 8x, 0, 4<D
Out[25]=
1 2 3 4
-15
-10
-5
Grficamente se observa que efectivamente el mximo es 1.
Practica6.nb 5
Ejemplo 3. Utilizar los multiplicadores de Lagrange para hallar
todos los extremos de la funcin f(x,y)=x
2
+3xy+y
2
sujetos a la
restriccin x
2
+y
2
1
In[26]:= Clear@"Global`"D
f@x_, y_D := x
2
+ 3 x y + y
2
Plot3D@f@x, yD, 8x, 1, 1<, 8y, 1, 1<, BoxRatios 81, 1, 1<D
Out[28]=
Se trata de calcular el mximo de la funcin restringida al crculo x
2
+ y
2
1
6 Practica6.nb
In[29]:= h@x_, y_D := WhichAx
2
+ y
2
1, x
2
+ 3 x y + y
2
, x
2
+ y
2
> 1, 10E
Plot3D@h@x, yD, 8x, 1, 1<, 8y, 1, 1<, PlotRange 81, 4<, PlotPoints 50D
Out[30]=
Puesto que el crculo x
2
+ y
2
1 es un conjuntocompacto(cerrado+acotado) y f(x,y) escontinua tenemos garantizadala
existencia del mximo y del mnimo absolutos. Los extremos tienen que alcanzarse en el interior del crculo o bien sobre
la frontera (la circunferencia).
Puntos crticos en el interior.
In[31]:= SolveA9
x
f@x, yD 0,
y
f@x, yD 0=, 8x, y<E
Out[31]= 88x 0, y 0<<
In[32]:= MatrizHessiana@fD@x_, y_D =

x,x
f@x, yD
x,y
f@x, yD

y,x
f@x, yD
y,y
f@x, yD
;
MatrixForm@MatrizHessiana@fD@x, yDD
Out[33]//MatrixForm=
2 3
3 2
In[34]:= Hessiano@fD@x_, y_D = Det@MatrizHessiana@fD@x, yDD;
In[35]:= Hessiano@fD@0, 0D
Out[35]= 5
Como el Hessiano (determinante de la matriz hessiana) enel punto(0,0) es menor que0seconcluye que hay unpunto
de silla en dicho punto.
Extremos en la frontera
In[36]:= g@x_, y_D := x^2 + y^2 1
In[37]:= ecu1 =
x
f@x, yD
x
g@x, yD
Out[37]= 2 x + 3 y 2 x
Practica6.nb 7
In[38]:= ecu2 =
y
f@x, yD
y
g@x, yD
Out[38]= 3 x + 2 y 2 y
In[39]:= ecu3 = g@x, yD 0
Out[39]= 1 + x
2
+ y
2
0
In[40]:= Solve@8ecu1, ecu2, ecu3<, 8x, y, <D
Out[40]= ::
1
2
, x
1
2
, y
1
2
>, :
1
2
, x
1
2
, y
1
2
>,
:
5
2
, x
1
2
, y
1
2
>, :
5
2
, x
1
2
, y
1
2
>>
Evaluamos la funcin f en lassoluciones del sistemadeLagrange
In[41]:= fB
1
2
,
1
2
F
Out[41]=
5
2
In[42]:= fB
1
2
,
1
2
F
Out[42]=
1
2
In[43]:= fB
1
2
,
1
2
F
Out[43]=
1
2
In[44]:= fB
1
2
,
1
2
F
Out[44]=
5
2
Luego, el mximo absoluto es 5/2 y el mnimo absoluto es -1/2.
8 Practica6.nb
Ejemplo 4. Hallar el punto ms alto de la curva de interseccin
de las superficies x
2
+y
2
+z
2
= 36, 2x+y-z=2.
In[45]:= Clear@"Global`"D
esfera = ContourPlot3D@x^2 + y^2 + z^2 == 36, 8x, 6, 6<, 8y, 6, 6<, 8z, 6, 6<D
Out[46]=
Practica6.nb 9
In[47]:= plano = ContourPlot3D@2 x + y z == 2, 8x, 6, 6<, 8y, 6, 6<, 8z, 6, 6<D
Out[47]=
In[48]:= Show@esfera, planoD
Out[48]=
In[49]:= f@x_, y_D := 2 x + y 2
Se trata de calcular el mximo de la funcin restringida a 36- x
2
- y
2
= 2x + y -2. Esta curva es compacta
(cerrada+acotada) y por tanto la funcin altura (que es continua) alcanza su valor mximo.
10 Practica6.nb
In[50]:= g@x_, y_D := 36 x
2
y
2
2 x y + 2
In[51]:= ecu1 =
x
f@x, yD
x
g@x, yD
Out[51]= 2 2
x
36 x
2
y
2

In[52]:= ecu2 =
y
f@x, yD
y
g@x, yD
Out[52]= 1 1
y
36 x
2
y
2

In[53]:= ecu3 = g@x, yD 0
Out[53]= 2 2 x y + 36 x
2
y
2
0
In[54]:= Solve@8ecu1, ecu2, ecu3<, 8x, y, <D N
Out[54]= 88 0. 782142, x 2. 83718, y 1. 41859<<
Evaluamos la funcin f en lassoluciones del sistemadeLagrange
In[55]:= f@2.8371760794799603, 1.4185880397399804D N
Out[55]= 5. 09294
Luego, la altura mxima es 5. 09294.
Ejercicios propuestos
Ejercicio 1. Minimizar f(x,y)= x
2
+y
2
sujeta a la restriccin
2x+4y-15=0.
Ejercicio 2. Utilizar los multiplicadores de Lagrange para hallar
todos los extremos de la funcin f(x,y)=e
-x y4
sujetos a la
restriccin x
2
+y
2
1
Ejercicio 3. El material para la base de una caja abierta cuesta 1.5
veces ms por unidad de rea que el material para construir los
lados. Hallar las dimensiones de la caja de mayor volumen que
puede construirse con un costo fijo C.
Ejercicio 4. Hallar el punto ms alto de la curva de interseccin
de las superficies x
2
+y
2
-z
2
= 0, x+2 z=4.
Practica6.nb 11