9 envelope theorem

9. Envelope Theorem Daisuke Oyama Mathematics II May 13, 2020 - PowerPoint PPT Presentation

9. Envelope Theorem Daisuke Oyama Mathematics II May 13, 2020 Parameterized Optimization (with Constant Constraints) Let X R N be a nonempty set, A R S a nonempty open set. For f : X A R , consider the optimal value function v ( q


  1. 9. Envelope Theorem Daisuke Oyama Mathematics II May 13, 2020

  2. Parameterized Optimization (with Constant Constraints) Let X ⊂ R N be a nonempty set, A ⊂ R S a nonempty open set. For f : X × A → R , consider the optimal value function v ( q ) = sup f ( x, q ) , x ∈ X and the optimal solution correspondence X ∗ ( q ) = { x ∈ X | f ( x, q ) = v ( q ) } . We assume that X ∗ ( q ) ̸ = ∅ for all q ∈ A . We want to investigate the marginal effects of changes in q on the value v ( q ) . Formally, the envelope theorem gives 1. a sufficient condition under which v is differentiable, and 2. a formula for the derivative (“envelope formula”). 1 / 34

  3. Outline ▶ Envelope formula is best interpreted through FOC under the differentiability of the solution function (or selection) and the differentiability of f in ( x, q ) , while these assumptions are irrelevant for the differentiability of v and deriving the formula. ▶ If we directly assume the differentiability of v , deriving the envelope formula is just a straightforward routine. Differentiability of v is the real content of envelope theorem. ▶ Non-differentiability of v is a typical case when there are more than one solutions. ▶ Provide a sufficient condition under which uniqueness of solution implies differentiability of v , with applications for the differentiability of support function (or profit function), indirect utility function, and expenditure function. 2 / 34

  4. Main Reference ▶ D. Oyama and T. Takenawa,“On the (Non-)Differentiability of the Optimal Value Function When the Optimal Solution Is Unique,” Journal of Mathematical Economics 76, 21-32 (2018). 3 / 34

  5. Envelope Theorem via FOC Proposition 9.1 Let x ( · ) be a selection of X ∗ , i.e., a function such that x ( q ) ∈ X ∗ ( q ) for all q ∈ A . Assume that 1. f is differentiable on Int X × A , and q ) ∈ Int X , and x ( · ) is differentiable at ¯ 2. x (¯ q . Then, v is differentiable at ¯ q , and ∂v q ) = ∂f (¯ ( x (¯ q ) , ¯ q ) , s = 1 , . . . , S. ∂q s ∂q s 4 / 34

  6. Proof ▶ By the assumptions, v ( q ) = f ( x ( q ) , q ) is differentiable at ¯ q . ▶ We have � ∂v ∂ � (¯ q ) = f ( x ( q ) , q ) � ∂q s ∂q s q =¯ q ∂f ∂x n q ) + ∂f ∑ = ( x (¯ q ) , ¯ q ) (¯ ( x (¯ q ) , ¯ q ) ∂x n ∂q s ∂q s n � �� � = 0 by FOC = ∂f ( x (¯ q ) , ¯ q ) . ∂q s ▶ The change in the solution caused by the change in q has no first-order effect on the value; ▶ the only effect is the direct effect. 5 / 34

  7. A Sufficient Condition for the Differentiability of x ( · ) Proposition 9.2 Assume that 1. X is compact and f is continuous, 2. for each q ∈ A , X ∗ ( q ) = { x ( q ) } ⊂ Int X , 3. ∇ x f exists and is continuously differentiable on Int X × A , and 4. | D 2 q ) | ̸ = 0 . x f ( x (¯ q ) , ¯ Then, x ( · ) is continuously differentiable on a neighborhood of ¯ q . 6 / 34

  8. Proof ▶ By assumptions, x ( · ) is continuous by the Theorem of Maximum. ▶ By the FOC, ∇ x f ( x ( q ) , q ) = 0 for all q ∈ A . ▶ By assumptions, ∇ x f ( x, q ) = 0 is uniquely solved locally as x = η ( q ) and η is continuously differentiable by the Implicit Function Theorem. ▶ By the continuity of x ( · ) , we have x ( q ) = η ( q ) . 7 / 34

  9. Envelope Formula If we directly assume the differentiability of the value function v , neither the differentiability of f ( x, q ) in x nor that of x ( q ) in q is needed in deriving the envelope formula. Proposition 9.3 Assume that 1. for all x ∈ X , f ( x, · ) is differentiable at ¯ q , and 2. v is differentiable at ¯ q . x ∈ X ∗ (¯ Then, for any ¯ q ) , ∂v q ) = ∂f (¯ (¯ x, ¯ q ) , s = 1 , . . . , S. ∂q s ∂q s 8 / 34

  10. Proof ▶ Fix any ¯ x ∈ X ∗ (¯ q ) . ▶ Define the function x, q ) − v ( q ) . g ( q ) = f (¯ By assumption, g is differentiable at ¯ q . ▶ By definition, ▶ g ( q ) ≤ 0 for all q ∈ A , and ▶ g (¯ q ) = 0 . ▶ Thus, g is maximized at ¯ q , so that by FOC we have 0 = ∂g q ) = ∂f q ) − ∂v (¯ (¯ x, ¯ (¯ q ) . ∂q s ∂q s ∂q s 9 / 34

  11. Example: Non-Differentiable Value Function Consider f ( x, q ) = − 1 3 x 3 + 1 2 x 2 + qx − 1 4 x 4 − q q ∈ [ − 1 , 1] , 4 , where f x ( x, q ) = − ( x + 1)( x + q )( x − 1) . Then we have  {− 1 } if q < 0 ,   v ( q ) = 2 X ∗ ( q ) = 3 | q | , {− 1 , 1 } if q = 0 ,   { 1 } if q > 0 . ▶ At q = 0 , v is not differentiable, and ▶ there are two optimal solutions. 10 / 34

  12. A Sufficient Condition for Differentiability of v Proposition 9.4 Assume that 1. X ∗ has a selection x ( · ) continuous at ¯ q , and 2. for all x ∈ X , f ( x, · ) is differentiable, and ∇ q f is continuous in ( x, q ) . Then v is differentiable at ¯ q with ∂v q ) = ∂f (¯ ( x (¯ q ) , ¯ q ) , s = 1 , . . . , S. ∂q s ∂q s Proof See: Oyama and Takenawa, Proposition A.1. 11 / 34

  13. Corollary 9.5 Assume that 1. X ∗ is upper semi-continuous with X ∗ ( q ) ̸ = ∅ for all q ∈ A , 2. X ∗ (¯ q ) = { ¯ x } , and 3. for all x ∈ X , f ( x, · ) is differentiable, and ∇ q f is continuous in ( x, q ) . Then v is differentiable at ¯ q with ∂v q ) = ∂f (¯ (¯ x, ¯ q ) , s = 1 , . . . , S. ∂q s ∂q s 12 / 34

  14. Proof ▶ Assumptions 1 and 2 imply that any selection of X ∗ is continuous at ¯ q . ▶ Thus the conclusion follows from Proposition 9.4. Remark ▶ A sufficient condition for Assumption 1 is that X is compact and f is continuous, due to the Theorem of the Maximum. 13 / 34

  15. Example: Non-Differentiable Value Function ▶ Even if an optimal solution is unique, the value function may not be differentiable. ▶ In fact, there exists a continuous function f : X × A → R such that 1. X ∗ ( q ) is a singleton for all q and is continuous in q (as a single-valued function), and 2. f is differentiable in q , but v is not differentiable at some q . See: Oyama and Takenawa, Example 2.1. 14 / 34

  16. Differentiability of the Support Function For K ⊂ R N , K ̸ = ∅ , and p ∈ R N , consider the support function of K , π K ( p ) = sup p · x, x ∈ K and the optimal solution correspondence, S K ( p ) = { x ∈ R N | x ∈ K, π K ( p ) = p · x } . If K is the production set of a firm, π K is the profit function and S K is the supply correspondence (defined for all p ∈ R N ). ▶ If K is closed and convex and if S K (¯ p ) is nonempty and bounded, then there exists an open neighborhood P 0 of ¯ p such that S K is nonempty-valued and upper semi-continuous on P 0 . (Proposition 3.18) 15 / 34

  17. Proposition 9.6 Let K ⊂ R N be a nonempty closed convex set, and π K : R N → ( −∞ , ∞ ] its support function, i.e., π K ( p ) = sup x ∈ K p · x . p ∈ R N be such that π K (¯ Let ¯ p ) < ∞ . Then π K is differentiable at ¯ p if and only if there is a unique ¯ x ∈ K such that π K (¯ p ) = ¯ p · ¯ x . In this case, ∇ π K (¯ p ) = ¯ x . 16 / 34

  18. Proof “If” part ▶ By the closedness and convexity of K ̸ = ∅ , it follows from Proposition 3.18 that there exists an open neighborhood P 0 of ¯ p such that S K is nonempty-valued and upper semi-continuous on P 0 . ▶ The function f ( x, p ) = p · x is differentiable in p , and ∇ p f ( x, p ) = x is continuous in ( x, p ) . ▶ With S K (¯ p ) = { ¯ x } , the conclusion follows from Corollary 9.5. 17 / 34

  19. Proof “Only if” part ▶ By the definition, S K ( p ) ⊂ ∂π K ( p ) . ▶ Since π K is convex, the differentiability of π K at ¯ p implies ∂π K (¯ p ) = {∇ π K (¯ p ) } . ▶ The nonemptiness of S K (¯ p ) follows from the differentiability of π K by an elementary argument under the closedness of K (see Oyama and Takenawa, Lemma A.5). Hence, S K (¯ p ) is a singleton. ▶ By the differentiability of π K , we have ∇ π K (¯ p ) = ∇ p ( p · x ) | p =¯ x = ¯ x for all ¯ x ∈ S K (¯ p ) . p,x =¯ 18 / 34

  20. The convexity of K can be dropped if K is compact, in which case Co K is closed. Corollary 9.7 Let K ⊂ R N be a nonempty compact set. Then π K is differentiable at ¯ p if and only if there is a unique ¯ x ∈ K such that π K (¯ p ) = ¯ p · ¯ x . In this case, ∇ π K (¯ p ) = ¯ x . 19 / 34

  21. Proof ▶ Show that S Co K = Co S K . ▶ Co K is nonempty and closed if K is nonempty and compact. ▶ Therefore, it follows from Proposition 9.6 that π K = π Co K is differentiable at ¯ p ⇐ ⇒ S Co K (¯ p ) = Co S K (¯ p ) is a singleton ⇐ ⇒ S K (¯ p ) is a singleton , in which case S K (¯ p ) = {∇ π K (¯ p ) } . 20 / 34

  22. Differentiability of the Indirect Utility Function For p ∈ R N ++ and w ∈ R ++ , consider the indirect utility function, v ( p, w ) = sup { u ( x ) | x ∈ B ( p, w ) } , and the Walrasian demand correspondence, x ( p, w ) = { x ∈ R N + | x ∈ B ( p, w ) , u ( x ) = v ( p, w ) } , where B ( p, w ) = { x ∈ R N + | p · x ≤ w } . ▶ If u is continuous, then x is nonempty- and compact-valued and upper semi-continuous. (Proposition 3.16) 21 / 34

Recommend


More recommend