Envelope-theorem-F24
Envelope-theorem-F24
Kim
KAIST
Macro and Dynamic Programming
Fall, 2024
The Envelope Theorem
max f ( x, a)
x∈X
d ∂
M ( a) = f ( x∗ ( a) , a) .
da a= ā ∂a a= ā
Suppose that F and V are differentiable. Given k t , let k∗t+1 ≡ k∗t+1 (k t ) be an optimal solution to the right-hand
side of the Bellman equation and differentiable around k̄. Also let M (k t ) be the maximum achievable value given
the “parameter” k t :
M (k t ) ≡ F k t , k∗t+1 (k t ) + βV k∗t+1 (k t ) .
d ∂
[ F k t , k∗t+1 (k t ) + βV k∗t+1 (k t ) ]
M (k t ) =
dk t k t =k̄ ∂k t k t =k̄
∂
F k t , k∗t+1 (k t )
=
∂k t k t =k̄
∂ ∗
= F k̄, k t+1 k̄ .
∂k t
Since V (k t ) is a unique value function, V (k t ) = M (k t ). Thus, we have
d ∂
F k̄, k∗t+1 k̄ .
V (k t ) =
dk t k t =k̄ ∂k t
Page 1
HSS310 MACRO & DP Hyung Seok E. Kim
Example 2 Consider the right-hand side of the Bellman equation (1) again. Assuming that the right hand side
of (1) is attained in the interior of Γ (k t ), its first-order condition for an optimal solution k∗t+1 is given by
∂ ∂
F k t , k∗t+1 + β V k∗t+1 = 0.
(2)
∂k t+1 ∂k t
As in Example 1, given k t+1 , let k∗t+2 ≡ k∗t+2 (k t+1 ) be an optimal solution to the right-hand side of the Bellman
equation and differentiable but around k∗t+1 in (2). The envelope theorem implies
∂ ∂ ∂
V k∗t+1 = F k∗t+1 , k∗t+2 k∗t+1 .
V ( k t +1 ) = (3)
∂k t+1 k t+1 =k∗t+1 ∂k t+1 ∂k t+1
∂ ∂
F k t , k∗t+1 + β F k∗t+1 , k∗t+2 k∗t+1 = 0.
∂k t+1 ∂k t+1
Page 2