BVP for Hadamard Sequential Fractional Hybrid Differential Inclusions
Abstract
The study is concerned with the Hadamard sequential fractional hybrid differential inclusions with two-point hybrid integral boundary conditions. With the help of the Dhage fixed-point theorem for the product of two operators and the Covitz-Nadler fixed-point theorem in the case of fractional inclusions, we obtain the existence results of solutions for Hadamard sequential fractional hybrid differential inclusions. Finally, two examples are presented to illustrate the main results.
1. Introduction
Nowadays, with the increasing demand of researchers for the study of natural phenomena, the use of fractional differential operators and fractional differential equations become an effective means to achieve this goal. Compared with integer order operators, fractional operators, which can simulate natural phenomena better, are a class of operators developed in recent years. This kind of operator has been expanded and widely used in modeling real-world phenomena such as biomathematics, electrical circuits, medicine, disease transmission, and control [1–6]. Also, some studies in the biological models with fractional-order derivative have been conducted in recent years [7–9]. In the past year, fractional differential operators and fractional differential equations have been used in modeling the spread of some viruses, such as Zika virus and mumps virus [10, 11]. All of these have enabled researchers to discover the structure of fractional boundary value problems (BVP) and the hereditary nature of their solutions from various aspects. In this regard, many researchers investigated advanced fractional-order modelings and related theoretical results and qualitative behaviors of such fractional-order boundary value problems, see [12–20] and the references therein.
There have been appeared different versions of fractional operators during these years. Much of the work on fractional differential equations only involves either Riemann-Liouville derivative or Caputo derivative [21–29]. Guo et al. ([30, 31]) discussed the existence and Hyers–Ulam stability of solution for an impulsive Riemann-Liouville fractional neutral functional stochastic differential equation with infinite delay of order 1 < β < 2 and the existence and Hyers–Ulam stability of the almost periodic solution to the fractional differential equation with impulse and fractional Brownian motion under nonlocal condition. Ma et al. [32] investigated the existence of almost periodic solutions for fractional impulsive neutral stochastic differential equations with infinite delay in Hilbert space.
However, there is another concept of fractional derivative in the literature which was introduced by Hadamard in 1892 [33]. This derivative is known as Hadamard fractional derivative and differs from aforementioned derivatives in the sense that the kernel of the integral in its definition contains logarithmic function of arbitrary exponent. Many researchers have studied and obtained some results on the existence of solutions of Hadamard fractional differential equations in recent years. Yang ([34, 35]) studied the extremal solutions for a coupled system of nonlinear Hadamard fractional differential equations with Cauchy initial value conditions and the existence and nonexistence of positive solutions for the eigenvalue problems of nonlinear Hadamard fractional differential equations with p-Laplacian operator. Tomar et al. [36] established certain generalized Hermite-Hadamard inequalities for generalized convex functions via local fractional integral.
The Hadamard sequential fractional hybrid differential inclusion BVP (7) is modeled with respect to the generalized operators with kernels, including logarithmic functions. In other words, the presented formulation for the given Hadamard sequential fractional hybrid differential inclusion BVP (7) involves two different derivatives in the format of the Hadamard. The supposed abstract fractional hybrid differential inclusion problem (7) with given hybrid integral boundary conditions can describe some mathematical models of real and physical processes in which some parameters are often adjusted to suitable situations. The value of these parameters can change the effects of fractional derivatives and integrals. Moreover, we express that such a Hadamard sequential fractional hybrid differential inclusion BVP is new and enriches the literature on boundary value problems for nonlinear Hadamard fractional differential inclusions. In this way, with the help of Dhage fixed-point theorem and Covitz-Nadler fixed-point theorem in the case of multivalued mapping, we try to find the existence criteria of solutions for the proposed problem (7).
The rest of this study is organized as follows. In Section 2, some preliminary facts that we need in the sequel are given. In Section 3, the existence results of solution for system (7) are discussed. In Section 4, two examples are given to prove validity of the results we obtained.
2. Preliminaries
Definition 1 (see [2].)The Hadamard derivative of fractional-order α for a function f : [1, ∞)⟶R is defined as
Definition 2 (see [2].)The Hadamard fractional integral of order β for a function g is defined as
Definition 3 (see [15].)Let w : [1, +∞)⟶R is a sufficiently smooth function; then, the sequential fractional derivative is defined by
Lemma 1. For any h ∈ C([1, e], R). A function x ∈ AC([1, e], R) is a solution of the Hadamard sequential fractional hybrid differential equations:
Proof. As argued in [2], the solution of Hadamard differential equation in (11) can be written as
Solving (16) for c0 and c1 and using notation (13), we find that
Substituting the values of c0 and c1 in (15), we get the desired solution (12). This completes the proof.
For a normed space (X, ‖⋅‖), let , , , and .
Definition 4 (see [51].)A multivalued map is convex (closed) valued if G(x) is convex (closed) for all x ∈ X.
Definition 5 (see [51].)The multivalued map G is bounded on bounded sets if G(B) = ∪x∈BG(x) is bounded in X for all .
Definition 6 (see [51].)A multivalued map G is called upper semicontinuous (u.s.c.) on X if for each x0 ∈ X, the set G(x0) is a nonempty closed subset of X, and if for each open set N of X containing G(x0), there exists an open neighborhood of x0, such that .
Definition 7 (see [51].)A multivalued map G is said to be completely continuous if G(B) is relatively compact for every .
Definition 8 (see [51].)A multivalued map G has a fixed point if there is x ∈ X, such that x ∈ G(x). The fixed point set of the multivalued operator G will be denoted by Fix G.
Definition 9 (see [51].)A multivalued map is said to be measurable if for every y ∈ R, the function
Lemma 2 (see [51].)If the multivalued map G is completely continuous with nonempty compact values, then G is u.s.c. if and only if G has a closed graph, that is, xn⟶x∗, yn⟶y∗, and yn ∈ G(xn) imply y∗ ∈ G(x∗).
Let C([1, e], R) denote a Banach space of continuous functions from [1, e] into R with the norm ‖x‖ = supt∈[1, e]|x(t)|. Let Lp([1, e], R) be the Banach space of measurable functions x : [1, e]⟶R which are p-th Lebesgue integrable and normed by .
Definition 10 (see [51].)A collection of selections of multivalued map G at point x ∈ C[1, e] is defined by
Definition 11 (see [51].)A multivalued map is said to be Caratheodory if
- (i)
t⟼G(t, x, y) is measurable for each x, y ∈ R
- (ii)
(x, y)⟼G(t, x, y) is upper semicontinuous for almost all t ∈ [1, e]
Definition 12 (see [37].)A function x ∈ AC([1, e], R) is called a solution of problem (7) if there exists a function v ∈ L1([1, e], R) with v(t) ∈ G(t, x(t), HIpx(t)), a.e. on [1, e], such that
Lemma 3 (see [52].)Let X be a Banach space. Let be an L1-Caratheodory multivalued map, and let Θ be a linear continuous mapping from L1([1, e], X) to C([1, e], X). Then, the operator
Lemma 4 (see [53].)Let X be a Banach algebra and A : X⟶X be a single-valued and be a multivalued operator satisfying the following:
- (i)
A is single-valued Lipschitz with a Lipschitz constant k
- (ii)
B is compact and upper semicontinuous operator
- (iii)
2MK < 1, where M = ‖B(X)‖
Then, either
- (i)
The operator inclusion x ∈ AxBx has a solution or
- (ii)
The set is unbounded.
Definition 13 (see [51].)A multivalued map is said to be a contraction mapping if there is a constant 0 < λ < 1, such that
Lemma 5 (see [54].)Let (X, d) be a complete metric space. If is a contraction, then Fix N ≠ ∅.
3. Main Results
In this section, we will study the existence results of solutions for problem (7). First of all, we fix our terminology.
Let X = C([1, e], R) denote the space equipped with the norm ‖x‖ = supt∈[1, e]|x(t)|. Observe that (X, ‖⋅‖) is a Banach space, and (X, ‖⋅‖) with multiplication given by (x · x′)(s) = x(s)x′(s) is a Banach algebra.
-
(H1) The function ρ : [1, e] × R × R⟶R∖{0} is continuous, and there exists a bounded function Ψ, with bound ‖Ψ‖, such that Ψ(t) > 0, a.e. t ∈ [1, e], and
(26) -
(H2) G : [1, e] × R × R⟶ℛ is Caratheodory and has nonempty compact and convex values
-
(H3) There exists a constant p1 ∈ (0, p) and a function , such that
(27) -
For all x, y ∈ R and for a.e. t ∈ [[1, e].
-
(H4) There exists a positive real number ℛ, such that
(28) -
where .
-
(H5) There exists a continuous nondecreasing, subhomogeneous function Φ : R+⟶R+ (that is, Φ(μx) ≤ μΦ(x) for all μ ≥ 1 and x ∈ R+) and a function , such that
(29) -
For each (t, x, y) ∈ [1, e] × R2.
-
(H6) There exists a constant r > 0, such that
(30) -
where
(31) -
satisfying the condition is measurable for each (x, y) ∈ R2
-
for a.e. t ∈ [1, e] and for all with and d(0, G(t, 0,0)) ≤ ζ(t) for a.e. t ∈ [1, e].
-
(H9) The function ρ : [1, e] × R × R⟶R∖{0} is continuous, and there exists a function η ∈ C([1, e], R+), such that
(32)
In assumption (H8), Hd is the Hausdorff metric, where d is the Euclidean metric in R defined by d(x, y) = |x − y| for x, y ∈ R.
Theorem 1. Let the hypotheses (H1)–(H4) be satisfied. Then, inclusion problem (7) has at least one mild solution on C([1, e], R).
Proof. Consider the operator defined by
Observe that . We will show that the operators and ℬ satisfy all the conditions of Lemma 4. For the sake of convenience, we split the proof into several steps.
Step 1. is a Lipschitz on X, that is, (i) of Lemma 4 holds.
Let x, y ∈ X. By H1, we have
Therefore,
Step 2. The multivalued operator ℬ is compact and upper semicontinuous on X, that is, (ii) of Lemma 4 holds.
First, we show that ℬ has convex values. Let w1, w2 ∈ ℬx, and then, there are v1, v2 ∈ SG,x, such that
Next, we show that ℬ maps bounded sets into bounded sets in X. To see this, let Q be a bounded set in X, and then, there exists a real number r > 0, such that ‖x‖ ≤ r, ∀ x ∈ Q. Now, for each h ∈ ℬx, there exist v ∈ SG,x, such that
Then, for each t ∈ [1, e], using (H2), we have
Therefore, ℬ(Q) is uniformly bounded.
Next, we show that ℬ maps bounded sets into equicontinuous sets. For this purpose, we assume that Q be, as above, a bounded set and h ∈ ℬx for some x ∈ Q, and then, there exists a v ∈ SG,x, such that
Thus, for any t1, t2 ∈ [1, e], t2 > t1, we have
Therefore, ℬ(Q) is an equicontinuous set in X. Now, an application of the Arzela-Ascoli theorem yields that ℬ(Q) is relatively compact.
In our next step, we show that ℬ is upper semicontinuous. By Lemma 2, ℬ will be upper semicontinuous if we prove that it has a closed graph. Let xn⟶x∗, hn ∈ ℬxn, and hn⟶h∗. Then, we need to show that h∗ ∈ ℬx∗. Associated with hn ∈ ℬxn, there exists , such that for each t ∈ [1, e],
Thus, it suffices to show that there exists , such that for each t ∈ [1, e],
Let us consider the linear operator Θ : L1([1, e], R)⟶C([1, e], R) given by
Notice that the operator Θ is continuous. Indeed, for vn, v∗ ∈ L1([1, e], R) with vn⟶v∗ in L1([1, e], R), we obtain
Thus, it follows by Lemma 3 that Θ°SG is a closed graph operator. Furthermore, we have . Since xn⟶x∗, therefore, we have
As a result, we have that the operator ℬ is compact and upper semicontinuous.
Step 3. Now, we show that 2MK < 1, that is, (iii) of Lemma 4 holds.
This is obvious by (H4) since we have
Thus, all the conditions of Lemma 4 are satisfied, and a direct application of it yields that either conclusion (i) or conclusion (ii) holds. We show that conclusion (ii) is not possible.
Supposed the conclusion (ii) is true. Let be arbitrary. Then, we have, for , and then, there exists v ∈ SG,x such that
Therefore,
This is contradictory. Thus, conclusion (ii) of Lemma 4 does not hold by (28). Therefore, the operator equation and consequent problem (7) have a solution on [1, e]. This completes the proof.
Theorem 2. Suppose that the conditions (H1), (H2), (H5), and (H6) hold. Then, inclusion problem (7) has at least one mild solution on C([1, e], R).
Proof. The proof is similar to that of Theorem 1 and is omitted.
Theorem 3. Suppose that the conditions (H1), (H3), and (H7)–(H9) hold. If
Proof. Observe that the set SG,x is nonempty for each x ∈ C[1, e] by assumption (H7), and thus, G has a measurable selection. We now show that the operator satisfies the assumptions of Lemma 5. To establish that , for each x ∈ C[1, e], let be such that wn⟶w as n⟶∞ in C[1, e]. Then, w ∈ C[1, e], and there exists vn ∈ SG,x, such that for each t ∈ [1, e], we have
Since G has compact values, therefore, we can pass onto a subsequence (denoted in a same way) to obtain that vn converges to v in L1[1, e]. Thus, v ∈ SG,x, and for each t ∈ [1, e], we have wn(t)⟶w(t), where
Hence, .
Next, we show that is a contraction, that is,
For this, let and . Then, there exists v1 ∈ SG,x, such that for all t ∈ [1, e], we obtain
By (H7), we have
We define by . As the multivalued operator is measurable (proposition III.4, [55]), there exists a function v2(t) which is a measurable selection for V(t). Hence, for a.e. t ∈ [1, e] and
Let us define the function w2(t), t ∈ [1, e] by
Then, we conclude that
By interchanging the roles of x and , we obtain a similar relation, and thus, we get
In view of the condition λ0 < 1 (given by (56)), it follows that is a contraction, and therefore, by Lemma 5, has a fixed point x, which is a solution of problem (7). This completes the proof.
4. Examples
Thus, all the conditions of Theorem 3 are satisfied. Hence, it follows by the conclusion of Theorem 3 that there exists a solution for problem (72) on [1, e].
5. Conclusion
Nowadays, we need to study more natural phenomena to gain more abilities for modeling. Therefore, fractional calculus came into being, and today, their importance has become more and more apparent to researchers. In this way, it is necessary to design different and complicated modelings by utilizing the fractional differential problems. This is useful in making modern software which helps us to allow for more cost-free testing and less material consumption. In this work, we have developed the existence theory for a class of Hadamard sequential fractional hybrid differential inclusions equipped with two-point hybrid Hadamard integral boundary value conditions. The nonlinearities in the given problems implicitly depend on the unknown function together with its Hadamard fractional integral of order p ∈ (0,1). We apply fixed-point theorem due to Dhage and Covitz-Nadler fixed-point theorem to establish the desired results. Eventually, we give two numerical examples to support the applicability of our findings.
The work accomplished in this study is new and enriches the literature on boundary value problems for nonlinear Hadamard fractional differential inclusions. For future works, one can extend the given fractional boundary value problem to more general structures, such as finitely point multistrip integral boundary value conditions given by newly introduced generalized fractional operators with nonsingular kernels.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Authors’ Contributions
All authors read and approved the final manuscript.
Acknowledgments
This work was supported by the National Natural Science Foundation of China (11961069), Outstanding Young Science and Technology Training Program of Xinjiang (2019Q022), Natural Science Foundation of Xinjiang (2019D01A71), Scientific Research Programs of Colleges in Xinjiang (XJEDU2018Y033), and Autonomous Region Postgraduate Innovation Program of Xinjiang (XJ2021G260).
Open Research
Data Availability
No data were used to support this study.