白玉娟
(隴東學院 數(shù)學與統(tǒng)計學院,甘肅 慶陽 745000)
眾所周知,凸性理論在對策論、工程、管理科學和最優(yōu)化理論中起著非常重要的作用。然而,許多實際問題形成的數(shù)學模型,常常不能滿足凸規(guī)劃的基本要求,于是出現(xiàn)了對各種各樣的廣義凸性以及與數(shù)學規(guī)劃問題相關(guān)聯(lián)的一些基本性質(zhì)的研究。1981 年,Hanson 提出了不變凸函數(shù)的定義并將其推廣為擬不變凸和偽不變凸[1]。1988 年,Weir T 和Mond B 提出預不變凸函數(shù)的定義,并研究了此類函數(shù)在最優(yōu)化中的應用[2]。2001 年,楊新民給出了預不變凸函數(shù)的其他性質(zhì)[3],隨后顏麗佳提出了強預不變凸函數(shù)[4]。具體的優(yōu)化問題數(shù)學建模過程中,往往還需要模糊數(shù)描述不確定參數(shù),因此,關(guān)于模糊凸分析理論與其相對應的模糊優(yōu)化問題的研究,引起了廣大學者的興趣。1994 年,NOOR M A 給出了預不變凸模糊映射和模糊不變凸集的概念[5]。1999 年,SYAU Y R 定義了η為向量值函數(shù)的預不變凸性,得到預不變凸模糊映射的兩個刻劃定理,并討論了其在優(yōu)化理論中的應用[6]。1992 年,Nanda S 提出了對數(shù)凸模糊映射[7]。2006 年,張成利用模糊數(shù)的表示定理,證明了對數(shù)凸模糊映射一些基本性質(zhì)[8-9]。本文提出對數(shù)預不變凸模糊函數(shù)的概念,討論對數(shù)預不變凸模糊函數(shù)的若干性質(zhì)及此類函數(shù)在模糊數(shù)學優(yōu)化問題中的應用。
定義1[10]56記E=且滿足:
(1)u是上半連續(xù)的;
(2)u是正規(guī)的,即存在x0∈R,使得u(x0)=1;
(3)u是凸模糊集,即對 ?x,y∈R,α∈[0,1],有u(αx+(1-α)y) ≥min{u(x),u(y)};
(4)[u]0=cl{x∈R:u(x)> 0}是緊集。
任意的u∈E,u被稱為模糊數(shù)且E稱為模糊數(shù)空間。顯然,任意的u∈E,α∈[0,1],
是非空有界閉集。
定理1[10]58設(shè)u∈E,則u-(α)與u+(α)是[0,1]上的函數(shù)且滿足:
(1)u-(α)單調(diào)非降左連續(xù);
(2)u+(α)單調(diào)非增左連續(xù);
(3)u-(α),u+(α)在處是右連續(xù)的;
(4)u-(α)≤u+(α)。
反之,對任何滿足上述條件(1)-(4)的函數(shù)u-(α),u+(α),存在唯一的u∈E,使得
定義2設(shè)u,v∈E,對于任意的α∈[0,1],如果
即u-(α)≥v-(α)且u+(α)≤v+(α),則稱。稱u=v當且僅當且
對u∈E,當且僅當
稱u為零模糊數(shù),記作
定義3設(shè)集合I(?R),如果存在一個向量函數(shù)η:R n×Rn→Rn,使得對 ?t,t'∈I,?λ∈[0,1]滿足t'+λη(t,t')∈I,則集合稱I(?R)是不變凸集。
定義4設(shè)I(?R) 為一個不變凸集,一個模糊映射f:I→E稱為預不變凸模糊映射當且僅當:對?t,t'∈I,?λ∈[0,1],有
定理2[11]設(shè){a(α),b(α)}(0≤α≤ 1)是R上的一族非空有界閉區(qū)間且滿足:
(1)[a(α2),b(α2)] ?[a(α1),b(α1)],對所有的0<α1≤α2;
(2)對任何非減列{αk} ?[0,1],α k↑α,有
則[a(α),b(α)]為某一模糊數(shù)A的截集;反之,若[a(α),b(α)]為某一模糊數(shù)A的截集,則必須滿足條件(1)和(2)。
由0<A-(α)≤A+(α),得
為R上的一族非空有界閉區(qū)間。
因為當(0≤α1≤α2)時,
所以
如果對于任何非負遞減
有
根據(jù)對數(shù)函數(shù)的連續(xù)性,得
于是由定理2 可知,
表示一個對數(shù)模糊數(shù)。
定理3設(shè)A,B∈E+,若A≥B,則有
(1)lnA≥lnB;
(2)Aα≥Bα(α> 0)。
定義5 設(shè)I?R為不變凸集,f:I→E+為定義在I上的模糊映射。
(1)若對 ?t,t'∈I,?λ∈[0,1],有
則稱f是對數(shù)預不變凸的。
(2)若對 ?t,t'∈I,t≠t',?λ∈[0,1],有
則稱f是嚴格對數(shù)預不變凸的。
定理4設(shè)I?R為不變凸集,f:I→E為模糊映射,則f為I上的預不變凸函數(shù)的充要條件為:對任給的α∈[0,1],f-(x,α),f+(x,α)均為I上的預不變凸函數(shù)。
定理 5設(shè)I?R為不變凸集,若模糊映射f:I→E+為對數(shù)預不變凸的,則模糊映射f為預不變凸的。
證明因為
所以 -lnx為凸函數(shù),從而對a>0,b> 0,(a,b∈R),λ∈[0,1],有
即
設(shè)
為I上的對數(shù)預不變凸模糊映射,則對任意的x,y∈I及任意的λ∈[0,1],有
根據(jù)模糊數(shù)對數(shù)定義,對任意α∈[0,1],有
從而,有
這說明,對任意的α∈[0,1],f-(x,α),f+(x,α)均為預不變凸函數(shù),f為預不變凸模糊映射。
對于求模糊數(shù)值函數(shù)f:I→E+的非約束模糊優(yōu)化問題記為:
Minimizef(t),Subject to t∈I。
定義6設(shè)I?R關(guān)于η:R×R→R是不變凸集,f:I→E+為I上的模糊數(shù)值函數(shù),t0∈I,
(1)若存在t0的某個鄰域N(t0),當t∈I∩N(t0)有則稱t0為f的局部最優(yōu)解。
(2)若對?t∈I有則稱t0為f的全局最優(yōu)解。
定理 6設(shè)I?R為不變凸集,若模糊映射f:I→E+為對數(shù)預不變凸的,則f的局部最優(yōu)解必為全局最優(yōu)解。
證明設(shè)x0為f在I上的局部最小值點。若x0不是全局最小值點,則存在y0使得f(y0)<f(x0),由于模糊映射f為對數(shù)預不變凸的,即對任意的λ∈[0,1],有
定理7設(shè)I?R為非空不變凸集,若模糊映射f為對數(shù)預不變凸的,Ω 為f的全局最優(yōu)解的集合,則Ω 也是關(guān)于η的不變凸集。
證明?x,y∈Ω,由于Ω 為f的全局最優(yōu)解的集合,于是
又模糊映射f為對數(shù)預不變凸的,即對任意的λ∈[0,1]有,
又因為x是全局最優(yōu)解,所以
故Ω 是關(guān)于η的不變凸集。
定理8設(shè)I?R為非空不變凸集,若模糊映射f為嚴格對數(shù)預不變凸的,則f在I上的全局最小值點是唯一的。
證明設(shè)x0為全局最小值點,y0也為最小值點且x0≠y0,則
因為模糊映射f為嚴格對數(shù)預不變凸的,即對任意的λ∈[0,1],有
這與x0是f在I上的全局最小值點矛盾,故f在I上的全局最小值點是唯一的。
定理9設(shè)I?R為非空不變凸集,若模糊映射f為對數(shù)預不變凸的,則水平集合
為不變凸集。
證明?x,y∈Γ,都有,即
因為模糊映射f為對數(shù)預不變凸的,即對任意的λ∈[0,1]有,
故Γ為不變凸集。