- Research
- Open access
- Published:
A study of boundary value problem for generalized fractional differential inclusion via endpoint theory for weak contractions
Advances in Difference Equations volume 2020, Article number: 348 (2020)
Abstract
This note is concerned with establishing the existence of solutions to a fractional differential inclusion of a ψ-Caputo-type with a nonlocal integral boundary condition. Using the concept of the endpoint theorem for φ-weak contractive maps, we investigate the existence of solutions to the proposed problem. An example is provided at the end to clarify the theoretical result.
1 Introduction
On different time ranges, fractional calculus has had great impact due to a diversity of applications that have contributed to several fields of technical sciences and engineering [1–5]. One of the principal options behind the popularity of the area is that fractional-order differentiations and integrations are more beneficial tools in expressing real-world matters than the integer-order ones. Various studies in the literature, on distinct fractional operators such as the classical Riemann–Liouville, Caputo, Katugamploa, Hadamard, and Marchaud versions have shown versatility in modeling and control applications across various disciplines. However, such forms of fractional derivatives may not be able to explain the dynamic performance accurately, hence, many authors are found to be sorting out new fractional differentiations and integrations which have a kernel depending upon a function and this makes the range of definition expanded; see [6–8]. Furthermore, models based on these fractional operators provide excellent results to be compared with the integer-order differentiations [9–12].
Recently, the area of fractional-order differential inclusions has become mainly important as these equations were found to be of high importance in modeling stochastic and optimal controls problems [13]. By using techniques of nonlinear analysis the authors studied different aspects such as establishing the existence and the uniqueness of solutions, the upper and lower solutions, and stability. We refer the reader to [14–25] for various qualitative studies.
Details from the historical attitude and recent improvements in the area are detailed in the monograph of Ahmad et al. [26] and the survey of Agarwal et al. [27].
In this paper, we deal with the following ψ-fractional differential inclusions:
subject to ψ-boundary conditions of the form
where \({^{c}}\mathcal{D}_{\psi}^{\sigma} \) is the ψ-Caputo fractional-order derivative, \(Z: [1,T]\times\mathbb{R} \to\mathcal {P}(\mathbb{R})\) is a multivalued map, \(\mathcal{P}(\mathbb{R})\) is the family of all nonempty subsets of \(\mathbb{R}\), \(I^{\varrho}_{\psi}\) is the ψ-Riemann–Liouville fractional integral of order \(\varrho>0 \), \(0< \eta_{i} \leq T\), \(\delta_{\psi}= \frac{1}{\psi'(y)} \frac{d}{dy}\), \(h: [1,T]\times\mathbb{R}\to\mathbb{R}\) is given continuous function, and \(\lambda_{i} \in\mathbb{R}\), \(i= 0,1,2, \ldots, m\), are real constants such that
θ will be determined later. We establish novel existence results of solutions for the above inclusion problem by using the endpoint theorem when the multivalued map is φ-weak contractive.
The result of the present paper unifies several classes of fractional differential inclusion with different boundary conditions. For example by taking \(\psi(y)=y\) in (1.1)–(1.2) the results agree for the classical Caputo fractional inclusions [28] with a combination of classical nonlocal Riemann–Liouville fractional and Neumann boundary conditions of the form:
when \(\psi(y)= \ln(y)\), the results agree with the Caputo–Hadamard fractional inclusions [29] equipped with classical fractional integral boundary conditions of Hadamard type of the form
while the results for generalized Caputo fractional inclusions [30] with nonlocal Katugampola type integral boundary conditions
follow by taking \(\psi(y)= y^{\rho}/\rho\).
The paper is organized as follows. Section 2 recalls some basic and fundamental definitions and lemmas. In Sect. 3, we prove the existence of a solution to the proposed problem (1.1)–(1.2). An example is provided to demonstrate the main results in Sect. 4.
2 Preliminary results
Let \(\mathcal{W}=C([1,T], \mathbb{R})\) be the set of all continuous functions u from \([1,T]\) into \(\mathbb{R}\) with the uniform norm
\(L^{1}([1,T], \mathbb{R})\) be the Banach space of measurable functions \(u: [1,T]\to\mathbb{R}\) with the norm
We define \(\operatorname{AC}^{m}_{\psi}([1,T], \mathbb{R})\) by
which is supplied with the norm described by
where \(\psi\in C^{m}([1,T], \mathbb{R})\), with \(\psi'(y)>0\) on \([1,T]\), and
and \(\operatorname{AC}([1,T], \mathbb{R})\) is the space of absolutely continuous functions from \([1,T]\) into \(\mathbb{R}\).
Now we introduce some notations and definitions of fractional calculus with respect to another function and give preliminary results that we will need in our proofs later.
Definition 2.1
([28])
The ψ-fractional integration operator in the Riemann–Liouville sense of order \(\sigma>0\) with lower limit 1 for an integrable function g is defined by
provided the integral exists.
Definition 2.2
([7])
The ψ-fractional differentiation operator in the Riemann–Liouville sense of order \(\sigma>0\) of a function \(g \in \operatorname{AC}^{m}_{\psi}([1,T],\mathbb{R})\) is defined by
provided the integral exists, where \(m= [\sigma]+1\), and Γ is the Gamma Euler function.
Definition 2.3
The ψ-Caputo differentiation operator of fractional-order \(\sigma >0\) for a given \(g\in \operatorname{AC}^{m}_{\psi}([1,T], \mathbb{R})\) is given by
provided the integral exists. If \(\sigma= m\in\mathbb{N}\) we have
Lemma 2.4
([7])
For\(\sigma>0\)and a given function\(g\in \operatorname{AC}^{m}_{\psi} ([1,T], \mathbb {R})\), we have
Particularly, for\(0 <\sigma<1\), we obtain
We will investigate the existence of solutions to the problem (1.1)–(1.2) with the help of the following lemma.
Lemma 2.5
Let\(\phi: [1,T] \rightarrow\mathbb{R}\)be a continuous function, and\(1< \sigma\leq2\). Then theψ-fractional problem
is solvable, and its solution is given by
Proof
Performing the ψ-Riemann–Liouville fractional integration \(I^{\sigma}_{\psi}\) to both sides of (2.4) and making use of Lemma 2.4, we derive
where \(\lambda_{1}\), \(\lambda_{2}\) are real constants. Applying the \(\delta _{\psi}\)-differentiation in (2.7) the following equation is formulated:
Using the boundary conditions \((\delta_{\psi}u)(T)=(\delta_{\psi }u)(1)=0\) in (2.8), we get \(\lambda_{2}=0\), then using the condition \(u(1)= \sum_{i=0}^{m}\lambda_{i} I^{\varrho}_{\psi}h(\eta_{i}, u(\eta_{i}))\) in (2.7), after inserting \(\lambda_{2}=0\), gives us
Thus by substituting values of \(\lambda_{1}\) and \(\lambda_{2}\) in (2.7), we get the solution (2.6). □
3 Main results
We introduce in this section the function class Ψ of all mappings \(\varphi: \mathbb{R}^{+} \to\mathbb{R}^{+}\), \(\varphi^{-1}(0)= \{ 0\}\), and \(\varphi(z)< z\) for all \(z>0\), \(\varphi(z_{n})\to0\) when \(z_{n} \to0\)
Definition 3.1
([31])
Let \(\mathcal{W}\) be a complete space endowed with a metric ρ. A multivalued operator \(S: \mathcal{W}\to\mathcal{P}_{\mathrm{cl}, \mathrm{bd}}(\mathcal {W})\) is said to be a φ-weak contraction if there exists a function \(\varphi\in\varPsi\), such that
for each \(z, w \in\mathcal{W}\), where \(\mathcal{P}_{\mathrm{cl}, \mathrm{bd}}(\mathcal {W})\) is a nonempty collection of all closed and bounded subsets of \(\mathcal{W}\), and \(H_{\rho}(\cdot,\cdot)\) denotes for the Hausdorff metric on \(\mathcal{P}_{\mathrm{cl}, \mathrm{bd}}\) given as
where \(\rho(Q,d)= \inf_{q\in Q}\rho(q,d)\) and \(\rho(q,D)= \inf_{d\in D}\rho(q,d)\). We call an element \(z\in\mathcal{W}\) a fixed point of S, if \(z\in Sz\), and an endpoint or stationary point if \(Sz=\{z\}\). The set of all fixed points of S is denoted by \(\operatorname{Fix}(S)\), and \(\operatorname{End}(S)\) stands for the set of all endpoints of S. We say that S fulfills the approximate endpoint property if \(\inf_{z\in\mathcal{W}} \sup_{w\in S z} \rho(z,w)=0\).
Lemma 3.2
([31])
Let\(\mathcal{W}\)be a complete space endowed with a metricρ, and\(S: \mathcal{W}\to\mathcal{P}_{\mathrm{cl}, \mathrm{bd}}\)be a multivaluedφ-weak contractive. IfSverifies the approximate endpoint property, thenShas an endpoint. Moreover, we have\(\operatorname{End}(S)=\operatorname{Fix}(S)\).
Definition 3.3
A function \(u\in \operatorname{AC}^{2}_{\psi} ([1,T], \mathbb{R})\) is called a solution of the inclusion problem (1.1) if there exists a function \(l \in L^{1}([1,T], \mathbb{R})\) with \(l(y) \in Z(y,u(y))\), a.e. \(y\in [1,T]\), such that u satisfies conditions (1.2) and
where \(\psi\in C^{2}(J, \mathbb{R})\) such that \(\psi'>0\) on \([1,T]\).
We set an operator \(\mathcal{L} :\mathcal{W} \to\mathcal{P}(\mathcal {W}) \) associated with the problem (1.1)–(1.2) as
where \(S_{Z,u}\) is the set of selections for Z by
Theorem 3.4
Let\(\varphi\in\varPsi\). Assume that the following hypotheses hold:
-
(H 1)
\(Z :[1,T]\times\mathbb{R}\to\mathcal{P}_{\mathrm{cp}}(\mathbb {R})\)is a Carathéodory bounded multivalued map, where\(\mathcal {P}_{\mathrm{cp}}(\mathbb{R})\)is the collection of all nonempty compact subsets of\(\mathbb{R}\).
-
(H 2)
For\(u, \bar{u}\in\mathbb{R}\), we have
$$H_{d}\bigl(Z(y,u), Z(y,\bar{u})\bigr)\leq\frac{\varGamma(\sigma+1)}{(\psi (T))^{\sigma}} \bigl( \bigl\vert u(y)-\bar{u}(y) \bigr\vert - \varphi\bigl( \bigl\vert u(y)-\bar{u}(y) \bigr\vert \bigr)\bigr). $$ -
(H 3)
There exists\(0<\theta< 1\), such that
$$\bigl\vert h(y,u)-h(y,\bar{u}) \bigr\vert \leq\theta \vert u-\bar{u} \vert . $$
IfZverifies the approximate endpoint property, then the inclusion problem (1.1)–(1.2) has a solution on\([1,T]\), provided that
Proof
The proof will be given in two steps, where we show that \(\mathcal {L}:\mathcal{W} \to\mathcal{P}(\mathcal{W})\) given in (3.2) has an endpoint.
Step 1:\(\mathcal{L}\) is closed multivalued of \(\mathcal {P}(\mathcal{W})\).
Let \(u_{n} \in\mathcal{W}\) such that \(u_{n}\to u\), and \((f_{n})_{n \geq1} \in\mathcal{L}(u)\) be a sequence such that \(f_{n} \to f^{*} \) whenever \(n\to+\infty\). Then there exists a \(l_{n} \in S_{Z,u_{n}} \) such that, for each \(y\in[1,T]\), we get
Since Z has compact values, the sequence \((l_{n})_{n \geq1}\) has a sub-sequence, still denoted by \((l_{n})_{n \geq1}\), which converges strongly to some \(l \in L^{1}([1,T], \mathbb{R})\), and hence \(l\in S_{Z,u}\). For every \(\nu\in Z(y,u(y))\), we have
which implies
Since \(\|u_{n}-u\| \to0\) then \(\varphi(\|u_{n}-u\|) \to0\) and h is a continuous function then, for each \(y\in[1,T]\),
So \(f^{*} \in\mathcal{L}\) and \(\mathcal{L}\) is closed multivalued.
Step 2: \(\mathcal{L}\) is φ-weak contraction multivalued, i.e. for \(u, \bar{u}\in\mathcal{W}\), we show
Let \(u, \bar{u}\in C(J, \mathbb{R})\) and \(f_{1}\in\mathcal{L}(u)\). Then, there exists \(l_{1}(y)\in\mathcal{S}_{Z, u}\) such that, for each \(y\in[1,T]\),
From (H 2) it follows that
Thus, there exists \(w\in Z(y,\bar{u}(y))\) provided that
Define \(U: [1, T]\to\mathcal{P}(\mathbb{R})\) given by
Since \(U(y) \cap Z(y, \bar{u})\) is measurable, then we can find a measurable selection \(l_{2}(y)\) for \(U(y) \cap Z(y, \bar{u})\). Thus \(l_{2}(y)\in Z(y,\bar{u}(y))\), and, for each \(y\in[1,T]\), we have
We define \(f_{2}(y)\) for each \(y\in[1,T]\), as follows:
Then for \(y \in[1,T]\)
Therefore,
It follows that \(H_{\rho}(\mathcal{L}(u), \mathcal{L}(\bar{u})) \leq\| u(y)-\bar{u}(y)\|- \varphi(\|u(y)-\bar{u}(y)\|)\), for all \(u ,\bar{u} \in\mathcal{W}\). By hypothesis, since the operator Z has an approximate endpoint property, then by Lemma 3.2\(\mathcal{L}\) has an endpoint \(u^{*}\in\mathcal{W}\), i.e. \(\mathcal{L}{u^{*}}=\{u^{*}\}\), which is also a fixed point. Consequently, the problem (1.1)–(1.2) has a solution \(u^{*}\) and the proof is now complete. □
4 An example
Let \(\mathcal{W} = C([1, e], \mathbb{R})\) be the space of all continuous functions defined on \([1, e]\) and \(u\in\mathcal{W}\). Consider the following fractional BVP of differential inclusion:
where \(h(y, u)= \frac{u}{e^{y}(u+1)}\), and \(\psi(y)= y^{3}\). Obviously ψ is differentiable and an increasing function on \([1,e]\) with \(\psi'(y)= 3y^{2}\), which is a continuous function on \([1,e]\). Here \(Z: [1,e]\times \mathbb{R} \to\mathcal{P}(\mathbb{R})\) is a multivalued map given by
Selecting \(\varphi(x)=\frac{x}{2}\). It is clear that the function \(\varphi\in\varPsi\), indeed \(\varphi(x) < x\) for all \(x \in[1,e]\), \(\varphi^{-1}(\{0\})=0\), \(\varphi(x_{n})\to0\) when \(x_{n}\to0\)
Hence the condition (H 2) holds for \(\vartheta, \bar{\vartheta} \in \mathbb{R}\) a.e \(\sigma\in(1,2]\). On the other hand, we have
Therefore condition (H 3) holds. With the given data, it is found that
with
We define an operator \(\mathcal{L} : \mathcal{W}\to\mathcal{P}(\mathcal{W})\)
where
Note that 0 is a unique endpoint of \(\mathcal{L}\), i.e. \(\mathcal {L}(0) = \{0\}\), which implies that \(\sup_{u\in\mathcal{L}(0)} \|u\| =0\), thus \(\inf_{u\in\mathcal{W}} \sup_{g\in\mathcal{L}(u)}\|\vartheta -g\|=0\). The operator \(\mathcal{L}\) as a consequence has the approximate endpoint property. Therefore all conditions of Theorem 3.4 are satisfied, then the inclusion problem (4.1) has at least one solution on \([1,e]\).
5 Conclusion
In the present work, the endpoint theorem for φ-weak contractive maps was used to establish the existence results of solutions for fractional differential inclusion which involves the ψ-Caputo fractional derivative. Systems of fractional differential inclusions with the ψ-Caputo derivative provide more adaptable models, in the sense that by a proper choice of the function ψ, hidden features of real-world phenomena could be extracted. An illustrative example is presented to point out the applicability of our main results. Our results are not only new in the given configuration but also correspond to some new results associated with the specific choice of the function ψ involved in the given problem.
References
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Belmor, S., Ravichandran, C., Jarad, F.: Nonlinear generalized fractional differential equations with generalized fractional integral conditions. J. Taibah Univ. Sci. 14(1), 114–123 (2020)
Sohail, A., Maqbool, K., Ellahi, R.: Stability analysis for fractional-order partial differential equations by means of space spectral time Adams–Bashforth Moulton method. Numer. Methods Partial Differ. Equ. 34(1), 19–29 (2018)
Jarad, F., Abdeljawad, T., Hammouch, Z.: On a class of ordinary differential equations in the frame of Atangana–Baleanu fractional derivative. Chaos Solitons Fractals 117, 16–20 (2018)
Ahmed, I., Kumam, P., Jarad, F., Borisut, P., Sitthithakerngkiet, K., Ibrahim, A.: Stability analysis for boundary value problems with generalized nonlocal condition via Hilfer–Katugampola fractional derivative. Adv. Differ. Equ. 2020(1), Article ID 225 (2020)
Almeida, R.: A Caputo fractional derivative of a function with respect to another function. Commun. Nonlinear Sci. Numer. Simul. 44, 460–481 (2017)
Jarad, F., Abdeljawad, T.: Generalized fractional derivatives and Laplace transform. Discrete Contin. Dyn. Syst., Ser. S 13(3), 709–722 (2020). https://doi.org/10.3934/dcdss.2020039
Sousa, J., da Vanterler, C., de Oliveira, E.C.: On the Ψ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 60, 72–91 (2018)
Ahmed, I., Kumam, P., Shah, K., Borisut, P., Sitthithakerngkiet, K., Demba, M.A.: Stability results for implicit fractional pantograph differential equations via ϕ-Hilfer fractional derivative with a nonlocal Riemann–Liouville fractional integral condition. Mathematics 8(1), Article ID 94 (2020). https://doi.org/10.3390/math8010094
Luo, D., Shah, K., Luo, Z.: On the novel Ulam–Hyers stability for a class of nonlinear ψ-Hilfer fractional differential equation with time-varying delays. Mediterr. J. Math. 16(5), Article ID 112 (2019)
Harikrishnan, S., Shah, K., Baleanu, D., Kanagarajan, K.: Note on the solution of random differential equations via ψ-Hilfer fractional derivative. Adv. Differ. Equ. 2018, Article ID 224 (2018)
Borisut, P., Kumam, P., Ahmed, I., Jirakitpuwapat, W.: Existence and uniqueness for ψ-Hilfer fractional differential equation with nonlocal multi-point condition. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6092
Stankovic, S.S.: Stochastic inclusion principle applied to decentralized automatic generation control. Int. J. Control 72(3), 276–288 (1999)
Alqudah, M.A., Ravichandran, C., Abdeljawad, T., Valliammal, N.: New results on Caputo fractional-order neutral differential inclusions without compactness. Adv. Differ. Equ. 2019(1), Article ID 528 (2019)
Phung, P., Truong, L.: On a fractional differential inclusion with integral boundary conditions in Banach space. Fract. Calc. Appl. Anal. 16(3), 538–558 (2013)
Abbas, S., Benchohra, M., Petrusel, A.: Ulam stability for partial fractional differential inclusions via Picard operators theory. Electron. J. Qual. Theory Differ. Equ. 2014, Article ID 51 (2014)
Rezaigia, A., Kelaiaia, S.: Existence results for third-order differential inclusion with three-point boundary value problems. Acta Math. Univ. Comen. 2, 311–318 (2016)
Abbas, S., Benchohra, M., Hamani, S., Henderson, J.: Upper and lower solutions method for Caputo–Hadamard fractional differential inclusions. Math. Morav. 23(1), 107–118 (2019)
Belmor, S., Jarad, F., Abdeljawad, T., Alqudah, M.A.: On fractional differential inclusion problems involving fractional order derivative with respect to another function. Fractals 20(8), Article ID 2040002 (2020)
Khan, A., Shah, K., Kumam, P., Onsod, W.: An \((\alpha,\vartheta)\)-admissibility and theorems for fixed points of self-maps. In: Econometrics for Financial Applications, pp. 369–380. Springer, Cham (2018)
Iqbal, M., Shah, K., Khan, R.A.: On using coupled fixed-point theorems for mild solutions to coupled system of multipoint boundary value problems of nonlinear fractional hybrid pantograph differential equations. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.5799
Jarad, F., Harikrishnan, S., Shah, K., Kanagarajan, K.: Existence and stability results to a class of fractional random implicit differential equations involving a generalized Hilfer fractional derivative. Discrete Contin. Dyn. Syst., Ser. S 13(3), 723–739 (2020). https://doi.org/10.3934/dcdss.2020040
Etemad, S., Rezapour, Sh., Samei, M.E.: On fractional hybrid and non-hybrid multi-term integro-differential inclusions with three-point integral hybrid boundary conditions. Adv. Differ. Equ. 2020, Article ID 161 (2020)
Etemad, S., Ntouyas, S.K.: Application of the fixed point theorems on the existence of solutions for q-fractional boundary value problems. AIMS Math. 4(3), 997–1018 (2019)
Ntouyas, S.K., Etemad, S.: On the existence of solutions for fractional differential inclusions with sum and integral boundary conditions. Appl. Math. Comput. 266, 235–243 (2015)
Ahmad, B., Alsaedi, A., Ntouyas, S.K., Tariboon, J.: Hadamard-Type Fractional Differential Equations, Inclusions and Inequalities. Springer, Cham (2017)
Agarwal, R.P., Benchohra, M., Hamani, S.: A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 109(3), 973–1033 (2010)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives, Theory and Applications. Gordon & Breach, Yverdon (1993)
Jarad, F., Abdeljawad, T., Baleanu, D.: Caputo-type modification of the Hadamard fractional derivative. Adv. Differ. Equ. 2012, Article ID 142 (2012)
Jarad, F., Abdeljawad, T., Baleanu, D.: On the generalized fractional derivatives and their Caputo modification. J. Nonlinear Sci. Appl. 10(5), 2607–2619 (2017)
Moradi, S., Khojasteh, F.: Endpoints of φ-weak and generalized φ-weak contractive mappings. Filomat 26, 725–732 (2012)
Acknowledgements
The third author would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17. 13
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All the authors have made equal contributions in this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
There is no conflict of interest among the authors of the paper regarding the publication.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Belmor, S., Jarad, F., Abdeljawad, T. et al. A study of boundary value problem for generalized fractional differential inclusion via endpoint theory for weak contractions. Adv Differ Equ 2020, 348 (2020). https://doi.org/10.1186/s13662-020-02811-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02811-w