139x Filetype PDF File size 1.54 MB Source: downloads.hindawi.com
HindawiPublishingCorporation AdvancesinFuzzySystems Volume2012,ArticleID318069,9pages doi:10.1155/2012/318069 Research Article FuzzySymmetricSolutionsofFuzzyMatrixEquations 1 2 XiaobinGuo andDequanShang 1College of Mathematics and Information Science, Northwest Normal University, Lanzhou 730070, China 2DepartmentofPublic Courses, Gansu College of Chinese Medicine, Lanzhou 730000, China CorrespondenceshouldbeaddressedtoXiaobinGuo,guoxb@nwnu.edu.cn Received 3 April 2012; Accepted 29 April 2012 AcademicEditor: F. Herrera Copyright © 2012 X. Guo and D. Shang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. ThefuzzysymmetricsolutionoffuzzymatrixequationAX = B,inwhichAisacrispm×mnonsingularmatrixandBisanm×n fuzzy numbers matrix with nonzero spreads, is investigated. The fuzzy matrix equation is converted to a fuzzy system of linear equations according to the Kronecker product of matrices. From solving the fuzzy linear system, three types of fuzzy symmetric solutions of the fuzzy matrix equation are derived. Finally, two examples are given to illustrate the proposed method. 1. Introduction has a wide use in control theory and control engineering, few works have been done in the past decades. In 2010, Guo Linear systems always have important applications in many et al. [22–24] investigated a class of fuzzy matrix equations branchesofscienceandengineering.Inmanyapplications,at X = B in which A is an m × n crisp matrix and the least some of the parameters of the system are represented by A fuzzy rather than crisp numbers. So, it is immensely impor- right-hand side matrix B is an m × l fuzzy numbers matrix tant to develop a numerical procedure that would appro- by means of the block Gaussian elimination method and priately treat general fuzzy linear systems and solve them. the undetermined coefficients method, and they studied The concept of fuzzy numbers and arithmetic operations least squares solutions of the inconsistent fuzzy matrix with these numbers was first introduced and investigated by equation Ax = B by using the generalized inverses. In 2011, Zadeh [1], Dubois et al. [2], and Nahmias [3]. A different AllahviranlooandSalahshour[25]obtainedfuzzysymmetric approach to fuzzy numbers and the structure of fuzzy approximate solutions of fuzzy linear systems by solving numberspaceswasgivenbyPuriandRalescu[4],Goetschell a crisp system of linear equations and a fuzzified interval et al. [5], and Wu and Ming [6, 7]. systemoflinearequations.Meanwhile,they[26]investigated Since Friedman et al. [8, 9]proposedageneralmodel the maximal and minimal symmetric solutions of full fuzzy for solving an n × n fuzzy linear systems whose coefficients linear systems Ax = b by the same approach. matrix is crisp and the right-hand side is an arbitrary fuzzy In this paper, we propose a general model for solving X = B where A is crisp m × m numbers vector by an embedding approach in 1998, many the fuzzy matrix equation A works have been done about how to deal with some fuzzy nonsingular matrix and B is an m×n fuzzy numbers matrix linear systems with more advanced forms such as dual with nonzero spreads. The model is proposed in this way, fuzzy linear systems (DFLSs), general fuzzy linear systems that is, we first convert the fuzzy matrix equation to a fuzzy (GFLSs), fully fuzzy linear systems (FFLSs), dual full fuzzy system of linear equations based on the Kronecker product linear systems (DFFLSs), and general dual fuzzy linear of matrices and then obtain three types of fuzzy symmetric systems (GDFLSs). These works were performed mainly by solutions of the fuzzy matrix equation by solving the fuzzy Allahviranloo et al. [10–13], Abbasbandy et al. [14–17], linear systems. Finally, some examples are given to illustrate Wang et al. [18, 19] and Dehghan et al. [20, 21], among our method. The structure of this paper is organized as others. However, for a fuzzy matrix equation which always follows. 2 AdvancesinFuzzySystems m×n p×q In Section 2, we recall the fuzzy number and present the Definition 4. Suppose A = (a ) ∈ R , B = (b ) ∈ R , ij ij conceptofthefuzzymatrixequationanditsfuzzysymmetric the matrix in block form: solutions. The method to solve the fuzzy matrix equation ⎛a BaB ··· a B⎞ is proposed and the fuzzy symmetric solutions of the fuzzy ⎜ 11 12 1n ⎟ a BaB ··· a B matrix equation are obtained in detail in Section 3.Some ⎜ 21 12 2n ⎟ mp×nq A⊗B=⎜ . . . . ⎟∈R (2) ⎜ . . . . ⎟ examples are given to illustrate our method in Section 4 and ⎝ . . . . ⎠ the conclusion is drawn in Section 5. a BaB ··· a B m1 m2 mn 2. Preliminaries is said the Kronecker product of matrices A and B,denoted simply by A⊗B = (a B). ij 2.1. Fuzzy Numbers. There are several definitions for the m×n Definition 5. Let A = (a ) ∈ R , a = (a ,a ,..., concept of fuzzy numbers (see [1, 2, 4]). ij i 1i 2i a )T, i = 1,...,n, the mn dimensions vector: mi Definition 1. A fuzzy number is a fuzzy set like u : R → I = ⎛a ⎞ ⎜ 1⎟ [0,1] which satisfies the following: a ⎜ 2⎟ ( ) ⎜ ⎟ Vec A =⎜ . ⎟ (3) (1) u is upper semicontinuous, ⎝. ⎠ . a (2) u is fuzzy convex, that is, u(λx +(1− λ)y) ≥ n min{u(x),u(y)}forall x, y ∈ R, λ ∈ [0,1], is called the extension on column of the matrix A. (3) u is normal, that is, there exists x0 ∈ R such that Lemma6. Let A = (a ) ∈ Rm×n, B = (b ) ∈ Rn×s,and u(x0) = 1, ij ij s×t (4) suppu ={x ∈ R | u(x) > 0} is the support of the u, C=(cij)∈R .Then, andits closure cl(suppu)iscompact. ( ) T ( ) Vec ABC = C ⊗A Vec B . (4) Let E1 be the set of all fuzzy numbers on R. Definition 7. AmatrixA = (a ) is called a fuzzy matrix, ij if each element a of A is a fuzzy number, that is, a = Definition 2. A fuzzy number u in parametric form is a pair ij ij (a (r),a (r)), 1 ≤ i ≤ m,1≤ j ≤ n,0≤ r ≤ 1. (u,u) of functions u(r), u(r), 0 ≤ r ≤ 1, which satisfies the ij ij requirements: m×n Definition 8. Let A = (a = (a (r),a (r)) ∈ E , a = ij ij ij i (1) u(r) is a bounded monotonic increasing left continu- T (a , a , ..., a ) , j = 1,...,n. Then, the mn dimensions ousfunction, 1j 2j mj fuzzy numbers vector: (2) u(r) is a bounded monotonic decreasing left contin- ⎛ ⎞ a uousfunction, ⎜ 1⎟ a ⎜ 2⎟ (3) u(r) ≤ u(r), 0 ≤ r ≤ 1. ⎜ ⎟ Vec A =⎜ . ⎟ (5) ⎝. ⎠ . Acrispnumberxissimplyrepresentedby(u(r),u(r)) = a n (x,x), 0 ≤ r ≤ 1. By appropriate definitions the fuzzy 1 number space {(u(r),u(r))} becomes a convex cone E is called the extension on column of the fuzzy matrix A. which could be embedded isomorphically and isometrically into a Banach space. 2.3. Fuzzy Matrix Equations Definition 3. Let x = (x(r),x(r)), y = (y(r), y(r)) ∈ E1, Definition 9. The matrix system: 0 ≤ r ≤ 1, and real number k ∈ R.Then, ⎛a a ··· a ⎞⎛x x ··· x ⎞ ⎜ 11 12 1m⎟⎜ 11 12 1n⎟ (1) x = y iff x(r) = y(r)and x(r) = y(r), a a ··· a x x ··· x ⎜ 21 12 2m⎟⎜ 21 12 2n⎟ ⎜ . . . . ⎟⎜ . . . . ⎟ ⎜ . . . . ⎟⎜ . . . . ⎟ (2) x + y = (x(r)+y(r), x(r)+y(r)), ⎝ . . . . ⎠⎝ . . . . ⎠ a a ··· a x x ··· x (3) x − y = (x(r)− y(r), x(r)− y(r)), m1 m2 mm m1 m2 mn (4) ⎛ ⎞ (6) b b ··· b ⎜ 11 12 1n⎟ ⎧ ⎜ ⎟ b b ··· b ⎨ ⎜ 21 12 2n⎟ ( ( ) ( )) kx r ,kx r , k ≥ 0, =⎜ . . . . ⎟, kx= (1) ⎜ . . . . ⎟ ⎩ ⎝ . . . . ⎠ ( ( ) ( )) kx r ,kx r , k<0. b b ··· b m1 m2 mn 2.2. Kronecker Product of Matrices and Fuzzy Matrix. The where a ,1≤ i, j ≤ m are crisp numbers and b ,1≤ i ≤ ij ij following definitions and results about the Kronecker prod- m,1≤ j ≤ n are fuzzy numbers, is called a fuzzy matrix uct of matrices are from [27]. equations (FMEs). AdvancesinFuzzySystems 3 Usingmatrixnotation, we have wehave (7) ⎛ ⎞ AX =B. b AbA ··· b A ⎜ 11 22 l1 ⎟ b AbA ··· b A Afuzzynumbersmatrix: ⎜ 12 22 l2 ⎟ ⎜ ⎟ Vec AXB =⎜ . . . . ⎟Vec X ⎝ . . . . ⎠ . . . . (13) ( ) ( ) X = x = x r ,x r , ij ij ij b AbA ··· b A (8) 1l 2l ls 1 ≤ i ≤ m,1≤ j ≤ n,0≤r ≤1, T = B ⊗A Vec X . is called a solution of the fuzzy linear matrix equation (6)if Xsatisfies m×n Theorem11. ThematrixX ∈E is the solution of the fuzzy (9) mn AX =B. matrix equation (7) ifandonlyifx = Vec(X) ∈ E is the Clearly, Definition 9 is just for the fuzzy matrix equation solution of the following linear fuzzy system: and its exact solution. In this paper we will discuss its Gx = y, (14) approximate fuzzy symmetric solutions. whereG=I ⊗Aandy=Vec(B). 3. MethodforSolvingFMEs n In this section, we will investigate the fuzzy matrix equation Proof. Setting B = In in (10), we have (7), that is, convert it to a crisp system of linear equations and ( ) a fuzzified interval system of linear equations, define three Vec AX = In⊗A Vec X . (15) types of fuzzy approximate symmetric solution and give its ApplyingtheextensionoperationtheDefinition8totwo solutionrepresentationtotheoriginalfuzzymatrixequation. sides of (7), we also have At first, we convert the fuzzy matrix equation (7)toa fuzzy system of linear equations based on the Kronecker Gx = y, (16) product of matrices. m×n whereG=I ⊗Aisanmn×mnmatrixandy=Vec(B)isan Theorem10. Let A = (a ) belong to R ,letX = (x ) = n ij ij n×l l×s (x (r),x (r)) belong to E ,andletB = (b ) belong to R . mnfuzzy numbers vector. Thus, the X is the solution of (7) ij ij ij Then, whichisequivalenttothatx = Vec(X) which is the solution T of (14). Vec AXB = B ⊗A Vec X . (10) For simplicity, we denote p = mn in (7), thus m ⎛ ⎞ Proof. Let X = (x ,x ,...,x ), x = (x (r),x (r)) ∈ E , 1 2 n j ij ij g g ··· g i = 1,2,...,m, j = 1,2,...,l. B = (b ,b ,...,b ), b ∈ Rn, ⎜ 11 12 1,p⎟ 1 2 l j g g ··· g j = 1,2,...,l.Then, ⎜ 21 12 2,p⎟ G=⎜ . . . . ⎟, ⎜ . . . . ⎟ ⎛ ⎞ ⎝ . . . . ⎠ AXb ⎜ 1⎟ gp,1 gp,2 ··· gp,p ⎜ ⎟ (17) ⎜ ⎟ ⎛ ⎞ AXb ⎜ 2⎟ y ⎜ ⎟ ⎜ 1⎟ ⎜ ⎟ Vec AXB =Vec AXb ,AXb ,...,AXb = . 1 2 l . y ⎜ . ⎟ ⎜ 2⎟ ⎜ . ⎟ y = ⎜ . ⎟ ⎜ ⎟ ⎜ . ⎟ ⎝ ⎠ ⎝ . ⎠ AXb l y p (11) Since in (14). ⎛b ⎞ Thefollowingdefinitionsshowwhatthefuzzysymmetric ⎜ 1j⎟ ⎜b ⎟ solutions of the fuzzy matrix equation are. ⎜ 2j⎟ ⎜ ⎟ ⎜ ⎟ ( ) ( ) AXb = Ax ,Ax ,...,Ax b = Ax ,Ax ,...,Ax . j 1 2 n j 1 2 l ⎜ . ⎟ Definition 12 (see [28]). The united solution set (USS), the ⎜ . ⎟ ⎜ ⎟ tolerable solution set (TSS), and the controllable solution set ⎝blj⎠ (CSS)forthesystem(14)are,respectively,asfollows: p X = x∈R :Gx∩y=φ , =b Ax +b Ax +···+b Ax ∃∃ / 1j 1 2j 2 lj l p X∀∃ = x ∈R :Gx⊆ y , (18) = b A,b A,...,b A Vec X , 1j 2j nj (12) X∃∀ = x ∈Rp :Gx ⊇ y . 4 AdvancesinFuzzySystems Definition 13. A fuzzy vector x = (x ,x ,...,x )⊺ given by Now, one solves the crisp linear system (21) to obtain 1 2 p x = [x (r),x (r)], 1 ≤ i ≤ p,0≤ r ≤ 1 is called the minimal x , i = 1,2,..., p, that is, existed uniquely since det(G) = i i i i symmetric solution of the fuzzy matrix equation (7)which det(I ⊗A) = det(A)n=0andsolvetheintervalequations(22) n / is placed in CSS if for any arbitrary symmetric solution z = to obtain α (r), i = 1,2,..., p. ⊺ i (z , z , ..., z ) , which is placed in CSS, that is, x(1) = z(1), So, without loss of generality and for simplicity to express 1 2 p wehave the theory, it is assumed that the coefficients matrix G is positive. Then, ith equation of interval system (22) is ( ) ( ) z ⊇ x , that is, z ⊇ x , that is, σ ≥σ , i = 1,2,..., p, i i z x i i ( ( ) ( )) g x −α r ,x +α r +··· (19) i1 1 i 1 i (23) ( ) ( ) ( ) ( ) +g x −α r ,x +α r = y r ,y r , where σ and σ aresymmetricspreadsofz and x, ip p i p i i i z x i i i i respectively. it can be rewritten in parametric form: ⊺ p Definition 14. A fuzzy vector x = (x ,x ,...,x ) given by 1 2 p ( ) ( ) g x −α r =y r , i = 1,2,..., p, (24) x = [x (r),x (r)], 1 ≤ i ≤ p,0≤ r ≤ 1 is called the ij j i i i i i j=1 maximal symmetric solution of the fuzzy matrix equation (7) which is placed in TSS if for any arbitrary symmetric p ⊺ ( ) ( ) solution z = (z ,z ,...,z ) , which is, placed in TSS, that g x +α r =y r , i = 1,2,..., p. (25) 1 2 p ij j i i is x(1) = z(1), we have j=1 So,aftersomecomputationsandreplacingα (r)withα (r) ( ) ( ) i i1 x ⊇ z , that is, x ⊇ z , that is, σ ≥σ , i = 1,2,..., p, i i x z i i in (24) and replacing α (r) with α (r) in (25), (24),and(25), (20) i i2 they are transformed, respectively, to where σ and σ aresymmetricspreadsofz and x, α (r) = f x ,...,x ,g ,...,g , y (r) , i = 1,2,..., p, z x i i i1 1 1 p i1 ip i i i respectively. Secondly, in order to solve the fuzzy matrix equation (7), ( ) ( ) α r = f x ,...,x ,g ,...,g ,y r , i = 1,2,..., p. i2 2 1 p i1 ip i weneedtoconsiderthefuzzysystemoflinearequation(14). (26) For the fuzzy linear system (14), we can extend it into to However, α (r) is function of x ,...,x ,g ,...,g , y (r), a crisp system of linear equations and a fuzzified interval i1 1 p i1 ip i system of linear equations to obtain its fuzzy symmetric α (r) is function of x ,...,x ,g ,...,g , y (r) such that i2 1 p i1 ip i solutions. α (r)andα (r)areobtainedspreadsofithequationinsystem i1 i2 (22).Perhaps,α (r)andα (r)donotsatisfytherestofinterval i1 i2 Theorem 15 (see [25]). The fuzzy linear system (14) can be equations (22). Therefore, one should determine the reasonable extended into a p× p crisp function system of linear equations: spreads according to decision makers. To this end, three type of ⎛ ⎞⎛ ⎞ ⎛ ⎞ spreads are proposed as follows: ( ) g g ··· g x y 1 11 12 1,p 1 1 ( ) ( ) ( ) α r =min{α r ,α r }, i = 1,2,..., p,0≤ r ≤ 1, ⎜ ⎟⎜ ⎟ ⎜ ( )⎟ L i1 i2 g g ··· g x y 1 ⎜ 21 12 2,p⎟⎜ 1⎟ ⎜ 2 ⎟ ⎜ ⎟⎜ ⎟ ⎜ ⎟ . . . . . = . , (21) ⎜ . . . . ⎟⎜. ⎟ ⎜ . ⎟ ( ) ( ) ( ) α r =max{α r ,α r }, i = 1,2,..., p,0≤ r ≤ 1, ⎝ . . . . ⎠⎝. ⎠ ⎝ . ⎠ U i1 i2 ( ) gp,1 gp,2 ··· gp,p xp yp 1 ( ) ( ) ( ) ( ) α r =λα r + 1−λ α r , i=1,2,...,p, λ U L ( ( ) ( )) g x −α r ,x +α r +··· 11 1 1 1 1 [ ] 0 ≤ r ≤ 1, λ ∈ 0,1 . (27) ( ) ( ) ( ) ( ) +g x −α r ,x +α r = y r ,y r , 1p p 1 p 1 1 1 Hence, by such computations, the fuzzy vector solution of ( ( ) ( )) g x −α r ,x +α r +··· 21 1 1 1 1 system (7) under proposed spreads (27) will be as follows. For ( ) ( ) ( ) ( ) i = 1,2,..., p,0≤ r, λ ≤ 1: +g x −α r ,x +α r = y r ,y r , 2p p 1 p 1 2 2 ( ) ( ) t X = x r ,...,x r , . L 1 p . . ( ) ( ( ) ( )) x r = x −α r ,x +α r , i i L i L ( ) ( ) t gp1 x1 −αp r ,x1 +αp r +··· ( ) ( ) X = x r ,...,x r , U 1 p ( ) ( ) ( ) ( ) (28) +app xp −αp r ,xp +αp r = y r ,y r , ( ) ( ( ) ( )) p x r = x −α r ,x +α r , p i i U i U (22) t ( ) ( ) X = x r ,...,x r , λ 1 p where y (1) ∈ R, i = 1,2,..., p and α (r), i = 1,2,..., p are i i ( ) ( ( ) ( )) x r = x −α r ,x +α r . unknownspreads. i i λ i λ
no reviews yet
Please Login to review.