Volume 2018, Issue 1 8735614
Research Article
Open Access

Existence and Attractivity Results for Coupled Systems of Nonlinear Volterra–Stieltjes Multidelay Fractional Partial Integral Equations

Saïd Abbas

Saïd Abbas

Laboratory of Mathematics, Geometry, Analysis, Control and Applications, Tahar Moulay University of Saïda, P.O. Box 138, EN-Nasr, 20000 Saïda, Algeria univ-saida.dz

Search for more papers by this author
Mouffak Benchohra

Mouffak Benchohra

Laboratory of Mathematics, Djillali Liabes University of Sidi Bel-Abbès, P.O. Box 89, Sidi Bel-Abbès 22000, Algeria univ-sba.dz

Search for more papers by this author
Naima Hamidi

Naima Hamidi

Laboratory of Mathematics, Djillali Liabes University of Sidi Bel-Abbès, P.O. Box 89, Sidi Bel-Abbès 22000, Algeria univ-sba.dz

Search for more papers by this author
Gaston N’Guérékata

Corresponding Author

Gaston N’Guérékata

Department of Mathematics, Morgan State University, 1700 E. Cold Spring Lane, Baltimore, MD 21252, USA morgan.edu

Search for more papers by this author
First published: 04 October 2018
Citations: 3
Academic Editor: Jozef Banas

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 [14]. 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. [57], Agarwal et al. [8], Kilbas et al. [9], Miller and Ross [10], Podlubny [11], Samko et al. [12], and the papers [1318] and the references therein.

In this paper we study the existence and attractivity of solutions to the following coupled system of nonlinear fractional Riemann–Liouville–Volterra–Stieltjes quadratic multidelay partial integral equations:
(1)
(2)
where ,   i = 1, …, m,   T = maxi=1,…,m{τi}, , are given continuous functions, limtα(t) = ,   μj, j = 1,2, are bounded, J = {(t, x, s, y) ∈ J2 : st,   yx}, , are continuous and bounded functions with limtΦj(t, x) = 0,   x ∈ [−ξ, b],   μj(α(t), 0) = Φj(t, 0) for each and μj(α(0), x) = Φj(0, x), for each x ∈ [0, b], and Γ(·) is the (Euler’s) Gamma function defined by
(3)

2. Preliminaries

In this section, we recall some notations, definitions, and preliminary facts which will be used in this paper. L1([0, p]×[0, q]),   p, q > 0, will denote the space of all Lebesgue-integrable functions equipped with the norm
(4)
BCBC([−T, )×[−ξ, b]) will denote the usual Banach space of all bounded and continuous functions from [−T, )×[−ξ, b] into equipped with the standard norm
(5)
It is clear that the product space turns out to be a Banach space if equipped with the norm
(6)

Definition 1 (see [19].)Let r = (r1, r2)∈(0, )×(0, ),   θ = (0,0) and uL1([0, p]×[0, q]). The left-sided mixed Riemann–Liouville integral of order r of u is defined by

(7)
provided the integral exists.

Example 2. Let λ, ω ∈ (0, ) and r = (r1, r2)∈(0, )×(0, ), then

(8)

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 tw(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].

If u and φ are two real-valued functions defined on the interval [a, b], then under some appropriate conditions (see [20]) we can define the Stieltjes integral (in the Riemann–Stieltjes sense)
(9)
of the function u with respect to φ. In this case we say that u is Stieltjes integrable on [a, b] with respect to φ. Several conditions are known to ensure Stieltjes integrability [20]. One of the most frequently used requires that u is continuous and φ is of bounded variation on [a, b].

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

(10)

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

(11)

From now on, we will also consider Stieltjes integrals of the form
(12)
and Riemann–Liouville–Stieltjes integrals of fractional order of the form
(13)
where and the symbol ds indicates the integration with respect to s.
Let ΩBC, and let G : ΩΩ, and consider the solutions of equation
(14)
In light of the definition of the attractivity of solutions of integral equations (for instance, [15]), we will introduce the following concept of attractivity of solutions for (14).

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],

(15)
When the limit (15) is uniform with respect to B(u0, η)∩Ω, solutions of (14) are said to be uniformly locally attractive (or equivalently that solutions of (14) are locally asymptotically stable).

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 DBC. 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) − limtu(t, x)| < ϵ for any tλ(ϵ, x) and uD.

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

We will use the following assumptions in the sequel:
  • (H1) There exist positive functions pjBC;     j = 1,2 such that

    (16)

  •  (H2) For all such that t1 < t2, the function sg(t2, s) − g(t1, s) is nondecreasing on .

  • (H3) The function sg(0, s) is nondecreasing on .

  • (H4) The functions sg(t, s) and tg(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 ,

(19)
for i = 1, …, m and j = 1,2. From the above assumptions, we infer that are finite.

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 : BCBC; j = 1,2 by

(20)
and consider the operator such that, for any ,
(21)
From the hypotheses above, we deduce that N(u) is continuous on [−T, )×[−ξ, b]. Now let us prove that for any ujBC;     j = 1,2. For arbitrarily fixed (t, x) ∈ J, we have
(22)
and for all and each ujBC,   j = 1,2, we have
(23)
Thus,
(24)
Hence
(25)

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 unu and vnv in Bη. Then, for each (t, x)∈[−T, )×[−ξ, b], we have

(26)

Case 1. Assume that , then, since (un, vn)→(u, v) as n and f1, g, γ are continuous, (26) implies

(27)

Case 2. Let (t, x)∈(a, )×[0, b];     a > 0, then from (H5) and (26) we obtain

(28)
Since t, then (28) gives
(29)
Let us show that N2 is continuous in the same way as continuity of N1.

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

(30)
Thus
(31)
Using continuity of the functions μ1, α, β, γ, f1, g, h, qi,   i = 1, …m, and since t1t2 and x1x2, the right-hand side of the above inequality tends to zero. The equicontinuity of N1 for the cases t1 < t2 < 0, x1 < x2 < 0 and t1 ≤ 0 ≤ t2, x1 ≤ 0 ≤ x2 is immediate.

We can also prove that

(32)
Hence
(33)

Step 4 (N(Bη) is equiconvergent). Let (t, x) ∈ J and uBη, then we get

(34)
Now, since α(t) → as t, we conclude that, for each x ∈ [0, b], we obtain
(35)
Also, for each x ∈ [−ξ, 0], we get
(36)
Then, for each x ∈ [−ξ, b], we get
(37)
Hence,
(38)
In view of Steps 1 to 4, along with the Lemma 7, we deduce that N : BηBη is continuous and compact. From an application of Schauder’s theorem [23], we conclude that N has a fixed point (u, v) which is a solution of the coupled system (1)-(2).

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

(39)
Thus
(40)
Hence
(41)
By using (41) and (H5), we obtain
(42)
Therefore, all solutions of the coupled system (1)-(2) are uniformly globally attractive.

Let (product space) be the Banach space equipped with the following norm:

(43)

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

(44)
(45)
where r1, r2 ∈ (0, ), τi, ξi ≥ 0; i = 1, …, m, T = maxi=1,…,m{τi}, , , , , j = 1, …, n are given continuous functions, limtα(t) = ,   μj; j = 1, …, n are bounded, J = {(t, x, s, y) ∈ J2 : st,   yx}, ; j = 1,2 are continuous and bounded functions with limtΦj(t, x) = 0;     x ∈ [−ξ, b],   μj(α(t), 0) = Φj(t, 0) for each and μj(α(0), x) = Φj(0, x); for each x ∈ [0, b].

Suppose that (H2)−(H4) and the following assumptions are verified:

  • There exist positive functions pjBC, 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)

Then problem (44)-(45) has at least one solution in the space In addition, the solutions are uniformly globally attractive.

4. An Example

To illustrate our results, we consider the following coupled system of nonlinear fractional order Riemann–Liouville–Volterra–Stieltjes quadratic multidelay partial integral equation
(49)
(50)
where , r1 = 1/4, r2 = 1/2, α(t) = β(t) = γ(t) = t;
(51)
if    (t, x, s, y) ∈ J, ,
(52)
First, we can see that limtα(t) = and limtΦj(t, x) = 0;     j = 1,2. Next, the assumption (H1) is satisfied with pj(t, x) = x2et and consequently Also, it is clear that the function g satisfies assumptions (H2)−(H4).
Finally, the functions fj, j = 1,2, satisfy the assumption (H5). Indeed, fj are continuous and satisfy the inequality
(53)
(t, x, s, y) ∈ J, Also, we have
(54)
and
(55)
For i = 1,2, we have also
(56)
and
(57)
Consequently, Theorem 10 implies that the coupled system (49)-(50) has a solution defined on [−1/2, )×[−2,1]; moreover solutions of this system are uniformly globally attractive.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Data Availability

No data were used to support this study.

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