模糊值m-凸函數(shù)的性質(zhì)及其共軛問題的研究

廖甲根,杜廷松,2

(1.三峽大學(xué)理學(xué)院數(shù)學(xué)系,湖北宜昌　443002 2.武漢科技大學(xué)冶金工業(yè)過程系統(tǒng)科學(xué)湖北省重點實驗室,湖北武漢　430081)

?

模糊值m-凸函數(shù)的性質(zhì)及其共軛問題的研究

廖甲根1,杜廷松1,2

(1.三峽大學(xué)理學(xué)院數(shù)學(xué)系,湖北宜昌443002 2.武漢科技大學(xué)冶金工業(yè)過程系統(tǒng)科學(xué)湖北省重點實驗室,湖北武漢430081)

摘要：基于m-凸函數(shù)提出了一類稱為模糊值m-凸函數(shù)的新概念.首先,研究了模糊值m-凸函數(shù)的若干基本性質(zhì);其次,給出了模糊值m-凸函數(shù)的共軛函數(shù)的概念,并給出了模糊值m-凸函數(shù)在一定的條件下的共軛函數(shù)是模糊值m-凸函數(shù)等相關(guān)性質(zhì);最后,討論了兩個模糊值m-凸函數(shù)的共軛函數(shù)與其下卷積的共軛函數(shù)之間的相互關(guān)系.

關(guān)鍵詞：模糊值m-凸函數(shù);共軛函數(shù);下卷積

1　引言

自1972年文獻(xiàn)[1]首次提出模糊集的概念以來,其理論研究已有了很大的進(jìn)展,并得到廣泛的應(yīng)用.而模糊凸分析,作為模糊優(yōu)化理論研究的基礎(chǔ),已成為模糊數(shù)學(xué)的重要分支.例如,文獻(xiàn)[2]給出了基于模糊數(shù)空間的一種新的序關(guān)系下的可微凸模糊數(shù)值函數(shù)、擬凸模糊數(shù)值函數(shù)的刻劃定理,并討論了它們的相互關(guān)系.文獻(xiàn)[3]討論了模糊映射的一致凸性及其有關(guān)性質(zhì),給出了模糊映射為一致凸的幾個判別準(zhǔn)則,并得到了可微一致凸模糊映射在某一點達(dá)到最小值的充分條件.另外,在文獻(xiàn)[4]所建立的拓?fù)湎蛄靠臻g及引進(jìn)的序關(guān)系下,文獻(xiàn)[5]引入了反模糊數(shù)的概念,建立了反模糊數(shù)空間,并討論了有關(guān)基本性質(zhì),文獻(xiàn)[6]提出了生成函數(shù)的概念,證明了由一類凸集生成的函數(shù)是模糊值凸函數(shù),并利用上圖的性質(zhì),建立了模糊值凸函數(shù)的下卷積、右乘等概念.

最近,模糊映射的共軛問題在模糊規(guī)劃中越來越受重視.文獻(xiàn)[7]給出了模糊值凸函數(shù)的共軛函數(shù)的概念,并給出了模糊值凸函數(shù)的共軛函數(shù)是模糊值凸函數(shù)等相關(guān)性質(zhì).而對于廣義模糊凸函數(shù),很多學(xué)者也做出了研究.比如,文獻(xiàn)[8]在下半連續(xù)的條件下,給出了一個模糊集是預(yù)不變凸模糊集的充分條件,并將模糊凸集的相關(guān)性質(zhì)在模糊不變凸集上作了相應(yīng)的推廣.文獻(xiàn)[9]提出了新的半E-預(yù)不變凸模糊映射和擬半E-預(yù)不變凸模糊映射的概念,討論了各類廣義E-凸模糊映射之間的關(guān)系,并給出了這類新的廣義凸模糊映射的一些性質(zhì)及解集特征,得出了相應(yīng)的最優(yōu)性條件并將其應(yīng)用在模糊規(guī)劃中.

筆者受文獻(xiàn)[4]所引入的序關(guān)系以及文獻(xiàn)[10]中提出的m-凸函數(shù)的概念的啟發(fā),提出了一類模糊值m-凸函數(shù)的新概念.再結(jié)合文獻(xiàn)[6-7,11-12]中關(guān)于對模糊凸函數(shù)的性質(zhì)和共軛函數(shù)及下卷集研究的思想,討論了模糊值m-凸函數(shù)基本性質(zhì)和共軛問題,證明了其共軛映射在一定的條件下也是模糊值m-凸函數(shù),并研究了模糊值m-凸函數(shù)的共軛函數(shù)與其下卷積之間的關(guān)系.

2　預(yù)備知識

實數(shù)集R上的一個模糊集u : R→[0,1]稱為模糊數(shù),如果u是正規(guī)的,凸的,上半連續(xù)的,且支集是緊集.用F0表示R上的所有模糊數(shù)構(gòu)成的空間,稱其為模糊數(shù)空間.

本文所討論的模糊數(shù)值函數(shù)是指從n維歐氏空間Rn中的一個非空子集S到模糊數(shù)空間F0的映射,即f : S→F0．由模糊數(shù)的參數(shù)表達(dá)式,模糊數(shù)值函數(shù)表示為

為了方便討論,對于模糊數(shù)

記

對于模糊數(shù)值函數(shù)

記

定義2.1[4]對于u ={(au(α),bu(α),α)|0＜α＜1}∈F0和

(1)如果Tu≤Tv,則稱u?v; (2)如果Tu= Tv,則稱u = v;

對于u,v∈F0,λ＞0,易證Tu+v= Tu+ Tv, Tλu=λTu.

定義2.2[12]設(shè)E是F0中的一個子集, M(m)∈F0稱為E的上確界,如果M(m)滿足下列條件:

(1)對任何u∈E,都有u?M(m?u),即M(m)為E的上(下)界;

(2)對E的每一個上界M0(m0),都有M?M0(m0?m).

定義2.3[10]函數(shù)f : [0,b]→R被稱為m-凸函數(shù),則對任意的x,y∈[0,b],λ∈[0,1]以及固定常數(shù)m∈(0,1],函數(shù)f滿足

3　基本性質(zhì)

結(jié)合定義2.3,下面給出m-凸集以及模糊值m-凸函數(shù)的概念.

定義3.1設(shè)y∈S?Rn,如果存在固定常數(shù)m∈(0,1],使得對任意x∈S,λ∈[0,1], 有λx+m(1?λ)y∈S,則稱S關(guān)于y是m-凸的.若對任意的y∈S,有λx+m(1?λ)y∈S,則稱S是一個m-凸集.

定義3.2設(shè)S為Rn中的非空m-凸集, m是(0,1]上的固定常數(shù), f : S→F0為模糊值函數(shù),如果對任意的x,y∈S,及λ∈[0,1],有

則稱f為S上的模糊值m-凸函數(shù).

由于模糊值m-凸函數(shù)f(x)可表示為{(fa(α,x),fb(α,x),α)|0＜α＜1},所以根據(jù)文獻(xiàn)[5]中的定理1.7,易得fa(α,x)和fb(α,x)是m-凸函數(shù).

定義3.3設(shè)E為Rn×F0中的一個非空子集,則稱函數(shù)

為由E生成的模糊值函數(shù),其定義域為

定理3.1設(shè)S是Rn上的m-凸集, f : S→F0是模糊值函數(shù),則f是模糊值m-凸函數(shù)的充要條件是:?x,y∈S,?u,v∈F0及λ∈[0,1],當(dāng)Tf(x)≤Tu, Tf(y)≤Tv時,有

證明必要性.設(shè)f是凸模糊值m-凸函數(shù),則有

所以當(dāng)Tf(x)≤Tu, Tf(y)≤Tv時,有

充分性.設(shè)x,y∈S,對任意的0＜ε＜1,取

有

于是

令ε→0+,可得

因此, f是凸模糊值m-凸函數(shù).

下面給出關(guān)于模糊值m-凸函數(shù)f與其epi(f)的關(guān)系, epi(f)定義如下

定理3.2設(shè)f : S→F0是模糊值函數(shù),則f是模糊值m-凸函數(shù)的充要條件是epi(f) 是Rn×F0上的m-凸集.

證明充分性.設(shè)epi(f)是Rn×F0上的m-凸集,則對任意的

有Tf(x)≤Tu, Tf(y)≤Tv,且

即

必要性.對任意的x,y∈S,有(x,f(x)),(y,f(y))∈epi(f).由于f是一個模糊值m-凸函數(shù),則

所以

即epi(f)是Rn×F0上的m-凸集.

定理3.3設(shè)E為Rn×F0中的一個非空m-凸集,則由E生成的模糊值函數(shù)f是S = {x|存在u∈F0,使得(x,u)∈E,x∈Rn}上的模糊值m-凸函數(shù),并且epi(f)?E.

證明對x,y∈S及λ∈[0,1],則有

所以有f(x)?u, f(y)?v,即Tf(x)≤Tu, Tf(y)≤Tv.又由E的m-凸性,有

現(xiàn)場試驗流程如圖6所示，本次試驗設(shè)計處理量為100 m3/d，水處理設(shè)備保持24 h穩(wěn)定運(yùn)行，累計試驗20天。試驗過程中，根據(jù)出水水質(zhì)情況，每隔8～10 h對兩級過濾器反洗一次。按照回注水指標(biāo)要求，主要對處理流程進(jìn)、出水油含量、懸浮物含量、粒徑中值3個指標(biāo)進(jìn)行檢測，水質(zhì)檢測方法及標(biāo)準(zhǔn)參照SY/T 5329-2012《碎屑巖油藏注水水質(zhì)推薦指標(biāo)》。

從而

于是有

根據(jù)定理3.1,對任意的x,y∈S,當(dāng)Tf(x)≤Tu, Tf(y)≤Tv時, f是S上的模糊值m-凸函數(shù).

又由f(x) = inf{u|(x,u)∈E,u∈F0},則?u∈{u|(x,u)∈E,u∈F0},有f(x)?u, Tf(x)≤Tu,所以epi(f)?E.

定義3.4設(shè)f, g是m-凸集S上的兩個模糊值m-凸函數(shù),則稱

為f和g的下卷積,記為f?g.

由引理1.2[6]和定理3.3易推出f和g的下卷積f?g是S上的模糊值m-凸函數(shù).

4　主要結(jié)果

定義4.1設(shè)f : S→F0為一個模糊值m-凸函數(shù),令

則稱定義在S?上的模糊值函數(shù)

為f的共軛函數(shù).

定理4.1模糊值m-凸函數(shù)f(x)在Tf(x)≥0情況下，其共軛函數(shù)f?(x?)也是模糊值m-凸函數(shù).

證明設(shè)f : S→F0為一個模糊值m-凸函數(shù),先證明

為m-凸集.任取a?, b?∈S?則?x∈S,有

又?λ∈[0,1],有

所以

從而λa?+ m(1?λ)b?∈S?,即S?是一個m-凸集.下面證明f?(x?)是模糊值m-凸函數(shù).任取x?, y?∈S?,則有

所以

由于Tf(x)≥0,且m是(0,1]的固定常數(shù),則

從而可得

即

所以f?是S?上的模糊值m-凸函數(shù).

定理4.2設(shè)f : S→F0和g : S→F0都是模糊值m-凸函數(shù),則

(1)?x∈S,若f(x)?g(x),則f?(x?)?g?(x?);

(2) (cf)?(x?) = cf?(c?1x?) (c＞0).

證明(1)?x∈S,若f(x)?g(x),即Tf(x)≤Tg(x),所以對?x?∈S?,有

從而

(2)當(dāng)c＞0時，則cf : S→F0也是一個模糊值m-凸函數(shù).所以

根據(jù)定理4.2的證明過程, f?(x?)和g?(x?)的大小關(guān)系與m無關(guān),所以有如下推論.

推論4.1設(shè)f : S→F0和g : S→F0分別是模糊值m1-凸函數(shù)和模糊值m2-凸函數(shù), ?x∈S,若f(x)?g(x),則f?(x?)?g?(x?).

定理4.3設(shè)f : S→F0是模糊值m-凸函數(shù), f?(x?)為f(x)的共扼映射.由f(x)可以表示為

則

證明根據(jù)文獻(xiàn)[5]中定理2.3的證明,又由于fa(α,x)和fb(α,x)是m-凸函數(shù),所以f(x)的共扼映射可表示為

定理4.4設(shè)f,g : Rn→F0是兩個模糊值m-凸函數(shù), f?,g?分別為其共軛函數(shù),則有

證明由于f和g的下卷積f?g也是模糊值m-凸函數(shù),根據(jù)定理2.1[7],有

從而

根據(jù)定理4.3,可以得出下面推論.

推論4.2設(shè)f,g : Rn→F0是分別是模糊值m1-凸函數(shù)和模糊值m2-凸函數(shù), f?,g?分別為其共軛函數(shù),則有

參考文獻(xiàn)

[1] Chang S S L, Zadeh L A. On fuzzy mappings and control [J]. IEEE Trans. Syst. Man. Cybern., 1972,2:30-34.

[2]李紅霞,鞏增泰.模糊數(shù)值函數(shù)的凸性與可導(dǎo)性[J].西北師范大學(xué)學(xué)報, 2007,43(5):1-6.

[3]包玉娥,吳梅花.一致凸模糊映射及其有關(guān)性質(zhì)[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué), 2009,25(4):725-730.

[4] Goetschel-Voxman W. Elementary fuzzy calculus [J]. Fuzzy Sets and Systems, 1986,18:31-34.

[5]張成,袁學(xué)海.凸模糊映射的共軛映射[J].數(shù)學(xué)研究與評論, 2007,4:839-844.

[6]趙博,包玉娥,彭曉芹.一類模糊值凸函數(shù)的若干運(yùn)算性質(zhì)[J].模糊系統(tǒng)與數(shù)學(xué), 2012,26(5):167-171.

[7]包玉娥,趙博,彭曉芹.關(guān)于模糊值凸函數(shù)的共軛問題的研究[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué), 2013,29(4):331-337.

[8]張萍,黃虎,王早.預(yù)不變凸模糊集的一些性質(zhì)[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué), 2006,22(3):355-359.

[9]劉婷婷. E-凸模糊映射及其應(yīng)用[D].重慶:重慶師范大學(xué), 2014:18-27.

[10] Dragomir S S, Toader G H. Some inequalities for m-convex functions [J]. Studia Univ. Babes-Bolyai Math., 1993,38(1):21-28.

[11] Nanda S. On Fuzzy Integrals [J]. Fuzzy Sets and Systems, 1989,32:95-101.

[12] Yan Hong, Xu Jiuping. A class of convex fuzzy mappings [J]. Fuzzy Sets and Systems, 2002,129:47-56.

2010 MSC: 03E72

On characterization and conjugate problem involving fuzzy-valued m-convex functions

Liao Jiagen1, Du Tingsong1,2
(1. College of Science, China Three Gorges University, Yichang 443002, China 2. Hubei Province Key Laboratory of System Science in Metallurgical Process, Wuhan University of Science and Technology, Wuhan 430081, China)

Abstract:In this paper, we introduced a new class of generalized fuzzy-valued convex functions which called fuzzy-valued m-convex functions by modulating the m-convex functions. First, we studied some basic properties of the fuzzy-valued m-convex functions. Then we presented the conception of the conjugate function for fuzzyvalued m-convex functions and proved some related properties which the conjugate function of fuzzy-valued m-convex functions is also fuzzy-valued m-convex function under certain conditions. Finally we discuss the relationship between the conjugate functions and inf-convolution of two fuzzy-valued m-convex functions.

Key words:fuzzy-valued m-convex function, conjugate function, inf-convolution

通訊作者：杜廷松(1969-),碩士,教授,研究方向:凸分析及最優(yōu)化理論與算法.

作者簡介：廖甲根(1991-),碩士生,研究方向：凸性理論及其應(yīng)用,模糊分析.

基金項目：國家自然科學(xué)基金(61374028);湖北省自然科學(xué)基金(2013CFA131);三峽大學(xué)培優(yōu)基金(2015PY072).

收稿日期：2015-09-25.

DOI：10.3969/j.issn.1008-5513.2016.01.012

中圖分類號：O159.2

文獻(xiàn)標(biāo)識碼：A

文章編號：1008-5513(2016)01-0084-09