Abstract
In this paper, we examine the consequences of existence, uniqueness and stability of a multi-point boundary value problem defined by a system of coupled fractional differential equations involving Hadamard derivatives. To prove the existence and uniqueness, we use the techniques of fixed point theory. Stability of Hyers-Ulam type is also discussed. Furthermore, we investigate variations of the problem in the context of different boundary conditions. The current results are verified by illustrative examples.
Similar content being viewed by others
1 Introduction
Due to its broad applications in mathematical modeling of many complex and non-local nonlinear systems, fractional calculus has emerged as an important field of investigation. A significant feature of fractional-order operators is their non-local nature, which accounts for the underlying phenomena’s inherited properties. In 1892, in contrast to his Riemann–Liouville counterpart of the form \(({\mathrm{d}}/ {\mathrm{d}}\tau )^{ \varrho }\), Hadamard [1] proposed a concept of fractional integro-differentiation in terms of the type \((\tau {\mathrm{d}}/{\mathrm{d}} \tau )^{\varrho }\) fractional power. The Hadamard fractional derivative contains a logarithmic function of an arbitrary exponent in the integral kernel, which appears in its description. We refer the reader to [2–9] for details of Hadamard’s fractional calculus. In recent years, for example, fractional differential equations involving Hadamard derivatives have attracted considerable attention; see [10–17], and the references cited therein.
There was significant attention given to coupled systems of differential equations of fractional order with different boundary conditions. Such structures were used in various real-world experiments such as [18] infection modeling [19] and chaotic system control. Recent research in the coupled fractional-order BVPs is in [20–29] and the references cited therein. Recently, some authors have started studying a coupled fractional BVPs. Agarwal et al. [30] dealt with the consequences of coupled fractional-order systems with discrete and integral boundary conditions. In a fractional BVP involving the Caputo derivatives, Subramanian et al. [31] studied coupled non-local slit–strip conditions. Similarly, under periodic/antiperiodic boundary conditions, Ahmad et al. [32] studied the coupled system of sequential fractional BVP. Recently, Muthaiah et al. [10] have studied the existence of the following Hadamard-type FDE solutions with integral boundary conditions:
where \({}^{H}\mathcal{D}^{\varrho }\), \({}^{H}\mathcal{D}^{\varsigma }\) denote the Hadamard fractional derivatives (HFDs) of order ϱ, ς, \(g: [1,T] \times \mathbb{R} \to \mathbb{R}\) is a given continuous function, and ω is a positive real constant. The results are provided by the effects of appropriate fixed point theorems. The nonlinear coupled system of Riemann–Liouville FDEs
for \(0 < t< T\) and \(1< q , p \leq 2\), have been studied in [33], where \({}_{RL}\mathcal{D}^{q}\), \({}_{RL} \mathcal{D}^{p}\) denote the Riemann–Liouville fractional derivatives (RLFDs) of order q, p, f, \(g: [0,T] \times \mathbb{R}^{2} \to \mathbb{R}\) are given continuous functions, and \(\alpha _{i}\), \(\beta _{i} \in \mathbb{R}\), \(i = 1,2, \ldots , n \) are positive real constants. The results of the study are made possible via the consequences of appropriate fixed point theorems. The nonlinear coupled system of Hadamard FDEs
for \(1< t< e\), \(1< \alpha , \beta \leq 2\) and \(\gamma > 0\), has been discussed in [34], where \(\mathcal{D}^{\alpha }\), \(\mathcal{D}^{\beta }\) denote the HFDs of order α, β, f, \(g: [1,e]\times \mathbb{R}^{2}\to \mathbb{R}\). The existence and uniqueness of solutions are proved by the Leray–Schauder alternative and contraction mapping principle. The Caputo-type FDE nonlinear coupled system
for \(0< t< 1\), \(n-1<\alpha _{1} \leq n\), \(m-1<\alpha _{2} \leq m\), and \(n, m\geq 2\), has been examined in [35], where \(\lambda _{i} > 0\) is a parameter, \(\mathcal{D}^{ \alpha _{i}}_{0+}\) is the standard Caputo derivative; \(\mu _{i} > 0\) is a constant,
denote the Riemann–Stieltjes integrals. Leray–Schauder’s alternative and the contraction mapping principle prove the existence and uniqueness of solutions.
More recently, in [36], the authors discussed Hadamard-type fractional differential equations with Hadamard integral and discrete boundary conditions on a half-line of the form
Additionally, [37] contains several intriguing results on Hadamard-type fractional differential equations, inclusions, and inequalities. We refer the reader to [38, 39] for applications of Hadamard fractional differential equations. Another area of study that has gained considerable attention from researchers in the field of fractional differential equations is the concept of Ulam stability. Ulam [40] proposed the Ulam-type stability in 1940, and it has since been studied and generalized using a variety of methods [17, 28, 29, 41, 42].
In this article, we extend the boundary value problem of Wang et al. [36] to nonlinear coupled system of Hadamard fractional differential equations having the Hadamard derivative value of the unknown function at T is propositional to the sum of Hadamard integral values of the unknown function on the strips \((1, \upsilon )\), \((1, \theta )\) and multi-points values of the unknown functions with different strip lengths \((1,\upsilon)\), \((1,\theta)\) and with different multi-point \(\delta_{j}\), \(\gamma_{j}\), \(j = 1, 2, \ldots , k - 2\). In [36], a monotone iterative method was applied to study the existence of positive solutions for Hadamard fractional differential equations complemented with non-local multi-point discrete and Hadamard integral boundary conditions.
In the present paper, inspired by [36], we introduce and investigate the existence and stability of solutions for a coupled system of nonlinear Hadamard-type fractional differential equations:
for \(\tau \in [1,T] := \mathcal{H}\), enhanced with boundary conditions defined by
and
where \({}^{H}\mathcal{D}^{(\cdot )}\) denotes the Hadamard fractional derivatives (HFDs) of order \((\cdot )\), \(2<\varrho , \varsigma \leq 3\) and \(0 < \varrho _{1},\varsigma _{1} \leq 1\). \({}^{H}\mathcal{I}^{(\cdot )}\) denotes the Hadamard fractional integrals (HFIs) of order \((\cdot )\), \(0 < \varrho _{2},\varsigma _{2} < 1\), \(f,g : \mathcal{H}\times \mathbb{R}^{2} \to \mathbb{R}\) are continuous functions, \(\alpha _{1}\), \(\alpha _{2}\), \(\beta _{1}\) and \(\beta _{2}\) are real constants and \(\xi _{j}\), \(\upsilon _{j}\), \(j = 1,2,\dots , k-2\) are positive real constants. Notice that the multi-point strip boundary conditions in (2) are new and can be regarded as the HFDs value of unknown functions with the right end-point T is proportional with the sum of HFIs of unknown functions with different strip lengths \((1,\upsilon )\), \((1,\theta )\) and with different multi-point values of unknown functions with \(\delta _{j}\), \(\gamma _{j}\), \(j=1,2,\dots , k-2\). By using the fixed point theory, we obtain the existence and uniqueness results. Furthermore, we investigate the Hyers–Ulam-type stability. We also discuss some variants of the given problem. Examples are given to support the theoretical outcomes.
Section 2 focuses on the basic principles of fractional calculus with the accompanying fundamental definitions and lemmas. The consequences of existence and uniqueness can be explored in Sect. 3 using fixed point theorems of Leray–Schauder, Krasnoselskii, and Banach. Section 4 addresses the stability of Hyers–Ulam solutions and establishes sufficient conditions for stability. In Sect. 5, we consider two new problems analog to (1)–(2). Section 6 gives examples of verifying the results.
2 Preliminaries
In this section, we recall some preliminary concepts related to our work concerning Hadamard fractional calculus.
Definition 1
([2])
The Hadamard fractional integral of order \(\varrho \in \mathbb{R}^{+}\) of a function \(h\in \mathcal{L}^{p}[b,c]\), \(0 \leq b \leq \tau \leq c \leq \infty \) is defined as
Definition 2
([2])
Let \(0 < b < c < \infty \), \(\delta = \tau \,\frac{{\mathrm{d}}}{{\mathrm{d}}\tau }\) and
The Hadamard derivative of fractional order ϱ for a function \(h\in \mathcal{AC}^{n}_{\delta }[b,c]\) is defined as
where \(n-1 < \varrho < n\), \(n = [\varrho ]+1\), \([\varrho ]\) denotes the integer part of the real number ϱ and \(\log (\cdot ) = \log _{e}(\cdot )\). Recall that the Hadamard fractional derivative is the left-inverse operator to Hadamard fractional integral in the space \(\mathcal{L}^{p}[b,c]\), \(1\leq p \leq \infty \), (i.e.), ([2])
Lemma 3
([2, p. 113])
Let \(\varrho > 0\) and \(\varsigma > 0\). Then the formulas
hold. For Hadamard fractional integrals, the semigroup property holds:
which leads to the commutative property:
Lemma 4
([2, Property 2.24])
If \(b,\varrho ,\varsigma > 0\), then
Lemma 5
([2])
Let \(\varrho > 0\) and \(y \in \mathcal{C}[1,\infty )\cap \mathcal{L}^{1}[1,\infty )\). Then the solution of the Hadamard fractional differential equation \({}^{H}\mathcal{D}^{\varrho }y(\tau ) = 0\) is given by
and the following formula holds:
where \(a_{i}\in \mathbb{R}\), \(i = 1,2,\ldots,m\) and \(n-1 < \varrho < n\).
Lemma 6
Let \(\widehat{h}_{1}\), \(\widehat{h}_{2} \in {C}[1,T]\). Then the solution of the linear system of FDEs:
augmented with the boundary conditions:
and
is given by
and
where
and
Proof
As argued in [3], the general solution of the system (3) can be written as
where \(a_{i},b_{i}\in \mathbb{R}\ (i=1,2,3)\) are arbitrary constants. Making use of the conditions \(y(1) = y^{\prime }(1) = 0\), \(z(1) = z^{\prime }(1) = 0\), we find that \(a_{i} = b_{i}= 0\), \((i = 1,2)\). Now, using the coupled non-separated boundary conditions given by (4) in (9) and (10), we obtain
where \(\vartheta _{i}\) (\(i=1,2,3,4\)) are, respectively, given by (7), and
Solving the system (11) for \(a_{1}\) and \(b_{1}\) and using the notation (8), we find that
Substituting the values of \(a_{1}\) and \(b_{1}\) in (11), we get the desired solution (5)–(6). □
3 Existence results for the problem (1)–(2)
We define the spaces
endowed with the norm \(\|y\| = \sup \{|y(\tau )|, \tau \in \mathcal{H}\}\). Obviously \((\mathcal{Y},\|\cdot \|)\) is a Banach space. Also
endowed with the norm \(\|z\| = \sup \{|z(\tau )|, \tau \in \mathcal{H}\}\) is a Banach space. Then the product space \((\mathcal{Y} \times \mathcal{Z}, \|(y,z)\|)\) is also a Banach space equipped with norm \(\|(y,z) \| = \|y\|+\|z\|\).
In relation to the problem, we introduce an operator \(\Pi : \mathcal{Y}\times \mathcal{Z}\to \mathcal{Y}\times \mathcal{Z}\) by Lemma 6 as follows:
where
For convenience of computation, we set
Next, we present the hypotheses that we need in the sequel.
Let the functions \(h_{1}\), \(h_{2} : \mathcal{H} \times \mathbb{R}^{2}\to \mathbb{R}\) be continuous.
- (\(\mathcal{F}_{1}\)):
-
There exist real constants \(\varphi _{i},\widehat{\varphi }_{i} \geq 0\), \(i = 1,2\) and \(\varphi _{0} > 0 \), \(\widehat{\varphi }_{0} > 0\) such that
$$ \begin{aligned} & \bigl\vert h_{1}(\tau ,w_{1},w_{2}) \bigr\vert \leq \varphi _{0}+\varphi _{1} \vert w_{1} \vert + \varphi _{2} \vert w_{2} \vert , \\ & \bigl\vert h_{2}(\tau ,w_{1},w_{2}) \bigr\vert \leq \widehat{\varphi }_{0}+ \widehat{\varphi }_{1} \vert w_{1} \vert +\widehat{\varphi }_{2} \vert w_{2} \vert , \end{aligned} $$(24)for all \(w_{i}\in \mathbb{R}\) and \(i = 1,2\).
- (\(\mathcal{F}_{2}\)):
-
There exist positive constants \(\widetilde{\vartheta }_{i}\), \(\widehat{\vartheta }_{i}\), with \(i=1,2\) such that
$$ \begin{aligned} \bigl\vert h_{1}(\tau ,w_{1},w_{2})-h_{1}(\tau , \widehat{w}_{1},\widehat{w}_{2}) \bigr\vert & \leq \widetilde{\vartheta }_{1} \vert w_{1}- \widehat{w}_{1} \vert + \widetilde{\vartheta }_{2} \vert w_{2}-\widehat{w}_{2} \vert , \\ \bigl\vert h_{2}(\tau ,w_{1},w_{2})-h_{2}( \tau ,\widehat{w}_{1},\widehat{w}_{2}) \bigr\vert & \leq \widehat{\vartheta }_{1} \vert \widehat{w}_{1}- \widehat{w}_{1} \vert + \widehat{\vartheta }_{2} \vert w_{2}-\widehat{w}_{2} \vert , \end{aligned} $$(25)for all \(\tau \in \mathcal{H}\), \(w_{i}\), \(\widehat{w}_{i} \in \mathbb{R}\) and \(i = 1,2\).
Lemma 7
(Leray–Schauder alternative, [43, p.4])
Let \(\mathcal{F} :\mathcal{E}\rightarrow \mathcal{E}\) be a completely continuous operator. Let
Then either the set \(\psi (\mathcal{F})\) is unbounded or \(\mathcal{F}\) has at least one fixed point.
Theorem 8
Suppose that (\(\mathcal{F}_{1}\)) holds. If
then the system (1)–(2) on \(\mathcal{H}\) has at least one solution, where (19)–(22) refer to \(\mathcal{S}_{1}\), \(\mathcal{T}_{1}\), \(\mathcal{S}_{2}\), and \(\mathcal{T}_{2}\), respectively.
Proof
We define that in the first step the operator \(\Pi : \mathcal{Y}\times \mathcal{Z}\to \mathcal{Y}\times \mathcal{Z}\) is completely continuous, indicating the continuity of the \(h_{1}\) and \(h_{2}\) functions of the \(\Pi _{1}\) and \(\Pi _{2}\) operators. The operator Π is also continuous. Let \(\Omega \subset \mathcal{Y}\times \mathcal{Z}\) be a bounded set to show the uniformly bounded operator Π. Then there exist positive constants \(\mathcal{U}_{1}\) and \(\mathcal{U}_{2}\) such that
for all \((y,z)\in \Omega \). Then we have, for any \((y,z)\in \Omega \),
which yields when taking the \(\tau \in \mathcal{H}\) norm and using (19) and (20),
Likewise we obtain
by using (21) and (22). We deduce that \(\Pi _{1}\) and \(\Pi _{2}\) are uniformly bound from inequalities (27) and (28), which means that the operator Π is uniformly bounded. Next we show Π’s equicontinuity. Let \(\tau _{1}\), \(\tau _{2} \in \mathcal{H}\) with \(\tau _{1} < \tau _{2}\). Then we have
as \(\tau _{2}\to \tau _{1}\), independent of \((y, z)\) with respect to \(|h_{1}(\tau ,y(\tau ),z(\tau ))| \leq \mathcal{U}_{1}\) and \(|h_{2}(\tau ,y(\tau ), z(\tau ))| \leq \mathcal{U}_{2}\). Similarly,
as \(\tau _{2}\to \tau _{1}\) independent of \((y, z)\) with respect to the boundedness of \(h_{1}\) and \(h_{2}\). And because of the equicontinuity of \(\Pi _{1}\) and \(\Pi _{2}\), the operator Π is equicontinuous. Thus, by the Arzelà–Ascoli theorem the operator Π is compact. The set
is finally shown to be bounded. Then \((y,z) = \varepsilon \Pi (y,z)\). For any \(\tau \in \mathcal{H}\), we have \(y(\tau ) = \lambda \Pi _{1}(y,z) (\tau )\), \(z(\tau ) = \lambda \Pi _{2}(y,z)(\tau )\). Using \((\mathcal{F}_{1})\) in (17), we get
which yields, when taking the norm for \(\tau \in \mathcal{H}\),
We also obtain
which yields, with \(\|y,z\| = \|y\|+\|z\|\),
This means that \(\Lambda (\Pi )\) is bounded. Thus, by Lemma 7, the operator Π has at least one fixed point. This indicates that the BVP (1)–(2) has at least one solution on \(\mathcal{H}\). □
Theorem 9
Suppose that \((\mathcal{F}_{2})\) hold. Then the BVP (1)–(2) has a unique solution on \(\mathcal{H}\), provided that
where (19)–(22) refer to \(\mathcal{S}_{1}\), \(\mathcal{T}_{1}\), \(\mathcal{S}_{2}\), and \(\mathcal{T}_{2}\), respectively.
Proof
Let us fix
and show that \(\Pi \mathcal{B}_{ \varepsilon }\subset \mathcal{B}_{ \varepsilon }\), when the operator Π is given by (16) and
For \((y,z)\in \mathcal{B}_{ \varepsilon }\), \(\tau \in \mathcal{H}\), we have
and \(|h_{2}(\tau ,y(\tau ),z(\tau ))| \leq \widehat{\vartheta }_{1}\|y\|+ \widehat{\vartheta }_{2}\|z\|+\mathcal{E}_{2}\). This leads to
Similarly, we get
Thus, (32) and (33) imply \(\|\Pi (y,z)\|\leq \varepsilon \), and hence \(\Pi \mathcal{B}_{\varepsilon }\subset \mathcal{B}_{\varepsilon }\). Now, for \((y_{1},z_{1})\), \((y_{2},z_{2})\) \(\in \mathcal{Y}\times \mathcal{Z}\) and any \(\tau \in \mathcal{H}\), we get
Likewise, we obtain
so we obtain
In the same way,
So, we infer from (34) and (35)
It follows, thus, from the condition
that Π is a contraction operator. This shows that Π is a contraction. Hence, by Banach’s fixed point theorem, the operator Π has a unique fixed point which corresponds to a unique solution of problem (1)–(2). This completes the proof. □
Theorem 10
(Krasnoselskii, [44, p. 31])
Let \(\mathcal{M}\) be a closed convex non-empty subset of a Banach space \(\mathcal{E}\). Suppose that \(\mathcal{A}\) and \(\mathcal{B}\) map \(\mathcal{M}\) into \(\mathcal{E}\) and that
-
(i) \(\mathcal{A}y+\mathcal{B}z \in \mathcal{M}\) \(\forall x,y \in \mathcal{M}\),
-
(ii) \(\mathcal{A}\) is compact and continuous.
-
(iii) \(\mathcal{B}\) is a contraction mapping.
Then there exists \(x\in \mathcal{M}\) such that \(\mathcal{A}x+\mathcal{B}x = x\).
Theorem 11
Suppose that \((\mathcal{F}_{2})\) hold. In addition, there exist positive constants \(\mathcal{V}_{1}\), \(\mathcal{V}_{2}\) such that
for all \(\tau \in \mathcal{H}\) and \(y, z\in \mathbb{R}\). Then the BVP (1)–(2) has at least one solution on \(\mathcal{H}\), if
Proof
Let us define a ball \(\mathcal{B}_{\varepsilon } = \{ (y,z)\in \mathcal{Y}\times \mathcal{Z} : \|(y,z)\|\leq \varepsilon \}\) to be closed as follows:
and
Note that
on \(\mathcal{B}_{\varepsilon }\) is a closed, bounded, and convex subset of Banach space \(\mathcal{Y}\times \mathcal{Z}\) and that we have a ball \(\mathcal{B}_{\varepsilon }\). Now, let us choose
and demonstrate that \(\Pi \mathcal{B}_{\varepsilon }\subset \mathcal{B}_{\varepsilon }\); to test Krasnoselskii theorem’s condition (i), if we set \(y = (y_{1},y_{2})\), \(z = (z_{1},z_{2}) \in \mathcal{B}_{\varepsilon }\), and using condition (36), we get
Similarly, we find that
The two above inequalities contribute to the assumption that
So we define that operator \((\Pi _{1,2}, \Pi _{2,2})\) obeys condition (iii) of the Krasnoselskii theorem that satisfies contraction. For \((y_{1},z_{1})\), \((y_{2},z_{2}) \in \mathcal{B}_{\varepsilon }\), we have
and
From (38) and (39) it follows that
which is a contraction by (37). Hence Krasnoselskii theorem’s condition (iii) is satisfied. Next we can demonstrate that the operator \((\Pi _{1,1}, \Pi _{2,1})\) fulfills the Krasnoselskii theorem’s condition (ii). By applying the continuity of the \(h_{1},h_{2} : \mathcal{H} \times \mathbb{R}\times \mathbb{R}\) functions, we can infer that the \((\Pi _{1,1}, \Pi _{2,1})\) operator is continuous. For each \((y,z)\in \mathcal{B}_{\varepsilon }\) we have
and
which leads to
Therefore the set \((\Pi _{1,1},\Pi _{2,1})\mathcal{B}_{\varepsilon }\) is bounded uniformly. We shall demonstrate in the next phase that the \((\Pi _{1,1}, \Pi _{2,1})\mathcal{B}_{\varepsilon }\) set is equicontinuous. For \(\tau _{1}, \tau _{2}\in \mathcal{H}\) with \(\tau _{1} < \tau _{2}\) and for any \((y,z)\in \mathcal{B}_{\varepsilon }\) we obtain
In a similar manner, we can get
Thus
tends to zero as \(\tau _{1}\to \tau _{1}\) independent of \((y,z)\in \mathcal{B}_{\varepsilon }\). Therefore the set \((\Pi _{1,1},\Pi _{2,1})\mathcal{B}_{\varepsilon }\) is equicontinuous. Therefore it implies from the Arzelà–Ascoli theorem that the operator \((\Pi _{1,1},\Pi _{2,1})\) is compact on \(\mathcal{B}_{ \varepsilon }\). We conclude from Krasnoselskii fixed point theorem’s statement that the problem (1)–(2) has at least one solution on \(\mathcal{H}\). □
4 Stability results for the problem (1)–(2)
Let us define nonlinear operators \(\mathcal{G}_{1}\), \(\mathcal{G}_{2}\in C(\mathcal{H},\mathbb{R})\times C(\mathcal{H}, \mathbb{R})\to C(\mathcal{H},\mathbb{R})\); where \(\Pi _{1}\) and \(\Pi _{2}\) are defined by (17) and (18):
for \(\tau \in \mathcal{H}\). For some \(\pi _{1},\pi _{2} > 0\), we consider the following inequalities:
Definition 12
The coupled system (1)–(2) is said to be stable in the Hyers–Ulam sense, if \(\mathcal{K}_{1}, \mathcal{K}_{2} > 0\) exist such that there is a unique solution \((y,z)\in C(\mathcal{H},\mathbb{R})\times C(\mathcal{H},\mathbb{R})\) of problems (1)–(2) with
for every solution \((\widehat{y},\widehat{z})\) belongs to \(C(\mathcal{H},\mathbb{R})\times C(\mathcal{H}, \mathbb{R})\) of inequality (40).
Theorem 13
Suppose that \((\mathcal{F}_{2})\) hold. Then the BVP (1)–(2) is Hyers–Ulam stable.
Proof
Let \((y,z)\in C(\mathcal{H}, \mathbb{R})\times C(\mathcal{H},\mathbb{R})\) be the (1)–(2) the solution of the problems that satisfy (17) and (18). Let \((\widehat{y}, \widehat{z})\) be any satisfying solution (40):
for \(\tau \in \mathcal{H}\). Therefore,
It follows that
Similarly,
where in (19)–(22) we describe \(\mathcal{S}_{1}\), \(\mathcal{S}_{2}\), \(\mathcal{T}_{1}\) and \(\mathcal{T}_{2}\). The Π operator, given by (17) and (18), can therefore be excluded as follows from the fixed point property. We have
From (41) and (42) it follows that
with
5 Variants of the problem
Further, we can solve some problems similar to problem (1)–(2) by using the methodology employed in the previous section. For example, we consider two new problems by replacing the condition. Note that the boundary conditions (2) include the strips of the different lengths when modifying the strips in boundary conditions like the same lengths (2), then the problem reduces to the form
with
On the other hand, the multi-point boundary conditions in (2) contain different multi-points in contrast to the multi-point boundary conditions in (43). We have
and
Concerning problem (1) with (43) instead of (2), we obtained the operator defined by
where
where
\(\vartheta = \vartheta _{1}\vartheta _{4} - \vartheta _{2}\vartheta _{3}\), and
Concerning the problem (1) with (44) instead of (2), we obtain the operator defined by
where
where
\(\vartheta = \vartheta _{1} \vartheta _{4} - \vartheta _{2} \vartheta _{3}\), and
Now for the problems (1)–(43), (1)–(44), we state the results of existence, uniqueness, and stability. We are not providing the evidence as it is similar to Sects. 3 and 4.
Theorem 14
Suppose that (\(\mathcal{F}_{1}\)) hold. If
Then there exists at least one solution for problem (1)–(43) on \(\mathcal{H}\), where \(\mathcal{S}_{1}\), \(\mathcal{T}_{1}\), \(\mathcal{S}_{2}\), and \(\mathcal{T}_{2}\) are given by (49) and (52), respectively.
Theorem 15
Suppose that \((\mathcal{F}_{2})\) hold. Then the BVP (1)–(43) has a unique solution on \(\mathcal{H}\), provided that
where \(\mathcal{S}_{1}\), \(\mathcal{T}_{1}\), \(\mathcal{S}_{2}\), and \(\mathcal{T}_{2}\) are given by (49) and (52).
Theorem 16
Suppose that \((\mathcal{F}_{2})\) hold. In addition, there exist positive constants \(\mathcal{V}_{1}\), \(\mathcal{V}_{2}\) such that, for all \(\tau \in \mathcal{H}\) and \(y,z\in \mathbb{R}\),
Then the BVP (1)–(43) has at least one solution on \(\mathcal{H}\), if
Theorem 17
Suppose that \((\mathcal{F}_{2})\) hold. Then the BVP (1)–(43) is Hyers–Ulam stable.
Theorem 18
Suppose that (\(\mathcal{F}_{1}\)) hold. If
Then there exists at least one solution for problem (1)–(44) on \(\mathcal{H}\), where \(\mathcal{S}_{1}\), \(\mathcal{T}_{1}\), \(\mathcal{S}_{2}\), and \(\mathcal{T}_{2}\) are given by (57) and (60), respectively.
Theorem 19
Suppose that \((\mathcal{F}_{2})\) hold. Then the BVP (1)–(44) has a unique solution on \(\mathcal{H}\), provided that
where \(\mathcal{S}_{1}\), \(\mathcal{T}_{1}\), \(\mathcal{S}_{2}\), and \(\mathcal{T}_{2}\) are given by (57) and (60).
Theorem 20
Suppose that \((\mathcal{F}_{2})\) hold. In addition, there exist positive constants \(\mathcal{V}_{1}\), \(\mathcal{V}_{2}\) such that, for all \(\tau \in \mathcal{H}\) and \(y,z\in \mathbb{R}\),
Then the BVP (1)–(44) has at least one solution on \(\mathcal{H}\), if
Theorem 21
Suppose that \((\mathcal{F}_{2})\) hold. Then the BVP (1)–(44) is Hyers–Ulam stable.
6 Applications with illustrative examples
Example 1
Consider the following coupled system of Hadamard-type FDEs:
for \(\tau \in [1,2]\), equipped with coupled boundary conditions:
Here, \(\varrho = \frac{121}{50}\in (2,3]\), \(\varsigma = \frac{71}{25}\in (2,3]\), \(\varrho _{1} = \frac{11}{25}\in (0,1]\), \(\varsigma _{1} = \frac{17}{20} \in (0,1]\), \(\varrho _{2} = \frac{19}{20} \in (0,1)\), \(\varsigma _{2} = \frac{11}{20} \in (0,1)\), \(\epsilon _{1} = \frac{23}{200}\), \(\epsilon _{2} = \frac{32}{125}\), \(\epsilon _{3} = \frac{179}{500}\), \(\epsilon _{4} = \frac{23}{50}\), \(\varpi _{1} = \frac{13}{100}\), \(\varpi _{2} = \frac{6}{25}\), \(\varpi _{3} = \frac{19}{50}\), \(\varpi _{4} = \frac{53}{125}\), \(\delta _{1} = \frac{49}{40}\), \(\delta _{2} = \frac{723}{500}\), \(\delta _{3} = \frac{417}{250}\), \(\delta _{4} = \frac{47}{25}\), \(\gamma _{1} = \frac{267}{200}\), \(\gamma _{2} = \frac{389}{250}\), \(\gamma _{3} = \frac{889}{500}\), \(\gamma _{4} = \frac{379}{200}\), \(\omega _{1} = \frac{159}{250}\), \(\omega _{2} = \frac{7}{200}\), \(\nu _{1} = \frac{3}{125}\), \(\nu _{2} = \frac{17}{500}\), \(T = 2\), \(\upsilon = \frac{77}{50}\), \(\theta = \frac{369}{200}\) and we have the continuous functions
Then by using (24), for \(\tau \in \mathcal{H}\), we have
and
Therefore, the functions \(h_{1}\) and \(h_{2}\) obviously satisfy the \(( \mathcal{F}_{1})\) condition with
From Eqs. (7) and (8), with the data given, we find that
Table 1 shows the numerical results of \(\vartheta _{j}\) for \(j=1, 2, \ldots , k-2\) and ϑ. These results are shown in Fig. 1. Now by employing Algorithm 1, we obtain \(\vartheta _{1} \approx 0.88617886\), \(\vartheta _{2} \approx 0.02198308\), \(\vartheta _{3} \approx 0.22359817\), \(\vartheta _{4} \approx 1.21168646\) and
On this level, by applying Eqs. (19), (20), (21) and (22), we got
with
Table 2 shows the numerical results of \(\mathcal{S}_{i}\), \(\mathcal{T}_{i}\) and \(\eta _{i}\) for \(i=1, 2\) and Ψ. These results are shown in Figs. 2 and 3. Hence, again by using the Algorithm 1, we obtain
All of Theorem 8’s requirements are fulfilled. Problem (69)–(70) therefore has a solution on \(\mathcal{H}= [1,2]\).
Example 2
Consider the following coupled system of Hadamard-type FDEs:
for \(\tau \in \mathcal{H}\), equipped with coupled boundary conditions:
Here, \(\varrho = \frac{78}{33} \in (2, 3]\), \(\varsigma = \frac{55}{26} \in (2, 3]\), \(\varrho _{1} = \frac{11}{25} \in (0, 1]\), \(\varsigma _{1} = \frac{17}{20} \in (0, 1]\), \(\varrho _{2} = \frac{19}{20} \in (0, 1)\), \(\varsigma _{2} = \frac{11}{20} \in (0, 1)\), \(\epsilon _{1} = \frac{23}{200}\), \(\epsilon _{2} = \frac{32}{125}\), \(\epsilon _{3} = \frac{179}{500}\), \(\epsilon _{4} = \frac{23}{50}\), \(\varpi _{1} = \frac{13}{100}\), \(\varpi _{2} = \frac{6}{25}\), \(\varpi _{3} = \frac{19}{50}\), \(\varpi _{4} = \frac{53}{125}\), \(\delta _{1} = \frac{49}{40}\), \(\delta _{2} = \frac{723}{500}\), \(\delta _{3} = \frac{417}{250}\), \(\delta _{4} = \frac{47}{25}\), \(\gamma _{1} = \frac{267}{200}\), \(\gamma _{2} = \frac{389}{250}\), \(\gamma _{3} = \frac{889}{500}\), \(\gamma _{4} = \frac{379}{200}\), \(\omega _{1} = \frac{159}{250}\), \(\omega _{2} = \frac{7}{200}\), \(\nu _{1} = \frac{3}{125}\), \(\nu _{2} = \frac{17}{500}\), \(T = 2\), \(\upsilon = \frac{77}{50}\), \(\theta = \frac{369}{200}\) and
First we show that condition (\(\mathcal{F}_{2}\)) holds. In this case, we have
and
Thus, we obtain
From Eqs. (7) and (8) and employing Algorithm 2 with the data given, we find that \(\vartheta _{1} \approx 0.89164224\), \(\vartheta _{2} \approx 0.02279537\), \(\vartheta _{3} \approx 0.35298423\), \(\vartheta _{4} \approx 1.05901515\), and
Table 3 shows the numerical results of \(\vartheta _{j}\) for \(j=1, 2, \ldots , k-2\) and ϑ. These results are shown in Fig. 4. On this level, by applying Eqs. (19), (20), (21) and (22), we got \(\mathcal{S}_{1} \approx 0.32929244\), \(\mathcal{T}_{1} \approx 0.18410940\), \(\mathcal{S}_{2} \approx 0.00700804\), \(\mathcal{T}_{2} \approx 0.55601261\). Table 4 shows the numerical results of \(\mathcal{S}_{i}\), \(\mathcal{T}_{i}\) for \(i=1,2\). These results are shown in Figs. 5. Hence, again by using the Algorithm 2, we obtain
Table 4 shows the results. Also, one can see the graphical representation of results in Figs. 5. Therefore all of the Theorem 9 assumptions are fulfilled. Consequently, on \(\mathcal{H}=[1,2]\) a unique solution exists for the problem (71)–(72) by Theorem 9.
Example 3
Consider the following coupled system of Hadamard-type FDEs:
for \(\tau \in [1,2]\), equipped with coupled boundary conditions:
Here, \(\varrho = \frac{88}{35} \in (2, 3]\), \(\varsigma = \frac{32}{13} \in (2, 3]\), \(\varrho _{1} = \frac{11}{25} \in (0, 1]\), \(\varsigma _{1} = \frac{17}{20} \in (0, 1]\), \(\varrho _{2} = \frac{19}{20} \in (0,1)\), \(\varsigma _{2} = \frac{11}{20} \in (0,1)\), \(\epsilon _{1} = \frac{23}{200}\), \(\epsilon _{2} = \frac{32}{125}\), \(\epsilon _{3} = \frac{179}{500}\), \(\epsilon _{4} = \frac{23}{50}\), \(\varpi _{1} = \frac{13}{100}\), \(\varpi _{2} = \frac{6}{25}\), \(\varpi _{3} = \frac{19}{50}\), \(\varpi _{4} = \frac{53}{125}\), \(\delta _{1} = \frac{49}{40}\), \(\delta _{2} = \frac{723}{500}\), \(\delta _{3} = \frac{417}{250}\), \(\delta _{4} = \frac{47}{25}\), \(\gamma _{1} = \frac{267}{200}\), \(\gamma _{2} = \frac{389}{250}\), \(\gamma _{3} = \frac{889}{500}\), \(\gamma _{4} = \frac{379}{200}\), \(\omega _{1} = \frac{159}{250}\), \(\omega _{2} = \frac{7}{200}\), \(\nu _{1} = \frac{3}{125}\), \(\nu _{2} = \frac{17}{500}\), \(T = 2\), \(\upsilon = \frac{77}{50}\), \(\theta = \frac{369}{200}\) and
Now, we show that condition (\(\mathcal{F}_{2}\)) holds. In this case, we have
and
So, we get
From Eqs. (7) and (8) and employing Algorithm 2 with the data given, we find that \(\vartheta _{1} \approx 0.87623493\), \(\vartheta _{2} \approx 0.02070006\), \(\vartheta _{3} \approx 0.28269454\), \(\vartheta _{4} \approx 1.15597829\) and
Table 5 shows the numerical results of \(\vartheta _{j}\) for \(j=1, 2, \ldots , k-2\) and ϑ. These results are shown in Fig. 6. On this level, by applying Eqs. (19), (20), (21) and (22), we got \(\mathcal{S}_{1} \approx 0.26208346\), \(\mathcal{T}_{1} \approx 0.09384668\), \(\mathcal{S}_{2} \approx 0.00432903\), \(\mathcal{T}_{2} \approx 0.32353228\). Table 6 shows the numerical results of \(\mathcal{S}_{i}\), \(\mathcal{T}_{i}\) for \(i=1,2\). These results are shown in Figs. 7a and 7b. Again by using the Algorithm 2, we find that the problem (73)–(74) has a unique solution for \([1,2]\), which is stable for Hyers–Ulam, with
Table 6 shows the results. Also, one can see the graphical representation of results in Figs. 7. So all requirements of Theorem 13 are fulfilled.
7 Discussion
We addressed the existence, uniqueness, and stability of solutions for a coupled system of Hadamard-type FDEs augmented by Hadamard fractional integral and multi-point conditions via the alternatives of Leray–Schauder, Banach, fixed point theorems of Krasnoselskii, and Hyer–Ulam stability. One can observe that, for particular values of \((\nu _{1}, \nu _{2}, \omega _{1},\omega _{2})\), our problem reduces to some special problems. Suppose we present the problems (1)–(2) in the form: to take \(\omega _{1} = \omega _{2} = 0\) in the results provided;
with \(1 < \theta < \upsilon < T\), while the results are
with \(1 < \gamma _{1} < \delta _{1} < \gamma _{2} < \delta _{2} < \cdots < \gamma _{k-2} < \delta _{k-2} < T\), followed by \(\nu _{1} = \nu _{2} = 0\). We can solve the above problems similar to problem (1)–(2) by using the methodology employed in the previous section. We emphasize that the problems discussed above are new.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Hadamard, J.: Essai sur létude des fonctions données par leur développment de Taylor. J. Math. Pures Appl. 8, 101–186 (1892)
Kilbas, A.A.A., Srivastava, H.M., Trujillo, J.J.: Theory and applications of fractional differential equations, vol. 204 (2006)
Podlubny, I.: Fractional differential equations: an introduction to fractional derivatives, fractional differential equations, to methods of their solution and some of their applications (1998)
Klafter, J., Lim, S.C., Metzler, R.: Fractional Dynamics: Recent Advances (2012)
Machado, J.T., Kiryakova, V., Mainardi, F.: Recent history of fractional calculus. Commun. Nonlinear Sci. Numer. Simul. 16(3), 1140–1153 (2011)
Valério, D., Machado, J.T., Kiryakova, V.: Some pioneers of the applications of fractional calculus. Fract. Calc. Appl. Anal. 17(2), 552–578 (2014)
Samei, M.E., Yang, W.: Existence of solutions for k-dimensional system of multi-term fractional q-integro-differential equations under anti-periodic boundary conditions via quantum calculus. Math. Methods Appl. Sci. 43(7), 4360–4382 (2020). https://doi.org/10.1002/mma.6198
Samei, M.E., Hedayati, V., Ranjbar, G.K.: The existence of solution for k-dimensional system of Langevin Hadamard-type fractional differential inclusions with 2k different fractional orders. Mediterr. J. Math. 17, 37 (2020). https://doi.org/10.1007/s00009-019-1471-2
Samei, M.E., Hedayati, V., Rezapour, Sh.: Existence results for a fraction hybrid differential inclusion with Caputo-Hadamard type fractional derivative. Advances in Difference Equations 2019, 163 (2019). https://doi.org/10.1186/s13662-019-2090-8
Muthaiah, S., Murugesan, M., Thangaraj, N.G.: Existence of solutions for nonlocal boundary value problem of Hadamard fractional differential equations. Adv. Theory of Nonlinear Anal. Appl. 3(3), 162–173 (2019)
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(1), 226 (2019)
Garra, R., Orsingher, E., Polito, F.: A note on Hadamard fractional differential equations with varying coefficients and their applications in probability. Mathematics 6, 1–10 (2018)
Mohammed, P.O., Sarikaya, M.Z., Baleanu, D.: On the generalized Hermite–Hadamard inequalities via the tempered fractional integrals. Symmetry 12(4), 595 (2020)
Wang, G., Ren, X., Baleanu, D.: Maximum principle for Hadamard fractional differential equations involving fractional Laplace operator. Math. Methods Appl. Sci. 43(5), 2646–2655 (2020)
Matar, M.M., Alzabut, J., Jonnalagadda, J.M.: A coupled system of nonlinear Caputo–Hadamard Langevin equations associated with nonperiodic boundary conditions. Math. Methods Appl. Sci. (2020)
Berhail, A., Tabouche, N., Matar, M.M., Alzabut, J.: Boundary value problem defined by system of generalized Sturm–Liouville and Langevin Hadamard fractional differential equations. Math. Methods Appl. Sci. (2020)
Ahmad, M., Zada, A., Alzabut, J.: Hyers–Ulam stability of a coupled system of fractional differential equations of Hilfer–Hadamard type. Demonstr. Math. 52(1), 283–295 (2019)
Ding, Y., Wang, Z., Ye, H.: Optimal control of a fractional-order HIV-immune system with memory. IEEE Trans. Control Syst. Technol. 20(3), 763–769 (2011)
Zhang, F., Chen, G., Li, C., Kurths, J.: Chaos synchronization in fractional differential systems. Philos. Trans. R. Soc. A, Math. Phys. Eng. Sci. 371(1990), 20120155 (2013)
Shah, K., Sarwar, M., Baleanu, D.: Study on Krasnoselskii’s fixed point theorem for Caputo–Fabrizio fractional differential equations. Adv. Differ. Equ. 2020(1), 1 (2020)
Sher, M., Shah, K., Rassias, J.: On qualitative theory of fractional order delay evolution equation via the prior estimate method. Math. Methods Appl. Sci. (2020)
Ahmadi, A., Samei, M.E.: On existence and uniqueness of solutions for a class of coupled system of three term fractional q-differential equations. J. Adv. Math. Stud. 13(1), 69–80 (2020)
Subramanian, M., Kumar, A.V., Gopal, T.N.: A writ large analysis of complex order coupled differential equations in the ourse of coupled non-local multi-point boundary conditions. Adv. Stud. Contemp. Math. 29(4), 505–520 (2019)
Jiang, C., Zada, A., Şenel, M.T., Li, T.: Synchronization of bidirectional N-coupled fractional-order chaotic systems with ring connection based on antisymmetric structure. Adv. Differ. Equ. 2019(1), 1 (2019)
Jiang, C., Zhang, F., Li, T.: Synchronization and antisynchronization of N-coupled fractional-order complex chaotic systems with ring connection. Math. Methods Appl. Sci. 41(7), 2625–2638 (2018)
Subramanian, M., Baleanu, D.: Stability and existence analysis to a coupled system of Caputo type fractional differential equations with Erdélyi-Kober integral boundary conditions. Appl. Math. Inf. Sci. 14(3), 415–424 (2020)
Baleanu, D., Alzabut, J., Jonnalagadda, J.M., Adjabi, Y., Matar, M.M.: A coupled system of generalized Sturm–Liouville problems and Langevin fractional differential equations in the framework of nonlocal and nonsingular derivatives. Adv. Differ. Equ. 2020(1), 1 (2020)
Pratap, A., Raja, R., Alzabut, J., Dianavinnarasi, J., Cao, J., Rajchakit, G.: Finite-time Mittag-Leffler stability of fractional-order quaternion-valued memristive neural networks with impulses. Neural Process. Lett. 51(2), 1485–1526 (2020)
Iswarya, M., Raja, R., Rajchakit, G., Cao, J., Alzabut, J., Huang, C.: Existence, uniqueness and exponential stability of periodic solution for discrete-time delayed BAM neural networks based on coincidence degree theory and graph theoretic method. Mathematics 7(11), 1055 (2019)
Agarwal, R.P., Ahmad, B., Garout, D., Alsaedi, A.: Existence results for coupled nonlinear fractional differential equations equipped with nonlocal coupled flux and multi-point boundary conditions. Chaos Solitons Fractals 102, 149–161 (2017)
Subramanian, M., Kumar, A.V., Gopal, T.N.: Influence of coupled nonlocal slit-strip conditions involving Caputo derivative in fractional boundary value problem. Discontinuity, Nonlinearity, and Complexity 8(4), 429–445 (2019)
Ahmad, B., Nieto, J.J., Alsaedi, A., Aqlan, M.H.: A coupled system of Caputo-type sequential fractional differential equations with coupled (periodic/anti-periodic type) boundary conditions. Mediterr. J. Math. 14(6), 227 (2017)
Tariboon, J., Ntouyas, S.K., Sudsutad, W.: Coupled systems of Riemann-Liouville fractional differential equations with Hadamard fractional integral boundary conditions. J. Nonlinear Sci. Appl. 9(1), 295–308 (2016)
Ahmad, B., Ntouyas, S.: A fully Hadamard type integral boundary value problem of a coupled system of fractional differential equations. Fract. Calc. Appl. Anal. 17(2), 348–360 (2014)
Zi, Y., Wang, Y.: Positive solutions for Caputo fractional differential system with coupled boundary conditions. Adv. Differ. Equ. 2019(1), 80 (2019)
Wang, G., Pei, K., Agarwal, R.P., Zhang, L., Ahmad, B.: Nonlocal Hadamard fractional boundary value problem with Hadamard integral and discrete boundary conditions on a half-line. J. Comput. Appl. Math. 343, 230–239 (2018). https://doi.org/10.1016/j.cam.2018.04.062
Ahmad, B., Alsaedi, A., Ntouyas, S.K., Tariboon, J.: Hadamard-type fractional differential equations, inclusions and inequalities (2017)
Garra, R., Orsingher, E., Polito, F.: A note on Hadamard fractional differential equations with varying coefficients and their applications in probability. Mathematics 6(1), 4 (2018)
Saxena, R.K., Garra, R., Orsingher, E.: Analytical solution of space-time fractional telegraph-type equations involving Hilfer and Hadamard derivatives. Integral Transforms Spec. Funct. 27(1), 30–42 (2016)
Ulam, S.M.: A Collection of the Mathematical Problems (1960)
Shah, K., Ali, A., Bushnaq, S.: Hyers-Ulam stability analysis to implicit Cauchy problem of fractional differential equations with impulsive conditions. Math. Methods Appl. Sci. 41(17), 8329–8343 (2018)
Kalvandi, V., Samei, M.E.: New stability results for a sum-type fractional q-integro-differential equation. J. Adv. Math. Stud. 12(2), 201–209 (2019)
Granas, A., Dugundji, J.: Fixed Point Theory (2013)
Smart, D.R.: Fixed point theorems, vol. 66 (1980)
Acknowledgements
The authors would like to thank the editors and the anonymous reviewers for their constructive comments and suggestions that have helped to improve the present paper. J. Alzabut would like to thank Prince Sultan University for supporting this work. The fifth author was supported by Bu-Ali Sina University.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with equal responsibility. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
Supporting informations
Supporting informations
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
Subramanian, M., Alzabut, J., Baleanu, D. et al. Existence, uniqueness and stability analysis of a coupled fractional-order differential systems involving Hadamard derivatives and associated with multi-point boundary conditions. Adv Differ Equ 2021, 267 (2021). https://doi.org/10.1186/s13662-021-03414-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03414-9