Journal of Mathematics
Volume 2021 (2021), Article ID 6690049, 8 pages
https://doi.org/10.1155/2021/6690049

Research Article

Nonlocal Fractional Hybrid Boundary Value Problems Involving Mixed Fractional Derivatives and Integrals via a Generalization of Darbo’s Theorem

Ayub Samadi,¹ Sotiris K. Ntouyas,² and Jessada Tariboon³

¹Department of Mathematics, Miyaneh Branch, Islamic Azad University, Miyaneh, Iran
²Department of Mathematics, University of Ioannina, Ioannina 451 10, Greece
³Intelligent and Nonlinear Dynamic Innovations Research Center, Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok, Bangkok 10800, Thailand

Correspondence should be addressed to Jessada Tariboon; jessada.t@sci.kmutnb.ac.th

Received 6 December 2020; Revised 8 January 2021; Accepted 13 January 2021; Published 29 January 2021

Academic Editor: Ahmet Ocak Akdemir

Copyright © 2021 Ayub Samadi et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

In this work, a new existence result is established for a nonlocal hybrid boundary value problem which contains one left Caputo and one right Riemann–Liouville fractional derivatives and integrals. The main result is proved by applying a new generalization of Darbo’s theorem associated with measures of noncompactness. Finally, an example to justify the theoretical result is also presented.

1. Introduction

In the past years, fractional differential equations have attracted a lot of attention from many research studies as they have played a key role in many basic sciences such as chemistry, control theory, biology, and other arenas [1–3]. In addition, boundary conditions of differential models are the strongest tools to extend applications of those equations [4–6]. In fact, fractional differential equations can be extended by creating different types of boundary conditions. Newly, many authors have studied various types of boundary conditions to obtain new results of differential models.

The following hybrid differential equation was studied by Dhage and Lakshmikantham [7]:

where and are continuous functions from into and , respectively. Based on the above work, the Caputo hybrid boundary value problem of the form

was studied by Hilal and Kajouni [8] in which , and are continuous functions from into and , respectively, and are real constants with . For some recent results on hybrid fractional differential equations, see [9–12].

In [13], the authors proved the following integro-differential equation:

where and indicate right Caputo and left Riemann–Liouville fractional derivatives of orders and , respectively, are continuous functions, and the symbols and denote both right and left Riemann–Liouville fractional integrals of orders , respectively. Ahmad et al. [13] applied Banach and Krasnosel’skiĭ fixed point theorems as well Leray–Schauder nonlinear alternative to obtain main results. We point out that fractional differential equations containing mixed fractional derivatives appear in the study of variational principles [14].

For some recent results for boundary value problems involving left or/and right fractional derivatives, we refer to the papers [15–31] and references therein.

In the present paper, we combine mixed fractional derivatives and hybrid fractional differential equations. More precisely, we investigate the existence of solutions for the following hybrid boundary value problem which contains both left Caputo and right Riemann–Liouville fractional derivatives and integrals and nonlocal hybrid conditions of the form:

where and are right Caputo and left Riemann–Liouville fractional derivatives of orders and , respectively, and the symbols and denote both right and left Riemann–Liouville fractional integrals of orders , respectively, , , and . An existence result is obtained via a new extension of Darbo’s theorem associated with measures of noncompactness.

The structure of the paper has been organized as follows. Section 2 presents some basic definitions and lemmas which will be applied in the future. In Section 3, we prove an existence result for problem (4). Finally, we present an example to illustrate the obtained result.

2. Preliminaries

Now, some basic notations are recalled from [2].

Definition 1. For an integrable function , we define the left and right Riemann–Liouville fractional integrals of order , respectively, by

Definition 2. For the function in which , we define the left Riemann–Liouville fractional derivative and the right Caputo fractional derivative of order , respectively, by

Lemma 1. If and , then the following relations hold almost everywhere on :

As the technique of measure of noncompactness will be applied to obtain our main result, we recall some basic facts about the notion of measure of noncompactness.

Assume that is the real Banach space with the norm and zero element . For a nonempty subset of , the closure and the closed convex hull of will be denoted by and , respectively. Also, and denote the family of all nonempty and bounded subsets of and its subfamily consisting of all relatively compact sets, respectively.

Definition 3 (see [32]). We say that a mapping is a measure of noncompactness, if the following conditions hold true:

(1)The family Ker is nonempty and Ker (2)(3)(4)(5) for (6)For the sequence of closed sets from in which for and , we have

In [33], some generalizations of Darbo’s theorem have been proved by Samadi and Ghaemi. Also, in [34], Darbo’s theorem was extended, and the following result was presented which is basis for our main result.

Theorem 1. Let be a continuous self-mapping operator on the set , where denotes a nonempty, bounded, closed, and convex subset of a Banach space . Assume that, for all nonempty subset of , we have

where is an arbitrary measure of noncompactness defined in and . Then, has a fixed point in .

In Theorem 1, let indicate the set of all pairs where the following conditions hold true:

 () for each strictly increasing sequence  () is strictly increasing function () If be a sequence of positive numbers, then  () Let be a decreasing sequence in which and , then we have

Next, the definition of a measure of noncompactness in the space is recalled which will be applied later. Fix , and for and , we define

Banas and Goebel [32] proved that is a measure of noncompactness in the space .

Lemma 2 (see [32]). The measure of noncompactness on satisfies the following condition:

for all .

3. Main Existence Result

In this section, an existence result of problem (4) is investigated. In view of [13], Lemma 2, we present the following lemma which is an essential tool in our consideration.

Lemma 3. Let , , and . Then, the solution of the problem

has the form:

where

Now, the hypotheses which will be applied to prove the main result of this section are presented.

  is a continuous function, and there exists a positive real number provided that

 where and . Moreover, assume that .  are continuous functions provided that

 where and .  The inequality

 has a positive solution . Also, assume that

 where

Theorem 2. Suppose that the hypotheses are true. Then, the hybrid boundary value problem (4) has at least one solution on .

Proof. Due to Lemma 3, assume that the operator has been defined on as follows:

where

First, we show that in which . In view of assumption , we conclude that , . Consequently, by proving , the claim is obtained. Let be a sequence in such that . Then, due to our assumptions, we get

Hence, . To obtain that , by the definitions of and , we have and . Hence, we have . Consequently, for all .
Now, we prove that the ball is mapped into itself by the operator . Let us fix . Hence, due to existence assumptions, for , we have

Consequently, according to assumption we conclude that maps the ball into itself.
Now, the continuity property of the operator is considered on the ball . To do this, fix and take such that . Then, for , we have

Then, we have

Consequently, the continuity property of is obtained on the ball .
To finish the proof, condition (8) of Theorem 1 is proved. Consider as a nonempty subset of the ball and assume that , be arbitrarily constant. Choose such that and . Taking into account our assumptions, we get

where

Consequently,

As is uniformly continuous on , we have as . Thus, from (27), we conclude that

Next, we estimate and . In view of (21), since is uniformly continuous on , then for fixed , there exists such that, for with , we have

Besides, since and are uniformly continuous on , for with , we have and also . Consequently, we conclude that . Now, we estimate for . By applying (28) and (29) and Lemma 2 and using the fact that , we get

Consequently, we derive that

Thus, we conclude the contractive condition in Theorem 1 with and . Thus, by Theorem 1, at least one solution is obtained for the operator in which is a solution of problem (4) and the proof is completed.

Now, the following example is investigated to show the applicability of the obtained result.

Example 1. Consider the following hybrid boundary value problem:

By putting

in problem (4), we conclude the above hybrid boundary value problem as a special case of problem (4). Now, the conditions of Theorem 2 are checked. For all and , we have

Moreover, we have . Besides, the functions and are continuous, and for all and , we have

In this example , , , , , , , and . Hence, , and . Consequently, the existent inequality in condition has the form:

Obviously, the above inequality has the positive solution , for example . Moreover, according to the obtained values we have

Thus, we conclude all conditions of Theorem 2, and hence at least one solution of the mapping is obtained on which is a solution of problem (32).

4. Conclusion

We have studied a nonlocal hybrid boundary value problem which contains both left Caputo and right Riemann–Liouville fractional derivatives and integrals and nonlocal hybrid conditions. An existence result is proved by applying a new generalization of Darbo’s fixed point theorem associated with measures of noncompactness. The result obtained in this paper is new and significantly contributes to the existing literature on the topic.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This research was funded by King Mongkut’s University of Technology North Bangkok (contract no. KMUTNB-62-KNOW-28).

References

I. Podlubny, Fractional Differential Equations, Academic Press, San Diego, CA, USA, 1999.

A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations, North-Holland Mathematics Studies, vol. 204, Elsevier, Amesterdam, The Netherlands, 2006.

B. Ahmad, A. Alsaedi, S. K. Ntouyas, and J. Tariboon, Hadamard-Type Fractional Differential Equations, Inclusions and Inequalities, Springer, Cham, Switzerland, 2017.

A. Ergun, “Integral representation for solution of discontinuous diffusion operator with jump conditions,” Cumhuriyet Science Journal, vol. 39, no. 1, pp. 842–863, 2018.

A. Ergun and R. Amirov, “Dırect and inverse problems for diffusion operator with discontinuity points,” TWMS Journal of Pure and Applied Mathematics, vol. 9, no. 1, pp. 9–21, 2019.

R. Amirov, A. Ergun, and S. Durak, “Half-inverse problems for the quadratic pencil of the Sturm-Liouville equations with impulse,” Numerical Methods for Partial Differential Equations, vol. 37, no. 1, pp. 915–924, 2021.

B. C. Dhage and V. Lakshmikantham, “Basic results on hybrid differential equations,” Nonlinear Analysis: Hybrid Systems, vol. 4, no. 3, pp. 414–424, 2010.

K. Hilal and A. Kajouni, “Boundary value problems for hybrid differential equations with fractional order,” Advances in Differential Equations, vol. 2015, p. 183, 2015.

E. T. Karimov, B. López, and K. Sadarangani, “About the existence of solutions for a hybrid nonlinear generalized fractional pantograph equation,” Fractional Differential Calculus, vol. 6, no. 1, pp. 95–110, 2016.

N. Mahmudov and M. Matar, “Existence of mild solutions for hybrid differential equations with arbitrary fractional order,” TWMS Journal of Pure and Applied Mathematics, vol. 8, pp. 160–169, 2017.

S. Sitho, S. K. Ntouyas, and J. Tariboon, “Existence results for hybrid fractional integro-differential equations, Bound,” Value Problems, vol. 2015, p. 113, 2015.

S. Sun, Y. Zhao, Z. Han, and Y. Li, “The existence of solutions for boundary value problem of fractional hybrid differential equations,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 12, pp. 4961–4967, 2012.

B. Ahmad, A. Broom, A. Alsaedi, and S. K. Ntouyas, “Nonlinear integro-differential equations involving mixed right and left fractional derivatives and integrals with nonlocal boundary data,” Mathematics, vol. 8, no. 3, pp. 1–13, 2020.

O. P. Agrawal, “Formulation of Euler-Lagrange equations for fractional variational problems,” Journal of Mathematical Analysis and Applications, vol. 272, no. 1, pp. 368–379, 2002.

L. Zhang, B. Ahmad, and G. Wang, “The existence of an extremal solution to a nonlinear system with the right-handed Riemann-Liouville fractional derivative,” Applied Mathematics Letters, vol. 31, pp. 1–6, 2014.

R. Khaldi and A. Guezane-Lakoud, “Higher order fractional boundary value problems for mixed type derivatives,” Journal of Nonlinear Functions and Analysis, vol. 30, p. 9, 2017.

A. G. Lakoud, R. Khaldi, and A. Kilicman, “Existence of solutions for a mixed fractional boundary value problem,” Advances in Difference Equations, vol. 2017, p. 164, 2017.

A. G. Lakoud, R. Khaldi, and D. F. M. Torres, “On a fractional oscillator equation with natural boundary conditions,” Progress in Fractional Differentiation and Applications, vol. 3, no. 3, pp. 191–197, 2017.

S. K. Ntouyas and H. H. Al-Sulami, “A study of coupled systems of mixed order fractional differential equations and inclusions with coupled integral fractional boundary conditions,” Advances in Difference Equations, vol. 2020, p. 73, 2020.

B. Ahmad, S. K. Ntouyas, and A. Alsaedi, “Existence theory for nonlocal boundary value problems involving mixed fractional derivatives,” Nonlinear Analysis: Modelling and Control, vol. 24, pp. 937–957, 2019.

M. Bouaouid, M. Hannabou, and K. Hilal, “Nonlocal conformable-fractional differential equations with a measure of noncompactness in Banach spaces,” Journal of Mathematics, vol. 2020, Article ID 5615080, 2020.

M. A. Ragusa and A. Scapellato, “Mixed Morrey spaces and their applications to partial differential equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 151, pp. 51–65, 2017.

M. A. Ragusa and A. Tachikawa, “Regularity for minimizers for functionals of double phase with variable exponents,” Advances in Nonlinear Analysis, vol. 9, pp. 710–728, 2020.

E. Set, A. O. Akdemir, and I. Mumcu, “Chebyshev type inequalities for conformable fractional integrals,” Miskolc Mathematical Notes, vol. 20, no. 2, pp. 1227–1236, 2019.

M. A. Dokuyucu, E. Celik, H. Bulut, and H. M. Baskonus, “Cancer treatment model with the Caputo-Fabrizio fractional derivative,” European Physical Journal-Plus, vol. 133, p. 92, 2018.

I. Koca, E. Akcetin, and P. Yaprakdal, “Numerical approximation for the spread of SIQR model with Caputo fractional order derivative,” Turkish Journal of Science, vol. 5, no. 2, pp. 124–139, 2020.

M. A. Dokuyucu and H. Dutta, “A fractional order model for Ebola Virus with the new Caputo fractional derivative without singular kernel,” Chaos, Solitons & Fractals, vol. 134, Article ID 109717, 2020.

M. A. Dokuyucu, “Caputo and Atangana-Baleanu-Caputo fractional derivative applied to Garden equation,” Turkish Journal of Science, vol. 5, no. 1, pp. 1–7, 2020.

P. Agarwal and A. A. El-Sayed, “Vieta–Lucas polynomials for solving a fractional-order mathematical physics model,” Advances in Differential Equations, vol. 2020, p. 626, 2020.

N. A. Shah, P. Agarwal, J. D. Chung, E. R. El-Zahar, and Y. S. Hamed, “Analysis of optical solitons for nonlinear Schrödinger equation with detuning term by iterative transform method,” Symmetry, vol. 12, no. 11, p. 1850, 2020.

P. Agarwal, M. Akbar, R. Nawaz, and M. Jleli, “Solutions of system of Volterra intefro-differential equations using optimal homotopy asymptotic method,” Mathematical Methods in the Applied Sciences, vol. 44, no. 3, pp. 1–11, 2020.

J. Banas and K. Goebel, “Measure of noncompactness in Banach spaces,” in Lecture Notes in Pure and Applied Mathematics, vol. 60, Dekker, New York, NY, USA, 1980.

A. Samadi and M. B. Ghaemi, “An extension of Darbo fixed point theorem and its applications to coupled fixed point and integral equations,” Filomat, vol. 28, no. 4, pp. 879–886, 2014.

A. Samadi, “Applications of measure of noncompactness to coupled fixed points and systems of integral equations,” Miskolc Mathematical Notes, vol. 19, no. 1, pp. 537–553, 2018.