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 = x2 - y2. 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 := x2 y2 Plot3D@f@x, yD, 8x, 1, 1<, 8y, 1, 1<, BoxRatios 81, 1, 1<D

Out[3]=

Practica6.nb

Se trata de calcular el mximo y mnimo de la funcin restringida a la circunferencia D={(x, y) eR2 : x2 + y2 = 1}.
In[4]:=

ParametricPlot3D@8Cos@tD, Sin@tD, Cos@tD ^ 2 Sin@tD ^ 2<, 8t, 0, 2 <D

1.0 0.5 0.0 -0.5 -1.0 1.0

0.5

Out[4]=

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 (se trata de la circunferencia de centro (0,0) y radio 1) y la funcin f 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 := x2 + y2 1

Determinamos las ecuaciones cuyas soluciones son los candidatos a extremos.

In[6]:= Out[6]= In[7]:= Out[7]= In[8]:= Out[8]=

ecu1 = x f@x, yD 2x 2x

x g@x, yD

ecu2 = y f@x, yD 2 y 2y 0

y g@x, yD

ecu3 = g@x, yD 1 + x2 + y2 0

Hallamos los puntos candidatos a extremos

In[9]:= Out[9]=

Solve@8ecu1, ecu2, ecu3<, 8x, y, <D

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

88 1, y 1, x 0<, 8 1, y 1, x 0<, 8 1, x 1, y 0<, 8 1, x 1, y 0<<

Practica6.nb

mnimo basta evaluar la funcin f en dichos puntos.

In[10]:= Out[10]= In[11]:= Out[11]= In[12]:= Out[12]= In[13]:= Out[13]=

f@1, 0D 1 f@1, 0D 1 f@0, 1D 1 f@0, 1D 1

Luego, se alcanza el mximo absoluto 1 en los puntos A=(-1,0) y B=(1,0) y el mnimo absoluto -1 en los puntos C=(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 := x2 y2 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=x2 2, para valores de x>0..

Practica6.nb

In[17]:=

ParametricPlot3D@8x, x ^ 2 2, x ^ 2 Hx ^ 2 2L ^ 2<, 8x, 0, 3<, BoxRatios 81, 1, 1<D

4 3 2 1 0 0

Out[17]=

-5

-10

0 1 2 3

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]:= In[19]:= Out[19]= In[20]:= Out[20]= In[21]:= Out[21]=

g@x_, y_D := 2 y x ^ 2 ecu1 = x f@x, yD 2x 2 x y g@x, yD x g@x, yD

ecu2 = y f@x, yD 2 y 2 0

ecu3 = g@x, yD x2 + 2 y 0

Hallamos los puntos candidatos a extremos.

In[22]:= Out[22]=

Solve@8ecu1, ecu2, ecu3<, 8x, y, <D

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]:= Out[23]=

::y 1, 1, x 2 >, :y 1, 1, x

2 >, 8 0, y 0, x 0<>

fB 1

2 , 1F

Practica6.nb

Luego, si se alcanza el mximo tiene que ser en el punto ( 2 , 1) y vale 1 .

In[24]:=

Out[24]=

f@x, x ^ 2 2D x2 x4 4

In[25]:=

Plot@8f@x, x ^ 2 2D, 1<, 8x, 0, 4<D

1 2

-5
Out[25]=

-10

-15

Grficamente se observa que efectivamente el mximo es 1.

Practica6.nb

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 := x2 + 3 x y + y2 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 x2 + y2 1

Practica6.nb

In[29]:=

h@x_, y_D := WhichAx2 + y2 1, x2 + 3 x y + y2 , x2 + y2 > 1, 10E

Plot3D@h@x, yD, 8x, 1, 1<, 8y, 1, 1<, PlotRange 81, 4<, PlotPoints 50D

Out[30]=

Puesto que el crculo x2 + y2 1 es un conjunto compacto (cerrado+acotado) y f(x,y) es continua tenemos garantizada la 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]:= Out[31]=

SolveA9x f@x, yD 88x 0, y 0<<

0, y f@x, yD

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 ;

0=, 8x, y<E

MatrixForm@MatrizHessiana@fD@x, yDD
Out[33]//MatrixForm=

2 3 3 2
In[34]:= In[35]:= Out[35]=

Hessiano@fD@x_, y_D = Det@MatrizHessiana@fD@x, yDD; Hessiano@fD@0, 0D 5

Como el Hessiano (determinante de la matriz hessiana) en el punto (0,0) es menor que 0 se concluye que hay un punto de silla en dicho punto.

Extremos en la frontera
In[36]:= In[37]:= Out[37]=

g@x_, y_D := x ^ 2 + y ^ 2 1 ecu1 = x f@x, yD 2x+3y 2x x g@x, yD

Practica6.nb

In[38]:= Out[38]= In[39]:= Out[39]= In[40]:=

ecu2 = y f@x, yD 3x+2y 2y 0

y g@x, yD

ecu3 = g@x, yD 1 + x2 + y2 0

Out[40]=

Solve@8ecu1, ecu2, ecu3<, 8x, y, <D :: : 1 2 ,x 1 ,y 1 2 2 5 2 ,x 1 2 ,y 1 2 >, :

>, :

1 2

,x 1

1 2

,y 1 2

1 >> 2

5 2

,x

,y

>,

Evaluamos la funcin f en las soluciones del sistema de Lagrange

1
In[41]:=

fB 2 5

1 2

Out[41]=

2 1
In[42]:=

1 , 2

fB 2 1 2 1

Out[42]=

F F

In[43]:=

fB 2 1 2 1

1 2

Out[43]=

1 , 2

In[44]:=

fB 2 5

Out[44]=

Luego, el mximo absoluto es 5/2 y el mnimo absoluto es -1/2.

Practica6.nb

Ejemplo 4. Hallar el punto ms alto de la curva de interseccin

de las superficies x 2 + y 2 + z2 = 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]=

10

Practica6.nb

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 - x2 - y2 = 2 x + y - 2. Esta curva es compacta

(cerrada+acotada) y por tanto la funcin altura (que es continua) alcanza su valor mximo.

Practica6.nb

11

In[50]:= In[51]:=

g@x_, y_D :=

36 x 2 y 2 2 x y + 2 x g@x, yD

ecu1 = x f@x, yD x

Out[51]=

36 x2 y2
In[52]:=

ecu2 = y f@x, yD y

y g@x, yD

Out[52]=

36 x2 y2
In[53]:=

ecu3 = g@x, yD 22xy+

0 0

Out[53]= In[54]:= Out[54]=

36 x2 y2

Solve@8ecu1, ecu2, ecu3<, 8x, y, <D N

Evaluamos la funcin f en las soluciones del sistema de Lagrange

In[55]:= Out[55]=

88 0.782142, x 2.83718, y 1.41859<<

f@2.8371760794799603, 1.4185880397399804D N 5.09294

Luego, la altura mxima es 5.09294.

Ejercicios propuestos
Ejercicio 1. Minimizar f(x,y)= 2x+4y-15=0.
x 2 + y 2 sujeta a la restriccin

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 - z2 = 0, x+2 z=4.