Estoy intentando comprender mejor el proceso de derivación de las ecuaciones de Euler utilizando la condición de primer orden del problema en el lado derecho de una ecuación de Bellman y la fórmula de Benveniste-Scheinkman. En particular, hay una línea en la Teoría Macroeconómica Recursiva de Ljungqvist y Sargent (LS) que no acabo de entender en la práctica. Es la siguiente:
Cuando el estado y los controles pueden ser definidos de tal manera que sólo $u$ aparece en la ecuación de transición, es decir, $x' = g(u)$ ...la derivada de la función de valor se convierte en... $$V'(x)=r_1(x,h(x)).$$
Veo por qué se deduce el resultado, siempre que los estados y los controles puedan definirse de la forma descrita. Pero veamos un ejemplo sencillo de crecimiento óptimo.
Sea el problema secuencial
$$\max\sum_{t=0}^\infty\beta^t\log(c_t) \\ \text{s.t.} \\ k_{t+1} + c_t = Ak_t^\alpha.$$
La ecuación de Bellman asociada es $$V(k)=\max\log(c) + \beta V(k') \\ \text{s.t.} \\ k' + c = Ak^\alpha.$$
Ahora, en mi entendimiento actual $k'$ y $c$ son controles y $k$ es el estado. Pero, (SL) dicen "que el estado sea $k$ y el control sea $k'$ donde $k'$ indica el valor de $k$ ." Sin embargo, esto no me da la forma deseada, es decir, escribir $k'=Ak^\alpha-c$ tiene un control y un estado en el lado derecho. ¿Cómo encaja esto en el formulario $x'=g(u)$ ?