李 艷 艷
(文山學(xué)院 數(shù)學(xué)學(xué)院, 云南 文山 663099)
線性互補問題(Lcp(A,q))在最優(yōu)停步問題、市場均衡問題、自由邊界問題等力學(xué)、經(jīng)濟、金融等領(lǐng)域中都有一定的應(yīng)用,詳見文獻[1-3].它的模型是指求x∈Rn,滿足x≥0,Ax+q≥0,(Ax+q)Tx=0,其中A是實矩陣,q是實向量.
定義1[9]設(shè)A=(aij)∈Rn,n,若存在α∈[0,1],使得?i≠j(i,j∈N),有
成立,則稱A是廣義α-雙鏈對角占優(yōu)矩陣.
引理1[9]設(shè)A=(aij)∈Rn,n為廣義α-雙鏈對角占優(yōu)矩陣,則存在正對角矩陣X=diag(x1,x2,…,xn),xi>0,使得AX是嚴(yán)格對角占優(yōu)矩陣,并且A為H矩陣.
引理2[10]設(shè)A=(aij)∈Rn,n是H矩陣且主對角元素全為正,即存在正對角矩陣X=diag(x1,x2,…,xn)(xi>0,i∈N),使得AX是嚴(yán)格對角占優(yōu)矩陣,則
定理1 設(shè)A是廣義α-雙鏈對角占優(yōu)矩陣,且aii>0,對?i∈N,令Δ-(A)≠?,則存在正對角矩陣X=diag(x1,x2,…,xn),其中,
使得AX是嚴(yán)格對角占優(yōu)矩陣.
證明 設(shè)
由定義知,vj>ui,則一定存在一個正數(shù)η,使得
取正對角矩陣X=diag(x1,x2,…,xn),當(dāng)i∈Δ+(A)時,xi=η,當(dāng)j∈Δ-(A)時,xj=1,令Q=AX=(qij),易證qii-ri(Q)>0,i∈N,所以AX是嚴(yán)格對角占優(yōu)矩陣.
定理2 設(shè)矩陣A=(aij)∈Rn,n是廣義α-雙鏈對角占優(yōu)矩陣,則存在正對角矩陣X=diag(x1,x2,…,xn),使AX是嚴(yán)格對角占優(yōu)矩陣,其中:
且若ε>1,則
若ε<1,則
證明 由引理1知,AX是主對角元素為正的嚴(yán)格對角占優(yōu)矩陣,對?d∈[0,1]n,(I-D+DA)X也是主對角元素為正的嚴(yán)格對角占優(yōu)矩陣,于是
當(dāng)ε>1時,
當(dāng)ε<1時,
定理證畢.
下面通過定理3和定理4對定理2做進一步詳細的最優(yōu)值分析.
定理3 設(shè)矩陣A,D,X為定理2所定義,
證明 令
因為f′(ε)<0,則f(ε)在區(qū)間上是單調(diào)遞減函數(shù),故
因為f′(ε)>0,f(ε)在區(qū)間上是單調(diào)遞增函數(shù),故
定理證畢.
定理4 設(shè)矩陣A,D,X為定理1所定義,
因為f′(ε)>0,f(ε)在區(qū)間上是單調(diào)遞增函數(shù), 故
定理證畢.
本文得到了H矩陣的新子類廣義α-雙鏈對角占優(yōu)矩陣線性互補問題的誤差界,并通過對函數(shù)單調(diào)性的詳細分析,得到了該類矩陣誤差界的最優(yōu)值.該最優(yōu)值的最大優(yōu)點是只與矩陣元素有關(guān),便于計算.