In mathematics and economics, the envelope theorem is a major result about the differentiability properties of the value function of a parameterized optimization problem. As we change parameters of the objective, the envelope theorem shows that, in a certain sense, changes in the optimizer of the objective do not contribute to the change in the objective function. The envelope theorem is an important tool for comparative statics of optimization models.
The term envelope derives from describing the graph of the value function as the "upper envelope" of the graphs of the parameterized family of functions that are optimized.
Let and be real-valued continuously differentiable functions on , where are choice variables and are parameters, and consider the problem of choosing , for a given , so as to:
- subject to and .
The Lagrangian expression of this problem is given by
and define the value function
Theorem: Assume that and are continuously differentiable. Then
For arbitrary choice sets
Let denote the choice set and let the relevant parameter be . Letting denote the parameterized objective function, the value function and the optimal choice correspondence (set-valued function) are given by:
"Envelope theorems" describe sufficient conditions for the value function to be differentiable in the parameter and describe its derivative as
where denotes the partial derivative of with respect to . Namely, the derivative of the value function with respect to the parameter equals the partial derivative of the objective function with respect to holding the maximizer fixed at its optimal level.
Traditional envelope theorem derivations use the first-order condition for (1), which requires that the choice set have the convex and topological structure, and the objective function be differentiable in the variable . (The argument is that changes in the maximizer have only a "second-order effect" at the optimum and so can be ignored.) However, in many applications such as the analysis of incentive constraints in contract theory and game theory, nonconvex production problems, and "monotone" or "robust" comparative statics, the choice sets and objective functions generally lack the topological and convexity properties required by the traditional envelope theorems.
Paul Milgrom and Segal (2002) observe that the traditional envelope formula holds for optimization problems with arbitrary choice sets at any differentiability point of the value function, provided that the objective function is differentiable in the parameter:
Theorem 1: Let and . If both and exist, the envelope formula (3) holds.
Proof: Equation (1) implies that for ,
Under the assumptions, the objective function of the displayed maximization problem is differentiable at , and the first-order condition for this maximization is exactly equation (3). Q.E.D.
While differentiability of the value function in general requires strong assumptions, in many applications weaker conditions such as absolute continuity, differentiability almost everywhere, or left- and right-differentiability, suffice. In particular, Milgrom and Segal's (2002) Theorem 2 offers a sufficient condition for to be absolutely continuous, which means that it is differentiable almost everywhere and can be represented as an integral of its derivative:
Theorem 2: Suppose that is absolutely continuous for all . Suppose also that there exists an integrable function such that for all and almost all . Then is absolutely continuous. Suppose, in addition, that is differentiable for all , and that almost everywhere on . Then for any selection ,
Proof: Using (1)(1), observe that for any with ,
This result dispels the common misconception that nice behavior of the value function requires correspondingly nice behavior of the maximizer. Theorem 2 ensures the absolute continuity of the value function even though the maximizer may be discontinuous. In a similar vein, Milgrom and Segal's (2002) Theorem 3 implies that the value function must be differentiable at and hence satisfy the envelope formula (3) when the family is equi-differentiable at and is single-valued and continuous at , even if the maximizer is not differentiable at (e.g., if is described by a set of inequality constraints and the set of binding constraints changes at ).
Applications to producer theory
Theorem 1 implies Hotelling's lemma at any differentiability point of the profit function, and Theorem 2 implies the producer surplus formula. Formally, let denote the indirect profit function of a price-taking firm with production set facing prices , and let denote the firm's supply function, i.e.,
Let (the price of good ) and fix the other goods' prices at . Applying Theorem 1 to yields (the firm's optimal supply of good ). Applying Theorem 2 (whose assumptions are verified when is restricted to a bounded interval) yields
i.e. the producer surplus can be obtained by integrating under the firm's supply curve for good .
Applications to mechanism design and auction theory
Consider an agent whose utility function over outcomes depends on his type . Let represent the "menu" of possible outcomes the agent could obtain in the mechanism by sending different messages. The agent's equilibrium utility in the mechanism is then given by (1), and the set of the mechanism's equilibrium outcomes is given by (2). Any selection is a choice rule implemented by the mechanism. Suppose that the agent's utility function is differentiable and absolutely continuous in for all , and that is integrable on . Then Theorem 2 implies that the agent's equilibrium utility in any mechanism implementing a given choice rule must satisfy the integral condition (4).
The integral condition (4) is a key step in the analysis of mechanism design problems with continuous type spaces. In particular, in Myerson's (1981) analysis of single-item auctions, the outcome from the viewpoint of one bidder can be described as , where is the bidder's probability of receiving the object and is his expected payment, and the bidder's expected utility takes the form . In this case, letting denote the bidder's lowest possible type, the integral condition (4) for the bidder's equilibrium expected utility takes the form
(This equation can be interpreted as the producer surplus formula for the firm whose production technology for converting numeraire into probability of winning the object is defined by the auction and which resells the object at a fixed price ). This condition in turn yields Myerson's (1981) celebrated revenue equivalence theorem: the expected revenue generated in an auction in which bidders have independent private values is fully determined by the bidders' probabilities of getting the object for all types as well as by the expected payoffs of the bidders' lowest types. Finally, this condition is a key step in Myerson's (1981) of optimal auctions.
For other applications of the envelope theorem to mechanism design see Mirrlees (1971), Holmstrom (1979), Laffont and Maskin (1980), Riley and Samuelson (1981), Fudenberg and Tirole (1991), and Williams (1999). While these authors derived and exploited the envelope theorem by restricting attention to (piecewise) continuously differentiable choice rules or even narrower classes, it may sometimes be optimal to implement a choice rule that is not piecewise continuously differentiable. (One example is the class of trading problems with linear utility described in chapter 6.5 of Myerson (1991).) Note that the integral condition (3) still holds in this setting and implies such important results as Holmstrom's lemma (Holmstrom, 1979), Myerson's lemma (Myerson, 1981), the revenue equivalence theorem (for auctions), the Green–Laffont–Holmstrom theorem (Green and Laffont, 1979; Holmstrom, 1979), the Myerson–Satterthwaite inefficiency theorem (Myerson and Satterthwaite, 1983), the Jehiel–Moldovanu impossibility theorems (Jehiel and Moldovanu, 2001), the McAfee–McMillan weak-cartels theorem (McAfee and McMillan, 1992), and Weber's martingale theorem (Weber, 1983), etc. The details of these applications are provided in Chapter 3 of Milgrom (2004), who offers an elegant and unifying framework in auction and mechanism design analysis mainly based on the envelope theorem and other familiar techniques and concepts in demand theory.
Applications to multidimensional parameter spaces
For a multidimensional parameter space , Theorem 1 can be applied to partial and directional derivatives of the value function. If both the objective function and the value function are (totally) differentiable in , Theorem 1 implies the envelope formula for their gradients: for each . While total differentiability of the value function may not be easy to ensure, Theorem 2 can be still applied along any smooth path connecting two parameter values and . Namely, suppose that functions are differentiable for all with for all . A smooth path from to is described by a differentiable mapping with a bounded derivative, such that and . Theorem 2 implies that for any such smooth path, the change of the value function can be expressed as the path integral of the partial gradient of the objective function along the path:
In particular, for , this establishes that cyclic path integrals along any smooth path must be zero:
This "integrability condition" plays an important role in mechanism design with multidimensional types, constraining what kind of choice rules can be sustained by mechanism-induced menus . In application to producer theory, with being the firm's production vector and being the price vector, , and the integrability condition says that any rationalizable supply function must satisfy
When is continuously differentiable, this integrability condition is equivalent to the symmetry of the substitution matrix . (In consumer theory, the same argument applied to the expenditure minimization problem yields symmetry of the Slutsky matrix.)
Applications to parameterized constraints
Suppose now that the feasible set depends on the parameter, i.e.,
where for some
Suppose that is a convex set, and are concave in , and there exists such that for all . Under these assumptions, it is well known that the above constrained optimization program can be represented as a saddle-point problem for the Lagrangian , where is the vector of Lagrange multipliers chosen by the adversary to minimize the Lagrangian.[page needed][page needed] This allows the application of Milgrom and Segal's (2002, Theorem 4) envelope theorem for saddle-point problems, under the additional assumptions that is a compact set in a normed linear space, and are continuous in , and and are continuous in . In particular, letting denote the Lagrangian's saddle point for parameter value , the theorem implies that is absolutely continuous and satisfies
For the special case in which is independent of , , and , the formula implies that for a.e. . That is, the Lagrange multiplier on the constraint is its "shadow price" in the optimization program.[page needed]
Milgrom and Segal (2002) demonstrate that the generalized version of the envelope theorems can also be applied to convex programming, continuous optimization problems, saddle-point problems, and optimal stopping problems.
- Border, Kim C. (2019). "Miscellaneous Notes on Optimization Theory and Related Topics". Lecture Notes. California Institute of Technology: 154.
- Carter, Michael (2001). Foundations of Mathematical Economics. Cambridge: MIT Press. pp. 603–609. ISBN 978-0-262-53192-4.
- 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.
- Takayama, Akira (1985). Mathematical Economics (Second ed.). New York: Cambridge University Press. pp. 137–138. ISBN 978-0-521-31498-5.
- Milgrom, Paul; Ilya Segal (2002). "Envelope Theorems for Arbitrary Choice Sets". Econometrica. 70 (2): 583–601. CiteSeerX 10.1.1.217.4736. doi:10.1111/1468-0262.00296.
- Myerson, Roger B. (1981). "Optimal Auction Design". Mathematics of Operations Research. 6 (1): 58–73. doi:10.1287/moor.6.1.58. S2CID 12282691.
- Mirrlees, James (2002). "An Exploration in the Theory of Optimal Taxation". Review of Economic Studies. 38 (2): 175–208. doi:10.2307/2296779. JSTOR 2296779.
- Holmstrom, Bengt (1979). "Groves Schemes on Restricted Domains". Econometrica. 47 (5): 1137–1144. doi:10.2307/1911954. JSTOR 1911954. S2CID 55414969.
- Laffont, Jean-Jacques; Eric Maskin (1980). "A Differentiable Approach to Dominant Strategy Mechanisms". Econometrica. 48 (6): 1507–1520. doi:10.2307/1912821. JSTOR 1912821.
- Riley, John G.; Samuelson, William S. (1981). "Optimal Auctions". American Economic Review. 71 (3): 381–392. JSTOR 1802786.
- Fudenberg, Drew; Tirole, Jean (1991). Game Theory. Cambridge: MIT Press. ISBN 0-262-06141-4.
- Williams, Steven (1999). "A Characterization of Efficient, Bayesian Incentive Compatible Mechanism". Economic Theory. 14: 155–180. doi:10.1007/s001990050286. S2CID 154378924.
- Myerson, Roger (1991). Game Theory. Cambridge: Harvard University Press. ISBN 0-674-34115-5.
- Green, J.; Laffont, J. J. (1979). Incentives in Public Decision Making. Amsterdam: North-Holland. ISBN 0-444-85144-5.
- Myerson, R.; M. Satterthwaite (1983). "Efficient Mechanisms for Bilateral Trading" (PDF). Journal of Economic Theory. 29 (2): 265–281. doi:10.1016/0022-0531(83)90048-0. hdl:10419/220829.
- Jehiel, Philippe; Moldovanu, Benny (2001). "Efficient Design with Interdependent Valuations". Econometrica. 69 (5): 1237–1259. CiteSeerX 10.1.1.23.7639. doi:10.1111/1468-0262.00240.
- McAfee, R. Preston; John McMillan (1992). "Bidding Rings". American Economic Review. 82 (3): 579–599. JSTOR 2117323.
- Weber, Robert (1983). "Multiple-Object Auctions" (PDF). In Engelbrecht-Wiggans, R.; Shubik, M.; Stark, R. M. (eds.). Auctions, Bidding, and Contracting: Uses and Theory. New York: New York University Press. pp. 165–191. ISBN 0-8147-7827-5.
- Milgrom, Paul (2004). Putting Auction Theory to Work. Cambridge University Press. ISBN 9780521536721.
- Luenberger, D. G. (1969). Optimization by Vector Space Methods. New York: John Wiley & Sons. ISBN 9780471181170.
- Rockafellar, R. T. (1970). Convex Analysis. Princeton: Princeton University Press. ISBN 0691015864.