Envelope Theorems for Arbitrary Choice Sets

The standard envelope theorems apply to choice sets with convex and topological structure, providing sufficient conditions for the value function to be differentiable in a parameter and characterizing its derivative. This paper studies optimization with arbitrary choice sets and shows that the traditional envelope formula holds at any differentiability point of the value function. We also provide conditions for the value function to be, variously, absolutely continuous, left- and right-differentiable, or fully differentiable. These results are applied to mechanism design, convex programming, continuous optimization problems, saddle-point problems, problems with parameterized constraints, and optimal stopping problems.

[1]  H. Mills.  8. Marginal Values of Matrix Games and Linear Programs , 1957 .

[2]  J. Danskin.  The Theory of Max-Min and its Application to Weapons Allocation Problems , 1967 .

[3]  D. Luenberger.  Optimization by Vector Space Methods , 1968 .

[4]  J. Mirrlees.  An Exploration in the Theory of Optimum Income Taxation an Exploration in the Theory of Optimum Income Taxation L Y 2 , 2022 .

[5]  E. Prescott,et al.  Investment Under Uncertainty , 1971 .

[6]  Djordje P. Dugošija,et al.  Über Gâteaux-Differenzierbarkeit der Minimum-Funktion , 1976 .

[7]  丸山 徹.  Convex Analysisの二,三の進展について , 1977 .

[8]  J. Scheinkman,et al.  On the Differentiability of the Value Function in Dynamic Models of Economics , 1979 .

[9]  E. Maskin,et al.  A Differential Approach to Dominant Strategy Mechanisms , 1980 .

[10]  Roger B. Myerson,et al.  Optimal Auction Design , 1981, Math. Oper. Res..

[11]  Paul R. Milgrom,et al.  Communication and Inventory as Substitutes in Organizing Production , 1988 .

[12]  W. Fleming,et al.  Controlled Markov processes and viscosity solutions , 1992 .

[13]  Taesung Kim,et al.  Differentiability of the Value Function , 1993 .

[14]  P. Malliavin.  Infinite dimensional analysis , 1993 .

[15]  Paul R. Milgrom,et al.  Monotone Comparative Statics , 1994 .

[16]  Eduardo S. Schwartz,et al.  Investment Under Uncertainty. , 1994 .

[17]  SOME ENVELOPE THEOREMS FOR INTEGER AND DISCRETE CHOICE VARIABLES , 1998 .

[18]  Steven R. Williams.  A characterization of efficient, bayesian incentive compatible mechanisms , 1999 .

[19]  V. Krishna,et al.  Convex Potentials with an Application to Mechanism Design , 2001 .

[20]  M. Whinston,et al.  The Mirrlees Approach to Mechanism Design with Renegotiation (with Applications to Hold‐up and Risk Sharing) , 2002 .