Extremos condicionados.

Multiplicadores de Lagrange
Enunciamos dos teoremas. El primero proporciona condiciones necesarias
para la existencia de extremo local condicionado y el segundo, suficientes.
Tambien a
nadimos ejemplos de aplicaci
on.
Teorema 1. (Condiciones necesarias para la existencia de extremos condicionados)
Sea A Rn abierto y f : A R de clase 1 en A. Sean g1 , . . . , gm : A R
con m < n funciones de clase 1 en A. Sea M = {x A : g1 (x) =
0, . . . , gm (x) = 0} y a M . Supongamos que

g1
g1
(a) . . .
(a)
x1

xn

.
.
=m
..
..
(a) rango

gm
gm
(a) . . .
(a)
x1
xn
es decir, la matriz tiene rango maximo.
(b) f tiene extremo local condicionado en a, es decir o bien existe un entorno V (a) de a tal que f (x) f (a) para todo x V (a) M (maximo local
condicionado), o bien existe un entorno V (a) de a tal que f (x) f (a) para
todo x V (a) M (mnimo local local condicionado).
Entonces, existen unos n
umeros reales 1 , . . . , m (llamados multiplicadores
de Lagrange) tales que

f
g1
gm

(a) + 1
(a) + . . . m
(a) = 0

x1
x1
x1
...

f
g
gm
1

(a) + 1
(a) + . . . m
(a) = 0
xn
xn
xn
Nota Los n
umeros 1 , . . . , m son u
nicos.
Teorema 2. (Condiciones suficientes para la existencia de extremos condicionados)

Supongamos que a verifica las condiciones necesarias del teorema anterior.

Supongamos adem
as que A es convexo y que f, g1 , . . . , gm son de clase 2 en
a. Consideremos la funci
on definida en A (funcion de Lagrange) :
F (x1 , . . . , xn ) = f (x1 , . . . , xn ) + 1 g1 (x1 , . . . , xn ) + . . . + m gm (x1 , . . . , xn )
Consideremos la matriz simetrica (hessiana de F en a):
2F
H(a) =
(a)
xi xj



(i, j = 1, . . . , n)

Entonces: (i ) Si H(a) es definida positiva, f tiene en a mnimo local condicionado. (ii ) Si H(a) es definida negativa, f tiene en a maximo local
condicionado.
Nota En los siguiente ejemplos, obviaremos la comprobacion de que las funciones que aparecen son de clase 2, pues esto se deduce de manera casi
inmediata de las propiedades de las funciones elementales en sus dominios
de definici
on.

1. Hallar los extremos de la funcion f (x, y) = x + 2y con la condicion

x2 + y 2 = 5.
Resoluci
on La funci
on de Lagrange es F (x, y) = x + 2y + (x2 + y 2 5). Hallemos los puntos crticos, es decir los puntos a que satisfacen las condiciones
necesarias del Teorema 1. Seran las soluciones del sistema

1 + 2x = 0
x = 0
F
=
0
2 + 2y = 0

2 y2
2
x
+ y2 5 = 0
x +y 5=0
Resolviendo obtenemos para = 1/2 el punto (x, y) = (1, 2), y para
= 1/2 el (x, y) = (1, 2). Facilmente se comprueba la condicion de rango
2
2F
m
aximo en estos puntos. Las parciales segundas de F son xF2 = 2 , xy
=
0,

2F
y 2

= 2 y las matrices hessianas correspondientes:





1 0
1
0
H(1, 2) =
(def. pos.) , H(1, 2) =
(def. neg.)
0 1
0 1

Por tanto, tenemos en (1, 2) mnimo local condicionado para f y en (1, 2)

m
aximo local condicionado para f.

2. Hallar los extremos de la funcion f (x, y) = xy con la condicion x + y = 1.

Resoluci
on Funci
on de Lagrange: F (x, y) = xy+(x+y1). Puntos crticos:

F
x
F
y

=0
y + = 0
=0 x+=0

x+y =1
x+y =1
Resolviendo obtenemos para = 1/2 el punto (x, y) = (1/2, 1/2). Facilmente se comprueba la condicion de rango maximo en estos puntos. Las
2
2
2F
parciales segundas de F son xF2 = 0 , xy
= 1 , yF2 y las matriz hessiana
correspondiente:


0 1
H(1/2, 1/2) =
1 0
Esta matriz no es ni definida positiva ni definida negativa, por tanto nada
asegura el teorema 2. Pero en este caso, la condicion x + y = 1 se expresa en
parametricas en la forma x = t, y = 1 t (t R). Sustituyendo en f (x, y)
obtenemos la funci
on de una variable (t) = f (t, 1 t) = t t2 . Procedemos
ahora al c
alculo de los extremos de : 0 (t) = 1 2t = 0 t = 1/2 y
00
(1/2) = 2 < 0, lo cual implica que para t = 1/2 tenemos un maximo local. Sustituyendo en las parametricas, concluimos que en (x, y) = (1/2, 1/2)
tenemos m
aximo local condicionado para f.
Nota El usar las ecuaciones parametricas de la condicion (o condiciones)
es una de las estrategias para analizar la existencia extremos locales condicionados cuando la matriz hessiana no es ni definida positiva ni definida
negativa. En cualquier caso, si no se exige usar el metodo de los multiplicadores de Lagrange, podemos por supuesto utilizar la estrategia mencionada.
Resolvemos a continuaci
on de esta manera el mismo problema del ejemplo
1.

3. Hallar los extremos de la funcion f (x, y) = x + 2y con la condicion

x2 + y 2 = 5 sin usar el metodo de los multplicadores de Lagrange.


Resoluci
on La condici
on es una circunferencia
de
centro
el
origen
y
radio
5

cuyas ecuaciones parametricas son x = 5 cos t,

y
=
5
sin
t
(t

[0,
2]).

Sustituyendo
en
la
funci
o
n
obtenemos
(t)
=
5(cos t + 2 sin t) y 0 (t) =

5( sin t + 2 cos t) = 0 si tan t = 2. Esta ecuacion tiene dos soluciones,

t1 (0, /2) y t2 (/2, 3/2).

La derivada segunda es 00 (t) = 5( cos 2 sin t). Dado que t1 pertenece

al primer cuadrante y t2 al tercero, se verifica 00 (t1 ) < 0, 00 (t2 ) > 0, es
decir en t1 tenemos m
aximo local para y en t2 , mnimo. Hallemos ahora los
valores de x e y que corresponden
a esos valores hallados de t. De 1+tan2 t =
p
2
cos2 t obtenemos cos t = 1/(1 + tan
en cuenta que tan ti =
t). Teniendo
2 (i = 1, 2) deducimos cos t1 = +1/ 5, cos t2 = 1/ 5. Sustituyendo en las
ecuaciones parametricas obtenemos respectivamente (x, y) = (1, 2) (punto
de m
aximo local condicionado para f ) y (x, y) = (1, 2) (punto de mnimo
local condicionado para f ).
4. Hallar los extremos de la funcion f (x, y, z) = x + y + z con la condiciones
x2 + y 2 = 1, z = 2.
Resoluci
on Funci
on de Lagrange: F (x, y, z) = x + y + z + (x2 + y 2 1) +
(z 2). Puntos crticos:

1 + 2x = 0

x = 0

=
0
1 + 2y = 0
y
F
1+=0

=
0
y

2 + y2 = 1

2
2
x

x +y =1

z2=0
z2=0

Obtenemospara (, ) = ( 2/2, 1)
el
punto
P
(
2/2,

2/2, 2) y para

(, ) = ( 2/2, 1) el punto Q( 2/2, 2/2, 2). Podemos comprobar facilmente la condici

on de rango maximo en estos puntos. Las parciales segundas
de F son
2F
2F
2F
2F
2F
2F
=
2
,
=
0
,
=
0
.
=
2
,
=
0
,
=0
x2
xy
xz
y 2
yz
z 2
y las matrices hessianas correspondientes:

2 0 0
2
0
0

H(P ) = 0
2 0 , H(Q) = 0 2 0
0
0 0
0
0 0
4

Esta matrices no son ni definida positiva ni definida negativa, por tanto nada
asegura el teorema 2. Procedemos a usar las ecuaciones parametrcas de las
condiciones, es decir x = cos t, y = sin t, z = 2 (t [0, 2]). Obtenemos la
funci
on
(t) = F (x(t), y(t), z(t)) = cos t + sin t + 2 (t [0, 2])
F
acilmente deducimos que para t = /4 y t = 5/4 hay respectivamente
m
aximo local y mnimo local para
estos valores de t en
. Sustituyendo

las parametricas obtenemos

que
(
2/2,
2/2,
2)
es
punto
de maximo local

condicionado para f y ( 2/2, 2/2, 2) de mnimo.

5. Calcular el paraleleppedo de mayor volumen inscrito en el elipsoide
x2 y 2 x2
+ 2 + 2 =1
a2
b
c

(a > 0, b > 0, c > 0)

Resoluci
on Sea (x, y, z) el vertice del paraleleppedo que esta en el primer
cuadrante. El volumen de este es por tanto V = 2x 2y 2z = 8xyz. Es decir,
se trata de hallar el m
aximo de V1 = xyz con la condicion x2 /a2 + y 2 /b2 +
z 2 /c2 = 1 (x 0, y 0, z 0). Funcion de Lagrange:
F (x, y, z) = xyz + (x2 /a2 + y 2 /b2 + z 2 /c2 1)
Puntos crticos
F
2
x = yz + 2x/a = 0
F
2
y = xz + 2y/b = 0
F

= xy + 2z/c2 = 0

2 z 2
x /a + y 2 /b2 + z 2 /c2 =

Siendo V1 0, para x = 0 o y = 0 o z = 0 obtenemos mnimo absoluto. Por

tanto solo consideraremos soluciones para x, y, z positivas. Despejando :
 2 2
yza2
xzb2
xyc2
y a = x2 b2
=
=
=

z 2 a2 = x2 c2
2x
2y
2z
2
2
2 c2 /a2 en la ecuaci
sustituyendo los valores de y 2 = x2 b2 /a
on del
, z = x
elipsoide obtenemos el punto P0 = (a/ 3, b/ 3, c/ 3). En tal punto, V1 =
xyz se hace m
aximo. Efectivamente, al ser V1 continua sobre un conjunto
compacto, V1 alcanza al menos un maximo absoluto. Los posibles puntos

en donde V1 puede alcanzar un extremo son las intersecciones de los planos

coordenados con el elipsoide o el punto P0 . En los primeros hemos visto que
V1 alcanzaba un mnimo. Por tanto, el maximo absoluto lo alcanza V1 en
P0 , siendo el valor m
aximo de V = 8V1 :

8 3
Vmax (P0 ) =
abc
9

Autor: Fernando Revilla