- Research
- Open access
- Published:
On a system of fractional coupled hybrid Hadamard differential equations with terminal conditions
Advances in Difference Equations volume 2020, Article number: 419 (2020)
Abstract
In this manuscript, we study the existence of solutions for a coupled system of nonlinear hybrid differential equations of fractional order involving Hadamard derivative with nonlocal boundary conditions. By using suitable fixed point theorems we establish sufficient conditions for the existence result. An example is provided to illustrate our main result.
1 Introduction
Differential Equations of Fractional Order (DEFO) gain huge attention among scientists due to the applications which are not possible with integer order ordinary or partial differential equations. In recent days, researchers in various fields pay more attention on the existence of solutions of the aforesaid equations. In this regard, many literature surveys, some notable developments (refer[13, 14]), and significant studies are available in the theory of coupled systems with coupled boundary conditions in FDEs. For further references, one can refer to [1, 3, 6–9, 12, 15, 16, 19]. This is because the aforesaid equations include the perturbations of original differential equations in nonidentical ways.
The nonlinear hybrid Hadamard differential equations with initial conditions were discussed by Ahmad and Ntouyas in [4]. In 2015, Wang [22] proved the existence results for the impulsive systems with Hadamard derivative. For more details, the interested readers can refer to Wang et al. [21], where the authors used some classical methods to analyze the Ulam–Hyers stability and proved existence results for Hadamard fractional differential equations. Further, Samko et al. [20] proved the existence and uniqueness of the solution of Cauchy problems for FDE involving Hadamard derivatives in a nonsequential setting. In [17], the author studied the Hadamard-type fractional calculus.
We believe that only few literature studies are available which investigate coupled systems of FDEs of Hadamard type; see [23, 24] and the references therein. This paper will definitely fill up the gap between the theories and applications of Hadamard FDEs.
In[4], Ahmad et al. studied
In 2015, the authors of [5] investigated the nonlocal boundary value problems for hybrid FDEs and inclusions of Hadamard type as given below:
Ahmad et al. [2] in 2017 focused on the issues related to initial and boundary value problems for fractional differential equations of Hadamard type and studied mixed initial value problems involving Hadamard derivatives.
The above mentioned works motivated us to study the following coupled Hadamard FDEs with the boundary conditions:
where \(D^{\sigma _{1}}\), \(D^{\delta _{1}}\) are the Hadamard fractional derivatives of order \(\sigma _{1}\) and \(\delta _{1}\), respectively; \(f_{i}\in \mathfrak{C}([1,e]\times \mathfrak{R}\times \mathfrak{R}, \mathfrak{R}\setminus \{0\})\) and \(h_{i} \in \mathfrak{C}([1,e]\times \mathfrak{R}\times \mathfrak{R}, \mathfrak{R})\), \(i=1,2\), \(m,n : \mathfrak{C}([1,e],\mathfrak{R}) \to \mathfrak{R}\) are continuous functions.
The rest of the paper is organized as follows. In Sect. 2, some basic definitions and lemmas related to Hadamard fractional derivatives are presented. In Sect. 3, we establish sufficient conditions for the existence of the coupled solutions to (3), and in Sect. 4, we present a numerical example to illustrate our main result.
2 Auxiliary results
In this section we list some basic definitions and lemmas of fractional calculus.
We define the nonhomogeneous boundary value problems of coupled hybrid fractional differential equations of Hadamard type of the function space \(\mathscr{X}=\mathfrak{C}([1,e],\mathfrak{R})\) of continuous real valued functions \(f_{1}: [1,e]\to \mathfrak{R}\). Clearly, \(\mathscr{X}=\mathfrak{C}([1,e],\mathfrak{R})\) is a Banach space under the supremum norm
which is again a Banach algebra with respect to the multiplication “⋅” defined by
The product space \(\mathcal{E}=\mathscr{X}\times \mathscr{X}\) is a Banach space under the norm
Then the normed linear space \((\mathcal{E},\|(\cdot ,\cdot )\|)\) is a Banach space which further becomes a Banach algebra with respect to the multiplication “⋅” defined by
for all \(t\in [1,e]\), where \((\vartheta ,\nu ),(\bar{u}, \bar{v})\in \mathscr{X}\times \mathscr{X}= \mathcal{E}\). The following result concerning this fact of algebraic structure of the product space \(\mathcal{E}= \mathscr{X}\times \mathscr{X}\) is proved by Dhage in [11]. But first we need
Definition 2.1
([18])
The Hadamard fractional derivative of order \(\beta _{1}\) for a continuous function \(h_{1}: [1,\infty ] \to \mathfrak{R}\) is defined as
where \(n=[\beta _{1}]+1, [{\beta _{1}}]\) denotes the integer part of the real number \({\beta _{1}}\) and \(\ln (\cdot ) =\log _{e}(\cdot )\).
Definition 2.2
([18])
The Hadamard fractional integral of order \({\beta _{1}}\) for a function \(h_{1}\): \([1,\infty )\to \mathfrak{R}\) is defined as
provided the integral exists.
Definition 2.3
(Dhage [11])
Let \(\mathcal{E}\) be a Banach space. An operator \(\mathscr{T}:\mathcal{E}\to \mathcal{E}\) is called Lipschitz if there exists a constant \(L_{\mathscr{T}}>0\) such that
for all elements \(\vartheta ,\nu \in \mathscr{X}\).
Lemma 2.4
(Dhage [11])
The product space \(\mathcal{E}\)is a Banach algebra with respect to the norm \(\|(\cdot ,\cdot )\|\)and the multiplication “⋅” defined by (6) and (7), respectively.
Proof
Let \((\vartheta , \nu )\) and \((\bar{u}, \bar{v})\) be any two elements of \(\mathcal{E}\) then, by definition of the norm \(\|(\cdot ,\cdot )\|\) and the multiplication “⋅” in \(\mathcal{E}\), we obtain
and
Now from (8) and (9), it follows that
This shows that \((\mathcal{E}, \Vert (\cdot ,\cdot ) \Vert )\) is a Banach algebra and the proof of lemma is complete. □
We employ the following fixed point theorem as a basic tool for proving our main existence result for a coupled system of the proposed problem (3).
Theorem 2.5
(Dhage [10])
Let \(\mathcal{S}\)be a nonempty subset of a Banach algebra, which is bounded, convex and closed. Assume also that the operators \(\mathcal{A}\)and \(\mathcal{B}\)are such that \(\mathcal{A} : \mathscr{X}\to \mathscr{X}\)and \(\mathcal{B}: \mathcal{S}\to \mathscr{X,}\)and satisfy the following conditions:
- \((a_{1})\):
-
\(\mathcal{A}\)is Lipschitzian with \(L_{\mathcal{A}}\)as a Lipschitz constant,
- \((a_{2})\):
-
\(\mathcal{B}\)is completely continuous,
- \((a_{3})\):
-
\(\vartheta =\mathcal{A}\vartheta \mathcal{B}\nu \implies \forall \nu \in S \implies \vartheta \in \mathcal{S}\), and
- \((a_{4})\):
-
\(M_{\mathcal{B}}<1\), where \(M_{\mathcal{B}} = \Vert \mathcal{B}(S) \Vert =\sup \{ \Vert \mathcal{B}\vartheta \Vert :\vartheta \in \mathcal{S}\}\).
Then the operator equation \(\vartheta =\mathcal{A}\vartheta \mathcal{B}\vartheta \)has a solution in S.
3 Existence result
To prove the main existence result for a mild coupled solution of problem (3), we need to prove the following lemma.
Lemma 3.1
Given \(\psi _{1}, \psi _{2}\in \mathfrak{C}([1,e]\times \mathfrak{R}\times \mathfrak{R}\to \mathfrak{R})\), the integral solution of the boundary value problem
is given by
Proof
The solution of equation (10) can be written as
where the arbitrary constants \(c_{1},c_{2} \in \mathfrak{R}\) and the boundary conditions given in (10) give \(c_{2}=0\) and
Substituting these values of \(c_{1}\) and \(c_{2} \) into (12), we get
Now, the proof is finished. □
Definition 3.2
A solution \(\vartheta \in \mathfrak{C}([1,e],\mathfrak{R}, \mathfrak{R})\) of the hybrid Hadamard fractional differential equation in (11) is called a mild solution of the FDE (10) defined on \([1,e]\). Similarly, a mild coupled solution \((\vartheta ,\nu ) \in \mathfrak{C}([1,e],\mathfrak{R}) \times \mathfrak{C}([1,e], \mathfrak{R})\) of a system of the coupled Hadamard differential equation (3) is defined on \([1,e]\).
Theorem 3.3
Consider the following hypotheses (H1) to (H4):
-
(H1)
For the continuous functions \(f_{i}:[1,e]\times \mathfrak{R}\times \mathfrak{R}\to \mathfrak{R} \diagdown \{0\}\), \(i=1,2\)with constants \(L_{f_{1}}>0\)and \(L_{f_{2}}>0\), we have
$$ \bigl\vert f_{1}(t,\vartheta ,\nu -f_{1}(t,\bar{ \vartheta },\bar{\nu }) \bigr\vert \le L_{f_{1}} \bigl( \vert \vartheta -\bar{\vartheta } \vert + \vert \nu -\bar{\nu } \vert \bigr), $$and
$$ \bigl\vert f_{2}(t,\vartheta ,\nu )-f_{2}(t,\bar{ \vartheta },\bar{\nu }) \bigr\vert \le L_{f_{2}} \bigl( \vert \vartheta -\bar{\vartheta } \vert + \vert \nu -\bar{\nu } \vert \bigr), $$for all \(t\in [1,e]\)and \(\vartheta ,\bar{\vartheta }, \nu ,\bar{\nu }\in \mathfrak{R}\).
-
(H2)
There exist constants \(M_{1}>0\)and \(M_{2}>0\)such that
$$\begin{aligned} \biggl\vert \frac{m(\vartheta )}{f_{1}(e,m(\vartheta ),n(\nu ))} \biggr\vert \le M_{1} \quad \textit{and}\quad \biggl\vert \frac{n(\nu )}{f_{2}(e,m(\vartheta ),n(\nu ))} \biggr\vert \le M_{2} \end{aligned}$$and
$$\begin{aligned} F_{0} & =\sup_{t\in [1,e]} \bigl\vert f_{1}(t,0,0) \bigr\vert ,\qquad G_{0}=\sup _{t\in [1,e]} \bigl\vert f_{2}(t,0,0) \bigr\vert . \end{aligned}$$ -
(H3)
There exist constants \(M_{h_{i}}>0 \)such that
$$ \bigl\vert h_{i}(t,\vartheta ,\nu ) \bigr\vert \leq M_{h_{i}} $$for all \((t,\vartheta ,\nu )\in [1,e] \times \mathfrak{R} \times \mathfrak{R} \)and \(i=1,2\).
-
(H4)
The constants in hypotheses (H1) through (H3) satisfy the following conditions:
$$ \begin{aligned} \varOmega &= L_{f_{1}} \biggl(M_{1}+ \frac{2M_{h_{1}}}{\varGamma (\sigma _{1}+1)} \biggr) + L_{f_{2}} \biggl(M_{2}+ \frac{2M_{h_{2}}}{\varGamma (\delta _{1}+1)} \biggr)< 1. \end{aligned} $$
If these conditions hold, then the coupled system (3) has a coupled solution defined on \([1,e]\times [1,e]\).
Proof
Using Lemma 3.1 for (3), we get
and
Choose
and define a subset \(\mathcal{S}\) of the Banach space \(\mathscr{X}\times \mathscr{X}\) by
Clearly, \(\mathcal{S}\) is a closed, convex and bounded subset of the Banach space \(\mathcal{E}=\mathscr{X}\times \mathscr{X}\). Define the operators \(\mathcal{A}=(\mathcal{A}_{1}, \mathcal{A}_{2}):\mathcal{E}\to \mathcal{E}\) and \(\mathcal{B}=(\mathcal{B}_{1},\mathcal{B}_{2}):\mathcal{S}\to \mathcal{E}\) by
Now, the system of equations in (13) and (14) becomes
which further, in view of the multiplication (7) of two elements in \(\mathcal{E}\), yields
This further implies that
Now we prove that the operators \(\mathcal{A}\) and \(\mathcal{B}\) satisfy the conditions of Theorem 2.5 in a series of steps.
Step I. First we show that \(\mathcal{A}=(\mathcal{A}_{1},\mathcal{A}_{2})\) is Lipschitz on \(\mathcal{E}\) with constant \((L_{f_{1}}+L_{f_{2}})\). Let \((\vartheta ,\nu ),(\bar{\vartheta },\bar{\nu }) \in \mathcal{E}\) be arbitrary. Then, using (H1), we have
for all \(t\in [1,e]\). Taking the supremum over t, we obtain
for all \((\vartheta ,\nu ), (\bar{\vartheta },\bar{\nu })\in \mathcal{E}\). Similarly, we obtain
for all \((\vartheta ,\nu ), (\bar{\vartheta },\bar{\nu })\in \mathcal{E}\). Therefore, by definition of the operator \(\mathcal{A}\), we obtain
for all \((\vartheta ,\nu ), (\bar{\vartheta },\bar{\nu })\in \mathcal{E}\), where \(L_{\mathcal{A}}=(L_{f_{1}}+L_{f_{2}})\).
Step II. In this step we prove that \(\mathcal{B}=(\mathcal{B}_{1},\mathcal{B}_{2})\) from \(\mathcal{S}\) into \(\mathcal{E}\) is a compact and continuous operator. For continuity of \(\mathcal{B}\), take any sequence of points \((\vartheta _{n},\nu _{n})\) in \(\mathcal{S}\) converging to a point \((\vartheta ,\nu )\in \mathcal{S}\). Then, by Lebesgue dominated convergence theorem, we have
for all \(t\in [1,e]\). Similarly, we prove
for all \(t\in [1,e]\). Hence \(\mathcal{B}(\vartheta _{n},\nu _{n})= (\mathcal{B}_{1}( \vartheta _{n},\nu _{n});\mathcal{B}_{2}(\vartheta _{n},\nu _{n}) )\) converges to \(\mathcal{B}(\vartheta ,\nu )\) pointwise on \([1,e]\). This shows that \(\mathcal{B}\) is continuous.
Next, we prove \(\mathcal{B}\) is a compact operator on S. Let \((\vartheta ,\nu )\in S\) be any point. Then, using (H4), we have
for all \(t \in [1,e]\).
Taking the supremum for the above inequality, we get
for all \((\vartheta ,\nu )\in \mathcal{E}\). Hence \(\mathcal{B}_{1}\) is a uniformly bounded operator on \(\mathcal{S}\). In a similar way, we can prove \(\mathcal{B}_{2}\) is also uniformly bounded operator on \(\mathcal{S}\). Hence \(\mathcal{B}\) is a uniformly bounded operator on \(\mathcal{S}\).
Next to prove that \(\{\mathcal{B}(\vartheta _{n},\nu _{n})\}\) is an equicontinuous sequence of functions in \(\mathcal{E}\), assume \(\tau _{1},\tau _{2}\in [1,e]\), provided \(\tau _{1}<\tau _{2}\), then
uniformly for all \((\vartheta ,\nu )\in \mathcal{E}\). Similarly we have
uniformly for all \((\vartheta ,\nu ) \in S\). This shows that \(\mathcal{B}(S)\subset \mathcal{E}\) is uniformly bounded, equicontinuous and compact, in view of Arzela–Ascoli theorem. Consequently, \(\mathcal{B}\) is a compact and continuous operator on \(\mathcal{E}\).
Step III. Now we prove that the third condition (\(a_{3}\)) of Theorem 2.5 holds. Let \((\vartheta ,\nu )\) and \((\bar{x},\bar{y})\in \mathcal{E}= \mathscr{X}\times \mathscr{X}\) be such that
Then, we have
Thus, by taking the supremum of the left-hand side, we get
Similarly, proceeding as before, we obtain
Adding inequalities (20) and (21), we obtain
As \(\|(\vartheta ,\nu )\|=\|\vartheta \|+\|\nu \|\), we have that \(\|(\vartheta ,\nu )\|\leq \rho \) and so condition (\(a_{3}\)) of Theorem 2.5 holds.
Step IV. We now prove that \(M_{\mathcal{B}} <1\). Consider
From the above estimate, we conclude that condition (\(a_{4}\)) of Theorem 2.5 also holds.
Thus, the operators \(\mathcal{A}\) and \(\mathcal{B}\) satisfy all the conditions of Theorem 2.5 and so, for the considered values of \(h_{1}\) and \(h_{2}\), the coupled system of equations (3) has at least one solution on \([1,e]\). □
4 An example
Example 4.1
Consider the following coupled system of Hadamard fractional differential equations with boundary conditions:
Here
Hence, all the conditions of Theorem 3.3 are satisfied; consequently, the problem (22) and (23) has a solution on \([1,e]\).
5 Conclusions
We have presented the existence result for boundary value problems of coupled hybrid differential systems involving the Hadamard fractional derivative. The proof of the existence result is based on the fixed point theorem due to Dhage [10]. The present work can be extended to coupled systems of nonlinear fractional differential equations involving Caputo–Hadamard fractional derivative.
References
Ahmad, B., Alghamdi, N., Alsaedi, A., Ntouyas, S.K.: A system of coupled multi-term fractional differential equations with three-point coupled boundary conditions. Fract. Calc. Appl. Anal. 22(3), 601–618 (2019)
Ahmad, B., Alsaedi, A., Ntouyas, S.K., Tariboon, J.: Hadamard-Type Fractional Differential Equations, Inclusions and Inequalities. Springer, Cham (2017)
Ahmad, B., Karthikeyan, P., Buvaneswari, K.: Fractional differential equations with coupled slit-strips type integral boundary conditions. AIMS Math. 4(6), 1596–1609 (2019)
Ahmad, B., Ntouyas, S.K.: Initial-value problems for hybrid Hadamard fractional differential equations. Electron. J. Differ. Equ. 2014, 161 (2014)
Ahmad, B., Ntouyas, S.K.: Nonlocal boundary value problems for hybrid fractional differential equations and inclusions of Hadamard type. Fract. Differ. Calc. 5(2), 107–123 (2015)
Akorede, M.B., Arawomo, P.O.: Existence of positive solutions for a coupled system of nonlinear boundary value problems of fractional order with integral boundary conditions. Int. J. Appl. Math. 30(4), 273–288 (2017)
Alsaedi, A., Baleanu, D., Etemad, S., Rezapour, S.: On coupled systems of time-fractional differential problems by using a new fractional derivative. J. Funct. Spaces 2016, 4626940 (2016)
Alsulami, H.H., Ntouyas, S.K., Agarwal, R.P., Ahmad, B., Alsaedi, A.: A study of fractional-order coupled systems with a new concept of coupled non-separated boundary conditions. Bound. Value Probl. 2017, 68 (2017)
Baleanu, D., Jafari, H., Khan, H., Johnston, S.J.: Results for Mild solution of fractional coupled hybrid boundary value problems. Open Math. 13, 601–608 (2015)
Dhage, B.C.: On a fixed point theorem in Banach algebras with applications. Appl. Math. Lett. 18, 273–280 (2005)
Dhage, B.C.: Some variants of two basic hybrid fixed point theorems of Krasnoselskii and Dhage with applications. Nonlinear Stud. 25(3), 559–573 (2018)
Dhage, B.C., Dhage, S.B., Buvaneswari, K.: Existence of mild solutions of nonlinear boundary value problems of coupled hybrid fractional integro differential equations. J. Fract. Calc. Appl. 10(2), 191–206 (2019)
Hajipour, M., Jajarmi, A., Baleanu, D., Sun, H.G.: On an accurate discretization of a variable-order fractional reaction–diffusion equation. Commun. Nonlinear Sci. Numer. Simul. 69, 119–133 (2019)
Jena, R.M., Chakraverty, S., Baleanu, D.: On the solution of an imprecisely defined nonlinear time-fractional dynamical model of marriage. Mathematics 7(8), 689 (2019)
Karthikeyan, P., Buvaneswari, K.: A note on coupled fractional hybrid differential equations involving Banach algebra. Malaya J. Mat. 6(4), 843–849 (2018)
Khan, H., Li, Y., Chen, W., Baleanu, D., Khan, A.: Existence theorems and Hyers–Ulam stability for a coupled system of fractional differential equations with p-Laplacian operator. Bound. Value Probl. 2017, 157 (2017)
Kilbas, A.A.: Hadamard-type fractional calculus. J. Korean Math. Soc. 38, 1191–1204 (2001)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematical Studies., vol. 204. Elsevier, Amsterdam (2006)
Nageswara Rao, S., Alesemi, M.I.: On a coupled system of fractional differential equations with nonlocal non-separated boundary conditions. Adv. Differ. Equ. 2019, 97 (2019)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives. Theory and Applications. Gordon & Breach, Yverdon (1993)
Wang, J., Zhou, Y., Medved, M.: Existence and stability of fractional differential equations with Hadamard derivative. Topol. Methods Nonlinear Anal. 41, 113–133 (2013)
Wang, J.R., Zhang, Y.: On the concept and existence of solutions for fractional impulsive systems with Hadamard derivatives. Appl. Math. Lett. 39, 85–90 (2015)
Zhang, H., Li, Y., Xu, J.: Positive solutions for a system of fractional integral boundary value problems involving Hadamard type Fractional Derivatives. Hindawi Complex. 2019, Article ID 2671539 (2019)
Zhao, K., Suo, L., Liao, Y.: Boundary value problem for a class of fractional integro-differential coupled systems with Hadamard fractional calculus and impulses. Bound. Value Probl. 2019, 105 (2019)
Acknowledgements
The authors express their gratitude to the referees for their helpful suggestions, which improved the final version of this paper.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to this manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Buvaneswari, K., Karthikeyan, P. & Baleanu, D. On a system of fractional coupled hybrid Hadamard differential equations with terminal conditions. Adv Differ Equ 2020, 419 (2020). https://doi.org/10.1186/s13662-020-02790-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02790-y