I am trying to better understand the process of deriving Euler Equations using the first order condition of the problem on the right hand side of a Bellman equation and the Benveniste-Scheinkman formula. In particular, there is a line in Ljungqvist and Sargent's (LS) Recursive Macroeconomic Theory that I don't quite understand in practice. It is this:
When the state and controls can be defined in such a way that only $u$ appears in the transition equation, i.e., $x' = g(u)$: the derivative of the value function becomes,... $$V'(x)=r_1(x,h(x)).$$
I see why the result follows, granted that states and controls can be defined in the way described. But lets look at a simple optimal growth example.
Let the sequential problem be
$$\max\sum_{t=0}^\infty\beta^t\log(c_t) \\ \text{s.t.} \\ k_{t+1} + c_t = Ak_t^\alpha.$$
The associated Bellman equation is $$V(k)=\max\log(c) + \beta V(k') \\ \text{s.t.} \\ k' + c = Ak^\alpha.$$
Now, in my current understanding $k'$ and $c$ are both controls and $k$ is the state. But, (SL) say "let the state be $k$ and the control be $k'$ where $k'$ denotes next period's value of $k$." However, this does not give me the desired form, i.e. writing $k'=Ak^\alpha-c$ has both a control and a state on the right hand side. How does this fit into the form $x'=g(u)$?