A fixed point approach to the Mittag-Leffler-Hyers-Ulam stability of a fractional integral equation

Nasrin Eghbali; Vida Kalvandi; John M. Rassias

doi:10.1515/math-2016-0019

Abstract

In this paper, we have presented and studied two types of the Mittag-Leffler-Hyers-Ulam stability of a fractional integral equation. We prove that the fractional order delay integral equation is Mittag-Leffler-Hyers-Ulam stable on a compact interval with respect to the Chebyshev and Bielecki norms by two notions.

Keywords:: Fractional order delay integral equation; Mittag-Leffler-Hyers-Ulam stability; Chebyshev norm; Bielecki norm; 26A33; 34D10; 45N05

1. Introduction

Fractional differential and integral equations can serve as excellent tools for description of mathematical modelling of systems and processes in the fields of economics, physics, chemistry, aerodynamics, and polymerrheology. It also serves as an excellent tool for description of hereditary properties of various materials and processes. For more details on fractional calculus theory, one can see the monographs of Kilbas et al. [1], Miller and Ross [2] and Podlubny [3]. The stability of functional equations was originally raised by Ulam in 1940 in a talk given at Wisconsin University. The stability problem posed by Ulam was the following: Under what conditions there exists an additive mapping near an approximately additive mapping? (for more details see [4]).The first answer to the question of Ulam was given by Hyers [5] in 1941 in the case of Banach spaces: Let X₁, X₂ be two Banach spaces and ε > 0. Then for every mapping f: X₁ → X₂ satisfying ||f(x + y) − f(x) − f(y)|| ≤ ε for all x, y ∈ X₁, there exists a unique additive mapping g: X₁ → X₂ with the property ||f(x) − g(x)|| ≤ ε. ∀x ∈ X₁.

This type of stability is called Hyers-Ulam stability. In 1978, Th. M. Rassias [6] provided a remarkable generalization of the Hyers-Ulam stability by considering variables on the right-hand side of the inequalities. The concept of stability for a functional equation arises when we replace the functional equation by an inequality which acts as a perturbation of the initial equation (see [7–10]). Recently some authors ([11–18]) extended the Ulam stability problem from an integer-order differential equation to a fractional-order differential equation. For more results on Ulam type stability of fractional differential equations see [19–23].

In this paper we present both Mittag-Leffler-Hyers-Ulam stability and Mittag-Leffler-Hyers-Ulam-Rassias stability for the following fractional Volterra type integral equations with delay of the form

y (x) = I_{c^{+}}^{q} f (x, x, y (x), y (α (x))) = \frac{1}{Γ (q)} \int_{c}^{x} {(x - τ)}^{q - 1} f (x, τ, y (τ), y (α (τ))) d τ,

(1)

where $q \in (0, 1), I_{c^{+}}^{q}$ is the fractional integral of the order q, Γ(.) is the Gamma function, a, b and c are fixed real numbers such that −∞ < a ≤ x ≤ b < +∞, and c ∈ (a, b). Also f: [a, b] × [a, b] × ℝ × ℝ → ℝ is a continuous function and α: [a, b] → [a, b] is a continuous delay function which fulfils α(x) ≤ x, for all x ∈ [a, b].

2 Preliminaries

In this section, we introduce notations, definitions and preliminaries which are used throughout this paper.

Definition 2.1.

Given an interval [a, b] of ℝ, the fractional order integral of a functionh ∈ L¹ ([a, b], ℝ) of orderγ ∈ ℝ₊is defined by

I_{a^{+}}^{γ} h (t) = \frac{1}{Γ (γ)} \int_{a}^{t} {(t - s)}^{γ - 1} h (s) d s,

where Γ(.) is the Gamma function.

In the sequel, we will use a Banach′s fixed point theorem in a framework of a generalized complete metric space. For a nonempty set X, we introduce the definition of the generalized metric on X.

Definition 2.2.

For a functionhgiven on the interval [a, b], theαth Riemann-Liouville fractional order derivative of h, is defined by

(D_{a^{+}}^{α} h) (t) = \frac{1}{Γ (n - α)} (\frac{d}{d t})^{n} \int_{a}^{t} {(t - s)}^{(n - α - 1)} h (s) d s,

where n = [α] + 1 and [α] denotes the integer part ofα.

Definition 2.3.

For a function h given on the interval [a, b], the Caputo fractional order derivative of h, is defined by

(^{c} D_{a^{+}}^{α} h (t) = \frac{1}{Γ (n - α)} \int_{a}^{t} {(t - s)}^{n - α - 1} h^{(n)} (s) d s,

where n = [α] + 1.

Definition 2.4.

A function d: X × X → [0, +∞] is called a generalized metric on X if and only if it satisfies the following three properties:

1)d(x, y) = 0 if and only if x = y;
2)d(x, y) = d(y, x) for allx, y ∈ X;
3)d(x, z) ≤ d(x, y + d(y, z) for all x, y, z ∈ X.

The above concept differs from the usual concept of a complete metric space by the fact that not every two points in X have necessarily a finite distance. One might call such a space a generalized complete metric space.

We now introduce one of the fundamental results of the Banach's fixed point theorem in a generalized complete metric space.

Theorem 2.5.

Let (X, d) be a generalized complete metric space. Assume that ∧ : X → X is a strictly contractive operator with the Lipschitz constant L < 1. If there exists a non negative integer k such thatd(∧^{k + 1}x, ∧^kx) < ∞ for somex ∈ X, then, the following properties are true:

(a)The sequence ∧ⁿxconvergences to a fixed pointx* of ∧;
(b)x* is the unique fixed point of ∧in X* = {y ∈ X|d(∧^kx, y) < ∞};
(c)If y ∈ X*, then d $d (y, x *) \leq \frac{1}{1 - L} d (Λ y, y)$ .

Theorem 2.6

([24, Thorem 1]). Suppose that ã is a nonnegative function locally integrable on [0, ∞) and g̃(t) is a nonnegative, nondecreasing continuous function defined on g̃(t) ≤ M, t ∈ [0, ∞), and suppose u(t) is nonnegative and locally integrable on [0, ∞)with

\begin{matrix} \tilde{a} (t) + \tilde{g} (t) \int_{0}^{t} {(t - s)}^{q - 1} u (s) d s, & t \in [0, \infty) . \end{matrix}

Then

\begin{matrix} u (t) \leq \tilde{a} (t) + \int_{0}^{t} [\sum_{n = 1}^{\infty} \frac{{(\tilde{g} (t) γ (q))}^{n}}{Γ (n q)} {(t - s)}^{n q - 1} \tilde{a} (s)] d s, & t \in [0, \infty) . \end{matrix}

Remark 2.7

([24]). Under the hypothesis of Theorem 2.6, let ã(t) be a nondecreasing function on [0, ∞). Then we have u(t) ≤ ã(t)E_q[g̃(t) Γ(q)t^q], where E_q is the Mittag-Leffler function defined by $E_{q} [z] = \sum_{k = 0}^{\infty} \frac{z^{k}}{Γ (k q + 1)}$ , z ∈ 𝕔.

Remark 2.8

([16]). Let y ∈ C(I, ℝ) be a solution of the following inequality

|^{C} D_{t}^{α} y (t) - f (t, y (t), y (g (t))) | \leq ε .

Then y is a solution of the following integral inequality:

| y (t) - y (0) - \frac{1}{Γ (α)} \int_{0}^{t} {(t - s)}^{α - 1} f (s, y (s), y (g (s))) d s | \leq ε .

3 Mittag-Leffler-Hyers-Ulam stability of the first type

Definition 3.1.

Equation (1) is Mittag-Leffler-Ulam-Hyers stable of first type, with respect to E_q, if there exists a real number c > 0 such that for each ε > 0 and for each solution y of the inequality

| y (x) - \frac{1}{Γ (q)} \int_{c}^{x} {(x - τ)}^{q - 1} f (x, τ, y (τ), y (α (τ))) d τ | \leq ε E_{q} (τ^{q}),

(2)

there exists a unique solution y₀of equation (1) satisfying the following inequality:

| y (x) - y_{0} (x) | \leq c ε E q (x^{q}) .

Theorem 3.2.

Suppose that α: [a, b] → [a, b] is a continuous function such that α(x) ≤ x, for all x ∈ [a, b] and f: [a, b] × [a, b] × ℝ × ℝ → ℝ is a continuous function which satisfies the following Lipschitz condition

| f (x, τ, y_{1} (τ), y_{1} (α (τ)) - f (x, τ, y_{2} (τ), y_{2} (α (τ)) | \leq L | y_{1} - y_{2} |,

(3)

for any x, τ ∈ [a, b] and y₁, y₂ ∈ ℝ and equation (2). Then, the equation (1) is Mittag-Leffler-Hyers-Ulam stable of the first type.

Proof

Let us consider the space of continuous functions

X = {g : [a, b] \to ℝ | g is  continuous} .

Similar to the well-known Theorem 3.1 of [25], endowed with the generalized metric defined by

\begin{matrix} d (g, h) = inf {K \in [0, \infty] | & | g (x) - h (x) | \leq K ε E_{q} (x^{q}) \forall x \in [a, b]}, \end{matrix}

(4)

it is known that (X, d) is a complete generalized metric space. Define an operator ∧ : X → X by

(Λ g) (x) \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} g (x, τ, g (τ), g (α (τ))) d τ,

(5)

for all g ∈ X and x ∈ [a, b]. Since g is a continuous function, it follows that ∧g is also continuous and this ensures that ∧ is a well-defined operator. For any g, h ∈ X, let K_gh ∈ [0, ∞] such that

| g (x) - h (x) | \leq K_{g h} ε E_{q} (x^{q})

(6)

for any x ∈ [a, b]. From the definition of ∧, (3) and (6) we have

\begin{matrix} | (Λ g) (x) - (Λ h) (x) | & = \frac{1}{Γ (q)} | \int_{0}^{x} {(x - τ)}^{q - 1} (f (x, τ, g (τ), g (α (τ)) - f (x, τ, h (τ), h (α (τ))) d τ | \\ \leq \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} | g (τ) - h (τ) | d τ \leq \frac{L K_{g h} ε}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} E_{q} (τ^{q}) d τ \\ \leq \frac{L K_{g h} ε}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} \sum_{k = 0}^{\infty} \frac{τ^{k q}}{Γ (k q + 1)} d τ \\ = \frac{L K_{g h} ε}{Γ (q)} \sum_{k = 0}^{\infty} \frac{1}{Γ (k q + 1)} \int_{0}^{x} {(x - τ)}^{q - 1} τ^{k q} d τ \\ = \frac{L K_{g h} ε}{Γ (q)} \sum_{k = 0}^{\infty} \frac{1}{Γ (k q + 1)} \int_{0}^{x} {(x - x t)}^{q - 1} (x t)^{k q} x d t \\ = \frac{L K_{g h} ε}{Γ (q)} \sum_{k = 0}^{\infty} \frac{x^{(k + 1) q}}{Γ (k q + 1)} \int_{0}^{x} {(1 - t)}^{q - 1} t^{k q} d t \\ = \frac{L K_{g h} ε}{Γ (q)} \sum_{k = 0}^{\infty} \frac{x^{(k + 1) q}}{Γ (k q + 1)} \frac{Γ (q) Γ (k q + 1)}{Γ (q + k q + 1))} \\ = L K_{g h} ε \sum_{k = 0}^{\infty} \frac{x^{(k + 1) q}}{Γ ((k + 1) q + 1)} \leq L K_{g h} ε \sum_{k = 0}^{\infty} \frac{x^{n q}}{Γ (n q + 1)} = L K_{g h} ε E_{q} (x^{q}) \end{matrix}

for all x ∈ [a, b]; that is, d(∧g, ∧h) ≤ LK_ghεE_q(x^q). Hence, we can conclude that d(∧g, ∧h) ≤ Ld(g, h) for any g, h ∈ X, and since 0 < L < 1, the strictly continuous property is verified.

Let us take g₀ ∈ X. From the continuous property of g₀ and ∧g₀, it follows that there exists a constant 0 < K₁ < ∞ such that

| (Λ g_{0}) (x) - g_{0} (x) | = | \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} f (x, τ, g_{0} (τ), g_{0} (α (τ))) d τ - g_{0} (x) | \leq K_{1} E_{q} (x^{q}),

for all x ∈ [a, b], since f and g₀ are bounded on [a, b] and min_{x∈[a, b]}E_q(x^q) > 0. Thus, (4) implies that d(∧g₀, g₀) < ∞.

Therefore, according to Theorem 2.5 (a), there exists a continuous function y₀ : [a, b] → ℝ such that ∧ⁿg₀ → y₀ in (X, d) as n → ∞ and ∧y₀ = y₀; that is, y₀ satisfies the equation (1) for every x ∈ [a, b].

We will now prove that {g ∈ X|d(g₀, g) < ∞} = X. For any g ∈ X, since g and g₀ are bounded on [a, b] and min_{x∈[a, b]}E_q(x^q) > 0, there exists a constant 0 < C_g < ∞ such that

| g_{0} (x) - g (x) | \leq C_{g} E_{q} (x^{q}),

for any x ∈ [a, b]. Hence, we have d(g₀, g) < ∞ for all g ∈ X; that is,

{g \in X | d (g_{0}, g) < \infty} = X .

Hence, in view of Theorem 2.5 (b), we conclude that y₀ is the unique continuous function which satisfies the equation (1). Now we have d(y, ∧ y) ≤ εE_q(x^q). Finally, Theorem 2.5 (c) together with the above inequality imply that

d (y, y_{0}) \leq \frac{1}{1 - L} d (Λ y, y) \leq \frac{1}{1 - L} ε E_{q} (x^{q}) .

This means that the equation (1) is Mittag-Leffler-Hyers-Ulam stable. □

Example 3.3.

Consider the following fractional order system

^{C} D_{t}^{\frac{1}{2}} x (t) = \frac{1}{5} \frac{x^{2} (t - 1)}{1 + x^{2} (t - 1)} + \frac{1}{5} s i n (2 x (t)), t \in [0, 1]

and set x(0) = 0. The following inequality holds:

|^{C} D_{t}^{\frac{1}{2}} y (t) - f (t, y (t), y (t - 1)) | \leq ε E_{\frac{1}{2}} (t^{\frac{1}{2}}) .

By Remark 15, x(0) = 0,

L = \frac{2}{5}

and above inequality, all assumptions in Theorem 3.2 are satisfied. So our fractional integral is Mittag-Leffler-Hyers-Ulam stable of the first type and

| y (t) - x (t) | \leq C ε E_{\frac{1}{2}} (t^{\frac{1}{2}}) .

Next, we use the Chebyshev norm ||.||_c to derive the above similar result for the equation (1).

Theorem 3.4.

Suppose that α: [a, b] → [a, b] is a continuous function such that α(x) ≤ x, for all x ∈ [a, b] and f : [a, b] × [a, b] × ℝ × ℝ → ℝ is a continuous function which additionally satisfies the following Lipschitz condition

| f (x, τ, y_{1} (τ), y_{1} (α (τ)) - f (x, τ, y_{2} (τ), y_{2} (α (τ)) | \leq L | y_{1} - y_{2} |

for any x, τ ∈ [a, b] and y₁, y₂ ∈ ℝ and equation (2). Also suppose that 0 < 2LE_q(b) < 1. Then, the initial integral equation (1) is Mittag-Leffler-Hyers-Ulam stable of the first type via the Chebyshev norm.

Proof

Just like the discussion in Theorem 3.2, we only prove that ∧ defined in (5) is a contraction mapping on X with respect to the Chebyshev norm:

\begin{matrix} | (Λ g) (x) - (Λ h) (x) | & = \frac{1}{Γ (q)} | \int_{0}^{x} {(x - τ)}^{q - 1} f (x, τ, g (τ), g (α (τ)) - f (x, τ, h (τ), h (α (τ))) d τ | \\ \leq \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} (max_{x \in [a, b]} | g (τ) - h (τ) | + max_{x \in [a, b]} | g (α (τ)) - h (α (τ)) |) d τ \\ \leq \frac{2 L}{Γ (q)} {(g - h)}_{c} \int_{0}^{x} {(x - τ)}^{q - 1} d τ \leq \frac{2 L b^{q}}{Γ (q + 1)} {(g - h)}_{c} \leq 2 L {(g - h)}_{c} E_{q} (b) \end{matrix}

for all x ∈ [a, b]; that is, d(∧g, ∧h) ≤ 2L||g − h||_cE_q(b). Hence, we can conclude that d(∧g, ∧h) ≤ 2LE_q(b)d(g, h) for any g, h ∈ X. By letting 0 < 2LE_q(b) < 1, the strictly continuous property is verified. Now by proceeding a proof similar to the proof of Theorem 3.2, we have

d (y, y_{0}) \leq \frac{1}{1 - 2 L E_{q} (b)} d (Λ y, y) \leq \frac{1}{1 - 2 L E_{q} (b)} ε E_{q} (x^{q}) \leq C ε E_{q} (x^{q}),

which means that the equation (1) is Mittag-Leffler-Hyers-Ulam stable of the first type via the Chebyshev norm. □

In the following Theorem we have used the Bielecki norm

{‖ x ‖}_{B} : = max_{t \in J} | x (t) | e^{- θ t}, θ > 0, J \subset ℝ_{+}

to derive the similar Theorem 3.2 for the fundamental equation (1) via the Bielecki norm.

Theorem 3.5.

Suppose that α: [a, b] → [a, b] is a continuous function such that α(x) ≤ x, for all x ∈ [a, b] and f: [a, b] × [a, b] × ℝ × ℝ → ℝ is a continuous function which additionally satisfies the Lipschitz condition

| f (x, τ, y_{1} (τ), y_{1} (α (τ)) - f (x, τ, y_{2} (τ), y_{2} (α (τ)) | \leq L | y_{1} - y_{2} |

for any x, τ ∈ [a, b] and y₁, y₂ ∈ ℝ and equation (2). Also suppose that $0 < \frac{2 L}{Γ (q)} \frac{b^{q} e^{θ b}}{\sqrt{2 θ (2 q - 1)}} < 1$ . Then, equation (1) is Mittag-Leffler-Hyers-Ulam stable of the first type via the Bielecki norm.

Proof

Just like the discussion in Theorem 3.4, we only prove that ∧ defined in (5) is a contraction mapping on X with respect to the Bielecki norm:

\begin{matrix} | (Λ g) (x) - (Λ h) (x) | = \frac{1}{Γ (q)} | \int_{0}^{x} {(x - τ)}^{q - 1} (f (x, τ, g (τ), g (α (τ)) - f (x, τ, h (τ), h (α (τ))) d τ | \\ \leq \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} e^{θ τ} (max_{x \in [a, b]} | g (τ) - h (τ) | e^{- θ τ} + max_{x \in [a, b]} | g (α (τ)) - h (α (τ)) | e^{- θ τ}) d τ \\ \leq \frac{1}{Γ (q)} {(g - h)}_{B} \int_{0}^{x} {(x - τ)}^{q - 1} e^{θ τ} \leq \frac{2 L}{Γ (q)} {(g - h)}_{B} [(\int_{0}^{x} {(x - τ)}^{2 (q - 1)} d τ)^{\frac{1}{2}} (\int_{0}^{x} {(e^{2 θ τ} d τ)}^{\frac{1}{2}}] \\ \leq \frac{2 L}{Γ (q)} {(g - h)}_{B} \frac{b^{q} e^{θ b}}{\sqrt{2 θ (2 q - 1)}} \end{matrix}

for all x ∈ [a, b]; that is,

d (Λ g, Λ h) \leq \frac{2 L}{Γ (q)} \frac{b^{q} e^{θ b}}{\sqrt{2 θ (2 q - 1)}} {‖ g - h ‖}_{B}

. Hence, we can conclude that

d (Λ g, Λ h) \leq \frac{2 L}{Γ (q)} \frac{b^{q} e^{θ b}}{\sqrt{2 θ (2 q - 1)}} d (g, h)

for any g, h ∈ X. By letting

0 < \frac{2 L}{Γ (q)} \frac{b^{q} e^{θ b}}{\sqrt{2 θ (2 q - 1)}} < 1

, the strictly continuous property is verified. Now by a similar process with Theorem 3.4, we have

d (y, y_{0}) \leq \frac{1}{1 - \frac{2 L}{Γ (q)} \frac{b^{q} e^{θ b}}{\sqrt{2 θ (2 q - 1)}}} d (Λ y, y) \leq \frac{1}{1 - \frac{2 L}{Γ (q)} \frac{b^{q} e^{θ b}}{\sqrt{2 θ (2 q - 1)}}} ε E_{q} (x^{q}) \leq C ε E_{q} (x^{q}),

which means that equation (1) is Mittag-Leffler-Hyers-Ulam stable of the first type via the Bielecki norm. □

4 Mittag-Leffler-Hyers-Ulam-Rassias stability of the first type

Definition 4.1.

Equation (1) is Mittag-Leffler-Hyers-Ulam-Rassias stable of the first type, with respect to E_q, if there exists a real number C > 0 such that for each ε > 0 and for each solution y of the following inequality

| y (x) - \frac{1}{Γ (q)} \int_{c}^{x} {(x - τ)}^{q - 1} f (x, τ, y (τ), y (α (τ))) d τ | \leq φ (x) ε E_{q} (τ^{q}),

(7)

there exists a unique solution y₀of equation (1) satisfying

| y (x) - y_{0} (x) | \leq C φ (x) ε E_{q} (x^{q}),

where φ: X → [0, ∞) is a continuous function.

Theorem 4.2.

Set

M = \frac{1}{Γ (q)} {(\frac{1 - p}{q - p})}^{1 - p} {(b - a)}^{q - p}

with 0 < p < q. Let K and L be positive constants with 0 < KLM < 1. Assume that α: [a, b] → [a, b] is a continuous function such that α(x) ≤ x for all x ∈ [a, b] and f : [a, b] × [a, b] × ℝ × ℝ → ℝ is a continuous function which additionally satisfies the Lipschitz condition:

| f (x, τ, y_{1} (τ), y_{1} (α (τ)) - f (x, τ, y_{2} (τ), y_{2} (α (τ)) | \leq L | y_{1} - y_{2} |

(8)

for any x, τ ∈ [a, b] and y₁, y₂ ∈ ℝ. If a continuous function y : [a, b] → ℝ satisfies (7) for all x ∈ [a, b], where φ : [a, b] → (0, ∞) is a

L^{\frac{1}{p}}

-integrable function satisfying.

(\int_{0}^{x} {(φ (τ))}^{\frac{1}{p}} d τ)^{p} \leq K φ (x),

(9)

then there exists a unique continuous function y₀: [a, b] → ℝ such that y₀satisfies equation (1) and

| y (x) - y_{0} (x) | \leq C φ (x) ε E_{q} (x^{q}),

(10)

for all x ∈ [a, b].

Proof

Let us consider the space of continuous functions

X = {g : [a, b] ⟶ ℝ | g is  continuous} .

(11)

Similar to Theorem 3.1 of [25], endowed with the generalized metric defined by

\begin{matrix} d (g, h) = inf {K \in [0, \infty] | & | g (x) - h (x) | \leq K φ (x) \forall x \in [a, b]}, \end{matrix}

it is known that (X, d) is a complete generalized metric space. Define an operator ∧ : X → X by the formula

(Λ g) (x) = \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} g (x, τ, g (τ), g (α (τ))) d τ,

for all g ∈ X and x ∈ [a, b]. Since g is a continuous function, it follows that ∧g is also continuous and this ensures that ∧ is a well-defined operator. For any g, h ∈ X, let K_gh ∈ [0, ∞] such that inequality

| g (x) - h (x) | \leq K_{g h} φ (x)

(12)

holds for any x ∈ [a, b]. From the definition of ∧ and inequalities (8), (9) and (12), we have

\begin{matrix} | (Λ g) (x) - (Λ h) (x) | & = \frac{1}{Γ (q)} | \int_{0}^{x} {(x - τ)}^{q - 1} (f (x, τ, g (τ), g (α (τ)) - f (x, τ, h (τ), h (α (τ))) d τ | \\ \leq \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} | g (τ) - h (τ) | d τ \leq \frac{1}{Γ (q)} K_{g h} \int_{0}^{x} {(x - τ)}^{q - 1} φ (τ) d τ \\ \leq \frac{L}{Γ (q)} K_{g h} (\int_{0}^{x} {(x - τ)}^{\frac{q - 1}{1 - p}} d τ)^{1 - p} (\int_{0}^{x} {(φ (τ))}^{\frac{1}{p}} d τ)^{p} \leq L K_{g h} K M φ (x), \end{matrix}

for all x ∈ [a, b]; that is, d(∧g, ∧h) ≤ KLMK_ghφ(x). Hence, we conclude that d(∧g, ∧h) ≤ KLMd(g, h) for any g, h ∈ X, and since 0 < KLM < 1, the strictly continuous property is verified.

Let us take g₀ ∈ X. There exists a constant 0 < K₁ < ∞ such that

| (Λ g_{0}) (x) - g_{0} (x) | = | \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} f (x, τ, g_{0} (τ), g_{0} (α (τ))) d τ - g_{0} (x) | \leq K_{1} φ (x),

for all x ∈ [a, b], since f and g₀ are bounded on [a, b] and min_{x∈[a, b]}φ(x) > 0. Thus, (11) implies that d(∧g₀, g₀) < ∞. Therefore, according to Theorem 2.5 (a), there exists a continuous function y₀: [a, b] → ℝ such that ∧ⁿg₀ → y₀ in (X, d) as n → ∞ and ∧y₀ = y₀; that is, y₀ satisfies equation (1) for every x ∈ [a, b].

We will now verify that {g ∈ X| d(g₀, g) < ∞} = X. For any g ∈ X, since g and g₀ are bounded on [a, b] and min_x∈[a, b] E_q (x^q) > 0, there exists a constant 0 < C_g < ∞ such that

| g_{0} (x) - g (x) | \leq C_{g} φ (x),

for any x ∈ [a, b]. Hence, we have d(g₀, g) < ∞ for all g ∈ X; that is,

{g \in X | d (g_{0}, g) < \infty} = X .

So, in view of Theorem 2.5 (b), we conclude that y₀ is the unique continuous function such that it satisfies equation (1).

On the other hand, from (7) it follows that

d (y, Λ y) \leq ε E_{q} (x^{q}) φ (x) .

(13)

Finally, Theorem 2.5 (c) together with (13) imply that

d (y, y_{0}) \leq \frac{1}{1 - K M L} d (Λ y, y) \leq \frac{1}{1 - K M L} φ (x) ε E_{q} (x^{q}),

which means that the inequality (10) holds for all x ∈ [a, b]. □

5 Mittag-Leffler-Hyers-Ulam stability and Mittag-Leffler-Hyers-Ulam-Rassias stability of the second type

Let us consider equation (1) in the case I = [0, b].

Definition 5.1.

Equation (1) is Mittag-Leffler-Hyers-Ulam stable of the second type, with respect to E_q, if for every ε > 0 and solution y ∈ C([a, b], ℝ) of the following equation

| y (x) - \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} f (x, τ, y (τ), y (α (τ))) d τ | \leq ε,

(14)

there exists a solution x ∈ (C([a, b], ℝ) of equation (1) with

| y (t) - x (t) | \leq ε E_{q} (c x^{q}),

for all x ∈ [a, b] and C ∈ ℝ.

Theorem 5.2.

Let B be a Banach algebra. We suppose that: (i) f ∈ C([0, b] × B, B); (ii) f satisfies the following Lipschitz condition

| f (t, w_{1}) - f (t, w_{2}) | \leq L | w_{1} - w_{2} |,

for all t ∈ [0, b]; w₁, w₂ ∈ B and equation (14). Then equation (1) is Mittag-Leffler-Hyers-Ulam stable of the second type.

Proof

Let y ∈ C(I, B) satisfy the inequality (14). Let us denote by x ∈ C([0, b], B) the unique solution of the (1). We have

\begin{matrix} | y (t) - (x) (t) | \leq | y (t) - \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} (f (x, τ, y (τ), y (α (τ)) d τ | \\ + | \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} f (x, τ, y (τ), y (α (τ)) d τ - \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} f (x, τ, x (τ), x (α (τ)) d τ | \\ + | \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} f (x, τ, x (τ), x (α (τ)) d τ - x (t) | \\ \leq ε + | \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} (f (x, τ, y (τ), y (α (τ)) - f (x, τ, x (τ), x (α (τ)) d τ | \\ \leq ε + | \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} | f (x, τ, y (τ), y (α (τ)) - f (x, τ, x (τ), x (α (τ)) | d τ \\ \leq ε + | \frac{L}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} | y - x | d τ . \end{matrix}

Now by Remark 2.7, we have

u (t) \leq ε E_{q} (L x^{q}) .

Thus, the conclusion of our theorem holds. □

Definition 5.3.

Equation (1) is Mittag-Leffler-Hyers-Ulam-Rassias stable of the second type, with respect to E_q, if for every ε > 0 and solution y ∈ C([a, b], ℝ) of the following inequality

| y (x) - \frac{1}{Γ (q)} \int_{0}^{x} {(x - τ)}^{q - 1} f (x, τ, y (τ), y (α (τ))) d τ | \leq ε φ (x),

(15)

there exists a solution x ∈ (C([a, b], ℝ) of equation (1) with

| y (t) - x (t) | \leq λ E_{q} (c x^{q}),

for all x ∈ [a, b] such that the function φ : X → [0, ∞) is a non-negative non-decreasing locally integrable function on [0, ∞)and C ∈ ℝ.

Theorem 5.4.

Let B be a Banach algebra. We suppose that: (i) f ∈ C([0, b] × B, B) (ii) f satisfies the following Lipschitz condition

| f (t, w_{1}) - f (t, w_{2}) | \leq L | w_{1} - w_{2} |,

for all t ∈ [0, b], w₁, w₂ ∈ B and inequality (15). Then the initial equation (1) is Mittag-Leffler-Hyers-Ulam-Rassias stable of the second type.

Proof

By putting εφ(x) instead of ε in the proof of Theorem 5.2, the proof is complete.

References

[1]↑
Kilbas A. A., Srivastava H. M. and Trujillo J. J., Theory and Applications of Fractional Differential Equations, North-Holland Mathematics Stydies, 204, Elsevier Science, B. V., Amsterdam, 2006.
[2]↑
Miller K. S., Ross B., An Introduction to the Fractional Calculus and Differential Equations, John wiley, New York, 1993.
[3]↑
Podlubny I., Fractional Differential Equations, Academic Press, San Diego, 1999.
[4]↑
Ulam S. M., Problems in Modern Mathematics, Chap. VI, Science eds., Wiley, New York, 1960.
[5]↑
Hyers D. H., On the stability of the linear functional equation, Proc. Natl. Acad. Sci., U.S.A., 1941, 27, 222–224.
[6]↑
Rassias Th. M., On the stability of linear mapping in Banach spaces, Proc. Amer. Math. Soc., 1978, 72, 297–300.
[7]↑
Rassias J. M., On approximation of approximately linear mappings by linear mappings, J. Func. Anal., 1982, 46, (1), 126–130.
[8]
Rassias J. M., Solution of a problem of Ulam, J. Approx. Theory, 1989, 57, (3), 268–273.
[9]
Rassias J. M., On the stability of the non-linear Euler-Lagrange functional equation in real normed spaces, J. Math. Phys. Sci., 1994, 28, (5), 231–235.
[10]
Rassias J. M., Mixed type partial differential equations with initial and boundary values in fluid mechanics, Intern. J. Appl. Math. stat., 2008, 13, (J08), 77–107.
[11]↑
Ibrahim R. W., Generalized Ulam-Hyers stability for fractional differential equations, Int. J. Math., 2012, 23, (5), 9 pp.
[12]
Ibrahim R. W., Ulam stability for fractional differential equation in complex domain, Abstr. Appl. Anal., 2012, 2012, 1–8.
[13]
Ibrahim R. W., Ulam-Hyers stability for Cauchy fractional differential equation in the unit disk, Abstr. Appl. Anal., 2012, 2012, 1–10.
[14]
Wang J. R., Lv L. and Zhou Y., Ulam stability and data dependence for fractional differential equations with Caputo derivative, Electron. J. Qual. Theory Differ. Equ., 2011, 63, 1–10. 20
[15]
Wang J. R., Lv L. and Zhou Y., New concepts and results in stability of fractional differential equations, Commun. Nonlinear Sci. Numer. Simulat., 2012, 17, 2530–2538.
[16]↑
Wang J. R., Zhang Y., Ulam-Hyers-Mittag-Leffler stability of fractional-order delay differential equations, Optimization: A Journal of Mathematical Programming and optimization Research, 2014, 63 (8), 1181–1190.
[17]
Wang J. R., Zhou Y. and Feckan M., Nonlinear impulsive problems for fractional differential equations and Ulam stability, Appl. Math. Comput., 2012, 64, 3389–3405.
[18]↑
Wei W., Li Xuezhu. and Li Xia, New stability results for fractional integral equation, Comput. Math. Appl., 2012, 64 (10), 3468– 3476.
[19]↑
Peng Sh., Wang J. R., Existence and Ulam-Hyers stability of ODEs involving two Caputo fractional derivatives, Electronic Journal of Qualitative Theory of Differential Equations, 2015, 48-54 (52), 1–16.
[20]
Wang J., Li X., Ulam-Hyers stability of fractional Langevin equations, Appl. Math. Comput., 2015, 258, 72–83.
[21]
Wang J., Lin Z., A class of impulsive nonautonomous differential equations and Ulam-Hyers-Rassias stability, Mathematical Methods in the Applied Sciences, 38 (5), (2015), 865–880.
[22]
Wang J. R., Zhou Y. and Lin Z., On a new class of impulsive fractional differential equations, App. Math. Comput., 2014, 242, 649–657.
[23]↑
Wang J., Lin Z., Ulam’s type stability of Hadamard type fractional integral equations, Filomat, 2014, 28 (7), 1323–1331.
[24]↑
Ye H., Gao J. and Ding Y., A generalized Gronwall inequality and its application to a fractional differential equation, J. Math. Anal. Appl., 2007, 328, 1075–1081.
[25]↑
Jung S. M., A fixed point approach to the stability of differential equations ý = F (x, y), Bull. Malays. Math. Sci. Soc., 2010, 33, 47–56.

If the inline PDF is not rendering correctly, you can download the PDF file here.

ProCite

RefWorks

Reference Manager

BibTeX

Zotero

EndNote

Article information

Received:: 2015-08-01

Accepted:: 2015-11-03

Published Online:: 2016-04-23

Published in Print:: 2016-01-01

Citation Information:: Open Mathematics, Volume 14, Issue 1, Pages 237–246, eISSN 2391-5455, DOI: https://doi.org/10.1515/math-2016-0019.

	All Time	Past Year	Past 30 Days
Full Text	156	156	7
PDF	63	63	3

A fixed point approach to the Mittag-Leffler-Hyers-Ulam stability of a fractional integral equation

Abstract

1. Introduction

2 Preliminaries

3 Mittag-Leffler-Hyers-Ulam stability of the first type

4 Mittag-Leffler-Hyers-Ulam-Rassias stability of the first type

5 Mittag-Leffler-Hyers-Ulam stability and Mittag-Leffler-Hyers-Ulam-Rassias stability of the second type

References

Article information

Journal + Issues

Open Mathematics

Search

Subjects

Open Access

Services

About us

A fixed point approach to the Mittag-Leffler-Hyers-Ulam stability of a fractional integral equation

Abstract

1. Introduction

2 Preliminaries

3 Mittag-Leffler-Hyers-Ulam stability of the first type

4 Mittag-Leffler-Hyers-Ulam-Rassias stability of the first type

5 Mittag-Leffler-Hyers-Ulam stability and Mittag-Leffler-Hyers-Ulam-Rassias stability of the second type

References

Article information

Journal + Issues

Open Mathematics

Details

Search

Sections

Cited By