Teorema de la envolvente

El teorema de la envolvente es un resultado sobre las propiedades de diferenciabilidad de la función objetivo de un problema de optimización parametrizado. Al cambiar los parámetros del objetivo, el teorema de la envolvente muestra que, en cierto sentido, los cambios en el optimizador del objetivo no contribuyen a la variación de la función objetivo. El teorema de la envolvente es una herramienta importante para la estática comparativa de modelos de optimización.[1]

Declaración editar

Sean   y   funciones diferenciables de valor real continuas en  , donde   son variables de elección y   es un parámetro, y considérese el problema de elegir   para una   dada, tal que:

  ligado a   y  .

La expresión lagrangiana de este problema viene dada por

 

donde   son los multiplicadores de Lagrange. Ahora sea   y   juntos, la solución que maximiza la función objetivo f sujeta a las restricciones (y por lo tanto son puntos de silla del lagrangiano),

 

y define la función de valor

 

Entonces se formula el siguiente teorema:[2][3]

Teorema:

Supóngase que   y   son continuamente diferenciables. Entonces
 
donde  .

Teoremas para conjuntos de elección arbitraria editar

Sea   que denota el conjunto de elección, tal que el parámetro relevante sea  . Haciendo que   denote la función objetivo parametrizada, la función de valor  y la elección óptima correspondiente   vienen dados por:

  (1)
  (2)

El Teorema de la envolvente describe las condiciones suficientes de la función de valor   diferenciable en el parámetro  , y se define su derivada como:

  (3)

dónde   indica la derivada parcial de   con respecto a  . A saber, la derivada de la función de valor con respecto al parámetro es igual a la derivada parcial de la función objetivo con respecto a   manteniendo el maximizador fijo en su nivel óptimo. (El término deriva de la descripción de la gráfica de   como la "envolvente superior" de los gráficos de la familia de funciones parametrizada  .)

Las deducciones del teorema de la envolvente tradicional usan la condición de primer orden para (1), que requiere que el conjunto de elección   tenga una estructura topológica convexa, y la función objetivo   sea diferenciable en la variable  . (El argumento es que los cambios en el maximizador solo tienen un "efecto de segundo orden" en el óptimo y, por lo tanto, se pueden ignorar). Sin embargo, en muchas aplicaciones, como el análisis de restricciones de incentivos en teoría de contratos y teoría de juegos, problemas de producción no convexos, y en la estática comparativa "monótona" o "robusta", los conjuntos de elección y las funciones objetivas generalmente carecen de las propiedades topológicas y de convexidad requeridas por los teoremas de envolvente tradicionales.

Referencias editar

  1. Carter, Michael (2001). Foundations of Mathematical Economics. Cambridge: MIT Press. pp. 603-609. ISBN 0-262-53192-5. 
  2. Afriat, S. N. (1971). «Theory of Maxima and the Method of Lagrange». SIAM Journal on Applied Mathematics 20 (3): 343-357. doi:10.1137/0120037. 
  3. Takayama, Akira (1985). Mathematical Economics (Second edición). New York: Cambridge University Press. pp. 137-138. ISBN 0-521-31498-4.