I want to confirm how I write the below expression,
mu(t) = beta*E_t{E_t(V(t+1)^(1-alpha))^(alpha/(1-alpha))V(t+1)^(-alpha)(r(t+1)+mu(t+1))}
where E_t is the current expectation parameter.
Given that I have defined,
W(t) = E_t(V(t+1)^(1-alpha))
In Dynare,
beta = betta;
alpha = alpa;
Then I can write the expression given at the top in Dynare as,
mu = betta*W^(alp/(1-alp))V(+1)^(-alp)(r(+1)+mu(+1))
Is the above expression correct? Thanks for your attention.