wushiying1992 发表于 2011-12-4 20:01 
而且,FOC本身也包括家庭和厂商等的预算约束啊,因为这些预算约束是拉格朗日乘子的FOC啊。
越来越困惑.. ...
我觉得,你的问题其实很有水平啊。我以前学新凯恩斯模型DSGE的时候也是一上来就是十几个差分方程,那些要进入LRE模型里面,在任何地方都找不到说明。我问我导师,他竟然也说不清,但基本意思根你老师说得一样,需要全部market clearing condition (但是我导师没用Walrus law的n-1出清条件),然后是剩下的所有描述动态性的差分方程,这是最tricky的地方。我导师跟我直说,他经常都搞不清这点,所以一般都是按照经验来处理,没有固定的规则。意思就是把能想到对模型有作用的线性差分方程都放进来。
但是这里经常导致问题,比如Blanchard-Kahn condition不满足啊,singularity之类。所以又要对模型从新修改,删除和添加一部分方程。
回到你的问题上来,我认为要加入Y=AKL的线性式的原因是,A一般被当成平稳AR(1)过程,但是单独放一个A(t)=rho*A(t-1)+e不能描述这个动态过程,因为我们想描述的是Y也呈现一种随机状态,所以两个都要写出来。如果没有任何随机性的话,我认为可以在选择好几个market clearing condition之后,添加其他差分方程直到endogenous variables个数等于方程数量。