根据推论1和方程式(40),我们得到usud公司=I2n×2n-xg(a,x)-1.diag(ξ)diag(1n- ξ)(93)<=>I2n×2n-xg(a,x)usud公司=diag(ξ)diag(1n- ξ)(94)usud公司=diag(ξ)diag(1n- ξ)+diag(ξ)Msdiag(ξ)Mddiag(1n- ξ) Msdiag(1n- ξ) Md公司usud公司.(95)因此,部分驱动力是固定点的解usud公司= Tξusud公司Tξ表示方程式(95)右侧的地图。我们现在证明,(i)Tξ在usand ud中都是单调递增的,(ii)Tξ是单调递增的。(i) 考虑u0su0d≥usud公司. 然后ξu0su0d-usud公司=diag(ξ)Ms(u0s- us)诊断(ξ)Md(u0d- ud)诊断(1n- ξ) Ms(u0s- 美国)diag(1n- ξ) Md(u0d- ud)≥(96)如果最后一个不等式来自u0s,d- 美国,d≥ 0, ξ ∈ Rnand假设1说明Ms,d≥ 为了证明Tξ是一个收缩,我们计算Tξu0su0d- Tξusud公司=diag(ξ)Msdiag(ξ)Mddiag(1n- ξ) Msdiag(1n- ξ) Md公司u0su0d-usud公司(97)≤diag(ξ)Msdiag(ξ)Mddiag(1n- ξ) Msdiag(1n- ξ) Md公司u0su0d-usud公司(98)≤ λu0su0d-usud公司(99)如果λ<1存在,则假设所有j=1,…,PIMS,di,j<1的要求略强,n、 收缩如下所示:diag(ξ)Msdiag(ξ)Mddiag(1n- ξ) Msdiag(1n- ξ) Md公司求和小于1,并将其k·k也限定在下一个。通过(ii)我们从Banach的不动点定理中知道,迭代un+1=Tξ非收敛到唯一的不动点u*从任何初始条件u进一步,从(i)中,当us,d时,在sus和ud两部分中,收敛严格地从上到下≥ (美国,d)*或美国,d≤ (美国,d)*分别地现在用ξ和uξ表示解,即uξ=Tξuξ,并考虑ξ≥ ξ、 也就是说,有更多的公司是有溶剂的。