何金蘇

(浙江師范大學 數(shù)理與信息工程學院,浙江 金華 321004)

0 引 言

設X是維數(shù)至少為2的實Banach空間,X*表示X的共軛,A為X的非空閉子集,intA,?A分別表示有界集A的內(nèi)部和邊界,B(x,r)表示X的以x為中心r為半徑的閉球,特別令B=B(0,1).

設C是X的閉有界凸子集,且0∈intC,顯然C是X的吸收集但不一定對稱.定義

pC(x)=inf{α>0:x∈αC},?x∈X.

稱pC(x)為集合C上的Minkowski泛函.

設G是X的非空閉子集,J:G→R是下半連續(xù)下有界函數(shù).對?x∈X,考慮廣義擾動優(yōu)化問題

(1)

顯然,當C=B時,pC(5)是范數(shù)‖5‖,(JC,x)-inf問題即為文獻[1]中的擾動優(yōu)化問題.擾動優(yōu)化問題最先由Baranger在文獻[2]中提出,由于該類擾動優(yōu)化問題在由偏微分方程決定的優(yōu)化控制問題中有著廣泛的應用[2-4],因此引起了很多優(yōu)化和逼近論學者的重視[5-7],但對廣義擾動優(yōu)化問題的研究未見報道.本文主要借助集合的緊性概念和廣義最優(yōu)值函數(shù)的方向導數(shù),研究廣義最優(yōu)解的存在性,推廣了文獻[1,8]中的部分結果.

1 預備知識

首先給出Minkowski泛函的一些已有性質,具體可參閱文獻[8-10].

命題1設C如上定義,則對于任意x,y∈X,有

1)-pC(y-x)≤pC(x)-pC(y)≤pC(x-y);

2)(pC(x+ty)-pC(x))/t≤(pC(x+t′y)-pC(x))/t′,?t,t′∈R{0},t

-pC(y-x)≤dG(x)-dG(y)≤pC(x-y),且|dG(x)-dG(y)|≤υ‖x-y‖.

定義1令y∈?C.

2)對任意y∈?C,C在y處緊局一致凸,則稱C緊局一致凸.

定義2設{zn}?G,若

則稱{zn}為x的JC-極小化序列.

定義3設x∈X,若x的任何JC-極小化序列{zn}均有收斂于G中元的子列,則稱G在x處是JC-逼近緊;若對任意x∈X,G在x處JC-逼近緊,則稱G是JC-逼近緊.

2 主要結果

設G是Banach空間X的非空閉子集,C是X的閉有界凸子集,且0∈intC.定義X上的函數(shù)φ為

(2)

則由命題2可知φ是Lipschitz連續(xù),即

|φ(x)-φ(y)|≤υ‖x-y‖,?x,y∈X.

(3)

對x,y∈X,用φ′+(x)(y)表示φ在x處沿y方向的方向導數(shù),其定義為

(4)

接下來主要討論廣義最優(yōu)值函數(shù)φ(x)的方向導數(shù)之值同相關集G的JC-逼近緊性和問題(JC,x)-inf最優(yōu)解存在性的關系.

引理1設x∈XG,y∈?C,使

(5)

(6)

不妨設tnJ(zn)+pC(x-zn)-φ(x).由命題1的2)有

因此

定理1設x∈XG,y∈?C,使式(5)成立.若C在y處緊局一致凸,則G在x處是JC-逼近緊的.

證明 設{zn}?G是x的任一JC-極小化序列,則由引理1有

不失一般性(取子列),可設

由定理1可得:

推論1設C是緊局一致凸空間,若對于任意x∈XG,存在y∈?C,使φ′+(x)(y)=1,則G是JC-逼近緊集.因而,對任意x∈X,問題(JC,x)-inf的最優(yōu)解存在.

注1當pC(5)是范數(shù)(C=B)時，定理1即為文獻[1]中的定理4.1;當J(x)=0時，定理1即為文獻[8]中的定理3.1.

定理2若x∈XG,y∈?C,使

(7)

若C在y處緊局一致凸,則對任意x∈X,問題(JC,x)-inf的最優(yōu)解存在.

證明 由式(7)可取{tn},使tn→0+,且

取zn∈G,滿足0

J(zn)+pC(x+tny-zn)<φ(x+tny)+tn2.

事實上,因為

φ(x)≤J(zn)+pC(x-zn)≤J(zn)+pC(x-zn+tny)+pC(tny)=J(zn)+pC(x-zn+tny)+tn≤

φ(x+tny)+tn+t2n≤φ(x)+2tn+t2n,

所以令tn→0+,得

(8)

則{zn}是x的一個JC-極小化序列.進一步,不妨設

由命題1的2)知

(9)

所以,z0是問題(JC,x)-inf的最優(yōu)解.定理2證畢.

推論2設X緊局一致凸,G是X的非空閉子集.若對于任意x∈XG,存在y∈?C,使φ′+(x)(y)=-1,則對任意x∈X,問題(JC,x)-inf的最優(yōu)解存在.

注2當J(x)=0時,定理2即為文獻[1]中的定理4.2.

[1]何金蘇.Banach空間中一類擾動優(yōu)化問題最優(yōu)解的特征與存在性[J].數(shù)學學報,2007,50(3):669-678.

[2]Baranger J,Temam R.Nonconvex optimization problems depending on a parameter[J].SIAM J Control,1975,13(1):146-152.

[3]Bidaut M F.Existence the theorems for usual and approximate solutions of optimal control problem[J].J Optim Theory Appl,1975,15(4):393-411.

[4]Cobzas S.Nonconvex optimization problems on weakly compact subsets of Banach spaces[J].Anal Numer Theor Approx,1980,9(1):19-25.

[5]Ni Renxing.Generic solutions for some perturbed optimization problem in non-reflexive Banach space[J].J Math Anal Appl,2005,302(2):417-424.

[6]Baranger J.Existence de solution pour des problemes d′ optimization nonconvex[J].C R Acad Sci Paris,1972,274:307-309.

[7]Cobzas S.Generic existence of solutions for some perturbed optimization problems[J].J Math Anal Appl,2000,234(2):344-356.

[8]Li Chong,Ni Renxing.Derivatives of generalized distance functions and existence of generalized nearest points[J].J Approx Theory,2002,115(1):44-55.

[9]De Blasi F S,Myjak J.On a generalized best approximation problem[J].J Approx Theory,1998,94(1):54-72.

[10]Li Chong.On well posed generalized best approximation problem[J].J Approx Theory,2000,107(1):96-108.