|
让我们≥1是一个序列吗(-∞, 0)Mconvergingto bu∈ (-∞, 0)M.表示xn,g(un,1),n≥ 1,与(G6)相反,假设→∞g(un,1)=lim infn→∞xn<∞.因为g(·,1)是(-∞, 0)命令序列(un)n≥1从下面开始,序列(xn)n≥1也从下面开始。因此,通过对一个子序列进行赋值,我们可以假设(xn)n≥1接近某个bx∈ R.表示vn,Gu(un,1)和wn,vnPMm=1vmnw是从定理2.2的第3项和第4项以及f的正齐性条件(2.1)推导出来的=Fv(vn,xn)=Fv(wn,xn),n≥ 1.作为∈ SM,传递给一个子序列,我们可以假设(wn)n≥1 Convergesto bw∈ cl SM。如果bw∈ SM,thenbu=limn→∞n=limn→∞Fv(wn,xn)=Fv(bw,bx)∈ (-∞, 0)M,与我们选择的bu相矛盾。另一方面,如果∈ SM,by(2.2)和f=f(v,x)关于x,limn的单调性→∞f(wn,xn)=0。因此,对于每一个v∈ (0, ∞)M、 0≥ f(v,bx)=limn→∞f(v,xn)≥ 画→∞f(wn,xn)+Fv(wn,xn),v- wn= 画→∞(f(wn,xn)+hun,v- wni)=hbu,v- bwi。因此,如果我们通过连续性将凸函数f(·,bx)通过设置f(v,bx)=0,v扩展到其域的边界∈ (0, ∞)M、 然后是它的次差异bw处的fv(bw,bx)包含bu,因此为非空。在这种情况下,还有欧盟∈ fv(bw,bx)和a序列(evn)n≥1. (0, ∞)McConvergent to bw,使EU=limn→∞Fv(evn,bx),见[10]中的定理25.6。表示ewn,evnPMm=1evmn,n≥ 1,并考虑(2.1)我们得到eu=limn→∞Fv(ewn,bx),与(F6)相矛盾。(G6)==> (F6)。修正x∈ R、 让(wn)n≥1是SMCONVERGING中的一个序列∈ SM和UN,Fv(wn,x),yn,Fx(wn,x),n≥ 1.通过(2.2),凹函数f(wn,·),n≥ 1,收敛到0。因此,他们的比值也收敛到0,这意味着(2.50)limn→∞yn=0。与(F6)相反,假设(un)n≥1包含有界子序列。
|