zym9456 发表于 2010-6-7 10:35 
楼主,形式化一下吧。
你是说的模型化一下吗?
第一部分,这同合作博弈论里面的核非空充分条件的证明相似,但是不同之处添加了有资本参与的合作,另外把消费引进了模型,考虑了生产和消费的衔接,因此构成了宏观而不是仅仅考虑微观个体的利益最大化,利用该理论,证明个人帕累托标准下的社会帕累托最优分配条件。
即
满足Mar>Aver时,静态中
平均分配达到效用最大化,比较静态中,必须先满足资本的折旧,动态中,必须分配一部分资源进行创新,达到远期的全局最优,这涉及到集体多数决策中的偏好贴现率ρ的选择。余下的部分
平均分配福利最大化。在严格约束条件下,可以得出按需分配是最优分配方式。
至于match and search theories 很多教材都有介绍不再罗嗦。