|
那么对y来说≥ 0 wede fine,通过下半连续性,(2.28)g(u,y),limε→0infz∈B(u,ε)g(z,y),u∈ (-∞, 0]M,其中b(u,ε),Z∈ (-∞, 0)M:| u- z|≤ ε.请注意,(2.28)中的限值可能是有限的。在引理2.3的证明中,我们推导出(C×int D)上定义的鞍函数f=f(v,x)的存在性∪ (D×int C),其中C,五、∈ RM:f(v,x)<∞ 为了所有的x∈ R=(五)∈ RM:supu∈(-∞,0]M[hv,ui- g(u,y)]∞ 有一段时间∈ R+,D,十、∈ R:f(v,x)>-∞ 总之∈ RM=十、∈ R:infy∈R+[xy- g(u,y)]>-∞ f或一些u∈ (-∞, 0]M,使得,f或每(v,x)∈ (C×int D)∪ (D×int C),f(v,x)=supu∈(-∞,0]Minfy∈R+[hv,ui+xy- g(u,y)],=infy∈R+supu∈(-∞,0]M[hv,ui+xy- g(u,y)],(2.29)和,对于每一个(u,y)∈ ( -∞, 0)M×(0,∞),g(u,y)=supv∈Cinfx∈int D[hv,ui+xy- f(v,x)]=infx∈Dsupv∈int C[hv,ui+xy- f(v,x)]。(2.30)作为g(u,y)=yg(u,1),由(G2)(c)表示每x∈ 有你∈(-∞, 0)如x所示≥ g(u,1),我们有d=R。在上面C的第二个描述中选择y=0,我们得到SUPU∈(-∞,0]米[胡,六]- g(u,0)]=supu∈(-∞,0]M[hu,vi]<∞ 我∈ RM+。如果v6∈ RM+,然后是u∈ (-∞, 0)胡说,vi>0。根据(G2)(c),对于每一个y>0,limn→∞g(nu,y)=-∞,因此,苏普∈(-∞,0]米[胡,六]- g(u,y)]≥ 林尚→∞[hnu,vi]- g(nu,y)]=∞.它遵循tC=RM+。为了你∈ (-∞, 0)Mand y>0我们有g(u,y)∈ (0, ∞)M×R,意味着(v,x),g(u,y)是(2.30)的唯一鞍点。特别地,我们得出极小极大恒等式(2.15)和(2.30)具有相同的唯一鞍点。现在让我们来看看v∈ (0, ∞)曼德x∈ R由于(v,x)属于f的有效域的内部,所以(2.29)中的极小极大值是在(v,x)处计算的属于f的次微分的鞍点的闭凸集上获得的,参见[10]中的推论37.5.3。我们将向大家展示这一套是一个独立的(-∞, 0)M×(0,∞).让(bu,by)成为鞍点。
|