莫曉慶,孫祥凱
(重慶工商大學(xué) 經(jīng)濟(jì)社會(huì)應(yīng)用統(tǒng)計(jì)重慶市重點(diǎn)實(shí)驗(yàn)室,數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,重慶 400067)
設(shè)T為非空無(wú)限指標(biāo)集,fi:n→(i=1,2,…,m)和gt:n→(t∈T)是局部Lipschitz函數(shù),考慮下列半無(wú)限多目標(biāo)優(yōu)化問(wèn)題:
半無(wú)限多目標(biāo)優(yōu)化問(wèn)題(MP)在數(shù)學(xué)物理、工程設(shè)計(jì)、經(jīng)濟(jì)管理、合作博弈等領(lǐng)域應(yīng)用廣泛,目前已取得許多研究成果[1-5]. 但在處理實(shí)際問(wèn)題時(shí),由于測(cè)量等因素的影響,很難保證問(wèn)題(MP)的目標(biāo)函數(shù)或約束函數(shù)中所含數(shù)據(jù)的精確性. 因此,含有不確定性信息的多目標(biāo)優(yōu)化問(wèn)題研究得到廣泛關(guān)注. Chuong[6]借助變分分析工具和廣義凸性假設(shè),研究了非光滑魯棒多目標(biāo)優(yōu)化問(wèn)題Pareto有效解的最優(yōu)性條件和對(duì)偶性定理; Fakhar等[7-8]借助一類極限次微分和一些合適的廣義凸性假設(shè)條件,研究了一類約束函數(shù)帶有不確定信息的多目標(biāo)優(yōu)化問(wèn)題的最優(yōu)性條件、對(duì)偶性定理及鞍點(diǎn)定理; Lee等[9]借助共軛函數(shù)的上圖技巧通過(guò)引入一類新的閉性條件,刻畫(huà)了不確定半無(wú)限多目標(biāo)優(yōu)化問(wèn)題的魯棒最優(yōu)性條件和Wolfe型魯棒對(duì)偶性;Chen等[10]借助一類約束標(biāo)量化方法,刻畫(huà)了不確定多目標(biāo)優(yōu)化問(wèn)題的有效解及弱有效解的魯棒最優(yōu)性條件;Sun等[11]借助一類標(biāo)量化方法和廣義凸性假設(shè),刻畫(huà)了一類非光滑非凸多目標(biāo)優(yōu)化問(wèn)題的魯棒逼近Pareto有效解的充分最優(yōu)性條件、Wolfe型魯棒對(duì)偶性及魯棒鞍點(diǎn)定理. 但上述研究主要針對(duì)不確定多目標(biāo)優(yōu)化問(wèn)題的魯棒有效解展開(kāi),而針對(duì)含有不確定參數(shù)的半無(wú)限多目標(biāo)優(yōu)化問(wèn)題的魯棒逼近擬Pareto弱有效解的研究尚未見(jiàn)文獻(xiàn)報(bào)道.
考慮問(wèn)題(MP)的不確定參數(shù)模型:
其中:ui∈Ui(i=1,2,…,m)和vt∈Vt(t∈T)為不確定參數(shù),Ui?m(i=1,2,…,m)和Vt?q(t∈T)為不確定集合;fi:n×m→(i=1,2,…,m)和gt:n×q→(t∈T)為局部Lipschitz函數(shù). 本文若無(wú)特殊說(shuō)明,記
本文借助魯棒優(yōu)化方法刻畫(huà)問(wèn)題(UMP)的魯棒逼近擬Pareto弱有效解的必要和充分最優(yōu)性條件. 首先引入問(wèn)題(UMP)的魯棒對(duì)應(yīng)模型:
然后通過(guò)引入一類新的廣義凸性假設(shè)條件并借助文獻(xiàn)[12]引入的魯棒型次微分約束規(guī)格分別刻畫(huà)問(wèn)題(UMP)的魯棒逼近擬Pareto弱有效解的必要和充分最優(yōu)性條件,所得結(jié)果推廣并改進(jìn)了已有文獻(xiàn)的結(jié)果.
(T)∶={μT=(μt)t∈T|μt=0,t∈T,僅有有限個(gè)μt≠0};
設(shè)φ:n→為實(shí)值函數(shù),若對(duì)任意的x∈n,存在正數(shù)L及x的開(kāi)鄰域N(x),使得對(duì)任意的y,z∈N(x),均有|φ(y)-φ(z)|≤L‖y-z‖,則稱函數(shù)φ為局部Lipschitz函數(shù). 對(duì)任意的d∈n,局部Lipschitz函數(shù)φ在x∈n處單邊方向?qū)?shù)定義為
φ在x∈n處關(guān)于方向d∈n的Clarke方向?qū)?shù)定義為
若對(duì)任意的d∈n,φ′(x,d)存在,且φ′(x,d)=φc(x,d),則稱φ在x∈n處為正則的.φ在x∈n處的Clarke次微分?cφ(x)定義為
?cφ(x)∶={ξ∈n|φc(x,d)≥〈ξ,d〉,?d∈n}.
顯然,若φ為凸函數(shù),則Clarke次微分?cφ(x)退化為經(jīng)典的凸次微分,即
關(guān)于Lipschitz函數(shù)的其他概念和性質(zhì)可參見(jiàn)文獻(xiàn)[13].
定義1[13]設(shè)D?n是非空子集,x∈D,則集合D在x處Clarke法錐定義為
Nc(D,x)∶={ξ∈n|〈ξ,v〉≤0,?v∈TD(x)},
注1[13]顯然,若D?n是非空凸子集,x∈D,則Clarke法錐Nc(D,x)退化為凸分析中經(jīng)典的法錐N(D,x),即N(D,x)∶={ξ∈n|〈ξ,y-x〉≤0,?y∈D}.
命題1[13]設(shè)D?n是非空子集,x∈D. 若φ:n→在x處是局部Lipschitz的,且φ在x∈D處取得最小值,則0∈?cφ(x)+Nc(D,x).
命題2[13]若函數(shù)φi:n→(i=1,2,…,m)在n處是局部Lipschitz的,則
命題3[13]若函數(shù)φi:n→(i=1,2,…,m)在n處是局部Lipschitz的,則函數(shù)在n處是局部Lipschitz的,且
定義2問(wèn)題(UMP)的魯棒可行集定義為F∶={x∈n|gt(x,vt)≤0,vt∈Vt,t∈T}.
注2若不確定集Ui(i=1,2,…,m)和Vt(t∈T)均為單點(diǎn)集,則問(wèn)題(UMP)的魯棒可行集退化為問(wèn)題(MP)的可行集,即F0∶={x∈n|gt(x)≤0,t∈T}.
1) 若不存在x∈F,使得
2) 若不存在x∈F,使得
注31) 若定義3中2)的不確定集合Ui(i=1,2,…,m)為單點(diǎn)集,且T為有限集,則問(wèn)題(UMP)的魯棒Pareto弱有效解退化為文獻(xiàn)[7]中定義1.1的魯棒弱有效解.
2) 若問(wèn)題(UMP)的目標(biāo)函數(shù)為實(shí)值函數(shù),即m=1,則其魯棒ε-擬Pareto弱有效解退化為文獻(xiàn)[12]中單目標(biāo)半無(wú)限優(yōu)化問(wèn)題(P)的魯棒ε-擬最優(yōu)解.
3) 類似地,本文也可引入問(wèn)題(UMP)的其他魯棒逼近擬Pareto有效解,如魯棒逼近擬Pareto真有效解. 因?yàn)槠渌愋偷聂敯粲行Ы饪深愃铺幚?故本文僅研究問(wèn)題(UMP)的魯棒ε-擬Pareto弱有效解.
參考文獻(xiàn)[12]引入的一類魯棒型次微分約束規(guī)格及合理的假設(shè)條件,下面建立問(wèn)題(UMP)的魯棒ε-擬Pareto弱有效解的必要最優(yōu)性條件.
不失一般性,本文假設(shè)問(wèn)題(UMP)的目標(biāo)函數(shù)fi:n×m→(i=1,2,…,m)滿足如下假設(shè)條件[14]:
(H1) 對(duì)任意的(x,ui)∈n×Ui(i=1,2,…,m),fi(x,ui)是上半連續(xù)的;
(H2) 對(duì)任意的ui∈Ui(i=1,2,…,m),函數(shù)x∈nfi(x,ui)是局部Lipschitz的,并且是正則的;
命題4[14]設(shè)函數(shù)fi:n×m→(i=1,2,…,m)滿足假設(shè)條件(H1)~(H3),Ui(i=1,2,…,m)是m上的緊凸集,且fi(x,·)在Ui上是凹函數(shù). 則對(duì)任意的x∈n,有
為簡(jiǎn)單,記λ∶=(λ1,λ2,…,λm)∈m.
(1)
(2)
證明: 對(duì)任意的x∈F,記函數(shù)
從而
(3)
(4)
(5)
又由命題4可知
(6)
定理1刻畫(huà)了問(wèn)題(UMP)的魯棒ε-擬Pareto弱有效解的必要條件.
若ε=(0,0,…,0),則有如下關(guān)于問(wèn)題(UMP)的魯棒Pareto弱有效解的必要最優(yōu)性條件.
(7)
(8)
下面借助一類新的廣義凸性假設(shè)條件,給出問(wèn)題(UMP)的魯棒ε-擬Pareto弱有效解的充分最優(yōu)性條件. 為簡(jiǎn)單,記f∶=(f1,f2,…,fm),g∶=(g1,g2,…,gt).
受文獻(xiàn)[7-8]啟發(fā),先引入下列ε-偽擬廣義凸性的假設(shè)條件.
下述定理給出了問(wèn)題(UMP)的魯棒ε-擬Pareto弱有效解的一類充分最優(yōu)性條件.
(9)
(10)
(11)
從而
若ε=(0,0,…,0),則有如下關(guān)于問(wèn)題(UMP)的魯棒Pareto弱有效解的充分最優(yōu)性條件.
綜上所述,本文從魯棒優(yōu)化的角度出發(fā),借助一類新的魯棒型次微分約束規(guī)格和廣義凸性假設(shè),研究了一類目標(biāo)函數(shù)和約束函數(shù)均帶有不確定信息的非凸非光滑半無(wú)限多目標(biāo)魯棒逼近擬Pareto弱有效解的最優(yōu)性條件. 所得結(jié)果可為解決實(shí)際問(wèn)題中不確定優(yōu)化模型提供一定的理論參考.