Elsevier

Fuzzy Sets and Systems

Volume 429, 15 February 2022, Pages 169-187
Fuzzy Sets and Systems

Fuzzy linear singular differential equations under granular differentiability concept

https://doi.org/10.1016/j.fss.2021.01.003Get rights and content

Abstract

In this paper, fuzzy linear singular differential equations under so-called granular differentiability are investigated in which the coefficients and initial conditions are as fuzzy numbers. Some new notions such as fuzzy nilpotent matrix, fuzzy linearly independent vectors, fuzzy eigenvectors, rank, index and fuzzy Jordan canonical form of a fuzzy matrix are introduced. Moreover, we compare the proposed method with other ones based on other derivatives, using some examples.

Introduction

Mathematical models based on linear and nonlinear differential equations are often used for modeling the behavior of phenomena. This paper concentrates on a general form of autonomous linear differential equations as:Ex˙(t)=Ax(t)+B where E=[eij]m×n, x(t)=[xi(t)]n×1, A=[aij]m×n, and B=[bij]m×1. Two following cases can be considered for studying the differential equation (1):

  • 1)

    If the matrix E is nonsingular and n=m, then the differential equation (1) reduces to the following ordinary differential equation:x˙(t)=E1Ax(t)+E1B where E1 is the inverse matrix of E.

  • 2)

    If the matrix E is singular then we have a singular differential equation. The basic theory of singular differential equations has been established in the nineteenth century; see the papers and books [1], [2], [3], [4], [5]. Since singular differential equations are more general than ordinary differential equations, they capture much attention in many fields of science such as in mathematics, computer science, engineering, control theory, fluid dynamics, and many other areas. The potential of the theory of singular differential equations in modeling of dynamical systems is explained in [6], [7], [8], [9], [10].

Because the existence of uncertainty in determining of mathematical model parameters of dynamical system is inevitable, then studying uncertain differential equations is very important. If there exists uncertainty in equation (2) and this uncertainty is modeled by fuzzy sets, then we have a fuzzy ordinary differential equation that has been studied in many papers such as [11], [12], [13], [14], [15]. Moreover, considering the uncertainty in equation (1), whenever E is a singular matrix, leads to studying of Fuzzy Linear Singular Differential Equations (FLSDEs) which is investigated in this paper with more details. In [16], using Strongly Generalized Hukuhara derivative (SGH-derivative), the fuzzy singular differential equation has been studied where the coefficients matrices are crisp and the initial conditions are fuzzy numbers. Here we consider FLSDEs in which not only the coefficients, but also initial conditions are uncertain, a more general form than what has been considered in [16]. In addition, the approach presented in [16] is on the basis of the Fuzzy Standard Interval Arithmetic (FSIA) and suffers from a number of limitations that are outlined in the sequel.
  • 1)

    Unnatural behavior in modeling phenomenon (UBM phenomenon); Based on the mentioned approach in [16], the solutions of the following FLSDEs are not the same:{Ex˜˙(t)=Ax˜(t)+Bx˜(t0)=x˜0{Ex˜˙(t)Ax˜(t)=Bx˜(t0)=x˜0{Ex˜˙(t)B=Ax˜(t)x˜(t0)=x˜0{Ex˜˙(t)Ax˜(t)B=0x˜(t0)=x˜0

  • 2)

    Doubling property; Based on the mentioned approach, an FLSDE might have two solutions - the solution corresponding to the first form of SGH-differentiability and the solution corresponding to the second form of SGH-differentiability - see Lemma 2.4 in [16].

Due to the mentioned restrictions imposed by the approach based on FSIA, a new approach dealing with FLSDEs is presented in this paper. The proposed approach is based on the Relative-Distance-Measure Fuzzy Interval Arithmetic (RDM-FIA) studied in [17], [18], [19], [20], [21], [22].

Briefly, in this paper the fuzzy linear singular differential equation under granular differentiability based on uncertain information is investigated. In these systems, all the coefficients and initial conditions can be uncertain. Therefore, based on the aforementioned explanations, a list of novel contributions of the paper is as follows:

  • 1.

    Considering the fuzzy linear singular differential equation structure as a fully fuzzy singular differential equation.

  • 2.

    Defining the fuzzy nilpotent matrix, fuzzy linearly independent vectors, fuzzy eigenvectors.

  • 3.

    Introducing the rank, index and fuzzy Jordan canonical form of a fuzzy matrix.

  • 4.

    Presenting the advantages and efficiency of the proposed approach in comparison with the previous approaches.

  • 5.

    Finally, the solution of fully fuzzy linear singular differential equations is obtained.

The rest of paper is organized as follows: Section 2 presents some preliminaries. Section 3 comes with fuzzy nilpotent matrix, fuzzy linearly independent vectors, fuzzy eigenvectors, rank, index and fuzzy Jordan canonical form of a fuzzy matrix. Section 4 will discuss how to solve a FLSDEs under granular differentiability. Finally, by presenting two examples in Section 5, the efficiency and applicability of the proposed approach are illustrated.

Section snippets

Basic concepts

As mentioned in [23], while the results obtained with Moore arithmetic are one-dimensional, the RDM arithmetic gives a multidimensional solution. In some cases the solutions in Moore arithmetic depend on the form of the equation, so it suggests that Moore arithmetic cannot correctly solve more complicated problems. The RDM arithmetic for different forms of the equation gives the same results. The Moore arithmetic gives only the span, not a full solution, except one-dimensional problems where

Some new basic definitions related to fuzzy matrices

In this section, some new basic definitions related to fuzzy matrices are presented. Moreover, the fuzzy eigenvectors and fuzzy Jordan canonical form of a fuzzy matrix are defined.

Definition 9

The fuzzy vectors v˜1,v˜2,...,v˜n are said to be fuzzy linearly independent if and only if H(v˜1),H(v˜2),...,H(v˜n) are linearly independent for all αv1,αv2,...,αvn[0,1].

Definition 10

The rank of a fuzzy matrix A˜n×m=[a˜ij]n×m, i=1,2,...,n; j=1,2,...,m, denoted by rank(A˜), is the maximal number of linearly independent columns

Fuzzy linear singular differential equations with constant coefficients

In this section, we consider FLSDEs with constant fuzzy coefficients of the form:{E˜Dgrx˜(t)=A˜x˜(t)+f˜(t)x˜(0)=x˜0 where x˜(t)=[x˜1(t),x˜2(t),...,x˜n(t)]T and A˜=[a˜ij]n×n are fuzzy matrices and E˜=[e˜ij]n×n is a singular fuzzy matrix.

Theorem 3

If the matrix pair (E˜,A˜) with E˜,A˜En×n is regular, then there exist two nonsingular fuzzy matrices Q˜ and P˜, such thatQ˜E˜P˜=[In100N˜] andQ˜A˜P˜=[J˜00In2] where n1+n2=n, J˜En1×n1, and N˜En2×n2 is a fuzzy nilpotent matrix.

Proof

Since (E˜,A˜) is regular, then

Disadvantages of approaches based on Hukuhara derivative and Strongly Generalized Hukuhara derivative

In this section, the advantages of the approach presented in this paper in comparison with the approaches based on Hukuhara derivative and Strongly Generalized Hukuhara derivative (SGH-derivative) are highlighted.

1. Existence:

Based on [11], the SGH-derivative and Hukuhara derivative do not always exist. For example the fuzzy function f˜(t)=(t33,t33+t+3,2t33+4), where t[0,2], is not SGH-differentiable - see [11] for more details. In Example 6 presented in [24], it has been shown that this

Example

Example 9

Consider the following fuzzy linear singular differential equation:[1˜02˜0][Dgrx˜1(t)Dgrx˜2(t)]=[1001][x˜1(t)x˜2(t)],[x˜1(0)x˜2(0)]=[x˜10x˜20] where 1˜=(0.5,1,1.5) and 2˜=(1,2,3). Moreover, letE˜=[1˜02˜0],A˜=[1001] Using the approach presented in this paper, we are going to solve the differential equation (29).

The solution of (29) is obtained by means of the equations (23) and (24). Therefore, we need to obtain the fuzzy matrices Q˜, P˜, N˜, and J˜. The fuzzy pair (E˜,A˜) is regular

Conclusions

This paper presents a solution to fuzzy linear singular differential equation under granular differentiability concept. To reach such a goal, some new definitions and concepts such as fuzzy linearly independent vectors, fuzzy nilpotent matrix, rank and index of a fuzzy matrix were introduced. Moreover, the concepts of eigenvalues, eigenvectors, and Jordan canonical form of a matrix were developed into fuzzy context. The new concepts enable us to obtain the solution of the FLSDEs.

Declaration of Competing Interest

The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.

Acknowledgement

The first and second authors (M. Najariyan and N. Pariz) acknowledge support from Iran National Science Foundation (INSF) under contract No. 96007747.

References (27)

  • L. Kronecker

    Algebraische Reduction der Schaaren bilinearer Formen

    (1890)
  • K. Weierstraß

    Zur Theorie der bilinearen quadratischen Formen

    (1867)
  • C.W. Gear

    The simultaneous numerical solution of differential-algebraic equations

    IEEE Trans. Circuit Theory

    (1971)
  • Cited by (18)

    • Suboptimal control of linear fuzzy systems

      2023, Fuzzy Sets and Systems
      Citation Excerpt :

      Recently, several new differentiability concepts are introduced to overcome the drawbacks of these approaches, like interactive derivative [3], granular derivative [25] and D-derivative [17]. The concept of granular differentiability for fuzzy functions [25] is based on the horizontal membership functions (HMFs) [33] and it has attracted more attention with some significant applications in control systems [24,30]. Also, a new differentiability concept, namely the interactive derivative, which considers the possible local interactivity in the process, is studied in [3].

    • Optimality conditions for fuzzy optimization problems under granular convexity concept

      2022, Fuzzy Sets and Systems
      Citation Excerpt :

      So, similar to the second-order criterion of real number convex function, we try to give the second-order criterion of granular convex fuzzy function based on the Horizontal membership functions. Najariyan, Pariz and Vu [22] defined the Horizontal membership functions of a fuzzy matrix is as follows. Fuzzy matrix [22]

    • Two classes of granular solutions and related optimality conditions for interval type-2 fuzzy optimization

      2022, Information Sciences
      Citation Excerpt :

      However, Mazandarani and Xiu [14] pointed out that these differential definitions of fuzzy functions have six major limitations.In order to overcome these shortcomings, Mazandarani et al. [15] proposed a new kind of differentiation of fuzzy functions, which is called granular differentiation (gr-differentiation). Based on this new differentiability, many scholars have madea number of new achievements in the field of fuzzy dynamic systems, such as fuzzy linear dynamical systems [16], Z-differential equations [17], fuzzy delay differential equations [36], fuzzy linear singular differential equations [22], fuzzy fractional problems [23], fuzzy variational problems [20], and so on. Inspired by some enlightening ideas recently reported in [15,24], we consider the interval type-2 fuzzy optimization (IT2FO) problem which is granular-differentiable (gr-differentiable).

    • Stability and controllability of fuzzy singular dynamical systems

      2022, Journal of the Franklin Institute
      Citation Excerpt :

      Since the existence of uncertainties in phenomena is inevitable, it is imperative to study uncertain SDSs. If fuzzy sets model this uncertainty, we have Fuzzy Singular Differential Equations (FSDE) studied in a few papers such as [15,16], and [1]. In presented approach in [1] is based on the Fuzzy Standard Interval Arithmetic (FSIA) and suffers from several limitations mentioned in [16].

    View all citing articles on Scopus
    View full text