请教一个关于 search and matching model的问题，（罗默高级宏观第九章中的模型）

E=就业状态
w=就业状态下获得的工资

U=失业状态
Z=失业状态下获得失业补偿

参数：
r=真实利率
b=每单位时间工作岗位消失的速度 （外生）
a=每单位时间失业工人找到工作的速度

下面构造模型：
在Z=0 的情况下

就业的value是：rV(E) = w - b { V(E) - V(U)}
失业下的value是： rV(U) = a{ V(E) - V(U) }

下面请教：当Z不等于零的时候

就业下和失业下的value怎样构造呢？或者说要不要考虑机会成本？

如果不考虑机会成本：

就业的value是：rV(E) = w - b { V(E) - V(U)}
失业下的value是： rV(U) = a{ V(E) - V(U) } + Z

如果考虑机会成本：

就业的value是：rV(E) = w - b { V(E) - V(U)} - Z
失业下的value是： rV(U) = a{ V(E) - V(U) }

请问我在上面写的两个情况（考虑和不考虑机会成本）时候构造的等式正确吗？

谢谢