Implicit Fractional Differential Equations via the Liouville–Caputo Derivative

Juan J. Nieto; Abelghani Ouahab; Venktesh Venktesh

doi:10.3390/math3020398

,

and

¹

Department of Mathematical Analysis, University of Santiago de Compostela, Santiago de Compostela 15782, Spain

²

Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia

³

Laboratory of Mathematics, Sidi-Bel-Abbès University, P.O. Box 89, Sidi-Bel-Abbès 22000, Algeria

⁴

Birla Institute of Technology & Science, Pilani 333031, India

Mathematics2015, 3(2), 398-411;https://doi.org/10.3390/math3020398

This article belongs to the Special Issue Recent Advances in Fractional Calculus and Its Applications

Version Notes

Order Reprints

Abstract

We study an initial value problem for an implicit fractional differential equation with the Liouville–Caputo fractional derivative. By using fixed point theory and an approximation method, we obtain some existence and uniqueness results.

Keywords:

fractional differential equations; fractional integral; fractional derivative;Liouville–Caputo derivative; implicit

1. Introduction

Differential equations of fractional order have recently been proven to be valuable tools in the modeling of many physical phenomena [1–3]. There has also been a significant theoretical development in fractional differential equations in recent years; see the monographs of Abbas et al. [4], Kilbas et al. [5], Miller and Ross [6], Podlubny [7] and Samko et al. [8].

The basic theory for initial value problems for fractional differential equations involving the Riemann–Liouville and Liouville–Caputo differential operator was discussed by Diethelm [9].

Recently, fractional functional differential equations, fractional differential inclusions and impulsive fractional differential equations with different conditions were studied, for example, by Aghajani et al. [10], Ahmad and Nieto [11], Benchohra et al. [12], Chalishajar and Karthikeyan [13,14], Henderson and Ouahab [15,16], Ouahab [17,18] and in the references therein.

In this paper, we study the existence of solutions of the following implicit fractional differential equation with initial condition:

{\begin{array}{l} ^{c} D^{α} y (t) & = f (t, y (t),^{c} D^{α} y (t)), t \in J \\ y (0) & = y_{0} \end{array}

(1)

where J = [0, b], 0 < α < 1 and f : J × ℝ × ℝ → ℝ is a continuous function.

This problem is motivated by the importance of implicit ordinary differential equations of the form:

f (t, x (t), x^{'} (t)), \dots, x^{(n - 1)} (t)) = 0.

(2)

under various initial and boundary conditions. Implicit equations have been considered by many authors [19–26]. Furthermore, our intention is to extend the results to implicit differential equations of fractional order.

Very recently, some existence results for an implicit fractional differential equation on compact intervals were investigated [27–29].

Our goal in this work is to give some existence and uniqueness results for implicit fractional differential equations.

2. Fractional Calculus

According to the Riemann–Liouville approach to fractional calculus, the notation of the fractional integral of order α (α > 0) is a natural consequence of the well-known formula (usually attributed to Cauchy) that reduces the calculation of the n−fold primitive of a function f to a single integral of the convolution type. The Cauchy formula reads:

[I^{n} f] (t) = \frac{1}{(n - 1)!} \int_{0}^{t} {(t - s)}^{n - 1} f (s) d s, t > 0, n \in ℕ

Definition 1. The fractional integral of order α > 0 of a function f ∈ L¹(a, b) is defined by:

I_{a^{+}}^{α} f (t) : = \int_{a}^{t} \frac{{(t - s)}^{α - 1}}{Γ (α)} f (s) d s,

where Γ is the classical gamma function. When a = 0, we write I^αf(t) = f(t) * ϕ_α(t), where

ϕ_{α} (t) = \frac{t^{α - 1}}{Γ (α)}

for t > 0, ϕ_α(t) = 0 for t ≤ 0 and ϕ_α → δ as α → 0⁺ where δ is the Dirac delta function. For consistency, I⁰ = Id (Identity operator), i.e., I⁰f(t) = f(t). Furthermore, by I^αf(0⁺), we mean the limit (if it exists) of I^αf(t) for t → 0⁺; this limit may be infinite.

After the notion of the fractional integral, that of the fractional derivative of order α (α > 0) becomes a natural requirement, and one is attempted to substitute α with −α in the above formulas. However, this generalization needs some care in order to guarantee the convergence of the integral and to preserve the well-known properties of the ordinary derivative of integer order. Denoting by Dⁿ, with n ∈ ℕ, the operator of the derivative of order n, we first note that:

D^{n} I^{n} = I d, I^{n} D^{n} \neq I d, n \in ℕ,

i.e., Dⁿ is the left inverse (and not the right inverse) to the corresponding integral operator Iⁿ. We can easily prove that:

I^{n} D^{n} f (t) = f (t) - \sum_{k = 0}^{n - 1} f^{(k)} (0^{+}) \frac{t^{k}}{k!}, t > 0.

As a consequence, we expect that D^α is defined as the left inverse to I^α. For the fractional derivative of order α > 0 with integer n, such that n − 1 < α ≤ n, we have:

Definition 2. For a function f given on interval [a, b], the Riemann–Liouville fractional-order derivative of order α of f is defined by:

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

provided the right-hand side is defined.

Defining for consistency, D⁰ = I⁰ = Id, then we easily recognize that:

D^{α} I^{α} = I d, α \geq 0,

(3)

and

D^{α} t^{γ} = \frac{Γ (γ + 1)}{Γ (γ + 1 - α)} t^{γ - α}, α > 0, γ > - 1, t > 0.

(4)

Of course, Properties (3) and (4) are a natural generalization of those known when the order is a positive integer.

Note the remarkable fact that the fractional derivative D^αf is not zero for the constant function f(t) = 1, if α ∉ ℕ. In fact, Equation (4) with γ = 0 illustrates that:

D^{α} 1 = \frac{t^{- α}}{Γ (1 - α)}, α > 0, t > 0.

(5)

It is clear that D^α1 = 0, for α ∈ ℕ, due to the poles of the gamma function at the points 0, −1, −2,.….

We now observe an alternative definition of fractional derivative, introduced by Caputo [30,31] in the late 1960s and adopted by Caputo and Mainardi [32] in the framework of the theory of linear viscoelasticity (see a review in [2]).

Definition 3. Let f ∈ ACⁿ([a, b]). The Liouville–Caputo fractional-order derivative of f is defined by:

(^{c} D_{a}^{α} f) (t) : = \frac{1}{Γ (n - α)} \int_{a}^{t} {(t - s)}^{n - α - 1} f^{(n)} (s) d s .

This definition is of course more restrictive than the Riemann–Liouville definition, in that it requires the absolute integrability of the derivative of order n. Whenever we use the operator ^cD^α, we (tacitly) assume that this condition is met. We easily recognize that in general:

D^{α} f (f) : = D^{n} I^{n - α} f (t) \neq I^{n - α} D^{n} f (f) : =^{c} D^{α} f (t),

(6)

unless the function f(t), along with its first n − 1 derivatives, vanishes at t = 0⁺. In fact, assuming that the passage of the n−derivative under the integral is legitimate, we recognize that, for n − 1 < α < n and t > 0,

D^{α} f (t) =^{c} D^{α} f (t) + \sum_{k = 0}^{n - 1} \frac{t^{k - α}}{(k - α + 1)} f^{(k)} (0^{+}),

(7)

and therefore, recalling the fractional derivative of the power Function (4):

D^{α} (f (t) - \sum_{k = 0}^{n - 1} \frac{t^{k}}{Γ (k + 1)} f^{(k)} (0^{+})) =^{c} D^{α} f (t) .

(8)

The alternative definition, that is Definition 3, for the fractional derivative thus incorporates the initial values of the function and of lower order. The subtraction of the Taylor polynomial of degree n − 1 at t = 0⁺ from f(t) means a sort of regularization of the fractional derivative. In particular, according to this definition, the relevant property for which the fractional derivative of a constant is still zero is satisfied, i.e.,

^{c} D^{α} 1 = 0, α > 0.

(9)

At the end of this section, we present some properties of a special function. Denote E_α,β the generalized Mittag–Leffler special function defined by:

E_{α, β} (z) : = \sum_{k = 0}^{\infty} \frac{z^{k}}{Γ (k α + β)} .

Also,

E_{α, β} (z) = \frac{1}{2 π i} \int_{ϒ} \frac{λ^{α - β} e^{λ}}{λ^{α} - z} d λ

where ϒ is a contour, which starts and ends at −∞ and encircles the disc

| λ | \leq | z |^{\frac{1}{α}}

counterclockwise.

Lemma 1. [9] Let α > 0, n = [α] and λ ∈ ℝ. The solution of the initial value problem:

{\begin{matrix} ^{c} D^{α} y (t) & = & λ y (t) + q (t) \\ y^{(k)} (0) & = & y k, k = 0, 1, \dots, n - 1, \end{matrix}

(10)

where q ∈ C[0, b] is a given function, can be expressed in the form:

y (t) = \sum_{k = 0}^{n - 1} y_{k} u_{k} (t) + y_{*} (t)

with:

y_{*} (t) = {\begin{array}{l} I_{0}^{α} q (t) & i f λ = 0 \\ \frac{1}{λ} \int_{0}^{t} q (t - s) {u^{'}}_{0} (s) d s & i f λ \neq 0, \end{array}

where

u_{k} (t) = I_{0}^{k} e_{α} (t)

, k = 0, 1, …, n − 1 and

e_{α} (t) = E_{α} (λ t^{α})

.

Remark 1. In the case 0 < α < 1, we can rewrite the solution of Problem (10) in the form:

y (t) = y (0) E_{α} (λ t^{α}) + α \int_{0}^{t} q (t - s) s^{α - 1} {E^{'}}_{α} (λ s^{α}) d s

Lemma 2. Let v : [0, b] → [0, ∞) be a real function, and w is a nonnegative, locally-integrable function on [0, b]. Assume that there are constants a > 0 and 0 < β < 1, such that:

v (t) \leq w (t) + a \int_{0}^{t} \frac{v (s)}{{(t - s)}^{β}} d s,

then there exists a constant K = K(β), such that:

v (t) \leq w (t) + K a \int_{0}^{t} \frac{w (s)}{{(t - s)}^{β}} d s,

for every t ∈ [0, b].

Proof. From Gronwall’s lemma for singular kernels, whose proof can be found in Lemma 7.1.1 on page 188 of [33], we know that:

v (t) \leq w (t) + c \int_{0}^{t} {E^{'}}_{1 - β} (c (t - s)) w (s) d s

where c ∈ ℝ is a constant dependent on β. Now,

{E^{'}}_{1 - β} (s)

is bounded for s ∈ [0, b] and for s → t⁻:

{E^{'}}_{1 - β} (c (t - s)) \approx \frac{a}{c^{- β} {(t - s)}^{β}}

where a > 0 is a constant. This implies that:

v (t) \leq w (t) + K a \int_{0}^{t} \frac{w (s)}{{(t - s)}^{β}} d s

with constant K = K(β).

Lemma 3. Let (X, d) be a non-empty complete metric space with a contraction mapping T : X → X. Then, T admits a unique fixed-point x^∗ in X(i.e., T (x^∗) = x^∗).

Lemma 4. If K is a convex subset of a topological vector space V and T is a continuous mapping of K into itself, so that T (K) is contained in a compact subset of K, then T has a fixed point.

Lemma 5. Consider a sequence of real-valued continuous functions {f_n}_n_∈ℕ defined on a closed and bounded interval [0, b]. If this sequence is uniformly bounded and equicontinuous, then there exists a subsequence

(f_{n_{k}})

that converges uniformly.

For further readings and details on fractional calculus, we refer to the books and papers by Kilbas et al. [5], Podlubny [7] and Samko et al. [8].

3. Existence and Uniqueness

In this section, we prove some existence results and describe the structure of the solution set. We first note that if y ∈ C[0, b] is an absolutely continuous function on [0, b] satisfying Equation (1), then:

y (t) = y_{0} + \frac{1}{Γ (α)} \int_{0}^{t} {(t - s)}^{α - 1} f (s, y (s), {}^{c}D^{α} y (s)) d s .

Theorem 1. Assume that there exist K₁, K₂ > 0, such that:

| f (t, x, y) - f (t, \bar{x}, \bar{y}) | \leq K_{1} | x - \bar{x} | + K_{2} | y - \bar{y} |, f o r e a c h x, \bar{x}, y, \bar{y} \in ℝ .

If

\frac{b^{α} K_{1}}{α} + K_{2} < 1

, then there exists unique y ∈ C(J, ℝ), which satisfy Equation (1).

Proof. Consider N : C(J, ℝ) → C(J, ℝ) defined by:

N (z (t)) = f (t, y_{0} + \frac{1}{Γ (α)} \int_{0}^{t} {(t - s)}^{α - 1} z (s) d s, z (t)), t \in J .

Let z₁, z₂ ∈ C(J, ℝ), then:

\begin{array}{l} | N (z_{1} (t)) - N (z_{2} (t)) | \leq \frac{K_{1}}{Γ (α)} \int_{0}^{t} {(t - s)}^{α - 1} | z_{1} (s) - z_{2} (s) | d s + K_{2} | z_{1} (t) - z_{2} (t) | \\ \leq (\frac{K_{1} t^{α}}{Γ (α)}) {∥ z_{1} - z_{2} ∥}_{\infty} + K_{2} | z_{1} (t) - z_{2} (t) | \end{array}

Hence:

{∥ N (z_{1}) - N (z_{2}) ∥}_{\infty} \leq (\frac{K_{1} b^{α}}{Γ (α)} + K_{2}) {∥ z_{1} - z_{2} ∥}_{\infty}, for each z_{1}, z_{2} \in C (J, ℝ) .

From the Banach fixed point theorem, Lemma 3, there exists a unique z ∈ C(J, ℝ), such that z = N(z).

Therefore:

z (t) = f (t, y_{0} + \frac{1}{Γ (α)} \int_{0}^{t} {(t - s)}^{α - 1} z (s) d s, z (t)), t \in J .

Set

y (t) = y_{0} + \frac{1}{Γ (α)} \int_{0}^{t} {(t - s)}^{α - 1} z (s) d s .

This implies that ^cD^αy(t) = z(t), and hence:

{}^{c}D^{α} y (t) = f (t, y (t), {}^{c}D^{α} y (t)), for every t \in J .

The goal of the second result of this section is to apply the Schauder fixed point theorem, Lemma 4. For the study of this problem, we present some auxiliary lemmas.

Lemma 6. Let ϵ, ϵ′ ∈ (0, 1) and

ℒ : C^{1} (J, ℝ) \to C (J, ℝ)

be an operator defined by:

ℒ (z) = ϵ {}^{c}D^{α} z + ϵ^{'} z .

Then,

ℒ

is a linear, continuous and invertible operator.

Proof. It is clear that

ℒ

is a linear operator. For every z ∈ C¹(J, ℝ), we have:

{∥ ℒ (z) ∥}_{\infty} \leq (\frac{ϵ b^{- α + 1}}{Γ (α)} + ϵ^{'}) ({∥ z^{'} ∥}_{\infty} + {∥ z ∥}_{\infty}) for every z \in C^{1} (J, ℝ) .

Hence,

ℒ

is continuous. Now, we show that if

ℒ

(z) = 0, then z = 0, that is

ℒ

is injective. Indeed, let z ∈ C(J, ℝ), such that

ℒ

(z) = 0, then:

ϵ {}^{c}D^{α} z (t) + ϵ^{'} z (t) = 0, t \in J \Rightarrow z (0) = 0.

From Lemma 1, we have: z = 0.

Let h ∈ C(J, ℝ); we consider the fractional Cauchy problem:

{}^{c}D^{α} z + \frac{ϵ^{'}}{ϵ} z = \frac{h (t)}{ϵ}, z (0) = h (0) .

Again from Lemma 1, we obtain that:

ϵ z (t) = ϵ h (0) E_{α} (- \frac{ϵ^{'}}{ϵ} t^{α}) + α \int_{0}^{t} {(t - s)}^{α - 1} {E^{'}}_{α} (- \frac{ϵ^{'}}{ϵ} {(t - s)}^{α}) h (s) d s .

This implies that

ℒ

is bijective, and from the Banach isomorphism theorem,

ℒ

⁻¹ is a continuous operator.

Lemma 7. Let F : C¹(J, ℝ) → C(J, ℝ) be an operator defined by:

F (z) = ϵ {}^{c}D^{α} z + ϵ^{'} (y_{0} + I^{α} f (., z, {}^{c}D^{α} z)) .

We note

[L (z)] (t) : = y_{0} + \frac{1}{Γ (α)} \int_{0}^{t} {(t - s)}^{α - 1} z (s) d s, t \in J .

Assume:

(H₁) there exist M₁, M₃ > 0, M₂ ∈ (0, 1), such that:

| f (t, x, y) | \leq M_{1} | x | + M_{2} | y | + M_{3}, f o r e a c h x, y, \in ℝ, t \in J .

Then, F is continuous and compact.

Proof. The proof will be given in three steps.

Step 1: F is continuous.

Let (z_n)_n_∈ℕ ⊂ C¹(J, ℝ) be a sequence, such that (z_n)_n_∈ℕ → z ∈ C¹(J, ℝ).

Then:

| \int_{0}^{t} {(t - s)}^{α - 1} (z_{n} (s) - z (s)) d s | \leq \frac{t^{α}}{α} {∥ z_{n} - z ∥}_{\infty} .

Thus:

{∥ L (z_{n}) - L (z) ∥}_{\infty} \leq \frac{b^{α}}{Γ (α + 1)} {∥ z_{n} - z ∥}_{\infty} \to 0, n \to \infty .

Furthermore:

| \int_{0}^{t} {(t - s)}^{- α} ({z^{'}}_{n} (s) - z^{'} (s)) d s | \leq \frac{t^{1 - α}}{1 - α} {∥ {z^{'}}_{n} - z^{'} ∥}_{\infty} .

and hence:

{∥ \bar{L} (z_{n}) - \bar{L} (z) ∥}_{\infty} \leq \frac{b^{1 - α}}{Γ (2 - α)} {∥ {z^{'}}_{n} - z^{'} ∥}_{\infty} \to 0, n \to \infty,

where:

L (z) : = {}^{c}D^{α} z (t) = \frac{1}{Γ (1 - α)} \int_{0}^{t} {(t - s)}^{- α} z^{'} (s), t \in J .

Hence:

\begin{array}{l} {∥ F (z_{n}) - F (z) ∥}_{\infty} \leq \frac{ϵ^{'} b^{α}}{Γ (α + 1)} {∥ f (\cdot, z_{n}, \bar{L} (z_{n})) - f (\cdot, z_{n}, \bar{L} (z_{n})) ∥}_{\infty} \\ + ϵ {∥ \bar{L} (z_{n})) - \bar{L} (z_{n})) ∥}_{\infty} \to 0, as n \to \infty . \end{array}

Step 2: F sends bounded sets in C¹(J, ℝ) into bounded sets in C¹(J, ℝ).

For each t ϵ J and

z \in \bar{B} (0, r)

, we have:

\begin{array}{l} ∥ (F_{z}) (t) ∥ \leq \frac{ϵ b^{1 - α}}{Γ (2 - α)} r + ϵ^{'} (| y_{0} | + \int_{0}^{t} \frac{1}{Γ (α)} {(t - s)}^{α - 1} | f (s, z (s), (\bar{L} z) (s)) | d s) \\ \leq \frac{ϵ b^{1 - α}}{Γ (2 - α)} r + ϵ^{'} (| y_{0} | + \int_{0}^{t} \frac{1}{Γ (α)} {(t - s)}^{α - 1} (M_{1} | z (s) | + M_{2} | L (z) (s) | + M_{3}) d s) \\ \leq \frac{ϵ b^{1 - α}}{Γ (2 - α)} r + ϵ^{'} | y_{0} | + \frac{ϵ^{'}}{Γ (α)} \int_{0}^{t} {(t - s)}^{α - 1} (\frac{M_{2} r b^{1 - α}}{Γ (2 - α)} + M_{1} r + M_{3}) d s \end{array}

Then:

{∥ F (z) ∥}_{\infty} \leq \frac{ϵ b^{1 - α} r}{Γ (2 - α)} + ϵ^{'} | y_{0} | + \frac{ϵ^{'} b^{α}}{Γ (α + 1)} (\frac{M_{2} r b^{1 - α}}{Γ (2 - α)} + M_{1} r + M_{3}) .

Step 3: F maps bounded sets into equicontinuous sets.

Let t₁; t₂ ϵ J, such that t₁ < t₂ and

z \in \bar{B} (0, r)

; we have:

\begin{array}{l} | (F_{z}) (t_{2}) - (F_{z}) (t_{1}) | \leq \frac{ϵ r}{Γ (1 - α)} [\int_{t_{1}}^{t_{2}} {(t_{2} - s)}^{- α} d s + \int_{0}^{t_{1}} ({(t_{2} - s)}^{- α} - {(t_{1} - s)}^{- α}) d s] \\ + \frac{ϵ^{'}}{Γ (α)} \int_{0}^{t_{2}} ({(t_{2} - s)}^{α - 1} - {(t_{1} - s)}^{α - 1})) | f (s, z (s), (\bar{L} z) (s)) | d s \\ + \frac{ϵ^{'}}{Γ (α)} \int_{t_{1}}^{t_{2}} {(t_{2} - s)}^{α - 1} | f (s, z (s), (\bar{L} z) (s)) | d s \\ \leq \frac{ϵ r}{Γ (2 - α)} {(t_{2} - t_{1})}^{1 - α} + \frac{ϵ^{'} l}{Γ (α + 1)} (t_{1} (t_{2}^{α - 1} - t_{1}^{α - 1}) + \\ \frac{ϵ^{'} l}{Γ (α + 1)} {(t_{2} - t_{1})}^{α} + \frac{ϵ r}{Γ (2 - α)} (t_{1} (t_{2}^{- α} - t_{1}^{- α}) \end{array}

where:

l = M_{1} r + \frac{M_{2} r b^{1 - α}}{Γ (2 - α)} + M_{3} .

Then, the right-hand side tends to zero as t₂ − t₁ → 0. By the Arzelá-Ascoli theorem, Lemma 5, we conclude that F : C¹(J, ℝ) → C(J, ℝ) is a compact continuous operator.

Now, we present a result without Lipschitz condition.

Theorem 2. Suppose that there is a constant M > 0, such that for each λ ∈ [0, 1) and z ∈ C¹(J, ℝ) with

{∥ z ∥}_{1} = M

, we have:

(H_{2}) ϵ {}^{c}D^{α} z + ϵ^{'} z \neq λ [ϵ {}^{c}D^{α} z + ϵ^{'} (y_{0} + I^{α} f (t, z (t), {}^{c}D^{α} z))]

. Then, the implicit Problem (1) has at least one solution. Moreover, if 0 < M₂ < 1, then

F i x (ℒ^{-}^{1} F)

is compact.

Proof. From Lemmas 6 and 7, the operators

ℒ

, F : C¹(J, ℝ) → C(J, ℝ) are linear, continuous, invertible and continuous and compact, respectively. Hence,

ℒ^{-}^{1} F : C^{1} (J, ℝ) \to C^{1} (J, ℝ)

is a compact continuous operator. Set:

U = {z \in C^{1} (J, ℝ) : {∥ z ∥}_{1} < M} .

Assume that there exists λ ∈ [0, 1) and z ∈ ∂U, such that

z = λ ℒ^{- 1} F (z) \Rightarrow ℒ (z) = λ F (z) .

Hence:

ϵ {}^{c}D^{α} z (t) + ϵ^{'} z (t) = λ [ϵ {}^{c}D^{α} z (t) + ϵ^{'} (y_{0} + I^{α} f (t, z (t), {}^{c}D^{α} z)],

which contradicts with (H₂). As a consequence of the nonlinear alternative of Leray–Schauder, we deduce that

ℒ^{- 1} F

has a fixed point z in U, which is a solution to Problem (1). Now, we show that

F i x (ℒ^{- 1} F)

is compact. Let

z \in F i x (ℒ^{- 1} F)

, then:

z = (ℒ^{- 1} F) (z) \Rightarrow z = y_{0} + I^{α} f (\cdot, z (\cdot), {}^{c}D^{α} z) and {}^{c}D^{α} z = f (\cdot, z (\cdot), {}^{c}D^{α} z) .

Thus,

| z (t) | \leq | y_{0} | + \frac{M_{3} b^{α}}{Γ (α + 1)} + \frac{1}{Γ (α)} \int_{0}^{t} {(t - s)}^{α - 1} (M_{2} | {}^{c}D^{α} z (s) | + M_{1} | z (s) |) d s

and:

| {}^{c}D^{α} z (t) | \leq \frac{1}{1 - M_{2}} (M_{1} | z (t) | + M_{3})

Let:

μ (t) = \sup_{τ \in [Q, t]} | z (τ) |

Thus:

μ (t) \leq C_{1} + C_{2} \int_{0}^{t} {(t - s)}^{α - 1} μ (s) d s .

where:

C_{1} = | y_{0} | + \frac{M_{3} b^{α}}{Γ (α + 1)} + \frac{M_{3} M_{2} b^{α}}{Γ (α + 1) (1 - M_{2})}

and:

C_{2} = \frac{M_{2} M_{1}}{Γ (α) (1 - M_{2})} + \frac{M_{1}}{Γ (α)} .

By Lemma 2, there exists K₃ > 0, such that:

{∥ z ∥}_{\infty} \leq K_{3} .

Therefore,

\begin{array}{l} {∥ z ∥}_{1} = {∥ (ℒ^{- 1} (F (z)) ∥}_{1} \\ \leq ∥ ℒ^{- 1} ∥ {∥ (F z) ∥}_{\infty} . \end{array}

Additionally, since

{∥ z ∥}_{\infty} \leq K_{3}

:

\Rightarrow {∥ {}^{c}D^{α} z ∥}_{\infty} \leq \frac{1}{1 - M_{2}} (M_{1} K_{3} + M_{3})

and:

{∥ I^{α} f (., z (.), \bar{L} (z)) ∥}_{\infty} \leq \frac{b^{α}}{Γ (α + 1)} (\frac{M_{2} (M_{1} K_{3} + M_{3})}{1 - M_{2}} + M_{1} K_{3} + M_{3})

This implies that there exists K₄ > 0, such that:

{∥ z ∥}_{1} < K_{4} .

Therefore,

F i x (ℒ^{- 1} F)

is bounded. Hence,

\bar{ℒ^{- 1} F (F i x (ℒ^{- 1} F))}

is compact. Now, since

ℒ^{- 1} F

is a continuous operator, the set

F i x (ℒ^{- 1} F)

is a closed set. It is clear that

F i x (ℒ^{- 1} F) \subset \bar{ℒ^{- 1} F (F i x (ℒ^{- 1} F))},

and thus, we conclude that

F i x (ℒ^{- 1} F)

is compact.

By the approximation method, we present the existence of the solution for Problem (1):

Theorem 3. Assume that:

(H₃) for each ϵ > 0, there exists δ > 0 and k = k(ϵ), with:

{\lim_{¯}}_{ϵ \to 0} + k (ϵ) = 0

such that, if |t₁ − t₂| < δ,

| x - \bar{x} | < δ

,

| y - \bar{y} | < k (ϵ)

, then we have:

| f (t_{1}, x, y) - f (t_{2}, \bar{x}, \bar{y}) | < k (ϵ) .

If the approximation sequence (z_n)_n∈_ℕ defined by:

\begin{matrix} z_{0} (t) = y_{0}, t \in J, \\ z_{n} (t) = f (t, y_{0} + \frac{1}{Γ (α)} \int_{0}^{t} {(t - s)}^{α - 1} z_{n - 1} (s) d s, z_{n - 1} (t)), t \in J, n \in ℕ . \end{matrix}

is bounded, then there exist at least one solution of Problem (1).

Proof. Since (z_n)_n_∈ℕ is bounded, we only need to show that (z_n)_n∈_ℕ is equicontinuous. We show this fact by induction. We consider n = 1; let t₁, t₂ ∈ J. Then, by (H₃) we have, for > 0; we consider r > 0, such that k(r) ≤ ϵ there exists δ > 0, such that for

| t_{1}^{α} - t_{2}^{α} | < η

, |t₁ − t₂| < η;

η \leq \min (\frac{δ}{2}, \frac{δ Γ (α + 1)}{2 (1 + | y_{0} |)}, \frac{δ Γ (α + 1)}{2 M (1 + | y_{0} |)})

we have:

\begin{matrix} | z_{1} (t_{1}) - z_{1} (t_{2}) | = \\ = | f (t_{1}, y_{0} - \frac{t_{1}^{α}}{Γ (α + 1)} y_{0}, y_{0}) - f (t_{2}, y_{0} - \frac{t_{2}^{α}}{Γ (α + 1)} y_{0}, y_{0}) | \leq \\ \leq k (r) \leq ϵ . \end{matrix}

We suppose that

| t_{1}^{α} - t_{2}^{α} | < η

, |t₁ − t₂| < η;

η \leq \min (\frac{δ}{2}, \frac{δ Γ (α + 1)}{2 (1 + | y_{0} |)}, \frac{δ Γ (α + 1)}{2 M (1 + | y_{0} |)})

for each p ≤ n: Let p = n + 1:

\begin{array}{l} | z_{n + 1} (t_{1}) - z_{n + 1} (t_{2}) | = | f (t_{1}, y_{0} + \frac{1}{Γ (α)} \int_{0}^{t_{1}} {(t_{1} - s)}^{α - 1} z_{n} (s) d s, z_{n} (t_{1})) \\ - f (t_{2}, y_{0} + \frac{1}{Γ (α)} \int_{0}^{t_{2}} {(t_{2} - s)}^{α - 1} z_{n} (s) d s, z_{n} (t_{2})) | . \end{array}

Set:

F_{*} (t) = \frac{1}{Γ (α)} \int_{0}^{t} {(t - s)}^{α - 1} z_{n} (s) d s .

Without loss of generality, we can assume that t₁ ≥ t₂:

\begin{array}{l} | F_{*} (t_{1}) - F_{*} (t_{2}) | \leq \frac{M}{Γ (α)} | (\int_{0}^{t_{1}} ({(t_{1} - s)}^{α - 1} - {(t_{2} - s)}^{α - 1})) d s + \int_{t_{1}}^{t_{2}} {(t_{2} - s)}^{α - 1} d s) | \\ \leq \frac{M}{Γ (α + 1)} (t_{2}^{α} - t_{1}^{α}), \end{array}

where M = ||z||_∞.

By (H₃), we have:

\begin{array}{l} | z_{n + 1} (t_{1}) - z_{n + 1} (t_{2}) | = | f (t_{1}, y_{0} + \frac{1}{Γ (α)} \int_{0}^{t_{1}} {(t_{1} - s)}^{α - 1} z_{n} (s) d s, z_{n} (t_{1})) \\ - f (t_{2}, y_{0} + \frac{1}{Γ (α)} \int_{0}^{t_{2}} {(t_{2} - s)}^{α - 1} z_{n} (s) d s, z_{n} (t_{2})) | \\ \leq k (r) \leq ϵ . \end{array}

Hence, by the Arzelá-Ascoli theorem, Lemma 5, we conclude that (z_n)_n∈_ℕ is relatively compact in C(J, ℝ). Then, there exists a subsequence

{z_{n_{k}}}

, which converges to some limit z. Since f is continuous, this implies that:

z = f (t, y_{0} + \frac{1}{Γ (α)} \int_{0}^{t} {(t - s)}^{α - 1} z (s) d s, z (s)) .

Example 1. Consider the Cauchy problem:

^{c} D^{α} y (t) = f (t, y) + h (^{c} D^{α} y (t)), t \in J : = [0, b], y (0) = y_{0} \in ℝ,

(11)

where f : J × ℝ → ℝ, h : ℝ → ℝ are continuous functions. Assume that there exist K₁, K₂ > 0, such that:

\begin{matrix} | f (t, \bar{x}) - f (t, x) | \leq K_{1} | \bar{x} - x |, f o r a l l, \bar{x}, x \in ℝ a n d t \in J; \\ | h (\bar{y}) - h (y) | \leq K_{2} | \bar{y} - y |, f o r a l l, \bar{y}, y \in ℝ . \end{matrix}

If

\frac{b^{α} K_{1}}{α} + K_{2} < 1

, then, from Theorem 1, Problem (11) has a unique solution.

For instance, take J = [0, 1] and

α = \frac{1}{2}

with

f (t, y) = t + \frac{1}{6} \cos y

and

h (^{c} D^{α} y (t)) = \frac{1}{2} \sin (^{c} D^{α} y (t))

t ϵ J and y ϵ ℝ. Then, Problem (11) becomes:

^{c} D^{α} y (t) = t + \frac{1}{6} \cos y + \frac{1}{2} \sin (^{c} D^{α} y (t)), t \in J, y (0) = y_{0} \in ℝ,

(12)

It is clear that the functions f and h in Problem (12) are continuous and:

\begin{matrix} | f (t, \bar{y}) - f (t, y) | \leq \frac{1}{6} | \bar{y} - y |, | h (^{c} D^{α} \bar{y} (t)) - h (^{c} D^{α} y (t)) | \leq \frac{1}{2} |^{c} D^{α} \bar{y} (t) -^{c} D^{α} y (t) |, \\ f o r a l l, y, \bar{y} \in ℝ, t \in J . \end{matrix}

We have:

\frac{b^{α} K_{1}}{α} + K_{2} = \frac{1}{3} + \frac{1}{2} = \frac{5}{6} < 1

This implies that Problem (12) has a unique solution.

4. Conclusions

We have proven an existence result for implicit fractional differential equations. In the future, we will extend the results to other fractional derivatives and boundary value problems.

Acknowledgments

The research has been partially supported by the Ministerio de Economía y Competitividad of Spain under Grants MTM2010-15314 and MTM2013–43014–P, XUNTA de Galicia, the local government, under Grant R2014/002 and co-financed by the European Community fund FEDER.

Author Contributions

Each of the authors, Juan J. Nieto, Abelghani Ouahab and V. Venktesh, contributed to each part of this study equally and read and approved the final version of this manuscript.

Conflicts of Interest

The authors declare no conflict of interest.

References

Gaul, L.; Klein, P.; Kempfle, S. Damping description involving fractional operators. Mech. Syst. Signal Process. 1991, 5, 81–88. [Google Scholar]
Mainardi, F. Fractional calculus: Some basic problems in continuum and statistical mechanis. In Fractals and Fractional Calculus in Continuum Mechanics; Carpinteri, A., Mainardi, F., Eds.; Springer-Verlag: Wien, Austria, 1997; pp. 291–348. [Google Scholar]
Metzler, F.; Schick, W.; Kilian, H.G.; Nonnenmacher, T.F. Relaxation in filled polymers: A fractional calculus approach. J. Chem. Phys. 1995, 103, 7180–7186. [Google Scholar]
Abbas, S.; Benchohra, M.; N’Guérékata, G.M. Topics in Fractional Differential Equations; Springer: New York, NY, USA, 2012. [Google Scholar]
Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006; Volume 204, North-Holland Mathematics Studies. [Google Scholar]
Miller, K. S.; Ross, B. An Introduction to the Fractional Calculus and Differential Equations; John Wiley: New York, NY, USA, 1993. [Google Scholar]
Podlubny, I. Fractional Differential Equations; Academic Press: San Diego, CA, USA, 1999. [Google Scholar]
Samko, S.G.; Kilbas, A.A.; Marichev, O.I. Fractional Integrals and Derivatives, Theory and Applications; Gordon and Breach: Yverdon, Switzerland, 1993. [Google Scholar]
Diethelm, K. The Analysis of Fractional Differential Equations. An Application-Oriented Exposition Using Differential Operators of Caputo Type; Springer-Verlag: Berlin, Germany, 2010; Volume 2004, Lecture Notes in Mathematics. [Google Scholar]
Aghajani, A.; Banaś, J.; Jalilian, Y. Existence of solutions for a class of nonlinear Volterra singular integral equations. Comput. Math. Appl. 2011, 62, 1215–1227. [Google Scholar]
Ahmad, B.; Nieto, J.J. Anti-periodic fractional boundary value problems with nonlinear term depending on lower order derivative. Fract. Calc. Appl. Anal. 2012, 15, 451–462. [Google Scholar]
Benchohra, M.; Henderson, J.; Ntouyas, S.K.; Ouahab, A. Existence results for fractional order functional differential equations with infinite delay. J. Math. Anal. Appl. 2008, 338, 1340–1350. [Google Scholar]
Chalishajar, D.N.; Karthikeyan, K. Existence and uniqueness results for boundary value problems of higher order fractional integro-differential equations involving Gronwall’s inequality in Banach spaces. Acta Math. Sci. 2013, 33, 758–772. [Google Scholar]
Chalishajar, D.N.; Karthikeyan, K. Boundary value problems for impulsive fractional evolution integro-differential equations with Gronwall’s inequality in Banach spaces. Discontin. Nonlinearity Complex. 2014, 3, 33–48. [Google Scholar]
Henderson, J.; Ouahab, A. Fractional functional differential inclusions with finite delay. Nonlinear Anal. 2009, 70, 2091–2105. [Google Scholar]
Henderson, J.; Ouahab, A. Impulsive differential inclusions with fractional order. Comput. Math. Appl. 2010, 59, 1191–1226. [Google Scholar]
Ouahab, A. Some results for fractional boundary value problem of differential inclusions. Nonlinear Anal. 2008, 69, 3877–3896. [Google Scholar]
Ouahab, A. Semilinear fractional differential inclsions. Comput. Math. Appl. 2012, 64, 3235–3252. [Google Scholar]
Benavides, T.D. An existence theorem for implicit differential equations in a Banach space. Ann. Mat. Pura Appl. 1978, 4, 119–130. [Google Scholar]
Emmanuele, G. Convergence of successive approximations for implicit ordinary differential equations in Banach spaces. Funkc. Ekvac. 1981, 24, 325–330. [Google Scholar]
Emmanuele, G.; Ricceri, B. On the existence of solutions of ordinary differential equations in implicit form in Banach spaces. Ann. Mat. Pura Appl. 1981, 129, 367–382, In Italian. [Google Scholar]
Hokkanen, V.M. Continuous dependence for an implicit nonlinear equation. J. Differ. Equ. 1994, 110, 67–85. [Google Scholar]
Hokkanen, V.M. Existence of a periodic solution for implicit nonlinear equations. Differ. Integral Equ. 1996, 9, 745–760. [Google Scholar]
Li, D. Peano’s theorem for implicit differential equations. J. Math. Anal. Appl. 2001, 258, 591–616. [Google Scholar]
Ricceri, B. Lipschitz solutions of the implicit Cauchy problem g(x′) = f(t, x), x(0) = 0, with f discontinuous in x. Rend. Circ. Mat. Palermo 1985, 34, 127–135. [Google Scholar]
Seikkala, S.; Heikkilä, S. Uniqueness, comparison and existence results for discontinuous implicit differential equations. Nonlinear Anal. 1997, 30, 1771–1780. [Google Scholar]
Benchohra, M.; Lazreg, J.E. Nonlinear fractional implicit differential equations. Commun. Appl. Anal. 2013, 17, 471–482. [Google Scholar]
Benchohra, M.; Lazreg, J.E. Existence and uniqueness results for nonlinear implicit fractional differential equations with boundary conditions. Rom. J. Math. Comput. Sci. 2014, 4, 60–72. [Google Scholar]
Vityuk, A.N.; Mikhailenko, A.V. The Darboux problem for an implicit differential equation of fractional order. Ukr. Mat. Visn. 2010, 7. [Google Scholar]J. Math. Sci. (N. Y.) 2011, 175, 391–401, In Russian.
Caputo, M. Elasticità e Dissipazione; Zanichelli: Bologna, Italy, 1969. [Google Scholar]
Caputo, M. Linear models of dissipation whose Q is almost frequency independent, Part II. Geophys. J. R. Astr. Soc. 1967, 13, 529–529. [Google Scholar]
Caputo, M.; Mainardi, F. Linear models of dissipation in anelastic solid. Riv. Nuovo Cimento (Ser. II) 1971, 1, 161–198. [Google Scholar]
Henry, D. Geometric Theory of Semilinear Parabolic Partial differential Equations; Springer-Verlag: Berlin, Gremany; New York, NY, USA, 1989. [Google Scholar]

© 2015 by the authors; licensee MDPI, Basel, Switzerland This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/4.0/).

Implicit Fractional Differential Equations via the Liouville–Caputo Derivative

Abstract

1. Introduction

2. Fractional Calculus

3. Existence and Uniqueness

4. Conclusions

Acknowledgments

Author Contributions

Conflicts of Interest

References

Article Metrics

Citations

Article Access Statistics