王海英,武慧虹
(安順學院數(shù)學與計算機科學系,貴州安順 561000)
凸性理論(包括凸集理論和凸函數(shù)理論)在數(shù)理經(jīng)濟學、對策論、工程、管理科學和最優(yōu)化理論中起著非常重要的作用,這主要是因為凸函數(shù)在凸集上的局部極值也一定是其全局極值。事實上,具有凸性的函數(shù)相對來說是很少的。因此,人們一直在研究凸函數(shù)的各種推廣形式即廣義凸函數(shù),使其既能保持凸函數(shù)的一些良好性質(zhì)又具有比凸性更弱的條件。20世紀 80年代以來,國內(nèi)外學者對廣義凸函數(shù)的研究興趣與日俱增,他們多方位、多角度、多途徑地對廣義凸函數(shù)的條件、結論進行廣泛地拓展,取得了一系列研究成果[1-9]。1988年,文獻[1-2]引入了不變凸集和預不變凸函數(shù)的定義,研究了它的性質(zhì)及其在優(yōu)化理論中的應用。2001年,文獻[3]得到了預不變凸函數(shù)的若干性質(zhì)。文獻[4]根據(jù)條件 C得到了條件C′,并且討論了條件C與條件C′的關系。
本文在此基礎上對預不變凸函數(shù)作了進一步研究,在排除文獻[3]中 X是開集及集合 A={λ∈[0, 1]:f(y+λη(x,y))≤λf(x)+(1-λ)f(y),?x,y∈X}在[0,1]中的稠密性條件下,而得到了相同的結論,從而簡化了一些預不變凸函數(shù)性質(zhì)定理的證明。
定義1 設X?Rn,如果存在一個向量函數(shù)η:Rn×Rn→Rn,使得?x,y∈Rn;?λ∈[0,1]有y+λη(x,y)∈X,則稱集合X關于η是不變凸集。
定義2 設X?Rn是關于向量函數(shù)η:Rn×Rn→Rn的不變凸集,實值函數(shù)f:X→R,若?x,y∈Rn;?λ∈[0,1]有f(y+λη(x,y))≤λf(x)+(1-λ)f(y),則稱f關于相同的η是預不變凸函數(shù)。
定義3 設X?Rn是關于向量函數(shù)η:Rn×Rn→Rn的不變凸集,實值函數(shù)f:X→R,若?x,y∈Rn,?λ∈[0,1],當x≠y時,有f(y+λη(x,y))<λf(x)+(1-λ)f(y),則稱f關于相同的η是嚴格預不變凸函數(shù)。
條件C:稱向量函數(shù)η:Rn×Rn→Rn滿足條件C,如果?x,y∈Rn;?λ∈[0,1]有:
條件C′:稱向量函數(shù)η:Rn×Rn→Rn滿足條件C′,如果?x,y∈Rn;?λ1,λ2∈[0,1]有:
條件D:設X?Rn是關于向量函數(shù)η:Rn×Rn→Rn的不變凸集,稱實值函數(shù)f:X→R滿足條件D,若?x,y∈X,有f(y+η(x,y))≤f(x)。
條件H:如果λn∈[0,1],且λn→λ,則對 ?ε>0,?正整數(shù)N,當n>N時,對?x,y∈X都有f(y+η(x,y))≤f(y+λnη(x,y))+ε。
由文獻[5]可知:f是關于η的預不變凸函數(shù)。
引理1 設X?Rn是關于向量函數(shù)η:Rn×Rn→Rn的不變凸集,η滿足條件C,則η滿足條件C′。
引理2 設X?Rn是緊集,實值函數(shù)f:X→R上半連續(xù),則f在X上取得最大值。
定理1 設X?Rn是關于向量函數(shù)η:Rn×Rn→Rn的不變凸集,實值函數(shù)f:X→R,若f上半連續(xù)且滿足條件D,η滿足條件C′,則f關于相同的η是預不變凸函數(shù)??α∈(0,1)對?x,y∈X,有f(y +αη(x,y))≤αf(x)+(1-α)f(y)。
證明 必要性顯然。下證充分性。
令:
因f上半連續(xù),則g(λ)在[0,1]上也上半連續(xù),從而由引理 2知:g(λ)在[0,1]上存在最大值 M0。
令:
易知g(0)=0,由f滿足條件D可知:g(1)=f(y+η(x,y))-f(x)≤0,因而λ0∈[0,1]。
選取δ,使得
令:
則由η滿足條件C′得:
從而由題設條件有:
矛盾,故假設不成立,即 f關于相同的 η是預不變凸函數(shù)。
定理2 設X?Rn是關于向量函數(shù)η:Rn×Rn→Rn的不變凸集,實值函數(shù)f:X→R,若f下半連續(xù),則f關于相同的η是預不變凸函數(shù)??α∈(0,1)對?x,y∈X,有f(y+αη(x,y))≤αf(x)+(1-α)f(y)。
證明 必要性顯然。下證充分性。令:
如果λn∈A,且λn→λ,則由A的定義,對?x,y∈X,有:
又f下半連續(xù),則f滿足條件H,則對?ε>0,?正整數(shù)N,當n>N時,對?x,y∈X都有:
由式(1)、式(2)可得:
由λn→λ和ε的任意性,有:
從而f關于相同的 η是預不變凸函數(shù)。
設對于x∈X的求f(x)的最小值的數(shù)學規(guī)劃問題為(P):
定理3 設X?Rn是關于向量函數(shù)η:Rn×Rn→Rn的不變凸集,實值函數(shù)f:X→R關于相同的η是嚴格預不變凸函數(shù),如果是關于規(guī)劃問題(P)的局部最優(yōu)點,則一定是關于規(guī)劃問題(P)的全局唯一的最優(yōu)點。
假設x不 是規(guī)劃問題(P)的全局最優(yōu)點,則必存在∧x∈X,使得:
因為f:X→R關于相同的η是嚴格預不變凸函數(shù),故對于?λ∈[0,1]有:
當λ充分小時,有:
(Ⅱ)唯一性。假設x0,x1∈X為規(guī)劃問題(P)的兩相異全局最優(yōu)點,則f(x0)=f(x1)。由于X?Rn是關于向量函數(shù)η:Rn×Rn→Rn的不變凸集,則對于?λ∈[0,1]有x0+λη(x1,x0)∈X。因為f:X→R關于相同的 η是嚴格預不變凸函數(shù),故:
這與x0是關于規(guī)劃問題(P)的全局最優(yōu)點矛盾,故規(guī)劃問題(P)的全局最優(yōu)點唯一。
綜上可知:x0是關于規(guī)劃問題(P)的全局唯一的最優(yōu)點。
定理4 設X?Rn是關于向量函數(shù)η:Rn×Rn→Rn的不變凸集,實值函數(shù)f:X→R關于相同的η是預不變凸函數(shù),則規(guī)劃問題(P)的最優(yōu)解集是不變凸集。
證明 設x,y是規(guī)劃問題(P)的解,由于X?Rn是關于向量函數(shù)η:Rn×Rn→Rn的不變凸集,則對于?λ∈[0,1],有z=y+λη(x,y)∈X。因為f:X→R關于相同的η是預不變凸函數(shù),故:
即z=y+λη(x,y)也是規(guī)劃問題(P)的最優(yōu)解,因而規(guī)劃問題(P)的最優(yōu)解集是不變凸集。
注:定理3、定理4一方面可以看作是預不變凸函數(shù)的兩個很好的性質(zhì),同時也表明預不變凸函數(shù)在數(shù)學規(guī)劃中有著非常重要的意義和地位。
[1] Weir T,Mond B.Prieinvex Functions in MultipleObjective Optim ization[J].JournalofMath Analand Appl,1988,136:29-38.
[2] Weir T,Jeyakwmar V.A Class of Nonconvex Functions and Mathematical Programming[J].Bulletin of Australian Mathematical Society,1988,38:177-189.
[3] Yang X M,Li D.On Properties of Preinvex Function[J].Journal of Optim ization Theory Applications,2001,256:229-241.
[4] 雙立青.多目標規(guī)劃在廣義凸性下的最優(yōu)化條件的研究[D].武漢:武漢科技大學,2007.
[5] 彭建文.廣義凸性及其在最優(yōu)化問題中的應用[D].呼和浩特:內(nèi)蒙古大學,2005.
[6] Mohan SR,Neogy SK.On Invex Sets and Preinvex Function[J].Journalof Math Analand App l,1985,189:902-908.
[7] 楊新民.上半連續(xù)函數(shù)的擬凸性[J].運籌學報,1999,3(1):48-51.
[8] 韋麗蘭.預擬不變凸函數(shù)與半連續(xù)函數(shù)的關系[J].江西師范大學學報:自然科學版,2009,33(2):242-244.
[9] 彭再云,林志,劉亞威.E-擬凸函數(shù)的新性質(zhì)及應用[J].河北大學學報:自然科學版,2009,29(6):564-566.