Existence and Attractivity Results for Coupled Systems of Nonlinear Volterra–Stieltjes Multidelay Fractional Partial Integral Equations
Abstract
We are concerned with some existence and attractivity results of a coupled fractional Riemann–Liouville–Volterra–Stieltjes multidelay partial integral system. We prove the existence of solutions using Schauder’s fixed point theorem; then we show that the solutions are uniformly globally attractive.
1. Introduction
Fractional integral and fractional differential equations are among the most fast growing field in mathematics. They are used to describe many phenomena, especially the ones with long memory. Examples include but are not limited to viscoelasticity, viscoplasticity, biochemistry, control theory, mathematical psychology, mechanics, modeling in complex media (porous, etc.), and electromagnetism [1–4]. In recent years, there has been a significant development in ordinary and partial fractional integral equations; see, for instance, the monographs of Abbas et al. [5–7], Agarwal et al. [8], Kilbas et al. [9], Miller and Ross [10], Podlubny [11], Samko et al. [12], and the papers [13–18] and the references therein.
2. Preliminaries
Definition 1 (see [19].)Let r = (r1, r2)∈(0, ∞)×(0, ∞), θ = (0,0) and u ∈ L1([0, p]×[0, q]). The left-sided mixed Riemann–Liouville integral of order r of u is defined by
Example 2. Let λ, ω ∈ (0, ∞) and r = (r1, r2)∈(0, ∞)×(0, ∞), then
If u is a real-valued function defined on the interval [a, b], then we will use the symbol to denote the variation of u on [a, b]. We say that u is of bounded variation on the interval [a, b] whenever is finite. If , then the symbol indicates the variation of the function t → w(t, s) on the interval [p, q]⊂[a, b], where s is arbitrarily fixed in the interval [c, d]. Analogously we define For more details on the properties of functions of bounded variation we refer the reader to [20].
Now we recall a few properties of the Stieltjes integral included in the lemmas below.
Lemma 3 (see [20], [21].)If u is Stieltjes integrable on the interval [a, b] with respect to a function φ of bounded variation, then
Lemma 4 (see [20], [21].)Let u and v be Stieltjes integrable functions on the interval [a, b] with respect to a nondecreasing function φ such that u(t) ≤ v(t) for t ∈ [a, b]. Then
Definition 5. A solutions of (14) is said to be locally attractive if there exists a ball B(u0, η) in the space BC such that, for arbitrary solutions v = v(t, x) and w = w(t, x) of (14) belonging to B(u0, η)∩Ω, we have that, for each x ∈ [0, b],
Definition 6 (see [15].)The solution v = v(t, x) of (14) is said to be globally attractive if (15) holds for each solution w = w(t, x) of (14). If condition (15) is satisfied uniformly with respect to the set Ω, solutions of (14) are said to be globally asymptotically stable (or uniformly globally attractive).
Lemma 7 (see [22], p. 62.)Let D ⊂ BC. Then D is relatively compact in BC if the following conditions hold:
- (a)
D is uniformly bounded in BC.
- (b)
The functions belonging to D are almost equicontinuous on [−T, ∞)×[−ξ, b], i.e., equicontinuous on every compact subset of [−T, ∞)×[−ξ, b].
- (c)
The functions from D are equiconvergent; that is, given ϵ > 0, x ∈ [−ξ, b], there corresponds λ(ϵ, x) > 0 such that |u(t, x) − limt→∞u(t, x)| < ϵ for any t ≥ λ(ϵ, x) and u ∈ D.
3. Existence and Attractivity Results
Definition 8. By a solution to problem (1)-(2), we mean every coupled functions such that (u, v) satisfies (1) on J and (2) on
-
(H1) There exist positive functions pj ∈ BC; j = 1,2 such that
(16) -
(H2) For all such that t1 < t2, the function s ↦ g(t2, s) − g(t1, s) is nondecreasing on .
-
(H3) The function s ↦ g(0, s) is nondecreasing on .
-
(H4) The functions s ↦ g(t, s) and t ↦ g(t, s) are continuous on for each fixed or , respectively.
-
(H5) There exist continuous functions ; i = 1, …, m, j = 1,2 such that
(17) -
for (t, x, s, y) ∈ J′, ; i = 1, …, m. Moreover, assume that
(18)
Remark 9. Set ,
Theorem 10. Assume that hypotheses (H1)−(H5) hold. Then problem (1)-(2) has at least one solution in the space Moreover, solutions to problem (1)-(2) are uniformly globally attractive.
Proof. Define the operators Nj : BC → BC; j = 1,2 by
Therefore N(u) ∈ BC. The problem of finding the solutions of the coupled system (1)-(2) is reduced to finding the solutions of the operator equation N(u1, u2) = (u1, u2). From (25), we infer that N transforms the ball into itself. Now we will show that N : Bη → Bη satisfies the Schauder’s fixed point theorem [23]. The proof will be presented in several steps and cases.
Step 1 (N is continuous). Let be a sequence such that un → u and vn → v in Bη. Then, for each (t, x)∈[−T, ∞)×[−ξ, b], we have
Case 1. Assume that , then, since (un, vn)→(u, v) as n → ∞ and f1, g, γ are continuous, (26) implies
Case 2. Let (t, x)∈(a, ∞)×[0, b]; a > 0, then from (H5) and (26) we obtain
Step 2 (N(Bη) is uniformly bounded). This fact is obvious because N(Bη) ⊂ Bη and Bη is a bounded set.
Step 3 (N(Bη) is equicontinuous on every compact subset [0, a]×[0, b] of J, a > 0). Let (t1, x1), (t2, x2)∈[0, a]×[0, b], t1 < t2, x1 < x2, and let (u, v) ∈ Bη. Without loss of generality, let us assume that β(t1) ≤ β(t2). Then we obtain
We can also prove that
Step 4 (N(Bη) is equiconvergent). Let (t, x) ∈ J and u ∈ Bη, then we get
Step 5 (the uniform global attractivity of solutions). Now let us study the stability of solutions of the coupled system (1)-(2). Let (u1, u2) and (v1, v2) be two solutions of (1)-(2). Then, for each (t, x)∈[−T, ∞)×[−ξ, b], we obtain
Let (product space) be the Banach space equipped with the following norm:
From the above theorem, we deduce the following consequence.
Corollary 11. Consider the system of nonlinear fractional Riemann–Liouville–Volterra–Stieltjes quadratic multidelay partial integral equations of the form
Suppose that (H2)−(H4) and the following assumptions are verified:
-
There exist positive functions pj ∈ BC, j = 1, …, n, such that
(46) -
There exist continuous functions , i = 1, …, m, j = 1, …, n, such that
(47) -
for (t, x, s, y) ∈ J′, , i = 1, …, m, j = 1, …, n. Moreover, assume that
(48)
4. An Example
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Open Research
Data Availability
No data were used to support this study.