Local and Global Existence and Uniqueness of Solution for Class of Fuzzy Fractional Functional Evolution Equation
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 [1–3]. 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.
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.
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
Denote {Em = x : Rm⟶0, 1|; x satisfies (a) − (d) below}.
- (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.
- (a)
is a complete metric space
- (b)
and
- (c)
and λ ∈ Rm
- (d)
- (i)
if
- (ii)
- (iii)
- (iv)
On Em, we can describe subtraction !, also known as H-difference [30], as follows: s ⊖ v has significance if ω ∈ Em, x = y + z exists.
- (i)
‖f‖ = 0 if
- (ii)
‖λf‖ = |λ|‖f‖∀ f ∈ ℂ(I, Em), λ ∈ Rm
- (iii)
‖f ⊕ h‖ ≤ ‖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:
We can remember some properties of integrability and measurability for fuzzy set-valued mappings [28].
Definition 2. If is fuzzy function, that is
and there exists for some , and now
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
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
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 : I⟶Em; f is continuous functions on I}, equipped with metric
Now, (ℂ, H) is a complete metric space.
We call Cσ space C([−σ, 0], Em) for positive numbers σ. Represent it as well:
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
- (iv)
There are two constants R > 0 and ω like
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], τ + s ∈ I1, and if , now, , and it shows that
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,
Lemma 13. Assume that is locally Lipschitz and continuous. Now, for all compact interval J ⊂ [0, ∞) and ρ > 0, there exists ,
Proof. , then
Definition 14 (see [32].)The RL fractional derivative is defined as
Definition 15 (see [32].)The Caputo fractional derivatives of order α ∈ E+ are defined by
We investigate the Caputo fractional derivative of order 1 < α ≤ 2 in this study; e.g.,
Definition 16 (see [33].)The Wright function ψα is defined by
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)
Lemma 18. For , if is the solution of Equation (4), then, the solution is given by
3. Local Uniqueness and Existence
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.
for some . According to Lemma 13, there exists , for . Suppose . We assume set Em of all functions ; then, on and on . If y ∈ Em, we define continuous function by
Now, for
Clearly, on [0, T]. Further, define
if = 0, 1, ⋯ . Then, for , now
By Equations (29) and (33), we find
In particular,
If we suppose
(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
We have deduced
uniformly on [0, T] as m⟶∞. Therefore,
It follows that
Extending x to in usual way by , then, by (33), we obtain that
If we assume , now
Remark 20. The contraction principle can be used to prove local uniqueness and existence theorem for initial value problems (28). Suppose P : Em⟶Em be defined as
For ,
Hence
is equivalent to metric . Then
Using metric (49) and function is continuous and satisfies the global Lipschitz condition:
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
Proof. On solution, x(φ) satisfies relation
If suppose then
4. Global Existence and Uniqueness
Lemma 22. is complete metric space.
Proof. Suppose be Cauchy sequence in . Now, for each ε > 0, there exists mε ∈ ℕ∀ m, p ≥ mε, and we obtain . Hence
For each is Cauchy sequence in Em. is a complete metric space, and there exists for . Now, x ∈ Eσ. 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 ,
Since
Now
and , we get
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
(J2) is jointly continuous.
(J3) There exists M > 0 and b > 0,
Suppose P : C([−σ, ∞), Em)⟶C([−σ, ∞), Em), defined as
Lemma 23. If satisfies assumptions (J1) − (J2) and a > b, then, .
Proof. Suppose . For each ,
Since , there exists ρ > 1, ,
Thus
Let
Now
Lemma 24. If satisfies (J1) − (J3) and L < a, then, P is contraction on .
Proof. Suppose . Now, for each
From (29), . So
For every ,
Hence
Therefore, P is contraction on .
Theorem 25. Let function satisfies assumptions (J1) − (J3). Then, for each , FFDE (28) has unique solution on .
Proof. Assume
We can deduce that the operator P : Ea⟶Ea is contraction using Lemmas 23 and 24. As a result, there is only one , which is Px = x. x is continuous function,
on . Moreover,
5. Applications
5.1. Fuzzy Fractional Functional Evolution Equations with Distributed Delay
is jointly continuous.
As a result, we get below result.
5.2. Fuzzy Population Models
5.2.1. Fuzzy Fractional Functional Time-Delay Malthusian Model
Zadeh’s extension concept is used to obtain function described by from function f(u) = ru, u ∈ Rm.
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].
5.2.2. Fuzzy Fractional Functional Ehrlich Ascites Tumor Model
This procedure can be continued on [21, 37].
Example 2. To explain the Ehrlich ascities tumor, the following logistic equation was suggested in [9]:
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.
Open Research
Data Availability
No new data were created this study.