一个抽象变分不等式解的存在性定理.pdf

荆 门大学学报t自然科学版) ^} ● u 0 一个抽象变分不等式解的存在性定理 7／ (＼) ●王国庭 077 l一 摘要 Gzoim 在 [1]中给 出了一个抽象变分不等式解 的存在性定理 ，末文减弱 了这个定理 的部分条 件 ，得到了一十抽皋变分不等式解的存在性定理及若干推论． 设E是～Hausdoff拓扑线性空间，XC E是一闭凸集，，：x一 (一oo，+ 。。]且 ，≠+ 而 ～ 。。。、 ：X ×X一 R，且 (z，)≥ O，Vz∈X． 卜 定理 设下列条件成立： 71，一 ()对任给的 、Y∈X， ，)≤ ，)； 一 (矗)存在紧集 K [E及 z。∈X NK，使得 ，(z) ，z。)+ f(x。)， V ∈x＼K (iii)对任给的 ∈X，，()+ ，)关于y∈X是拟 凸的； 、 ()对任给的Y∈X，及任一有限维子空间FcE，，(z)一 z，y)关于z在Fnx上是 下半连续的； 鲤 ()对 的任～有限维截 口D =XNF(其中F为E 中的任～有限缝子空间)及任一网 { )∈，[ n ，‘一 ∈D， 当 ，( )≤ ．)+ ，()， VY∈D， V ∈， 时，必有 ，()≤ z，)+ ，()， Vy∈D 则存在 ；∈XC K，使猖 ，()+ 三，)≥ ，()， VY∈X 证明 对任一y∈X，令 G()；={z∈X：，()+ z，)≥ ，()) (1) H ()一 ( ∈X：，()+ (z，)≥ ，(z)) (2) 首先去证由(1)式定义的映象 G；X一2 是KKM 映象 ： 事实上 ，由条件 ()知 ，对每一y∈X，H()cG()，因而欲证G是KKM 映象 ，只须证由 (2)式定义的映象H ：x一 2 是 K五M映象即可 ． 下证 H ； 一 2 是 K肘 映象 ． 用反证法 ．假设H 不是K 肘 映象 ，则存在有限集{。，Y：，… )[x，使得 1 COfY】，Y2，… ， ) UH ( ) r。 1 因而存在某一 一∑^ ∈co{y，y ”)，其中 ≥o，一1，2，…，n，∑ ．一1，但 H ( )，i一 1，2，… ，n．即 f(Y，)+ (，Y)UG)，i=1，2，…，n 于是有 ，()+ 。。，i= 1，2，…’n．由条件 ()，，()+ (，)关于y∈X为拟凸，故 fy∈X：，()+ (，) ，()) 为凸集，于是有 UG)+ (，)，() 故 ，()∈R，且 (，)o