Abstract
This study is devoted to studying the existence and uniqueness of solutions for Hadamard implicit fractional differential equations with generalized Hadamard fractional integro-differential boundary conditions by utilizing the contraction principle of the Banach and Leray–Schauder fixed point theorems. Moreover, with two different approaches, the Hyers–Ulam stabilities are also discussed. Different ordinary differential equations of the third order with different boundary conditions (e.g., initial, anti periodic and integro-differential) can be obtained as a special case for our proposed model. Finally, for verification, an example is presented, and some graphs for the particular variables and particular functions are drawn using MATLAB.
Keywords:
Hadamard fractional derivative; coupled systems; boundary value problem; existence of solutions; Ulam stability MSC:
26A33; 34B27; 45M10
1. Introduction
The notion of fractional derivatives was first introduced in 1695, when Leibniz used the notation for the derivative and de L’Hospital questioned what this may imply when n is (see [1]). The generalization of integer-order derivatives and integration is actually the fractional order derivatives and integration. Riemann, Liouville, Caputo, Hadamard, Hilfer, Riesz, Erdelyi–Kober, Fourier and Laplace worked on non-integer-order fractional derivatives and made the fractional calculus more informative for mathematicians. An operator in the form of a fractional order is a global one which applies as a tool for many complicated applied phenomena (e.g., biological mathematical models [2], signal as well as image processes [3], mathematical chemistry [4], control theory [5] and processes involving dynamics [6]). For more details about fractional order differential equations (), see [7,8,9,10].
Among the qualitative properties of the nonlinear , the existence of solutions is the most important one and the first priority of researchers. As a result, involving conditions on the boundary such as initial, anti-periodic () and periodic, integro-differential multi-points, have been investigated [11,12,13]. The idea of Hyers–Ulam stability () began in 1940 [14]. Among other types, it is an important type of stability which guarantees an exact solution for each approximate solution within a specific boundary. Therefore, it can be required in a number of applications such as optimization, numerical analysis, error analysis, biology and economics [15,16,17]. Alqifiary et al. [18] investigated the generalized Hyers–Ulam stability for linear . Razaei et al. [19] studied by utilizing the approach of a Laplace transform for linear . Wang et al. [20] obtained the of two different kinds of . Liu et al. [21] achieved the of linear Caputo–Fabrizio . Liu et al. [22] gave the of linear Caputo–Fabrizio by utilizing the property of a Mittag–Leffler kernel and using the method of Laplace transformation.
Luo et al. [23] discussed the existence, uniqueness () and of
They also extended their results to a system of the form
where and are the Hadamard fractional derivative of the order with and , is nonnegative and and are linear functions.
The above study motivated us to study the and at least one solution of the following coupled system () of in the sense of Hadamard derivatives:
having the generalized Hadamard fractional integro-differential boundary conditions
where , for and are coefficients of the integrals in boundary conditions (BCs). are continuous functions, and and are the Hadamard derivatives and integrals of the fractional orders and , respectively.
The said system of Hadamard (Equation (1)) is the generalization of third-order ordinary differential equations (), and according to our information, the proposed have several uses in different engineering fields and the area of applied sciences [24,25,26,27]. It is attractive that some mathematical modeling of numerous physical phenomena gives systems in a form coupled with the aforementioned third-order . Such models are linked jerk-type equations, which are mainly used in the processes of manufacturing [28,29,30]. Additionally, for and , we can acquire BCs in the form of , which often occur in the models of different physical phenomena (e.g., in the partial, ordinary and with impulses, trigonometric polynomials in the investigation of the interpolation issues, wavelets and equations in the discrete form) [31,32,33,34].
2. Background Materials
Let be the space of all continuous functions on , which is a Banach space with Let be the space of all functions such that for and , we have . Obviously, is a Banach space with
Additionally, is a Banach space with norm :
Definition 1
([35]). The order Hadamard integral for (continuous) is represented by
Definition 2
([35]). The Hadamard derivative of the order for (continuous) is given by
where and is the integer value of κ.
It can be observed that for we have
and
In addition, we have
Lemma 1
([35]). For a Hadamard of the order , we have
which is
where are real constants.
3. Existence of Solutions
Lemma 2.
Assume that and . Then, the solution of
is represented by
where
Proof.
By applying Lemma 1, we obtain
Here, the determinant of matrix A is
In addition, the co-factors are
Hence, the unknowns are
Remark 1.
If in Equation (3), we place and , then the Green function for third-order with BCs will be derived.
Remark 2.
If in Equation (3), we place and , then the solution for the third-order with the initial BCs can be derived.
Lemma 3.
Let , . Then, the following
has a (unique) solution presented as
where is given by
Proof.
The proof can be derived as in Lemma 2. □
For simplicity, let
and
For simplicity, we have
To deal with Equation (1) as a problem of a fixed point, let be an operator represented by
In the coming section, we utilize the Banach principle to obtain our first result:
Theorem 1.
Let be continuous such that the following condition holds true:
For every and , there are and such that
Proof.
Let and such that
We need to prove that where
For we have
Consider
Hence, we have
Equivalently, we have
For and for any we obtain
Hence, we have
Similarly, we have
Therefore, is a contraction. Thus, Equation (1) has a (unique) solution. □
In the sequel, we need the following theorem:
Theorem 2
([36]). Let be a completely continuous operator, and let
Then either the set is unbounded or the operator has at least one fixed point.
Theorem 3.
Suppose the functions are continuous such that the following are true:
For any and , ∃, they satisfy
In addition, for and , ∃, they satisfy
with .
Furthermore, the following is true:
Proof.
First, we prove that is completely continuous. As and are continuous, the operator is thus also continuous. Now, for , we obtain
By applying , we have
Similarly, we obtain
To prove that is equicontinuous, let . Then, we have
Therefore, we obtain
Similarly, we have
Thus, is equicontinuous, and consequently, is completely continuous.
Now, we prove that is bounded. Let . Then, For we have
Then, we have
which implies that
4. Stability
Let us introduce the definitions of the Ulam stabilities for Equation (1).
Let be nondecreasing functions and . Additionally, let
Definition 3
Definition 4
Definition 5
Definition 6
Remark 3.
Note that is a solution to Equation (24) if ∃ , which depend on and respectively, in such a way that the following are true:
- (A1)
- ;
- (A2)
Lemma 4.
Proof.
By applying of Remark 3 and letting , then we obtain
with the generalized integro-differential BCs in Equation (2). Thus, utilizing Lemma 1, the solution to Equation (31) is
By using the first part of Equation (32), we have
where are those terms which are free of By using Equation (8) and of Remark 3, Equation (33) becomes
By following similar steps for Equation (32), we have
□
4.1. First Method
Theorem 4.
Let hold, and
Proof.
Let satisfy Equation (24) and satisfy
Now, by using Lemma 1, for , we find that Equation (35) has the following solution:
Consider
By applying Lemma 4 in Equation (37), we have
Equivalently, we have
Thus, we have
where
Consequently, we have
from which we have
□
- [] Let functions be nondecreasing. Then, there are such that for every the following inequalities hold:
Remark 5.
Similarly, we obtained the and for Equation (1) by utilizing Lemma 4, Theorem 5 and Definitions 5 and 6 with and .
4.2. Second Method
Theorem 5.
Remark 6.
Using Remark 4, we have .
Remark 7.
- 1
- The and results for s of third-order nonlinear with conditions can be obtained if we set , and in Equation (1).
- 2
- The and results for s of third-order nonlinear with the initial conditions will be obtained if we set , and in Equation (1).
- 3
- The and results for s of third-order nonlinear with integro-differential BCs will be obtained if we set and in Equation (1).
5. Example
Example 1.
Let
Here, we have and . Moreover, we find and from the nonlinear terms of Equation (45). Therefore, we have
- (i)
- If we take and , then with the values , and , the graph of the solution is shown in Figure 1.
Figure 1. Sketch of solution in case (i). - (ii)
- If we take and , then with the values , and , the graph of the solution is shown in Figure 2.
Figure 2. Sketch of solution in case (ii). - (iii)
- If we take and , then with the values , and , the graph of the solution is shown in Figure 3.
Figure 3. Sketch of solution in case (iii). - (iv)
- If we take and , then with the values , and , the graph of the solution is shown in Figure 4.
Figure 4. Sketch of solution in case (iv).
Furthermore, the conditions and of Theorems 4 and 5 are also verified. Therefore, in both approaches, Equation (45) has , , and .
6. Conclusions
We utilized the contraction principle and Leray–Schauder fixed point theorem for the existence theory of (Equation (1)). We concluded that under some specific assumptions, the systems have at least one solution. Furthermore, we presented the , , and by utilizing the perturbations in Equation (1) and some necessary conditions.
The applicability of the outcomes was checked with an example. The proposed system in Equation (1) is the generalization of third-order , particularly for , which is vastly utilized in applied sciences [2]. See the following for :
- 1
- and , and then we gain third-order coupled with the initial conditions.
- 2
- and , and then we gain third-order coupled with BCs in the form of .
- 3
- , and then we gain third-order coupled with integro-differential BCs. Using MATLAB, we draw graphs for the particular variables and particular functions.
Author Contributions
Conceptualization, L.G., U.R., A.Z. and M.A.; formal analysis, L.G., U.R., A.Z. and M.A.; writing original draft preparation, L.G., U.R., A.Z. and M.A.; writing—review and editing, L.G., U.R., A.Z. and M.A.; funding acquisition, L.G., U.R., A.Z. and M.A. All authors have read and agreed to the published version of the manuscript.
Funding
This research was supported by the National Natural Science Foundation of China (12101086) and Changzhou Science and Technology Planning Project (CJ20210133).
Data Availability Statement
Not applicable.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Application of Fractional Differential Equation. In North-Holl and Mathematics Studies; Elsevier Science B.V.: Amsterdam, The Netherlands, 2006; Volume 204. [Google Scholar]
- Rihan, F.A. Numerical Modeling of Fractional Order Biological Systems. Abstr. Appl. Anal. 2013, 2013, 816803. [Google Scholar] [CrossRef]
- Sabatier, J.; Agrawal, O.P.; Machado, J.A.T. Advances in Fractional Calculus; Springer: Dordrecht, The Netherlands, 2007. [Google Scholar]
- Oldham, K.B. Fractional differential equations in electrochemistry. Adv. Eng. Softw. 2010, 41, 9–12. [Google Scholar] [CrossRef]
- Vintagre, B.M.; Podlybni, I.; Hernandez, A.; Feliu, V. Some approximations of fractional order operators used in control theory and applications. Fract. Calc. Appl. Anal. 2000, 3, 231–248. [Google Scholar]
- Tarasov, V.E. Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields and Media; Springer: Heidelberg, Germany; Higher Education Press: Beijing, China, 2010. [Google Scholar]
- Ahmad, B.; Nieto, J.J. Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 2009, 58, 1838–1843. [Google Scholar] [CrossRef]
- Chen, Y.; An, H. Numerical solutions of coupled Burgers equations with time and space fractional derivatives. Appl. Math. Comput. 2008, 200, 87–95. [Google Scholar] [CrossRef]
- Deimling, K. Nonlinear Functional Analysis; Springer: New York, NY, USA, 1985. [Google Scholar]
- Riaz, U.; Zada, A.; Ali, Z.; Cui, Y.; Xu, J. Analysis of coupled systems of implicit impulsive fractional differential equations involving Hadamard derivatives. Adv. Differ. Equ. 2019, 2019, 226. [Google Scholar] [CrossRef]
- Agarwal, R.P.; Ahmad, B.; Alsaedi, A. Fractional-order differential equations with anti-periodic boundary conditions: A survey. Bound. Value Probl. 2017, 2017, 173. [Google Scholar] [CrossRef]
- Ahmad, B.; Ntouyas, S.K. Fractional differential inclusions with fractional separated boundary conditions. Fract. Calc. Appl. Anal. 2012, 15, 362–382. [Google Scholar] [CrossRef]
- Goodrich, C. Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions. Comput. Math. Appl. 2011, 61, 191–202. [Google Scholar] [CrossRef]
- Ulam, S.M. A Collection of the Mathematical Problems; Interscience: New York, NY, USA, 1960. [Google Scholar]
- Alam, M.; Shah, D. Hyers–Ulam stability of coupled implicit fractional integro-differential equations with Riemann–Liouville derivatives. Chaos Solitons Fract. 2021, 150, 111122. [Google Scholar] [CrossRef]
- Ali, A.H.; Páles, Z. Taylor-type expansions in terms of exponential polynomial. Math. Inequal. Appl. 2022, 25, 1123–1141. [Google Scholar] [CrossRef]
- Hyers, D.H. On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 1941, 27, 222–224. [Google Scholar] [CrossRef]
- Alqifiary, Q.; Jung, S. Laplace transform and generalized Hyers–Ulam stability of linear differential equations. Electron. J. Differ. Equ. 2014, 2014, 1–11. [Google Scholar]
- Rezaei, H.; Jung, S.; Rassias, T. Laplace transform and Hyers-Ulam stability of linear differential equations. J. Math. Anal. Appl. 2013, 403, 244–251. [Google Scholar] [CrossRef]
- Wang, C.; Xu, T. Hyers–Ulam stability of fractional linear differential equations involving Caputo fractional derivatives. Appl. Math. 2015, 60, 383–393. [Google Scholar] [CrossRef]
- Liu, K.; Feçkan, M.; O’Regan, D.; Wang, J. Hyers–Ulam stability and existence of solutions for differential equations with Caputo–Fabrizio fractional derivative. Mathematics 2019, 7, 333. [Google Scholar] [CrossRef]
- Liu, K.; Wang, J.; Zhou, Y.; O’Regan, D. Hyers–Ulam stability and existence of solutions for fractional differential equations with Mittag–Leffler kernel. Chaos Soliton Fract. 2020, 132, 109534. [Google Scholar] [CrossRef]
- Luo, D.; Alam, M.; Zada, A.; Riaz, U.; Luo, Z. Existence and stability of implicit fractional differential equations with Stieltjes boundary conditions having Hadamard derivatives. Complexity 2021, 2021, 8824935. [Google Scholar] [CrossRef]
- Aftabizadeh, A.R.; Huang, Y.K.; Pavel, N.H. Nonlinear 3rd-order differential equations with anti-periodic boundary conditions some optimal control problems. J. Math. Anal. Appl. 1995, 192, 266–293. [Google Scholar] [CrossRef][Green Version]
- Gregus, M. Third Order Linear Differential Equations; Reidel: Dordrecht, The Netherlands, 1987. [Google Scholar]
- Gupta, C.P. On a 3rd-order three-point boundary value problem at resonance. Differ. Integral Equ. 1989, 2, 1–12. [Google Scholar]
- Silva, T.C.; Tenenblat, K. Third order differential equations describing pseudospherical surfaces. J. Differ. Equ. 2015, 259, 4897–4923. [Google Scholar] [CrossRef]
- Ezeilo, J.O.C. A property of the phase space trajectories of a third order nonlinear ordinary differential equation. J. Lond. Math. Soc. 1962, 37, 33–41. [Google Scholar] [CrossRef]
- Rauch, L.L. Oscillation of a third order nonlinear autonomous system. In Contributions to the Theory of Nonlinear Oscillations; Lefschetz, S., Ed.; Princeton University Press: Princeton, NJ, USA, 1950; Volume 1, pp. 39–88. [Google Scholar]
- Sherman, S. A third-order nonlinear system arising from a nuclear spin generator. Contrib. Diff. Equ. 1963, 2, 197–227. [Google Scholar]
- Agarwal, R.P.; Cabada, A.; Otero-Espinar, V.; Dontha, S. Existence and uniqueness of solutions for anti-periodic difference equations. Arch. Inequal. Appl. 2004, 2, 397–411. [Google Scholar]
- Ahmad, B.; Nieto, J.J. Existence and approximation of solutions for a class of nonlinear impulsive functional differential equations with anti-periodic boundary conditions. Nonlinear Anal. 2008, 69, 3291–3298. [Google Scholar] [CrossRef]
- Chen, H.L. Antiperiodic wavelets. J. Comput. Math. 1996, 14, 32–39. [Google Scholar]
- Shao, J. Anti-periodic solutions for shunting inhibitory cellular neural networks with timevarying delays. Phys. Lett. A 2008, 372, 5011–5016. [Google Scholar] [CrossRef]
- Shah, K.; Tunç, C. Existence theory and stability analysis to a system of boundary value problem. J. Taibah Univ. Sci. 2017, 11, 1330–1342. [Google Scholar] [CrossRef]
- Granas, A.; Dugundji, J. Fixed Point Theory; Springer: New York, NY, USA, 2005. [Google Scholar]
- Rus, I.A. Ulam stabilities of ordinary differential equations in a Banach space. Carpathian J. Math. 2010, 26, 103–107. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).