3.2.2 The Envelope Theorem
Remark
This computation requires us to know that x
(α) is a differentiable function. Here are two ways to
verify this.
1 For a concrete function, compute x
(α). Verify directly that it is differentiable.
2 In more abstract settings, apply the implicit function theorem. Check that
f has continuous second derivatives
f
xx
(x
(α), α) = 0 for all α.
.
Theorem 3.11 [The Envelope Theorem, Single-Variable]
Suppose
f(x, α) is a differentiable function, and
x
(α) that maximizes f for each α is a differentiable function.
The following two derivatives are equal:
V
(α)
|{z}
derivative of
value function
= f
α
(x
(α), α)
| {z }
partial derivative
of original function
The envelope theorem allows us to compute a partial derivative of f instead of the total derivative
of V . In some sense, the envelope theorem is saying that the change in x
does not matter. This makes
sense, because at a maximizer, we cannot increase the value of the function by changing x.
This is an interesting insight into the behavior of value functions, but all we have done is traded one
derivative for another. We still need to compute x
(α) to evaluate the partial derivative. It is natural
to ask: does the envelope theorem save us any work in practice?
Compare the following methods of computing V
(α):
Without the envelope theorem
1 Compute x
(α)
2 Substitute into f(x, α) to get V (α)
3 Differentiate V (α)
With the envelope theorem
1 Compute x
(α)
2 Partially differentiate f(x, α)
3 Substitute x
(α)
156
Back to Contents