如果,对于任何h=(1,B,g,δ)∈ H和φ∈ {0, 1}, γ ∈ S(h,φ),然后是γ| ht,φ∈ 对于任何ht,S(ht,φ)∈ Htandφ∈ {0, 1}. 此外,z(κφ,n(γ)(h),g)u(γ)(h)+φ{Pφ(g,B(γ)(h,φ),u(γ)(h,h(·)))B(γ)(h,φ)- Δu(γ)(h)B}≥ 0其中κφ=κ(1- φ) +φ和h(·)≡ 对于t=0,1ut+1(γ)(ht,ht+1(g))=uc(nt+1(γ)(ht,ht+1(g))- g、 一,- nt+1(γ)(ht,ht+1(g)))定理4.1的证明类似于单体情况下最优性原理的标准证明,例如Stokey等人[1989]中的定理9.2。定理4.1的证明。通过定义V*, 五、*和V*, 因此h=(φ-1,B,g,¨δ)和φ=0V*(g,B)=supγV(γ)(h,0)(D.30)受制于γ=(γF,γD)∈ S(h,0)(D.31)γD | h,φ=0由(4.12)确定- (4.11)(D.32)uc(κn(γ)(h)- g、 一,- n(γ)(h))=mA(g)(D.33),类似地,h=(1,B,g,1)和u∈ R+和φ=1V*(g,B,u)=supγV(γ)(h,1)(D.34)受制于γ=(γF,γD)∈ S(h,1)(D.35)γD | h,φ=1由(4.12)确定- (4.11)(D.36)uc(n(γ)(h)- g、 一,- n(γ)(h))=u。(D.37)最后,h=(0,B,g,δ)和φ=1V*(g,δB)=supγV(γ)(h,1)(D.38)受制于γ=(γF,γD)∈ S(h,1)(D.39)γD | h,φ=1由(4.12)确定- (4.11). (D.40)第一个(顺序)问题包括从t=1开始选择符合竞争均衡和默认权限最优性的γ,以最大化家庭的终身效用,条件是h=(φ)-1,B,g,δ)和φ=0。解由V给出*(g,B),不依赖于δ或u。条件D.33确保当前边际效用等于之前定义的自给自足价值。问题D.34类似于问题D.30,φ=1和φ-1=1。