I'm unsure where the envelope theorem comes into play when i differentiate the Bellman Equation with respect to $k_t$.
To me it looks like the regular chain rule and in fact the exact opposite of the envelope theorem?
Given the general Bellman Equation:
$V(k_t, t) = max\{u(c_t) + δV(k_{t+1}, t + 1)\}$ $s.t. k_{t+1} = f(k_t)- c_t$
When we ply in the constraint to the objective function we get:
$V(k_t, t) = max\{u(c_t) + δV(f(k_t)- c_t, t + 1)\}$
I'm then told to "differentiate with respect to $k_t$ using the envelope theorem", giving:
$V'(k_t, t) = δV'(f(k_t), t + 1)f'(k_t)$
- To me this is what i would get if they told me to differentiate with respect to $k_t$ without any mention of the envelope theorem, i.e. just using the chain rule.
- My understanding of the envelope theorem is that when we differentiate a value function, with respect to a constraint we are bale to ignore the indirect effect of such parameters on the objective function. Surely given that $k_t$ appears "indirectly" via $f$ i.e. $f(k_t)$ then the Envelope theorem would imply we could ignore it?
Obviously I'm missing something. So the usual helpful insights are much appreciated!