Skip to main content

A study of a coupled system of Hadamard fractional differential equations with nonlocal coupled initial-multipoint conditions


In this paper, we obtain the existence results for a coupled system of Hadamard fractional differential equations supplemented with nonlocal coupled initial-multipoint conditions via fixed point theorems. An example is constructed for the illustration of the uniqueness result.


Nonlocal boundary value problems have been extensively studied by many researchers. One can witness the theoretical development and applications of this class of problems in the related literature. The idea of nonlocal conditions dates back to the work of Hilb [1]. However, Bitsadze and Samarskii [2] presented the systematic investigation of spatial nonlocal problems. For motivation of nonlocal conditions, see [3, 4].

Fractional calculus, regarded as a generalization of classical calculus, deals with the differential and integral operators of noninteger order. One can find a detailed account of fractional-order differential equations in the monographs [59] and the references therein. On the other hand, several interesting results on Hadamard-type fractional differential equations, inclusions, and inequalities can be found in [10]. In [11], a monotone iterative method was applied to study the existence of positive solutions for Hadamard fractional differential equations complemented with nonlocal multi-point discrete and Hadamard integral boundary conditions. For application of Hadamard fractional differential equations, we refer the reader to the papers [12, 13].

Boundary value problems involving systems of fractional differential equations have also been studied by many researchers in view of their applications in the real world problems. It prompted many investigators to explore the theoretical aspects of fractional differential systems. For some recent results on Hadamard fractional differential systems, for instance, see [1419].

Recently, in [20], the authors derived existence results for a Hadamard-type fractional differential equation equipped with nonlocal initial condition given by

$$ \textstyle\begin{cases} {}^{H}D^{q}x(t)=f(t,x(t)), &1< t< T, 0< q\leq 1, \\ x(1)+\sum_{j=1}^{m}\zeta _{j}x(t_{j})=0, \end{cases} $$

where \({}^{H}D^{q}\) denotes the Hadamard fractional derivative of order q, \(f:[1,T]\times {\mathbb{R}}\rightarrow {\mathbb{R}} \), \(t_{j}\), \(j=1,2,\ldots ,m\) are given points with \(1\leq t_{1}\leq \cdots \leq t_{m}< T\) and \(\zeta _{j}\) are real numbers such that

$$ 1+\sum_{j=1}^{m}\zeta _{j}\neq 0. $$

The inclusions case of the problem (1) was also discussed in [20]. Problem (1) was studied for \(q=1\) in [21], for time scales setting in [22], and for Caputo fractional differential equations in [23].

In the present paper, motivated by [20], we introduce and investigate the existence of solutions for a coupled system of nonlinear Hadamard type fractional differential equations

$$ \textstyle\begin{cases} {}^{H}D^{p}x(t)=f(t,x(t),y(t)), & 1< t< T, \\ {}^{H}D^{q}y(t)=g(t,x(t),y(t)), & 1< t< T, 0< p,q\leq 1, \end{cases} $$

subject to nonlocal coupled initial-multipoint conditions:

$$ \textstyle\begin{cases} x(1)+\sum_{j=1}^{m}\alpha _{j} y(t_{j})=0, \\ y(1)+\sum_{j=1}^{m}\beta _{j} x(t_{j})=0, \end{cases} $$

where \({}^{H}D^{p}\), \({}^{H}D^{q}\) denote the Hadamard fractional derivatives of orders p and q, respectively, \(f, g:[1,T]\times \mathbb{R}^{2} \rightarrow \mathbb{R} \) are Carathéodory functions, \(t_{j}\) are given points with \(1\leq t_{1}\leq \cdots \leq t_{m}< T\), and \(\alpha _{j}\), \(\beta _{j}\) are real numbers such that \(1-\sum_{j=1}^{m}\alpha _{j}\sum_{j=1}^{m}\beta _{j} \neq 0\).

Existence results for the system (2)–(3) are proved by applying fixed point theorems. In Sect. 3, we discuss an existence result using the idea employed in [2123], where the growth condition is split into two subintervals: one containing the points involved in the nonlocal condition, while the second deals with the rest of the interval. In Sect. 4, we present two more results for the system (2)–(3): an existence and uniqueness result is obtained by using Banach’s fixed point theorem, while Leray–Schauder alternative is employed to obtain an existence result by assuming a growth condition on f and g on the whole interval.


In this section, we introduce notation and definitions which are used throughout this paper. Let \(X=\{x(t): x(t)\in C([1,T],\mathbb{R})\}\) be endowed with the norm \(\|x\|=\|x\|_{[1,T]}=\max_{t\in [1,T]}|x(t)|\). Obviously \((X,\|\cdot \|)\) is a Banach space. Also \(Y=\{y(t): y(t)\in C([1,T],\mathbb{R})\}\) endowed with the norm \(\|y\|=\|y\|_{[1,T]}=\max_{t\in [1,T]}|y(t)|\) is a Banach space. Then the product space \((X\times Y, \|(x,y)\|)\) is also a Banach space equipped with the norm \(\|(x,y)\|=\|x\|+\|y\|\).

We denote by \(L^{1}([1,T],\mathbb{R})\) the Banach space of measurable functions \(x:[1,T]\rightarrow \mathbb{R,}\) which are Lebesgue integrable, and normed by

$$ \Vert x \Vert _{L^{1}}= \int _{1}^{T} \bigl\vert x(t) \bigr\vert \,dt \quad \text{for all } x\in L^{1}\bigl([1,T], \mathbb{R}\bigr). $$

Let us recall some basic definitions on fractional calculus.

Definition 1

The Hadamard derivative of fractional order q for a function \(g:[1,\infty )\rightarrow \mathbb{R}\) is defined as

$$ {}^{H}D^{q} g(t)=\frac{1}{\Gamma (n-q)} \biggl(t \frac{d}{dt} \biggr)^{n} \int _{1}^{t}{ \biggl(\log \frac{t}{s} \biggr)^{n-q-1}} \frac{g(s)}{s} \,ds, \quad n-1< q< n, n=[q]+1, $$

where \([q]\) denotes the integer part of the real number q and \(\log (\cdot )=\log _{e}(\cdot )\).

Definition 2

The Hadamard fractional integral of order q for a function g is defined as

$$ I^{q} g(t)=\frac{1}{\Gamma (q)} \int _{1}^{t}{ \biggl(\log \frac{t}{s} \biggr)^{q-1}} \frac{g(s)}{s} \,ds, \quad q>0, $$

provided the integral exists.

In order to define the solution of problem (2)–(3), we consider the following lemma, concerning a linear variant of problem (2)–(3).

Lemma 1

Let \(h, k \in C([1,T],\mathbb{R})\) and \(Q:=1-\sum_{j=1}^{m}\alpha _{j}\sum_{j=1}^{m}\beta _{j} \neq 0\). Then the solution for the linear system of fractional differential equations

$$ \textstyle\begin{cases} {}^{H}D^{p}x(t)=h_{1}(t), & 1< t< T, \\ {}^{H}D^{q}y(t)=h_{2}(t), & 1< t< T, 0< p,q\leq 1, \end{cases} $$

supplemented with nonlocal coupled initial-multipoint conditions in (3) is equivalent to the integral equations

$$\begin{aligned} x(t) =&\frac{1}{\Gamma (p)} \int _{1}^{t}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{h_{1}(s)}{s} \,ds-\frac{1}{Q} \Biggl[{\sum _{j=1}^{m}} \alpha _{j} \frac{1}{\Gamma (q)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{h_{2}(s)}{s} \,ds \\ &{}-\sum_{j=1}^{m}\alpha _{j} \sum_{j=1}^{m}\beta _{j} \frac{1}{\Gamma (p)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{h_{1}(s)}{s} \,ds \Biggr] \end{aligned}$$


$$\begin{aligned} y(t) =&\frac{1}{\Gamma (q)} \int _{1}^{t}{ \biggl(\log \frac{t}{s} \biggr)^{q-1}} \frac{h_{2}(s)}{s} \,ds-\frac{1}{Q} \Biggl[{\sum _{j=1}^{m}}\beta _{j} \frac{1}{\Gamma (p)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{h_{1}(s)}{s} \,ds \\ &{}-\sum_{j=1}^{m}\alpha _{j} \sum_{j=1}^{m}\beta _{j} \frac{1}{\Gamma (q)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{h_{2}(s)}{s} \,ds \Biggr]. \end{aligned}$$


For some constant \(x_{0},y_{0}\in \mathbb{R}\), we have

$$ \begin{gathered} x(t)=\frac{1}{\Gamma (p)} \int _{1}^{t}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{h_{1}(s)}{s} \,ds-x_{0}, \\ y(t)=\frac{1}{\Gamma (q)} \int _{1}^{t}{ \biggl(\log \frac{t}{s} \biggr)^{q-1}} \frac{h_{2}(s)}{s} \,ds-y_{0}. \end{gathered} $$

Then, we obtain

$$ \begin{gathered} x(t_{j})= \frac{1}{\Gamma (p)} \int _{1}^{t_{j}}{ \biggl( \log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{h_{1}(s)}{s} \,ds-x_{0}, \\ y(t_{j})=\frac{1}{\Gamma (q)} \int _{1}^{t_{j}}{ \biggl( \log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{h_{2}(s)}{s} \,ds-y_{0}. \end{gathered} $$

Using (7) and (8) in the initial conditions (3), we obtain a system of equations in the unknown constants \(x_{0}\) and \(y_{0}\) given by

$$ \textstyle\begin{cases} x_{0} +\sum_{j=1}^{m}\alpha _{j} y_{0}=A_{1}, \\ \sum_{j=1}^{m}\beta _{j} x_{0}+y_{0}=A_{2}, \end{cases} $$


$$\begin{aligned} \begin{gathered} A_{1}=\sum_{j=1}^{m} \alpha _{j} \frac{1}{\Gamma (q)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{h_{2}(s)}{s} \,ds, \\ A_{2}=\sum _{j=1}^{m} \beta _{j} \frac{1}{\Gamma (p)} \int _{1}^{t_{j}}{ \biggl( \log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{h_{1}(s)}{s} \,ds. \end{gathered} \end{aligned}$$

Solving the system (9) for \(x_{0}\) and \(y_{0}\), we find that

$$ x_{0}=\frac{1}{Q} \Biggl[A_{1}- \sum _{j=1}^{m}\alpha _{j} A_{2} \Biggr], \qquad y_{0}=\frac{1}{Q} \Biggl[A_{2}- \sum _{j=1}^{m} \beta _{j} A_{1} \Biggr]. $$

Substituting the values of \(x_{0}\) and \(y_{0}\) in (7), together with the notations (10), leads to the solution (5) and (6). The converse can be proved by direct computation. The proof is completed. □

For convenience, we set

$$\begin{aligned} &B=1+ \vert \eta \vert \sum_{j=1}^{m} \vert \alpha _{j} \vert \sum_{j=1}^{m} \vert \beta _{j} \vert , \qquad C= \vert \eta \vert \sum _{j=1}^{m} \vert \alpha _{j} \vert , \qquad D= \vert \eta \vert \sum_{j=1}^{m} \vert \beta _{j} \vert , \qquad \eta =\frac{1}{Q}, \\ &m_{1}=\frac{B(\log T)^{p}}{\Gamma (p+1)}, \qquad m_{2}= \frac{C(\log T)^{q}}{\Gamma (q+1)}, \qquad n_{1}= \frac{B(\log T)^{q}}{\Gamma (q+1)}, \qquad n_{2}= \frac{D(\log T)^{p}}{\Gamma (p+1)}, \\ &l_{1}=\frac{B}{\Gamma (p)} \int _{1}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{p-1}} \frac{k_{1}(s)}{s} \,ds, \qquad l_{2}= \frac{C}{\Gamma (q)} \int _{1}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{q-1}} \frac{k_{2}(s)}{s} \,ds, \\ &l_{3}=\frac{B}{\Gamma (q)} \int _{1}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{q-1}} \frac{k_{2}(s)}{s} \,ds, \qquad l_{4}= \frac{D}{\Gamma (p)} \int _{1}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{p-1}} \frac{k_{1}(s)}{s} \,ds. \end{aligned}$$

Existence result with mixed growth condition

We assume that \(f,g:[1,T] \times \mathbb{R}^{2}\rightarrow \mathbb{R}\) are Carathéodory functions and prove an existence result with mixed growth condition.

Definition 3

We say that \(f,g:[1,T] \times \mathbb{R}^{2}\rightarrow \mathbb{R}\) are \(L^{1}\)-Carathéodory if

  1. (i)

    \(t \longmapsto f(t,x,y)\), \(t \longmapsto g(t,x,y)\) are measurable for each \((x,y)\in \mathbb{R}^{2}\);

  2. (ii)

    \((x,y) \longmapsto f(t,x,y)\), \((x,y)\longmapsto g(t,x,y)\) are continuous for almost all \(t\in [1,T]\);

  3. (iii)

    For each \(\mu >0\), there exist \(\sigma _{\mu }, \varrho _{\mu }\in L^{1}([1,T],\mathbb{R}^{+})\) such that \(|f(t,x,y)|\leq \sigma _{\mu }\) for almost all \(t\in [1,T]\) and for all \(x,y\in {\mathbb{R}}^{+}\) such that \(\|x\|\leq \mu \), \(\|y\|\leq \mu \), and \(|g(t,x,y)|\leq \varrho _{\mu }\) for almost all \(t\in [1,T]\) and for all \(x,y\in {\mathbb{R}}^{+}\) such that \(\|x\|\leq \mu \), \(\|y\|\leq \mu \).

In view of Lemma 1, we define an operator \(\mathcal{F}:X \times Y\rightarrow X \times Y\) by

$$ \mathcal{F}(x,y) (t):=\bigl(\mathcal{F}_{1}(x,y) (t), \mathcal{F}_{2}(x,y) (t)\bigr), $$


$$\begin{aligned} \mathcal{F}_{1}(x,y) (t)&=\frac{1}{\Gamma (p)} \int _{1}^{t}{ \biggl( \log \frac{t}{s} \biggr)^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds \\ & \quad {}-\eta \Biggl[{\sum_{j=1}^{m}} \alpha _{j} \frac{1}{\Gamma (q)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{g(s,x(s),y(s))}{s} \,ds \\ & \quad {}-\sum_{j=1}^{m}\alpha _{j}\sum_{j=1}^{m}\beta _{j} \frac{1}{\Gamma (p)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds \Biggr],\quad t \in [1,T], \end{aligned}$$


$$\begin{aligned} \mathcal{F}_{2}(x,y) (t)&=\frac{1}{\Gamma (q)} \int _{1}^{t}{ \biggl( \log \frac{t}{s} \biggr)^{q-1}} \frac{g(s,x(s),y(s))}{s} \,ds \\ & \quad{} -\eta \Biggl[{\sum_{j=1}^{m}} \beta _{j} \frac{1}{\Gamma (p)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds \\ & \quad {}-\sum_{j=1}^{m}\alpha _{j}\sum_{j=1}^{m}\beta _{j} \frac{1}{\Gamma (q)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{g(s,x(s),y(s))}{s} \,ds \Biggr],\quad t \in [1,T]. \end{aligned}$$

Note that the operators \(\mathcal{F}_{1}\) and \(\mathcal{F}_{2}\) given by (13) and (14) appear as sums of two integral operators: one of Fredholm type, whose values depend only on the restrictions of functions to \([1,t_{m}]\) and which is given by

$$\begin{aligned} \mathcal{F}_{F_{1}}(x,y) (t) = \textstyle\begin{cases} \frac{1}{\Gamma (p)}\int _{1}^{t}{ (\log \frac{t}{s} )^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds \\ \quad {} -\eta [{\sum_{j=1}^{m}}\alpha _{j} \frac{1}{\Gamma (q)}\int _{1}^{t_{j}}{ (\log \frac{t_{j}}{s} )^{q-1}} \frac{g(s,x(s),y(s))}{s} \,ds \\ \quad {} -\sum_{j=1}^{m}\alpha _{j}\sum_{j=1}^{m}\beta _{j} \frac{1}{\Gamma (p)}\int _{1}^{t_{j}}{ (\log \frac{t_{j}}{s} )^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds ], & \text{if } t < t_{m}, \\ \frac{1}{\Gamma (p)}\int _{1}^{t_{m}}{ (\log \frac{t_{m}}{s} )^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds \\ \quad {} -\eta [{\sum_{j=1}^{m}}\alpha _{j} \frac{1}{\Gamma (q)}\int _{1}^{t_{j}}{ (\log \frac{t_{j}}{s} )^{q-1}} \frac{g(s,x(s),y(s))}{s} \,ds \\ \quad {} -\sum_{j=1}^{m}\alpha _{j}\sum_{j=1}^{m}\beta _{j} \frac{1}{\Gamma (p)}\int _{1}^{t_{j}}{ (\log \frac{t_{j}}{s} )^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds ], & \text{if } t \geq t_{m}, \end{cases}\displaystyle \end{aligned}$$

and the other of Volterra type, defined by

$$\begin{aligned} \mathcal{F}_{V_{1}}(x,y) (t) = \textstyle\begin{cases} 0 &\text{if } t < t_{m}, \\ \frac{1}{\Gamma (p)}\int _{t_{m}}^{t}{ (\log \frac{t}{s} )^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds, &\text{if } t \geq t_{m}, \end{cases}\displaystyle \end{aligned}$$

depending on the restriction of function to \([t_{m},T]\).

Similarly, \(\mathcal{F}_{2}=\mathcal{F}_{F_{2}}+\mathcal{F}_{V_{2}}\), where

$$\begin{aligned} \mathcal{F}_{F_{2}}(x,y) (t) = \textstyle\begin{cases} \frac{1}{\Gamma (q)}\int _{1}^{t}{ (\log \frac{t}{s} )^{q-1}} \frac{g(s,x(s),y(s))}{s} \,ds \\ \quad {} -\eta [{\sum_{j=1}^{m}}\beta _{j} \frac{1}{\Gamma (p)}\int _{1}^{t_{j}}{ (\log \frac{t_{j}}{s} )^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds \\ \quad {} -\sum_{j=1}^{m}\alpha _{j}\sum_{j=1}^{m}\beta _{j} \frac{1}{\Gamma (q)}\int _{1}^{t_{j}}{ (\log \frac{t_{j}}{s} )^{q-1}} \frac{g(s,x(s),y(s))}{s} \,ds ], & \text{if } t < t_{m}, \\ \frac{1}{\Gamma (q)}\int _{1}^{t_{m}}{ (\log \frac{t_{m}}{s} )^{q-1}} \frac{g(s,x(s),y(s))}{s} \,ds \\ \quad {} -\eta [{\sum_{j=1}^{m}}\beta _{j} \frac{1}{\Gamma (p)}\int _{1}^{t_{j}}{ (\log \frac{t_{j}}{s} )^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds \\ \quad {} -\sum_{j=1}^{m}\alpha _{j}\sum_{j=1}^{m}\beta _{j} \frac{1}{\Gamma (q)}\int _{1}^{t_{j}}{ (\log \frac{t_{j}}{s} )^{q-1}} \frac{g(s,x(s),y(s))}{s} \,ds ], & \text{if } t \geq t_{m}, \end{cases}\displaystyle \end{aligned}$$

and the Volterra type operator is defined by

$$\begin{aligned} \mathcal{F}_{V_{2}}(x,y) (t) = \textstyle\begin{cases} 0 &\text{if } t < t_{m}, \\ \frac{1}{\Gamma (q)}\int _{t_{m}}^{t}{ (\log \frac{t}{s} )^{q-1}} \frac{g(s,x(s),y(s))}{s} \,ds, &\text{if } t \geq t_{m}. \end{cases}\displaystyle \end{aligned}$$

This allows us to split the growth condition on the nonlinear terms \(f(t, x,y)\) and \(g(t,x,y)\) into two parts, namely, for \(t\in [1,t_{m}]\) and \(t\in [t_{m},T]\).

Theorem 1

Assume that


\(f, g:[1,T]\times \mathbb{R}^{2} \rightarrow \mathbb{R} \) are \(L^{1}\)-Carathéodory functions;


There exist continuous functions \(\omega _{1}\), \(\omega _{2}\) nondecreasing in their second argument, \(k\in L^{1}[t_{m},T]\), and nondecreasing functions \(\Psi _{1}, \Psi _{2}: \mathbb{R}^{+} \rightarrow \mathbb{R}^{+} \) such that

$$\begin{aligned}& \bigl\vert f(t,x,y) \bigr\vert = \textstyle\begin{cases} \omega _{1}(t, \vert x \vert , \vert y \vert ), &\textit{if } t\in [1,t_{m}], \\ k(t)\Psi _{1}( \vert x \vert , \vert y \vert ), &\textit{if } t \in [t_{m},T], \end{cases}\displaystyle \end{aligned}$$
$$\begin{aligned}& \bigl\vert g(t,x,y) \bigr\vert = \textstyle\begin{cases} \omega _{2}(t, \vert x \vert , \vert y \vert ), &\textit{if } t\in [1,t_{m}], \\ k(t)\Psi _{2}( \vert x \vert , \vert y \vert ), &\textit{if } t \in [t_{m},T]; \end{cases}\displaystyle \end{aligned}$$

There exists \(R_{0}>0\) such that

$$\begin{aligned} \rho >R_{0}\quad \Longrightarrow\quad & \frac{B+D}{\Gamma (p)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t_{m}}{s} \biggr)^{p-1}} \frac{\omega _{1}(s, \vert \rho _{1} \vert , \vert \rho _{2} \vert )}{s} \,ds \\ &\quad {}+ \frac{B+C}{\Gamma (q)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t_{m}}{s} \biggr)^{q-1}} \frac{\omega _{2}(s, \vert \rho _{1} \vert , \vert \rho _{2} \vert )}{s} \,ds< \rho ; \end{aligned}$$

\(\limsup_{R\rightarrow \infty }\frac{R}{ \Lambda _{1}+\Lambda _{2}} >1\), where

$$\begin{aligned}& \begin{aligned}[b] \Lambda _{1}&= \frac{B+D}{\Gamma (p)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{\omega _{1}(s,R_{0},R_{0})}{s} \,ds \\ &\quad {}+\Psi _{1}(R,R)\frac{1}{\Gamma (p)} \int _{t_{m}}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{p-1}} \frac{k(s)}{s} \,ds, \end{aligned} \end{aligned}$$
$$\begin{aligned}& \begin{aligned}[b] \Lambda _{2}&=\frac{B+C}{\Gamma (q)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t}{s} \biggr)^{q-1}} \frac{\omega _{2}(s,R_{0},R_{0})}{s} \,ds \\ &\quad {}+\Psi _{2}(R,R)\frac{1}{\Gamma (q)} \int _{t_{m}}^{T}{ \biggl(\log \frac{t}{s} \biggr)^{q-1}} \frac{k(s)}{s} \,ds. \end{aligned} \end{aligned}$$
Then, problem (2)(3) has at least one solution on \([1,T]\).


We show that the solutions of (2)–(3) are a priori bounded. Let \((x, y)\) be a solution. Then, for \(t\in [1, t_{m}]\), we have

$$\begin{aligned} \bigl\vert x(t) \bigr\vert =& \bigl\vert \lambda \mathcal{F}_{1}(x,y) (t) \bigr\vert \\ =& \lambda \Biggl\vert \frac{1}{\Gamma (p)} \int _{1}^{t}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds \\ &{}-\eta \Biggl[{\sum_{j=1}^{m}}\alpha _{j} \frac{1}{\Gamma (q)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{g(s,x(s),y(s))}{s} \,ds \\ &{}-\sum_{j=1}^{m}\alpha _{j} \sum_{j=1}^{m}\beta _{j} \frac{1}{\Gamma (p)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds \Biggr] \Biggr\vert \\ \leq & \frac{1}{\Gamma (p)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t_{m}}{s} \biggr)^{p-1}} \frac{ \vert f(s,x(s),y(s)) \vert }{s} \,ds \\ &{}+ \vert \eta \vert \Biggl[{\sum_{j=1}^{m}} \vert \alpha _{j} \vert \frac{1}{\Gamma (q)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{ \vert g(s,x(s),y(s)) \vert }{s} \,ds \\ &{}+\sum_{j=1}^{m} \vert \alpha _{j} \vert \sum_{j=1}^{m} \vert \beta _{j} \vert \frac{1}{\Gamma (p)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{ \vert f(s,x(s),y(s)) \vert }{s} \,ds \Biggr] \\ \leq & B \frac{1}{\Gamma (p)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t_{m}}{s} \biggr)^{p-1}} \frac{\omega _{1}(s, \vert x(s) \vert , \vert y(s) \vert )}{s} \,ds \\ &{}+C \frac{1}{\Gamma (q)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t_{m}}{s} \biggr)^{q-1}} \frac{\omega _{2}(s, \vert x(s) \vert , \vert y(s) \vert )}{s} \,ds, \end{aligned}$$

which, on taking the supremum for \(t\in [1, t_{m}]\), yields

$$\begin{aligned} \Vert x \Vert _{[1,t_{m}]}&\leq \frac{B}{\Gamma (p)} \int _{1}^{t_{m}}{ \biggl( \log \frac{t_{m}}{s} \biggr)^{p-1}} \frac{\omega _{1}(s, \Vert x \Vert _{[1,t_{m}]}, \Vert y \Vert _{[1,t_{m}]})}{s} \,ds \\ &\quad +\frac{C}{\Gamma (q)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t_{m}}{s} \biggr)^{q-1}} \frac{\omega _{2}(s, \Vert x \Vert _{[1,t_{m}]}, \Vert y \Vert _{[1,t_{m}]})}{s} \,ds. \end{aligned}$$


$$\begin{aligned} \Vert y \Vert _{[1,t_{m}]}\leq & \frac{B}{\Gamma (q)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t_{m}}{s} \biggr)^{q-1}} \frac{\omega _{2}(s, \Vert x \Vert _{[1,t_{m}]}, \Vert y \Vert _{[1,t_{m}]})}{s} \,ds \\ &+ \frac{D}{\Gamma (p)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t_{m}}{s} \biggr)^{p-1}} \frac{\omega _{1}(s, \Vert x \Vert _{[1,t_{m}]}, \Vert y \Vert _{[1,t_{m}]})}{s} \,ds. \end{aligned}$$

Let \(\rho _{1}=\|x\|_{[1,t_{m}]}\), \(\rho _{2}=\|y\|_{[1,t_{m}]}\). Then from (19) and (20), we deduce

$$\begin{aligned} \textstyle\begin{cases} \rho _{1} \leq \frac{B}{\Gamma (p)}\int _{1}^{t_{m}}{ (\log \frac{t_{m}}{s} )^{p-1}} \frac{\omega _{1}(s, \rho _{1}, \rho _{2} )}{s} \,ds+ \frac{C}{\Gamma (q)}\int _{1}^{t_{m}}{ (\log \frac{t_{m}}{s} )^{q-1}} \frac{\omega _{2}(s, \rho _{1}, \rho _{2})}{s} \,ds, \\ \rho _{2} \leq \frac{B}{\Gamma (q)}\int _{1}^{t_{m}}{ (\log \frac{t_{m}}{s} )^{q-1}} \frac{\omega _{2}(s,\rho _{1},\rho _{2})}{s} \,ds+ \frac{D}{\Gamma (p)} \int _{1}^{t_{m}}{ (\log \frac{t_{m}}{s} )^{p-1}} \frac{\omega _{1}(s,\rho _{1},\rho _{2})}{s} \,ds. \end{cases}\displaystyle \end{aligned}$$


$$\begin{aligned} \rho =&\rho _{1} +\rho _{2} \\ \leq& \frac{B+D}{\Gamma (p)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t_{m}}{s} \biggr)^{p-1}} \frac{\omega _{1}(s, \vert \rho _{1} \vert , \vert \rho _{2} \vert )}{s} \,ds \\ &{}+ \frac{B+C}{\Gamma (q)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t_{m}}{s} \biggr)^{q-1}} \frac{\omega _{2}(s, \vert \rho _{1} \vert , \vert \rho _{2} \vert )}{s} \,ds. \end{aligned}$$

Then, assumption \((H_{3})\) guarantees that

$$ \rho \leq R_{0}. $$

Next, we let \(t\in [t_{m},T]\). Then

$$\begin{aligned} \bigl\vert x(t) \bigr\vert =& \bigl\vert \lambda \mathcal{F}_{1}(x,y) (t) \bigr\vert \\ =& \lambda \Biggl\vert \frac{1}{\Gamma (p)} \int _{1}^{t}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds \\ &{}-\eta \Biggl[{\sum_{j=1}^{m}}\alpha _{j} \frac{1}{\Gamma (q)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{g(s,x(s),y(s))}{s} \,ds \\ &{}-\sum_{j=1}^{m}\alpha _{j} \sum_{j=1}^{m}\beta _{j} \frac{1}{\Gamma (p)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds \Biggr] \Biggr\vert \\ \leq & \frac{1}{\Gamma (p)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{\omega _{1}(s,R_{0},R_{0})}{s} \,dt \\ &{}+ \vert \eta \vert \Biggl[{\sum_{j=1}^{m}} \vert \alpha _{j} \vert \frac{1}{\Gamma (q)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{\omega _{2}(s,R_{0},R_{0})}{s} \,dt \\ &{}+\sum_{j=1}^{m} \vert \alpha _{j} \vert \sum_{j=1}^{m} \vert \beta _{j} \vert \frac{1}{\Gamma (p)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{\omega _{1}(s,R_{0},R_{0})}{s} \,dt \Biggr] \\ &{}+\frac{1}{\Gamma (p)} \int _{t_{m}}^{t}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{k(s)\Psi _{1}( \vert x(s) \vert , \vert y(s) \vert )}{s} \,ds \\ \leq & \frac{B}{\Gamma (p)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{\omega _{1}(s,R_{0},R_{0})}{s} \,ds+ \frac{C}{\Gamma (q)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t}{s} \biggr)^{q-1}} \frac{\omega _{2}(s,R_{0},R_{0})}{s} \,ds \\ &{}+\frac{1}{\Gamma (p)} \int _{t_{m}}^{t}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{k(s)\Psi _{1}( \vert x(s) \vert , \vert y(s) \vert )}{s} \,ds \\ \leq & \frac{B}{\Gamma (p)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{\omega _{1}(s,R_{0},R_{0})}{s} \,ds+ \frac{C}{\Gamma (q)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t}{s} \biggr)^{q-1}} \frac{\omega _{2}(s,R_{0},R_{0})}{s} \,ds \\ &{}+\Psi _{1}\bigl( \Vert x \Vert _{[t_{m},T]}, \Vert y \Vert _{[t_{m},T]}\bigr)\frac{1}{\Gamma (p)} \int _{t_{m}}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{p-1}} \frac{k(s)}{s} \,ds, \end{aligned}$$

and consequently,

$$\begin{aligned}& \Vert x \Vert _{[t_{m},T]} \\& \quad \leq \frac{B}{\Gamma (p)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{\omega _{1}(s,R_{0},R_{0})}{s} \,ds+ \frac{C}{\Gamma (q)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t}{s} \biggr)^{q-1}} \frac{\omega _{2}(s,R_{0},R_{0})}{s} \,ds \\& \qquad {}+\Psi _{1}\bigl( \Vert x \Vert _{[t_{m},T]}, \Vert y \Vert _{[t_{m},T]}\bigr)\frac{1}{\Gamma (p)} \int _{t_{m}}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{p-1}} \frac{k(s)}{s} \,ds. \end{aligned}$$


$$\begin{aligned}& \bigl\vert y(t) \bigr\vert \\& \quad \leq \frac{B}{\Gamma (q)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t}{s} \biggr)^{q-1}} \frac{\omega _{2}(s,R_{0},R_{0})}{s} \,ds+ \frac{D}{\Gamma (p)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{\omega _{1}(s,R_{0},R_{0})}{s} \,ds \\& \qquad {}+\Psi _{2}\bigl( \Vert x \Vert _{[t_{m},T]}, \Vert y \Vert _{[t_{m},T]}\bigr)\frac{1}{\Gamma (q)} \int _{t_{m}}^{T}{ \biggl(\log \frac{t}{s} \biggr)^{q-1}} \frac{k(s)}{s} \,ds \end{aligned}$$


$$\begin{aligned}& \Vert y \Vert _{[t_{m},T]} \\& \quad \leq \frac{B}{\Gamma (q)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t}{s} \biggr)^{q-1}} \frac{\omega _{2}(s,R_{0},R_{0})}{s} \,ds+ \frac{D}{\Gamma (p)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{\omega _{1}(s,R_{0},R_{0})}{s} \,ds \\& \qquad {}+\Psi _{2}\bigl( \Vert x \Vert _{[t_{m},T]}, \Vert y \Vert _{[t_{m},T]}\bigr)\frac{1}{\Gamma (q)} \int _{t_{m}}^{T}{ \biggl(\log \frac{t}{s} \biggr)^{q-1}} \frac{k(s)}{s} \,ds. \end{aligned}$$

Then we have

$$\begin{aligned}& \Vert x \Vert _{[t_{m},T]}+ \Vert y \Vert _{[t_{m},T]} \\& \quad \leq \frac{B+D}{\Gamma (p)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{\omega _{1}(s,R_{0},R_{0})}{s} \,ds+ \frac{B+C}{\Gamma (q)} \int _{1}^{t_{m}}{ \biggl(\log \frac{t}{s} \biggr)^{q-1}} \frac{\omega _{2}(s,R_{0},R_{0})}{s} \,ds \\& \qquad {}+\Psi _{1}\bigl( \Vert x \Vert _{[t_{m},T]}, \Vert y \Vert _{[t_{m},T]}\bigr)\frac{1}{\Gamma (p)} \int _{t_{m}}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{p-1}} \frac{k(s)}{s} \,ds \\& \qquad {}+\Psi _{2}\bigl( \Vert x \Vert _{[t_{m},T]}, \Vert y \Vert _{[t_{m},T]}\bigr)\frac{1}{\Gamma (q)} \int _{t_{m}}^{T}{ \biggl(\log \frac{t}{s} \biggr)^{q-1}} \frac{k(s)}{s} \,ds \\& \quad = \Lambda _{1}+\Lambda _{2} \end{aligned}$$


$$\begin{aligned} \frac{ \Vert x \Vert _{[t_{m},T]}+ \Vert y \Vert _{[t_{m},T]}}{\Lambda _{1}+\Lambda _{2}} \le 1. \end{aligned}$$

Now (H4) implies that there exists \(R^{\ast }>0\) such that for all \(R>R^{\ast }\), we have

$$\begin{aligned} \frac{R }{\Lambda _{1}+\Lambda _{2}}>1. \end{aligned}$$

Comparing inequalities (22) and (23), we find that

$$ \Vert x \Vert _{[ t_{m},T]}+ \Vert y \Vert _{[ t_{m},T]}\leq R^{\ast }. $$

Let \(\gamma =\max \{R_{0},R^{\ast }\}\). We have \(\|x\|_{[1,T]}\leq \gamma \) and \(\|y\|_{[1,T]}\leq \gamma \). It follows from \((H_{1})\) that there exist \(\sigma _{\gamma }, \varrho _{\gamma }\in L^{1}([1,T],\mathbb{R}^{+})\) such that \(|f(t,x,y)|\leq \sigma _{\gamma }\) and \(|g(t,x,y)|\leq \varrho _{\gamma }\) for almost all \(t\in [1,T]\).

The operator \(\mathcal{F} : \overline{B}_{\gamma } \rightarrow C[1,T]\) is continuous and completely continuous. Indeed, \(\mathcal{F}\) is continuous in view of \((H_{1})\), and for complete continuity, we remark that the operator is uniformly bounded as

$$\begin{aligned} \bigl\vert \mathcal{F}_{1}\bigl(x(t),y(t)\bigr) \bigr\vert =& \Biggl\vert \frac{1}{\Gamma (p)} \int _{1}^{t}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds \\ &{}-\eta \Biggl[{\sum_{j=1}^{m}}\alpha _{j} \frac{1}{\Gamma (q)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{g(s,x(s),y(s))}{s} \,ds \\ &{}-\sum_{j=1}^{m}\alpha _{j} \sum_{j=1}^{m}\beta _{j} \frac{1}{\Gamma (p)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds \Biggr] \Biggr\vert \\ \leq & \frac{1}{\Gamma (p)} \int _{1}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{p-1}} \frac{\sigma _{\gamma }}{s} \,ds \\ &{}+ \vert \eta \vert \Biggl[{\sum_{j=1}^{m}} \vert \alpha _{j} \vert \frac{1}{\Gamma (q)} \int _{1}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{q-1}} \frac{\varrho _{\gamma }}{s} \,ds \\ &{}+\sum_{j=1}^{m} \vert \alpha _{j} \vert \sum_{j=1}^{m} \vert \beta _{j} \vert \frac{1}{\Gamma (p)} \int _{1}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{p-1}} \frac{\sigma _{\gamma }}{s} \,ds \Biggr] \\ \leq & B \frac{1}{\Gamma (p)} \int _{1}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{p-1}} \frac{\sigma _{\gamma }}{s} \,ds+ C \frac{1}{\Gamma (q)} \int _{1}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{q-1}} \frac{\varrho _{\gamma }}{s} \,ds. \end{aligned}$$


$$\begin{aligned} \bigl\vert \mathcal{F}_{2}\bigl(x(t),y(t)\bigr) \bigr\vert \leq & \frac{B}{\Gamma (q)} \int _{1}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{q-1}} \frac{\varrho _{\gamma }}{s} \,ds+ \frac{D}{\Gamma (p)} \int _{1}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{p-1}} \frac{\sigma _{\gamma }}{s} \,ds, \end{aligned}$$

and it is equicontinuous since

$$\begin{aligned}& \bigl\vert \mathcal{F}_{1}\bigl(x(\nu _{2}),y(\nu _{2})\bigr)-\mathcal{F}_{1}\bigl(x(\nu _{1}),y( \nu _{1})\bigr) \bigr\vert \\& \quad = \biggl\vert \frac{1}{\Gamma (p)} \int _{1}^{\nu _{1}} \biggl[{ \biggl( \log \frac{\nu _{2}}{s} \biggr)^{p-1}}-{ \biggl(\log \frac{\nu _{1}}{s} \biggr)^{p-1}} \biggr] \frac{f(s,x(s),y(s))}{s} \,ds \\& \qquad {}+\frac{1}{\Gamma (p)} \int _{\nu _{1}}^{\nu _{2}}{ \biggl(\log \frac{\nu _{2}}{s} \biggr)^{p-1}}\frac{f(s,x(s),y(s))}{s} \,ds \biggr\vert \\& \quad \leq \biggl\vert \frac{1}{\Gamma (p)} \int _{1}^{\nu _{1}} \biggl[{ \biggl(\log \frac{\nu _{2}}{s} \biggr)^{p-1}}-{ \biggl(\log \frac{\nu _{1}}{s} \biggr)^{p-1}} \biggr] \frac{\sigma _{\gamma }}{s} \,ds \\& \qquad {}+\frac{1}{\Gamma (p)} \int _{\nu _{1}}^{\nu _{2}}{ \biggl(\log \frac{\nu _{2}}{s} \biggr)^{p-1}}\frac{\sigma _{\gamma }}{s} \,ds \biggr\vert . \end{aligned}$$


$$\begin{aligned}& \bigl\vert \mathcal{F}_{2}\bigl(x(\nu _{2}),y(\nu _{2})\bigr)-\mathcal{F}_{2}\bigl(x(\nu _{1}),y( \nu _{1})\bigr) \bigr\vert \\& \quad \leq \biggl\vert \frac{1}{\Gamma (q)} \int _{1}^{\nu _{1}} \biggl[{ \biggl(\log \frac{\nu _{2}}{s} \biggr)^{q-1}}-{ \biggl(\log \frac{\nu _{1}}{s} \biggr)^{q-1}} \biggr] \frac{\varrho _{\gamma }}{s} \,ds \\& \qquad {}+\frac{1}{\Gamma (q)} \int _{\nu _{1}}^{\nu _{2}}{ \biggl(\log \frac{\nu _{2}}{s} \biggr)^{q-1}}\frac{\varrho _{\gamma }}{s} \,ds \biggr\vert , \end{aligned}$$

where \(1<\nu _{1}<\nu _{2}<T\). Hence, by the Leray–Schauder alternative [24], we deduce that the operator \(\mathcal{F}\) has a fixed point in \(B_{\gamma }\), which is a solution of problem (2)–(3). The proof is completed. □

Further existence and uniqueness results

In the next theorem, we prove the uniqueness of solutions for problem (2)–(3) via Banach’s fixed point theorem.

Theorem 2

Let \(f,g:[1,T]\times \mathbb{R}^{2}\rightarrow \mathbb{R}\) be jointly continuous functions and satisfy the assumption


There exist constants \(L_{1},L_{2}>0\) such that \(\forall t\in [1,T]\) and \(x_{\epsilon }, y_{\epsilon }\in \mathbb{R}\), \(\epsilon =1,2\),

$$\begin{aligned}& \bigl\vert f(t,x_{1},y_{1})-f(t,x_{2},y_{2}) \bigr\vert \leqslant L_{1}\bigl( \vert x_{1}-y_{1} \vert + \vert x_{2}-y_{2} \vert \bigr), \\& \bigl\vert g(t,x_{1},y_{1})-g(t,x_{2},y_{2}) \bigr\vert \leqslant L_{2}\bigl( \vert x_{1}-y_{1} \vert + \vert x_{2}-y_{2} \vert \bigr). \end{aligned}$$
Then, problem (2)(3) has a unique solution on \([1,T]\) if \(\Lambda <1\), where

$$ \Lambda =L_{1}(m_{1}+n_{1})+L_{2}(m_{2}+n_{2}). $$


Let us define \(M_{1}\), \(M_{2}\) as finite numbers given by

$$ M_{1}=\sup_{t\in [1,T]} \bigl\vert f(t,0,0) \bigr\vert ,\qquad M_{2}=\sup_{t \in [1,T]} \bigl\vert g(t,0,0) \bigr\vert , $$

and show that \(\mathcal{F}B_{r}\subset B_{r}\), where \(B_{r}=\{(x,y)\in C[1,T]^{2}:\|(x,y)\|\leq r\}\) with

$$ r>\frac{M_{1}(m_{1}+n_{2})+M_{2}(m_{2}+n_{2})}{1-\Lambda }. $$

For any \((x,y)\in B_{r}\), \(t\in [1,T]\), using (\(K_{1}\)), we get

$$\begin{aligned} \bigl\vert f(t,x,y) \bigr\vert =& \bigl\vert f(t,x,y)-f(t,0,0)+f(t,0,0) \bigr\vert \\ \leq & \bigl\vert f(t,x,y)-f(t,0,0) \bigr\vert + \bigl\vert f(t,0,0) \bigr\vert \\ \leq & L_{1}\bigl( \bigl\vert x(t) \bigr\vert + \bigl\vert y(t) \bigr\vert \bigr)+M_{1} \leq L_{1}\bigl( \Vert x \Vert + \Vert y \Vert \bigr)+ M_{1} \leq L_{1}r+M_{1}. \end{aligned}$$

Similarly, we can establish that \(|g(t,x,y)|\leq L_{2}r+M_{2}\). Then

$$\begin{aligned}& \bigl\Vert \mathcal{F}_{1}(x,y) \bigr\Vert \\& \quad \leq \frac{1}{\Gamma (p)} \int _{1}^{t}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{ \vert f(s,x(s),y(s)) \vert }{s} \,ds \\& \qquad {}+ \vert \eta \vert \Biggl[{\sum_{j=1}^{m}} \vert \alpha _{j} \vert \frac{1}{\Gamma (q)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{ \vert g(s,x(s),y(s)) \vert }{s} \,ds \\& \qquad {}+\sum_{j=1}^{m} \vert \alpha _{j} \vert \sum_{j=1}^{m} \vert \beta _{j} \vert \frac{1}{\Gamma (p)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{ \vert f(s,x(s),y(s)) \vert }{s} \,ds \Biggr] \\& \quad \leq \frac{(L_{1}r+M_{1})}{\Gamma (p)} \Biggl[ \int _{1}^{t}{ \biggl( \log \frac{t}{s} \biggr)^{p-1}} \frac{ds}{s}+ \vert \eta \vert \sum _{j=1}^{m} \vert \alpha _{j} \vert \sum _{j=1}^{m} \vert \beta _{j} \vert \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{ds}{s} \Biggr] \\& \qquad {}+ \frac{(L_{2}r+M_{2})}{\Gamma (q)} \Biggl[ \vert \eta \vert {\sum _{j=1}^{m}} \vert \alpha _{j} \vert \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{ds}{s} \Biggr] \\& \quad \leq \frac{(L_{1}r+M_{1})}{\Gamma (p+1)} \Biggl[(\log T)^{p}+ \vert \eta \vert ( \log T)^{p}\sum_{j=1}^{m} \vert \alpha _{j} \vert \sum_{j=1}^{m} \vert \beta _{j} \vert \Biggr] \\& \qquad {}+ \frac{(L_{2}r+M_{2})}{\Gamma (q+1)} \Biggl[ \vert \eta \vert (\log T)^{q}\sum_{j=1}^{m} \vert \alpha _{j} \vert \Biggr] \\& \quad = (L_{1}m_{1}+L_{2}m_{2})r+m_{1}M_{1}+m_{2}M_{2}. \end{aligned}$$

Similarly, we can find that

$$\begin{aligned} \bigl\Vert \mathcal{F}_{2}(x,y) \bigr\Vert \leq &(L_{1}n_{1}+L_{2}n_{2})r+n_{1}M_{1}+n_{2}M_{2}. \end{aligned}$$

Consequently, in view of (24), we get

$$ \bigl\Vert \mathcal{F}(x,y) \bigr\Vert \leq \Lambda r+M_{1}(m_{1}+n_{1})+M_{2}(m_{2}+n_{2}) \leq r, $$

which shows that \(\mathcal{F}B_{r}\subset B_{r}\).

Now, for any \((x_{1},y_{1}),(x_{2},y_{2})\in C[1,T]^{2} \) and for each \(t\in [1,T]\), we obtain

$$\begin{aligned}& \bigl\Vert \mathcal{F}_{1}(x_{1},y_{1})- \mathcal{F}_{1}(x_{2},y_{2}) \bigr\Vert \\& \quad \leq \frac{1}{\Gamma (p)} \int _{1}^{t}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \bigl\vert f\bigl(s,x_{1}(s),y_{1}(s) \bigr)-f\bigl(s,x_{2}(s),y_{2}(s)\bigr) \bigr\vert \frac{ds}{s} \\& \qquad {}+ \vert \eta \vert \Biggl[{\sum_{j=1}^{m}} \vert \alpha _{j} \vert \frac{1}{\Gamma (q)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{q-1}} \bigl\vert g\bigl(s,x_{1}(s),y_{1}(s) \bigr)-g\bigl(s,x_{2}(s),y_{2}(s)\bigr) \bigr\vert \frac{ds}{s} \\& \qquad {}+\sum_{j=1}^{m} \vert \alpha _{j} \vert \sum_{j=1}^{m} \vert \beta _{j} \vert \frac{1}{\Gamma (p)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{p-1}} \bigl\vert f\bigl(s,x_{1}(s),y_{1}(s) \bigr)-f\bigl(s,x_{2}(s),y_{2}(s)\bigr) \bigr\vert \frac{ds}{s} \Biggr] \\& \quad \leq L_{1}\bigl( \Vert x_{1}-x_{2} \Vert + \Vert y_{1}-y_{2} \Vert \bigr) \\& \qquad {}\times \frac{1}{\Gamma (p)} \Biggl[ \int _{1}^{t}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{ds}{s}+ \vert \eta \vert \sum _{j=1}^{m} \vert \alpha _{j} \vert \sum _{j=1}^{m} \vert \beta _{j} \vert \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{ds}{s} \Biggr] \\& \qquad {}+L_{2}\bigl( \Vert x_{1}-x_{2} \Vert + \Vert y_{1}-y_{2} \Vert \bigr) \frac{1}{\Gamma (q)} \Biggl[ \vert \eta \vert {\sum_{j=1}^{m}} \vert \alpha _{j} \vert \int _{1}^{t_{j}}{ \biggl( \log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{ds}{s} \Biggr] \\& \quad \leq L_{1}\bigl( \Vert x_{1}-x_{2} \Vert + \Vert y_{1}-y_{2} \Vert \bigr) \frac{1}{\Gamma (p+1)} \Biggl[(\log T)^{p}+ \vert \eta \vert (\log T)^{p}\sum _{j=1}^{m} \vert \alpha _{j} \vert \sum_{j=1}^{m} \vert \beta _{j} \vert \Biggr] \\& \qquad {}+L_{2}\bigl( \Vert x_{1}-x_{2} \Vert + \Vert y_{1}-y_{2} \Vert \bigr) \frac{1}{\Gamma (q+1)} \Biggl[ \vert \eta \vert (\log T)^{q}\sum _{j=1}^{m} \vert \alpha _{j} \vert \Biggr] \\& \quad \leq [L_{1}m_{1}+L_{2}m_{2} ] \bigl( \Vert x_{1}-x_{2} \Vert + \Vert y_{1}-y_{2} \Vert \bigr). \end{aligned}$$

Similarly, we find that

$$\begin{aligned} \bigl\Vert \mathcal{F}_{2}(x_{1},y_{1})- \mathcal{F}_{2}(x_{2},y_{2}) \bigr\Vert \leq [L_{1}n_{1}+L_{2}n_{2} ]\bigl( \Vert x_{1}-x_{2} \Vert + \Vert y_{1}-y_{2} \Vert \bigr). \end{aligned}$$

Consequently, we get

$$\begin{aligned} \bigl\Vert \mathcal{F}(x_{1},y_{1})-\mathcal{F}(x_{2},y_{2}) \bigr\Vert \leq \Lambda \bigl( \Vert x_{1}-x_{2} \Vert + \Vert y_{1}-y_{2} \Vert \bigr), \end{aligned}$$

which, by condition (24), implies that the operator \(\mathcal{F}\) is a contraction. Hence the conclusion of Banach fixed point theorem applies, and consequently there exists a unique solution for the problem (2)–(3). The proof is complete. □

In the following result, we make use of the Leray–Schauder nonlinear alternative.

Theorem 3

Assume that


\(f, g:[1,T]\times \mathbb{R}^{2} \rightarrow \mathbb{R} \) are jointly continuous functions;


There exist functions \(k_{1}, k_{2}\in L^{1}([1,T],\mathbb{R}^{+})\) and nondecreasing functions \(\Omega _{1}, \Omega _{2}, \Phi _{1}, \Phi _{2}: \mathbb{R}^{+} \rightarrow \mathbb{R}^{+} \) such that \(|f(t,x,y)|\leq k_{1}(t)[\Omega _{1}(\|x\|)+\Phi _{1}(\|y\|)] \), \(|g(t,x,y)| \leq k_{2}(t)[\Omega _{2}(\|x\|)+\Phi _{2}(\|y\|)] \), for all \((t,x,y)\in [1,T]\times \mathbb{R}^{2}\).


There exists a constant \(S> 0\) such that

$$ \frac{S}{(l_{1}+l_{4})[\Omega _{1}(S)+\Phi _{1}(S)]+(l_{2}+l_{3})[\Omega _{2}(S)+\Phi _{2}(S)]}>1, $$

where \(h_{i}\), \(i=1,2,3,4\) are defined by (11).

Then problem (2)(3) has at least one solution on \([1,T]\).


We show the boundedness of the set of all solutions to equations \((x,y)=\lambda \mathcal{F} (x,y)\) for \(\lambda \in [0, 1]\). For that, let \((x,y)\) be a solution of \((x,y)=\lambda \mathcal{F} (x,y)\) for \(\lambda \in [0, 1]\). Then, for \(t\in [1, T]\), we have

$$\begin{aligned} \bigl\vert x(t) \bigr\vert =& \bigl\vert \lambda \mathcal{F}_{1}(x,y) (t) \bigr\vert \\ =& \lambda \Biggl\vert \frac{1}{\Gamma (p)} \int _{1}^{t}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds \\ &{}-\eta \Biggl[{\sum_{j=1}^{m}}\alpha _{j} \frac{1}{\Gamma (q)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{g(s,x(s),y(s))}{s} \,ds \\ &{}-\sum_{j=1}^{m}\alpha _{j} \sum_{j=1}^{m}\beta _{j} \frac{1}{\Gamma (p)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{f(s,x(s),y(s))}{s} \,ds \Biggr] \Biggr\vert \\ \leq & \frac{1}{\Gamma (p)} \int _{1}^{T}{ \biggl(\log \frac{t}{s} \biggr)^{p-1}} \frac{k_{1}(s)[\Omega _{1}( \Vert x \Vert )+\Phi _{1}( \Vert y \Vert )]}{s} \,ds \\ &{}+ \vert \eta \vert \Biggl[{\sum_{j=1}^{m}} \vert \alpha _{j} \vert \frac{1}{\Gamma (q)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{q-1}} \frac{k_{2}(s)[\Omega _{2}( \Vert x \Vert )+\Phi _{2}( \Vert y \Vert )]}{s} \,ds \\ &{}+\sum_{j=1}^{m} \vert \alpha _{j} \vert \sum_{j=1}^{m} \vert \beta _{j} \vert \frac{1}{\Gamma (p)} \int _{1}^{t_{j}}{ \biggl(\log \frac{t_{j}}{s} \biggr)^{p-1}} \frac{k_{1}(s)[\Omega _{1}( \Vert x \Vert )+\Phi _{1}( \Vert y \Vert )]}{s} \,ds \Biggr] \\ \leq & B \bigl[\Omega _{1}\bigl( \Vert x \Vert \bigr)+\Phi _{1}\bigl( \Vert y \Vert \bigr)\bigr] \frac{1}{\Gamma (p)} \int _{1}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{p-1}} \frac{k_{1}(s)}{s} \,ds \\ &{}+ C \bigl[\Omega _{2}\bigl( \Vert x \Vert \bigr)+\Phi _{2}\bigl( \Vert y \Vert \bigr)\bigr] \frac{1}{\Gamma (q)} \int _{1}^{T}{ \biggl(\log \frac{T}{s} \biggr)^{q-1}} \frac{k_{2}(s)}{s} \,ds \\ \leq & l_{1} \bigl[\Omega _{1}\bigl( \Vert x \Vert \bigr)+\Phi _{1}\bigl( \Vert y \Vert \bigr)\bigr]+ l_{2} \bigl[\Omega _{2}\bigl( \Vert x \Vert \bigr)+\Phi _{2} \bigl( \Vert y \Vert \bigr)\bigr]. \end{aligned}$$

Similarly, we have

$$ \bigl\vert y(t) \bigr\vert \le l_{3} \bigl[\Omega _{2} \bigl( \Vert x \Vert \bigr)+\Phi _{2}\bigl( \Vert y \Vert \bigr) \bigr]+ l_{4} \bigl[ \Omega _{1}\bigl( \Vert x \Vert \bigr)+\Phi _{1}\bigl( \Vert y \Vert \bigr)\bigr]. $$

For each \(t\in [1,T]\), we obtain

$$ \Vert x \Vert \leq l_{1} \bigl[\Omega _{1}\bigl( \Vert x \Vert \bigr)+\Phi _{1}\bigl( \Vert y \Vert \bigr)\bigr]+ l_{2} \bigl[ \Omega _{2}\bigl( \Vert x \Vert \bigr)+\Phi _{2}\bigl( \Vert y \Vert \bigr)\bigr] $$


$$ \Vert y \Vert \leq l_{3} \bigl[\Omega _{2}\bigl( \Vert x \Vert \bigr)+\Phi _{2}\bigl( \Vert y \Vert \bigr)\bigr]+ l_{4} \bigl[ \Omega _{1}\bigl( \Vert x \Vert \bigr)+\Phi _{1}\bigl( \Vert y \Vert \bigr)\bigr]. $$

Hence we obtain

$$\begin{aligned} \bigl\Vert (x,y) \bigr\Vert =& \Vert x \Vert + \Vert y \Vert \\ \leq & (l_{1}+l_{4})\bigl[\Omega _{1}\bigl( \Vert x \Vert \bigr)+\Phi _{1}\bigl( \Vert y \Vert \bigr)\bigr] + (l_{2}+l_{3})\bigl[ \Omega _{2}\bigl( \Vert x \Vert \bigr)+\Phi _{2}\bigl( \Vert y \Vert \bigr)\bigr], \end{aligned}$$

which implies that

$$ \frac{ \Vert (x,y) \Vert }{(l_{1}+l_{4})[\Omega _{1}( \Vert x \Vert )+\Phi _{1}( \Vert y \Vert )]+(l_{2}+l_{3})[\Omega _{2}( \Vert x \Vert )+\Phi _{2}( \Vert y \Vert )]} \leq 1. $$

In view of \((O_{3})\), there exists S such that \((x,y)\neq S\). Let us set

$$ U=\bigl\{ (x,y)\in X\times Y: \bigl\Vert (x,y) \bigr\Vert < S\bigr\} . $$

As in the proof (last step) of Theorem 1, it can be shown that the operator \(\mathcal{F}: U \rightarrow X\) is continuous and completely continuous. From the choice of U, there is no \((x,y)\in \partial U\) such that \((x,y) = \lambda \mathcal{F}(x,y)\) for some \(\lambda \in (0,1)\). Consequently, by the nonlinear alternative of Leray–Schauder, we deduce that \(\mathcal{F}\) has a fixed point \((x,y)\in U\), which is a solution of the problem (2)–(3). This completes the proof. □

Example 1

Consider the following Hadamard-type nonlocal problem:

$$ \textstyle\begin{cases} {}^{H}D^{3/14}x(t)=f(t,x(t),y(t)), & 1< t< e, \\ {}^{H}D^{3/17}y(t)=g(t,x(t),y(t)), \end{cases} $$

subject to the initial conditions:

$$ \textstyle\begin{cases} x(1)+\sum_{j=1}^{4}\alpha _{j} y(t_{j})=0, \\ y(1)+\sum_{j=1}^{4}\beta _{j} x(t_{j})=0. \end{cases} $$

Here, \(p=3/14\), \(q =3/17\), \(T=e\), \(\alpha _{1}=1/3 \), \(\alpha _{2}=1/9 \), \(\alpha _{3}=1/27 \), \(\alpha _{4}=1/81 \), \(\beta _{1}=2/3 \), \(\beta _{2}=4/9 \), \(\beta _{3}=8/27 \), \(\beta _{4}=16/81 \), \(t_{1}=5/4 \), \(t_{2}=3/2 \), \(t_{3}=7/4 \), and \(t_{4}=2 \). With the given data, the values of B, C, D, \(m_{1}\), \(m_{2}\), \(n_{1}\), and \(n_{2}\) defined by (11) are found to be \(\eta =6561/4691\), \(B=6561/4691\), \(C=3240/4691\), \(D=10530/4691\), \(m_{1} \approx 1.529394 \), \(m_{2}\approx 0.746878 \), \(n_{1}\approx 1.512428 \), and \(n_{2}\approx 2.454584\). In order to illustrate Theorem 2, we take

$$\begin{aligned}& f\bigl(t,x(t),y(t)\bigr)=\frac{1}{19\sqrt{168+t^{4}}} \biggl( \frac{ \vert x(t) \vert }{1+ \vert x(t) \vert }+\tan ^{-1}y(t) \biggr)+\cos 2t, \\& g\bigl(t,x(t),y(t)\bigr)=\frac{1}{7\sqrt{323+t^{2}}}\bigl(x(t)+\tan ^{-1}x(t) \bigr)+ \frac{1}{\sqrt{676}+99+t^{2}} \biggl(\frac{ \vert y(t) \vert }{1+ \vert y(t) \vert }+\sin 2t \biggr). \end{aligned}$$

Clearly, \(L_{1} = 1/247\) as \(\vert f(t,x_{1},y_{1})-f(t,x_{2},y_{2}) \vert \leqslant \frac{1}{247}(|x_{1}-y_{1}|+|y_{1}-y_{2}|)\) and \(L_{2} = 1/126\) as \(\vert g(t,x_{1},y_{1})-g(t,x_{2},y_{2}) \vert \leqslant \frac{1}{126}(|x_{1}-y_{1}|+|y_{1}-y_{2}|)\). Using the given data, we have \(\Lambda \approx 0.037723<1\). Obviously, the hypotheses of Theorem 2 are satisfied. Hence, by the conclusion of Theorem 2, there is a unique solution for the problem (25)–(26) on \([1,e]\).


We have investigated the existence of solutions for a coupled system of Hadamard fractional differential equations with nonlocal coupled initial-multipoint conditions. The existence result is based on the idea of splitting the growth conditions into two subintervals, respectively containing the points involved in the nonlocal condition, and the rest of the interval. We apply Leray–Schauder alternative to prove this result. On the other hand, the uniqueness of solutions for the given problem is established by means of the contraction mapping principle. Our results are new and contribute to the existing literature on nonlocal nonlinear Hadamard-type boundary value problems.

Availability of data and materials

Not applicable.


  1. 1.

    Hilb, E.: Zur Theorie der Entwicklungen willkurlicher Funktionen nach Eigenfunktionen. Math. Z. 58, 1–9 (1918)

    MathSciNet  MATH  Google Scholar 

  2. 2.

    Bitsadze, A.V., Samarskii, A.A.: Some elementary generalizations of linear elliptic boundary value problems. Sov. Math. Dokl. 10, 398–400 (1969)

    MATH  Google Scholar 

  3. 3.

    Balachandran, K., Uchiyama, K.: Existence of solutions of nonlinear integrodifferential equations of Sobolev type with nonlocal conditions in Banach spaces. Proc. Indian Acad. Sci. Math. Sci. 110, 225–232 (2000)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Byszewski, L.: Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem. J. Math. Anal. Appl. 162, 494–505 (1991)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

    Google Scholar 

  6. 6.

    Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)

    Google Scholar 

  7. 7.

    Sabatier, J., Agrawal, O.P., Machado, J.A.T. (eds.): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering Springer, Dordrecht (2007)

    Google Scholar 

  8. 8.

    Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives, Theory and Applications. Gordon & Breach, Yverdon (1993)

    Google Scholar 

  9. 9.

    Lakshmikantham, V., Leela, S., Vasundhara Devi, J.: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers, Cambridge (2009)

    Google Scholar 

  10. 10.

    Ahmad, B., Alsaedi, A., Ntouyas, S.K., Tariboon, J.: Hadamard-Type Fractional Differential Equations, Inclusions and Inequalities. Springer, Berlin (2017)

    Google Scholar 

  11. 11.

    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)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Garra, R., Orsingher, E., Polito, F.: A note on Hadamard fractional differential equations with varying coefficients and their applications in probability. Mathematics 6, 4 (2018)

    Article  Google Scholar 

  13. 13.

    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, 30–42 (2016)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Aljoudi, S., Ahmad, B., Nieto, J.J., Alsaedi, A.: A coupled system of Hadamard type sequential fractional differential equations with coupled strip conditions. Chaos Solitons Fractals 91, 39–46 (2016)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Tariboon, J., Ntouyas, S.K., Asawasamrit, S., Promsakon, C.: Positive solutions for Hadamard differential systems with fractional integral conditions on an unbounded domain. Open Math. 15, 645–666 (2017)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Aljoudi, S., Ahmad, B., Nieto, J.J., Alsaedi, A.: On coupled Hadamard type sequential fractional differential equations with variable coefficients and nonlocal integral boundary conditions. Filomat 31, 6041–6049 (2017)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Zhai, C., Wang, W., Li, H.: A uniqueness method to a new Hadamard fractional differential system with four-point boundary conditions. J. Inequal. Appl. 2018, Paper No. 207, 16 pp. (2018)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Du, X., Meng, Y., Pang, H.: Iterative positive solutions to a coupled Hadamard-type fractional differential system on infinite domain with the multistrip and multipoint mixed boundary conditions. J. Funct. Spaces 2020, Article ID 6508075 (2020)

    MathSciNet  MATH  Google Scholar 

  19. 19.

    Ma, L.: On the kinetics of Hadamard-type fractional differential systems. Fract. Calc. Appl. Anal. 23, 553–570 (2020)

    MathSciNet  Article  Google Scholar 

  20. 20.

    Ahmad, B., Ntouyas, S.K.: Nonlocal initial value problems for Hadamard-type fractional differential equations and inclusions. Rocky Mt. J. Math. 48, 1043–1068 (2018)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Boucherif, A., Precup, R.: On the nonlocal initial value problem for first order differential equations. Fixed Point Theory 4(2), 205–212 (2003)

    MathSciNet  MATH  Google Scholar 

  22. 22.

    Anderson, D., Boucherif, A.: Nonlocal initial value problem for first-order dynamic equations on time scales. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 16, 222–226 (2009)

    MathSciNet  MATH  Google Scholar 

  23. 23.

    Boucherif, A., Ntouyas, S.K.: Nonlocal initial value problems for first order fractional differential equations. Dyn. Syst. Appl. 20, 247–260 (2011)

    MathSciNet  MATH  Google Scholar 

  24. 24.

    Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003)

    Google Scholar 

Download references


This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia under grant no. (KEP-MSc-45-130-38). The authors, therefore, acknowledge with thanks DSR technical and financial support.


This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia under grant no. (KEP-MSc-45-130-38).

Author information




Each of the authors, BA, SKN, AA, and AFA, contributed equally to each part of this work. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Bashir Ahmad.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information


Not applicable.

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Ahmad, B., Ntouyas, S.K., Alsaedi, A. et al. A study of a coupled system of Hadamard fractional differential equations with nonlocal coupled initial-multipoint conditions. Adv Differ Equ 2021, 33 (2021).

Download citation


  • 34A08
  • 34A12
  • 34B15


  • Hadamard fractional integral
  • Hadamard fractional derivative
  • Nonlocal conditions
  • Existence
  • Fixed point theorems