Skip to main content

Advertisement

Existence and uniqueness of solutions for system of Hilfer–Hadamard sequential fractional differential equations with two point boundary conditions

  • 142 Accesses

Abstract

In this paper, we study existence and uniqueness of solutions for a system of Hilfer–Hadamard sequential fractional differential equations via standard fixed point theorems. The existence is proved by using the Leray–Schauder alternative, while the existence and uniqueness by the Banach contraction mapping principle. Illustrative examples are also discussed.

Introduction

Fractional differential equations have been applied in many fields such as physics, chemistry, biology, engineering, and so on. Fractional differential equations have several kinds of fractional derivatives, such as Riemann–Liouville fractional derivative, Caputo fractional derivative, Grunwald–Letnikov fractional derivative, Hadamard fractional derivative, etc. The reader interested in the subject of fractional calculus is referred to the books by Kilbas et al. [1], Podlubny [2], Samko et al. [3], Miller and Ross [4], and Diethelm [5]. A generalization of derivatives of both Riemann–Liouville and Caputo was given by Hilfer in [6] when he studied fractional time evolution in physical phenomena. He named it generalized fractional derivative of order \(\alpha\in(0, 1)\)and type \(\beta \in[0, 1]\) which can be reduced to the Riemann–Liouville and Caputo fractional derivatives when \(\beta=0\) and \(\beta=1\), respectively. Many authors call it the Hilfer fractional derivative. Such derivative interpolates between the Riemann–Liouville and Caputo derivatives. For other current definitions of fractional derivatives, see [711].

Fractional-order boundary value problems have been extensively studied by many researchers. In particular, coupled systems of fractional-order differential equations have attracted special attention in view of their occurrence in the mathematical modeling of physical phenomena like chaos synchronization [12], anomalous diffusion [13], ecological effects [14], disease models [15], etc. Additionally, fixed point theory can be used to develop the existence theory for the coupled systems of fractional differential equations. For some recent theoretical results on coupled systems of fractional-order differential equations, for example, see [1630].

Alsaedi et al. [23] studied the existence of solutions for a Riemann–Liouville coupled system of nonlinear fractional integro-differential equations given by

$$\begin{aligned} \textstyle\begin{cases} D^{\alpha}u(t)= f(t, u(t), v(t), (\phi_{1}u)(t), (\psi_{1}v)(t)),\quad t \in[0,T], \\ D^{\beta}v(t)= g(t, u(t), v(t), (\phi_{2}u)(t), (\psi_{2}v)(t)),\quad 1< \alpha, \beta\leq2, \end{cases}\displaystyle \end{aligned}$$

subject to the coupled Riemann–Liouville integro-differential boundary conditions

$$\begin{aligned} \textstyle\begin{cases} D^{\alpha-2}u(0^{+})=0,\quad\quad D^{\alpha-1}u(0^{+})=\nu I^{\alpha-1}v(\eta ),\quad 0< \eta< T,\\ D^{\beta-2}v(0^{+})=0,\quad\quad D^{\beta-1}v(0^{+})=\mu I^{\beta-1}u(\sigma ),\quad 0< \sigma< T, \end{cases}\displaystyle \end{aligned}$$

where \({D}^{(\cdot)}\), \({I}^{(\cdot)}\) denote the Riemann–Liouville derivatives and integral of fractional order \((\cdot)\), respectively, \(f, g:[0, T]\times\mathbb{R}^{4}\to\mathbb{R}\) are given continuous functions, ν, μ are real constants, and

$$\begin{aligned}& (\phi_{1}u) (t)= \int_{0}^{t}\gamma_{1}(t, s)u(s)\,ds,\qquad ( \phi _{2}u) (t)= \int_{0}^{t}\gamma_{2}(t, s)u(s)\,ds, \\& (\psi_{1}v) (t)= \int_{0}^{t}\delta_{1}(t, s)v(s)\,ds,\qquad ( \psi _{2}v) (t)= \int_{0}^{t}\delta_{2}(t, s)v(s)\,ds, \end{aligned}$$

with \(\gamma_{i}\) and \(\delta_{i}\) (\(i=1,2\)) are continuous functions on \([0, T]\times[0, T]\).

Alsulami et al. [24] studied a new system of coupled Caputo type fractional differential equations

$$ \textstyle\begin{cases} {}^{c}D^{\alpha}u(t)=f(t,u(t),v(t)),\quad t \in[0,T], 1 < \alpha\leq2,\\ {}^{c}D^{\beta}v(t)=g(t,u(t),v(t)),\quad t \in[0,T], 1 < \beta\leq2, \end{cases} $$

subject to the following non-separated coupled boundary conditions:

$$ \textstyle\begin{cases} u(0)=\lambda_{1}v(T),\qquad u'(0)=\lambda_{2}v'(T), \\ v(0)=\mu_{1}u(T),\qquad v'(0)=\mu_{2}u'(T), \end{cases} $$

where \({}^{c}D^{\alpha}\), \({}^{c}D^{\beta}\) denote the Caputo fractional derivatives of order α and β, respectively, \(f, g: [0, T] \times\mathbb{R}\times\mathbb{R}\to\mathbb{R}\) are appropriately chosen functions and \(\lambda_{i}\), \(\mu_{i}\), \(i=1, 2\), are real constants with \(\lambda_{i}\mu_{i}\neq1\), \(i=1, 2\).

Ahmad et al. [25] studied the existence and uniqueness of solutions for the following boundary value problem of nonlinear Caputo sequential fractional differential equations:

$$ \textstyle\begin{cases} ({}^{c}D^{\alpha}+k_{1} {}^{c}D^{\alpha-1})u(t)=f(t,u(t),v(t)),\quad 1 < \alpha\leq2, t \in(0,T), \\ ({}^{c}D^{\beta}+k_{2} {}^{c}D^{\beta-1})v(t)=g(t,u(t),v(t)),\quad 1 < \beta\leq2, t \in(0,T), \end{cases} $$

supplemented with coupled boundary conditions

$$ \textstyle\begin{cases} u(0)=a_{1}v(T),\qquad u'(0)=a_{2}v'(T), \\ v(0)=b_{1}u(T),\qquad v'(0)=b_{2}u'(T), \end{cases} $$

where \({}^{c}{D}^{\alpha}\), \({}^{c}{D}^{\beta}\) denote the Caputo fractional derivatives of order α and β, respectively, \(k_{1},k_{2}\in\mathbb{R_{+}}\), \(T>0\), \(f,g:[0,T]\times\mathbb {R}\times\mathbb{R}\to\mathbb{R}\) are given continuous functions, and \(a_{1}\), \(a_{2}\), \(b_{1}\), and \(b_{2}\) are real constants with \(a_{1}b_{1}\neq1\) and \(a_{2}b_{2}e^{-(k_{1}T+k_{2}T)}\neq1\).

Aljoudi et al. [29] studied a coupled system of Hadamard type sequential fractional differential equations with coupled strip conditions given by

$$ \textstyle\begin{cases} (D^{q}+kD^{q-1})u(t)=f(t,u(t),v(t),D^{\alpha}v(t)),\quad k>0, 1 < q \leq2, 0< \alpha< 1, \\ (D^{p}+kD^{p-1})v(t)=g(t,u(t),v(t),D^{\delta}u(t)),\quad 1 < p \leq2, 0< \delta< 1, \\ u(1)=0,\qquad u(e)=I^{\gamma}v(\eta)=\frac{1}{\varGamma(\gamma)}\int _{1}^{\eta}(\log\frac{\eta}{s})^{\gamma-1}\frac{v(s)}{s}\,ds,\quad \gamma>0, 1< \eta< e, \\ v(1)=0,\qquad v(e)=I^{\beta}v(\zeta)=\frac{1}{\varGamma(\beta)}\int _{1}^{\zeta}(\log\frac{\zeta}{s})^{\beta-1}\frac{u(s)}{s}\,ds,\quad \beta>0, 1< \zeta< e, \end{cases} $$

where \({D}^{(\cdot)}\) and \({I}^{(\cdot)}\) denote the Hadamard fractional derivative and the Hadamard fractional integral, respectively, and \(f, g:[1,e]\times\mathbb{R}^{3}\to\mathbb{R}\) are given continuous functions.

Motivated by the research going on in this direction, in this paper, we study existence and uniqueness of solutions for a new class of systems of Hilfer–Hadamard sequential fractional differential equations

$$ \textstyle\begin{cases} ({}_{H}D^{\alpha_{1},\beta_{1}}_{1^{+}}+k_{1} {}_{H}D^{\alpha _{1}-1,\beta_{1}}_{1^{+}})u(t)=f(t,u(t),v(t)),\quad 1 < \alpha_{1} \leq2, t \in[1,e], \\ ({}_{H}D^{\alpha_{2},\beta_{2}}_{1^{+}}+k_{2} {}_{H}D^{\alpha _{2}-1,\beta_{2}}_{1^{+}})v(t)=g(t,u(t),v(t)),\quad 1 < \alpha_{2} \leq2, t \in[1,e], \end{cases} $$
(1)

with two-point boundary conditions

$$ \textstyle\begin{cases} u(1)=0,\qquad u(e)=A_{1}, \\ v(1)=0,\qquad v(e)=A_{2}, \end{cases} $$
(2)

where \({}_{H}D^{\alpha_{i},\beta_{i}}\) is the Hilfer–Hadamard fractional derivative of order \(\alpha_{i}\in(1,2]\) and type \(\beta _{i} \in[0,1]\) for \(i\in\{1,2\}\), \(k_{1},k_{2},A_{1},A_{2}\in\mathbb {R_{+}}\) and \(f,g:[1,e]\times\mathbb{R}\times\mathbb{R}\to\mathbb {R}\) are given continuous functions.

To the best of our knowledge, this is the first paper dealing with a system containing Hilfer–Hadamard fractional derivative of order \(\alpha_{i}\in(1,2]\), \(i=1,2\). For some recent results on coupled systems of Hilfer–Hadamard fractional derivatives of order \(\alpha_{i}\in(0,1]\), \(i=1,2\), we refer to [31, 32], and the references cited therein.

The paper is organized as follows. In Sect. 2, we present some preliminary concepts of fractional calculus. Section 3 contains the main results. The first result, Theorem 3.2, is proved by using the Leray–Schauder alternative and the second result of existence and uniqueness, Theorem 3.3, by the Banach contraction mapping principle. Finally, Sect. 4 provides some examples for the illustration of the main results. We emphasize that our results are new and contribute significantly to the topic addressed in this paper.

Preliminaries

In this section, some basic definitions, lemmas, and theorems are mentioned.

Definition 2.1

(Hadamard fractional integral [1])

The Hadamard fractional integral of order \(\alpha\in\mathbb{R_{++}}\) for a function \(f:[a,\infty)\rightarrow\mathbb{R}\) is defined as follows:

$$ {{}_{H}{I}^{\alpha}_{a^{+}}}f(t)= \frac{1}{\varGamma(\alpha)} \int _{a}^{t} \biggl(\log\frac{t}{\tau} \biggr)^{\alpha-1}\frac{f(\tau )}{\tau}\,d\tau\quad(t>a) $$
(3)

provided the integral exists, where \(\log(\cdot)=\log_{e}(\cdot)\).

Definition 2.2

(Hadamard fractional derivative [1])

The Hadamard fractional derivative of order \(\alpha>0\), applied to the function \(f:[a,\infty)\rightarrow\mathbb{R}\), is defined as follows:

$$ {{}_{H}{D}^{\alpha}_{a^{+}}}f(t)= \delta^{n}\bigl({}_{H}I^{n-\alpha }_{a^{+}}f(t) \bigr),\quad n-1< \alpha< n, n=[\alpha]+1, $$
(4)

where \(\delta^{n}=(t\frac{d}{dt})^{n}\) and \([\alpha]\) denotes the integer part of the real number α.

Definition 2.3

(Hilfer–Hadamard fractional derivative [6, 33])

Let \(0<\alpha<1\) and \(0\leq \beta\leq1\), \(f\in L^{1}(a,b)\). The Hilfer–Hadamard fractional derivative of order α and type β of f is defined as follows:

$$\begin{aligned} \bigl({}_{H}D^{\alpha,\beta}_{a^{+}}f\bigr) (t)&= \bigl({}_{H}I^{\beta(1-\alpha )}_{a^{+}}\delta{}_{H}I^{(1-\alpha)(1-\beta)}_{a^{+}}f \bigr) (t) \\ &=\bigl({}_{H}I^{\beta(1-\alpha)}_{a^{+}}\delta{}_{H}I^{1-\gamma }_{a^{+}}f \bigr) (t);\quad \gamma=\alpha+\beta-\alpha\beta \\ &=\bigl({}_{H}I^{\beta(1-\alpha)}_{a^{+}} {}_{H}D^{\gamma}_{a^{+}}f \bigr) (t), \end{aligned}$$

where \({}_{H}I^{(\cdot)}_{a^{+}}\) and \({}_{H}D^{(\cdot)}_{a^{+}}\) are the Hadamard fractional integral and derivative defined by (3) and (4), respectively.

The Hilfer–Hadamard fractional derivative may be viewed as interpolating the Hadamard fractional derivative. Indeed, for \(\beta =0\), this derivative reduces to the Hadamard fractional derivative.

Definition 2.4

(Hilfer–Hadamard fractional derivative [34])

Let \(n-1<\alpha<n\) and \(0\leq\beta\leq1\), \(f\in L^{1}(a,b)\). The Hilfer–Hadamard fractional derivative of order α and type β of f is defined as follows:

$$\begin{aligned} \bigl({}_{H}D^{\alpha,\beta}_{a^{+}}f\bigr) (t)&= \bigl({}_{H}I^{\beta(n-\alpha )}_{a^{+}}\delta^{n} {}_{H}I^{(n-\alpha)(1-\beta)}_{a^{+}}f\bigr) (t) \\ &=\bigl({}_{H}I^{\beta(n-\alpha)}_{a^{+}}\delta^{n} {}_{H}I^{n-\gamma }_{a^{+}}f\bigr) (t); \quad\gamma=\alpha+n \beta-\alpha\beta \\ &=\bigl({}_{H}I^{\beta(n-\alpha)}_{a^{+}} {}_{H}D^{\gamma}_{a^{+}}f \bigr) (t), \end{aligned}$$

where \({}_{H}I^{(\cdot)}_{a^{+}}\) and \({}_{H}D^{(\cdot)}_{a^{+}}\) are the Hadamard fractional integral and derivative defined by (3) and (4), respectively.

We recommend some lemmas and theorems of the Hadamard fractional integral and derivative by Kilbas et al. [1].

Theorem 2.5

([1, 35])

Let \(\alpha>0\), \(n=[\alpha]+1\), and \(0< a< b<\infty\). If \(f\in L^{1}(a,b)\)and \(({}_{H}I^{n-\alpha}_{a+}f)(t)\in \mathit{AC}^{n}_{\delta }[a,b]\), then

$$\begin{aligned} \bigl({}_{H}I^{\alpha}_{a+} {}_{H}D^{\alpha}_{a+}f \bigr) (t)=f(t)-\sum_{j=0}^{n-1} \frac{(\delta^{(n-j-1)}({}_{H}I^{n-\alpha }_{a+}f))(a)}{\varGamma(\alpha-j)} \biggl(\log\frac{t}{a} \biggr)^{\alpha-j-1}, \end{aligned}$$

where \(f(t)\in \mathit{AC}_{\delta}^{n}=\{f: [a,b]\to{\mathbb {R}}: \delta ^{(n-1)}f(t)\in \mathit{AC}[a,b], \delta=t\frac{d}{dt}\}\).

Theorem 2.6

([33])

Let \(\alpha>0\), \(0\leq\beta\leq1\), \(\gamma=\alpha+n\beta-\alpha \beta\), \(n-1<\gamma\leq n\), \(n=[\alpha]+1\), and \(0< a< b<\infty\). If \(f\in L^{1}(a,b)\)and \(({}_{H}I^{n-\gamma}_{a+}f)(t)\in \mathit{AC}^{n}_{\delta }[a,b]\), then

$$\begin{aligned} {}_{H}I^{\alpha}_{a+} \bigl({}_{H}D^{\alpha,\beta}_{a+}f \bigr) (t)= {}_{H}I^{\gamma}_{a+} \bigl({}_{H}D^{\gamma}_{a+}f \bigr) (t)=f(t)-\sum_{j=0}^{n-1} \frac{(\delta^{(n-j-1)}({}_{H}I^{n-\gamma }_{a+}f))(a)}{\varGamma(\gamma-j)} \biggl(\log\frac{t}{a} \biggr)^{\gamma-j-1}. \end{aligned}$$

From this theorem, we notice that if \(\beta=0\) the formulae reduce to the formulae in Theorem 2.5.

We will use the following well-known fixed point theorems on Banach space for proving the existence and uniqueness of Hilfer–Hadamard fractional differential systems.

Theorem 2.7

(Leray–Schauder alternative [36])

Let \(T:E\to E\)be a completely continuous operator (i.e., a continuous mapTrestricted to any bounded set inEis compact). Let \({\varepsilon }(T)=\{x\in E: x=\lambda T(x), 0\leqslant\lambda\leqslant1\}\). Then either the set \({\varepsilon}(T)\)is unbounded orThas at least one fixed point.

Theorem 2.8

(Banach fixed point theorem [37])

LetXbe a Banach space, \(D\subset X\)be closed, and \(F: D\to D\)be a strict contraction, i.e., \(\lVert{Fx-Fy}\rVert\le k\lVert{x-y}\rVert \)for some \(k\in(0,1)\)and all \(x,y\in D\). ThenFhas a fixed point inD.

Existence and uniqueness results

In this section, we prove existence and uniqueness of solutions for a system of Hilfer–Hadamard sequential fractional differential equations with boundary conditions (1) and (2). The following lemma concerns a linear variant of system (1) and (2).

Lemma 3.1

Let \(h_{1}, h_{2}\in C([1,e], {\mathbb {R}})\). Then \(u,v\in C([1,e], {\mathbb {R}})\)are solutions of the system of fractional differential equations

$$ \textstyle\begin{cases} ({}_{H}D^{\alpha_{1},\beta_{1}}_{1^{+}}+k_{1} {}_{H}D^{\alpha _{1}-1,\beta_{1}}_{1^{+}})u(t)=h_{1}(t),\quad 1 < \alpha_{1} \leq2, t \in [1,e], \\ ({}_{H}D^{\alpha_{2},\beta_{2}}_{1^{+}}+k_{2} {}_{H}D^{\alpha _{2}-1,\beta_{2}}_{1^{+}})v(t)=h_{2}(t),\quad 1 < \alpha_{2} \leq2, t \in[1,e], \end{cases} $$
(5)

supplemented with the boundary conditions (2) if and only if

$$\begin{aligned} u(t)={}& A_{1}(\log t)^{\gamma_{1}-1}+k_{1} \biggl[(\log t)^{\gamma _{1}-1} \int_{1}^{e}\frac{u(s)}{s}\,ds- \int_{1}^{t}\frac{u(s)}{s}\, ds \biggr] \\ &+\frac{1}{\varGamma(\alpha_{1})} \biggl[ \int_{1}^{t} \biggl(\log \frac{t}{s} \biggr)^{\alpha_{1}-1}\frac{h_{1}(s)}{s}\,ds-(\log t)^{\gamma_{1}-1} \int_{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha _{1}-1}\frac{h_{1}(s)}{s}\,ds \biggr] \end{aligned}$$
(6)

and

$$\begin{aligned} v(t)={}& A_{2}(\log t)^{\gamma_{2}-1}+k_{2} \biggl[(\log t)^{\gamma _{2}-1} \int_{1}^{e}\frac{v(s)}{s}\,ds- \int_{1}^{t}\frac{v(s)}{s}\, ds \biggr] \\ &+\frac{1}{\varGamma(\alpha_{2})} \biggl[ \int_{1}^{t} \biggl(\log \frac{t}{s} \biggr)^{\alpha_{2}-1}\frac{h_{2}(s)}{s}\,ds-(\log t)^{\gamma_{2}-1} \int_{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha _{2}-1}\frac{h_{2}(s)}{s}\,ds \biggr]. \end{aligned}$$
(7)

Proof

From the first equation of (5), we have

$$\begin{aligned} {}_{H}D^{\alpha_{1},\beta_{1}}_{1^{+}}u(t)+k_{1} {}_{H}D^{\alpha _{1}-1,\beta_{1}}_{1^{+}}u(t)=h_{1}(t). \end{aligned}$$
(8)

Taking the Hadamard fractional integral of order \(\alpha_{1}\) to both sides of (8), we get

$$\begin{aligned} {}_{H}I^{\alpha_{1}}_{1^{+}} {}_{H}D^{\alpha_{1},\beta _{1}}_{1^{+}}u(t)+k_{1} {}_{H}I^{\alpha_{1}}_{1^{+}} {}_{H}D^{\alpha _{1}-1,\beta_{1}}_{1^{+}}u(t)= {}_{H}I^{\alpha_{1}}_{1^{+}}h_{1}(t). \end{aligned}$$

By Theorem 2.6, one has

$$\begin{aligned}& u(t)-\frac{\delta({}_{H}I^{2-\gamma_{1}}_{1^{+}}u)(1)}{\varGamma (\gamma_{1})}(\log t)^{\gamma_{1}-1}-\frac{({}_{H}I^{2-\gamma _{1}}_{1^{+}}u)(1)}{\varGamma(\gamma_{1}-1)}( \log t)^{\gamma _{1}-2}+k_{1} {}_{H}I^{\alpha_{1}}_{1^{+}} {}_{H}D^{\alpha _{1}-1,\beta_{1}}_{1^{+}}u(t) \\& \quad= {}_{H}I^{\alpha_{1}}_{1^{+}}h_{1}(t). \end{aligned}$$
(9)

From equation (9), by Definition 2.4, we get

$$\begin{aligned} u(t)-\frac{\delta({}_{H}I^{2-\gamma_{1}}_{1^{+}}u)(1)}{\varGamma (\gamma_{1})}(\log t)^{\gamma_{1}-1}-\frac{({}_{H}I^{2-\gamma _{1}}_{1^{+}}u)(1)}{\varGamma(\gamma_{1}-1)}( \log t)^{\gamma _{1}-2}+k_{1} {}_{H}I_{1^{+}}u(t)= {}_{H}I^{\alpha_{1}}_{1^{+}}h_{1}(t). \end{aligned}$$
(10)

Equation (10) can be written as follows:

$$\begin{aligned} u(t)={}&c_{0}(\log t)^{\gamma_{1}-1}+c_{1}(\log t)^{\gamma _{1}-2} \\ &-k_{1} \int_{1}^{t}\frac{u(s)}{s}\,ds+ \frac{1}{\varGamma (\alpha_{1})} \int_{1}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha _{1}-1}\frac{h_{1}(s)}{s}\,ds. \end{aligned}$$
(11)

In a similar way, one can obtain

$$\begin{aligned} v(t)={}&d_{0}(\log t)^{\gamma_{2}-1}+d_{1}(\log t)^{\gamma _{2}-2} \\&-k_{2} \int_{1}^{t}\frac{v(s)}{s}\,ds+ \frac{1}{\varGamma (\alpha_{2})} \int_{1}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha _{2}-1}\frac{h_{2}(s)}{s}\,ds, \end{aligned}$$
(12)

where \(c_{0}\), \(c_{1}\), \(d_{0}\), and \(d_{1}\) are arbitrary constants. Now, boundary conditions (2) together with (11), (12) yield

$$\begin{aligned} u(1)&=c_{0}(\log1)^{\gamma_{1}-1}+\frac{c_{1}}{(\log t)^{2-\gamma _{1}}} \\ &\quad-k_{1} \int_{1}^{1}\frac{u(s)}{s}\,ds+ \frac{1}{\varGamma (\alpha_{1})} \int_{1}^{1} \biggl(\log\frac{1}{s} \biggr)^{\alpha _{1}-1}\frac{h_{1}(s)}{s}\,ds \\&=0, \\ v(1)&=d_{0}(\log1)^{\gamma_{2}-1}+\frac{d_{1}}{(\log t)^{2-\gamma _{2}}} \\ &\quad-k_{2} \int_{1}^{1}\frac{v(s)}{s}\,ds+ \frac{1}{\varGamma (\alpha_{2})} \int_{1}^{1} \biggl(\log\frac{1}{s} \biggr)^{\alpha _{2}-1}\frac{h_{2}(s)}{s}\,ds \\&=0, \end{aligned}$$
(13)

from which we have \(c_{1}=0\) and \(d_{1}=0\). Equations (13) can be written as

$$\begin{aligned} u(t)=c_{0}(\log t)^{\gamma_{1}-1}-k_{1} \int_{1}^{t}\frac{u(s)}{s}\, ds+ \frac{1}{\varGamma(\alpha_{1})} \int_{1}^{t} \biggl(\log\frac {t}{s} \biggr)^{\alpha_{1}-1}\frac{h_{1}(s)}{s}\,ds \end{aligned}$$
(14)

and

$$\begin{aligned} v(t)=d_{0}(\log t)^{\gamma_{2}-1}-k_{2} \int_{1}^{t}\frac{v(s)}{s}\, ds+ \frac{1}{\varGamma(\alpha_{2})} \int_{1}^{t} \biggl(\log\frac {t}{s} \biggr)^{\alpha_{2}-1}\frac{h_{2}(s)}{s}\,ds. \end{aligned}$$
(15)

Next, boundary conditions (2) together with (14), (15) yield

$$\begin{aligned}& u(e)=c_{0}(\log e)^{\gamma_{1}-1}-k_{1} \int_{1}^{e}\frac{u(s)}{s}\, ds+ \frac{1}{\varGamma(\alpha_{1})} \int_{1}^{e} \biggl(\log\frac {e}{s} \biggr)^{\alpha_{1}-1}\frac{h_{1}(s)}{s}\,ds=A_{1}, \\& v(e)=d_{0}(\log e)^{\gamma_{2}-1}-k_{2} \int_{1}^{e}\frac{v(s)}{s}\, ds+ \frac{1}{\varGamma(\alpha_{2})} \int_{1}^{e} \biggl(\log\frac {e}{s} \biggr)^{\alpha_{2}-1}\frac{h_{2}(s)}{s}\,ds=A_{2}, \end{aligned}$$

from which we have

$$\begin{aligned}& c_{0}= A_{1}+k_{1} \int_{1}^{e}\frac{u(s)}{s}\,ds- \frac{1}{\varGamma (\alpha_{1})} \int_{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha _{1}-1}\frac{h_{1}(s)}{s}\,ds, \\& d_{0}= A_{2}+k_{2} \int_{1}^{e}\frac{v(s)}{s}\,ds- \frac{1}{\varGamma (\alpha_{2})} \int_{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha _{2}-1}\frac{h_{2}(s)}{s}\,ds. \end{aligned}$$

Substituting the values of \(c_{0}\), \(c_{1}\), \(d_{0}\), and \(d_{1}\) in (11) and (12), we get integral equations (6) and (7). The converse follows by direct computation. This completes the proof. □

Let us introduce the Banach space \(X=C([1,e])\) endowed with the norm defined by \(\lVert u\rVert:={\max_{t \in [ {1,e} ]}} \vert {u ( t )} \vert \). Thus, the product space \(X\times X\) equipped with the norm \(\lVert(u,v)\rVert=\lVert u\rVert +\lVert v\rVert\) is a Banach space. In view of Lemma 3.1, we define an operator \(\mathcal{T}:X\times X\to X\times X\) by

$$\begin{aligned} \mathcal{T}(u,v) (t)=\bigl(\mathcal{T}_{1}(u,v) (t), \mathcal{T}_{2}(u,v) (t)\bigr), \end{aligned}$$
(16)

where

$$\begin{aligned} \mathcal{T}_{1}(u,v) (t)={}& A_{1}(\log t)^{\gamma_{1}-1}+k_{1} \biggl[(\log t)^{\gamma_{1}-1} \int_{1}^{e}\frac{u(s)}{s}\,ds- \int _{1}^{t}\frac{u(s)}{s}\,ds \biggr] \\ &+ \frac{1}{\varGamma(\alpha _{1})} \biggl[ \int_{1}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha _{1}-1}\frac{f(s,u(s),v(s))}{s}\,ds \\ &-(\log t)^{\gamma_{1}-1} \int _{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha_{1}-1}\frac {f(s,u(s),v(s))}{s}\,ds \biggr] \end{aligned}$$
(17)

and

$$\begin{aligned} \mathcal{T}_{2}(u,v) (t)={}& A_{2}(\log t)^{\gamma_{2}-1}+k_{2} \biggl[(\log t)^{\gamma_{2}-1} \int_{1}^{e}\frac{v(s)}{s}\,ds- \int _{1}^{t}\frac{v(s)}{s}\,ds \biggr] \\ &+ \frac{1}{\varGamma(\alpha _{2})} \biggl[ \int_{1}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha _{2}-1}\frac{g(s,u(s),v(s))}{s}\,ds \\ &-(\log t)^{\gamma_{2}-1} \int _{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha_{2}-1}\frac {g(s,u(s),v(s))}{s}\,ds \biggr]. \end{aligned}$$
(18)

We need the following hypotheses in the sequel:

\((H_{1})\):

Assume that there exist real constants \(m_{i}, n_{i}\ge0\) (\(i=1,2\)) and \(m_{0}>0\), \(n_{0}>0\) such that, for all \(t\in [1,e]\), \(x_{i}\in\mathbb{R}\), \(i=1, 2\),

$$\begin{aligned}& \bigl\vert f(t,x_{1},x_{2}) \bigr\vert \leq m_{0}+m_{1} \vert x_{1} \vert +m_{2} \vert x_{2} \vert , \\& \bigl\vert g(t,x_{1},x_{2}) \bigr\vert \leq n_{0}+n_{1} \vert x_{1} \vert +n_{2} \vert x_{2} \vert . \end{aligned}$$
\((H_{2})\):

There exist positive constants L, , such that, for all \(t\in[1,e]\), \(u_{i}, v_{i}\in\mathbb{R}\), \(i=1,2\),

$$\begin{aligned}& \bigl\vert f(t,u_{1},u_{2})-f(t,v_{1},v_{2}) \bigr\vert \leq L\bigl( \vert u_{1}-v_{1} \vert + \vert u_{2}-v_{2} \vert \bigr), \\& \bigl\vert g(t,u_{1},u_{2})-g(t,v_{1},v_{2}) \bigr\vert \leq\bar{L}\bigl( \vert u_{1}-v_{1} \vert + \vert u_{2}-v_{2} \vert \bigr). \end{aligned}$$

Existence result via Leray–Schauder alternative

In the first theorem, we prove an existence result based on the Leray–Schauder alternative.

Theorem 3.2

Assume that \((H_{1})\)holds. In addition it is assumed that \(\max\{ Q_{1},Q_{2}\}<1\), where

$$Q_{1}:=2 \biggl(k_{1}+\frac{m_{1}}{\varGamma(\alpha_{1}+1)}+ \frac {n_{1}}{\varGamma(\alpha_{2}+1)} \biggr),\qquad Q_{2}:=2 \biggl(k_{2}+ \frac {m_{2}}{\varGamma(\alpha_{1}+1)}+\frac{n_{2}}{\varGamma(\alpha_{2}+1)} \biggr). $$

Then system (1)(2) has at least one solution on \([1,e]\).

Proof

We will use the Leray–Schauder alternative to prove that \(\mathcal {T}\), defined by (16), has a fixed point. We divide the proof into two steps.

Step I: We show that the operator \(\mathcal{T}:X\times X\to X\times X\), defined by (16), is completely continuous.

First we show that \(\mathcal{T}\) is continuous. Let \(\{(u_{n},v_{n})\} \) be a sequence such that \((u_{n},v_{n})\to(u,v)\) in \(X\times X\). Then, for each \(t\in[1,e]\), we have

$$\begin{aligned}& \bigl\vert \mathcal{T}_{1}(u_{n},v_{n}) (t)- \mathcal{T}_{1}(u,v) (t) \bigr\vert \\& \quad\leq k_{1} \biggl[ \bigl\vert (\log t)^{\gamma_{1}-1} \bigr\vert \biggl\vert \int_{1}^{e}\frac {(u_{n}(s)-u(s))}{s}\,ds \biggr\vert + \biggl\vert \int_{1}^{t}\frac {(u_{n}(s)-u(s))}{s}\,ds \biggr\vert \biggr] \\& \qquad{}+\frac{1}{\varGamma(\alpha_{1})} \biggl[ \biggl\vert \int_{1}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha_{1}-1}\frac {(f(s,u_{n}(s),v_{n}(s))-f(s,u(s),v(s)))}{s}\,ds \biggr\vert \\& \qquad{}+ \bigl\vert (\log t)^{\gamma_{1}-1} \bigr\vert \biggl\vert \int_{1}^{e} \biggl(\log\frac {e}{s} \biggr)^{\alpha_{1}-1}\frac {(f(s,u_{n}(s),v_{n}(s))-f(s,u(s),v(s)))}{s}\,ds \biggr\vert \biggr] \\& \quad\leq k_{1} \biggl[ \int_{1}^{e}\frac{ \vert u_{n}(s)-u(s) \vert }{s}\,ds+ \int _{1}^{t}\frac{ \vert u_{n}(s)-u(s) \vert }{s}\,ds \biggr] \\& \qquad{}+\frac{1}{\varGamma(\alpha_{1})} \biggl[ \int_{1}^{t} \biggl(\log \frac{t}{s} \biggr)^{\alpha_{1}-1}\frac { \vert f(s,u_{n}(s),v_{n}(s))-f(s,u(s),v(s)) \vert }{s}\,ds \\& \qquad{}+ \int_{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha_{1}-1}\frac { \vert f(s,u_{n}(s),v_{n}(s))-f(s,u(s),v(s)) \vert }{s}\,ds \biggr]. \end{aligned}$$

Since f is continuous, we get

$$\begin{aligned} \bigl\vert f\bigl(s,u_{n}(s),v_{n}(s)\bigr)-f \bigl(s,u(s),v(s)\bigr) \bigr\vert \to0 \quad \text{as }(u_{n},v_{n}) \to(u,v). \end{aligned}$$

Then

$$\begin{aligned} \bigl\lVert \mathcal{T}_{1}(u_{n},v_{n})- \mathcal{T}_{1}(u,v)\bigr\rVert \to0 \quad\text{as } (u_{n},v_{n}) \to(u,v). \end{aligned}$$
(19)

In the same way, we obtain

$$\begin{aligned} \bigl\lVert \mathcal{T}_{2}(u_{n},v_{n})- \mathcal{T}_{2}(u,v)\bigr\rVert \to0 \quad\text{as } (u_{n},v_{n}) \to(u,v). \end{aligned}$$
(20)

It follows from (19) and (20) that \(\lVert\mathcal {T}(u_{n},v_{n})-\mathcal{T}(u,v)\rVert\to0\) as \((u_{n},v_{n})\to(u,v)\). Hence \(\mathcal{T}\) is continuous.

Now we show that \(\mathcal{T}\) is compact. Let \(\varOmega\subset X\times X\) be bounded. Then there exist positive constants \(L_{1}\) and \(L_{2}\) such that \(|f(t,u(t),v(t))|\leq L_{1}\), \(|g(t,u(t),v(t))|\leq L_{2}\), \(\forall (u,v)\in\varOmega\). Let \((u,v)\in\varOmega\). Then there exists M such that \(\lVert(u,v)\rVert=\lVert u\rVert+\lVert v\rVert\leq M\), \(\forall(u,v)\in\varOmega\). We have

$$\begin{aligned}& \bigl\vert \mathcal{T}_{1}(u,v) (t) \bigr\vert \\& \quad\leq A_{1}+k_{1} \biggl[ \int_{1}^{e}\frac{ \vert u(s) \vert }{s}\,ds+ \int _{1}^{t}\frac{ \vert u(s) \vert }{s}\,ds \biggr] \\& \qquad{}+ \frac{1}{\varGamma(\alpha _{1})} \biggl[ \int_{1}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha _{1}-1}\frac{ \vert f(s,u(s),v(s)) \vert }{s}\,ds+ \int_{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha_{1}-1}\frac { \vert f(s,u(s),v(s)) \vert }{s}\,ds \biggr] \\& \quad\leq A_{1}+k_{1} \biggl[ \int_{1}^{e}\frac{\max_{s\in [1,e]} \vert u(s) \vert }{s}\,ds+ \int_{1}^{t}\frac{\max_{s\in[1,e]} \vert u(s) \vert }{s}\, ds \biggr] \\& \qquad{}+ \frac{L_{1}}{\varGamma(\alpha_{1})} \biggl[ \int _{1}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha_{1}-1}\frac{ds}{s}+ \int_{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha_{1}-1}\frac {ds}{s} \biggr] \\& \quad\leq A_{1}+k_{1}\lVert u\rVert\bigl[1+(\log e)\bigr]+ \frac{L_{1}}{\varGamma (\alpha_{1}+1)}\bigl[(\log e)^{\alpha_{1}}+1\bigr], \end{aligned}$$

which, on taking the norm for \(t\in[1,e]\), yields

$$ \bigl\lVert \mathcal{T}_{1}(u_{n},v_{n})\bigr\rVert \leq A_{1}+2 \biggl[k_{1}\lVert u\rVert+ \frac{L_{1}}{\varGamma(\alpha_{1}+1)} \biggr]. $$

In the same way, we obtain

$$\begin{aligned} \bigl\lVert \mathcal{T}_{2}(u_{n},v_{n})\bigr\rVert \leq A_{2}+2 \biggl[k_{2}\lVert v\rVert+ \frac{L_{2}}{\varGamma(\alpha_{2}+1)} \biggr]. \end{aligned}$$

It follows that

$$\begin{aligned} \bigl\lVert \mathcal{T}(u,v)\bigr\rVert &\leq A_{1}+A_{2}+2 \biggl[k_{1}\lVert u\rVert+k_{2}\lVert v\rVert + \frac{L_{1}}{\varGamma(\alpha_{1}+1)}+\frac{L_{2}}{\varGamma (\alpha_{2}+1)} \biggr] \\ &\leq A_{1}+A_{2}+2 \biggl[M(k_{1}+k_{2})+ \frac{L_{1}}{\varGamma (\alpha_{1}+1)}+\frac{L_{2}}{\varGamma(\alpha_{2}+1)} \biggr]. \end{aligned}$$

This mean that there is \(P=A_{1}+A_{2}+2 [M(k_{1}+k_{2})+\frac {L_{1}}{\varGamma(\alpha_{1}+1)}+\frac{L_{2}}{\varGamma(\alpha _{2}+1)} ]\) such that \(\lVert\mathcal{T}(u,v)\rVert\leq P\). Hence \(\mathcal{T}\) is uniformly bounded.

Finally we show that \(\mathcal{T}\) is equicontinuous. Let \(t, t_{0}\in[1,e]\) with \(t_{0}< t\). Then we have

$$\begin{aligned}& \bigl\vert \mathcal{T}_{1}(u,v) (t)- \mathcal{T}_{1}(u,v) (t_{0}) \bigr\vert \\& \quad\leq A_{1}\bigl[(\log t)^{\gamma_{1}-1}-(\log t_{0})^{\gamma _{1}-1} \bigr] \\& \qquad{} +k_{1} \biggl[\bigl((\log t)^{\gamma_{1}-1}-(\log t_{0})^{\gamma _{1}-1}\bigr) \int_{1}^{e}\frac{ \vert u(s) \vert }{s}\,ds+ \int_{t_{0}}^{t}\frac{ \vert u(s) \vert }{s}\,ds \biggr] \\& \qquad{} + \frac{1}{\varGamma (\alpha_{1})} \biggl[ \int_{1}^{t_{0}} \biggl( \biggl(\log\frac {t}{s} \biggr)^{\alpha_{1}-1}- \biggl(\log\frac{t_{0}}{s} \biggr)^{\alpha_{1}-1} \biggr) \frac{ \vert f(s,u(s),v(s)) \vert }{s}\,ds \\& \qquad{}+ \int_{t_{0}}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha _{1}-1}\frac{ \vert f(s,u(s),v(s)) \vert }{s}\,ds \\& \qquad{}+\bigl((\log t)^{\gamma_{1}-1}-(\log t_{0})^{\gamma_{1}-1}\bigr) \int _{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha_{1}-1}\frac { \vert f(s,u(s),v(s)) \vert }{s}\,ds \biggr] \\& \quad\le A_{1}\bigl[(\log t)^{\gamma_{1}-1}-(\log t_{0})^{\gamma _{1}-1} \bigr] \\& \qquad{}+k_{1} \bigl[\lVert u\rVert\bigl((\log t)^{\gamma_{1}-1}-(\log t_{0})^{\gamma_{1}-1}\bigr)+\lVert u\rVert(\log t-\log t_{0}) \bigr] \\& \qquad{} +\frac{L_{1}}{\varGamma(\alpha_{1})} \biggl[ \int_{1}^{t_{0}} \biggl(\log\frac{t}{s} \biggr)^{\alpha_{1}-1}\frac{ds}{s}- \int _{1}^{t_{0}} \biggl(\log\frac{t_{0}}{s} \biggr)^{\alpha_{1}-1}\frac {ds}{s}+ \int_{t_{0}}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha _{1}-1}\frac{ds}{s} \\& \qquad{}+\bigl((\log t)^{\gamma_{1}-1}-(\log t_{0})^{\gamma_{1}-1}\bigr) \int _{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha_{1}-1}\frac {ds}{s} \biggr] \\& \quad\le A_{1}\bigl[(\log t)^{\gamma_{1}-1}-(\log t_{0})^{\gamma _{1}-1} \bigr] \\& \qquad{}+k_{1}M \bigl[\bigl((\log t)^{\gamma_{1}-1}-(\log t_{0})^{\gamma _{1}-1}\bigr)+(\log t-\log t_{0}) \bigr] \\& \qquad{}+\frac{L_{1}}{\varGamma(\alpha_{1}+1)} \bigl[\bigl((\log t)^{\gamma _{1}-1}-(\log t_{0})^{\gamma_{1}-1}\bigr)+\bigl((\log t)^{\alpha_{1}}-(\log t_{0})^{\alpha_{1}}\bigr) \bigr] \end{aligned}$$
(21)

and

$$\begin{aligned}& \bigl\vert \mathcal{T}_{2}(u,v) (t)- \mathcal{T}_{2}(u,v) (t_{0}) \bigr\vert \\& \quad\leq A_{2}\bigl[(\log t)^{\gamma_{2}-1}-(\log t_{0})^{\gamma _{2}-1} \bigr] \\& \qquad{}+k_{2} \biggl[\bigl((\log t)^{\gamma_{2}-1}-(\log t_{0})^{\gamma _{2}-1}\bigr) \int_{1}^{e}\frac{ \vert v(s) \vert }{s}\,ds+ \int_{t_{0}}^{t}\frac{ \vert v(s) \vert }{s}\,ds \biggr] \\& \qquad{}+ \frac{1}{\varGamma (\alpha_{2})} \biggl[ \int_{1}^{t_{0}} \biggl( \biggl(\log\frac {t}{s} \biggr)^{\alpha_{2}-1}- \biggl(\log\frac{t_{0}}{s} \biggr)^{\alpha_{2}-1} \biggr) \frac{ \vert g(s,u(s),v(s)) \vert }{s}\,ds \\& \qquad{}+ \int_{t_{0}}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha _{2}-1}\frac{ \vert g(s,u(s),v(s)) \vert }{s}\,ds \\& \qquad{}+\bigl((\log t)^{\gamma_{2}-1}-(\log t_{0})^{\gamma_{2}-1}\bigr) \int _{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha_{2}-1}\frac { \vert g(s,u(s),v(s)) \vert }{s}\,ds \biggr] \\& \quad\le A_{2}\bigl[(\log t)^{\gamma_{2}-1}-(\log t_{0})^{\gamma _{2}-1} \bigr] \\& \qquad{}+k_{2} \bigl[\lVert v\rVert\bigl((\log t)^{\gamma_{2}-1}-(\log t_{0})^{\gamma_{2}-1}\bigr)+\lVert v\rVert(\log t-\log t_{0}) \bigr] \\& \qquad{}+\frac{L_{2}}{\varGamma(\alpha_{2})} \biggl[ \int_{1}^{t_{0}} \biggl(\log\frac{t}{s} \biggr)^{\alpha_{2}-1}\frac{ds}{s}- \int _{1}^{t_{0}} \biggl(\log\frac{t_{0}}{s} \biggr)^{\alpha_{2}-1}\frac {ds}{s}+ \int_{t_{0}}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha _{2}-1}\frac{ds}{s} \\& \qquad{}+\bigl((\log t)^{\gamma_{2}-1}-(\log t_{0})^{\gamma_{2}-1}\bigr) \int _{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha_{2}-1}\frac {ds}{s} \biggr] \\& \quad\le A_{2}\bigl[(\log t)^{\gamma_{2}-1}-(\log t_{0})^{\gamma _{2}-1} \bigr] \\& \qquad{}+k_{2}M \bigl[\bigl((\log t)^{\gamma_{2}-1}-(\log t_{0})^{\gamma _{2}-1}\bigr)+(\log t-\log t_{0}) \bigr] \\& \qquad{}+\frac{L_{2}}{\varGamma(\alpha_{2}+1)} \bigl[\bigl((\log t)^{\gamma _{2}-1}-(\log t_{0})^{\gamma_{2}-1}\bigr)+\bigl((\log t)^{\alpha_{2}}-(\log t_{0})^{\alpha_{2}}\bigr) \bigr]. \end{aligned}$$
(22)

Take \(t\to t_{0}\), from (21) and (22), we have

$$\begin{aligned} \bigl\vert \mathcal{T}_{1}(u,v) (t)-\mathcal{T}_{1}(u,v) (t_{0}) \bigr\vert \to0 \quad\text{and}\quad \bigl\vert \mathcal{T}_{2}(u,v) (t)-\mathcal{T}_{2}(u,v) (t_{0}) \bigr\vert \to0\quad \text{as } t\to t_{0}. \end{aligned}$$

Hence \(\mathcal {T}\) is equicontinuous. By Arzelá–Ascoli theorem, we get that \(\mathcal{T}(\varOmega)\) is compact, that is, \(\mathcal{T}\) is compact on Ω. Therefore \(\mathcal{T}\) is completely continuous.

Step II: We show that the set \({\varepsilon}=\{(u,v)\in X\times X \mid(u,v)=\lambda\mathcal{T}(u,v), 0\leq\lambda\leq1\}\) is bounded.

Let \((u,v)\in{\varepsilon}\), then \((u,v)=\lambda\mathcal{T}(u,v)\). For any \(t\in[1,e]\), we have \(u(t)=\lambda\mathcal{T}_{1}(u,v)(t)\), \(v(t)=\lambda\mathcal{T}_{2}(u,v)(t)\). Then, in view of assumption \((H_{1})\), we obtain

$$\begin{aligned} \bigl\vert u(t) \bigr\vert \leq{}& \bigl\vert \mathcal{T}_{1}(u,v) (t) \bigr\vert \\ \leq{}& A_{1}+k_{1} \biggl[ \int_{1}^{e}\frac{ \vert u(s) \vert }{s}\,ds+ \int _{1}^{t}\frac{ \vert u(s) \vert }{s}\,ds \biggr] \\ &+ \frac{1}{\varGamma(\alpha _{1})} \biggl[ \int_{1}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha _{1}-1}\frac{ \vert f(s,u(s),v(s)) \vert }{s}\,ds\\ &+ \int_{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha_{1}-1}\frac { \vert f(s,u(s),v(s)) \vert }{s}\,ds \biggr] \\ \leq{}& A_{1}+k_{1} \biggl[\lVert u\rVert \int_{1}^{e}\frac {ds}{s}+\lVert u\rVert \int_{1}^{t}\frac{ds}{s} \biggr] \\ &+ \frac {(m_{0}+m_{1}\lVert u\rVert+m_{2}\lVert v\rVert)}{\varGamma(\alpha _{1})} \biggl[ \int_{1}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha _{1}-1}\frac{ds}{s} + \int_{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha_{1}-1}\frac {ds}{s} \biggr] \\ \leq{}& A_{1}+k_{1}\lVert u\rVert \bigl[1+(\log e) \bigr]+ \frac {(m_{0}+m_{1}\lVert u\rVert+m_{2}\lVert v\rVert)}{\varGamma(\alpha _{1}+1)}\bigl[(\log e)^{\alpha_{1}}+1\bigr], \end{aligned}$$

which, on taking maximum for \(t\in[1,e]\), yields

$$\begin{aligned} \lVert u\rVert\leq A_{1}+2k_{1}\lVert u \rVert+2 \biggl(\frac {m_{0}+m_{1}\lVert u\rVert+m_{2}\lVert v\rVert}{\varGamma(\alpha _{1}+1)} \biggr). \end{aligned}$$
(23)

In a similar manner, one can obtain

$$\begin{aligned} \lVert v\rVert\leq A_{2}+2k_{2}\lVert v \rVert+2 \biggl(\frac {n_{0}+n_{1}\lVert u\rVert+n_{2}\lVert v\rVert}{\varGamma(\alpha _{2}+1)} \biggr). \end{aligned}$$
(24)

From (23) and (24), we have

$$\begin{aligned} \bigl\lVert (u,v)\bigr\rVert ={}&\lVert u\rVert+\lVert v\rVert \\ \leq{}&A_{1}+A_{2}+\frac{2m_{0}}{\varGamma(\alpha_{1}+1)}+\frac {2n_{0}}{\varGamma(\alpha_{2}+1)} \\ &+2 \biggl(k_{1}+\frac{m_{1}}{\varGamma(\alpha_{1}+1)}+\frac{n_{1}}{\varGamma (\alpha_{2}+1)} \biggr) \Vert u \Vert \\ &+2 \biggl(k_{2}+\frac{m_{2}}{\varGamma(\alpha _{1}+1)}+\frac{n_{2}}{\varGamma(\alpha_{2}+1)} \biggr) \Vert v \Vert \\ \le{}&A_{1}+A_{2}+\frac{2m_{0}}{\varGamma(\alpha_{1}+1)}+\frac {2n_{0}}{\varGamma(\alpha_{2}+1)}+\max \{Q_{1},Q_{2}\} \bigl\Vert (u,v) \bigr\Vert , \end{aligned}$$

and consequently,

$$\bigl\lVert (u,v)\bigr\rVert \le\frac{ A_{1}+A_{2}+\frac{2m_{0}}{\varGamma(\alpha _{1}+1)}+\frac{2n_{0}}{\varGamma(\alpha_{2}+1)}}{1-\max\{Q_{1},Q_{2}\}}. $$

Therefore the set ε is bounded. By Theorem 2.7, we get that the operator \(\mathcal{T}\) has at least one fixed point. Therefore, problem (1)–(2) has at least one solution on \([1,e]\). □

Existence and uniqueness result via the Banach fixed point theorem

Next, we prove an existence and uniqueness result based on the Banach contraction mapping principle.

Theorem 3.3

Assume that \((H_{2})\)holds. Then system (1)(2) has a unique solution on \([1,e]\)provided that

$$\begin{aligned} \mu:=2 \biggl(k_{1}+k_{2}+ \frac{L}{\varGamma(\alpha_{1}+1)}+\frac{\bar{L}}{\varGamma(\alpha_{2}+1)} \biggr)< 1. \end{aligned}$$
(25)

Proof

We will use the Banach fixed point theorem to prove that \(\mathcal {T}\), defined by (16), has a unique fixed point. Fixing \(N_{1}=\max_{t\in[1,e]}|f(t,0,0)| < \infty\), \(N_{2}=\max_{t\in [1,e]}|g(t,0,0)| < \infty\) and using assumption \((H_{2})\), we obtain

$$ \begin{gathered} \bigl\vert f\bigl(t,u(t),v(t)\bigr) \bigr\vert = \bigl\vert f\bigl(t,u(t),v(t)\bigr)-f(t,0,0)+f(t,0,0) \bigr\vert \leq L\bigl( \Vert u \Vert + \Vert v \Vert \bigr)+N_{1}, \\ \bigl\vert g\bigl(t,u(t),v(t)\bigr) \bigr\vert = \bigl\vert g \bigl(t,u(t),v(t)\bigr)-g(t,0,0)+g(t,0,0) \bigr\vert \le\bar{L}\bigl( \Vert u \Vert + \Vert v \Vert \bigr)+N_{2}.\end{gathered} $$
(26)

We choose

$$r\geq\frac{ A_{1}+A_{2}+2 (\frac{N_{1}}{\varGamma(\alpha_{1}+1)}+\frac {N_{2}}{\varGamma(\alpha_{2}+1)} )}{ 1-2 (k_{1}+k_{2}+\frac {L}{\varGamma(\alpha_{1}+1)}+\frac{\bar{L}}{\varGamma(\alpha _{2}+1)} )}. $$

We divide the proof into two steps.

Step I : First we show that \(\mathcal{T}(B_{r})\subset B_{r}\), where \(B_{r}=\{(u,v)\in X\times X:\lVert(u,v)\rVert\leq r\}\).

Let \((u,v)\in B_{r}\). Then, using (26), we obtain

$$\begin{aligned} \bigl\vert \mathcal{T}_{1}(u,v) (t) \bigr\vert \leq{}& A_{1}+k_{1} \biggl[ \int_{1}^{e}\frac { \vert u(s) \vert }{s}\,ds+ \int_{1}^{t}\frac{ \vert u(s) \vert }{s}\,ds \biggr] \\ &+ \frac {1}{\varGamma(\alpha_{1})} \biggl[ \int_{1}^{t} \biggl(\log\frac {t}{s} \biggr)^{\alpha_{1}-1}\frac{ \vert f(s,u(s),v(s)) \vert }{s}\,ds\\ &+ \int_{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha_{1}-1}\frac { \vert f(s,u(s),v(s)) \vert }{s}\,ds \biggr] \\ \leq{}& A_{1}+k_{1} \biggl[ \int_{1}^{e}\frac{\max_{s\in [1,e]} \vert u(s) \vert }{s}\,ds+ \int_{1}^{t}\frac{\max_{s\in[1,e]} \vert u(s) \vert }{s}\, ds \biggr]\\ &+ \frac{L(\lVert u\rVert+\lVert v\rVert)+N_{1}}{\varGamma (\alpha_{1})} \biggl[ \int_{1}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha _{1}-1}\frac{ds}{s}+ \int_{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha_{1}-1}\frac{ds}{s} \biggr] \\ \leq{}& A_{1}+2k_{1}r+\frac{2}{\varGamma(\alpha_{1}+1)}(Lr+N_{1}), \end{aligned}$$

which, on taking the norm for \(t\in[1,e]\), yields

$$\begin{aligned} \bigl\lVert \mathcal{T}_{1}(u,v)\bigr\rVert \leq A_{1}+2k_{1}r+ \frac{2}{\varGamma (\alpha_{1}+1)}(Lr+N_{1}). \end{aligned}$$

In the same way, one has

$$\begin{aligned} \bigl\lVert \mathcal{T}_{2}(u,v)\bigr\rVert \leq A_{2}+2k_{2}r+ \frac{2}{\varGamma (\alpha_{2}+1)}(\bar{L}r+N_{2}). \end{aligned}$$

Then we have

$$\begin{aligned} \bigl\lVert \mathcal{T}(u,v)\bigr\rVert \leq{}&A_{1}+A_{2}+2(k_{1}+k_{2})r\\ &+2 \biggl(\frac {L}{\varGamma(\alpha_{1}+1)}+\frac{\bar{L}}{\varGamma(\alpha _{2}+1)} \biggr)r+2 \biggl( \frac{N_{1}}{\varGamma(\alpha_{1}+1)}+\frac {N_{2}}{\varGamma(\alpha_{2}+1)} \biggr) \\ \leq{}& r. \end{aligned}$$

Thus \(\lVert\mathcal{T}(u,v)\rVert\leq r\), that is, \(\mathcal {T}(u,v)\in B_{r}\). Hence \(\mathcal{T}(B_{r})\subset B_{r}\).

Step II : We show that the operator \(\mathcal{T}\) is a contraction.

Let \((u_{2},v_{2}), (u_{1},v_{1})\in X\times X\). Then, for any \(t\in [1,e]\), we have

$$\begin{aligned}& \bigl\vert \mathcal{T}_{1}(u_{2},v_{2}) (t)- \mathcal{T}_{1}(u_{1},v_{1}) (t) \bigr\vert \\ & \quad\leq k_{1} \biggl[ \int_{1}^{e}\frac{ \vert u_{2}(s)-u_{1}(s) \vert }{s}\,ds+ \int _{1}^{t}\frac{ \vert u_{2}(s)-u_{1}(s) \vert }{s}\,ds \biggr] \\ & \qquad{}+\frac{1}{\varGamma(\alpha_{1})} \biggl[ \int_{1}^{t} \biggl(\log \frac{t}{s} \biggr)^{\alpha_{1}-1}\frac { \vert f(s,u_{2}(s),v_{2}(s))-f(s,u_{1}(s),v_{1}(s)) \vert }{s}\,ds \\ & \qquad{}+ \int_{1}^{e} \biggl(\log\frac{e}{s} \biggr)^{\alpha_{1}-1}\frac { \vert f(s,u_{2}(s),v_{2}(s))-f(s,u_{1}(s),v_{1}(s)) \vert }{s}\,ds \biggr] \\ & \quad\le2k_{1} \Vert u_{2}-u_{1} \Vert + \frac{2L}{\varGamma(\alpha_{1}+1)}\bigl( \Vert u_{2}-u_{1} \Vert + \Vert v_{2}-v_{1} \Vert \bigr) \\ & \quad\le2k_{1}\bigl( \Vert u_{2}-u_{1} \Vert + \Vert v_{2}-v_{1} \Vert \bigr)+\frac{2L}{\varGamma(\alpha _{1}+1)}\bigl( \Vert u_{2}-u_{1} \Vert + \Vert v_{2}-v_{1} \Vert \bigr), \end{aligned}$$

which, on taking the norm for \(t\in[1,e]\), yields

$$\begin{aligned} \bigl\lVert \mathcal{T}_{1}(u_{2},v_{2})- \mathcal {T}_{1}(u_{1},v_{1})\bigr\rVert \leq \biggl(2k_{1}+\frac{2L}{\varGamma(\alpha _{1}+1)} \biggr) \bigl( \Vert u_{2}-u_{1} \Vert + \Vert v_{2}-v_{1} \Vert \bigr). \end{aligned}$$
(27)

Similarly,

$$\begin{aligned} \bigl\lVert \mathcal{T}_{2}(u_{2},v_{2})- \mathcal {T}_{2}(u_{1},v_{1})\bigr\rVert \leq \biggl(2k_{2}+\frac{2\bar{L}}{\varGamma (\alpha_{1}+1)} \biggr) \bigl( \Vert u_{2}-u_{1} \Vert + \Vert v_{2}-v_{1} \Vert \bigr). \end{aligned}$$
(28)

It follows from (27) and (28) that \(\lVert\mathcal {T}(u_{2},v_{2})-\mathcal{T}(u_{1},v_{1})\rVert\leq\mu(\lVert u_{2}-u_{1}\rVert+\lVert v_{2}-v_{1}\rVert)\), which, in view of (25), shows that the operator \(\mathcal{T}\) is a contraction. From Steps I and II, by Theorem 2.8, we get that the operator \(\mathcal{T}\) has a unique fixed point. Therefore system (1)–(2) has a unique solution on \([1,e]\). □

Examples

In this section, we give two examples to illustrate our main results.

Example 4.1

Consider the following system:

$$ \textstyle\begin{cases} ( {}_{H}D^{\frac{3}{2},\frac{1}{2}}+\frac{1}{6} {}_{H}D^{\frac {1}{2},\frac{1}{2}} )u(t)=\frac { \vert u(t) \vert }{(t+3)^{4}(1+ \vert u(t) \vert )}+\frac{ \vert v(t) \vert }{90(1+ \vert v(t) \vert )}+\frac {1}{16}, \quad t \in[1,e], \\ ( {}_{H}D^{\frac{3}{2},\frac{1}{2}}+\frac{1}{8} {}_{H}D^{\frac {1}{2},\frac{1}{2}} )v(t)=\frac{\sin(\pi u(t))}{80\pi}+\frac {1}{15\sqrt{t+8}}+\frac{ \vert v(t) \vert }{100(1+ \vert v(t) \vert )},\quad t \in[1,e], \\ u(1)=0,\qquad u(e)=\frac{1}{2}, \qquad v(1)=0,\qquad v(e)=\frac{1}{4}. \end{cases} $$
(29)

Here \(\alpha_{1}=\frac{3}{2}\), \(\alpha_{2}=\frac{3}{2}\), \(\beta_{1}=\frac{1}{2}\), \(\beta_{2}=\frac{1}{2}\), \(A_{1}=\frac{1}{2}\), \(A_{2}=\frac{1}{4}\), \(k_{1}=\frac{1}{6}\), \(k_{2}=\frac{1}{8}\).

We see that \((H_{1})\) holds, because

$$\begin{aligned} \bigl\vert f(t,u,v) \bigr\vert \leq\frac{1}{16}+\frac{1}{256} \vert u \vert +\frac{1}{90} \vert v \vert \quad \text{and} \quad \bigl\vert g(t,u,v) \bigr\vert \leq\frac{1}{45}+\frac{1}{80} \vert u \vert +\frac{1}{100} \vert v \vert , \end{aligned}$$

with

$$ m_{0}=\frac{1}{16}, \qquad m_{1}= \frac{1}{256}, \qquad m_{2}=\frac{1}{90}, \qquad n_{0}=\frac{1}{45}, \qquad n_{1}= \frac{1}{80}, \qquad n_{2}=\frac{1}{100}. $$

In addition, \(Q_{1}\approx0.3580<1\), \(Q_{2}\approx0.2818<1\), and \(\max\{ Q_{1},Q_{2}\}\approx0.6420\). Thus, the hypotheses of Theorem 3.2 are satisfied. Therefore, by Theorem 3.2, system (29) has at least one solution on \([1,e]\).

Example 4.2

Consider the following Hilfer–Hadamard system:

$$ \textstyle\begin{cases} ( {}_{H}D^{\frac{5}{4},\frac{1}{2}}+\frac{1}{7} {}_{H}D^{\frac {1}{4},\frac{1}{2}} )u(t)=(1+\log t) (\frac { \vert u(t) \vert }{100+ \vert u(t) \vert } )+\frac{ \vert v(t) \vert }{(8+t)^{3}(1+ \vert v(t) \vert )}+\frac {1}{\sqrt{t+15}},\quad t \in[1,e], \\ ( {}_{H}D^{\frac{3}{2},\frac{1}{2}}+\frac{1}{9} {}_{H}D^{\frac {1}{2},\frac{1}{2}} )v(t)=\frac{\sin( u(t))}{(7+t)^{3}}+\frac {7}{49+t^{2}}+\frac{ \vert v(t) \vert }{\sqrt{99+t^{2}}(4+ \vert v(t) \vert )},\quad t \in[1,e], \\ u(1)=0,\qquad u(e)=\frac{1}{3},\qquad v(1)=0,\qquad v(e)=\frac{1}{5}. \end{cases} $$
(30)

Here \(\alpha_{1}=\frac{5}{4}\), \(\alpha_{2}=\frac{3}{2}\), \(\beta_{1}=\frac{1}{2}\), \(\beta_{2}=\frac{1}{2}\), \(A_{1}=\frac{1}{3}\), \(A_{2}=\frac{1}{5}\), \(k_{1}=\frac{1}{7}\), \(k_{2}=\frac{1}{9}\).

Note that \((H_{2})\) holds, because

$$\begin{aligned} \bigl\vert f(t,u_{1},u_{2})-f(t,v_{1},v_{2}) \bigr\vert \leq\frac {1}{50}\bigl( \vert u_{1}-v_{1} \vert + \vert u_{2}-v_{2} \vert \bigr) \end{aligned}$$

and

$$\begin{aligned} \bigl\vert g(t,u_{1},u_{2})-g(t,v_{1},v_{2}) \bigr\vert \leq\frac {1}{40}\bigl( \vert u_{1}-v_{1} \vert + \vert u_{2}-v_{2} \vert \bigr), \end{aligned}$$

with \(L=\frac{1}{50}\), \(\bar{L}=\frac{1}{40}\). In addition,

$$\begin{aligned} \mu:=2 \biggl(k_{1}+k_{2}+\frac{L}{\varGamma(\alpha_{1}+1)}+ \frac{\bar{L}}{\varGamma(\alpha_{2}+1)} \biggr)\approx0.580854< 1. \end{aligned}$$

Thus, all the conditions of Theorem 3.3 are satisfied. Therefore, by Theorem 3.3, system (30) has a unique solution on \([1,e]\).

Conclusion

In this paper, we studied existence and uniqueness of solutions for a system of Hilfer–Hadamard sequential fractional differential equations with two-point boundary conditions. The existence result is proved by using the Leray–Schauder alternative while the Banach contraction mapping principle is used to obtain the existence and uniqueness result. Examples illustrating the obtained results are also presented. Our results on a system of Hilfer–Hadamard fractional derivatives are new in the given configuration. We emphasize that we used Hilfer-Hadamard derivative of order \(1<\alpha_{i}\le2\), \(i=1,2\). In the context of sequential fractional differential equations with two-point boundary conditions, the present paper significantly contributes to the existing literature on the topic. The problems studied in this paper can be extended to cover other kinds of boundary conditions.

References

  1. 1.

    Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

  2. 2.

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

  3. 3.

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

  4. 4.

    Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

  5. 5.

    Diethelm, K.: The Analysis of Fractional Differential Equations. Springer, Berlin (2010)

  6. 6.

    Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)

  7. 7.

    Fernandez, A., Baleanu, D.: On a new definition of fractional differintegrals with Mittag-Leffler kernel. Filomat 33, 245–254 (2019)

  8. 8.

    Baleanu, D., Jajarmi, A., Sajjadi, S.S., Mozyrska, D.: A new fractional model and optimal control of a tumor-immune surveillance with non-singular derivative operator. Chaos 29, 083127 (2019)

  9. 9.

    Alseadi, A., Baleanu, D., Etemad, S., Rezapour, Sh.: On coupled systems of time-fractional differential problems by using a new fractional derivative. J. Funct. Spaces 2016, Article ID 4626940 (2016)

  10. 10.

    Baleanu, D., Fernandez, A.: On fractional operators and their classifications. Mathematics 7(9), Article ID 830 (2019)

  11. 11.

    Fernandez, A., Özarslan, M.A., Baleanu, D.: On fractional calculus with general analytic kernels. Appl. Math. Comput. 354, 248–265 (2019)

  12. 12.

    Ge, Z.M., Ou, C.Y.: Chaos synchronization of fractional order modified Duffing systems with parameters excited by a chaotic signal. Chaos Solitons Fractals 35, 705–717 (2008)

  13. 13.

    Sokolov, I.M., Klafter, J., Blumen, A.: Fractional kinetics. Phys. Today 55, 48–54 (2002)

  14. 14.

    Javidi, M., Ahmad, B.: Dynamic analysis of time fractional order phytoplankton-toxic phytoplankton–zooplankton system. Ecol. Model. 318, 8–18 (2015)

  15. 15.

    Petras, I., Magin, R.L.: Simulation of drug uptake in a two compartmental fractional model for a biological system. Commun. Nonlinear Sci. Numer. Simul. 16, 4588–4595 (2011)

  16. 16.

    Ahmad, B., Nieto, J.J.: Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 58, 1838–1843 (2009)

  17. 17.

    Goodrich, C.S.: Existence of a positive solution to systems of differential equations of fractional order. Comput. Math. Appl. 62, 1251–1268 (2011)

  18. 18.

    Ntouyas, S.K., Obaid, M.: A coupled system of fractional differential equations with nonlocal integral boundary conditions. Adv. Differ. Equ. 2012, 130 (2012)

  19. 19.

    Su, X.: Boundary value problem for a coupled system of nonlinear fractional differential equations. Appl. Math. Lett. 22, 64–69 (2009)

  20. 20.

    Ahmad, B., Ntouyas, S.K.: Existence results for a coupled system of Caputo type sequential fractional differential equations with nonlocal integral boundary conditions. Appl. Math. Comput. 266, 615–622 (2015)

  21. 21.

    Ahmad, B., Ntouyas, S.K.: Existence results for Caputo type sequential fractional differential inclusions with nonlocal integral boundary conditions. J. Appl. Math. Comput. 50, 157–174 (2016)

  22. 22.

    Ahmad, B., Ntouyas, S.K., Alsaedi, A.: On a coupled system of fractional differential equations with coupled nonlocal and integral boundary conditions. Chaos Solitons Fractals 83, 234–241 (2016)

  23. 23.

    Alsaedi, A., Aljoudi, S., Ahmad, B.: Existence of solutions for Riemann–Liouville type coupled systems of fractional integro-differential equations and boundary conditions. Electron. J. Differ. Equ. 2016, Article ID 211 (2016)

  24. 24.

    Alsulami, H.H., Ntouyas, S.K., Agarwal, R.P., Ahmad, B., Alsaedi, A.: A study of fractional-order coupled systems with a new concept of coupled non-separated boundary conditions. Bound. Value Probl. 2017, 68 (2017)

  25. 25.

    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, Article ID 227 (2017). https://doi.org/10.1007/s00009-017-1027-2

  26. 26.

    Shiri, B., Baleanu, D.: System of fractional differential algebraic equations with applications. Chaos Solitons Fractals 120, 203–212 (2019)

  27. 27.

    Baleanu, D., Shiri, B., Srivastava, H.M., Al Qurashi, M.: A Chebyshev spectral method based on operational matrix for fractional differential equations involving non-singular Mittag-Leffler kernel. Adv. Differ. Equ. 2018, 353 (2018)

  28. 28.

    Baleanu, D., Shiri, B.: Collocation methods for fractional differential equations involving non-singular kernel. Chaos Solitons Fractals 116, 136–145 (2018)

  29. 29.

    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)

  30. 30.

    Alsaedi, A., Ntouyas, S.K., Agarwal, R.P., Ahmad, B.: On Caputo type sequential fractional differential equations with nonlocal integral boundary conditions. Adv. Differ. Equ. 2015, 33 (2015)

  31. 31.

    Abbas, S., Benchohra, M., Lazreg, J., Nieto, J.J.: On a coupled system of Hilfer–Hadamard fractional differential equations in Banach spaces. J. Nonlinear Funct. Anal. 2018, Article ID 12 (2018)

  32. 32.

    Abbas, S., Benchohra, M., Hamidi, N., Zhou, Y.: Implicit coupled Hilfer–Hadamard fractional differential systems under weak topologies. Adv. Differ. Equ. 2018, 328 (2018)

  33. 33.

    Hilfer, R.: Threefold introduction to fractional derivatives. In: Anomalous Transport: Foundations and Applications, pp. 17–73 (2008)

  34. 34.

    Qassim, M.D., Furati, K.M., Tatar, N.-E.: On a differential equation involving Hilfer–Hadamard fractional derivative. Abstr. Appl. Anal. 2012, Article ID 391062 (2015). https://doi.org/10.1155/2012/391062

  35. 35.

    Gambo, Y.Y., Jarad, F., Baleanu, D., Abdeljawad, T.: On Caputo modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2014, 10 (2014)

  36. 36.

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

  37. 37.

    Deimling, K.: Nonlinear Functional Analysis. Springer, New York (1985)

Download references

Acknowledgements

The authors thank the reviewers for their constructive remarks on our work.

Availability of data and materials

Not applicable.

Funding

The research was financially supported by Naresuan University, Thailand under Grant no. R2558C183.

Author information

All authors read and approved the final manuscript.

Correspondence to Ekkarath Thailert.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Saengthong, W., Thailert, E. & Ntouyas, S.K. Existence and uniqueness of solutions for system of Hilfer–Hadamard sequential fractional differential equations with two point boundary conditions. Adv Differ Equ 2019, 525 (2019). https://doi.org/10.1186/s13662-019-2459-8

Download citation

MSC

  • 34A08
  • 34B10

Keywords

  • Hilfer–Hadamard fractional differential equations
  • Boundary conditions
  • Fixed point