Mathematical Problems in Engineering

Mathematical Problems in Engineering / 2020 / Article
Special Issue

Recent Trends in Special Functions and Analysis of Differential Equations

View this Special Issue

Research Article | Open Access

Volume 2020 |Article ID 2749138 | https://doi.org/10.1155/2020/2749138

Hoa Ngo Van, Vu Ho, "A Study of Fractional Differential Equation with a Positive Constant Coefficient via Hilfer Fractional Derivative", Mathematical Problems in Engineering, vol. 2020, Article ID 2749138, 10 pages, 2020. https://doi.org/10.1155/2020/2749138

A Study of Fractional Differential Equation with a Positive Constant Coefficient via Hilfer Fractional Derivative

Guest Editor: Shilpi Jain
Received01 Apr 2020
Accepted16 Jun 2020
Published14 Aug 2020

Abstract

The aim of the paper is to consider the existence and uniqueness of solution of the fractional differential equation with a positive constant coefficient under Hilfer fractional derivative by using the fixed-point theorem. We also prove the bounded and continuous dependence on the initial conditions of solution. Besides, Hyers–Ulam stability and Hyers–Ulam–Rassias stability are discussed. Finally, we provide an example to demonstrate our main results.

1. Introduction

In recent years, the study of the fractional differential and integral equation (FDE and IDE for short) has become the topic of the applied mathematics. FDE and IDE have been used as a tool mathematical to the modeling of many phenomena in various fields for example, in theory of signal processing, physics, economics, and chaotic dynamics. The reader can refer to the books (see Varsha [1], Kilbas et al. [2], Miller et al. [3], Abbas et al. [4], and Zhou et al. [5]) or the papers (see Zin et al. [6], Ma et al. [7], P. Agarwal et al. [8, 9], Rameshet al. [10], Vivek et al. [11], O’Regan et al. [12], and Duc et al. [13]).

Tate and Dinde [14] proved the existence of solution of the problem:where the symbol is Caputo fractional derivative and . Besides, the authors also considered the properties of solutions of this problem such as the boundedness of solution and the continuous dependence of solutions on the initial conditions. In [15], Tate et al. also performed the same study as [14] for the class of fractional integro-differential equations with positive constant coefficient.

In 2018, Sousa and Oliveira [16] have introduced a new fractional derivative with respect to another function the so-called -Hilfer fractional derivative, and the properties of this concept were also presented. Besides, the authors considered the relationship between the Hilfer fractional derivative and the other fractional derivative such as Riemann–Liouville fractional derivative, Caputo fractional derivative, Hadamard fractional derivative, Katugampola fractional derivative, and Chen fractional derivative. By using the Hilfer fractional derivative, Sousa and Oliveira [17] studied the existence and uniqueness of solution of the initial valued problem for FDEs. The continuous dependence of solution on the initial condition was also considered. The stability theory for FDIs and IDEs via Hilfer fractional derivative have also been discussed (see [1822]). In [23], by using Gronwall inequality and Picard operator theory, Kharade and Kucche proved the existence and uniqueness of solutions for impulsive implicit delay Hilfer fractional differential equations. The Ulam–Hyers–Mittag–Leffler stability was also considered.

Motivated by Tate el al. [14, 15], Sousa et al. [16], and Kharade et al. [23], in this paper, we investigate the existence and uniqueness of solutions and some properties of solutions of the following fractional differential equation with the constant coefficient :with the initial conditionwhere the symbol is the Hilfer fractional derivative of with and is a continuous function, is a continuous function with respect to and on , is –Riemann–Liouville fractional integral with , and is a given constant.

2. Preliminaries

In this section, we introduce some notations and some concepts which are used throughout this paper. This result can be found in the books [3, 8] and the papers [16, 17].

Let be the space of all continuous functions and be the space of all times continuously differentiable functions on . We will introduce the weighted spaces of all continuous functionswith the normwith the norm

Let function be integrable on and function be increasing on with for all . Then, the Riemann–Liouville fractional integral of with respect to is defined bywhere for all .

Let , , and . Then, the Hilfer fractional derivative of the function of order and is given bywhere .

Theorem 1. (see [16, 17]). If , , and , then(i) and (ii) and

Lemma 1. (see [17]). Let be integrable functions and . Let such that for any . Assume that are nonnegative and is nonnegative and nondecreasing. Ifthenwhere is Mittag–Leffler function is defined by

Definition 1. (see [21, 23]). Problem (2) is called Hyers–Ulam stable if there exists a positive constant such that, for any and for each satisfying the inequality,there exists a solution of problem (2) satisfying

Definition 2. (see [21, 23]). Problem (2) is called Hyers–Ulam–Rassias stable, with respect to , if there exists a positive constant such that, for any and for each satisfying the inequality,there exists a solution of problem (2) satisfying

3. Main Results

Firstly, we note that applying the fractional integral operator to both sides of equation (2), we obtain

Using Theorem 1 and the initial condition (3), we have the following integral equation:for any .

On the contrary, if satisfies equation (17), then satisfies equations (2 and 3. Moreover, operating the fractional derivative operator on both sides of equation (17), we obtain

By Theorem 1, we have

Combining (18) and (19), we imply

Next, we verify that the initial condition 3 holds. Indeed, applying the Riemann–Liouville fractional integral on both sides of equation (17), we have

Taking in equation (21), we have

In summary, we can conclude that satisfies equations (2 and 3 if and only if satisfies the following integral equation:for any .

3.1. Existence and Uniqueness Solution for Problem (2)

In this section, we will prove the existence and uniqueness solution of equation (2) with the initial condition (3). Firstly, we assume that the function satisfies the following assumption: there exists a constant such that

Theorem 2. Assume that assumption (H1) is satisfied. Then, problems (2) and (3) have at least one solution

Proof. We set for any . Let us define the setwithIt is easy to see that is a nonempty, closed, bounded, and convex subset of Banach space .
Consider the operator given byfor any .
Firstly, we prove that the fixed point of the operator is a solution of equations (2) and (3). For any and for each , we have the following estimate:for any .
Combining the estimation above with the definition of , we infer thatHence, we conclude the operator maps into itself.
Secondly, is uniformly bounded since .
Thirdly, we will prove that the operator is continuous. Let the sequence and such thatFor any , we have the following estimate:Hence, for any , we haveBased on the continuity of function , we obtainSo, for any , we obtainwhich leads to operator which is continuous.
Next, we will show that is equicontinuous. Let such that and , and we haveAs , we imply the right-hand side of the estimation above tend to 0, that is, is equicontinuous.
Finally, we see that all conditions of Schauder fixed point theorem are satisfied. So, we can conclude that problem (2) and (3) has at least one solution. The proof is complete.

Theorem 3. Let . Assume that assumption (H1) is satisfied. Ifthen problems (2) and (3) have a unique solution on .

Proof. To prove this theorem, divide the proof into two steps. Now, we define the following set:whereLet us define the operator as follows:Step 1: similarl to the proof of Theorem 2, we can infer that the functions of are uniformly bounded in .Step 2: we will show that is a contraction on . For any and , we haveCombining the estimation above with assumption (36), we obtainthat is, is a contraction on .
Here, we see that all conditions in the Banach fixed point theorem are satisfied. Therefore, there exists a unique solution of problems (2) and (3). This proof is completed.

3.2. Continuous Dependence and Boundedness of Solution of Problem (2)

In this section, we will study the continuous dependence of solutions on initial conditions and the boundedness of solution of equations (2) and (3). Now, we consider the following problems:where the functions satisfy assumption (H1), for any .

Theorem 4. Assume that functions satisfy assumption (H1). Let be the solutions of problems (42), respectively. Then, we have the following estimate:for any .

Proof. Since are the solutions of problems (42), respectively. For any , we haveUsing assumption (H1) and for any , we have the following estimate:If we putfor any , then inequality (45) becomesApplying Gronwall Lemma 1 to (47), we obtainThis gives inequality (43).

Theorem 5. Assume that assumption (H1) is satisfied. If is any solution of problems (2) and (3), thenwhere .

Proof. Let be any solution of problems (2) and (3). Then, we haveUsing assumption (H1) and for any , we haveWe putfor any , which leads to the following estimate:Applying Gronwall Lemma 1, we obtainThe proof is completed.

3.3. Hyers–Ulam Stability and Hyers–Ulam–Rassias Stability for Problem (2)

Theorem 6. Assume that assumption (H1) and (36) are satisfied. Then, problem (2) is Hyers–Ulam stable.

Proof. Let be a solution of (12) and let be a unique solution of (2). Then, for any, we haveFor any , we have