Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teorema de La Envolvente 1 PDF
Teorema de La Envolvente 1 PDF
En este captulo presentamos una versin sencilla de un resultado muy til que se llama el Teorema de la
Envolvente.
Teorema de la Envolvente (sin restricciones). Suponga que para cada x la funcin g (x; ) : R ! R es
derivable y que alcanza un mximo en un nico y (x) que es una funcin derivable de x. Entonces, la funcin
Demostracin. Como g (x; ) es derivable y alcanza un mximo, debemos tener que en el y (x) que maximiza
g (x; ) se cumple que
@g (x; y)
= 0: (1.1)
@y (x;y(x))
Como por denicin f (x) = g (x; y (x)) ; tenemos que por la regla de la cadena y usando la ecuacin (1.1),
df (x) @g (x; y) @g (x; y) dy (x) @g (x; y) dy (x) @g (x; y)
= + = +0 =
dx @x (x;y(x)) @y (x;y(x)) dx @x (x;y(x)) dx @x (x;y(x))
Ejemplo. Sea g (x; y) = y (y x) : El y ptimo para cada x es y (x) = x=2: Por lo tanto, f (x) = x2 =4:
Vemos entonces que
df (x) x
= :
dx 2
Usando el Teorema de la Envolvente y @g=@x = y obtenemos
df (x) @g (x; y) x
= = yj(x;y(x)) =
dx @x (x;y(x)) 2
que es lo mismo que hacer el clculo directamente.
En este ejemplo es til y fcil hacer dos grcos. En el primero, ponemos y en las abcisas. Para cada x
la funcin g es una parbola con un mximo en x=2 y races 0 y x: Eso ilustra por qu y (x) = x=2:
El segundo grco es ms interesante, e ilustra por qu se llama Teorema de la Envolvente. Gracamos
g (x; y) para y = 1; 2; 3 y 4: La curva que envuelve a todas esas rectas por encima es x2 =4, es decir, la
funcin f (x) : Esta funcin es la que elige, para cada x el y que hace que la funcin g (x; y) sea la ms alta.
15
y
10
-1 1 2 3 4 5 6 7 8
1
As por ejemplo, tenemos que para x = 2; la recta ms alta es la que corresponde a y = 1; que est gracada.
Para esa recta, la pendiente es 1: No es casualidad que la pendiente de f (x) = x2 =4 en x = 2 es 1:
En trminos intuitivos o econmicos el Teorema de la Envolvente nos dice que cuando cambia x; el
valor mximo de f cambia por dos motivos. Primero, cambia por el cambio directo sobre g: Pero f tambin
cambia por el cambio en g provocado por el cambio en el y ptimo. Pero como y haba sido elegido en una
porcin en que g era chata con respecto a y (@g=@y = 0 en el y ptimo) este segundo cambio no afecta el
valor de f y slo debemos preocuparnos por el cambio directo en g provocado por el cambio en x:
Ilustramos esto ahora con un problema de maximizacin de benecios de una rma. La funcin de
benecios de una rma, como funcin de los salarios es
0.3
P
0.2
0.1
0.0
0.0 0.5 1.0
la rma tiene que pagarle un poco ms a cada uno de sus trabajadores (1/4 en este caso)
cambiar un poco el nmero ptimo de trabajadores, cambiando (en principio) los benecios.
Pero como los benecios son chatos en l = 1=4; este segundo efecto desaparece. Por lo tanto, el cambio
total en los benecios es slo el primer efecto, y eso es lo que nos dice el Teorema de la Envolvente. En
trminos de la demostracin, aplicado a este caso,
df (x) @g (x; y (x)) @g (x; y (x)) dy (x)
= +
dx | @x
{z } @y dx
| {z }
Efecto Directo Cambio en b enecios de cambiar \l"
@g (x; y (x)) dy (x) @g (x; y (x))
= +0 = :
@x dx @x
2
Presentamos ahora una versin slo un poco ms general del Teorema de la Envolvente.
Ejercicio 1 Un granjero tiene un terreno de h hectreas, y un tractor que puede usar por t horas. Con cada
hora de tractor, planta una hectrea, que produce 1 tonelada de soja. El precio de la soja es $1 por tonelada.
No tiene costos de usar la tierra, o el tractor y cualquier recurso ocioso no produce nada (no puede alquilarlo
a un vecino). Para cada uno de las tres posibilidades (h ms chico que t; igual, o mayor), determine cunto
est dispuesto a pagar el granjero por agrandar un poquito su terreno.
3
Envolvente: Soluciones
Ejercicio 1. Consideramos primero el caso en que h < t: Es obvio que el granjero utilizar todas sus
hectreas, y que por tanto sus benecios sern = h: Tenemos entonces que d =dh = 1: Esa es la respuesta.
Pero para hacerlo ms largo y tcnico, tenemos que el granjero debe elegir H; T para maximizar
min fH; T g
sujeto a H h
T t
L = min fH; T g (H h) (T t) :