|
我们得到以下结果:(i)如果a<z,那么T′(z)<1-T(z)1-z、 (ii)如果a<z<b且z<z<1,则-T(z)1-z> T(z)-T(z)z-z、 证明:(i)如果a<z6b,那么T′(z)<T′(a)<1-T(z)1-z、 如果b<z,那么T′(z)<1-T(z)1-zsince T(·)是凸的,并且在[b,1]上严格递增。(ii)自- T(z),1- z、 T(z)- T(z)和z- zare完全肯定,我们有1个- T(z)1- z> T(z)- T(z)z- Z<==>1.- T(z)1- z> (1)- T(z))+(T(z)- T(z))(1- z) +(z)- z)<==>1.- T(z)1- z> 一,- T(z)1- z、 然而,1-T(z)1-z> 一,-T(z)1-从引理4.1开始。对于固定x>0,定义q(z):=u′(x+z)u′(x- z) 在z上∈ (0,x)。引理A.2如果-u′(z)u′(z)是严格递减的,那么q(z)是z上的严格递增函数∈ (0,x)。证明:我们取导数:q′(z)=u′(x+z)u′(x- z)- u′(x+z)u′(x)- z) =u′(x+z)u′(x- z)(-u′(x)- z) u′(x)- z) )- (-u′(x+z)u′(x+z))> 因此,我们得到了结果。B(6)和(8)最优解的存在性我们首先证明了约束集G在某些范数下是紧的。我们考虑[0,1]上的所有连续函数,表示为C[0,1]。将x(·)、y(·)之间的度量定义为ρ(x(·)、y(·))=max06t61 | x(t)- y(t)|,x(·),y(·)∈ C[0,1]。显然,C[0,1]是ρ下的度量空间。根据Arzela–Ascoli定理,对于任意序列(Gn(·))n∈在G中,存在一个在ρ下收敛于C[0,1]的子序列Gnk(·)。引理B.1可行集G在ρ下是紧的。证明:对于任意序列(Gn(·))n∈在G中,存在一个子序列Gnk(·),它在G中一致收敛*(·) ∈ C[0,1]。我们现在证明G*(·) ∈ 如果存在这样的a>b*(b)- G*(a) =η>0,然后取ε:=η。如果从一致收敛性得出,存在ρ(Gnk(·),G*(·)) 6 ε k>k。因此,0<η=G*(b)- G*(a) =G*(b)- Gnk(b)+Gnk(b)- Gnk(a)+Gnk(a)- G*(a) 6ε+0+ε=η k>k,这是一个矛盾。这证明了0.6克*(a)- G*(b)a>b。
|