的生产函数以及假设17.        2和假设 17.    3 下,假设 17.   1 一定成立,因此,对于所有的
k0>0,中央计划者的优化问题(           17.16)的值函数都有定义.
    证明 (略).
    定理17. 7 在由方程(      17.3a)和( 17.3b)决定的效用函数和由方程(            17.6)决定
的生产函数,以及假设 17.        1 下,值函数V (     k)在全体正实数 R++ 上是连续,非递减
的凹函数,并且对任意的k >0都有满足
         ■u(cy )+ (β/γ)  u(