Matemticas Avanzadas para la Economa Curso 2012/2013

Manuel Snchez Snchez (UNED)

P

g
i
n
a
1

Optimizacin sin restricciones en varias variables.

Introduccin.

Algunos problemas en economa reflejan la necesidad de elegir entre distintas
alternativas.
Por ejemplo, mientras los consumidores eligen entre un amplio conjunto de bienes, los
productores eligen entre un conjunto de posibles inputs para producir una diversa
variedad de diversos outputs.
La economa formal al analizar todos estos tipos de problemas requiere unas tcnicas
para identificar y caracterizar los valores extremos de las funciones en varias variables.

Optimizacin clsica libre: Optimizacin sin
restricciones.

En los problemas de optimizacin sin restricciones, las variables de decisin en
principio pueden tomar cualquier valor. Sin embargo, en la prctica esta situacin no
suele presentarse, ya que por la naturaleza de los problemas econmicos normalmente
las variables deben verificar cierto nmero de restricciones.

No obstante, hay que destacar que este tipo de problemas (sin restricciones) aparecen de
forma natural en disciplinas como la Estadstica, la Econometra, etc.
Otra razn para realizar el anlisis de esta clase de problemas se debe a que, en
ocasiones, es posible abordar la resolucin de un programa con restricciones haciendo
uso de las tcnicas propias de los programas sin restricciones. En este sentido hay que
sealar que en algunos casos los programas con restricciones de igualdad son
equivalentes a programas sin restricciones. Esto sucede cuando las restricciones nos
permiten explicitar algunas de las variables de decisin y sustituirlas en la funcin
objetivo.

Optimizacin de funciones de dos variables

En esta seccin vamos a desarrollar un procedimiento para encontrar los valores
extremos de una funcin objetivo con dos variables de eleccin.
En primer lugar estudiaremos como encontrar los extremos relativos de z = ]
(x, y)
(funcin de dos variables), que cuenta con la ventaja de ser representable grficamente.
Posteriormente, podremos generalizar los resultados analticos para el caso de n
variables, que ya no es representable grficamente. Sin embargo, cualquiera que se el
numero de variables, supondremos que, cuando est expresada en forma general,
nuestra funcin objetivo posee derivadas parciales continuas, de cualquier orden. Esto
nos asegurar la continuidad y la diferenciabilidad de la funcin objetivo, as como de
sus derivadas parciales.
Mate
Man

Ext

Supo
cerra
En la
o ma



Pues


Teor

Sea
acota

1


2
A lo
abso

emticas A
nuel Snche
tremos a
ongamos un
ado y acotad
a siguiente f
as baja que e

bien, el val
rema del va
(x, y) una
ado del plan
1. Existe al
cumplin
2. Existe al
se cumpl




os mximo
olutos. Tamb
Avanzadas p
ez Snchez
absolutos
na funcin c
do del plano
figura, se ap
el resto de l
lor que tom
alor extrem
a funcin co
no X0Y.
l menos un
ndose que:
(
l menos un
lir que:
(
os y mnim
bin se les l
para la Eco
(UNED)
s
continua (
o X0Y.
precia que e
os puntos.
ma la funcin
mo: extremo
ontinua de d
punto (x
0
, y
(x
0
, y
0
)
punto (x
0
,
(x
0
, y
0
)
mos absolut
llama extre
onoma
(x, y) de do
existen punt
n en dichos
os absoluto
dos variable
y
0
) en D, d
(x, y),
y
0
) , do
(x, y),
utos se les
emos global

os variables,
tos que tien
puntos se d
os.
es, definida
donde alc
(x, y)
onde alca
(x, y)
denomina
les.
Cu
, definida en
en su coord
dice que es u
en un conju
canza un m

anza un mn

colectivam
urso 2012/2
en un conjun
denada z ma

un extremo
unto D cerr
ximo abso
nimo absol
mente extr
2013
nto D
as alta
o.
ado y
oluto,
luto y
remos
P

g
i
n
a
2

Mate
Man
Habl
corre

Es ne


Def

Sea
dice

1


siend
(x
0
, y

2


siend
(x
0
, y




A los
se les

En la
super
mnim
relati

Y as
l, es
(x

, y





emticas A
nuel Snche
laremos de
espondiente
ecesario disti
finicin d
(x, y) una
que:
. La funci
do los punt
y
0
).
2. La funci
do los punt
y
0
).
s mximos y
s denomina e
a siguiente
rficie, se ap
mos relativ
ivos; y en lo
si nos fija
s decir que
y

) y conte
Avanzadas p
ez Snchez
mximos y
es sustituimo
inguir los ext
de extrem
funcin de
n tiene un
tos (x, y) l
n tiene u
tos (x, y) l
y mnimos re
extremos loc
figura repre
precia clara
vos. As en
os puntos R
amos, por ej
e estn cont
enido en el p
para la Eco
(UNED)
y mnimos
os los signo
tremos abso
mos rela
efinida en u
n mximo rel
(x
0
los que est
un mnimo re
(x
0
los que est
elativos se le
cales.
sentamos la
amente que
n los punt
(x
R
, y
R
, z
R
)
emplo, en e
tenidos en e
plano XOY,
onoma
s absolutos
os y po
olutos de los
ativos
un conjunto
lativo en (x
0
0
, y
0
) (
n en el en
elativo en (x
0
0
, y
0
) (
n en el en
es llama cole
a funcin z
pueden da
tos P(x
p
, y
) y S(x
S
, y
S
el punto Q,
el disco ab
, tienen una

estrictos,
r > y < respe
extremos re
o D que con
0
, y
0
) si :
x, y)
ntorno (dis
0
, y
0
) si:
x, y)
ntorno (dis
ectivamente
= ](x, y), q
arse varios m
y
p
, z
p
) y
, z
S
) hay m
todos los p
bierto seala
a coordenad
Cu
cuando en
ectivamente.
elativos.
ntiene al pu
co abierto)
co abierto)
extremos re
que es la e
mximos re
(x

, y

, z

)
nimos relat
puntos que e
ado en el g
da z tal que z
urso 2012/2
sus expres

unto (x
0
, y
0
) que contie
) que contie
elativos. Tam
ecuacin de
elativos y v
) hay mx
tivos.
estn prxim
grafico de c
z

> z.
2013
siones
0
). Se
ene a
ene a
mbin
e una
varios
ximos
mos a
centro
P

g
i
n
a
S

Mate
Man



Anlo
una c

Para
. Re
(x
0

Def

Sea
punto
posib

1
2



A los
Cabe
negat
emticas A
nuel Snche
ogamente
cota z mas b
hallar los e
ecordemos q
0
) no exista
finicin d
una funci
o (x
0
, y
0
)
bilidades:
.
x
(x
u
, y
2. Al menos
s puntos crt
preguntarse
tiva, pues co
Avanzadas p
ez Snchez
tiene un m
baja que la
extremos re
que en func
a, era un punt
de punto
n definida e
es un punt
y
u
)

=
y
(x
s una de las d

ticos se les d
e: Todo pun
omo veremo
para la Eco
(UNED)
nimo relativ
cota Z
R
del
lativos de
ciones de un
to crtico. Ell
os crtico
en un conjun
to crtico d
x
u
, y
u
) = u
derivadas:

x
(x
u
, y
u
)

o
denomina tam
nto crtico es
os a continu
onoma
vo en (x
R
, y
punto R(x
R
han de inv
na variable,
lo es extensi
os.
nto abierto R
de si en

o
y
(x
u
, y
u
)
mbin puntos
s necesariam
uacin, un p

y
R
) si ning
R
, y
R
, z
R
).
vestigarse lo
un punto x
ble a funcion
R que contien
l se verifi
) no cxis
s estacionari
mente un extr
punto crtico
Cu
n punto pr
s llamados p
x
0
tal que
nes de dos va
ne a (x
0
, y
0
)
ca una de l
tc
ios.
remo relativo
puede no s
urso 2012/2
ximo a el
puntos crtic
(x
0
) = u o
ariables.
). Se dice q
las dos sigu
o? La respue
ser ni mxim
2013

tiene
cos de
o bien
que el
uientes
esta es
mo ni
P

g
i
n
a
4

Mate
Man
mnim
es cie

Si
enton


Ejem

Calcu


Soluc

Calcu


Vemo

Por ta





Hemo

El va

Para
cuadr


Y con


Por ta

emticas A
nuel Snche
mo relativo,
erto, como se
Teorema
i la funcin
nces necesa
mplo:
ular los extre
cin:
ulemos los pu
os que
x
y
anto, los nic
os obtenido e
alor de para
ver si en e
rado en la fun
ncluiremos, p
anto, tien
Avanzadas p
ez Snchez
sino un pun
e enuncia en
a: Los extrem
presenta
ariamente e
emos relativo
untos crtico
y

estn
cos puntos cr
el punto crt
a este punto c
el punto cr
ncin (x,
por esta expr
(x, y) >
ne un mnimo
para la Eco
(UNED)
nto de ensill
el siguiente
mos relativo
a en (x
0
, y
0
)
el punto (x
0
os de:
(x, y) = x
s de :
_
definidas (ex
rticos son aq

x
= 2

= 2
tico (1,2).
crtico es (
tico (1,2,4)
y):
(x, y) = (
resin, que p
> 4 (4 cs l
o relativo en
onoma
ladura (o pu
teorema:

os solo pued
) un extrem
0
, y
0
) es un
x
2
+y
2
- 2
_

x
= 2x -

= 2y -
xisten) para
quellos en la
2x - 2 = u
2y - 4 = u
1,2) = 4.
hay mxim
(x - 1)
2
+(
para todo (x,
lo coto Jc
(1 , 2 ):

unto de silla)
en represen
mo relativo
punto criti
x - 4y + 9
2
4

todo x y para
as que las der
x = 1
y = 2
mo o mnim
y - 2)
2
+4
y ) = (1 , 2
poro x = 1
Cu
). Sin embarg
tarse en pun
o, en una r
ico de .
a todo y.
rivadas parci
mo relativo,

2 ) se cumple
1, y = 2)
urso 2012/2
go, el recipr
ntos crticos
regin abier
iales sean nu
, completem
e que:
2013
oco si
s.
rta R,
ulas.
mos el
P

g
i
n
a
S

Mate
Man




Nota
deriv
crtic

Ejem

Halla

Soluc

Halle



Se ap
en el

Es de
puede
est,

En la
suced

emticas A
nuel Snche

a: En este eje
vadas parcial
o de otro tip
mplo:
ar los extrem
cin:
emos los pun
precia que am
punto (0,0).
ecir, para (0
e ser un pun
pues (u,u)
a siguiente fig
de que:
Avanzadas p
ez Snchez
emplo el mn
es. Veamos
o, en el que
mos relativos
ntos crticos:
mbas derivad

0,0) las dos
nto crtico, si
= 2.
gura se aprec
para la Eco
(UNED)
nimo relativo
a continuac

x
o

n
de (x, y) =
`
1
1
1
1
x
=

das parciales
derivadas p
iempre que p
cia que (u,
(x, y) =
onoma
o ha sido un
in, un mx
no estn defin
= 2 - (x
2
+
= -
4x
S(Sx
2
+
= -
4y
(Sx
2
+
estn defini
arciales no
para este va
u) = 2, mien
2 -(x
2
+y

punto crtico
ximo relativo
nidas.
y
2
)
2
3
,

x
+ y
2
)
1
3
,
y
y
2
)
1
3
,

idas en todos
estn definid
alor la est
ntras para to
y
2
)
2
3
,
< 2
Cu
o en el que s
o que se pres
s los puntos d
das (no exis
definida. Y
dos los resta
urso 2012/2

se anulaban a
senta en un
del plano, ex
sten). Luego
Y efectivame
antes puntos
2013
ambas
punto
xcepto
o (0,0)
ente lo
(x, y)
P

g
i
n
a
6

Mate
Man

Por ta


La fu
(u,u)

Nota
parcia
En nu

Punt

Algun
sino p
super


Tenem


En el
un ex
En e
arbitr
valor
de sil


emticas A
nuel Snche
anto, tiene

uncin est d
). Su grafica
a: Resaltemo
ales, o bien s
uestro ejemp
tos de Silla (
nos puntos c
puntos de sil
rficie con un
mos que:
l punto (u,u)
xtremo relativ
efecto, (x, u
rariamente p
res negativos
lla de la supe
Avanzadas p
ez Snchez
un mximo
definida en to
es la hoja su
s que en un
ser nulas amb
plo no estaban
o ensilladur
crticos pued
lla (el nombr
a silla de mo
z = (x, y
) las dos der
vo en (u,u).
u) = x
2
lo
prximos al o
s en puntos a
erficie.
para la Eco
(UNED)
relativo en (
odo punto y
uperior de un
punto crtico
bas.
n definidas e
ra)
de suceder qu
re tiene su or
ontar). Por ej
y) = x
2
-y
rivadas parcia

que nos in
origen. Pero
arbitrariamen
onoma
(u,u).
es continua
n cono.
o debe no es
en (u,u) ning
ue no sean n
rigen en el p
emplo, la su
2
(poro
_

x
= 2x

= -2y
ales son nula
ndica que
o (u, y) = -
nte prximos

en todo punt
tar definida
guna de las d
ni mximos r
arecido que p
perficie:
oboloiJc bip
y

as. A pesar d
(x, y) toma
-y
2
, lo que
s al origen. P
Cu
to. Pero no e
al menos un
dos derivadas
relativos ni m
presenta el p
pcrbolico)
de ello, la fu
valores pos
nos seala
Por tanto, (u
urso 2012/2

es diferenciab
na de las deri
s parciales.
mnimos rela
punto de silla
uncin , no
sitivos en p
que (x, y)
u,u,u) es un p
2013
ble en
ivadas
ativos,
a de la
o tiene
puntos
toma
punto
P

g
i
n
a
7

Mate
Man





Un ej
que:
mxim
Es de

En lo
poda
funci
conve
deriv
Pero
orden

Con
extr

Dada
(mx
Jz =
Pero
expre


emticas A
nuel Snche

jemplo bien
toda cima es
mo absoluto
ecir, los punt
os ejemplos
an expresar f
ones ms co
eniente instr
vadas segund
previamente
n en la bsqu
ndicione
remos de
a la funcin
ximo o mnim
= u.
al existir ah
esin es:
Avanzadas p
ez Snchez
intuitivo lo
s un mximo
o global. Lo
tos crticos qu
anteriores h
fcilmente e
omplicadas e
rumentar un
as.
e, demostrare
ueda de valor
es necesa
e una fu
z = (x, y)
mo) exige d
hora dos var
para la Eco
(UNED)
tenemos si p
o relativo o l
os desfiladero
ue no dan lu
ha sido fcil
n forma de
stas manipul
procedimien
emos formalm
res extremos
arias (d
ncin de
la condicin
de nuevo al
riables indep
Jz =
onoma
pensamos en
local, pero s
os de monta
ugar a valores
obtener los
cuadrado pe
laciones alge
nto analtico
mente cuales
s de una func
de prime
e dos var
n necesaria
igual que en
pendientes x
=
x
Jx +

n la cordiller
olo la cima
a son punto
s extremos so
extremos re
erfecto y obt
ebraicas no s
ms potente
s son las con
cin de dos v
er orden
riables.
de primer or
n las funcio
e y, la Jz

Jy
Cu
ra del Himal
mas elevada
os de silla.
on llamados
elativos, pue
tener conclu
son tan fcile
e, basado en
ndiciones nec
ariables.
n) para
rden para ob
nes de una
es una difer
urso 2012/2

laya. Y tend
a (el Everest)
puntos de s
es veamos q
usiones. Pero
es de hacer,
n el criterio
cesarias de p
los valo
btener un ex
sola variabl
rencial total,
2013
remos
) es el
illa.
que se
o para
y ser
de las
primer
ores
xtremo
le que
, cuya
P

g
i
n
a
8

Mate
Man
La co
Jy, a
las do

Lueg

x
=

Inter

En la
recta
pend
travs
cero.


Igual
el pu


En sn
Es un
mnim
emticas A
nuel Snche
ondicin de
ambos no nul
os derivadas
go la condici
=

= u
rpretacin g
a siguiente fig
a tangente I
x
diente cero.
s de M y pa

lmente se dan
unto mnimo

ntesis: dz =
na condicin
mo.
Avanzadas p
ez Snchez
primer orden
los. Pero par
parciales
n de primer
o lo que es i
geomtrica d
gura, se apre
I
x
a travs de
Igualmente
aralela al pla
n dos requisi
o N:

= o la co
n de primer
para la Eco
(UNED)
n Jz = u, ex
ra que la cond

x
y

se a
r orden es:
igual
z
x
=
de la condici
ecia que el pu
e M y parale
sucede con
ano YOZ (pe
itos de pendi
ndicin:
x
r orden, que
onoma
xige que ello
dicin Jx =
anulen simu
=
z

= u
in de prime
unto mxim
ela al plano X

= u en
ermaneciend
iente cero en
x
=
y
=
e es necesar

o sea asi par
u se cumpla
ultneamente
er orden
mo M de la fig
XOZ (perma
el punto M
do la x const
n las rectas ta
ria tanto pa
Cu
ra valores arb
a, es necesari
e.
gura
x
= u
neciendo la
M, pues la re
tante) tiene t

angentes cua

ara un mxim
urso 2012/2
rbitrarios de
io y suficien
u nos seala
y constante)
ecta tangente
tambin pen
ando estudis
mo como pa
2013
Jx y
te que
que la
) tiene
e I

a
diente
semos
ara un
P

g
i
n
a
9

Mate
Man

Pero

La co

Vem

As e
como
encon
cuand
lo pro
punto


Pero
tange
super
respe


Los d
la con
Com
segun
orden
emticas A
nuel Snche
es condici
ondicin de
moslo geom
en el punto S
o la I

tienen
ntramos con
do lo contem
oyectamos s
o de silla.

aun existe o
entes I
x
y I

rficie retor
ecto al plano

dos ltimos c
ndicin de pr
mo buscar l
ndo orden,
n.
Avanzadas p
ez Snchez
n suficiente
primer ord
tricamente e
S de la sigui
n pendiente n
n la siguiente
mplamos con
sobre el plan

otro punto I,

horizontale
rcida y tie
XOZ, o resp
contraejempl
rimer orden
la condicin
que est e
para la Eco
(UNED)
? Veamos q
en es condic
en el llamado
ente figura,
nula, pero en
e situacin
ntra el fondo
no YOZ. A e
como el se
es, tampoco
ene el carcte
pecto al plano
los geomtric
como una co
n suficiente?
expresada e
onoma
ue no.
cin necesar
o punto de si
se vuelve a
n este punto
sorprendente
del plano X
este punto S
alado en la
es un extrem
er de un pun
o YOZ.
cos vistos no
ondicin sufi
? Se deber
en funcin d

ria, pero no
illa y en el p
preciar de n
S vemos que
e: El punto
XOZ, y se co
S, con dob
siguiente fig
mo. Vemos
nto de inflex
os permiten r
iciente para u
efectuar a
de las deriv
Cu
suficiente.
unto de infl
nuevo que tan
e no hay nin
S aparece c
nvierte en un
ble personali

gura, que ten
que el punto
xin, tanto si

rechazar, de
un extremo.
a travs de
vadas parci
urso 2012/2
lexin.
anto la tangen
ngn extremo
como un m
un mnimo cu
idad se le
niendo igual
o I esta sobr
i lo contemp
una manera
la diferenci
iales de seg
2013
nte I
x

o. Nos
ximo
uando
llama
mente
re una
lamos
clara,
ial de
gundo
P

g
i
n
a
1
u