Quiero derivar la ecuación de Euler para lo siguiente:
$$max \sum\limits_{t=0}^{T} = \beta^{t}U(C_t)$$
$$s.t. C_t+K_{t+1} \leq f(K_t) , t=0,1,2,...,T-1$$ $$-K_{T+1} \leq 0$$
Estoy un poco confundido sobre por qué el F.O.C. tiene eso:
$$\frac{d\mathcal{L}}{dK_{t+1}}=-\lambda_t+\lambda_{t+1}f'(k_{t+1})$$
y cómo combinamos el F.O.C para obtener la ecuación de Euler:
$$U'(C_t)= \beta U'(C_{t+1})f'(k_{t+1})$$
Asumo que el F.O.C. con respecto a la $K_{t+1}$ es tal debido a la inclusión de la forma intensiva de la función de producción pero no estoy exactamente seguro de cómo y realmente quiero entender esto completamente. También necesito asegurarme de que entiendo cómo estamos utilizando la FOC para producir la ecuación de Euler. ¿Puede alguien aclararme un poco la situación?