- Research
- Open access
- Published:
Exploring solutions to specific class of fractional differential equations of order \(3<\hat{u}\leq 4\)
Boundary Value Problems volume 2024, Article number: 71 (2024)
Abstract
This paper focuses on exploring the existence of solutions for a specific class of FDEs by leveraging fixed point theorem. The equation in question features the Caputo fractional derivative of order \(3<\hat{u} \leq 4\) and includes a term \(\Theta (\beta,\mathscr{Z}(\beta ))\) alongside boundary conditions. Through the application of a fixed point theorem in appropriate function spaces, we consider nonlocal conditions along with necessary assumptions under which solutions to the given FDE exist. Furthermore, we offer an example to illustrate the results.
1 Introduction
The focus of this research delves into the existence of solutions of the following problems:
where \({}^{c}D^{\hat{u}}\) represents the Caputo fractional derivative with a specific order denoted by the symbol û, and \(\Theta:[0,\sigma ]\times \mathbb{R} \longrightarrow \mathbb{R}\).
In the last few decades, noninteger-order calculus became very interesting to mathematicians and modelers. Fractional differential equations play a major role in applied sciences. The fractional derivatives provide an excellent description of the ecological models, anomalous diffusion, turbulent flow in a porous medium, synchronization of chaotic systems, and disease models; see [1–6].
The investigation of differential equations involving fractional calculus has attracted considerable attention and importance in the realm of mathematics research due to their capability to describe nonlinear and nonlocal phenomena in diverse scientific disciplines. These equations incorporate fractional derivatives and generalizations of integer-order derivatives employed in classical calculus. Nevertheless, solving fractional differential equations explicitly can be a difficult task, mainly when the order of the equation lies between 3 and 4.
Fractional differential equations (FDEs) have emerged as a subject of considerable interest from researchers due to their ability to capture hereditary effects and long-term memory. The use of fractional calculus has proven to be a potent tool in modeling dynamic phenomena that exhibit such characteristics. This makes fractional calculus a suitable methodology for analyzing anomalous transport in complex heterogeneous aquifers and for exploring various applications in disciplines like biology, chemistry, physics, and economics. It is crucial to solve FDEs with antiperiodic boundary conditions, which are observed in many situations, including local or midpoint conditions, as demonstrated by several studies in the literature [7–12].
In fractional calculus, several researchers have explored the existence of solutions for antiperiodic boundary value problems in many methods theoretically and numerically. Ahmad and Nieto [13] used Leray–Schauder degree theory to investigate the existence results for
where \({}^{c}D^{\hat{u}}\) represents the Caputo fractional derivative of order û, and \(\Theta:[0,\sigma ]\times \mathbb{R} \longrightarrow \mathbb{R}\).
Agarwal and Bashir [14] expanded the analysis to include fractional differential equations and inclusions. They utilized the nonlinear alternative degree and Leray–Schauder theory to obtain their results. The research contributes to the theoretical understanding of antiperiodic boundary conditions and provides insights into the behavior of solutions under such conditions.
Ahmed [15] explored the existence of solutions to FDEs of order \(\hat{u} \in (2,3]\) for
where \({}^{c}D^{\hat{u}}\) represents the Caputo fractional derivative of order û, and \(\Theta:[0,\sigma ]\times U \longrightarrow U\) for a Banach space \((U,\Vert \cdot \Vert )\). The paper contributes to understanding fractional calculus and its application to boundary value problems, where the existence results were obtained via the contraction mapping principle and Krasnoselskii’s fixed point theorem.
Furthermore, in [16], scholars acquired the existence of solutions to
where \({}^{c}D^{\hat{u}}\) represents the Caputo fractional derivative of order û, and \(\Theta:[0,\sigma ]\times \mathbb{R} \longrightarrow \mathbb{R}\). This research expands the understanding of fractional differential equations with nonstandard boundary conditions and provides insights into the behavior of solutions under parametric antiperiodic constraints.
We structured this paper as follows. The following section provides a background information, including definitions and theorems. Section 3 presents the results. Finally, Sect. 4 concludes the paper.
2 Preliminaries
Definition 1
For \(\mathscr{Z}(\beta ) \in C^{n}([0,\infty ],\mathbb{R})\), the Caputo fractional derivative of order \(\hat{u}>0\), denoted by \({}^{c} D^{\hat{u}}\), is defined by
where \(n=[\hat{u}]+1\).
Definition 2
For any order \(\hat{u}>0\), the Riemann–Liouville fractional integral of a function \(\mathscr{Z}(\beta )\), denoted \(I^{\hat{u}}\), is defined by
Lemma 2.1
For \(\hat{u}>0\), the general solution of \({}^{c}D^{\hat{u}} \mathscr{Z}(\beta )=0\) is given by
where \(\eta _{\kappa} \in \mathbb{R}, \tau =1,2, \dots,n \).
Lemma 2.2
The unique solution of
where \(\mathfrak{Z} \in C[0,\sigma ]\), is given by
Proof
By utilizing equation (2.1) for the constants \(\eta _{\kappa} \in \mathbb{R}\), \(\kappa =1,2,3,4\), we have
where
Substituting the values of \(\eta _{1}, \eta _{2}\), \(\eta _{3}\), and \(\eta _{4}\) into equation (2.4) leads to the solution to equation (2.3). □
Remark 2.1
It is worth noting that the expressions in (2.3) pertain to the nonlocal FDE, which is characterized by an order \(\hat{u} \in (1,2]\) as per the findings of [16]. Similarly, the first four terms correspond to the nonlocal FDE with order \(\hat{u} \in (2,3]\). Upon raising the order to \(\hat{u} \in (3,4]\), the solution to the problem will incorporate an additional term, as indicated in Lemma 2.2.
Remark 2.2
The solution of the classical problem
is
Upon careful examination of equations (2.3) and (2.5), it becomes apparent that four supplementary terms have been introduced in comparison to [14]. Furthermore, the first two components in (2.5) correspond to the problem characterized by an order of \(\hat{u} \in (1,2]\), as observed in [13]. Similarly, the first three terms in (2.5) dovetail to the problem of order \(\hat{u} \in (2, 3]\), as reported in [15].
Theorem 2.1
Let \(\mathscr{B}\) be a Banach space. Let \(\mathscr{P} \in \mathscr{B}\) be an open bounded subset with \(0 \in \mathscr{P}\), and let \(\mathcal{K}: \overline{\mathscr{P}} \longrightarrow \mathscr{B}\) be a completely continuous operator such that \(\Vert \mathcal{K}\omega \Vert \leq \Vert \omega \Vert \) for every \(\omega \in \partial \mathscr{P}\). Then \(\mathcal{K}\) has a fixed point in \(\partial \mathscr{P}\).
Theorem 2.2
[19, 20] Let \(\mathscr{B}\) be a Banach space, and let \(\omega \in \mathscr{B}\) be a nonempty closed convex subset. Let \(\mathscr{K}_{1}\) and \(\mathscr{K}_{2}\) be e operators such that \(\mathscr{K}_{1}\beta _{1} + \mathscr{K}_{2}\beta _{2} \in \omega \) for \(\beta _{1}, \beta _{2} \in \omega \). Suppose that \(\mathscr{K}_{1}\) is continuous and compact and \(\mathscr{K}_{2}\) is a contraction mapping. Then there exists \(\delta \in \omega \) such that \(\delta = \mathscr{K}_{1}\delta +\mathscr{K}_{2} \delta \).
3 Results
Let \(\mathscr{W}=C([0,\sigma ],\mathbb{R})\) with \(\Vert \mathscr{Z}\Vert = \sup_{\beta \in [0,\sigma ]}|\mathscr{Z}(\beta )|\). Define \(\mathcal{K}: \mathscr{W} \longrightarrow \mathscr{W}\) by
Theorem 3.1
Let \(\Theta:[0,\sigma ] \times \mathbb{R} \longrightarrow \mathbb{R} \) be a continuous function satisfying \(\Vert \Theta (\beta,\mathscr{Z}_{1})-\Theta (\beta,\mathscr{Z}_{2})\Vert \leq L\Vert \mathscr{Z}_{1}-\mathscr{Z}_{2}\Vert \) for all \(\beta \in [0,\sigma ]\) and \(\mathscr{Z}_{1}, \mathscr{Z}_{2} \in \mathbb{R}\), with \(LM<1\), where
Then problem (1.1) has a unique solution.
Proof
Define \(\mathcal{K}: \mathscr{W} \longrightarrow \mathscr{W}\) as in (3.1). For a fixed point, setting \(\max_{\beta \in [0,\sigma ]}\Vert \Theta (\beta,0)\Vert =\mu < \infty \) and taking \(r\geq \mu M\), we will show that \(\mathcal{K} \mathcal{B}_{r} \subset \mathcal{B}_{r}: =\{\mathscr{Z} \in \mathscr{W}: \Vert \mathscr{Z}\Vert \leq r\}\). For \(\beta \in \mathcal{B}_{r}\), we have
so that \(\Vert (\mathcal{K}\mathscr{Z}_{1})(\beta )-(\mathcal{K}\mathscr{Z}_{2})( \beta )\Vert \leq LM \Vert \mathscr{Z}_{1}-\mathscr{Z}_{2}\Vert \).
By the assumption \(LM < 1\) it follows by the Banach contraction principle that \(\mathcal{K}\) is a contraction, which implies that there exists a unique solution for the antiperiodic problem (1.1). □
Lemma 3.1
The operator \(\mathcal{K}\) defined in (3.1) is completely continuous.
Proof
Let \(\mathscr{U} \subset \mathscr{W}\). Then there exists \(A_{1}>0\) such that \(|\Theta (\mathscr{Z}_{1},\mathscr{Z}_{2})| \leq A_{1}\) for all \(\beta \in [0,\sigma ]\) and \(\mathscr{Z} \in \mathscr{U}\).
Define the operator \(\mathcal{K}\) as in (3.1). Then
which implies that \(\Vert (\mathcal{K}\mathscr{Z})\Vert \leq A_{2}\). Further,
Hence, for all \(\beta _{1},\beta _{2} \in [0,\sigma ]\), we have
so that \(\mathcal{K}\) is equicontinuous on \([0,\sigma ]\) and thus, by the Arzelá–Ascoli theorem, is completely continuous. □
Theorem 3.2
Let \(\Theta:[0,\sigma ] \times \mathbb{R} \longrightarrow \mathbb{R}\) be continuous, and let the following assumptions hold:
-
1.
\(\Vert \Theta (\beta,\mathscr{Z}_{1})-\Theta (\beta,\mathscr{Z}_{2})\Vert \leq L\Vert \Theta (\beta,\mathscr{Z}_{1})-\Theta (\beta,\mathscr{Z}_{2})\Vert \) \(\forall \beta \in [0,\sigma ]\) and \(\mathscr{Z}_{1}, \mathscr{Z}_{2} \in \mathbb{R}\mathbbm{;}\)
-
2.
\(|\Theta (\beta,\mathscr{Z})|\leq g (\beta )\), \(\forall (\beta,g)\in [0,1] \times \mathbb{R}\), where \(g \in L_{1}([0,\sigma ],R^{+})\);
Then problem (1.1) has at least one solution on \([0, \sigma ]\) if \(LK<1\), where
Proof
Fix \(r \geq \frac{\Vert g\Vert _{L_{1}}}{2} M\), where M is defined in Theorem 3.1, and consider \(\mathcal{B}_{r} =\{\mathscr{Z} \in \mathscr{W}: \Vert \mathscr{Z}\Vert \leq r\}\). Define the operators \(\mathscr{K}_{1}\) and \(\mathscr{K}_{2}\) on \(\mathcal{B}_{r}\) by
For \(\mathscr{Z}_{1}, \mathscr{Z}_{2} \in B_{r}\), we have
Thus \(\mathscr{K}_{1} \mathscr{Z}_{1} + \mathscr{K}_{2} \mathscr{Z}_{2} \in \mathcal{B}_{r}\). By assumption 1, \(\mathscr{K}_{2} \) is a contraction mapping if \(LK <1\). Also, the operator \(\mathscr{K}_{1}\) is continuous due to the continuity of Θ and is uniformly bounded on \(\mathcal{B}_{r}\):
Moreover, in view of assumption 1, we define \(\sup_{(\mathscr{Z}_{1},\mathscr{Z}_{2})\in [0,\sigma ] \times \mathcal{B}_{r}} \Vert \Theta (\beta,\mathscr{Z})\Vert =\Theta _{ \max}\), and we have
According to [21], the norm value is does not depend of \(\mathscr{Z}\) and approaches zero as \(\beta _{2}\) tends to \(\beta _{1}\). This implies that \(\mathscr{K}_{1}\) is relatively compact on \(\mathcal{B}_{r}\). By the Arzelà–Ascoli theorem, \(\mathscr{K}_{1}\) is compact on \(\mathcal{B}_{r}\). Therefore problem (1.1) has at least one solution on \([0,\sigma ]\). □
Theorem 3.3
Let \(\Theta:[0,\sigma ]\times \mathbb{R}\longrightarrow \mathbb{R}\) be a given continuous function satisfying \(|\Theta (\beta, \mathscr{Z}(\beta ))| \leq \mathscr{Q}(\beta )+ \mathscr{E} |\mathscr{Z}|\) for \(\beta \in [0,\sigma ]\), \(\mathscr{Z} \in \mathbb{R}\), and \(\mathscr{E}> 0\), and let \(\mathscr{Q} \in L_{\infty}([0,\sigma ],\mathbb{R}^{+})\) with \(\mathscr{E} <\frac{1}{\nu} \), where
Then problem (1.1) has at least one solution.
Proof
Define the operator \(\mathcal{K}\) as in (3.1) with \(\mathscr{Z}=\mathcal{K} \mathscr{Z}\), and let \(\mathcal{B}_{r}=\{\mathscr{Z} \in C[0,\sigma ] | \Vert \mathscr{Z}( \beta ) < r\Vert \}\). Setting \(\mathcal{D} (\rho,\mathscr{Z})=\rho \mathcal{K} \mathscr{Z}\), \(\rho \in [0,1]\) and \(\mathscr{Z} \in C(\mathbb{R})\), we have that \(d_{\rho}(\mathscr{Z})=\mathscr{Z} -\mathcal{D} (\rho,\mathscr{Z})= \mathscr{Z}-\rho \mathcal{K}\mathscr{Z}\) is completely continuous.
If \(\mathscr{Z}\neq \rho \mathcal{K} \mathscr{Z}\) for all \(\mathscr{Z} \in \partial \mathcal{B}_{r}\), then for all \(\rho \in [0,\sigma ]\), \(\deg(d_{\rho},\mathcal{B}_{r}, 0)=\deg(I-\rho \mathcal{K} \mathscr{Z}, \mathcal{B}_{r},0)=\deg(d_{1},\mathcal{B}_{r},0)=\deg(d_{0},\mathcal{B}_{r},0)=1 \neq 0 \in \mathcal{B}_{r}\).
For at least one \(\mathscr{Z}\in \mathcal{B}_{r}\), we have \(\mathscr{Z}-\rho \mathcal{K} \mathscr{Z}=0\). Then
Therefore
The proof is complete by choosing \(r> \frac{\Vert \mathscr{Q}\Vert \nu }{1-\mathscr{E} \nu}\). □
Example 3.1
Consider the following FDE problem:
All the assumptions of Theorem 3.1 are satisfied, since \(\Vert \Theta (\beta,\mathscr{Z}_{1})-\Theta (\beta,\mathscr{Z}_{2})\Vert \leq \frac{1}{81}\Vert \mathscr{Z}_{1}-\mathscr{Z}_{2}\Vert \), \(\hat{u}=\frac{7}{2}\), \(\hat{c}=0.01\), \(\sigma =2.01\) with \(M \approx 6.721799\), and \(LM\approx 0.082882<1\) Therefore the solution to (3.2) exists.
4 Conclusions
The nonlocal antiperiodic boundary conditions in a fractional differential equation result in additional terms in the integral solutions, as discussed in this paper. The outcomes of the study are in agreement with the situation where the classical antiperiodic problem of the interval \([0,\sigma ]\) is shifted. As ĉ approaches zero from the positive side, the results obtained in this paper are consistent with the results of the classical antiperiodic problem, as reported in [14].
Data Availability
No datasets were generated or analysed during the current study.
References
Podlubny, I.: Fractional differential equations, mathematics in science and engineering (1999)
Le Mehaute, A., Crepy, G.: Introduction to transfer and motion in fractal media: the geometry of kinetics. Solid State Ion. 9, 17–30 (1983)
Faieghi, M., Kuntanapreeda, S., Delavari, H., Baleanu, D.: LMI-based stabilization of a class of fractional-order chaotic systems. Nonlinear Dyn. 72, 301–309 (2013)
Sokolov, I.M., Klafter, J., Blumen, A.: Fractional kinetics. Phys. Today 55(11), 48–54 (2002)
Kilbas, A.A., Marichev, O.I., Samko, S.G.: Fractional Integrals and Derivatives (Theory and Applications) (1993)
Kilbas, A.: Theory and applications of fractional differential equations
Zhong, W., Lin, W.: Nonlocal and multiple-point boundary value problem for fractional differential equations. Comput. Math. Appl. 59(3), 1345–1351 (2010)
Ahmad, B., Nieto, J.J.: Riemann–Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions. Bound. Value Probl. 2011, 36 (2011)
Graef, J.R., Kong, L., Kong, Q.: Application of the mixed monotone operator method to fractional boundary value problems. Fract. Differ. Calc. 2, 554–567 (2011)
Zhou, W.-X., Chu, Y.-D., Băleanu, D.: Uniqueness and existence of positive solutions for a multi-point boundary value problem of singular fractional differential equations. Adv. Differ. Equ. 2013, 114 (2013)
Aljurbua, Saleh Fahad: Extended existence results for FDEs with nonlocal conditions. AIMS Math. 9(4), 9049–9058 (2024)
Aljurbua, Saleh Fahad: Extended existence results of solutions for FDEs of order \(1<\gamma \leq 2\). AIMS Math. 9(5), 13077–13086 (2024)
Ahmad, B., Nieto, J.J.: Existence of solutions for anti-periodic boundary value problems involving fractional differential equations via Leray–Schauder degree theory (2010)
Agarwal, R.P., Ahmad, B.: Existence theory for anti-periodic boundary value problems of fractional differential equations and inclusions. Comput. Math. Appl. 62(3), 1200–1214 (2011)
Ahmad, B.: Existence of solutions for fractional differential equations of order q in (2, 3 with anti-periodic boundary conditions. J. Appl. Math. Comput. 34, 385–391 (2010)
Agarwal, R.P., Ahmad, B., Nieto, J.J.: Fractional differential equations with nonlocal (parametric type) anti-periodic boundary conditions. Filomat 31(5), 1207–1214 (2017)
Lakshmikantham, V.: Theory of fractional functional differential equations. Nonlinear Anal., Theory Methods Appl. 69(10), 3337–3343 (2008)
Lim, S., Li, M., Teo, L.: Langevin equation with two fractional orders. Phys. Lett. A 372(42), 6309–6320 (2008)
Smart, D.R.: Fixed Point Theorems, vol. 66. Cup Archive (1980)
Rida, S., El-Sherbiny, H., Arafa, A.: On the solution of the fractional nonlinear Schrödinger equation. Phys. Lett. A 372(5), 553–558 (2008)
Diethelm, K., Ford, N.J.: Analysis of fractional differential equations. J. Math. Anal. Appl. 265(2), 229–248 (2002)
Acknowledgements
The Researchers would like to thank the Deanship of Graduate Studies and Scientific Research at Qassim University for financial support (QU-APC-2024-9/1)
Funding
The Researchers would like to thank the Deanship of Graduate Studies and Scientific Research at Qassim University for financial support (QU-APC-2024-9/1)
Author information
Authors and Affiliations
Contributions
Material preparation and analysis were performed by S.A.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Aljurbua, S.F. Exploring solutions to specific class of fractional differential equations of order \(3<\hat{u}\leq 4\). Bound Value Probl 2024, 71 (2024). https://doi.org/10.1186/s13661-024-01878-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-024-01878-8