Fuzzy Approximate Solution of Positive Fully Fuzzy Linear Matrix Equations
Abstract
The fuzzy matrix equations in which , , and are m × m, n × n, and m × n nonnegative LR fuzzy numbers matrices, respectively, are investigated. The fuzzy matrix systems is extended into three crisp systems of linear matrix equations according to arithmetic operations of LR fuzzy numbers. Based on pseudoinverse of matrix, the fuzzy approximate solution of original fuzzy systems is obtained by solving the crisp linear matrix systems. In addition, the existence condition of nonnegative fuzzy solution is discussed. Two examples are calculated to illustrate the proposed method.
1. Introduction
Since many real-world engineering systems are too complex to be defined in precise terms, imprecision is often involved in any engineering design process. Fuzzy systems have an essential role in this fuzzy modeling, which can formulate uncertainty in actual environment. In many matrix equations, some or all of the system parameters are vague or imprecise, and fuzzy mathematics is a better tool than crisp mathematics for modeling these problems, and hence solving a fuzzy matrix equation is becoming more important. The concept of fuzzy numbers and arithmetic operations with these numbers were first introduced and investigated by Zadeh [1, 2], Dubois and Prade [3], and Nahmias [4]. A different approach to fuzzy numbers and the structure of fuzzy number spaces was given by Puri and Ralescu [5], Goetschel, Jr. and Voxman [6], and Wu and Ma [7, 8].
In the past decades, many researchers have studied the fuzzy linear equations such as fuzzy linear systems (FLS), dual fuzzy linear systems (DFLS), general fuzzy linear systems (GFLS), fully fuzzy linear systems (FFLS), dual fully fuzzy linear systems (DFFLS), and general dual fuzzy linear systems (GDFLS). These works were performed mainly by Friedman et al. [9, 10], Allahviranloo et al. [11–17], Abbasbandy et al. [18–21], Wang and Zheng [22, 23], and Dehghan et al. [24, 25]. The general method they applied is the fuzzy linear equations were converted to a crisp function system of linear equations with high order according to the embedding principles and algebraic operations of fuzzy numbers. Then the fuzzy solution of the original fuzzy linear systems was derived from solving the crisp function linear systems. However, for a fuzzy matrix equation which always has a wide use in control theory and control engineering, few works have been done in the past. In 2009, Allahviranloo et al. [26] discussed the fuzzy linear matrix equations (FLME) of the form in which the matrices A and B are known m × m and n × n real matrices, respectively; is a given m × n fuzzy matrix. By using the parametric form of fuzzy number, they derived necessary and sufficient conditions for the existence condition of fuzzy solutions and designed a numerical procedure for calculating the solutions of the fuzzy matrix equations. In 2011, Guo et al. [27–29] investigated a class of fuzzy matrix equations by means of the block Gaussian elimination method and studied the least squares solutions of the inconsistent fuzzy matrix equation by using generalized inverses of the matrix, and discussed fuzzy symmetric solutions of fuzzy matrix equations . What is more, there are two shortcomings in the above fuzzy systems. The first is that in these fuzzy linear systems and fuzzy matrix systems the fuzzy elements were denoted by triangular fuzzy numbers, so the extended model equations always contain parameter r, 0 ≤ r ≤ 1 which makes their computation especially numerical implementation inconvenient in some sense. The other one is that the weak fuzzy solution of fuzzy linear systems does not exist sometimes see; [30].
To make the multiplication of fuzzy numbers easy and handle the fully fuzzy systems, Dubois and Prade [3] introduced the LR fuzzy number in 1978. We know that triangular fuzzy numbers and trapezoidal fuzzy numbers [31] are just specious cases of LR fuzzy numbers. In 2006, Dehghan et al. [25] discussed firstly computational methods for fully fuzzy linear systems whose coefficient matrix and the right-hand side vector are LR fuzzy numbers. In 2012, Allahviranloo et al. studied LR fuzzy linear systems [32] by the linear programming with equality constraints. Otadi and Mosleh considered the nonnegative fuzzy solution [33] of fully fuzzy matrix equations by employing linear programming with equality constraints at the same year. Recently, Guo and Shang [34] investigated the fuzzy approximate solution of LR fuzzy Sylvester matrix equations . In this paper we propose a general model for solving the fuzzy linear matrix equation , where , , and are m × m, n × n, and m × n nonnegative LR fuzzy numbers matrices, respectively. The model is proposed in this way; that is, we extend the fuzzy linear matrix system into a system of linear matrix equations according to arithmetic operations of LR fuzzy numbers. The LR fuzzy solution of the original matrix equation is derived from solving crisp systems of linear matrix equations. The structure of this paper is organized as follows.
In Section 2, we recall the LR fuzzy numbers and present the concept of fully fuzzy linear matrix equation. The computing model to the positive fully fuzzy linear matrix equation is proposed in detail and the fuzzy approximate solution of the fuzzy linear matrix equation is obtained by using pseudo-inverse in Section 3. Some examples are given to illustrate our method in Section 4 and the conclusion is drawn in Section 5.
2. Preliminaries
2.1. The LR Fuzzy Number
Definition 1 (see [1].)A fuzzy number is a fuzzy set like u : R → I = [0,1] which satisfies the following.
- (1)
u is upper semicontinuous,
- (2)
u is fuzzy convex, that is, u(λx + (1 − λ)y) ≥ min {u(x), u(y)} for all x, y ∈ R, λ ∈ [0,1],
- (3)
u is normal, that is, there exists x0 ∈ R such that u(x0) = 1,
- (4)
supp u = {x ∈ R∣u(x) > 0} is the support of the u, and its closure cl(supp u) is compact.
Let E1 be the set of all fuzzy numbers on R.
Definition 2 (see [3].)A fuzzy number is said to be an LR fuzzy number if
- (1)
L(x) = L(−x),
- (2)
L(0) = 1 and L(1) = 0,
- (3)
L(x) is nonincreasing on [0, ∞).
The definition of a right shape function R(·) is similar to that of L(·).
Clearly, is positive (negative) if and only if m − α > 0 (m + β < 0).
Also, two LR fuzzy numbers and are said to be equal, if and only if m = n, α = γ, and β = δ.
Definition 3 (see [5].)For arbitrary LR fuzzy numbers and , we have the following.
- (1)
Addition:
() - (2)
Multiplication:
- (i)
If and , then
() - (ii)
if and , then
() - (iii)
if and , then
()
- (i)
- (3)
Scalar multiplication:
()
2.2. The LR Fuzzy Matrix
Definition 4. A matrix is called an LR fuzzy matrix, if each element of is an LR fuzzy number.
will be positive (negative) and denoted by if each element of is positive (negative), where . Up to the rest of this paper, we use positive LR fuzzy numbers and formulas given in Definition 3. For example, we represent m × n LR fuzzy matrix , that with new notation , where A = (aij), M = (αij) and N = (βij) are three m × n crisp matrices. In particular, an n dimensions LR fuzzy numbers vector can be denoted by (x, xl, xr), where x = (xi), and are three n dimensions crisp vectors.
Definition 5. Let and be two m × n and n × p fuzzy matrices; we define which is an m × p fuzzy matrix, where
2.3. The Fully Fuzzy Linear Matrix Equation
Definition 6. The matrix system:
Using matrix notation, we have
A fuzzy numbers matrix
Up to the rest of this paper, we will discuss the nonnegative solution of FFLME , where , , and .
3. Method for Solving FFLME
First, we extend the fuzzy linear matrix system (9) into three systems of linear matrix equations according to the LR fuzzy number and its arithmetic operations.
Theorem 7. The fuzzy linear matrix system (9) can be extended into the following model:
Proof. We denote , and , and assume , then
Definition 8. Let be an LR fuzzy matrix. If (X, Y, Z) is an exact solution of (11) such that X ≥ 0, Y ≥ 0, Z ≥ 0, and X − Y ≥ 0; we call a nonnegative LR fuzzy approximate solution of (9).
Theorem 9. Let , , and be three nonnegative fuzzy matrices, respectively, and let A and B be the product of a permutation matrix by a diagonal matrix with positive diagonal entries. Moreover, let GB ≥ CB−1E + MA−1C, HB ≥ CB−1F + NA−1C, and C + CB−1E + MA−1C ≥ GB. Then the systems has nonnegative fuzzy solutions.
Proof. Our hypotheses on A and B imply that A−1 and B−1 exist and they are nonnegative matrices. Thus X = A−1CB−1 ≥ 0.
On the other hand, because GB ≥ CB−1E + MA−1C and HB ≥ CB−1F + NA−1C, so with Y = A−1(GB − CB−1E − MA−1C)B−1 and Z = A−1(HB − CB−1F − NA−1C)B−1, we have Y ≥ 0 and Z ≥ 0. Thus is a fuzzy matrix which satisfies . Since X − Y = A−1(C − GB + CB−1E + MA−1C)B−1, the positivity property of can be obtained from the condition C + CB−1E + MA−1C ≥ GB.
When A or B is a singular crisp matrix, the following result is obvious.
Theorem 10 (see [35].)For linear matrix equations AXB = C, where A ∈ Rm×m, B ∈ Rn×n, and C ∈ Rm×n. Then
By the pseudoinverse of matrices, we solve model (11) and obtain its minimal norm least squares solution as follows:
Definition 11. Let be an LR fuzzy matrix. If (X, Y, Z) is a minimal norm least squares solution of (11) such that X ≥ 0, Y ≥ 0, Z ≥ 0, and X − Y ≥ 0, we call a nonnegative LR fuzzy minimal norm least squares solution of (9).
At last, we give a sufficient condition for nonnegative fuzzy minimal norm least squares solution of FFLME (9) in the same way.
Theorem 12. Let A† and B† be nonnegative matrices. Moreover, let GB ≥ CB†E + MA†C, HB ≥ CB†F + NA†C, and C + CB†E + MA†C ≥ GB. Then the systems has nonnegative fuzzy minimal norm least squares solutions.
Proof. Since A† and B† are nonnegative matrices, we have X = A†CB† ≥ 0.
Now that GB ≥ CB†E + MA†C and HB ≥ CB†F + NA†C, therefore, with Y = A†(GB − CB†E − MA†C)B† and Z = A†(HB − CB†F − NA†C)B†, we have Y ≥ 0 and Z ≥ 0. Thus is a fuzzy matrix which satisfies . Since X − Y = A†(C − GB + CB†E + MA†C)B†, the nonnegativity property of can be obtained from the condition C + CB†E + MA†C ≥ GB.
The following Theorems give some results for such S−1 and S† to be nonnegative. As usual, (·) ⊤ denotes the transpose of a matrix (·).
Theorem 13 (see [36].)The inverse of a nonnegative matrix A is nonnegative if and only if A is a generalized permutation matrix.
Theorem 14 (see [37].)Let A be an m × m nonnegative matrix with rank r. Then the following assertions are equivalent:
- (a)
A† ≥ 0.
- (b)
There exists a permutation matrix P, such that PA has the form
()where each Si has rank 1 and the rows of Si are orthogonal to the rows of Sj, whenever i ≠ j, the zero matrix may be absent. - (c)
for some positive diagonal matrix K. In this case,
()
4. Numerical Examples
Example 15. Consider the fully fuzzy linear matrix system
By Theorem 7, the model of the above fuzzy linear matrix system is made of the following three crisp systems of linear matrix equations
Now that the matrix B is singular, according to formula (18), the solutions of the above three systems of linear matrix equations are as follows:
By Definition 11, we know that the original fuzzy linear matrix equations have a nonnegative LR fuzzy solution
since X ≥ 0, Y ≥ 0, Z ≥ 0, and X − Y ≥ 0.
Example 16. Consider the following fuzzy matrix system:
By Theorem 7, the model of the above fuzzy linear matrix system is made of following three crisp systems of linear matrix equations:
By the same way, we obtain that the solutions of the above three systems of linear matrix equations are as follows:
Since X ≥ 0, Y ≥ 0, Z ≥ 0, and X − Y ≥ 0, we know that the original fuzzy linear matrix equations have a nonnegative LR fuzzy solution given by
5. Conclusion
In this work we presented a model for solving fuzzy linear matrix equations in which and are m × m and n × n fuzzy matrices, respectively, and is an m × n arbitrary LR fuzzy numbers matrix. The model was made of three crisp systems of linear equations which determined the mean value and the left and right spreads of the solution. The LR fuzzy approximate solution of the fuzzy linear matrix equation was derived from solving the crisp systems of linear matrix equations. In addition, the existence condition of strong LR fuzzy solution was studied. Numerical examples showed that our method is feasible to solve this type of fuzzy matrix equations. Based on LR fuzzy numbers and their operations, we can investigate all kinds of fully fuzzy matrix equations in future.
Acknowledgments
The work is supported by the Natural Scientific Funds of China (no. 71061013) and the Youth Research Ability Project of Northwest Normal University (NWNU-LKQN-1120).