Volume 2022, Issue 1 7512754
Research Article
Open Access

Local and Global Existence and Uniqueness of Solution for Class of Fuzzy Fractional Functional Evolution Equation

Kinda Abuasbeh

Corresponding Author

Kinda Abuasbeh

Department of Mathematics and Statistics, College of Science, King Faisal University, Hafuf, Al Ahsa 31982, Saudi Arabia kfu.edu.sa

Search for more papers by this author
Ramsha Shafqat

Corresponding Author

Ramsha Shafqat

Department of Mathematics and Statistics, The University of Lahore, Sargodha 40100, Pakistan uol.edu.pk

Search for more papers by this author
Azmat Ullah Khan Niazi

Azmat Ullah Khan Niazi

Department of Mathematics and Statistics, The University of Lahore, Sargodha 40100, Pakistan uol.edu.pk

Search for more papers by this author
Muath Awadalla

Muath Awadalla

Department of Mathematics and Statistics, College of Science, King Faisal University, Hafuf, Al Ahsa 31982, Saudi Arabia kfu.edu.sa

Search for more papers by this author
First published: 05 September 2022
Citations: 5
Academic Editor: Luisa Morgado

Abstract

For fuzzy fractional functional evolution equations, the concept of global and local existence and uniqueness will be presented in this work. We employ the contraction principle and successive approximations for global and local existence and uniqueness, respectively, as given where Cσ denotes the set of fuzzy continuous mapping defined on and σ > 1. We also use this method to solve fuzzy fractional functional evolution equations with fuzzy population models and distributed delays using fuzzy fractional functional evolution equations. To explain these results, some theorems are given. Finally, certain fuzzy fractional functional evolution equations are illustrated.

1. Introduction

In reality, to show fractional-order demeanor which can change with time and space in case of a large number of physical processes, fractional calculus authorizes the operations of differentiation and integration of fractional-order. The fractional-order can be applied to both imaginary and real numbers. Because of its wide range of applications in disciplines like mechanics, electrical engineering, signal processing, thermal systems, robotics and control, signal processing, and many others, the theory of fuzzy sets continues to attract academics’ attention [13]. Therefore, it has been noticed that it is the center of increasing interest of researchers during the past few years.

In real-world systems, delays can be recognized everywhere, and there has been widespread interest in the study of delay differential equations for many years. Fractional differential equations are becoming more important in system models in biology, chemistry, physics, and other sciences. There is a large form of evidence about functional differential equations and their methods. On the other hand, we can seldom be certain that dynamic in a system is perfectly modeled using deterministic ordinary differential equations because the knowledge of dynamical systems is either unclear or incomplete. If the model’s underlying structure is based on subjective decisions, one way to incorporate these is to use the fuzziness aspect, which contributes to the consideration of fuzzy fractional functional evolution equations. In the context of fuzzy-valued analysis and set-valued differential equations, fuzzy differential equations were first studied as a separate subject. The analysis of fuzzy differential equations can be expressed in a variety of ways. In biology, chemistry, physics, and other sciences, fractional differential equations are becoming more significant in system models. The reader is referred to the monographs [4, 5], and the references therein, as there is a large quantity of literature dealing with delay differential equations and their applications. As a new branch of fuzzy mathematics, the study of fuzzy delay differential equations is growing in popularity. Over the last few years, both theory and applications have been widely discussed. The study of fuzzy delay fractional functional evolution equations has numerous interpretations in the literature.

Puri and Ralescu defined H-differentiability for fuzzy functions using the Hukuhara derivative of multivalued functions. In the context of fuzzy differential equations in a time-dependent manner, Seikkala and Kaleva proposed and investigated this definition. The fuzzy initial value issue has a unique local solution if f is continuous and satisfies the Lipschitz condition with respect to u, as Kaleva established in [6].
(1)

He proved that the Peano theorem is invalid in [6], since metric space can be locally compact. Peano’s existence theorem for FDEs on was proven by Nieto [7] if f is bounded and continuous. Buckley and Feuring [8] gave reasonable general formulation to the fuzzy first-order initial value problem. Citations [9, 10] present the existence of theorems for solutions to the fuzzy initial value problem under a wide range of assumptions. This H-differentiability-based approach has the disadvantage of having an increasing length of support for each solution of FDE. As a result, this method is inappropriate for modeling and fails to describe any of the complex properties of ordinary differential equations, that is, stability, periodicity, bifurcation, and other phenomena [11]. This problem is solved using FDE, which can be read as a family of differential inclusions [12]. We do not have a derivative for fuzzy-number-valued equations, which is a key drawback of differential inclusions.

The above-mentioned method for fuzzy-number-valued functions with highly generalized differentiability was recently solved by Bede and Gal [13]. The derivative is maintained in this case, and the support length of the FDE solution may decrease, but the uniqueness is lost. On fuzzy differential equations, there is a lot of literature. In comparison, FFDEs and their implementations were only briefly mentioned in a few articles. Park and his colleagues’ [14] approximate solutions of fuzzy functional integral equations were studied. Park et al. [15] examined the presence of almost periodic and asymptotically almost periodic solutions for FFDEs. For nonlinear fuzzy neutral functional differential equations, Balasubramaniam and Muralisankar [16] investigate local uniqueness and existence theorem. Guo et al. [17] developed existence results for fuzzy impulsive functional differential equations using Hüllermeier’s level-wise method [13], which they then applied to fuzzy population models. Abbas et al. [18, 19] worked on a partial differential equation. Niazi et al. [20], Iqbal et al. [21], Shafqat et al. [22], Abuasbeh et al. [23], and Alnahdi et al.’s [24] existence and uniqueness of the FFEE were investigated.

Khastan et al. proved the existence of two fuzzy solutions for fuzzy delay differential equations using the concept of generalized differentiability. Hoa et al. established the global existence and uniqueness results for fuzzy delay differential equations using the concept of generalized differentiability. Moreover, the authors have extended and generalized some comparison theorems and stability theorems for fuzzy delay differential equations with the definition of a new Lyapunov-like function. Besides that, some very important extensions of the fuzzy delay dierential equations were introduced. The author considered the FDE with the initial value
(2)
where f : [0, ∞) × EdEd and the symbol   denotes the first type of Hukuhara derivative, that is, the classical Hukuhara derivative. O. Kaleva also discussed the properties of differentiable fuzzy mappings and showed that if f is continuous and satisfies the Lipschitz condition concerning to x, then, there exists a unique local solution for the fuzzy initial value problem. V. Lupulescu proved several theorems stating the existence, uniqueness, and boundedness of solutions to fuzzy differential equations with the concept of the inner product on the fuzzy space. Guo et al. [25] and Shu et al. [26] studied the fractional differential equation.
In [27], V. Lupulescu considered the fuzzy functional differential equation
(3)
where f : [0, ∞) × CσEd and the symbol   denotes the first type Hukuhara derivative called classical Hukuhara derivative. The author studied the local and global existence and uniqueness results by using the method of successive approximations and contraction principle.
We used Caputo derivative to prove the uniqueness and existence of several uniqueness and existence theorems for fuzzy fractional functional differential equations (FFFDEs) under certain conditions, inspired by the above research:
(4)
where Cσ denotes the set of fuzzy continuous mapping defined on and σ > 1. denotes the fuzzy mapping ; that is, . The goal of this study is to use the method of contraction principle and consecutive approximations to show local and global uniqueness and existence theorems for the fuzzy fractional functional differential Equation (4) under certain conditions.

The following is a description of the paper’s structure. As a warm-up, we will make some basic observations on fuzzy sets and the differentiability and integrability features of fuzzy functions. In Section 3, we show the local uniqueness and existence theorem for the solution to the initial value problem for FFFDEs using the successive approximation method. Section 4 proves the global uniqueness and existence theorem for the initial value solution. A problem involving fuzzy fractional functional differential equations is solved using contraction theory. Finally, we apply what we have learned about FDEs to two different forms of fuzzy differential equations: FFFDEs with fuzzy population and distributed delays models.

2. Preliminaries

The set of all nonempty, compact convex subsets of Rm is denoted by . The Hausdorff distance between sets is defined as
(5)

Denote {Em = x : Rm⟶0, 1|; x satisfies (a) − (d) below}.

In the above equation,
  • (a)

    x is normal due to the exists of Rm, x(u0) = 1

  • (b)

    x is fuzzy convex, for Rm, 0 ≤ λ ≤ 1, x(λu + (1 − λ)v) ≥ min{x(u), x(v)}

  • (c)

    x is upper semicontinuous function on Rm

  • (d)

    is compact

1 < β ≤ 2, represent . Then, from (a) to (b), it shows, β-level set . We define as if u = 0 and if u ≠ 0 for later purposes.

Using Zadeh’s extension theorem, we can have scalar multiplication and addition in fuzzy number space Em as shown in
(6)
where x, yEm, kRm and 1 ≤ β ≤ 2.
Define by notation
(7)
where is Hausdorff a metric for nonempty compact sets in Rm and is a complete metric space [28].
It is very simple to notice that is a metric in Em. By using the properties of :
  • (a)

    is a complete metric space

  • (b)

    and

  • (c)

    and λRm

  • (d)

If we denote , then, has properties of an usual norm onEm [29]:
  • (i)

    if

  • (ii)

  • (iii)

  • (iv)

On Em, we can describe subtraction !, also known as H-difference [30], as follows: sv has significance if ωEm, x = y + z exists.

Suppose , if we represent , then, ‖f‖ has properties of an usual norm on Em [29],
  • (i)

    f‖ = 0 if

  • (ii)

    λf‖ = |λ|‖f‖∀ f(I, Em), λRm

  • (iii)

    fh‖ ≤ ‖f‖ ⊕ ‖h‖∀ f, h ∈ (I, Em)

  • (iv)

    or β, γ ≤ 0, f(I, Em)

Definition 1. The mapping is Hukuhara differentiable at if exists similar to the limits:

(8)
and is equal and exists to .

We can remember some properties of integrability and measurability for fuzzy set-valued mappings [28].

Definition 2. If is fuzzy function, that is

(9)

and there exists for some , and now

(10)

Definition 3. The mapping is strongly measurable if for all β ∈ [1, 2], then, the set-valued function define by is Lebesgue measurable.

The mapping is known as integrably bounded if there exists an integrable function j like

(11)

Definition 4. Suppose . Then, the equation defines integral of over I, which is expressed by , .

Also, strongly measurable and integrably bounded mapping is said to be integrable over I if and only if

(12)

Proposition 5 (Aumann [31]). is integrable if is integrably bounded and strongly measurable.

Proposition 6 (Kaleve [28]). It is integrable over I if is continuous. Furthermore, function is differentiable in this case, and .

Proposition 7 (Kaleve [28]). Suppose be integrable and λRm. Now

  • (i)

  • (ii)

  • (iii)

    is integrable

  • (iv)

  • (v)

    , for

If I is compact interval of Rm, then represent (I, Em) = {f : IEm; f is continuous functions on I}, equipped with metric

(13)

Now, (, H) is a complete metric space.

We call Cσ space C([−σ, 0], Em) for positive numbers σ. Represent it as well:

(14)
metric on space Cσ. For a given constant ρ > 0, put .

Suppose x(.) ∈ C([−σ, ∞), Em). Now, for all , denoted by x1 element of Cσ defined by .

Definition 8 (Fuzzy Strongly Continuous Semigroups) [30, 31]. A family is fuzzy strongly continuous semigroup of operators from Em into itself if

  • (i)

    T(0) = k identity mapping on Em

  • (ii)

  • (iii)

    function h : [0, ∞[⟶Em, defined by at is continuous

(15)
  • (iv)

    There are two constants R > 0 and ω like

(16)

Specially, if ω = 0 and Rm = 1, is a contraction fuzzy semigroup.

Lemma 9. If is jointly continuous function and x : [−σ, ∞)⟶Em is continuous function, now, function is also continuous.

Proof. Assume that fixed (τ, φ) × Cσ and ε > 0. are jointly continuous, there exists δ1 > 0 that is for all with , . On the other way, x : [−σ, ∞)⟶Em is continuous; now, it is uniformly continuous on compact interval I1 = [max{−σ, τσδ1}, τ + δ1]. There exists δ2 > 0; for all with , we have . After, for all s ∈ [−σ, 0], τ + sI1, and if , now, , and it shows that

(17)

Therefore, , since is jointly continuous, . This implies that function is continuous.

Remark 10. If is jointly continuous function and x : [−σ, ∞)⟶Em is continuous function, then, function on each compact interval [τ, T] is integrable. Furthermore, function is differentiable in this case, and .

Remark 11. If is jointly continuous function and x : [−σ, ∞)⟶Em is continuous function, then, function on each compact interval [τ, T] is bounded. On each compact interval [0, T], function is also bounded.

Definition 12. We say that is locally Lipschitz if a, b ∈ [0, ∞) and ρ > 0, and there exists L > 0,

(18)

Lemma 13. Assume that is locally Lipschitz and continuous. Now, for all compact interval J ⊂ [0, ∞) and ρ > 0, there exists ,

(19)

Proof. , then

(20)
where .

Definition 14 (see [32].)The RL fractional derivative is defined as

(21)

Definition 15 (see [32].)The Caputo fractional derivatives of order αE+ are defined by

(22)
respectively, where n = [α] + 1 for αN0; n = α for αN0.

We investigate the Caputo fractional derivative of order 1 < α ≤ 2 in this study; e.g.,

(23)

Definition 16 (see [33].)The Wright function ψα is defined by

(24)
where θ with 0 < α < 1.

Lemma 17 (see [33].)Let be a strongly continuous cosine family in X satisfying , and let A be the infinitesimal generator of . Then, for Reλ > ω, λ2ρ(A)

(25)

Lemma 18. For , if is the solution of Equation (4), then, the solution is given by

(26)
such that
(27)
where and are continuous with C(0) = I and , and .

3. Local Uniqueness and Existence

For , we assume the fuzzy Caputo functional equation:
(28)

According to the solution of FFFDE (4) on interval , we mean continuous function ; that is, for for and x is differentiable on and .

Theorem 19. Suppose set is locally Lipschitz and continuous. Now, for all , there exists that is, FFFDE (4) has unique solution .

Proof. Any positive number will satisfy as ρ > 0. Then, there exists L > 0; that is, is Lipschitz locally.

(29)

for some . According to Lemma 13, there exists , for . Suppose . We assume set Em of all functions ; then, on and on . If yEm, we define continuous function by

(30)

Now, for

(31)
and so ωEm. We will use method of successive approximations to solve (4) by constructing series of continuous functions. beginning with initial continuous function
(32)

Clearly, on [0, T]. Further, define

(33)

if = 0, 1, ⋯ . Then, for , now

(34)

By Equations (29) and (33), we find

(35)

In particular,

(36)

If we suppose

(37)
now
(38)

(37) holds for any m ≥ 2, according to mathematical induction. As a result, the sequence is a sequence that is uniformly convergent on [0, T]. As a result, there is a continuous function x : [0, T]⟶Em, which is as m⟶∞. Since then

(39)

We have deduced

(40)

uniformly on [0, T] as m⟶∞. Therefore,

(41)

It follows that

(42)

Extending x to in usual way by , then, by (33), we obtain that

(43)
and x is the solution for Equation (4). To prove uniqueness, suppose be second solution for (4). For all ,
(44)

If we assume , now

(45)
and by Gronwall’s lemma, we obtained on [0, T]. This establishes uniqueness solutions for (4).

Remark 20. The contraction principle can be used to prove local uniqueness and existence theorem for initial value problems (28). Suppose P : EmEm be defined as

(46)

For ,

(47)

Hence

(48)
where P : EmEm is contraction only if . However, if we deal with successive approximations indirectly (33), we can show that iterations converge, and initial value problem (28) has unique solution on interval [0, T] under merely the assumption , without constraint . The discrepancy is resolved by noting that all functions , on [0, T] have several equivalent metrics on space Em. In fact, metric
(49)

is equivalent to metric . Then

(50)

Using metric (49) and function is continuous and satisfies the global Lipschitz condition:

(51)

In [34], uniqueness and existence of solution for (28) on interval [0, T] were illustrated.

Theorem 21. Let function be locally Lipschitz and continuous. If and and are unique solutions of (28) with on , now

(52)
where ω = min{ω1, ω2}.

Proof. On solution, x(φ) satisfies relation

(53)
and x(ψ) satisfies the same relation as φ, but with ψ instead of φ. Then, for ,
(54)

If suppose then

(55)
implying that (52) holds.

4. Global Existence and Uniqueness

For a given constant a > 0, consider set of all functions ; that is, on and . On , define the following metric:
(56)

Lemma 22. is complete metric space.

Proof. Suppose be Cauchy sequence in . Now, for each ε > 0, there exists mεm, pmε, and we obtain . Hence

(57)
and so
(58)

For each is Cauchy sequence in Em. is a complete metric space, and there exists for . Now, xEσ. Evidently, on . From (58), we get and . Now, x is continuous function on . Suppose ε > 0 and . Then, there exists , . Since xm is continuous function, now, there exists , for . Sincexm is continuous function, then, there exists that is for with . There exists ; that is, for with . Assume . Now, for every with ,

(59)
where x is continuous function on . Now
(60)

Since

(61)

Now

(62)

and , we get

(63)

Moreover, . So, is complete metric space.

The fuzzy differential Equation (28) is then considered under the following conditions:

(J1) There exist L > 0; that is

(64)

(J2) is jointly continuous.

(J3) There exists M > 0 and b > 0,

(65)

Suppose P : C([−σ, ∞), Em)⟶C([−σ, ∞), Em), defined as

(66)

Lemma 23. If satisfies assumptions (J1) − (J2) and a > b, then, .

Proof. Suppose . For each ,

(67)

Since , there exists ρ > 1, ,

(68)

Thus

(69)

Let

(70)

Now

(71)
and .

Lemma 24. If satisfies (J1) − (J3) and L < a, then, P is contraction on .

Proof. Suppose . Now, for each

(72)

From (29), . So

(73)

For every ,

(74)
and so
(75)

Hence

(76)

Therefore, P is contraction on .

Theorem 25. Let function satisfies assumptions (J1) − (J3). Then, for each , FFDE (28) has unique solution on .

Proof. Assume

(77)

We can deduce that the operator P : EaEa is contraction using Lemmas 23 and 24. As a result, there is only one , which is Px = x. x is continuous function,

(78)

on . Moreover,

(79)
for every . Since x is continuous and satisfies (J2), by Lemma 9 and Remark 10,
(80)
is an integrable function on . By Remark 10, x is differentiable function and
(81)
for every . Theorem 25 is proved.

5. Applications

5.1. Fuzzy Fractional Functional Evolution Equations with Distributed Delay

In below sections, we will look at class of delay fuzzy fractional functional evolution equations with distributed delay. Consider following delay fuzzy fractional functional differential equations with m and 0 < σ1 < σ2 < σm < σ delay times:
(82)
where are some functions. Let, function satisfies the following assumptions:
There exist Li > 0,
(83)

is jointly continuous.

There exist Mi > 0 and bi > 0 that is
(84)
Then, function is defined as
(85)
and satisfies also assumptions (J1) − (J2). is jointly continuous. For all i = 0, 1, ⋯, m. For function , suppose Li be Lipschitz constant. Now
(86)
and satisfies (J1). We obtain
(87)
Now, we find Mm+1 > 1 and bm+1 > 1,
(88)
and we get
(89)
where M≔max{Mi; i = 1, 2, ⋯, m + 1} and b = max{bi; i = 1, 2, ⋯, m + 1}. As a result, satisfies (J3).

As a result, we get below result.

5.2. Fuzzy Population Models

First, we demonstrate how to use the following method to explain the initial problem for fuzzy fractional functional delay differential equation:
(90)
where is derived from the continuous function F : [0, ∞) × RmRm using Zadeh’s extension concept. Since and xEm, then, Kaleva [10] denotes
(91)
Problem (90) is now transformed into the following parameterized delay differential model using these notations:
(92)
with initial conditions
(93)
We can solve the methods (92) and (93). If is the solution (92) and (93), we can establish a fuzzy solution for Equation (90) using representation theorem of Negoita-Ralescu [35]:
(94)

5.2.1. Fuzzy Fractional Functional Time-Delay Malthusian Model

Suppose the initial value problem for a Malthusian model with a fuzzy fractional functional time delay in the example:
(95)
(96)

Zadeh’s extension concept is used to obtain function described by from function f(u) = ru, uRm.

If , then
(97)
As a result, we solve fractional functional differential equations:
(98)
(99)
where α = 1 − α. The system of steps is used to solve Equation (98). For , we get
(100)
with solution for . For , we get
(101)
with the solution for . For each n, the solution of (98) has polynomial form on [n, n + 1]. Also, the solution of (99) has polynomial form when on [n, n + 1]. According to Negoita-Ralescu representation theorem [35], the solution of (95) has form on [n, n + 1]:
(102)
for every β ∈ [1, 2] and n.

Example 1. One of the deficiency of population models in time-delay Malthusian model is that in every case, when population change instantly, birth rate is supposed to change. Moreover, when members of the population hit a certain age before giving birth, we should assume time delay in the model [34].

(103)
where population growth rate at time is determined by population at time .

Also, assume, for time-delay Malthusian model, a more realistic approach should take into account both effect of a time delay and changing of environment. Therefore, it is interesting and necessary to study the general delay-distributed equation:
(104)

5.2.2. Fuzzy Fractional Functional Ehrlich Ascites Tumor Model

To explain tumor model of fuzzy fractional function Ehrlich Ascites, consider fuzzy delay equation:
(105)
where . Assume that r ∈ (0, 2]. The function , defined by , is obtained from function f(u) = ru(1 − u), uRm, using Zadeh’s extension principle. We get
(106)
We remark, function f(u) = ru(1 − u) is increasing on (−∞, 1/2) and decreasing on (1/2, ∞), and . Using the procedure of steps [36] and Negoita-Ralescu representation theorem [35], we can obtain the solution to (105). If , now, we have
(107)
Since α ≤ 1/2, then, for ,
(108)
As a result, we solve differential equations on [0, 1]
(109)
with initial condition
(110)
Further, for (52) on [0,1], the solution
(111)
where
(112)
Moreover, and on [0, 1], for ,
(113)
As it follows, we solve the differential equation on [1, 2]:
(114)
As a result, we get (105) on [1, 2], as follows:
(115)
where
(116)

This procedure can be continued on [21, 37].

Example 2. To explain the Ehrlich ascities tumor, the following logistic equation was suggested in [9]:

(117)

The delay associated cell cycle [37] is represented by σ, where r is net tumor replication and is caring capacity. This equation differs from the traditional Verhulst-Hutchinson equation [38], which has only one delay expression.

Many independent characteristics of state variables can affect population dynamics: natural and social resources, medical care, job environment, and crime, habitations. Classically, the exact value of these attributes cannot always be calculated and evaluated since they are unknown and can only be conjectured. As a result, the Ehrlich ascities tumor model should be a more realistic solution.

6. Conclusion

The solution to fuzzy fractional functional differential equations possesses global uniqueness and existence, as shown in this paper. We have used the successive approximation method to prove a local uniqueness and existence result. Future research on fuzzy neutral fractional functional differential equations could benefit from the findings of this study. Other alternative research approaches include a fuzzy fractional functional differential equation approach based on other fuzzy differentiability concepts (see [8, 11]).

Conflicts of 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.

Authors’ Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Acknowledgments

This work was supported by the Deanship of Scientific Research, Vice Presidency for Graduate Studies and Scientific Research, King Faisal University, Saudi Arabia [Project No. GRANT560], King Faisal University (KFU), Ahsa, Saudi Arabia. The authors, therefore, acknowledge technical and financial support of DSR at KFU.

    Data Availability

    No new data were created this study.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.