CALCULO DIFERENCIAL E INTEGRAL II CALCULO DIFERENCIAL E INTEGRAL II

TEMA 7 (Ultima actualizacin 5-7-202!

F"#ma$ Cua%#&tica$
1) Forma cuadrtica en el R
n
es toda expresin de la forma
x x a j i
n
1 j i, j i,
F

donde
los coeficientes a
ij
y las variables xi , xj toman valores reales y se verifica que a
ij
= a
ji
Los coeficientes determinan una atri! sim"trica de orden n
=

,
_

n , n # , n 1 , n
n , # # , # 1 , #
n , 1 # , 1 1 , 1
a a a
a a a
a a a

Rec$procamente cada atri!
cuadrada, sim"trica de orden n est
asociada a una forma cuadrtica de
orden n
#) %na forma cuadrtica F se llama definida positiva , si F & ' para todo
sistemas de valores no simultneamente nulos de las xi , xj variables
() %na forma cuadrtica F se llama definida ne)ativa , si F * ' para todo
sistemas de valores no simultneamente nulos de las xi , xj variables
+) %na forma cuadrtica F se llama semidefinida positiva , si F ' es
decir se conserva positiva, anulndose solo para al),n sistema de valores
de las variables xi , xj
-) %na forma cuadrtica F se llama semidefinida ne)ativa , si F ' es
decir se conserva ne)ativa, anulndose solo para al),n sistema de valores
de las variables xi , xj
.) %na forma cuadrtica F se llama indefinida , si F toma valores
positivos, nulos o ne)ativos, para distintos sistemas de valores de las
variables xi , xj/
Llamaremos 0 al determinante de
la atri! de los coeficientes de
la forma cuadrtica
0 =
n , n # , n 1 , n
n , # # , # 1 , #
n , 1 # , 1 1 , 1
a a a
a a a
a a a

donde a
ij
= a
ji

1l menor complementario de
orden 2 * n extra$do de 0 lo
llamaremos 0
2

0
2
=
2 , 2 # , 2 1 , 2
2 , # # , # 1 , #
2 , 1 # , 1 1 , 1
a a a
a a a
a a a
1
TEOREMA
3ea
x x a j i
n
1 j i, j i,
F


donde los coeficientes a
ij
y las variables
xi , xj toman valores reales y se verifica que a
ij
= a
ji
La condicin necesaria y suficiente para que F sea definida positiva es
que 0
2
& ' para 2 = 1//n
La condicin necesaria y suficiente para que F sea definida ne)ativa es
que 451)
2
0
2
& ' para 2 = 1//n 6n esta ultima expresin, para 2 =
1 4impar), 0
2
debe ser ne)ativo, de lo contrario no se puede ase)urar
nada/
DEMO'TRACI(N
7os limitaremos a efectuar la demostracin en el espacio R
#


#
# # , # # 1 # , 1
#
1 1 , 1 # # # , # 1 # 1 , # # 1 # , 1 1 1 1 , 1
x / a x / x / a / # x / a x x a x x a x x a x x a
x
j
x
i
1 j i,
a
j i,
F
#
+ + + + +

ya que a 1,#
= a #,1
multiplicamos y dividimos la expresin por a 1,1
y en
los dos primeros t"rminos completamos el binomio cuadrado 8aciendo el
si)uiente artificio
#
# # , #
#
#
1 , 1
#
# , 1 #
#
1 , 1
#
# , 1
# 1 # , 1
1 , 1
1 , 1 #
1
1 , 1
1 , 1
#
x / a x /
a
a
x /
a
a
x / x / a
a
a
/ # x /
a
a
F + + +
( ) ( )
#
#
#
# , 1 # , # 1 , 1
1 , 1
#
# # , 1 1 1 , 1
1 , 1
x / a a / a
a
1
x / a x / a
a
1
F + +
6n el espacio R
#
, 0
#
=
) a a / a 4
a a
a a
#
# , 1 # , # 1 , 1
# , # 1 , #
# , 1 1 , 1

y 0
1
= a
1,1
y reempla!amos en F
( ) ( ) ) x , x 4 F x / 0
0
1
x / a x / a
0
1
F
# 1
#
# #
1
#
# # , 1 1 1 , 1
1
+ +

6ntonces si

'

>
>
' 0
' 0
#
1
F es definida positiva

'

>
<
' 0 ) 1 4
' 0
#
#
1
F es
definida ne)ativa
#
E)TREMO' DE FUNCIONE' DE *ARIA' *ARIA+LE' E)TREMO' DE FUNCIONE' DE *ARIA' *ARIA+LE'
6n "ste tema se estudiar la teor$a de mximos y m$nimos relativos, 4o
locales), de funciones de varias variables independientes o bien
relacionadas entre s$ mediante ciertas condiciones adicionales, que al
i)ual que para funciones de una variable independiente constituye una
importante aplicacin del clculo diferencial, y en particular de la
frmula de 9aylor/ :eamos, entonces, los extremos libres en primer
t"rmino/
E)TREMO' LI+RE' DE FUNCIONE' DE *ARIA' *ARIA+LE' E)TREMO' LI+RE' DE FUNCIONE' DE *ARIA' *ARIA+LE'
1qu$ denotaremos por y = f4x
1
,x
#
,x
(
,/////,x
n
) = f4 x

) una funcin de ;n<

variables independientes definida en un cierto subconjunto 3 de R
n
, a

=
4a
1
,a
#
,///, a
n
) un punto de 3 y 7 = 74 a

, r) un entorno del punto a

, de
radio r & '/
D,-inicin . 3e dice que y = f4 x

) tiene un mximo relativo o local

en a

3, si=
r & ' > x

3 74 a

, r) = f4 x

) f4 a

)
D,-inicin 2. 3e dice que y = f4 x

) tiene un m$nimo relativo o local

en a

3, si =
r & ' > x

3 74 a

, r) = f4 a

) f4 x

)
D,-inicin /. 3e dice que y = f4 x

) tiene un extremo absoluto o

)lobal en a

3, si=
4) x

3 = f4 x

) f4 a

) , o bien =
4??) x

3 = f4 a

) f4 x

)
6n el caso 4), f4 a

) constituye el mximo absoluto de f , y en el caso 4??)

f4 a

) constituye el m$nimo absoluto de f/

N"ta. Los mximos y m$nimos locales se denominan extremos relativos
o locales/ La palabra ;relativo< 4;local<) indica que se compara el valor
de la funcin en el punto x

= a

con los valores que ella toma en una

vecindad de dic8o punto solamente/ 1s$, una funcin con mximos y
m$nimos locales puede tomar valores mayores que sus mximos locales y
menores que sus m$nimos locales/ 1dems, notemos tambi"n que una
funcin y = f4 x

) puede tener varios mximos y m$nimos locales, i)uales

o no entre s$/ 6stas ,ltimas observaciones, para el caso de funciones de
una variable, se justifican al considerar la si)uiente fi)ura/
y
y = f4x)
(
a

C"n%ici"n,$ n,c,$a#ia$ 0a#a la ,1i$t,ncia %, ,1t#,m"$ l"cal,$ %,
-unci"n,$ %,#i2a3l,$
T,"#,ma. 3ea y = f4x
1
, x
#
,//////, x
n
) = f4 x

) una funcin definida en

un recinto 3 4conjunto abierto y conexo de R
n
) y derivable en un punto
a

= 4a
1
, a
#
,/////, a
n
) 3/ @ondicin necesaria pero no suficiente para que
f tome un valor extremo local en a x

es que=

( )
( )
( )

'

, '
x
a f
'
x
a f
'
x
a f
n
#
1

(!

es decir que en ese punto a x


se anulan todas las derivadas
parciales de primer rden de f/
D,m"$t#acin. 3upon)amos que y = f4 x

) toma un valor extremo local

en el punto a

3/ 18ora consideremos las variables x

#
, x
(
,//////, x
n
fijadas en los valores a
#
, a
(
,/////, a
n
respectivamente/ 6n estas condiciones,
resulta y = f4x
1
, a
#
, a
(
,////, a
n
) = F4x
1
) una funcin de la ,nica variable ;x
1
</
Aor otra parte, esta funcin F4x
1
) debe tener un extremo local en x
1
= a
1
,
como es obvio, y por ello, al ser F4x
1
) = f4x
1
, a
#
, a
(
,///, a
n
) derivable en x
1
= a
1
, debe ser
1 1
1
a x en '
dx
x dF

pero
1
n 1
1
n 1 1
1 1
1
x
) a ,///// a 4 f
dx
) a ,///// a , x 4 df
es a x en '
dx
x dF

Lue)o, resulta
( )
'
x
a f
1

/ 6n forma anlo)a se prueban las dems
relaciones (!4
18ora veamos que si se verifican las relaciones (!5 pueden presentarse
distintas situaciones en una vecindad del punto x

= a

/
6s decir, veamos que 41) no es una condicin suficiente para )aranti!ar la
existencia de extremo de f4x) en x

= a

4como lo prueba el ejemplo ()/

+
b c d e
x
E6,m0l" .
3ea f4x,y) = B 5 x 5 y, 4x,y) R/ Las derivadas parciales de primer
orden de f son
f
x
4x,y) = 5 #x,
f
y
4x,y) = 5 #y/
1s$ vemos que 4',') es el ,nico punto en el cual se anulan
simultneamente ambas derivadas parciales de primer orden de f 4punto
cr$tico de f)/Aor otra parte, es
4x,y) R= f4x,y) = B 5 x 5 y = B 5 4x C y) B = f4',')/
Lue)o, f tiene en 4',') un mximo local/ 9ambi"n aqu$ se ve que f4',')
= B es el mximo absoluto de f en R/
E6,m0l" 2.
3ea f4x,y) = B C x C y 4x,y) R/
@alculamos las derivadas parciales de primer orden de f/
f
x
4x,y) = #x
f
y
4x,y) = #y
:emos que en 4',') se anulan simultneamente estas derivadas parciales
de f/
1dems 4x,y) R= f4x,y) = B C x C y B = f4',')/
6ntonces, f tiene en 4',') un m$nimo local /
Dbviamente tambi"n f4',') = B resulta ser el m$nimo absoluto de f en R/
-
78-(159!
E6,m0l" /.
3ea f4x,y) = x 5 y, 4x,y) R Lue)o, es

'

y # ) y , x 4 f
x # ) y , x 4 f
y
x
@omo siempre, calculadas las derivadas parciales de primer orden de f,
vemos que en 4',') se anulan estas simultneamente/ Lue)o 4',')es un
punto cr$tico de f/
7otamos que = y ' = f4',y) = '5 y = 5y* ' = f4',')/ E tambi"n
que x ' =
f4x,') = x 5 ' = x & ' = f4',')/
Fe lo anterior concluimos que en todo entorno de 4',') existen puntos
4x,') para los cuales f4x,') & f4',') y puntos 4',y) para los cuales f4',y) *
f4',')/
6ntonces resulta que en 4',') f no tiene extremo local, aunque en "l
ambas derivadas parciales de f se anulan simultneamente/
O3$,#2aci"n,$.
1)3i y = f4 x

) es diferenciable, las condiciones 41) implican que la

diferencial total de f en el punto a

en el cual f tiene un extremo relativo,

es nula=
.
' dx / ' ///////// dx / ' dx /
x
) a 4 f
/// ////////// dx /
x
) a 4 f
) a 4 df
n 1 n
n
1
1
+ +

+ +

Lue)o, si f es diferenciable, las condiciones 41) quedan resumidas en=d f 4

a

) = ' 4#)
6n particular, si f es una funcin de dos variables independientes ! =
f4x,y), la condicin 4#) implica que el plano tan)ente a la )rfica de f en el
punto 4a
1
, a
#
, f4a
1
, a
#
)) 5cuya ecuacin es=
! 5 f4a
1
, a
#
) = f
x
4a
1
, a
#
) / 4x 5 a
1
) C f
y
4a
1
, a
#
) / 4y 5 a
#
) = d f4a
1
, a
#
) 5es
8ori!ontal, puesto que resulta= ! 5 f4a
1
, a
#
) = d f4a
1
, a
#
) = ', o sea ! = f4a
1
,
a
#
) constante/
6n la prctica, para determinar los extremos de una funcin derivable, se
comien!a por resolver el sistema de ecuaciones 41), obteni"ndose un
n,mero finito o infinito de ra$ces 4a
1
, a
#
,/////, a
n
), 4b
1
, b
#
,/////, b
n
) que se
denominan puntos cr$ticos, estacionarios o extremantes de la funcin f
porque en ellos puede 8aber extremo relativo o absoluto de f/
6l examen directo del comportamiento de f en entornos de cada uno de
ellos acaba de decidir la cuestin/
CONDICIONE' 'UFICIENTE' :ARA LA E)I'TENCIA DE CONDICIONE' 'UFICIENTE' :ARA LA E)I'TENCIA DE
E)TREMO' LOCALE' E)TREMO' LOCALE'
6n )eneral, el problema de detectar extremos de funciones de varias
variables puede lle)ar a ser muy complejo/ 1qu$ slo se estudiar, como
aplicacin de la frmula de 9aylor, un teorema que provee condiciones
suficientes para la existencia de extremo local en un punto cr$tico dado,
en el caso de una funcin de dos variables independientes que cumpla
ciertas condiciones/
Aara estudios ms detallados y )enerales del tema en cuestin, remitimos
al estudiante a la abundante biblio)raf$a existente sobre el particularG por
ejemplo= 1nlisis atemtico, Rey Aastor 5 Ai @alleja 5 9rejo, volumen
#, 6ditorial Hapelus!, 1B-I/
1ntes de pasar al teorema mencionado, recordaremos un teorema de
Jol!ano 5 Keierstrass, y daremos una definicin que nos ser de utilidad
en lo que si)ue /
T,"#,ma= 4Jol!ano 5 Keierstrass)
3i una funcin y = f4x) est definida en un intervalo cerrado La,bM y es
continua en "l, entonces p La,bM, q La,bM > f4p) = mx/ f4x) N
f4q) = min/ f4x) con x La,bM
D,-inicin.
3i f4x,y) es una funcin definida en un recinto F, con derivadas de
se)undo orden continuas, llamaremos 0essiano de f en F al si)uiente
determinante funcional/
I
) y , x 4 f ) y , x 4 f / ) y , x 4 f
) y , x 4 f ) y , x 4 f
) y , x 4 f ) y , x 4 f
) y , x 4 0
#
xy yy xx
yy yx
xy xx

1
1
]
1

4x,y) F/
T,"#,ma. 3i una funcin ! = f4x,y) definida en un recinto R R
#
tiene derivadas parciales se)undas continuas en un entorno del punto
A4a,b) y no simultneamente nulas en el punto A4a,b), siendo f
x
4a,b) =
f
y
4a, b) = ', entonces =
1/ 04a,b) =f
xx
4a,b)/f
yy
4a,b)5
[ ] b) 4a, f
#
xy
&' y f
xx
4a,b)*'

f tiene un
mximo local en A4a,b)/
#/ 04a,b)&' y f
xx
4a,b)&'

f tiene un m$nimo local en A4a,b)/

(/ 04a,b)*'

f tiene en A4a,b) un punto de ensilladura, donde no 8ay

extremo local/
+/ 04a,b)='

no se podr afirmar o ne)ar la existencia de extremo local

en A4a,b)/
D,m"$t#acin.
3upon)amos entonces que la funcin !=f4x,y) definida en un recinto R
R
#
ten)a derivadas parciales se)undas continuas en un entorno
de un punto cr$tico A4a,b) de f del recinto R y que estas
derivadas no se anulen simultneamente en A4a,b)/
Fesarrollando la funcin f4x,y) por la frmula de 9aylor para n=1 en un
entorno del punto cr$tico A4a,b), tendremos=
) 2 b , 8 a 4 f ) 2
y
8 /
x
44
O #
1
) b , a 4 f ) 2
y
8 /
x
4 ) b , a 4 f ) 2 b , 8 a 4 f
#
+ +

+ + +

con '**1
18ora, teniendo en cuenta que es f
x
4a,b)=f
y
4a,b)=' y la continuidad de
las derivadas se)undas en A4a,b), resulta=
( ) ( ) ( ) [ ] ,
( yy
#
# xy 1 xx
#
f 2 f 82 # f 8
#
1
b) f4a, 2) b 8, f4a b) f4a, P + + + + + + +
con 0 k) , (h
i i
para '
# #
2 8 + + 4 i = 1,#,(), es
decir
( ) ) 4 Q
#
1
2 f 82 f # 8 f
#
1
) b f4a, P
# #
yy xy
#
xx
+ + +
4a)
donde f
xx
, f
xy
, f
yy
indican derivadas tomadas precisamente en el punto
A4a,b), y
#
( #
#
1
#
2 82 # 8 ) 4 Q + +
es un infinit"simo para

' de
orden superior a
#
/
R
Recordemos que si en un entorno de 4a,b) es
F & ' en 4a,b) existe un ?7?D R6L19?:D 639R?@9D
F * ' en 4a,b) existe un 1S?D R6L19?:D 639R?@9D
F T ' en 4a,b) existe un ?7?D R6L19?:D 1AL?D
F U ' en 4a,b) existe un 1S?D R6L19?:D 1AL?D
3i 8 y 2 son suficientemente pequeVos el si)no de F es el si)no del
primer par"ntesis en 4a)
Aero esa expresin es una forma cuadrtica en 8 y 2 cuyo determinante
vale 0 =
1
]
1

yy yx
xy xx
f f
f f
) y , x 4
) f , f 4
f f / f
) y 4 ) x 4 #
xy yy xx

este determinante recibe el nombre
de 0633?17D de la funcin f4x,y)/
3i la forma cuadrtica es definida positiva F & ' en 4a,b) existe un
?7?D R6L19?:D 639R?@9D
3i la forma cuadrtica es definida ne)ativa F * ' en 4a,b) existe un
1S?D R6L19?:D 639R?@9D
3i la forma cuadrtica es indefinida F no tiene siempre el mismo si)no
tomando valores positivos y ne)ativos/
7o obstante que el plano tan)ente es 8ori!ontal a la superficie en el punto
4a,b) no existe extremo y este es un punto de ensilladura/
3i la forma cuadrtica es semidefinida, F tomara si)no constante,
anulndose para al),n conjunto de valores de 8 y 2 4no simultneamente
nulos)
6ste se trata de un caso %u%"$" porque no podemos afirmar o ne)ar que
en 4a,b) exista extremo relativo/
6l Alano tan)ente a la superficie no lo es solo en un punto, sino a lo lar)o
de una recta llamada sin)ular/ 3e trata entonces de un @13?5?7?D o
un @13?51S?D se),n que la forma cuadrtica sea semidefinida
positiva o ne)ativa respectivamente/
6ntonces dada !=f4x,y) para determinar los puntos extremos 8acemos lo
si)uiente
1/ 0allamos las derivadas primeras de f4x,y) respecto de x e y
respectivamente
#/ Alanteamos el sistemas de ecuaciones

'

' ) y , x 4 f
' ) y , x 4 f
y
x
y
resolvemos el sistema y 8allamos los puntos cr$ticos A4a,b) , W4a
X,bX) etc/
B
(/ @alculamos el 0633?17D 0 =
1
]
1

yy yx
xy xx
f f
f f
) y , x 4
) f , f 4
f f / f
) y 4 ) x 4 #
xy yy xx

E reempla!amos en 0 las coordenadas de los puntos cr$ticos A, W, etc/
3i 04a,b) & ' existe mximo o m$nimo Y Recordamos el teorema de las
formas cuadrticas que nos ase)uraba que F es definida positiva si 01 y
0# son positivo F & ' y por lo tanto existe un ?7?D R6L19?:D/
3i
' ) b , a 4 f 0
xx 1
<
en 4a,b) existe un ZS?D R6L19?:D
3i 04a,b) = ' la forma cuadrtica es semidefinida y tendremos en 4a,b)
un caso dudoso/
3i 04a,b) * ' la forma cuadrtica es indefinida y tendremos en 4a,b) un
punto de ensilladura/
E)TREMO' DE FUNCIONE' CON *ARIA+LE' LIGADA' O E)TREMO'
CONDICIONADO'
INTRODUCCION INTRODUCCION
Los problemas de mximos y m$nimos locales se presentan con
frecuencia en forma tal que las variables no son todas independientes/
3in embar)o, en muc8os casos las condiciones de v$nculo no permiten
despejar unas variables en funcin de otras/
6s por ello que se buscan m"todos que puedan utili!arse tambi"n cuando
las condiciones de v$nculo solamente definen funciones en forma
impl$cita/
3ea en )eneral ! = f4x,y) una funcin diferenciable de dos variables,
estando li)adas estas por una ecuacin diferenciable )4x,y) = '/
3i se cumple la condicin
y
g

', se podr considerar y = y4x)

definida en forma impl$cita por )4x,y) = ', resultando ! = f
[ ] y4x) , x
=
0 4x)/
Juscamos un m"todo que permita determinar los extremos de 04x)
mediante f y ) , sin necesidad de conocer la expresin expl$cita de 04x)
ni la de y = y4x)/
3e puede interpretar )eom"tricamente el problema en el plano si se
supone que en "l se busca extremar una funcin f4x,y) sobre una
determinada curva )4x,y) = '/
3upuestas satisfec8as las condiciones de existencia, continuidad y
derivabilidad de y = y4x), la condicin necesaria 4pero no suficiente) de
existencia de extremo local ser la anulacin de la derivada total de
1'
f4x,y) siendo y = y4x) esto es de 04x) = fLx ,y 4x)M), obteniendo yX4x)
mediante )4x,y) = '/ 4o sea 0X4x)=')
Lle)amos asi al sistema =

'

+
+
' y[ ) )
' y[ f f
y x
y x

4#)

o bien al=

'

+
+
' dy ) dx )
' dy f dx f
y x
y x
4#X) 4ya que
es yX= 5
y
x
g
g
),
7otemos que en la primera de las relaciones 4#X) dx es incremento
independiente, mientras que dy es diferencial funcional, determinada por
la se)unda relacin, pudi"ndose intercambiar los papeles si as$ conviene
para las condiciones de existencia o de contorno/
6sta ,ltima observacin es importante puesto que las condiciones 4#)
pueden no dar el extremo buscado si "ste se alcan!a en un punto de
contorno /
18ora, de la se)unda de las relaciones 4#X), tenemos
dx
)
)
dy
y
x

4supuesto dx incremento independiente )
y reempla!ando esta expresin de dy en la primera de las relaciones 4#
X) resulta

dx /
)
) f ) f
dx
)
)
f dx f dy f dx f '
y
x y y x
y
x
y x y x

+
Lue)o, como dx es incremento independiente, necesariamente debe ser
'
)
) f ) f
y
x y y x

, esto es
' ) f ) f
x y y x


4()
9enemos entonces que la expresin 4() junto con la ecuacin de enlace
)4x,y)=' forman el sistema de dos ecuaciones con dos inc)nitas=

'

' y) )4x,
' ) f ) f
x y y x
4+)
11
Las soluciones del sistema 4+) son los puntos cr$ticos o extremantes en
los cuales puede existir extremo local en dic8as condiciones de
continuidad y diferenciabilidad/
Debemos notar que sin estas ltimas restricciones mencionadas acaso
existen otros extremos singulares, sin olvidar que deben considerarse
los puntos del contorno.
Finalmente, observemos que el sistema 4+) da condiciones necesarias
pero no suficientes para la existencia de extremo local/ La discusin de
suficiencia se 8ace mediante el estudio del si)no de d
#
f, estando aqu$
li)adas dx, dy, d
#
y por las condiciones d) = ', d
#
) = ', si
consideramos dx incremento independiente y a dy diferencial funcional/
6n la prctica, al resolver problemas concretos, se lo)ra a veces
determinar la naturale!a del punto cr$tico en base al carcter del problema
mismo, mediante consideraciones auxiliares 4por ejemplo,
consideraciones f$sicas o )eom"tricas)/
M;TODO DE LO' MULTI:LICADORE' DE LAGRANGE M;TODO DE LO' MULTI:LICADORE' DE LAGRANGE
uc8os problemas de optimi!acin tienen restricciones o li)aduras en los
valores que pueden usarse para lo)rar la solucin ptima/ 9ales li)aduras
tienden a complicar los problemas de optimi!acin ya que la solucin
optima puede ocurrir fcilmente en un punto frontera del dominio/
Aara resolver tales problemas se utili!a una t"cnica in)eniosa que se
conoce como METODO DE LO' MULTI:LICADORE' DE LAGRANGE en
8onor al atemtico Franc"s \osep8 Louis L1]R17]6 41I(.51R1()
quien introdujo el m"todo en su famoso art$culo de mecnica cuando
ten$a diecinueve aVos/
6ste m"todo implica la introduccin de nuevos parmetros llamados
multiplicadores de La)ran)e, mediante el cual se lo)ra mayor sencille! y
simetr$a en los clculos y se elimina la necesidad de distin)uir
previamente entre variables dependientes e independientes, as$ como la
intervencin de diferenciales se)undas de variables dependientes en la
discusin de suficiencia/
3upon)amos entonces que buscamos extremar una funcin ! = f4x,y) con
la condicin )4x,y) = ', donde tanto f como ) son diferenciables y )
y
'
4o bien )
x
', si )
y
= ')
3i en el sistema 4#X) visto anteriormente, a la primera ecuacin le
sumamos la se)unda multiplicada por un parmetro , ordenando
respecto de dx y dy se obtiene=
1#

'

+
+
' dy ) dx )
' dy f dx f
y x
y x

' ) dy ) dx ) 4 ) dy f dx f 4
y x y x
+ + +
4f
x
C
)
x
) dx C 4f
y
C )
y
) dy = ' 4-)
@omo en 4-) las diferenciales dx, dy no son independientes, no podemos
deducir s$n ms que los par"ntesis deben anularse / 18ora, si se eli)e
de modo que se anule el coeficiente de dy, resulta=
f
x
C )
x
= '
4.)
f
y
C )
y
= '
que conjuntamente con la condicin de v$nculo )4x,y) = ' dan tres
ecuaciones para determinar los puntos cr$ticos y el correspondientemente
parmetro para cada uno de ellos=
f
x
C )
x
= '
f
y
C )
y
= '
)4x,y) = '
La)ran)e observ que las ecuaciones 4.) corresponden o se establecen
cuando se buscan los extremos locales libres de una funcin que la
llamaremos funcin auxiliar de La)ran)e

F4x,y) = f4x,y) C )4x,y) 4I)
considerando en ella x e y como variables independientes y como
constante/
Aor otra parte, para discutir el si)no de df basta considerar el de dF, ya
que sobre )4x,y) = ' es F4x,y) = f4x,y), como se ve en 4I), y con esa
condicin )4x,y) = ', ser tambi"n dF = df/
Recordando como se calcula la diferencial se)unda de funciones
compuestas, tendremos para d
#
F la expresin
y d
y
F
F ) dy
y
dx
x
4 F d
# # #

18ora, la se)unda ecuacin del sistema 4.) es, se),n la expresin 4I) F
y
= ', y como sobre )4x,y) = ' es dF = df, tendremos
F ) dy
y
dx
x
4 f d
# #

1s$, vemos que el clculo formal de dF = df se efect,a considerando
tambi"n en F a x e y como variables independientes/
1(
@abe aclarar que si )
y
= ', no podr 8allarse un tal que anule el
coeficiente de dy en 4-)/
6ntonces, si )
x
', el m"todo si)ue siendo vlido con solo permutar los
roles de x e y/
Aara los puntos sin)ulares de la curva )4x,y) = ' 4 puntos de la curva )
4x,y) = ' que adems satisfacen )
x
= )
y
= '), no podrn obtenerse las
ecuaciones 4.) obviamente, ni a,n permutando los roles de x e y, y
entonces el m"todo de La)ran)e no es aplicable/
MULTI:LICADORE' DE LAGRANGE MULTI:LICADORE' DE LAGRANGE
3i f y ) satisfacen las 8iptesis del 9eorema de L1]R17]6 y f tiene un
mximo o m$nimo sujeto a la li)adura ) 4x,y) = ' , entonces dic8o
extremo se producir en uno de los puntos cr$ticos de la funcin F dada
por
) y , x 4 ) ) y , x 4 f ) , y , x 4 F
:a#a <alla# l"$ 0unt"$ c#=tic"$ $, #,$u,l2, ,l $i>ui,nt, $i$t,ma
' ) y , x 4 ) ) , y , x 4
'
y
) y , x 4 )
y
) y , x 4 f
) , y , x 4
'
x
) y , x 4 )
x
) y , x 4 f
) , y , x 4
F
F
F
y
x

E6,m0l" %, una a0licacin a l"$ n,>"ci"$

La funcin de produccin de @DJJ5FD%]L13 que se usa en 6conom$a
tiene la si)uiente expresin = f 4x,y) = @ / x
a
/y
415a)
donde el valor
de a est comprendido entre ' y 1, '*a*1
6sta funcin se usa como modelo para representar el n,mero de unidades
de produccin por cantidades variables de trabajo y capital/
3i x mide las unidades de trabajo e y mide las unidades de capital
entonces el n,mero total de unidades producidas viene dado por la
funcin f 4x,y)=@/x
a
/y
415a)
Aara un fabricante particular la funcin de CO++-DOUGLA' tiene un
valor de la constante @ = 1'' y de a = ',I-
Las unidades de trabajo son de ^ 1-' la unidad, y la de capital de ^ #-'
la unidad/
6l costo total de trabajo y capital es de ^ -'/'''/
', %,$,a <alla# ,l ni2,l %, 0#"%uccin m&1im" %,l -a3#icant, 4
Fel l$mite del costo de capital y trabajo obtenemos la li)adura
1-'/x C #-'/y = -'/'''
%sando el m"todo de La)ran)e 8acemos
)4x,y) = 1-'/x C #-'/y 5 -'/''' y consideramos la funcin auxiliar de
La)ran)e
1+
F 4x,y, )= f 4 x , y ) 5 ) 4 x , y ) = 1''/x
(> +
/y
1> +
5 /41-'/x C#-'/y
5-'/''')
el sistema ser
' / 1-'
+
(
/ 1''
x
) y , x 4 )
x
) y , x 4 f
) , y , x 4
y
x F
+ > 1
+ > 1
x

' / #-'
+
1
/ 1''
y
) y , x 4 )
y
) y , x 4 f
) , y , x 4
y
x F
+ > (
+ > (
y

' ''' / -' y / #-' x / 1-' ) y , x 4 ) ) , y , x 4
F
+

Fe la primera ecuacin del sistema obtenemos 8 '/- x
51> +
/y
1> +
E sustituyendo en la se)unda ecuacin
' /
#
1
/ #-'
+
1
/ 1''
y
x
y
x
+ > 1
+ > 1
+ > (
+ > (

obtenemos 1 8 549
Wue con la tercera ecuacin del sistema al reempla!ar su valor se obtiene
y = -' x = #-'
Finalmente la produccin mxima es

Los economistas llaman al multiplicador de La)ran)e que se obtiene en
una funcin de produccin :#"%ucti2i%a% ma#>inal %,l ca0ital
1s$ en el ejemplo esto si)nifica que por cada ^ adicional )astado en la
produccin se obtendr ',((+ unidades adicionales de producto/
Ot#" ,6,m0l" acla#at"#i" .
0allar los valores extremos de ! = f4x,y) = x/y, sobre la circunferencia
xCy = 1/
0ay que extremar ! = f4x,y) = x / y, con la condicin )4x,y) = xCy51=
'
3in ms, vemos que f y ) son diferenciables en R/
Lue)o formamos la funcin auxiliar de La)ran)e F4x,y) = x / y C 4x
C y51)/
1 continuacin, calculamos las derivadas de primer orden de F y
establecemos el sistema si)uiente=
F
x
4x,y) = y C # x = ',
41) F
y
4x,y) = x C # y = ',
)4x,y) = xC y 5 1 = '/
Fespejando en las dos primeras ecuaciones de 41) tenemos
4#)
y #
x
x #
y
_
se si)ue que= y = x 4()
1-
= '/- x
51> +
/y
1> +
= '/- 4#-')
51> +
/ 4-')
1> +
= ',((+
f4x,y) = 1''/4#-')
(> +
/4-')
1> +
=1.I1B unidades
Aor la tercera ecuacin de 41), y por 4() debe ser = yCy51 = ', esto es
# y = 1/
Lue)o, es
#
#
#
1
y t t , y por 4() es
#
#
x t / 1s$
obtenemos los puntos
,
#
#
,
#
#
,
#
#
,
#
#
# 1

,
_

,
_

P P

,
#
#
,
#
#
,
#
#
,
#
#
+ (

,
_

,
_

P P

que constituyen los puntos cr$ticos o extremantes de ! = f4x,y) con la
condicin dada/
6studiemos a8ora las condiciones de suficiencia en los puntos cr$ticos, o
sea el si)no de df 4= si)no f ) recordando que dx, dy estn li)adas
por d )4x,y) = d 4xC y 5 1) = '
6ntonces, se),n lo visto antes es si)no df = si)no dF/ 18ora, como
F
xx
= # ,
F
xy
= 1,
F
yy
= # , ser=
df = dF = F
xx
dx C # F
xy
dx dy C F
yy
dy = # dx C # dx dy C #
dy/
Aor otra parte, tenemos que en
#
1
x #
y
_ =
#
#
,
#
#
A
1 1

,
_

, en
,
#
1
x #
y
_ =
#
#
,
#
#
A
# #

,
_

en
,
#
1
x #
y
_ =
#
#
,
#
#
A
( (

,
_

en
#
1
x #
y
_ =
#
#
,
#
#
A
+ +

,
_

, lue)o, en A
1
y A
#
tendremos=
df = 5 dx C # dx dy 5 dy = 5 4dx 5 # dx dy C dy) = 5 4dx 5 dy) /4+)
4aqu$ ya vemos que d
#
f tiene si)no ne)ativo, por lo tanto f tendr
si)no ne)ativo, lo cual implicar que f tiene mximo local en A
1
y A
#
/ 7o
obstante, continuaremos adelante con el fin de ilustrar totalmente el
procedimiento en estudio)/
18ora bien, dx y dy estn li)adas por d)4x,y) =4xC y 5 1) = ', esto es
#x dx C #y dy = ' /
Lue)o, es
y
x
dy
dx 4-) 4y ' en A
1
, A
#
)/ Fe 4+) y de 4-) resulta
df
=
5 4dx
C
x >y dx) 18ora, como en

,
_

#
#
,
#
#
A
1
y
,
#
#
,
#
#
A
#

,
_

es
1
y
x
+
tenemos que

df = 5 4dx C dx) = 5 + dx/Aor lo tanto, si)no f = si)no df = 5 1/
Lue)o, f tiene en A
1
, A
#
mximo relativo/ 1dems, vale
1.
`
max
= x / y
.
2
1
2
2
) (
2
2
) ( t t
A
1
, A
#

1nlo)amente, como en

,
_

#
#
,
#
#
A
( y en

,
_

#
#
,
#
#
A
+ es
1
y
x

, tendremos=
df = dx C # dx dy C dy = 4dx C dy)
=

#
dx
y
x
dx

,
_

= 4dx C dx)
#
=
+dx/
Aor lo tanto si)no f = si)no df = C 1/ 6sto si)nifica que f tiene en A
(
,
A
+
valor m$nimo local/ 1dems es
`
man
= x / y

2
1
2
2
.
2
2

A
(
, A
+
N"ta. recordemos que la funcin si)no de define as$=
s)n = R R tal que
s)n4x)=C1, si x & ',
s)n4x)=', si x = ',
s)n4x)= 51, si x * '/
1I