Volume 2022, Issue 1 5809285
Research Article
Open Access

Analytical Approaches on the Attractivity of Solutions for Multiterm Fractional Functional Evolution Equations

Xiangling Li

Xiangling Li

Department of Mathematics and Physics, Hebei University of Architecture, Zhangjiakou, China 075024, hebiace.edu.cn

Search for more papers by this author
Azmat Ullah Khan Niazi

Azmat Ullah Khan Niazi

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

Search for more papers by this author
Farva Hafeez

Farva Hafeez

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

Search for more papers by this author
Reny George

Corresponding Author

Reny George

Department of Mathematics, College of Science and Humanities in Al-Kharj, Prince Sattam Bin Abdulaziz University, Al-Kharj 11942, Saudi Arabia psau.edu.sa

Search for more papers by this author
Azhar Hussain

Azhar Hussain

Department of Mathematics, University of Chakwal, Chakwal 48800, Pakistan

Search for more papers by this author
First published: 21 June 2022
Academic Editor: Jia-Bao Liu

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 [13]). 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 [810]). 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 [1416]). 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.

Consider IVP of the following FFEE:
(1)
where  CDβ is the Caputo fractional derivative (CFD) of order β > 0, ρ = constant, ϕC([t0ϱ, t0), R), and is the CFD of order 0 < βi < β and f : H × C([−ϱ, 0], R)⟶R, in such a way that H = (t0, ∞) is a predefined function. We additionally consider for any xH the function vt : [−ϱ, 0]⟶R given that vt(s) = v(t + s) for every s ∈ [−ϱ, 0]. We show that (1) has an attractive solution under the broad and favourable assumption using the SFPT and the concept of measure of noncompactness. We believe that by using classic SFPT and a control function, we can achieve a different result.

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 t0R is defined as

(2)
given that the R.H.S is pointwise characterized on [t0, ∞) where Γ(·) is the usual gamma function.

Definition 2 (see [17].)The RL-derivative of order m − 1 < β < m with t0R for a function fCm([x0, ∞), R) can be composed as

(3)

Definition 3 (see [17].)Caputo derivative of order m − 1 < β < m for a function fCm+1([t0, ∞), R) can be composed as

(4)

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

(5)
This means that v(t)⟶0 as like t⟶∞.

Definition 5 (see [19].)The solution v(t) of IVP (1) is supposed to be attractive, if

(6)
for some arrangement w = w(t) of IVP (1).

Theorem 6 (SFP theorem [20]. If V is nonempty, closed, bounded convex subset of Banach space Y and K : VV 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).

(H2) There is a function that is strictly nonincreasing which disappears at infinity in such a way that
(7)
(H3) ∃ a constant α in such a way that for every i = 1, 2, 3 ⋯ n, we have fiL1/α(H, C[−ϱ, 0], R) with
(8)
By condition (H1), IVP (1) is equal to the following condition:
(9)
where β0 = 0 and 0 < βi < β for i = 1, 2, 3 ⋯ n. We define the operator E as
(10)
for each vC([t0ρ, ∞), R).
Consider the IVP of the following FFEE:
(11)
The above system is equal to the following integral:
(12)
provided that the integral (12) exists.

Theorem 7. If (12) holds, then

(13)
where
(14)

Proof. Let λ > 0, then

(15)

Applying the Laplace transform to (12), we get

(16)
for t ≥ 0.
(17)

Let

(18)
and its Laplace transform is given by
(19)
Using (19), we have
(20)

Since L[g1(t)](λ) = λ−1, according to the Laplace convolution theorem, we have

(21)
(22)

Similarly,

(23)

Combining equations (20), (22), and (23), we have

(24)
The above system can also be written as
(25)

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 PC([t0ϱ, ∞), R) by

(26)

P is clearly a nonempty, convex, closed, and bounded subset of C([t0ϱ, ∞), R). To show that (1) has a solution, it just necessities to prove that in P, the operator E has a fixed point. To begin with, we prove that P is E-invariant. This is without any problem acquired by condition (H2). Now, we should explain that E is continuous. For this, suppose that is a sequence of a function to such an extent that vmPm and vmv as m⟶∞. Clearly, by the continuity fi(t, vt), we get
(27)
Assume that ε > 0 is given. After all, is strongly decreasing. At that point for some T > t0, we have
(28)
For t0 < tT, we get
(29)
which disappear when m⟶∞. Then again, since P in E-invariant, at that point, (28) yields
(30)
Thus, for t > t0, this implies that
(31)
If x ∈ [t0ρ, t0], we clearly have |[Evm](t) − [Ev](t)| = 0. Therefore, the continuity E has been proven. Then, we prove that E(P) is equicontinuous. Assume that ε > 0 is given, t1, t2 ∈ (t0, T] where T > t0 is picked with the end of goal that (28) holds. Applying (H3), we get
(32)
If t1, t2 > T, at that point, since P is E-invariant and using(28), we get
(33)
If t0 < t1 < T < t2, it can be seen that t1t2 which implies that (t1T)∧(t2T); then, according to the above discussion, we have got
(34)
Thus, we resolve that E(P) is equicontinuous on [t0, T]∀ T > 0. Since E(P) ⊂ P and from the set P, it is clear that
(35)

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.

Remark 10. The conclusion of Theorem 9 does not imply that solutions are globally attractive in the sense of Definition 5.

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)

    YZν(Y) ≥ ν(Z).

  • (iii)

  • (iv)

    ν(ConvY) = ν(Y)

  • (v)

    λ ∈ [0, 1]

(36)
  • (vi)

    If is a closed sequence set from in such a way that

(37)
then
(38)

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 : CFF is supposed to be a νF-contraction if ∃ a constant term 0 < b < 1 in such way

(39)

DC 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 : CC is a continuous function which fulfills

(40)
for every DC, where ν represents an arbitrary MNC and ϕ : R+R+ represents a monotone nondecreasing function with limm⟶∞ϕm(t) = 0∀ tR+. At that point, S has minimum one fixed point in C.

We will work in BS, where t0 and ρ are given in (1). The functional space is furnished with the standard norm which is ‖v‖ = sup{v(t): tt0ρ}. For this reason, we present a MNC in the space which is built like the one in the space BC(R+). Suppose that B is a bounded subset in BS of and T > t0ρ is given. For vB and ε > 0, we denote by the modulus of continuity of the function v on [t0ρ, T], i.e.,
(41)
Now, suppose that we take
(42)
If t > t0ρ is a fixed number, we use the term
(43)
as well as
(44)
Consider ν defined on the family by formula
(45)
(H4) For all is continuous and there is a continuous function in such a way that
(46)
where is a function that is superadditive, i.e,
(H5) Assume that ∀i = 1, 2 ⋯ n such that the following constant exists:
(47)
where
(48)
(H6) ∃ a nonnegative result r0 of the following inequality
(49)
where
(50)

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:

(51)

. From the condition (H4)-(H6), the function Ev is continuous on . We note that in E-invariant. For any and t > t0, we have
(52)
The above expression shows that Ev is bounded on the interval [t0, ∞), and connecting with the fact that ϕC([t0ρ, t0], R), we infer that ; thus, E changes into itself. Then again, utilize condition (H6)∃ a number r0 > 0 which appreciates in (49). For such digit, the operator E changes the ball of into itself. Consider a nonempty subset Y of the ball as well as fix x, yY in whatever way you want. At that point, for fixed t > t0, we get
(53)
which implies that
(54)
Additionally, let us take T > t0 as a fixed and ε > 0. Assume that vY is chosen and suppose that t1, t2 ∈ (t0, T] to such an extent that |t1t2| ≤ ε. Without loss of consensus, we may suppose that t1 < t2. At that point, thinking about our hypothesis, we obtain
(55)
for , where the symbols used in above term are given by
(56)
Now, consider that the function fi(s, vs) is uniformly continuous on ; we simply get the following expression:
(57)
which along with (54) and superadditive of implies that
(58)

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.

To show that all solutions of (1) are consistently locally attractive, let us put and and so on, where and r0 = radius and center = 0 in the space . We basically see that and for m = 1, 2, ⋯, and furthermore, the set of this sequence is convex, closed, and nonempty. Moreover, in the light of the current inequality, we get
(59)
Combining all the facts that as well as condition (H5) with the recent above inequality, we have
(60)

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.

Remark 16. Note that (1) has at least one attractive solution in the sense of Definition 4.

5. Example

Example 17. Consider the FFEE:

(61)

We can clearly see that condition (H1) holds. To show that condition (H2) is fulfilled, since v(0) = 0 and v(0) = 0, we have the following expression ∀t > 0:
(62)
For any β, γR, the following identity is obtained:
(63)
So (62) implies that
(64)
where
(65)
Clearly, this is a nonincreasing function on and demonstrates that condition (H2) is true. Finally, it is necessary to show that condition (H3) is valid. Assume for a moment that γ = 1/10 ∈ (0, min{1/2, 1/6}); at that point, we have
(66)
which proves that f0(s, vs) = sin(v(s − 1)/3)(|v(s − 1)| + s + 1)−4/5L1/γ(H, C([−1, 0], R)). Likewise, for f1(s, vs) = (s + 1)−1/2e−sinv(s − 1), we deduce that
(67)

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.

    Data Availability

    No data were generated or analyzed during the current study.

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