陸星宇,葉國菊,劉尉

(河海大學(xué)理學(xué)院, 江蘇 南京 210098)

0 引言

模糊數(shù)是模糊理論研究的重要內(nèi)容,有關(guān)模糊數(shù)的概念最早由Zadeh等[1]研究提出的。2011年,Wang系統(tǒng)總結(jié)了模糊數(shù)理論,給出了相應(yīng)的結(jié)果與應(yīng)用[2]。模糊n-cell數(shù)是一類特殊的n維模糊數(shù),可以用來表示不確定信息,在許多領(lǐng)域都有廣泛的應(yīng)用,如模糊識別、分類、排序等[3]。

不動點理論在過去的幾十年里不斷發(fā)展,其形式與內(nèi)容呈現(xiàn)出多樣化的特點,為后續(xù)研究提供了更廣的空間。模糊不動點理論是在研究模糊數(shù)空間中的不動點定理時建立起來的,是傳統(tǒng)不動點理論的一種推廣。Wang等[4-5]研究了一類模糊增映射的不動點定理,解決了3類平衡模型解的存在性問題。 Lakshmikantham等[6]提出了混合單調(diào)算子的概念并給出了相應(yīng)的不動點定理。Chang等[7]將混合單調(diào)算子與模糊數(shù)結(jié)合起來,得到了一維模糊數(shù)空間中的一類帶緊性的混合單調(diào)不動點定理。有關(guān)單調(diào)算子的不動點理論在Banach空間中討論得比較完善,但其在模糊數(shù)空間中的研究還不夠全面。因此,受文獻[6-7]中結(jié)論的啟發(fā),本文中給出了模糊n-cell數(shù)空間中的混合單調(diào)不動點定理,豐富了模糊n-cell數(shù)空間中的不動點理論,并為研究非線性投入產(chǎn)出模型解的存在性提供了理論基礎(chǔ)。

不動點理論也是研究各類算子方程的重要工具,在經(jīng)濟均衡理論中發(fā)揮著巨大的作用,是處理平衡模型解的存在性的有力工具。投入產(chǎn)出模型是經(jīng)濟模型中的一個經(jīng)典問題,Liu等[8],Zhao等[9]等利用不動點定理討論了該模型解的存在性問題,得到了模型的數(shù)值解法。Mattila[10]將模糊線性系統(tǒng)和投入產(chǎn)出模型結(jié)合,用數(shù)值方法研究了該模型的解。近年來,投入產(chǎn)出模型也廣泛應(yīng)用于多目標優(yōu)化問題上[11]。鑒于投入產(chǎn)出模型的變量具有不確定性,本研究建立了一種以模糊n-cell數(shù)為變量的非線性投入產(chǎn)出模型,并結(jié)合不動點定理得到了該模型解存在的一些結(jié)論。

1 預(yù)備知識

設(shè)(Rn,d)為完備度量空間,K(Rn)表示Rn的非空緊子集全體。對任意A,B∈K(Rn),集合A和B的Hausdorff度量表示為

定義1[1]設(shè)u是論域Rn到[0,1]上的一個映射,即

u:Rn→[0,1],x→u(x),

稱u是Rn上的一個模糊集,u(x)稱為模糊集u的隸屬函數(shù)。對給定x∈Rn,u(x)稱為x對u的隸屬程度,Rn上的模糊集全體記為F(Rn)。

設(shè)u,v∈En,k∈R1,En中的加法、乘法和數(shù)乘分別表示為

其中,

定義2[3]設(shè)u∈En,若對任意的α∈[0,1],[u]α是一個n維方體,即

設(shè)ui∈E1,i=1,2,…,n,由ui構(gòu)成的模糊數(shù)組稱為n維模糊向量,記為(u1,u2,…,un)。n維模糊向量全體稱為n維模糊向量空間,記為(E)n。

注2引理1表明模糊n-cell數(shù)與n維模糊向量可相互表示,即對于由模糊n-cell數(shù)u確定的n維模糊向量(u1,u2,…,un),表示法u=(u1,u2,…,un)存在且唯一。

設(shè)u,v∈L(En),記u=(u1,u2,…,un),v=(v1,v2,…,vn),對任意的k∈R1,L(En)中的加法、乘法與數(shù)乘分別表示為

u+v=(u1+v1,u2+v2,…,un+vn);

uv=(u1v1,u2v2,…,unvn);

ku=(ku1,ku2,…,kun).

設(shè)u,v∈L(En),α∈[0,1],L(En)中的度量表示為

文獻[2]中還給出了模糊n-cell數(shù)空間中的多種度量,并證明了在度量D下(L(En),D)為完備度量空間。

定義5[2］設(shè)非空集合U?L(En),若存在uU∈L(En),使得對任意的u∈U,有u≤uU,則稱U關(guān)于序≤有上界,uU稱為U的一個上界。若U有上界,且存在U的一個上界uS∈L(En),使得對U的任意上界uU,有uS≤uU,則稱uS為U的上確界,記為uS=supU。 下界與下確界可類似定義。若U關(guān)于序≤既有上界又有下界,則稱U是有界的。

引理2[2]設(shè)非空集合U?L(En),若U有上界,則存在上確界;若U有下界,則存在下確界。

定義6[6]設(shè)模糊映射A:L(En)×L(En)→L(En)。若對任意的(u1,v1),(u2,v2)∈L(En)×L(En),u1≤u2,v1≥v2,有A(u1,v1)≤A(u2,v2),則稱A為混合單調(diào)的。

定義7[6]設(shè)模糊映射A:L(En)×L(En)→L(En)。若存在(u*,v*)∈L(En)×L(En),滿足A(u*,v*)=u*,A(v*,u*)=v*,則稱(u*,v*)為A的耦合不動點。若存在u*∈L(En),使得A(u*,u*)=u*,則稱u*為A的不動點。

定義8[7]設(shè)模糊映射A:L(En)×L(En)→L(En)。若存在常數(shù)k∈(0,1),使得對任意的(u,v)∈L(En)×L(En),有D(A(u,v),A(v,u))≤kD(u,v),則稱A為壓縮映射。

2 混合單調(diào)映射不動點定理

設(shè)u0,v0∈L(En),u0≤v0,L(En)中的序區(qū)間記為[u0,v0]={u∈L(En):u0≤u≤v0}。

定理1證明記M={(u,v)∈[u0,v0]×[u0,v0]:u≤A(u,v),A(v,u)≤v}。由(u0,v0)∈M知M非空,不妨設(shè)

M1={u∈[u0,v0]:?v∈[u0,v0]使(u,v)∈M,u≤A(u,v)},

M2={v∈[u0,v0]:?u∈[u0,v0]使(u,v)∈M,A(v,u)≤v}。

(1)

(2)

證畢。

對于模糊映射A:[u0,v0]×[u0,v0]→L(En)。若A將[u0,v0]×[u0,v0]中的任意有界集映為L(En)中的相對緊集,則稱A是緊的。若A又是連續(xù)的,則稱A為全連續(xù)的。

un=A(un-1,vn-1),n=1,2,3,…

(3)

vn=A(vn-1,un-1),n=1,2,3,…

(4)

確定的序列{un},{vn}滿足

u0≤u1≤…≤un≤vn≤…≤v1≤v0

(5)

定理2的證明取n=1時將(3)、(4)式代入u0≤A(u0,v0),A(v0,u0)≤v0得u0≤u1,v1≤v0。注意到A為混合單調(diào)的,所以

u1=A(u0,v0)≤A(v0,u0)=v1,

故u0≤u1≤v1≤v0,利用歸納法假設(shè)

un-1≤un≤vn≤vn-1,

再由A為混合單調(diào)可得

un=A(un-1,vn-1)≤A(un,vn)=un+1,

vn=A(vn-1,un-1)≥A(vn,un)=vn+1,

un+1=A(un,vn)≤A(vn,un)=vn+1,

因此un≤un+1≤vn+1≤vn,假設(shè)成立,展開即(5)式成立。

D(unk0,u*)<ε,

所以當(dāng)n≥nk0時,由序列{un}的單調(diào)遞增性有unk0≤un≤u*,故

D(un,u*)≤D(unk0,u*)<ε,

利用歸納法易證得

(6)

(7)

證畢。

wn=A(wn-1,zn-1),n=1,2,3,…

(8)

zn=A(zn-1,wn-1),n=1,2,3,…

(9)

定理3的證明注意到A為壓縮映射,由定義8知存在k∈(0,1),使得對任意的(u,v)∈[u0,v0]×[u0,v0],有D(A(u,v),A(v,u))≤kD(u,v),又A亦符合定理2的條件,故可將定理2中的式(3)、(4)代入該式得

D(un,vn)=D(A(un-1,vn-1),A(vn-1,un-1))≤kD(un-1,vn-1),

即

D(un,vn)≤knD(u0,v0)

(10)

對任意選取的初始點(w0,z0)∈[u0,v0]×[u0,v0],利用迭代格式(8)(9)易證得

un≤wn≤vn

(11)

un≤zn≤vn

(12)

證畢。

3 模糊非線性投入產(chǎn)出模型解的存在性

3.1 投入產(chǎn)出模型的早期研究概述

國民經(jīng)濟各個部門之間存在著相互依存和相互制約的關(guān)系,各部門在彼此影響下形成了一個共同體,每個部門在運轉(zhuǎn)過程中對其他部門產(chǎn)品的消耗稱為該部門的投入,而這些消耗的產(chǎn)品在經(jīng)過該部門加工處理后得到的新產(chǎn)品稱為產(chǎn)出。如何根據(jù)各部門之間投入與產(chǎn)出的平衡關(guān)系,確定各部門的產(chǎn)出水平以滿足社會需求,即各部門的總投入與總產(chǎn)出達到平衡,是投入產(chǎn)出模型主要研究的問題,該模型簡稱IO模型,是由美國數(shù)學(xué)家W.Leontief等[12-13]首先提出并研究的,幾十年來在理論和實踐方面有了很大的發(fā)展。國內(nèi)學(xué)者那日薩等[14]對靜態(tài)非線性IO模型進行了深入的研究,取得了一定的成果。

早期的IO模型主要考慮線性模型。設(shè)有n個部門依次表示為1,2,…,n,在一定時期內(nèi),第i部門的總投入記為xi,總產(chǎn)出記為yi,初始投入記為ci,外部需求記為di,第i部門對第j部門的投入記為xij(也表示第j部門對第i部門的需求),i,j=1,2,…,n,于是可得出總產(chǎn)出與總投入的表達式為

(13)

(14)

由W.Leontief均衡理論知,應(yīng)當(dāng)保證每一部門的總投入等于總產(chǎn)出,即對第i部門而言,xi=yi,因此當(dāng)i=j時,式(13)與式(14)是等價的。故本文中將在平衡條件xi=yi下考慮由(13)式確定的IO模型解的存在性問題。一般情況下,投入與產(chǎn)出都是動態(tài)變化的,在研究各部門投入與產(chǎn)出的平衡關(guān)系時,就需要一個穩(wěn)定的指標來刻畫它,于是引入直接消耗系數(shù)aij來表示第j部門的單位產(chǎn)出對第i部門的直接消耗,即

代入式(13)得

(15)

若記投入向量X=(x1,x2,…,xn)T,需求向量d=(d1,d2,…,dn)T,直接消耗系數(shù)矩陣A=(aij)n×n,則式(15)可表示為

X=AX+d

(16)

式(16)稱為線性IO模型的代數(shù)方程,在線性模型下,我們總是假設(shè)每個部門只生產(chǎn)唯一的產(chǎn)品,不同部門生產(chǎn)的產(chǎn)品都是不同的并且aij是常數(shù),由此可導(dǎo)出線性IO模型的基本問題:記I表示單位實矩陣,對于任意的需求向量d,是否存在投入向量X滿足方程(I-A)X=d。雖然該模型可以清晰地表達出投入產(chǎn)出量的關(guān)系,并且可以通過代數(shù)方法來求解投入向量X,但在實際生活中,許多變量都呈現(xiàn)出非線性關(guān)系,此時原先的假設(shè)便不再滿足,導(dǎo)致該模型無法對投入產(chǎn)出量做長期的預(yù)測,因此需要考慮更一般的模型。非線性模型是指原模型中第i部門對第j部門的投入xij非線性且唯一依賴于第j部門的總產(chǎn)出xj,記為xij=xij(xj),且記直接消耗系數(shù)aij=aij(xj),系數(shù)矩陣A=A(X),故非線性IO模型表示為

X=A(X)X+d

(17)

對于(17)式中的直接消耗系數(shù)矩陣A(X),早期的一些研究都是在假設(shè)A(X)為單調(diào)矩陣下考慮的,但在實際情況下,這不是一個普遍現(xiàn)象,因為隨著科技水平的進步,A(X)會表現(xiàn)出某一部分元素單調(diào)遞增而另一部分單調(diào)遞減的情況,因此在分析非線性IO模型時要考慮到這種情況。同時,大部分非線性IO模型都采用精確變量來表示未知量,但在一定時期內(nèi),投入產(chǎn)出量具有不確定性,故考慮用模糊n-cell數(shù)來表示這種不確定量是可行的。

3.2 模糊非線性投入產(chǎn)出模型的建立

將在非線性IO模型的基礎(chǔ)上,建立模糊非線性IO模型。設(shè)u(i)表示第i個部門的總投入,w(i)表示外部需求,pij(u(j))表示直接消耗系數(shù),記第i部門對第j部門的投入μij(u(j))=pij(u(j))u(j),其中u(i),w(i),pij(u(j)),μij(u(j))∈E1,i,j=1,2,3,…,n。 由引理1知,對于u(i),w(i)表示的模糊向量,可存在唯一u,w∈L(En),使得u=(u(1),u(2),…,u(n))T,w=(w(1),w(2),…,w(n))T,再將直接消耗系數(shù)矩陣記為P(u)=(pij(u(j)))n×n,并假設(shè)P(u)中的元素均為單調(diào)的,則模糊非線性IO模型表示為

u=P(u)u+w

(18)

u=P1(u)u+P2(u)u+w

(19)

構(gòu)造映射T:L(En)×L(En)→L(En)使得對任意的(u,v)∈L(En)×L(En),u,v非負,有T(u,v)=P1(u)u+P2(v)u+w,由定義6知T為混合單調(diào)的,于是(19)式代換為

u=T(u,u)

(20)

即模糊非線性IO模型(18)解的存在性問題轉(zhuǎn)換為混合單調(diào)映射T的不動點存在性問題(20)。不妨選取初始投入向量u0,v0∈L(En),并假設(shè)u0≤v0。

3.3 模型解的存在性

對于上述構(gòu)造的模糊映射T,由定理1,2,3可依次得到如下結(jié)論1～3。

結(jié)論1表明函數(shù)T(u,v)在滿足一定的條件下能夠使得T存在耦合不動點,但由于耦合不動點只能說明T在第一分量上達到平衡,并不等價于一般的不動點形式,因此需要賦予T更強的條件。不妨通過構(gòu)造迭代格式un=T(un-1,vn-1),vn=T(vn-1,un-1),n=1,2,3,…得到序列{un},{vn}。

結(jié)論2表明在假設(shè)T具有緊性的條件下,可通過迭代格式來逼近T的耦合不動點。

T(u0,v0)=w≥u0,

且

由結(jié)論3可知本結(jié)論成立。

證畢。