Review Special Issues

Methods to study microbial adhesion on abiotic surfaces

  • Microbial biofilms are a matrix of cells and exopolymeric substances attached to a wet and solid surface and are commonly associated to several problems, such as biofouling and corrosion in industries and infectious diseases in urinary catheters and prosthesis. However, these cells may have several benefits in distinct applications, such as wastewater treatment processes, microbial fuel cells for energy production and biosensors. As microbial adhesion is a key step on biofilm formation, it is very important to understand and characterize microbial adhesion to a surface. This study presents an overview of predictive and experimental methods used for the study of bacterial adhesion. Evaluation of surface physicochemical properties have a limited capacity in describing the complex adhesion process. Regarding the experimental methods, there is no standard method or platform available for the study of microbial adhesion and a wide variety of methods, such as colony forming units counting and microscopy techniques, can be applied for quantification and characterization of the adhesion process.

    Citation: Ana Meireles, Ana L. Gonçalves, Inês B. Gomes, Lúcia Chaves Simões, Manuel Simões. Methods to study microbial adhesion on abiotic surfaces[J]. AIMS Bioengineering, 2015, 2(4): 297-309. doi: 10.3934/bioeng.2015.4.297

    Related Papers:

    [1] Jiani Jin, Haokun Qi, Bing Liu . Hopf bifurcation induced by fear: A Leslie-Gower reaction-diffusion predator-prey model. Electronic Research Archive, 2024, 32(12): 6503-6534. doi: 10.3934/era.2024304
    [2] Maurıicio F. S. Lima, Jaume Llibre . Hopf bifurcation for a class of predator-prey system with small immigration. Electronic Research Archive, 2024, 32(7): 4604-4613. doi: 10.3934/era.2024209
    [3] Jialu Tian, Ping Liu . Global dynamics of a modified Leslie-Gower predator-prey model with Beddington-DeAngelis functional response and prey-taxis. Electronic Research Archive, 2022, 30(3): 929-942. doi: 10.3934/era.2022048
    [4] Ruizhi Yang, Dan Jin . Dynamics in a predator-prey model with memory effect in predator and fear effect in prey. Electronic Research Archive, 2022, 30(4): 1322-1339. doi: 10.3934/era.2022069
    [5] Yujia Xiang, Yuqi Jiao, Xin Wang, Ruizhi Yang . Dynamics of a delayed diffusive predator-prey model with Allee effect and nonlocal competition in prey and hunting cooperation in predator. Electronic Research Archive, 2023, 31(4): 2120-2138. doi: 10.3934/era.2023109
    [6] Yuan Tian, Hua Guo, Wenyu Shen, Xinrui Yan, Jie Zheng, Kaibiao Sun . Dynamic analysis and validation of a prey-predator model based on fish harvesting and discontinuous prey refuge effect in uncertain environments. Electronic Research Archive, 2025, 33(2): 973-994. doi: 10.3934/era.2025044
    [7] Xianyi Li, Xingming Shao . Flip bifurcation and Neimark-Sacker bifurcation in a discrete predator-prey model with Michaelis-Menten functional response. Electronic Research Archive, 2023, 31(1): 37-57. doi: 10.3934/era.2023003
    [8] Yuan Tian, Yang Liu, Kaibiao Sun . Complex dynamics of a predator-prey fishery model: The impact of the Allee effect and bilateral intervention. Electronic Research Archive, 2024, 32(11): 6379-6404. doi: 10.3934/era.2024297
    [9] Xuemin Fan, Wenjie Zhang, Lu Xu . Global dynamics of a predator-prey model with prey-taxis and hunting cooperation. Electronic Research Archive, 2025, 33(3): 1610-1632. doi: 10.3934/era.2025076
    [10] Yichao Shao, Hengguo Yu, Chenglei Jin, Jingzhe Fang, Min Zhao . Dynamics analysis of a predator-prey model with Allee effect and harvesting effort. Electronic Research Archive, 2024, 32(10): 5682-5716. doi: 10.3934/era.2024263
  • Microbial biofilms are a matrix of cells and exopolymeric substances attached to a wet and solid surface and are commonly associated to several problems, such as biofouling and corrosion in industries and infectious diseases in urinary catheters and prosthesis. However, these cells may have several benefits in distinct applications, such as wastewater treatment processes, microbial fuel cells for energy production and biosensors. As microbial adhesion is a key step on biofilm formation, it is very important to understand and characterize microbial adhesion to a surface. This study presents an overview of predictive and experimental methods used for the study of bacterial adhesion. Evaluation of surface physicochemical properties have a limited capacity in describing the complex adhesion process. Regarding the experimental methods, there is no standard method or platform available for the study of microbial adhesion and a wide variety of methods, such as colony forming units counting and microscopy techniques, can be applied for quantification and characterization of the adhesion process.


    Abbreviations: FFIDDCs: fuzzy fractional implicit delay differential coupled systems; TFFs: triangular fuzzy functions; MDs: membership degrees; IVP: initial value problem; FDDEs: fuzzy delay differential equations; FDEs: fractional differential equations; DFDEs: fractional differential equations with time delay; FFDEs: fuzzy fractional differential equations; FCFDIVP: fuzzy coupled fractional initial value problem with delays; MF: membership function; TFN: triangular fuzzy number

    In an ecosystem, there exist universally competitions between two species, which is very important. And they tend to interact with each other so that there are some relationships such as predation or symbiosis among them (i.e. coupled systems) (see [9,39]). In addition, the delay and ambiguity may appear because of different reasons such as physical properties of equipment used in the system, signal transmission or measurement of system variables (see [14]), so we need to take them into account. Thus, in this paper, motivated by the work of Dong et al. [13] and Fatullayev et al. [14], we come up with the following problem of fuzzy fractional implicit delay differential coupled systems (FFIDDCs):

    $ {cDαx(t)=m1(t)y(tτ)+~F1(t,y(t),cDαx(t)),t>0,cDβy(t)=m2(t)x(tτ)+~F2(t,x(t),cDβy(t)),t>0,x(t)=~Φ1(t),τt0,y(t)=~Φ2(t),τt0,
    $
    (1.1)

    and explore existence and uniqueness result of solution for the FFIDDC (1.1), where $ ^{c}D^{\alpha}f(t) $ denotes $ \alpha $-order Caputo fractional derivative of function $ f(t)\in C_\alpha^1 $ for $ 0 < \alpha < 1 $ (see [22]), $ \tau $ is the value of time delay, $ \widetilde{\Phi_{1}}(t) $ and $ \widetilde{\Phi_{2}}(t) $ are triangular fuzzy functions (TFFs) defined on $ [-\tau, 0] $, $ \widetilde{F_{1}}(t, y(t), ^{c}D^{\alpha}x(t)) $ and $ \widetilde{F_{2}}(t, x(t), ^{c}D^{\beta}y(t)) $ are also TFFs defined on $ (0, \infty)\times {\mathbb R} \times {\mathbb R} $, and $ m_{1}(t) $ and $ m_{2}(t) $ are continuous crisp functions. The concept of TFFs used in this paper was first proposed by Gasilov et al. [17], then it has been widely employed [7,16,27]. Unlike in the past, Gasilov et al. [17] thought that a fuzzy function is a fuzzy bunch of real functions rather than a fuzzy number-valued function. Each of these real functions has a certain membership degree. The new concept of TFFs broadened the way (see [14]), and so we deal with fuzzy functions and fuzzy problems.

    Remark 1.1. In this paper, we consider the problem with Caputo fractional derivative, which is based on Riemann-Liouville fractional derivative [22]. We note that for temporal variable, the Caputo fractional derivative has been widely recognized in real application. For example, the Caputo fractional derivative of a constant is $ 0 $, but in the case of finite number at the lower limit of the interval, the Riemann-Liouville fractional derivative of a constant is not equal to $ 0 $. And the initial conditions given by Riemann-Liouville method cannot be explained physically. For more related work, see [28,34]. However, can one discuss the existence and uniqueness results for the solutions of the FFIDDC (1.1) with Riemann-Liouville fractional derivative or Hadamard fractional derivative? These are usually presented as important and significative problems in future research.

    Some special cases of the FFIDDC (1.1) are listed as follows:

    (i) If $ \tau = 0, 0\leq t\leq 1 $ and $ \alpha_{j} = 1 $, where $ \alpha_{j} $ is the membership degrees (MDs) of $ \widetilde{F_{j}} $ for $ j = 1, 2 $, the FFIDDC (1.1) can be rewritten as the problem investigated by Dong et al. [13]:

    $ {cDαx(t)=f(t,y(t),cDαx(t)),0t1,cDβy(t)=g(t,x(t),cDβy(t)), 0t1,x(0)=x(0),y(0)=y(0).
    $

    Making full use of fixed point theorem and the vector form of Gronwall inequality, Dong et al. [13] gained existence and uniqueness of solution to the initial value problem (IVP), and discussed the estimation of the solution.

    (ii) If $ \alpha = \beta = 1 $, the FFIDDC (1.1) reduces to the following fuzzy implicit delay differential coupled systems:

    $ {x(t)=m1(t)y(tτ)+~F1(t,y(t),x(t)),t>0,y(t)=m2(t)x(tτ)+~F2(t,x(t),y(t)),t>0,x(t)=~Φ1(t),τt0,y(t)=~Φ2(t),τt0,
    $
    (1.2)

    which is brand new and is worth studying in the future.

    We note that the system (1.2) is an extension of the linear inhomogeneous fuzzy delay differential equations (FDDEs) considered by Fatullayev et al. [14]:

    $ {x(t)=n(t)x(t)+m(t)x(tτ)+˜F(t),t>0,x(t)=˜Φ(t),τt0.
    $

    The authors presented a method to represent the solution of FDDE as a fuzzy set of real functions, and proved existence and uniqueness of solution for FDDE involving TFFs. Furthermore, Fatullayev et al. [14] showed clearly that the proposed method can be extended to the system of FDDEs by using the research results of Gasilov and Amrahov [15]. The purpose of this paper is to discuss existence and uniqueness of solution for the FFIDDC (1.1).

    Comparing with the simpler integer-order differential equations, fractional differential equations (FDEs) have more wide applications and play an important role in engineering, physics, finance and other fields. Nowadays, FDEs have been used to more accurately describe the dynamics of many systems when several complex phenomena in numerous seemingly diverse and widespread fields of science and engineering is modeled and investigated. See, for example, [3,6,22,28,34] and references therein. In addition, to study ecosystem problems in biology, one often discovers that an ecosystem does not have only a single species. That is to say, there must be multiple species, so there exists competition among them and coupling is taken into account (see [9,39]). Coupling relationship refers to the interaction and mutual influence between two or more objects. In fact, the coupled systems of FDEs have been studied by multitudinous researchers. See, for example, [2,38] and the references cited therein. Recently, by applying standard fixed point theorems for multivalued maps, existence of solutions for coupled systems of fractional differential inclusions with coupled boundary conditions was obtained by Ahmad et al. [5].

    In science and engineering and other practical applications, time delay usually occurs on account of manual measurement, signal transmission, aging of equipments and so on (see [30]). Thereby, in recent years, the scholars have been interested in solving the fractional differential equations with time delay (DFDEs) (see, for instance, [30,35] and the references therein). Brzdek and Eghbali [10] considered the Ulam's stability of DFDEs and also proved that under some appropriate assumptions, each approximate solution of DFDEs is close to its only exact solution. In order to acquire existence of solutions for a time dependent delay differential equation with constant delay, Tabassum et al. [33] extended the previous approaches about fuzzy weakly contraction mapping principle. Of course, there are not just one type of FDEs, whether they are linear or nonlinear. And the common ones are Caputo type, Riemann-Liouville type and Hadamard type (see [11,21,36]). Moreover, the delay is not necessarily finite, it can be also infinite. Some researchers dedicated themselves to the study of FDEs with infinite delay. Banach fixed point theorem and the nonlinear alternative of Leray-Schauder type initiated by Granas and Dugundji [18], had been utilized by Benchohra et al. [8] to investigate existence results of FDEs with infinite delay.

    Certainly, in actual application, there are not only time delay, but also exists the possibility of ambiguity. Thus, one needs to take the fuzzy into account, and then the fuzzy fractional differential equations (FFDEs) are proposed. Agarwal et al. [1] put forward a notion of fuzzy Riemann-Liouville differentiability based on Hukuhara differentiability, which can be employed to solve the IVPs of FFDEs. After that, many investigators have extended the concepts and expression forms of FFDEs, and bent themselves to obtain existence and uniqueness of solution for FFDEs. These theories are also well applied in real life. See, for example, [24,25,29] and the references therein. As Fatullayev et al. [14] pointed out, "the types of fuzzy items are more important than their numbers when a fuzzy problem needs to be solved". In fact, we can easily deal with $ n $-th order homogeneous linear differential equations with fuzzy initial values (i.e. the problem with $ n $ fuzzy inputs) by using Zadeh's extension principle. But if a fuzzy forcing function appears in the problem, even for the delay differential equation of first order (i.e. with 2 fuzzy inputs), it will be indistinct how to use the principle.

    It is well know that explicit equations are special cases of implicit equations, and the implicit equations are more general (see [12]). Cubiotti and Yao [12] introduced and studied a class of implicit second-order ordinary differential equations with known endpoint values. They also proved existence results under two conditions. However, as Hoa and Vu [21] stated briefly, "to the best of our knowledge, there exists no literature devoted to the uncertain fractional implicit differential equation in the fuzzy setting with the concepts of Riemann-Liouville, Caputo, Hadamard fractional derivatives". And then, Hoa and Vu [21] proposed some existence results for solutions of the fuzzy fractional implicit differential equations associated with the fuzzy Caputo-type, fuzzy Riemann-Liouville-type and fuzzy Hadamard-type concepts of fractional derivative, respectively. Very recently, Son and Dong [31] proposed global existence and some properties of solutions for the nonlocal problem of implicit fuzzy fractional differential systems. For more work on various forms of implicit FDE models, one can refer to [26,19,20] and the references therein.

    The major methods of this paper are as follows:

    (i) We generalize TFF (Definition 2.1 of [17]) to a group of TFFs (see Example 2.1).

    (ii) To solve the FFIDDC (1.1), we use the method of steps proposed by Fatullayev et al. [14]. Firstly, we figure out the solution of the FFIDDC (1.1) on interval $ [0, \tau] $. Afterwards, we similarly find the solution on interval $ [\tau, 2\tau] $. And as we go along, eventually, the solution on interval $ [0, +\infty) $ can be obtained.

    (iii) Because of the fuzzy coupled fractional initial value problem with delays (FCFDIVP) (3.1), which is the identical transformation of the FFIDDC (1.1), is linear, the superposition principle can be used to work out it. As a consequence, we can decompose the FCFDIVP (3.1) into three subproblems (3.4)-(3.6) and solve them separately.

    The remainder of this paper is organized as follows. The necessary preliminaries about the fuzzy theory that we are going to use are listed in Section 2. In Section 3, we introduce the concept of solution for the FFIDDC (1.1) and describe how to get it. Ultimately, a solution algorithm is proposed. In Section 4, we present an example to show that the hypotheses in all theorems can be met. Finally, in Section 5, we summarize the research results of this paper, and provide the content that one can study in the future.

    Based on the work of Zadeh [37], we define a fuzzy set $ \widetilde{A} $ as a pair of the universal set $ U $ and the membership function (MF) $ \mu:U\rightarrow[0, 1] $. The MF of a fuzzy set $ \widetilde{A} $ can be denoted as $ \mu_{\widetilde{A}} $. For each $ x\in U $, the numerical value $ \mu_{\widetilde{A}}(x) $ is called the MD of $ x $ in $ \widetilde{A} $. The crisp set $ supp(\widetilde{A}) = \{x\in U\mid\mu_{\widetilde{A}}(x) > 0\} $ is called the support of $ \widetilde{A} $.

    After that, let $ U $ be the set of real numbers $ {\mathbb R} $, and $ a, c $ and $ b $ be real numbers which meet $ a\leq c\leq b $. Then the set $ \widetilde{u} $ with MF

    $ μ(x)={xaca, a<x<c,1,x=c,bxbc, c<x<b,0,otherwise
    $

    is called a triangular fuzzy number (TFN) and we denote it as $ \widetilde{u} = (a, c, b) $. On the grounds of the geometric interpretation, the number $ c $ is called the vertex of $ \widetilde{u} $, we denote $ \underline{u} = a $ and $ \overline{u} = b $ to represent the left and the right end-points of $ \widetilde{u} $, respectively. Frequently, we express $ \widetilde{u} = (a, c, b) $ as $ \widetilde{u} = u_{cr}+\widetilde{u}_{un} $. Here, $ u_{cr} = c $ is the crisp part and $ \widetilde{u}_{un} = (a-c, 0, b-c) $ is the uncertain part of $ \widetilde{u} $.

    It is also useful to represent the fuzzy sets though their $ \alpha $-$ cuts $. For each $ \alpha\in(0, 1] $, the crisp set $ A_{\alpha} = \{x\in U\mid \mu_{\widetilde{A}}(x)\geq \alpha\} $ is called the $ \alpha $-$ cut $ of $ \widetilde{A} $. For $ \alpha = 0 $, the $ A_{0} = closure(supp(\widetilde{A})) $.

    For the TFN $ \widetilde{u} = (a, c, b) $, the $ \alpha $-$ cuts $ are intervals $ u_{\alpha} = [\underline{u_{\alpha}}, \overline{u_{\alpha}}] $, where $ \underline{u_{\alpha}} = a+\alpha(c-a) $ and $ \overline{u_{\alpha}} = b+\alpha(c-b) $. These formulas can be rewritten as $ \underline{u_{\alpha}} = c+(1-\alpha)(a-c) $ and $ \overline{u_{\alpha}} = c+(1-\alpha)(b-c) $. Therefore, $ u_{\alpha} = [\underline{u_{\alpha}}, \overline{u_{\alpha}}] = c+(1-\alpha)[a-c, b-c] $. From here we can see that an $ \alpha $-$ cut $ is homothetic to $ [a, b] $ (which is the $ 0 $-$ cut $) with center $ c $ and with ratio $ (1-\alpha) $.

    There are different notions about the fuzzy functions. In this study, we use the concept of the fuzzy function which was brought forward by Gasilov et al. [17], namely, fuzzy function is a bunch of fuzzy real functions. As a value $ \widetilde{F}(t) $ of a fuzzy bunch $ \widetilde{F} $ at time $ t $, we understand the fuzzy set, which elements are the values of the real functions at $ t $, with the higher MD of the corresponding functions. Mathematically,

    $ μ˜F(t)(x)=α  y():(μ˜F(y)=αy(t)=x)z():(μ˜F(z)>αz(t)x),
    $

    where "$ \wedge $" and "$ \rightarrow $" are the logical conjunction and implication symbols, respectively.

    Definition 2.1. ([17]) Let U be set of continuous functions defined on an interval I, and $ F_{a}(\cdot), F_{c}(\cdot), F_{b}(\cdot)\in U $. We call the fuzzy subset $ \widetilde{F} $ of U, determined by the MF as follows:

    $ μ˜F(y())={α,y=Fa+α(FcFa)and0<α1,α,y=Fb+α(FcFb)and0<α1,0,otherwise,
    $

    as TFF and denote it as $ \widetilde{F} = \langle F_{a}, F_{c}, F_{b}\rangle $.

    According to this definition, a TFF is a fuzzy set (or, fuzzy bunch) of real functions. Among them only two functions have the MD $ \alpha $: the functions $ y_{1} = F_{a}+\alpha(F_{c}-F_{a}) $ and $ y_{2} = F_{b}+\alpha(F_{c}-F_{b}) $.

    Referring to the example of TFF given by Gasilov et al. [16], we give the following example of a group of TFFs.

    Example 2.1. In Figure 1, we depict a group of TFFs as

    Figure 1.  A group of TFFs.
    $ {~F1=F1a,F1c,F1b~F2=F2a,F2c,F2b
    $

    where

    $ F_{1a}(t) = -t^{2}+5\, t-4 $ $($MD is $ 0 $, the black curve that is at bottom on $ [0, 1] $ and at upper on $ [1,2] )$;

    $ F_{1c}(t) = 0.5\, t^{2}-1.5\, t+1 $ $($MD is $ 1 $, the black dashed line);

    $ F_{1b}(t) = t^{2}-5\, t+4 $ $($MD is $ 0 $, the black curve that is at upper on $ [0, 1] $ and at bottom on $ [1,2]) $;

    $ F_{2a}(t) = -2\, t^{2}+4\, t-2 $ $($MD is $ 0 $, the blue curve that is at bottom on $ [0, 2]) $;

    $ F_{2c}(t) = t^{2}-2\, t+1 $ $($MD is $ 1 $, the blue dashed line$)$;

    $ F_{2b}(t) = 2\, t^{2}-4\, t+2 $ $($MD is $ 0 $, the blue curve that is at upper on $ [0, 2]) $.

    The TFF $ \widetilde{F_{1}} $ with MDs $ 0.7 $ and $ 0.3 $ are depicted by red dotted and dashed-dotted lines, respectively. And the TFF $ \widetilde{F_{2}} $ with MDs $ 0.7 $ and $ 0.3 $ are described by cyan dotted and dashed-dotted lines which are marked, respectively.

    The value of a TFF at a time $ t\in I $ can be expressed by the following formula:

    $ ˜F(t)=(min{Fa(t),Fc(t),Fb(t)},Fc(t),max{Fa(t),Fc(t),Fb(t)}).
    $

    We can easily find out that this value is a TFN, and a TFF $ \widetilde{F} = \langle F_{a}, F_{b}, F_{c}\rangle $ is not a fuzzy number-valued function. Actually, it is a fuzzy subset of the universe of continuous functions. Each element of this fuzzy subset is a real function with a certain MD.

    If $ F_{a}(t)\leq F_{c}(t)\leq F_{b}(t) $ for all $ t\in I $, then the TFF $ \widetilde{F} = \langle F_{a}, F_{c}, F_{b}\rangle $ is regular TFF on $ I $, and we have $ \widetilde{F}(t) = (F_{a}(t), F_{c}(t), F_{b}(t)) $. Further, when a TFF $ \widetilde{F} $ is not regular, we call it as non-regular TFF. It means that for a non-regular TFF, in general, $ \widetilde{F}(t)\neq (F_{a}(t), F_{c}(t), F_{b}(t)) $. And the graphs of functions $ F_{a}, F_{c} $ and $ F_{b} $ can interchanged as $ t $ goes. In Figure 1, the TFFs $ \widetilde{F_{1}} $ and $ \widetilde{F_{2}} $ are non-regular and regular on $ [0, 2] $, respectively. Without loss of generality, no matter regular TFFs or non-regular TFFs, main results and the algorithm in this paper are all valid. In the sequel, we assume that TTFs are regular.

    Now, we will consider the FFIDDC (1.1) in this section. With respect to the FFIDDC (1.1), we can solve it by using the method of steps introduced by Fatullayev et al. [14].

    First of all, we deal with the FFIDDC (1.1) on interval $ [0, \tau] $. Because $ x(t-\tau) = \widetilde{\Phi_{1}}(t-\tau), y(t-\tau) = \widetilde{\Phi_{2}}(t-\tau) $ for $ t\in[0, \tau] $, the FFIDDC (1.1) is equivalent to FCFDIVP as follows:

    $ {cDαx(t)=~G1(t,y(t),cDαx(t)),cDβy(t)=~G2(t,x(t),cDβy(t)),x(0)=~Φ1(0),y(0)=~Φ2(0),
    $
    (3.1)

    where

    $ ~G1(t,y(t),cDαx(t))=m1(t)~Φ2(tτ)+~F1(t,y(t),cDαx(t)),~G2(t,x(t),cDβy(t))=m2(t)~Φ1(tτ)+~F2(t,x(t),cDβy(t)).
    $

    Thus, we transform the FCFDIVP (3.1) in matrix form:

    $ {DZ(t)=˜G(),Z(0)=˜Φ(0).
    $
    (3.2)

    Here, $ Z(t) = \left(x(t)y(t)

    \right) $, $ D = \left(cDα00cDβ
    \right) $, $ \widetilde{G}(\cdot) = \left(~G1(t,y(t),cDαx(t))~G2(t,x(t),cDβy(t))
    \right) $ and $ \widetilde{\Phi}(0) = \left(~Φ1(0)~Φ2(0)
    \right). $

    Definition 3.1. For the problem $(3.2)$, the fuzzy set $ \widetilde{Z} $ with MF

    $ μ˜Z(Z())=min{μ˜Φ(ϕ(0)),μ˜G(DZ(t))}
    $
    (3.3)

    is called to be a solution of the problem $(3.2)$, which is also a solution to the FCFDIVP $(3.1)$, where $ \phi(0) = Z(0) $.

    As for the formula (3.3), let $ Z(t) $ be a functional matrix. We determine $ \phi(0) = Z(0) $ for $ t\in[0, \tau] $ and calculate $ \mu_{1}\triangleq \mu_{\widetilde{\Phi}}(\phi(0)) $. After that, we compute $ g(\cdot) = D\cdot Z(t) $ on interval $ [0, \tau] $ and determine $ \mu_{2}\triangleq \mu_{\widetilde{G}}(g(\cdot)) $. Finally, we calculate the MD $ \mu $ as $ \mu = \min\{\mu_{1}, \mu_{2}\} $. We assign the number $ \mu $ as the MD of $ Z(t) $. We define the set of all functional matrices such as $ Z(t) $ with their MDs $ \mu $ as the fuzzy solution $ \widetilde{Z} $.

    According to Definition 3.1., the solution $ \widetilde{Z} $ is a fuzzy bunch of real functional matrices, which consists of functional matrices such as $ Z(t) $. If a functional matrix $ Z(t) $ satisfies

    $ {DZ(t)=g(),Z(0)=ϕ(0)
    $

    for some functional matrices $ g\in supp(\widetilde{G}) $ and $ \phi(0)\in supp(\widetilde{\Phi}(0)) $, then it has a positive MD.

    Let us represent $ \widetilde{G_{1}} = g_{1cr}+\widetilde{g_{1}} $ (crisp part + uncertainty), where $ g_{1cr} = G_{1c} $ and $ \widetilde{g_{1}} = \langle g_{1a}, 0, g_{1b}\rangle = \langle G_{1a}-G_{1c}, 0, G_{1b}-G_{1c}\rangle $. Similarly, $ \widetilde{G_{2}} = g_{2cr}+\widetilde{g_{2}} $, here $ g_{2cr} = G_{2c} $ and $ \widetilde{g_{2}} = \langle g_{2a}, 0, g_{2b}\rangle $.

    Assume that $ \widetilde{\Phi_{1}} $ and $ \widetilde{\Phi_{2}} $ are regular TFFs. Then $ \widetilde{\Phi_{1}}(0) $ and $ \widetilde{\Phi_{2}}(0) $ are TFNs. Further, $ \widetilde{\Phi_{1}}(0) = \phi_{1cr}(0)+\widetilde{\phi_{1}}(0) $, here $ \phi_{1cr}(0) = \Phi_{1c}(0) $ and $ \widetilde{\phi_{1}}(0) = (\phi_{1a}(0), 0, \phi_{1b}(0)) = (\Phi_{1a}(0)-\Phi_{1c}(0), 0, \Phi_{1b}(0)-\Phi_{1c}(0)) $. In the same way, $ \widetilde{\Phi_{2}}(0) = \phi_{2cr}(0)+\widetilde{\phi_{2}}(0) $, here $ \phi_{2cr}(0) = \Phi_{2c}(0) $ and $ \widetilde{\phi_{2}}(0) = (\phi_{2a}(0), 0, \phi_{2b}(0)) $.

    Since the FCFDIVP (3.1) is linear, we can solve it using the superposition principle. This follows that in order to find the solution of the FCFDIVP (3.1), we can separately consider the following subproblems:

    (1) The associated crisp problem:

    $ {cDαx(t)=g1cr(t,y(t),cDαx(t)),cDβy(t)=g2cr(t,x(t),cDβy(t)),x(0)=ϕ1cr(0),y(0)=ϕ2cr(0).
    $
    (3.4)

    (2) The problem with initial TFFs:

    $ {cDαx(t)=0,cDβy(t)=0,x(0)=~ϕ1(0),y(0)=~ϕ2(0).
    $
    (3.5)

    (3) The problem with fuzzy source functions and zero initial functions:

    $ {cDαx(t)=~g1(t,y(t),cDαx(t)),cDβy(t)=~g2(t,x(t),cDβy(t)),x(0)=0,y(0)=0.
    $
    (3.6)

    By solving the above three subproblems (3.4)-(3.6), the solution of the FFIDDC (1.1) on interval $ [0, \tau] $ can be obtained. Similarly, at the next step, we can find the solution on interval $ [\tau, 2\tau] $. Hence, we can conclude that the solution of the FFIDDC (1.1) exists for $ t\in[0, \infty) $ using the method of steps [14].

    In the sequel, we make clear how to solve each of these three subproblems (3.4)-(3.6).

    To solve the problem (3.4), we provide the following theorem.

    Theorem 3.1. For the problem $(3.4)$, we can get a unique solution to it, which is denoted as $ Z_{cr}(t) = \left(xcr(t)ycr(t)

    \right) $, when the following conditions fulfill:

    $ (H_{1}) $ $ g_{1cr}, g_{2cr}: [0, \tau]\times {\mathbb R}\times {\mathbb R}\rightarrow {\mathbb R} $ are continuous.

    $ (H_{2}) $ There exist constants $ K_{i}, L_{i}\in (0, 1) $ for $ i = 1, 2 $ such that

    $ 0 < \max\left\{K_{2}+\dfrac{K_{1}}{\Gamma(\beta+1)}, \, L_{2}+\dfrac{L_{1}}{\Gamma(\alpha+1)}\right\} < 1 $

    and for each $ x_{1}, x_{2}, y_{1}, y_{2}\in {\mathbb R} $,

    $ g1cr(t,x1,y1)g1cr(t,x2,y2)∣≤K1x1x2+K2y1y2,g2cr(t,x1,y1)g2cr(t,x2,y2)∣≤L1x1x2+L2y1y2.
    $

    Proof. The proof is similar to Theorem 3.1 of Dong et al. [13] and it is omitted.

    In this subsection, we will give solvability of the problem (3.5) as follows.

    Theorem 3.2. Consider the problem $(3.5)$, where $ \widetilde{\phi_{1}}(0) = (\phi_{1a}(0), 0, \phi_{1b}(0)), \widetilde{\phi_{2}}(0) = (\phi_{2a}(0), 0, \phi_{2b}(0)) $. If $ Z_{a}(t) = \left(xa(t)ya(t)

    \right) $ and $ Z_{b}(t) = \left(xb(t)yb(t)
    \right) $ are solutions of the problem

    $ {cDαx(t)=0,cDβy(t)=0,x(0)=ϕ1(0),y(0)=ϕ2(0)
    $
    (3.7)

    for $ \left(ϕ1(0)ϕ2(0)

    \right) = \left(ϕ1a(0)ϕ2a(0)
    \right) $ and $ \left(ϕ1(0)ϕ2(0)
    \right) = \left(ϕ1b(0)ϕ2b(0)
    \right) $, respectively, then the problem $(3.5)$ has a unique solution $ \widetilde{Z_{\phi}} $, which is a TFF matrix given by

    $ ~Zϕ=Za,0,Zb.
    $
    (3.8)

    Proof. On the one hand, according to Definition 3.1., it is easy for us to know that each $ Z(t) $ with non-zero MD from the bunch $ \widetilde{Z_{\phi}} $ is a solution of the problem (3.7) for some $ \left(ϕ1(0)ϕ2(0)

    \right) $ from $ \left(~ϕ1(0)~ϕ2(0)
    \right) $.

    On the other hand, in terms of Definition 2.1, the bunch $ \widetilde{\phi_{1}} = \langle \phi_{1a}, 0, \phi_{1b}\rangle $ consists of functions $ k\phi_{1a} $ and $ k\phi_{1b} $ $ \left([0, 1]\ni k = 1-\alpha\right) $ owing to $ \phi_{1c} = 0 $. And the bunch $ \widetilde{\phi_{2}} = \langle\phi_{2a}, 0, \phi_{2b}\rangle $ is similar to the former.

    Moreover, if a Z(t) is a solution of the problem (3.7), then $ kZ(t) $ is a solution of the same equation with $ \left(kϕ1(0)kϕ2(0)

    \right) $ taken instead of $ \left(ϕ1(0)ϕ2(0)
    \right) $.

    From the above reasoning we can get the conclusion that the bunch $ \widetilde{Z_{\phi}} $ consists of $ kZ_{a} $ and $ kZ_{b} $. Therefore, the bunch $ \widetilde{Z_{\phi}} $ is a TFF matrix determined to be $ \widetilde{Z_{\phi}} = \langle Z_{a}, 0, Z_{b}\rangle $.

    Actually, we can get the solutions $ Z_{a}(t) = \left(ϕ1a(0)ϕ2a(0)

    \right) $ and $ Z_{b}(t) = \left(ϕ1b(0)ϕ2b(0)
    \right) $.

    We can express the value of the TFF matrix $ \widetilde{Z_{\phi}} $ (3.8) at a time $ t $ by the formula $ \widetilde{Z_{\phi}}(t) = (\min\{Z_{a}(t), 0, Z_{b}(t)\}, 0, \max\{Z_{a}(t), 0, Z_{b}(t)\}) $. Note that this value is a matrix of TFNs.

    As for the solution of the problem (3.6), we give the theorem as follows.

    Theorem 3.3. In the problem $(3.6)$, assume $ \widetilde{g_{1}} = \langle g_{1a}, 0, g_{1b}\rangle, \widetilde{g_{2}} = \langle g_{2a}, 0, g_{2b}\rangle $, where $ \left(g1ag2a

    \right) $ and $ \left(g1bg2b
    \right) $ separately
    satisfy the conditions $ (H_{1}) $ and $ (H_{2}) $ of Theorem 3.1. If $ Z_{u}(t) = \left(xu(t)yu(t)
    \right) $ and $ Z_{v}(t) = \left(xv(t)yv(t)
    \right) $ are solutions of the following problem:

    $ {cDαx(t)=g1(t,y(t),cDαx(t)),cDβy(t)=g2(t,x(t),cDβy(t)),x(0)=0,y(0)=0
    $
    (3.9)

    for $ \left(g1g2

    \right) = \left(g1ag2a
    \right) $ and $ \left(g1g2
    \right) = \left(g1bg2b
    \right) $ in several, then the problem $(3.6)$ has a unique solution $ \widetilde{Z_{g}} $, which is a TFF matrix given by

    $ ~Zg=Zu,0,Zv.
    $
    (3.10)

    Proof. Since $ g_{1a} $ and $ g_{2a} $ satisfy $ (H_{1}) $ and $ (H_{2}) $, it follows from Theorem 3.1 that there will be a unique solution when $ \left(g1g2

    \right) = \left(g1ag2a
    \right) $ in (3.9). By the same token, from the assumption for $ \left(g1g2
    \right) = \left(g1bg2b
    \right) $ in the problem (3.9), only one solution will exist in this case. Thus, the proof can be done by the same way as in Theorem 3.2.

    Thus, we can also express the value of the TFF matrix $ \widetilde{Z_{g}} $ (3.10) at a time $ t $ by $ \widetilde{Z_{g}}(t) = (\min\{Z_{u}(t), 0, Z_{v}(t)\}, 0, \max\{Z_{u}(t), 0, Z_{v}(t)\}) $, which is a matrix of TFNs.

    By integrating Theorems 3.1-3.3 above, we can obtain the following solution algorithm for solving the FFIDDC (1.1).

    Algorithm 3.1. Step 1. Using the method of steps and dealing with the FFIDDC $(1.1)$ on interval $ [0, \tau] $, transform the FFIDDC $(1.1)$ into the FCFDIVP $(3.1)$.

    Step 2. Represent the initial values and source functions as

    $ ~G1=g1cr+g1a,0,g1b,~G2=g2cr+g2a,0,g2b,~Φ1(0)=ϕ1cr(0)+(ϕ1a(0),0,ϕ1b(0)),~Φ2(0)=ϕ2cr(0)+(ϕ2a(0),0,ϕ2b(0)).
    $

    Step 3. Find the solution $ Z_{cr}(t) $ of the problem $(3.4)$.

    Step 4. Seek the solutions $ Z_{a}(t) $ and $ Z_{b}(t) $ of the problem $(3.7)$ in regard to $ \left(ϕ1(0)ϕ2(0)

    \right) = \left(ϕ1a(0)ϕ2a(0)
    \right) $ and $ \left(ϕ1(0)ϕ2(0)
    \right) = \left(ϕ1b(0)ϕ2b(0)
    \right) $, respectively, and define

    $ ~Zϕ(t)=(min{Za(t),0,Zb(t)},0,max{Za(t),0,Zb(t)}).
    $

    Step 5. Solve the problem $(3.9)$ and denote the solutions by $ Z_{u}(t) $ and $ Z_{v}(t) $, corresponding to $ \left(g1g2

    \right) = \left(g1ag2a
    \right) $ and $ \left(g1g2
    \right) = \left(g1bg2b
    \right) $, respectively, and let

    $ ~Zg(t)=(min{Zu(t),0,Zv(t)},0,max{Zu(t),0,Zv(t)}).
    $

    Step 6. Construct the unique solution of the FFIDDC $(1.1)$ on interval $ [0, \tau] $ as follows:

    $ ˜Z(t)=Zcr(t)+~Zϕ(t)+~Zg(t).
    $

    Similarly, we can find the unique solution on interval $ [\tau, 2\tau] $, $ \cdots $. In consequence, we obtain a unique solution of the FFIDDC (1.1) which exists at $ t\geq 0 $.

    In this section, referring to Example 1 in Fatullayev et al. [14], we take an example to clarify that the hypotheses in Theorems 3.1-3.3 can be satisfied, which can be also employed to verify the main results presented in Dong et al. [13].

    Example 4.1. Let us solve the problem

    $ {cD12x(t)=costy(tπ2)+~F1(t,y(t),cD12x(t)),t>0,cD12y(t)=sintx(tπ2)+~F2(t,x(t),cD12y(t)),t>0,x(t)=~Φ1(t),π2t0,y(t)=~Φ2(t),π2t0,
    $
    (4.1)

    where

    $ ~F1=f1cr+f1a,0,f1b,~F2=f2cr+f2a,0,f2b,~Φ1=ϕ1cr+ϕ1a,0,ϕ1b,~Φ2=ϕ2cr+ϕ2a,0,ϕ2b
    $

    with

    $ f1cr=0.5siny(t)+103sincD12x(t),f2cr=0.7sinx(t)103sincD12y(t),f1a=0.15sintcost, f1b=0.15sintcost,f2a=0.15sintcost,f2b=0.15sintcost,ϕ1cr=cost, ϕ1a=0.15sint0.25cost, ϕ1b=0.15sint+0.25cost,ϕ2cr=sint, ϕ2a=0.15cost0.25sint, ϕ2b=0.15cost+0.25sint.
    $

    In the sequel, we only deal with the problem (4.1) on interval $ \left[0, \dfrac{\pi}{2}\right] $. The unique solution on interval $ [\tau, 2\tau] $, $ \cdots $ can be likewise found.

    Firstly, the problem (4.1) can be transformed as the problem

    $ {cD12x(t)=~G1(t,y(t),cD12x(t)),cD12y(t)=~G2(t,x(t),cD12y(t)),x(0)=~Φ1(0),y(0)=~Φ2(0),
    $
    (4.2)

    where

    $ ~G1(t,y(t),cD12x(t))=cost~Φ2(tπ2)+~F1(t,y(t),cD12x(t)),~G2(t,x(t),cD12y(t))=sint~Φ1(tπ2)+~F2(t,x(t),cD12y(t)).
    $

    Then, after performing some arithmetics, one can get

    $ ~G1=g1cr+g1a,0,g1b,~G2=g2cr+g2a,0,g2b,~Φ1(0)=ϕ1cr(0)+~ϕ1(0),~Φ2(0)=ϕ2cr(0)+~ϕ2(0),
    $

    where

    $ g1cr=cos2t0.5siny(t)+103sincD12x(t),g2cr=sin2t+0.7sinx(t)103sincD12y(t),g1a=0.25cos2t,g1b=0.25cos2t,g2a=0.25sin2t,g2b=0.25sin2t,ϕ1cr(0)=1,~ϕ1(0)=(0.25,0,0.25),ϕ2cr(0)=0,~ϕ2(0)=(0.15,0,0.15).
    $

    Next, we respectively solve the three subproblems of the problem (4.2) on $ \left[0, \dfrac{\pi}{2}\right] $ one by one.

    (i) With respect to $ g_{1cr} $ and $ g_{2cr} $, we can rewrite them in another forms:

    $ g1cr(t,u,v)=cos2t0.5sinu+103sinv,g2cr(t,m,n)=sin2t+0.7sinm103sinn,
    $

    where

    $ u=y(t),v=cD12x(t),m=x(t),n=cD12y(t).
    $

    We can easily see that $ g_{1cr}, g_{2cr}:[0, \dfrac{\pi}{2}]\times {\mathbb R}\times {\mathbb R}\rightarrow {\mathbb R} $ are continuous and satisfy $ (H_{1}) $.

    Moreover, taking $ K_{1} = 0.5 $, $ K_{2} = 10^{-3} $, $ L_{1} = 0.7 $ and $ L_{2} = 10^{-3} $, then we have

    $ max{K2+K1Γ(12+1),L2+L1Γ(12+1)}=max{103+0.5Γ(32),103+0.7Γ(32)}=max{0.5718,0.8000}=0.8000(0,1),
    $

    and

    $ g1cr(t,u1,v1)g1cr(t,u2,v2)∣≤K1u1u2+K2v1v2,g2cr(t,m1,n1)g2cr(t,m2,n2)∣≤L1m1m2+L2n1n2
    $

    for $ i = 1, 2 $ and any $ u_{i} $, $ v_{i} $, $ m_{i} $, $ n_{i}\in {\mathbb R} $. Hence, it is easy to see that $ (H_{2}) $ holds.

    To sum up, all the hypotheses $ (H_{1}) $ and $ (H_{2}) $ in Theorem 3.1 are satisfied and we can obtain a unique solution $ Z_{cr}(t) $, which is illustrated in Figure 2 to the following associated crisp subproblem via using the "L1 method" due to Li and Zeng [23]:

    $ {cD12x(t)=g1cr(t,y(t),cD12x(t))=cos2t0.5siny(t)+103sincD12x(t),cD12y(t)=g2cr(t,x(t),cD12y(t))=sin2t+0.7sinx(t)103sincD12y(t),x(0)=ϕ1cr(0)=1,y(0)=ϕ2cr(0)=0,
    $
    (4.3)
    Figure 2.  The crisp solutions (global).

    which is the first subproblem of the problem (4.2).

    From Figure 2, one can easily see that the order of magnitude of the ordinate value in Figure 2 is $ 10^8 $, and $ x_{cr} $ and $ y_{cr} $ established by relying on the "L1 method" discretization [23] of the Caputo fractional derivatives in (4.3), are growing very fast, and after iterating 43 times ($ t\approx 0.66 $), the values of $ x_{cr} $ and $ y_{cr} $ approach $ 1 $ and $ 27.88 $, respectively. Since the ordinate value of Figure 2 is too large to observe between $ t = 0.6 $ and $ t = 0.7 $, we give the local graph Figure 3 for the crisp discretized solutions to the problem (4.3) on the ordinate value interval $ \left[0, 100\right] $, which right endpoint is far less than that of the ordinate value interval $ [0, 4\times 10^8] $ in Figure 2. We note that Figure 3 locally shows the unique solution $ Z_{cr}(t) = \left(xcr(t)ycr(t)

    \right) = \left(127.88
    \right) $ of the problem (4.3) at $ t\approx 0.66\in \left[0, \dfrac{\pi}{2}\right] $.

    Figure 3.  The crisp solutions (ordinate local interval $ [0, 100] $).

    (ii) Solve the following crisp problem:

    $ {cD12x(t)=0,cD12y(t)=0,x(0)=ϕ1(0),y(0)=ϕ2(0)
    $

    for $ \left(ϕ1(0)ϕ2(0)

    \right) = \left(0.250.15
    \right) $ and $ \left(ϕ1(0)ϕ2(0)
    \right) = \left(0.250.15
    \right) $, and find the solutions $ Z_{a}(t) = \left(0.250.15
    \right) $ and $ Z_{b}(t) = \left(0.250.15
    \right) $, respectively.

    Letting $ \widetilde{\phi_{1}}(0) = (-0.25, 0, 0.25) $ and $ \widetilde{\phi_{2}}(0) = (-0.15, 0, 0.15) $, then it follows that the solution to the second subproblem of the problem (4.2) as hereunder mentioned:

    $ {cD12x(t)=0,cD12y(t)=0,x(0)=~ϕ1(0),y(0)=~ϕ2(0)
    $
    (4.4)

    is the TFF matrix $ \widetilde{Z_{\phi}} = \langle Z_{a}, 0, Z_{b}\rangle $, which is graphed in Figure 4, and one knows that

    $ \widetilde{Z_{\phi}}(t) = \left(\min\{Z_{a}(t), 0, Z_{b}(t)\}, 0, \max\{Z_{a}(t), 0, Z_{b}(t)\}\right). $
    Figure 4.  Uncertainty of the solutions with initial TFFs.

    Hence, Theorem 3.2 holds and there is one and only solution to the problem (4.4). Indeed, since the solutions $ Z_{a}(t) $ and $ Z_{b}(t) $ are all constant matrices in Figure 4, it is easy to see that the values of $ \widetilde{x_{\phi_{1}}} $ and $ \widetilde{y_{\phi_{2}}} $ are all constants when MD $ \alpha\in [0, 1] $ is determined. That is, the values of $ \widetilde{x_{\phi_{1}}} $ and $ \widetilde{y_{\phi_{2}}} $ remain constant as $ t $ increases. For example, $ \widetilde{x_{\phi_{1a}}} = 0.25 $, $ \widetilde{x_{\phi_{1b}}} = -0.25 $, $ \widetilde{y_{\phi_{2a}}} = 0.15 $ and $ \widetilde{y_{\phi_{2b}}} = -0.15 $ when $ \alpha = 0 $.

    (iii) Consider the following crisp problem:

    $ {cD12x(t)=g1(t,y(t),cD12x(t)),cD12y(t)=g2(t,x(t),cD12y(t)),x(0)=0,y(0)=0
    $

    for $ \left(g1g2

    \right) = \left(g1ag2a
    \right) $ and $ \left(g1g2
    \right) = \left(g1bg2b
    \right) $, and find the solutions $ Z_{u}(t) = \left(xu(t)yu(t)
    \right) $ and $ Z_{v}(t) = \left(xv(t)yv(t)
    \right) $, respectively. That is, one solves the following crisp problems:

    $ {cD12x(t)=g1a(t,y(t),cD12x(t))=0.25cos2t,cD12y(t)=g2a(t,x(t),cD12y(t))=0.25sin2t,x(0)=0,y(0)=0
    $
    (4.5)

    and

    $ {cD12x(t)=g1b(t,y(t),cD12x(t))=0.25cos2t,cD12y(t)=g2b(t,x(t),cD12y(t))=0.25sin2t,x(0)=0,y(0)=0.
    $
    (4.6)

    As for the problem (4.5), $ g_{1a} $ and $ g_{2a} $ can be written in following forms:

    $ g1a(t,u,v)=0.25cos2t,g2a(t,m,n)=0.25sin2t,
    $

    where

    $ u=y(t),v=cD12x(t),m=x(t),n=cD12y(t).
    $

    It is clear to find that $ g_{1a}, g_{2a}:[0, \dfrac{\pi}{2}]\times {\mathbb R}\times {\mathbb R}\rightarrow {\mathbb R} $ are continuous.

    On the other hand, let $ K_{1} = 0.4 $, $ K_{2} = 0.1 $, $ L_{1} = 0.6 $ and $ L_{2} = 0.2 $. Then

    $ max{K2+K1Γ(12+1),L2+L1Γ(12+1)}=max{0.1+0.4Γ(32),0.2+0.6Γ(32)}=max{0.5514,0.8770}=0.8770(0,1),
    $

    and for each $ u_{1} $, $ u_{2} $, $ v_{1} $, $ v_{2} $, $ m_{1} $, $ m_{2} $, $ n_{1} $, $ n_{2}\in {\mathbb R} $,

    $ g1a(t,u1,v1)g1a(t,u2,v2)∣≤K1u1u2+K2v1v2,g2a(t,m1,n1)g2a(t,m2,n2)∣≤L1m1m2+L2n1n2.
    $

    According to the above, all the hypotheses $ (H_{1}) $ and $ (H_{2}) $ hold. And that on the basis of Theorem 3.1, we can obtain the unique solution $ Z_{u}(t) $ to the last subproblem of the problem (4.2) involving fuzzy source functions and zero initial functions as follows:

    $ {cD12x(t)=g1a,0,g1b,cD12y(t)=g2a,0,g2b,x(0)=0,y(0)=0.
    $
    (4.7)

    Similarly, we can conclude that the problem (4.6) also has a unique solution $ Z_{v}(t) $. It follows that the solution to the problem (4.7) is the TFF matrix $ \widetilde{Z_{g}} = \langle Z_{u}, 0, Z_{v}\rangle $, which is depicted in Figure 5, and we have

    $ ~Zg(t)=(min{Zu(t),0,Zv(t)},0,max{Zu(t),0,Zv(t)}).
    $
    Figure 5.  Uncertainty of the solutions owing to fuzzy source functions.

    As a consequence, Theorem 3.3 holds and there is a unique solution to the problem (4.7). Moreover, it can be seen that, in Figure 5, the images of $ \widetilde{x_{g_{1}}} $ and $ \widetilde{y_{g_{2}}} $ are respectively symmetric when the corresponding MDs are chosen. For MD $ \alpha\in [0, 1) $, as $ t $ increases, the upper branch of $ \widetilde{x_{g_{1}}} $ firstly increases and then decreases ($ t\approx 0.69 $ is the turning point), and the upper branch of $ \widetilde{y_{g_{2}}} $ gets bigger and bigger. Especially, the values of $ \widetilde{x_{g_{1}}} $ and $ \widetilde{y_{g_{2}}} $ are constant $ 0 $ when the MD $ \alpha = 1 $. However, the ordinate value of Figure 5 is of order of magnitude $ 10^{-1} $ and very small compared with that in Figure 2, so it has little effect on the final solution $ \widetilde{Z}(t) $.

    In conclusion, by solving the problems (4.3), (4.4) and (4.7), it follows from Algorithm 3.1 that we can find the unique solution of the problem (4.1) on interval $ \left[0, \dfrac{\pi}{2}\right] $ as

    $ ˜Z(t)=Zcr(t)+~Zϕ(t)+~Zg(t),
    $

    which can be found from Figure 6. It is easy to note that the image of fuzzy solution $ \widetilde{Z}(t) $ in Figure 6 has a similar trend to that of the crisp solution $ Z_{cr}(t) $ in Figure 2. That is because when MD is fixed, the unique solution $ \widetilde{Z}(t) $ of the problem (4.1) is composed of three parts and the value of the crisp solution $ Z_{cr}(t) $ for the problem (4.3) is too large (order of magnitude $ 10^8 $ of the ordinate value for Figure 2). Further, since the ordinate value of Figure 6 is very big (order of magnitude $ 10^8 $) and the curves of $ \widetilde{x}, \widetilde{y} $ can not be distinguished obviously, a local graph Figure 7 of Figure 6 is given for the fuzzy solutions of the problem (4.1) when the ordinate value interval is restricted to $ \left[0, 30\right] $. Choosing specially MD $ \alpha = 0 $, we have $ \widetilde{x_{\phi_{1a}}} = 0.93 $, $ \widetilde{x_{\phi_{1b}}} = 1.07 $, $ \widetilde{y_{\phi_{2a}}} = 27.68 $ and $ \widetilde{y_{\phi_{2b}}} = 28.08 $.

    Figure 6.  The fuzzy solutions obtained by the proposed method (global).
    Figure 7.  The fuzzy solutions acquired by the proposed method (ordinate local interval $ [0, 30] $). And the black $ \alpha- $cuts of $ \widetilde{x} $: $ 0- $cut (continues lines), $ 1- $cut (dashed line); the blue $ \alpha- $cuts of $ \widetilde{y} $: $ 0- $cut (continues lines), $ 1- $cut (dashed line).

    Before the end of this section, we remark that the unique solution of the problem (4.1) on interval $ \left[\dfrac{\pi}{2}, \pi\right] $, $ \cdots $ can be found in the same way. Therefore, one can find the unique solution of the problem (4.1) for $ t > 0 $ via Algorithm (3.1).

    In this paper, inspired by Fatullayev et al. [14] and Dong et al. [13], by using the methods of steps and separating fuzzy items, we solved the implicit coupled systems of fuzzy fractional delay differential equations with fuzzy initial values and source functions (FFIDDC) (1.1). Under the conditions $ (H_1) $ and $ (H_2) $, and based on the concept of TFFs and examples in [16,17], we obtained existence and uniqueness of solution for the FFIDDC (1.1). We note that the solution is a triangular fuzzy function matrix which is composed of real functional matrices. Furthermore, an algorithm for solution procedure and an example for graphical confirmation of explicit solution were given.

    As Remark 1.1 mentioned, except for considering the problem (1.1) with Caputo fractional derivative, we will explore the problem of form (1.1) with fractional derivatives of Riemann-Liouville or Hadamard in the future. Recently, there are more and more researchers to explore the relevant (fractional) differentiable set-value problems and impulsive problems, such as Amrahov et al. [4] and Sun et al. [32]. Therefore, for further study, we can introduce the set-valued delay and the impulse into the FFIDDC (1.1), and extend the methods proposed in this paper to solve the new problems associated with set-values or impulsive elements.

    We are grateful to the anonymous referees and editors for their valuable comments and helpful suggestions to improve the quality of this paper.

    This work was partially supported by the Sichuan Science and Technology Program (2019YJ0541) the Opening Project of Sichuan Province University Key Laboratory of Bridge Non-destruction Detecting and Engineering Computing (2019QZJ03) and the Innovation Fund of Postgraduate, Sichuan University of Science & Engineering (y2020080).

    All authors declare no conflicts of interest in this paper.

    [1] Cos P, Tote K, Horemans T, et al. (2010) Biofilms: an extra hurdle for effective antimicrobial therapy. Curr Pharm Design 16: 2279-2295. doi: 10.2174/138161210791792868
    [2] Costerton JW, Lewandowski Z, Caldwell DE, et al. (1995) Microbial biofilms. Ann Rev Microbiol 49: 711-745. doi: 10.1146/annurev.mi.49.100195.003431
    [3] Simões M (2011) Antimicrobial strategies effective against infectious bacterial biofilms. Curr Med Chem 18: 2129-2145. doi: 10.2174/092986711795656216
    [4] Stoodley P, Sauer K, Davies D, et al. (2002) Biofilms as complex differentiated communities. Ann Rev Microbiol 56: 187-209. doi: 10.1146/annurev.micro.56.012302.160705
    [5] Percival SL, Malic S, Cruz H, et al. (2011) Introduction to biofilms, Biofilms and Veterinary Medicine: Springer, 41-68.
    [6] Donlan RM (2002) Biofilms: microbial life on surfaces. Emerg Infect Dis 8.
    [7] Garrett TR, Bhakoo M, Zhang Z (2008) Bacterial adhesion and biofilms on surfaces. Prog Nat Sci 18: 1049-1056. doi: 10.1016/j.pnsc.2008.04.001
    [8] Shi X, Zhu X (2009) Biofilm formation and food safety in food industries. Trends Food Sci Technol 20: 407-413. doi: 10.1016/j.tifs.2009.01.054
    [9] Morikawa M (2006) Beneficial biofilm formation by industrial bacteria Bacillus subtilis and related species. J Biosci Bioeng 101: 1-8. doi: 10.1263/jbb.101.1
    [10] Qureshi N, Annous BA, Ezeji TC, et al. (2005) Biofilm reactors for industrial bioconversion processes: employing potential of enhanced reaction rates. Microb Cell Fact 4: 24. doi: 10.1186/1475-2859-4-24
    [11] Seghezzo L, Zeeman G, van Lier JB, et al. (1998) A review: the anaerobic treatment of sewage in UASB and EGSB reactors. Bioresour Technol 65: 175-190. doi: 10.1016/S0960-8524(98)00046-7
    [12] Bland R, Chen H, Jewell W, et al. (1982) Continuous high rate production of ethanol by Zymomonas mobilis in an attached film expanded bed fermentor. Biotechnol Lett 4: 323-328. doi: 10.1007/BF00132834
    [13] Todhanakasem T, Sangsutthiseree A, Areerat K, et al. (2014) Biofilm production by Zymomonas mobilis enhances ethanol production and tolerance to toxic inhibitors from rice bran hydrolysate. New Biotechnol 31: 451-459. doi: 10.1016/j.nbt.2014.06.002
    [14] Qureshi N, Maddox I (1987) Continuous solvent production from whey permeate using cells of Clostridium acetobutylicum immobilized by adsorption onto bonechar. Enzyme Microb Technol 9: 668-671. doi: 10.1016/0141-0229(87)90125-6
    [15] Logan BE, Regan JM (2006) Electricity-producing bacterial communities in microbial fuel cells. Trends Microbiol 14: 512-518. doi: 10.1016/j.tim.2006.10.003
    [16] Donlan RM, Costerton JW (2002) Biofilms: survival mechanisms of clinically relevant microorganisms. Clin Microbiol Rev 15: 167-193. doi: 10.1128/CMR.15.2.167-193.2002
    [17] Characklis WG, Marshall KC (1990) Biofilms, New York: John Wiley & Sons.
    [18] Simões M, Bennett RN, Rosa EA (2009) Understanding antimicrobial activities of phytochemicals against multidrug resistant bacteria and biofilms. Nat Prod Rep 26: 746-757. doi: 10.1039/b821648g
    [19] Dunne WM (2002) Bacterial adhesion: seen any good biofilms lately? Clin Microbiol Rev 15: 155-166. doi: 10.1128/CMR.15.2.155-166.2002
    [20] Simões LC, Simões M (2013) Biofilms in drinking water: problems and solutions. RSC Adv 3: 2520-2533. doi: 10.1039/C2RA22243D
    [21] An YH, Friedman RJ (1998) Concise review of mechanisms of bacterial adhesion to biomaterial surfaces. J Biomed Mater Res 43: 338-348.
    [22] de Schryver P, Crab R, Defoirdt T, et al. (2008) The basics of bio-flocs technology: the added value for aquaculture. Aquaculture 277: 125-137. doi: 10.1016/j.aquaculture.2008.02.019
    [23] Kokare C, Chakraborty S, Khopade A, et al. (2009) Biofilm: Importance and applications. Indian J Biotechnol 8: 159-168.
    [24] Watnick P, Kolter R (2000) Biofilm, city of microbes. J Bacteriol 182: 2675-2679. doi: 10.1128/JB.182.10.2675-2679.2000
    [25] Sobeck DC, Higgins MJ (2002) Examination of three theories for mechanisms of cation-induced bioflocculation. Water Res 36: 527-538. doi: 10.1016/S0043-1354(01)00254-8
    [26] Hermansson M (1999) The DLVO theory in microbial adhesion. Colloids Surf B: Biointerfaces 14: 105-119. doi: 10.1016/S0927-7765(99)00029-6
    [27] Simões LC, Simões M, Vieira MJ (2010) Adhesion and biofilm formation on polystyrene by drinking water-isolated bacteria. Antonie van Leeuwenhoek 98: 317-329. doi: 10.1007/s10482-010-9444-2
    [28] Bhaskar P, Bhosle NB (2005) Microbial extracellular polymeric substances in marine biogeochemical processes. Curr Sci 88: 45-53.
    [29] van Oss C (1995) Hydrophobicity of biosurfaces—origin, quantitative determination and interaction energies. Colloids Surf B: Biointerfaces 5: 91-110. doi: 10.1016/0927-7765(95)01217-7
    [30] van Oss C, Chaudhury M, Good R (1987) Monopolar surfaces. Adv Colloid Interf Sci 28: 35-64. doi: 10.1016/0001-8686(87)80008-8
    [31] van Oss C, Ju L, Chaudhury M et al. (1989) Estimation of the polar parameters of the surface tension of liquids by contact angle measurements on gels. J Colloid Interf Sci 128: 313-319. doi: 10.1016/0021-9797(89)90345-7
    [32] van Oss CJ, Good RJ, Chaudhury MK (1988) Additive and nonadditive surface tension components and the interpretation of contact angles. Langmuir 4: 884-891. doi: 10.1021/la00082a018
    [33] Ozkan A, Berberoglu H (2013) Cell to substratum and cell to cell interactions of microalgae. Colloids Surf B: Biointerfaces 112: 302-309. doi: 10.1016/j.colsurfb.2013.08.007
    [34] van Oss CJ (2003) Long-range and short-range mechanisms of hydrophobic attraction and hydrophilic repulsion in specific and aspecific interactions. J Mol Recognit 16: 177-190. doi: 10.1002/jmr.618
    [35] Janczuk B, Chibowski E, Bruque J et al. (1993) On the consistency of surface free energy components as calculated from contact angles of different liquids: an application to the cholesterol surface. J Colloid Interface Sci 159: 421-428. doi: 10.1006/jcis.1993.1342
    [36] Busscher HJ, van der Mei HC (2006) Microbial adhesion in flow displacement systems. Clin Microbiol Rev 19: 127-141. doi: 10.1128/CMR.19.1.127-141.2006
    [37] Peeters E, Nelis HJ, Coenye T (2008) Comparison of multiple methods for quantification of microbial biofilms grown in microtiter plates. J Microbiol Meth 72: 157-165. doi: 10.1016/j.mimet.2007.11.010
    [38] Stepanović S, Vuković D, Hola V, et al. (2007) Quantification of biofilm in microtiter plates: overview of testing conditions and practical recommendations for assessment of biofilm production by staphylococci. Acta Pathol Microbiol Immunol Scand 115: 891-899. doi: 10.1111/j.1600-0463.2007.apm_630.x
    [39] Pavarina AC, Dovigo LN, Sanitá PV, et al. (2011) Dynamic models for in vitro biofilm formation, In: Bailey WC (ed), Biofilms: Formation, Development and Properties: Nova Science Publishers, Inc.
    [40] Kumar S, Wittmann C, Heinzle E (2004) Review: minibioreactors. Biotechnol Lett 26: 1-10. doi: 10.1023/B:BILE.0000009469.69116.03
    [41] Vesterlund S, Paltta J, Karp M, et al. (2005) Measurement of bacterial adhesion—in vitro evaluation of different methods. J Microbiol Meth 60: 225-233. doi: 10.1016/j.mimet.2004.09.013
    [42] Merritt K, An YH (2000) Factors influencing bacterial adhesion, In: An YH, Friedman RJ (eds), Handbook of Bacterial Adhesion: Principles, Methods, and Applications, Totowa, New Jersey: Humana Press, 53-72.
    [43] Fux CA, Shirtliff M, Stoodley P, et al. (2005) Can laboratory reference strains mirror “real-world” pathogenesis? Trends Microbiol 13: 58-63. doi: 10.1016/j.tim.2004.11.001
    [44] Frioni A, Natalizi T, Tendini M, et al. (2010) Biotimer assay for counting bacterial biofilm. Biophys Bioeng Lett 3.
    [45] An YH, Friedman RJ (1997) Laboratory methods for studies of bacterial adhesion. J Microbiol Methods 30: 141-152. doi: 10.1016/S0167-7012(97)00058-4
    [46] Christensen GD, Simpson WA, Anglen JO, et al. (2000) Methods for evaluating attached bacteria and biofilms, In: An YH, Friedman RJ (eds), Handbook of Bacterial Adhesion: Principles, Methods, and Applications, Totowa, New Jersey: Humana Press, 213-233.
    [47] Martin KL, An YH (2000) Basic equipment and microbiological techniques for studying bacterial adhesion, In: An YH, Friedman RJ (eds), Handbook of Bacterial Adhesion: Principles, Methods, and Applications, Totowa, New Jersey: Humana Press, 103-120.
    [48] Müller DJ, Dufrêne YF (2011) Atomic force microscopy: a nanoscopic window on the cell surface. Trends Cell Biol 21: 461-469. doi: 10.1016/j.tcb.2011.04.008
    [49] Pantanella F, Berlutti F, Passeri D, et al. (2011) Quantitative evaluation of bacteria adherent and in biofilm on single-wall carbon nanotube-coated surfaces. Interdiscip Perspect Infect Dis 2011.
    [50] Merritt K, Gaind A, Anderson JM (1998) Detection of bacterial adherence on biomedical polymers. J Biomed Mater Res 39: 415-422.
    [51] Davey HM, Kell DB (1996) Flow cytometry and cell sorting of heterogeneous microbial populations: the importance of single-cell analyses. Microbiol Rev 60: 641-696.
    [52] Honraet K, Goetghebeur E, Nelis HJ (2005) Comparison of three assays for the quantification of Candida biomass in suspension and CDC reactor grown biofilms. J Microbiol Meth 63: 287-295. doi: 10.1016/j.mimet.2005.03.014
    [53] Stepanović S, Vuković D, Dakić I, et al. (2000) A modified microtiter-plate test for quantification of staphylococcal biofilm formation. J Microbiol Meth 40: 175-179. doi: 10.1016/S0167-7012(00)00122-6
    [54] Pantanella F, Valenti P, Natalizi T, et al. (2013) Analytical techniques to study microbial biofilm on abiotic surfaces: pros and cons of the main techniques currently in use. Ann Ig 25: 31-42.
    [55] Robrish SA, Kemp CW, Bowen WH (1978) Use of extractable adenosine triphosphate to estimate the viable cell mass in dental plaque samples obtained from monkeys. Appl Environ Microbiol 35: 743-749.
    [56] Harber MJ, Mackenzie R, Asscher AW (1983) A rapid bioluminescence method for quantifying bacterial adhesion to polystyrene. J Gen Microbiol 129: 621-632.
    [57] Dostálek P, Brányik T (2003) Prospects for rapid bioluminescent detection methods in the food industry—a review. Czech J Food Sci 23: 85-92.
    [58] Xi J, Chen JY, Garcia MP, et al. (2013) Quartz crystal microbalance in cell biology studies. J Biochips Tissue Chips S5: 1-9.
    [59] Pereira A, Mendes J, Melo LF (2009) Monitoring cleaning-in-place of shampoo films using nanovibration technology. Sensor Actuat B: Chem 136: 376-382. doi: 10.1016/j.snb.2008.11.043
    [60] Pereira A, Mendes J, Melo LF (2008) Using nanovibrations to monitor biofouling. Biotechnol Bioeng 99: 1407-1415. doi: 10.1002/bit.21696
    [61] Englebienne P, Hoonacker AV, Verhas M (2003) Surface plasmon resonance: principles, methods and applications in biomedical sciences. J Spectrosc 17: 255-273. doi: 10.1155/2003/372913
    [62] Fletcher M (1988) Attachment of Pseudomonas fluorescens to glass and influence of electrolytes on bacterium-substratum separation distance. J Bacteriol 170: 2027-2030.
  • This article has been cited by:

    1. Martha Álvarez–Ramírez, Johanna D. García–Saldaña, Mario Medina, Global Dynamics and Integrability of a Leslie-Gower Predator–Prey Model with Linear Functional Response and Generalist Predator, 2024, 23, 1575-5460, 10.1007/s12346-024-01155-0
    2. Cahit Köme, Yasin Yazlik, Stability, bifurcation analysis and chaos control in a discrete predator–prey system incorporating prey immigration, 2024, 70, 1598-5865, 5213, 10.1007/s12190-024-02230-0
    3. Maurıicio F. S. Lima, Jaume Llibre, Hopf bifurcation for a class of predator-prey system with small immigration, 2024, 32, 2688-1594, 4604, 10.3934/era.2024209
  • Reader Comments
  • © 2015 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(11301) PDF downloads(1857) Cited by(10)

Figures and Tables

Figures(1)  /  Tables(2)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog