Global attractivity for fractional order delay partial integro-differential equations

Saïd Abbas; Dumitru Baleanu; Mouffak Benchohra

doi:10.1186/1687-1847-2012-62

Advances in Difference Equations Cover Image

Research

Open Access

Global attractivity for fractional order delay partial integro-differential equations

Saïd Abbas¹,
Dumitru Baleanu^{2, 3}Email author and
Mouffak Benchohra⁴

Advances in Difference Equations20122012:62

https://doi.org/10.1186/1687-1847-2012-62

Received: 22 March 2012

Accepted: 15 May 2012

Published: 15 May 2012

Abstract

Our aim in this work is to study the existence and the attractivity of solutions for a system of delay partial integro-differential equations of fractional order. We use the Schauder fixed point theorem for the existence of solutions, and we prove that all solutions are locally asymptotically stable.

AMS (MOS) Subject Classifications: 26A33.

Keywords

delay integro-differential equation left-sided mixed Riemann-Liouville integral of fractional order Caputo fractional-order derivative attractivity solution fixed point

1. Introduction

Fractional calculus is a generalization of the ordinary differentiation and integration to arbitrary non-integer order. The subject is as old as the differential calculus and it has been developed up to nowadays (see Kilbas et al. [1], Hilfer [2]). Fractional differential and integral equations have recently been applied in various areas of Engineering, Mathematics, Physics and Bio-engineering and so on. There has been a significant development in ordinary and partial fractional differential and integral equations in recent years; see the monographs of Baleanu et al. [3], Hilfer [2], Kilbas et al. [1], Lakshmikantham et al. [4], Podlubny [5], and the articles by Abbas et al. [6–8], Vityuk and Golushkov [9]. Recently interesting results of the stability of the solutions of various classes of integral equations of fractional order have obtained by Banaś et al. [10, 11], Darwish et al. [12], Dhage [13, 14] and the references therein.

In this article, we established sufficient conditions for the existence and the attractivity of solutions of the following system of delay integro-differential equations of fractional order of the form

c D_{θ}^{r} u (t, x) = f (t, x, I_{0, x}^{r_{2}} u (t, x), u (t - τ_{1}, x - ξ_{1}), \dots, u (t - τ_{m}, x - ξ_{m}));

for (t, x) \in J : = ℝ_{+} \times [0, b],

(1)

u (t, x) = Φ (t, x); for (t, x) \in \tilde{J} : = [- T, \infty) \times [- ξ, b] \ (0, \infty) \times (0, b],

(2)

\{\begin{matrix} u (t, 0) = φ (t); & t \in [0, \infty), \\ u (0, x) = ψ (x); & x \in [0, b], \end{matrix}

(3)

Where b > 0, θ = (0, 0) ℝ₊ = [0, ∞), τ_i , ξ_i ≥ 0; i = 1..., m, $T = max_{i = 1, \dots m} {τ_{i}}$ , $ξ = max_{i = 1, \dots m} {ξ_{i}}$ , $c D_{θ}^{r}$ is the Caputo fractional derivative of order r = (r₁,r₂) ∈ (0, ∞)×(0, ∞), $I_{0, x}^{r_{2}}$ is the partial Riemann-Liouville integral of order r₂ with respect to x, f : J × ℝ ^m → ℝ is a given continuous function, φ : ℝ₊ → ℝ, ψ : [0, b] → ℝ are absolutely continuous functions with lim_t→∞φ(t) = 0, and ψ(x) = φ(0) for each x ∈ [0, b], and $Φ : \tilde{J} \to ℝ^{n}$ is continuous with φ(t) = Φ(t, 0) for each t ∈ ℝ+, and ψ(x) = Φ(0, x) for each x ∈ [0, b].

This article initiates the question of local attractivity of the solution of problem (1)-(3).

2. Preliminaries

In the following, we present briefly notations, definitions, and preliminary facts which are used throughout this article. By L¹([0, a] × [0, b]); a, b > 0, we denote the space of Lebesgue-integrable functions u : [0, a] × [0, b] → ℝ with the norm

|| u || 1 = \int_{0}^{a} \int_{0}^{b} | u (t, x) | d x d t .

By BC := BC([−T, ∞)×[−ξ, b]) we denote the Banach space of all bounded and continuous functions from [−T, ∞) × [−ξ, b] into ℝ equipped with the standard norm

|| u || B C = sup_{(t, x) \in [- T, \infty) \times [- ξ, b]} | u (t, x) | .

For u₀ ∈ BC and η ∈ (0, ∞), we denote by B(u₀, η), the closed ball in BC centered at u₀ with radius η.

Definition 2.1[15]Let ρ ∈ (0, ∞) and u ∈ L¹([0, a]×[0, b]),a, b > 0. The partial Riemann-Liouville integral of order ρ of u(t, x) with respect to t is defined by the expression

I_{0, t}^{r} u (t, x) = \frac{1}{Γ (ρ)} \int_{0}^{t} {(t - s)}^{ρ - 1} u (s, x) d s, f o r a l m o s t a l l (t, x) \in [0, a] \times [0, b] .

Analogously, we define the integral

I_{0, x}^{r} u (t, x) = \frac{1}{Γ (ρ)} \int_{0}^{x} {(x - s)}^{ρ - 1} u (t, s) d s, for almost all (t, x) \in [0, a] \times [0, b] .

Definition 2.2[9]Let r = (r₁, r₂) ∈ (0, ∞) × (0, ∞), θ = (0, 0) and u ∈ L¹([0, a] × [0, b]). The left-sided mixed Riemann-Liouville integral of order r of u is defined by

(I_{θ}^{r} u) (t, x) = \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{r_{1} - 1} {(x - s)}^{r_{2} - 1} u (s, τ) d s d τ .

In particular,

(I_{θ}^{θ} u) (t, x) = u (t, x), (I_{θ}^{σ} u) (t, x) = \int_{0}^{t} \int_{0}^{x} u (τ, s) d s d τ; for almost all (t, x) \in [0, a] \times [0, b],

where σ = (1, 1). For instance, $I_{θ}^{r} u$ exists for all r₁, r₂ ∈ (0, ∞), when u ∈ L¹([0, a] × [0, b]).

Note also that when u ∈ C([0, a] × [0, b]), then

(I_{θ}^{r} u) \in C ([0, a] \times [0, b])

, moreover

(I_{θ}^{r} u) (t, 0) = (I_{θ}^{r} u) (0, x) = 0; t \in [0, a], x \in [0, b] .

Example 2.3 Let λ, ω ∈ (−1, ∞) and r = (r₁, r₂) ∈ (0, ∞) × (0, ∞), then

I_{θ}^{r} t^{λ} x^{ω} = \frac{Γ (1 + λ) Γ (1 + ω)}{Γ (1 + λ + r_{1}) Γ (1 + ω + r_{2})} t^{λ + r_{1}} x^{ω + r_{2}}, f o r a l m o s t a l l (t, x) \in [0, a] \times [0, b] .

By 1 − r we mean (1 − r₁, 1 − r₂) ∈ (0, 1] × (0, 1]. Denote by $D_{t x}^{2} : = \frac{\partial^{2}}{\partial t \partial x}$ , the mixed second order partial derivative.

Definition 2.4[9]Let r ∈ (0, 1] × (0, 1] and u ∈ L¹([0, a] × [0, b]). The Caputo fractional-order derivative of order r of u is defined by the expression $c D_{θ}^{r} u (t, x) = (I_{θ}^{1 - r} D_{t x}^{2} u) (t, x)$ .

The case σ = (1, 1) is included and we have

(^{c} D_{θ}^{σ} u) (t, x) = (D_{t x}^{2} u) (t, x), for almost all (t, x) \in [0, a] \times [0, b] .

Example 2.5 Let λ, ω ∈ (−1, ∞) and r = (r₁, r₂) ∈ (0, 1] × (0, 1], then

c D_{θ}^{r} t^{λ} x^{ω} = \frac{Γ (1 + λ) Γ (1 + ω)}{Γ (1 + λ - r_{1}) Γ (1 + ω - r_{2})} t^{λ - r_{1}} x^{ω - r_{2}}, f o r a l m o s t a l l (t, x) \in [0, a] \times [0, b] .

Let ∅ ≠ Ω ⊂ BC, and let G : Ω → Ω, and consider the solutions of equation

(G u)(t, x) = u (t, x) .

(4)

Inspired by the definition of the attractivity of solutions of integral equations (see for instance [10]), we introduce the following concept of attractivity of solutions for Equation (4).

Definition 2.6 Solutions of Equation (4) are locally attractive if there exists a ball B(u₀, η) in the space BC such that, for arbitrary solutions v = v(t, x) and w = w(t, x) of Equation (4) belonging to B(u₀, η) ∩ Ω, we have that, for each × ∈ [0, b],

lim_{t \to \infty} (v (t, x) - w (t, x)) = 0 .

(5)

When the limit (5) is uniform with respect to B(u₀, η) ∩ Ω, solutions of Equation (4) are said to be uniformly locally attractive (or equivalently that solutions of (4) are asymptotically stable).

Lemma 2.7[16]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 ℝ₊ × [0, b], i.e., equicontinuous on every compact of ℝ₊ × [0, b],

(c) The functions from D are equiconvergent, that is, given ε > 0, x ∈ [0, b] there corresponds T (ε, x) > 0 such that |u(t, x)-lim_t→∞u(t, x)| < ε for any t ≥ T (ε, x) and u ∈ D.

3. Main results

Let us start by defining what we mean by a solution of the problem (1)-(3).

Definition 3.1 A function u ∈ BC is said to be a solution of (1)-(3) if u satisfies Equation

(1) on J, Equation (2) on $\tilde{J}$ and condition (3) is satisfied.

Lemma 3.2[6]Let f ∈ L¹([0, a] × [0, b]); a, b > 0. A function u ∈ AC([0, a] × [0, b]) is a solution of problem

{\begin{array}{l} (^{c} D_{θ}^{r} u) (t, x) = f (t, x); (t, x) \in [0, a] \times [0, b], \\ u (t, 0) = φ (t); t \in [0, a], u (0, x) = ψ (x); x \in [0, b], \\ φ (0) = ψ (0), \end{array}

if and only if u(t, x) satisfies

u (t, x) = μ (t, x) + (I_{θ}^{r} f) (t, x); (t, x) \in [0, a] \times [0, b],

where

μ (t, x) = φ (t) + ψ (x) - φ (0) .

Now, we shall prove the following theorem concerning the existence and the attractivity of a solution of problem (1)-(3).

Theorem 3.3 Assume that the function f satisfying the following hypothesis

(H) There exists continuous functions p_i : ℝ₊ × [0, b] → ℝ₊such that

(1 + \sum_{i = 0}^{m} | u_{i} |) |f (t, x, u_{0}, u_{1}, u_{2}, \dots, u_{m})| \leq \sum_{i = 0}^{m} | u_{i} | p_{i} (t, x);

for (t, x) ∈ ℝ₊ × [0, b] and for u_i ∈ ℝ; i = 0,..., m. Moreover, assume that

lim_{t \to \infty} I_{θ}^{r} p_{i} (t, x) = 0; x \in [0, b]; i = 0, \dots, m .

Then the problem (1)-(3) has at least one solution in the space BC. Moreover, solutions of problem (1)-(3) are uniformly locally attractive.

Proof. Set

Φ^{*} : = sup_{(t, x) \in \tilde{J}} Φ (t, x), φ^{*} : = sup_{t \in ℝ_{+}} φ (t) a n d p_{i}^{*} : = sup_{(t, x) \in ℝ_{+} \times [0, b]} I_{θ}^{r} p_{i} (t, x); i = 0, \dots, m .

From (H), we infer that

p_{i}^{*}; i = 0, \dots, m

are finite. Let us define the operator N such that, for any u ∈ BC,

(N u) (t, x) = \{\begin{matrix} Φ (t, x); & (t, x) \in \tilde{J}, \\ φ (t) \\ + I_{θ}^{r} f (t, x, I_{0, x}^{r_{2}} u (t, x), u (t - τ_{1}, x - ξ_{1}), \dots, u (t - τ_{m}, x - ξ_{m})); & (t, x) \in J . \end{matrix}

(6)

The operator N maps BC into BC; Indeed the map N(u) is continuous on [−T, ∞) × [−ξ, b] for any u ∈ BC, and for each (t, x) ∈ J we have

\begin{array}{l} | (N u) (t, x) | \leq | φ (t) | \\ + | I_{θ}^{r} f (t, x, I_{0, x}^{r_{2}} u (t, x), u (t - τ_{1}, x - ξ_{1}), \dots, u (t - τ_{m}, x - ξ_{m})) | \\ \leq | φ (t) | + \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{r_{1} - 1} {(x - s)}^{r_{2} - 1} \\ \times (| I_{0, s}^{r_{2}} u (τ, s) | p_{0} (τ, s) + \sum_{i = 1}^{m} | u (τ - τ_{i}, s - ξ_{i}) | p_{i} (τ, s)) \\ \times {(1 + | I_{0, s}^{r_{2}} u (τ, s) | + \sum_{i = 1}^{m} | u (τ - τ_{i}, s - ξ_{i}) |)}^{- 1} d s d τ . \\ \leq φ^{*} + \sum_{i = 0}^{m} p_{i}^{*}, \end{array}

and for

(t, x) \in \tilde{J}

we have

| (N u) (t, x) | = | Φ (t, x) | \leq Φ^{*} .

Thus,

| | N (u) | |_{B C} \leq max \{Φ^{*}, φ^{*} + \sum_{i = 0}^{m} p_{i}^{*}\} : = η .

(7)

Hence, N(u) ∈ BC. This proves that the operator N maps BC into itself.

By Lemma 3.2, the problem of finding the solutions of the problem (1)-(3) is reduced to finding the solutions of the operator equation N(u)= u. Equation (7) yields that N transforms the ball B_η := B(0, η) into itself. We shall show that N : B_η → B_η satisfies the assumptions of Schauder's fixed point theorem [17]. The proof will be given in several steps and cases.

Step 1: N is continuous.

Let {u_n}_n∈ℕbe a sequence such that u_n → u in B_η . Then, for each (t, x) ∈ [−T, ∞) ×[−ξ, b], we have

\begin{array}{l} |(N u_{n})(t, x) – (N u)(t, x)| \\ \leq \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{r_{1} - 1} {(x - s)}^{r_{2} - 1} \\ \times | f (τ, s, I_{0, s}^{r_{2}} u_{n} (τ, s), u_{n} (τ - τ_{1}, s - ξ_{1}), \dots, u_{n} (τ - τ_{m}, s - ξ_{m})) \\ - f (τ, s, I_{0, s}^{r_{2}} u (τ, s), u (τ - τ_{1}, s - ξ_{1}), \dots, u (τ - τ_{m}, s - ξ_{m}))) | d s d τ . \end{array}

(8)

Case 1. If

(t, x) \in \tilde{J} \cup ([0, T_{0}] \times [0, b]), T_{0} > 0

, then, since u_n → u as n →∞ and f,

I_{0, ξ}^{r_{2}}

, are continuous, (8) gives

| | N (u_{n}) - N (u) | |_{B C} \to 0 as n \to \infty .

Case 2. If (t, x) ∈ (T₀, ∞) × [0, b], T₀ > 0, then from (H) and (8), we get

\begin{array}{l} |(N u_{n})(t, x) – (N u)(t, x)| \\ \leq \frac{2}{Γ (r_{1}) Γ (r_{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{r_{1} - 1} {(x - s)}^{r_{2} - 1} \\ \times (| I_{0, s}^{r_{2}} u (τ, s) | p_{0} (τ, s) + \sum_{i = 1}^{m} | u (τ - τ_{i}, s - ξ_{i}) | p_{i} (τ, s)) \\ \times {(1 + | I_{0, s}^{r_{2}} u (τ, s) | + \sum_{i = 1}^{m} | u (τ - τ_{i}, s - ξ_{i}) |)}^{- 1} d s d τ \\ \leq \sum_{i = 1}^{m} \frac{2}{Γ (r_{1}) Γ (r_{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{r_{1} - 1} {(x - s)}^{r_{2} - 1} p_{i} (τ, s) d s d τ \\ \leq 2 \sum_{i = 1}^{m} I_{θ}^{τ} p_{i} (t, x) . \end{array}

(9)

Since u_n → u as n →∞ and t →∞, then (9) gives

| | N (u_{n}) - N (u) | |_{B C} \to 0 as n \to \infty .

Step 2: N(B_η ) is uniformly bounded.

This is clear since N(B_η ) ⊂ B_η and B_η is bounded.

Step 3: N(B_η ) is equicontinuous on every compact subset [−T, a] × [−ξ, b] of [−T, a] × [−ξ, ∞), a > 0.

Let (t₁, x₁), (t₂, x₂) ∈ [0, a] × [0, b], t₁ < t₂, x₁ < x₂ and let u ∈ B_η . Thus we have

\begin{array}{l} | (N u) (t_{2}, x_{2}) - (N u) (t_{1}, x_{1}) | \leq | φ (t_{2}) - φ (t_{1}) | \\ + \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{0}^{t_{1}} \int_{0}^{x_{1}} [{(t_{2} - τ)}^{r_{1} - 1} {(x_{2} - s)}^{r_{2} - 1} - {(t_{1} - τ)}^{r_{1} - 1} {(x_{1} - s)}^{r_{2} - 1}] \\ \times | f (τ, s, I_{0, s}^{r_{2}} u (τ, s), u (τ - τ_{1}, s - ξ_{1}), \dots, u (τ - τ_{m}, s - ξ_{m})) | d s d τ \\ + \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{t_{1}}^{t_{2}} \int_{x_{1}}^{x_{2}} {(t_{2} - τ)}^{r_{1} - 1} {(x_{2} - s)}^{r_{2} - 1} \\ \times | f (τ, s, I_{0, s}^{r_{2}} u (τ, s), u (τ - τ_{1}, s - ξ_{1}), \dots, u (τ - τ_{m}, s - ξ_{m})) | d s d τ \\ + \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{0}^{t_{1}} \int_{x_{1}}^{x_{2}} {(t_{2} - τ)}^{r_{1} - 1} {(x_{2} - s)}^{r_{2} - 1} \\ \times | f (τ, s, I_{0, s}^{r_{2}} u (τ, s), u (τ - τ_{1}, s - ξ_{1}), \dots, u (τ - τ_{m}, s - ξ_{m})) | d s d τ \\ + \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{t_{1}}^{t_{2}} \int_{0}^{x_{1}} {(t_{2} - τ)}^{r_{1} - 1} {(x_{2} - s)}^{r_{2} - 1} \\ \times | f (τ, s, I_{0, s}^{r_{2}} u (τ, s), u (τ - τ_{1}, s - ξ_{1}), \dots, u (τ - τ_{m}, s - ξ_{m})) | d s d τ . \end{array}

Thus

\begin{array}{l} | (N u) (t_{2}, x_{2}) - (N u) (t_{1}, x_{1}) | \leq | φ (t_{2}) - φ (t_{1}) | \\ + \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{0}^{t_{1}} \int_{0}^{x_{1}} [{(t_{2} - τ)}^{r_{1} - 1} {(x_{2} - s)}^{r_{2} - 1} - {(t_{1} - τ)}^{r_{1} - 1} {(x_{1} - s)}^{r_{2} - 1}] \\ \times \sum_{i = 0}^{m} p_{i} (τ, s) d s d τ + \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{t_{1}}^{t_{2}} \int_{1}^{x_{2}} {(t_{2} - τ)}^{r_{1} - 1} {(x_{2} - s)}^{r_{2} - 1} \sum_{i = 0}^{m} p_{i} (τ, s) d s d τ \\ + \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{t_{1}}^{t_{1}} \int_{x_{1}}^{x_{2}} {(t_{2} - τ)}^{r_{1} - 1} {(x_{2} - s)}^{r_{2} - 1} \sum_{i = 0}^{m} p_{i} (τ, s) d s d τ \\ + \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{t_{1}}^{t_{2}} \int_{0}^{x_{1}} {(t_{2} - τ)}^{r_{1} - 1} {(x_{2} - s)}^{r_{2} - 1} \sum_{i = 0}^{m} p_{i} (τ, s) d s d τ . \end{array}

From continuity of φ, p_i ; i = 0,...,m and as t₁ → t₂ and x₁ → x₂, the right-hand side of the above inequality tends to zero. The equicontinuity for the cases t₁ < t₂ < 0, x₁ < x₂ < 0 and t₁ ≤ 0 ≤ t₂, x₁ ≤ 0 ≤ x₂ is obvious.

Step 4: N(B_η ) is equiconvergent.

Let (t, x) ∈ ℝ₊ × [0, b] and u ∈ B_η , then we have

\begin{array}{l} | (N u) (t, x) | & \leq | φ (t) | + |\frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{r_{1} - 1} {(x - s)}^{r_{2} - 1} \\ \times f (τ, s, I_{0, s}^{r_{2}} u (τ, s), u (τ - τ_{1}, s - ξ_{1}), \dots, u (τ - τ_{m}, s - ξ_{m})) d s d τ| \\ \leq | φ (t) | + \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{r_{1} - 1} {(x - s)}^{r_{2} - 1} \sum_{i = 0}^{m} p_{i} (τ, s) d s d τ \\ \leq | φ (t) | + \sum_{i = 0}^{m} I_{θ}^{r} p_{i} (t, x) . \end{array}

Thus, for each x ∈ [0, b], we get

| (N u) (t, x) | \to 0, a s t \to + \infty .

Hence,

| (N u) (t, x) - (N u) (+ \infty, x) | \to 0, a s t \to + \infty .

As a consequence of Steps 1-4 together with the Lemma 2.7, we can conclude that N : B_η → B_η is continuous and compact. From an application of Schauder's theorem [17], we deduce that N has a fixed point u which is a solution of the problem (1)-(3).

Now we investigate the uniform local attractivity for solutions of problem (1)-(3). Let us assume that u₀ is a solution of problem (1)-(3) with the conditions of this theorem. Consider the ball B(u₀, η*), where

\begin{array}{l} η^{*} : = \frac{1}{Γ (r_{1}) Γ (r_{2})} \sup_{(t, x) \in J} {\int_{0}^{t} \int_{0}^{x} {(t - τ)}^{r_{1} - 1} {(x - s)}^{r_{2} - 1} \\ \times | f (τ, s, I_{0, s}^{r_{2}} u (τ, s), u (τ - τ_{1}, s - ξ_{1}), \dots, u (τ - τ_{m}, s - ξ_{m})) \\ - f (τ, s, I_{0, s}^{r_{2}} u_{0} (τ, s), u_{0} (τ - τ_{1}, s - ξ_{1}), \dots, u_{0} (τ - τ_{m}, s - ξ_{m})) | d s d τ; u \in B C} . \end{array}

Taking u ∈ B(u₀, η*), we have

\begin{array}{l} | (N u)(t, x) - u_{0} (t, x) | & = | (N u)(t, x) - (N u_{0})(t, x) | \\ \leq \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{r_{1} - 1} {(x - s)}^{r_{2} - 1} \\ \times | f (τ, s, I_{0, s}^{r_{2}} u (τ, s), u (τ - τ_{1}, s - ξ_{1}), \dots, u (τ - τ_{m}, s - ξ_{m})) \\ - f (τ, s, I_{0, s}^{r_{2}} u_{0} (τ, s), u_{0} (τ - τ_{1}, s - ξ_{1}), \dots, u_{0} (τ - τ_{m}, s - ξ_{m})) | d s d τ \\ \leq η^{*} . \end{array}

Thus we observe that N is a continuous function such that N(B(u₀, η*)) ⊂ B(u₀, η*). Moreover, if u is a solution of problem (1)-(3), then

\begin{array}{l} | u (t, x) - u_{0} (t, x) | = | (N u) (t, x) - (N u_{0}) (t, x) | \\ \leq \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{r_{1} - 1} {(x - s)}^{r_{2} - 1} \\ \times | f (τ, s, I_{0, s}^{r_{2}} u (τ, s), u (τ - τ_{1}, s - ξ_{1}), \dots, u (τ - τ_{m}, s - ξ_{m})) \\ - f (τ, s, I_{0, s}^{r_{2}} u_{0} (τ, s), u_{0} (τ - τ_{1}, s - ξ_{1}), \dots, u_{0} (τ - τ_{m}, s - ξ_{m})) | d s d τ \\ \leq \frac{2}{Γ (r_{1}) Γ (r_{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{r_{1} - 1} {(x - s)}^{r_{2} - 1} \sum_{i = 0}^{m} p_{i} (τ, s) d s d τ \\ \leq 2 \sum_{i = 0}^{m} I_{θ}^{τ} p_{i} (t, x) . \end{array}

(10)

By using (10) and the fact that

I_{θ}^{r} p_{i} (t, x) \to 0

as t → ∞; i = 0,..., m we deduce that

lim_{t \to \infty} |u (t, x) - u_{0} (t, x)| = 0 .

Consequently, all solutions of problem (1)-(3) are uniformly locally attractive.

4. An example

As an application and to illustrate our results, we consider the following system of delay integro-differential equations of fractional order

c D_{θ}^{r} u (t, x) = f (t, x, I_{0, x}^{r_{2}} u (t, x), u (t - 1, x - \frac{1}{4}), u (t - \frac{2}{3}, x - \frac{1}{5}));

for (t, x) \in J : = [0, \infty) \times [0, 1],

(11)

u (t, x) = e^{- t}; for (t, x) \in \tilde{J} : = [- 1, \infty) \times [- \frac{1}{4}, 1] \ (0, \infty) \times (0, 1],

(12)

\{\begin{matrix} u (t, 0) = e^{- t}; & t \in [0, \infty), \\ u (0, x) = 1; & x \in [0, 1], \end{matrix}

(13)

where

r = (r_{1}, r_{2}) = (\frac{1}{4}, \frac{1}{2})

and

\{\begin{matrix} f (t, x, u, v, w) = \frac{x t^{\frac{- 3}{4}} (| v | sin t + | w | e^{- \frac{1}{t}})}{2 + | u | + | v | + | w |}; & (t, x) \in (0, \infty) \times [0, 1] a n d u, v, w \in ℝ, \\ f (t, x, u, v, w) = 0; & (t, x) \in {0} \times [0, 1] a n d u, v, w \in ℝ . \end{matrix}

We have for each x ∈ [0, ∞), μ(t) = e^-t→ 0 as t → ∞.

Let us notice that the function f satisfies assumption (H), where

p_{0} (t, x) = 0; (t, x) \in ℝ_{+} \times [0, 1],

\{\begin{matrix} p_{1} (t, x) = x t^{- \frac{3}{4}} | sin t |; (t, x) \in (0, \infty) \times [0, 1], \\ p_{1} (0, x) = 0; x \in [0, 1], \end{matrix}

and

\{\begin{matrix} p_{2} (t, x) = x t^{- \frac{3}{4}} e^{- \frac{1}{t}}; (t, x) \in (0, \infty) \times [0, 1], \\ p_{2} (0, x) = 0; x \in [0, 1] . \end{matrix}

Also, for each x ∈ 0[1], we get

\begin{array}{l} I_{θ}^{r} p_{0} (t, x) = 0, \\ I_{θ}^{r} p_{1} (t, x) & = \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{r_{1} - 1} {(x - s)}^{r_{2} - 1} p_{1} (τ, s) d s d τ \\ = \frac{1}{Γ (\frac{1}{4}) Γ (\frac{1}{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{- \frac{3}{4}} {(x - s)}^{- \frac{1}{2}} s τ^{- \frac{3}{4}} | sin τ | d s d τ \\ \leq \frac{1}{Γ (\frac{1}{4}) Γ (\frac{1}{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{- \frac{3}{4}} {(x - s)}^{- \frac{1}{2}} s τ^{- \frac{3}{4}} d s d τ \\ = \frac{Γ (\frac{1}{4}) Γ (2)}{Γ (\frac{5}{4}) Γ (\frac{5}{2})} t^{- \frac{1}{2}} x^{\frac{3}{2}} \to 0 a s t \to \infty, \end{array}

and

\begin{array}{l} I_{θ}^{r} p_{2} (t, x) & = \frac{1}{Γ (r_{1}) Γ (r_{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{r_{1} - 1} {(x - s)}^{r_{2} - 1} p_{2} (τ, s) d s d τ \\ = \frac{1}{Γ (\frac{1}{4}) Γ (\frac{1}{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{\frac{- 3}{4}} {(x - s)}^{\frac{- 1}{2}} s τ^{\frac{- 3}{4}} e^{- \frac{1}{τ}} d s d τ \\ \leq \frac{1}{Γ (\frac{1}{4}) Γ (\frac{1}{2})} \int_{0}^{t} \int_{0}^{x} {(t - τ)}^{\frac{- 3}{4}} {(x - s)}^{\frac{- 1}{2}} s τ^{\frac{- 3}{4}} d s d τ \\ = \frac{Γ (\frac{1}{4}) Γ (2)}{Γ (\frac{5}{4}) Γ (\frac{5}{2})} t^{\frac{- 1}{2}} x^{\frac{3}{2}} \to 0 a s t \to \infty . \end{array}

Thus

lim_{t \to \infty} I_{θ}^{r} p_{i} (t, x) = 0; x \in [0, 1]; i = 0, 1, 2 .

Hence by Theorem 3.3, the problem (11)-(13) has a solution defined on $[- 1, \infty) \times [- \frac{1}{4}, 1]$ and all solutions are uniformly locally attractive on $[- 1, \infty) \times [- \frac{1}{4}, 1]$

Declarations

Acknowledgements

The authors were grateful to the anonymous referees for their valuable comments and remarks which were taken into account in the revised version of the manuscript.

Authors’ Affiliations

(1)

Laboratoire de Mathématiques, Université de Saïda

(2)

Department of Mathematics and Computer Sciences, Cankaya University

(3)

Institute of Space Sciences

(4)

Laboratoire de Mathématiques, Université de Sidi Bel-Abbès

References

Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies. Volume 204. Elsevier Science B.V, Amsterdam; 2006.Google Scholar
Hilfer R: Applications of Fractional Calculus in Physics. World Scientific, New Jersey; 2000.Google Scholar
Baleanu D, Diethelm K, Scalas E, Trujillo JJ: Fractional Calculus Models and Numerical Methods. World Scientific Publishing, New York; 2012.Google Scholar
Lakshmikantham V, Leela S, Vasundhara J: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers, Cambridge; 2009.Google Scholar
Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.Google Scholar
Abbas S, Benchohra M: Darboux problem for perturbed partial differential equations of fractional order with finite delay. Nonlinear Anal Hybrid Syst 2009, 3: 597–604. 10.1016/j.nahs.2009.05.001MathSciNetView ArticleGoogle Scholar
Abbas S, Benchohra M: Darboux problem for implicit impulsive partial hyperbolic differential equations. Electron J Diff Equ 2011, 2011: 15.MathSciNetView ArticleGoogle Scholar
Abbas S, Benchohra M, Vityuk AN: On fractional order derivatives and Darboux problem for implicit differential equations. Fract Calc Appl Anal 2012, 15: 168–182.MathSciNetView ArticleGoogle Scholar
Vityuk AN, Golushkov AV: Existence of solutions of systems of partial differential equations of fractional order. Nonlinear Oscil 2004, 7: 318–325. 10.1007/s11072-005-0015-9MathSciNetView ArticleGoogle Scholar
Banaś J, Dhage BC: Global asymptotic stability of solutions of a functional integral equation. Nonlinear Anal Theory Methods Appl 2008, 69: 1945–1952. 10.1016/j.na.2007.07.038View ArticleGoogle Scholar
Banaś J, Zając T: A new approach to the theory of functional integral equations of fractional order. J Math Anal Appl 2011, 375: 375–387. 10.1016/j.jmaa.2010.09.004MathSciNetView ArticleGoogle Scholar
Darwish MA, Henderson J, O'Regan D: Existence and asymptotic stability of solutions of a perturbed fractional functional integral equations with linear modification of the argument. Bull Korean Math Soc 2011, 48: 539–553. 10.4134/BKMS.2011.48.3.539MathSciNetView ArticleGoogle Scholar
Dhage BC: Global attractivity results for nonlinear functional integral equations via a Krasnoselskii type fixed point theorem. Nonlinear Anal 2009, 70: 2485–2493. 10.1016/j.na.2008.03.033MathSciNetView ArticleGoogle Scholar
Dhage BC: Attractivity and positivity results for nonlinear functional integral equations via measure of noncompactness. Diff Equ Appl 2010, 2: 299–318.MathSciNetGoogle Scholar
Samko SG, Kilbas AA, Marichev OI: Fractional Integrals and Derivatives. Theory Appl Gordon Breach Yverdon 1993.Google Scholar
Corduneanu C: Integral Equations and Stability of Feedback Systems. Acedemic Press, New York; 1973.Google Scholar
Granas A, Dugundji J: Fixed Point Theory. Springer-Verlag New York; 2003.View ArticleGoogle Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.