• No results found

An improved error bound for linear complementarity problems for B matrices

N/A
N/A
Protected

Academic year: 2020

Share "An improved error bound for linear complementarity problems for B matrices"

Copied!
10
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

An improved error bound for linear

complementarity problems for

B

-matrices

Lei Gao

1

and Chaoqian Li

2*

*Correspondence:

[email protected]

2School of Mathematics and

Statistics, Yunnan University, Kunming, Yunnan 650091, P.R. China Full list of author information is available at the end of the article

Abstract

A new error bound for the linear complementarity problem when the matrix involved is aB-matrix is presented, which improves the corresponding result in (Liet al.in Electron. J. Linear Algebra 31(1):476-484, 2016). In addition some sufficient conditions such that the new bound is sharper than that in (García-Esnaola and Peña in Appl. Math. Lett. 22(7):1071-1075, 2009) are provided.

MSC: 90C33; 60G50; 65F35

Keywords: error bound; linear complementarity problem;B-matrix

1 Introduction

Given ann×nreal matrixMandqRn, the linear complementarity problem (LCP) is to

find a vectorxRnsatisfying

x≥, Mx+q≥, (Mx+q)Tx=  ()

or to show that no such vectorxexists. We denote this problem () byLCP(M,q). The

LCP(M,q) arises in many applications such as finding Nash equilibrium point of a bima-trix game, the network equilibrium problem, the contact problem and the free boundary problem for journal bearing etc.; for details, see [–].

It is well known that theLCP(M,q) has a unique solution for any vectorqRnif and

only ifMis aP-matrix []. Here a matrixMis called aP-matrix if all its principal minors are positive. For theLCP(M,q), one of the interesting problems is to estimate

max

d∈[,]n(ID+DM)

–

∞, ()

which can be used to bound the errorxx∗∞[], that is,

xx≤ max

d∈[,]n(ID+DM)

–

r(x)∞,

wherex∗ is the solution of theLCP(M,q),r(x) =min{x,Mx+q},D=diag(di) with ≤ di≤ for eachiN,d= [d,d, . . . ,dn]T∈[, ]n, and the min operatorr(x) denotes the

componentwise minimum of two vectors.

(2)

When the matrixMfor theLCP(M,q) belongs toP-matrices or some subclass ofP -matrices, various bounds for () were proposed; e.g., see [, –] and the references therein. Recently, García-Esnaola and Peña in [] provided an upper bound for () when

Mis aB-matrix as a subclass ofP-matrices. Here, a matrixM= [mij]∈Rn,nis called a B-matrix [] if for eachiN={, , . . . ,n},

kN

mik> , and

n

kN mik

>mij for anyjNandj=i.

Theorem ([], Theorem .) Let M= [mij]∈Rn,nbe a B-matrix with the form

M=B++C, ()

where

B+= [bij] =

⎡ ⎢ ⎢ ⎣

mr+

 · · · mnr+

..

. ...

mn–rn+ · · · mnnr+n

⎤ ⎥ ⎥

⎦, C=

⎡ ⎢ ⎢ ⎣

r+

 · · · r+

..

. ...

r+n · · · rn+

⎤ ⎥ ⎥

⎦, ()

and r+

i =max{,mij|j=i}.Then

max

d∈[,]n(ID+DM)

–

∞≤

n– 

min{β, }, ()

whereβ=miniN{βi}andβi=bii

j=i|bij|.

It is not difficult to see that the bound () will be inaccurate when the matrixMhas very small value ofminiN{bii

j=i|bij|}; for details, see [, ]. To conquer this problem, Li et al., in [] gave the following bound for () whenMis aB-matrix, which improves those provided by Li and Li in [, ].

Theorem ([], Theorem .) Let M= [mij]∈Rn,n be a B-matrix with the form M= B++C,where B+= [bij]is the matrix of().Then

max

d∈[,]n(ID+DM)

–

∞≤

n

i=

n– 

min{ ¯βi, } i–

j= bjj

¯

βj

, ()

whereβ¯i=bii

n

j=i+|bij|li(B+)with lk(B+) =maxkin{|bii|

n

j=k,

j=i |

bij|},and

i– j=

bjj

¯

βj = if

i= .

In this paper, we further improve error bounds on theLCP(M,q) whenMbelongs to

(3)

2 Main result

In this section, an upper bound for () is provided whenMis aB-matrix. Firstly, some definitions, notation and lemmas which will be used later are given as follows.

A matrixA= [aij]∈Cn,nis called a strictly diagonally dominant (SDD) matrix if|aii|>

n

j=i|aij|for alli= , , . . . ,n. A matrixA= [aij]∈Rn,nis called a nonsingularM-matrix if

its inverse is nonnegative and all its off-diagonal entries are nonpositive []. In [] it was proved that aB-matrix has positive diagonal elements, and a real matrixAis aB-matrix if and only if it can be written in the form () withB+being aSDDmatrix. Given a matrix A= [aij]∈Cn,n, let

wij(A) = | aij|

|aii|–

n

k=j+,

k=i |

aik|

, i=j,

wi(A) =max j=i

wij(A)

,

mij(A) =

|aij|+

n

k=j+,

k=i |

aik|wk(A)

|aii|

, i=j.

()

Lemma ([], Theorem ) Let A= [aij]be an n×n row strictly diagonally dominant M-matrix.Then

A–n

i=

aiink=i+|aik|mki(A) i–

j=

  –uj(A)lj(A)

,

where ui(A) = |aii|

n

j=i+|aij|,lk(A) =maxkin{|aii|

n

j=k,

j=i |

aij|},

i–

j=–uj(A)lj(A) = if i= ,

and mki(A)is defined as in().

Lemma ([], Lemma ) Letγ > andη≥.Then,for any x∈[, ],

  –x+γx

min{γ, }

and

ηx

 –x+γxη γ.

Lemma ([], Lemma ) Let A= [aij]with aii>

n

j=i+|aij|for each iN.Then,for any xi∈[, ],

 –xi+aiixi

 –xi+aiixi

n

j=i+|aij|xi

aii

aii

n j=i+|aij|

.

Lemmas  and  will be used in the proofs of the following lemma and Theorem .

Lemma  Let M= [mij]∈Rn,nbe a B-matrix with the form M=B++C,where B+= [bij]is the matrix of().And let B+D=ID+DB+= [b˜

ij]where D=diag(di)with≤di≤.Then wi

B+D≤max

j=i

|

bij| bii

n

k=j+,

k=i

|bik|

(4)

and

mij

B+Dvij

B+< ,

where wi(B+D),mij(B+D)are defined as in(),and

vij

B+= 

bii

|bij|+

n

k=j+,

k=i

|bik| ·max h=k

|bkh| bkk

n

l=h+,

l=k |bkl|

.

Proof Note that

B+Dij=b˜ij=

 –di+dibij, i=j, dibij, i=j.

SinceB+isSDD,b

iink=j+,

k=i |

bik|>|bij|for eachi=j. Hence, by Lemma  and (), it follows

that

wi

B+D=max

j=i

wij

B+D=max

j=i

|

bij|di

 –di+biidi

n

k=j+,

k=i |

bik|di

≤max

j=i

|

bij| bii

n

k=j+,

k=i |

bik|

< . ()

Furthermore, it follows from (), () and Lemma  that for eachi=j(j<in)

mij

B+D=

|bij| ·di+

n

k=j+,

k=i |

bik| ·di·wk(B+D)

 –di+bii·di

≤ 

bii·

|bij|+

n

k=j+,

k=i

|bik| ·wk

B+D

≤ 

bii

|bij|+

n

k=j+,

k=i

|bik| ·max h=k

|

bkh| bkk

n

l=h+,

l=k |bkl|

=vij

B+

< 

bii

|bij|+

n

k=j+,

k=i

|bik|

< .

The proof is completed.

By Lemmas , ,  and , we give the following bound for () whenMis aB-matrix.

Theorem  Let M= [mij]∈Rn,nbe a B-matrix with the form M=B++C,where B+= [bij] is the matrix of().Then

max

d∈[,]n(ID+DM)

–

∞≤

n

i=

n– 

min{βi, } i–

j= bjj

¯

βj

(5)

whereβi=bii

n

k=i+|bik| ·vki(B+)with vki(B+)is defined in Lemma,β¯i is defined in Theorem,andij–=bβ¯jj

j = if i= .

Proof LetMD=ID+DM. Then

MD=ID+DM=ID+D

B++C=B+D+CD,

whereB+D=ID+DB+= [b˜

ij] andCD=DC. Similarly to the proof of Theorem . in [],

we find thatB+

Dis anSDD M-matrix with positive diagonal elements and that

M–DI+B+D–CD

–

B+D

–

∞≤(n– )B+D

–

∞. ()

Next, we give an upper bound for(B+

D)–∞. By Lemma , we have

B+D–n

i=

  –di+biidi

n

k=i+|bik| ·di·mki(B+D) i–

j=

  –uj(B+D)lj(B+D)

, ()

where

uj

B+D=

n

k=j+|bjk|dj

 –dj+bjjdj

, lk

B+D=max

kin

n

j=k,

j=i |

bij|di

 –di+biidi

,

and

mki

B+D=

|bki| ·dk+

n

l=i+,

l=k |bkl| ·dk·wl(B

+ D)

 –dk+bkk·dk

withwl(B+D) =maxh= l{–d |blh|dl

l+blldl

n s=h+,

s=l

|bls|dl}.

By Lemmas  and , we can easily see that, for eachiN,

  –di+biidi

n

k=i+|bik| ·di·mki(B+D)

≤ 

min{bii

n

k=i+|bik| ·mki(B+D), }

≤ 

min{bii

n

k=i+|bik| ·vki(B+), }

= 

min{βi, }

, ()

and that, for eachkN,

lk

B+D=max

kin

n

j=k,

j=i |

bij|di

 –di+biidi

≤max

kin

bii n

j=k,

j=i

|bij|

=lk

B+< . ()

Furthermore, according to Lemma  and (), it follows that, for eachjN,

  –uj(B+D)lj(B+D)

=  –dj+bjjdj

 –dj+bjjdj

n

k=j+|bjk| ·dj·lj(B+D)

bjj

¯

βj

(6)

By (), () and (), we have

B+D–≤ 

min{β, }

+

n

i=

min{βi, } i–

j= bjj

¯

βj

. ()

The conclusion follows from () and ().

The comparisons of the bounds in Theorems  and  are established as follows.

Theorem  Let M= [mij]∈Rn,nbe a B-matrix with the form M=B++C,where B+= [bij] is the matrix of().Letβ¯iandβibe defined in Theoremsand,respectively.Then

n

i=

n– 

min{βi, } i–

j= bjj

¯

βj

n

i=

n– 

min{ ¯βi, } i–

j= bjj

¯

βj

.

Proof Note that

¯

βi=biin

j=i+

|bij|li

B+, βi=biin

k=i+

|bik|vki

B+,

andB+is aSDDmatrix, it follows that for eachi= j(j<in)

vij

B+= 

bii

|bij|+

n

k=j+,

k=i

|bik| ·max h=k

|

bkh| bkk

n

l=h+,

l=k |bkl|

< 

bii n

k=j,

k=i

|bik|

≤max

jin

bii n

k=j,

k=i

|bik|

=lj

B+.

Hence, for eachiN

βi=biin

k=i+

|bik|vki

B+>biin

k=i+

|bik|li

B+=β¯i,

which implies that

min{βi, }

≤ 

min{ ¯βi, }

.

This completes the proof.

Remark here that, whenβ¯i<  for alliN, then

min{βi, }

< 

min{ ¯βi, }

(7)

which yields

n

i=

n– 

min{βi, } i–

j= bjj

¯

βj

<

n

i=

n– 

min{ ¯βi, } i–

j= bjj

¯

βj

.

Next it is proved that the bound () given in Theorem  can improve the bound () in Theorem  (Theorem . in []) in some cases.

Theorem  Let M= [mij]∈Rn,nbe a B-matrix with the form M=B++C,where B+= [bij] is the matrix of().Letβ,β¯iandβibe defined in Theorems, and,respectively,and let α=  +ni=ij=–bβ¯jj

j andβ=miniN{βi}.If one of the following conditions holds:

(i) β> andα<β; (ii) β< andαβ<β,

then

n

i=

n– 

min{βi, } i–

j= bjj

¯

βj

< n– 

min{β, }.

Proof Whenβ>  andα< 

β, we can easily get

n

i=

n– 

min{βi, } i–

j= bjj

¯

βj

< n– 

min{β, }

n

i= i–

j= bjj

¯

βj

= (n– )α<n– 

β

n– 

min{β, }.

Similarly, forβ<  andαβ<β, the conclusion can be proved directly.

3 Numerical examples

Two examples are given to show that the bound in Theorem  is sharper than those in Theorems  and .

Example  Consider the family ofB-matrices in []:

Mk=

⎡ ⎢ ⎢ ⎢ ⎣

. . . .

–. . . .

. –.kk+ . .

 . . .

⎤ ⎥ ⎥ ⎥ ⎦,

wherek≥. ThenMk=B+k+Ck, where

B+k=

⎡ ⎢ ⎢ ⎢ ⎣

  –. 

–.   –.

 –.kk+– .  –.

–. –.  

⎤ ⎥ ⎥ ⎥ ⎦.

By computations, we haveβ= 

(k+),β¯=β¯= k+

k+,β¯= .,β¯= ,βˆ= k+ k+,

ˆ

(8)

Theorem . Hence, by Theorem  (Theorem . in []), we have

max

d∈[,]

(ID+DMk)–

 – 

min{β, }= (k+ ). It is obvious that

(k+ )−→+∞, whenk−→+∞.

By Theorem , we find that, for anyk≥,

max

d∈[,](ID+DMk) –

≤

¯

β

+ ¯

β

· ¯

β

+ ¯

β

· ¯

ββ¯

+ ¯

ββ¯β¯

= 

k+ 

k+  +

(k+ )

(k+ ) +

(k+ )

.(k+ )

< ..

By Theorem , we find that, for anyk≥,

max

d∈[,](ID+DMk) –

≤

ˆ

β

+ 

ˆ

β

· ¯

β

+ ¯

ββ¯

+ ¯

ββ¯β¯

= 

k+  k+  +

(k+ ) .(k+ )+

.(k+ )

.(k+ )

< 

k+ 

k+  +

(k+ ) (k+ ) +

(k+ ) .(k+ )

.

In particular, whenk= ,

k+  k+  +

(k+ ) .(k+ )+

.(k+ )

.(k+ )

≈.,

k+ 

k+  +

(k+ ) (k+ ) +

(k+ ) .(k+ )

≈.,

and the bound () in Theorem  is

 – 

min{β, }= (k+ ) = .

Whenk= ,

k+  k+  +

(k+ ) .(k+ )+

.(k+ ) .(k+ )

≈.,

k+ 

k+  +

(k+ )

(k+ ) +

(k+ )

.(k+ )

(9)

and the bound () in Theorem  is

 – 

min{β, }= (k+ ) = .

Example  Consider the following family ofB-matrices:

Mk=

k

a k

 k

,

where √

–

 <a<  and –a

+a <k< . ThenMk=B +

k+CwithCis the null matrix.

By simple computations, we can get

β= –a

k , β¯=

 –a

k , β¯=

k, βˆ=

k and βˆ=

k.

It is not difficult to verify thatMksatisfies the condition (i) of Theorem . Thus, the bound

() of Theorem  (Theorem . in []) is

i=

 – 

min{ ¯βi, } i–

j= bjj

¯

βj

= k+   –a,

which is larger than the bound

min{β, }=

k

 –a

given by () in Theorem  (Theorem . in []). However, by Theorem  we can get

max

d∈[,]

(ID+DMk)–

 –a

 –a,

which is smaller than the bound () in Theorem ,i.e.,

 –a

 –a < k

 –a.

In particular, whena= andk=, the bounds in Theorems  and  are, respectively,

min{β, }=

k

 –a=

 

and

i=

 – 

min{ ¯βi, } i–

j= bjj

¯

βj

= k+   –a =

  ,

while the bound () in Theorem  is

i=

 – 

min{ ˆβi, } i–

j= bjj

¯

βj

= –a

 –a =

(10)

These two examples show that the bound in Theorem  is sharper than those in Theo-rems  and .

4 Conclusions

In this paper, we give a new error bound for the linear complementarity problem when the matrix involved is aB-matrix, which improves those bounds obtained in [] and []. Numerical examples are given to illustrate the corresponding results.

Acknowledgements

This work is partly supported by National Natural Science Foundations of China (11601473, 31600299), Young Talent fund of University Association for Science and Technology in Shaanxi, China (20160234), the Research Foundation of Baoji University of Arts and Sciences (ZK2017021), and CAS ‘Light of West China’ Program.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to this work. All authors read and approved the final manuscript.

Author details

1School of Mathematics and Information Science, Baoji University of Arts and Sciences, Baoji, Shannxi 721013, P.R. China. 2School of Mathematics and Statistics, Yunnan University, Kunming, Yunnan 650091, P.R. China.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Received: 24 March 2017 Accepted: 2 June 2017

References

1. Li, CQ, Gan, MT, Yang, SR: A new error bound for linear complementarity problems forB-matrices. Electron. J. Linear Algebra31(1), 476-484 (2016)

2. García-Esnaola, M, Peña, JM: Error bounds for linear complementarity problems forB-matrices. Appl. Math. Lett.22(7), 1071-1075 (2009)

3. Berman, A, Plemmons, RJ: Nonnegative Matrix in the Mathematical Sciences. SIAM, Philadelphia (1994) 4. Cottle, RW, Pang, JS, Stone, RE: The Linear Complementarity Problem. Academic Press, San Diego (1992) 5. Murty, KG: Linear Complementarity, Linear and Nonlinear Programming. Heldermann, Berlin (1988) 6. Chen, XJ, Xiang, SH: Perturbation bounds ofP-matrix linear complementarity problems. SIAM J. Optim.18(4),

1250-1265 (2007)

7. Chen, TT, Li, W, Wu, X, Vong, S: Error bounds for linear complementarity problems ofMB-matrices. Numer. Algorithms 70(2), 341-356 (2015)

8. Chen, XJ, Xiang, SH: Computation of error bounds forP-matrix linear complementarity problems. Math. Program. 106(3), 513-525 (2006)

9. Dai, PF: Error bounds for linear complementarity problems ofDB-matrices. Linear Algebra Appl.434(3), 830-840 (2011)

10. Dai, PF, Li, YT, Lu, CJ: Error bounds for linear complementarity problems forSB-matrices. Numer. Algorithms61(1), 121-139 (2012)

11. Dai, PF, Lu, CJ, Li, YT: New error bounds for the linear complementarity problem with anSB-matrix. Numer. Algorithms 64(4), 741-757 (2013)

12. García-Esnaola, M, Peña, JM: Error bounds for linear complementarity problems involvingBS-matrices. Appl. Math.

Lett.25(10), 1379-1383 (2012)

13. García-Esnaola, M, Peña, JM: Error bounds for the linear complementarity problem with a-SDDmatrix. Linear Algebra Appl.438(3), 1339-1346 (2013)

14. García-Esnaola, M, Peña, JM:B-Nekrasov matrices and error bounds for linear complementarity problems. Numer. Algorithms72(2), 435-445 (2016)

15. Li, CQ, Dai, PF, Li, YT: New error bounds for linear complementarity problems of Nekrasov matrices andB-Nekrasov matrices. Numer. Algorithms74(4), 997-1009 (2017)

16. Peña, JM: A class ofP-matrices with applications to the localization of the eigenvalues of a real matrix. SIAM J. Matrix Anal. Appl.22(4), 1027-1037 (2001)

17. Li, CQ, Li, YT: Note on error bounds for linear complementarity problems forB-matrices. Appl. Math. Lett.57, 108-113 (2016)

18. Li, CQ, Li, YT: Weakly chained diagonally dominantB-matrices and error bounds for linear complementarity problems. Numer. Algorithms73(4), 985-998 (2016)

19. Yang, Z, Zheng, B, Lian, X: A new upper bound forA–1

References

Related documents

Recently, based on the Hadjidimos preconditioner, a preconditioned GAOR method was proposed for solving the linear complementarity problem (Liu and Li in East Asian J.. In this

In this paper, we demonstrate a complete version of the convergence theory of the modulus-based matrix splitting iteration methods for solving a class of implicit

In this paper, by reformulating the complementarity problem () as an implicit fixed point equation based on splittings of the system matrix A , we establish an accelerated

In this paper a branch-and-bound algorithm is proposed for finding a global min- imum to a Mathematical Programming Problem with Complementarity (or Equilibrium) Constraints

Tikhonov regularization) and A (for Lavrentiev regularization) as regulariza- tion matrices, where A is the matrix that defines the linear discrete ill-posed problem.. Both small

Abstract This paper aims to provide a bound of the forward error of the extended iterative refinement or improvement algorithm used to find the solution to an ill conditioned

In this paper, we develop a relative error bound for the nuclear norm regularized matrix completion, under the assumption that the top eigenspaces of the target matrix are

In this paper, we present new fractional local/global error bound results for the generalized D-gap functions of nonsmooth variational inequality problems, which gives an