对于任何φ-, g、 δ,B)∈ {0,1}×G× ×B,以及任意函数(φ-, g、 δ,B)7→F(φ)-, g、 δ,B)我们定义了以下运算符[F](φ-, g、 δ,B)=最大值(a,d)∈D(φ-,δ) T[F](φ-(1 - d) +a(1)- φ-), g、 δ,ν(B,δ,a,d))(E.58)和d(0,δ)={0,1}×{1}如果δ6=\'\'δ和d(0,δ)={0}×{1},也就是d(1,δ)={1}×{0,1};ν(B,δ,a,1)=δBa+(1)- a) B和φ(B,δ,0,d)=B;andT[F](φ,g,δ,B)=最大值(n,B)∈Γφ(g,B)κφn- g+H(1)- n) +βZGZ“F(φ,g,δ,B)π‘(dδ|φ)πG(dg),(E.59)其中π‘(·|φ)=1{1}(·)如果φ=1和π‘(·|φ) = (1 - λ)1{δ}(·) + λπ(·)如果φ=0。T算子的固定点由V给出*(φ-, g、 δ,B)=最大值(a,d)∈D(φ-,δ) 五*φ-(1-d) +a(1)-φ-)(g,~n(B,δ,a,d))(E.60)和任何φ∈ {0,1}V*φ(g,B)=最大值(n,B)∈Γφ(g,B)κφn- g+H(1)- n) +βZGZ“五、*(φ,g,δ,B)π‘(dδ|φ)πG(dg). (E.61)为了验证方程E.61,通过对Γ、κ=κ和z\'施加的限制,确定φ=0,B=B五、*(0,g,δ,B)π‘(dδ| 0)=λZ五、*(0,g,δ,B)π‘(dδ)+(1)- λ) 五*(0,g,¨δ,B)=λZ马克萨∈{0,1}V*a(g,B(δa+)(1- a) )π‘(dδ)+(1)- λ) 五*(0,g,¨δ,B)=λZ最大值{V*(g,Bδ),V*(g,B)}π‘(dδ)+(1)- λ) 五*(g,B)式中,最后一行来自于D(0,\'-δ)={0}×{1}这一事实。如果φ=1,那么z‘五、*(1,g,δ,B)π‘(dδ| 1)=V*(1,g,1,B)=maxd∈{0,1}V*(1-d) (g,~n(B,1,1,d))=max{V*(g,ν(B,1,0,0)),V*(g,~n(B,1,0,1))}=max{V*(g,B),V*(g,B)}。注意,从这个固定点,我们可以导出函数V*通过使用方程E.61。现在我们证明了算子T将有界函数映射到有界函数上。取| F(φ-, g、 δ,B)|≤ C代表所有人(φ-, g、 δ,B),对于某些有限常数C>0。