Analytical Approaches on the Attractivity of Solutions for Multiterm Fractional Functional Evolution Equations
Abstract
The most important objective of the current research is to establish some theoretical existence and attractivity results of solutions for a novel nonlinear fractional functional evolution equations (FFEE) of Caputo type. In this respect, we use a familiar Schauder’s fixed-point theorem (SFPT) related to the method of measure of noncompactness (MNC). Furthermore, we consider the operator E and show that it is invariant and continuous. Moreover, we provide an application to show the capability of the achieved results.
1. Introduction
During the recent years, the study of fractional evolution equations (FEE) has attracted a lot of attention. Such class pulls out the interest of such countless creators toward itself, inspired by their broad use in numerical analysis. Fractional Calculus (FC), as much as classic analytics, has discovered significant examples in the study of problem in a thermal system and mechanical system. Also, in certain spaces of sciences like control hypothesis, a fractional differential operator appears to be more reasonable to model than the old style integer order operator. Because of this, FEE has been utilized in models about organic chemistry and medication.
In the last few years, the hypothesis of FEE has been scientifically explored by a major number of extremely fascinating and novel papers (see [1–3]). The existence of global attractivity solutions to the Ψ-Hilfer Cauchy fractional problem is investigated by several researchers (see [4]). Chang et al. [5] used fixed-point theorems to study the asymptotic decay of various operators, as well as the existence and uniqueness of a class of mild solutions of Sobolev fractional differential equations. In [6, 7], the theory of fractional differential equations was discussed. The Ψ-Hilfer fractional derivative was used to investigate the existence, uniqueness, and Ulam-Hyers stabilities of solutions of differential and integro-differential equations.
The existence and attractivity of solutions to the following coupled system of nonlinear fractional Riemann-Liouville-Volterra-Stieltjes quadratic multidelay partial integral equations are investigated by many authors. The properties of bounded variation functions are defined by them (see [8–10]). The attractivity of solutions to the Hilfer fractional stochastic evolution equations is discussed by Yang and others. In circumstances where the semigroup associated with the infinitesimal generator is compact, they establish sufficient criteria for the global attractivity of mild solutions (see [11]). Also, mild solutions for multiterm time-fractional differential equations with nonlocal initial conditions and fractional functional equations (FFE) have been researched (see [12, 13]).
A functional differential equation is a general name for a number for more specific types of DE that are used in different applications. There are delay differential equations (DDE), integro-differential equations, and so on. FC has been effectively applied in different applied zones like computational science and financial aspects. In specific circumstances, we need to solve FEE having more than one differential operator, and this kind of FEE is known as multiterm FEE. The researchers set up the existence of monotonic solution for multiterm PDE in Banach spaces, utilizing the RL-fractional derivative.
The greater part of the current work is concentrated on the existence and uniqueness of the solution for FEE (see [14–16]). The goal of this study is to investigate the existence of solutions to a class of multiterm FFEE on an unbounded interval in terms of bounded and consistent capacities. We also look at several key aspects of the arrangement that are relevant to the concept of attractivity of solution.
The following is the outline for this paper. We review some essential preliminaries in Section 2. In Section 3, we give a few supposition and lemmas or theorems to introduce the consequence of such section for (1) utilizing SFPT. In Section 4, we first review some assistant realities about the idea of MNC and related signs; at that point, we study the existence of solution for (1) applying a well-known Derbo-type fixed-point hypothesis along with the method of MNC. Finally, in Section 5, we discuss a useful application to represent our main result.
2. Preliminaries
In this section, we discuss some known definitions. Likewise, we define a few ideas identified with (1) along with SFPT.
Definition 1 (see [17].)For a function f, the fractional integral of order β with t0 ∈ R is defined as
Definition 2 (see [17].)The RL-derivative of order m − 1 < β < m with t0 ∈ R for a function f ∈ Cm([x0, ∞), R) can be composed as
Definition 3 (see [17].)Caputo derivative of order m − 1 < β < m for a function f ∈ Cm+1([t0, ∞), R) can be composed as
Definition 4 (see [18].)The solution v(x) of IVP (1) is supposed to be attractive if ∃ a constant term c0(t0) > 0 in such a way that
Definition 5 (see [19].)The solution v(t) of IVP (1) is supposed to be attractive, if
Theorem 6 (SFP theorem [20]. If V is nonempty, closed, bounded convex subset of Banach space Y and K : V⟶V is totally continuous, at that point K has a fixed point in V.
3. Attractivity of Solutions with Schauder’s Fixed-Point Principle
The Schauder fixed-point theorem states that any compact convex nonempty subset of a normed space has the fixed-point property, which is one of the most well-known conclusions in fixed-point theory. It is also true in spaces that are locally convex. The Schauder fixed-point theorem has recently been extended to semilinear spaces. The Schauder fixed-point theorem is an extension of the Brouwer fixed-point theorem to topological vector spaces, which may be of infinite dimension.
This section contains the following information: we examine (1) utilizing the SFPT under the following suppositions:
(H1) The function fi(t, vt) is Lebesgue measurable in terms of t for every i = 1, 2, ⋯n, on [t0, ∞), and fi(t, ϕ) is continuous in terms of ϕ on C([−ρ, 0], R).
Proof. Let λ > 0, then
Applying the Laplace transform to (12), we get
Let
Since L[g1(t)](λ) = λ−1, according to the Laplace convolution theorem, we have
Similarly,
Combining equations (20), (22), and (23), we have
Thus, the proof is complete.
Lemma 8. Assume that fi(t, vt) fulfills conditions (H1)-(H3). At that point, (1) has minimum one solution in C([t0 − ρ, ∞), R).
Proof. Define a set P ⊂ C([t0 − ϱ, ∞), R) by
Hence, E(P) is a moderately smaller set in C([t0 − ρ, ∞), R) and all requirements of SFPT are satisfied. In this set, the operator E maps on P and has a fixed point. This reality indicates that (1) has at least one solution in P.
Theorem 9. Assume that conditions (H1)-(H2) are fulfilled; at that point, IVP (1) accepts at the minimum one attractive solution by Definition 4.
Proof. The previous lemma states that there is at least one solution of (1) that belongs to P in (Lemma 8). Then, use the property of function , to show attractivity. As a result, at ∞, all of the functions in P vanish, and therefore, the result of (1) is ⟶0 as x⟶∞.
So, the proof is complete.
4. Uniform Local Attractivity of Solutions with Measure of Noncompactness
The purpose of this section is to look at the solution of (1) in the Banach space (BS), consisting of every single real functions characterized, continuous as well as bounded on by means of the strategy of MNC. It is concentrated on an alternate method to develop some adequate conditions solvability of (1). We assemble a few definitions and assistant realities which will be required further on.
Let F be a BS and ConvY and represent the convex closure and closure of Y as a subset of F. Further, represents the group of all bounded subsets of E, and the represents its subfamily which contains all relatively compact sets. Also, assume that the closed ball is B(y, r) where center = y, radius = r, and Br represents the ball B(ξ, r) with the end of goal that ξ is the zero component of the BS of F.
Definition 11. is supposed to be MNC in F if it fulfills the following criteria:
- (i)
The family is nonempty and
- (ii)
Y⊆Z⇒ν(Y) ≥ ν(Z).
- (iii)
- (iv)
ν(ConvY) = ν(Y)
- (v)
∀λ ∈ [0, 1]
- (vi)
If is a closed sequence set from in such a way that
As a result, the ker(ν) family is referred to as the kernel of MNC of ν.
Definition 12. In F, let ν be an MNC. So the mapping S : C⊆F⟶F is supposed to be a νF-contraction if ∃ a constant term 0 < b < 1 in such way
D⊆C is a bounded closed subset.
Remark 13. As pointed out in [21], global attractivity of solutions implies local attractivity, while the converse is not true.
Theorem 14 (see [22].)Suppose that C is a nonempty, bounded, convex, and closed subset of BS of F, and assume that S : C⟶C is a continuous function which fulfills
Theorem 15. Under the supposition (H4)-(H6), equation (1) has minimum one solution in . In addition, solution of (1) is uniformly locally attractive.
Proof. To begin, we will look at the operator E, which was defined by the formula in the previous section:
Now, ν as given by (45) defines a MNC on ; at that point, the inequality along with Theorem 14 shows that (1) has a solution in BS.
We can derive from the definition of MNC that is convex, nonempty, closed, and bounded. B is an E-invariant set, and the operator E is continuous on it. In addition, remembering the reality that B ∈ kerν and the set belongs to kerν, we infer that all solutions of (1) are consistently locally attractive.
5. Example
Example 17. Consider the FFEE:
This shows that f1(s, vs) ∈ L1/γ(H, C([−1, 0], R)). Hence, all conditions are satisfied, so the solution of (1) is existent and also attractive.
6. Conclusion
The main conclusion of this study is that the multiterm fractional functional evolution equation belongs to a specific class of attractivity. The goal of this study is to investigate the existence of solutions to a class of multiterm FFEE on an unbounded interval in terms of bounded and consistent capacities. We look at some key aspects of the arrangement that are connected to the concept of solution attractivity. We use a familiar Schauder fixed-point theorem (SFPT) related to the method of measure of noncompactness (MNC). We go over some of the auxiliary realities surrounding the concept of MNC and related signs. Using a well-known Derbo-type fixed-point hypothesis and the MNC technique, we investigate the existence of a solution for (1).
Conflicts of Interest
The authors declare that they have no competing interests.
Authors’ Contributions
The authors declare that the study was realized in collaboration with equal responsibility. All authors read and approved the final manuscript.
Acknowledgments
The first author would like to thank “Innovation and improvement project of academic team of Hebei University of Architecture (Mathematics and Applied Mathematics) (TD202006).” The fourth author would like to thank Prince Sattam Bin Abdulaziz University, Al-Kharj, Saudi Arabia.
Open Research
Data Availability
No data were generated or analyzed during the current study.