Skip to main content

Theory and Modern Applications

Analysis of coupled systems of implicit impulsive fractional differential equations involving Hadamard derivatives

Abstract

We present some results on the existence, uniqueness and Hyers–Ulam stability to the solution of an implicit coupled system of impulsive fractional differential equations having Hadamard type fractional derivative. Using a fixed point theorem of Kransnoselskii’s type, the existence and uniqueness results are obtained. Along these lines, different kinds of Hyers–Ulam stability are discussed. An example is given to illustrate the main theorems.

1 Introduction

Fractional calculus is one of the emerging areas of investigation. The fractional differential operators are used to model several physical phenomena in a much better form than ordinary differential operators, which are local. Results obtained by fractional differential equations (FDEs) are much better and more accurate. For applications and details of fractional calculus, we refer the reader to [1, 2]. FDEs also serve as an excellent tool for the description of hereditary properties of various materials and processes [3]. The theory of FDEs, involving different kinds of boundary conditions, has been a field of interest in pure and applied sciences. Nonlocal conditions are used to describe certain features of physics and applied mathematics such as blood chemical engineering, flow problems, underground water flow, thermo–elasticity, population dynamics, and so on [4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21] and references cited therein. Our work is concerned with implicit impulsive coupled systems of FDEs. The impulsive FDEs are of great value. The said equations arise in business mathematics, management sciences and other managerial sciences and so forth. Some physical phenomena have sudden changes and discontinuous jumps. To model such problems, we impose impulsive conditions on the differential equations at discontinuity points; see for example [22,23,24,25] and the references cited therein.

In the classical text [26], it has been mentioned that Hadamard in 1892 [27] suggested a concept of fractional integro–differentiation in terms of the fractional power of the type \((x\frac{d}{dx})^{\alpha }\) in contrast to its Riemann–Liouville counterpart of the form \((\frac{d}{dx})^{\alpha }\). The kind of derivative, introduced by Hadamard, contains the logarithmic function of the arbitrary exponent in the kernel of the integral appearing in its definition. The Hadamard construction is invariant in relation to dilation and is well suited to the problems containing half-axes. Coupled systems of FDEs have also been investigated by many authors. Such systems appear naturally in many real–world situations. Some recent results on the topic can be found in a series of papers [28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45] and the references cited therein.

Another aspect of FDEs which has very recently got attention from the researchers is concerning to the Ulam type stability analysis of the aforesaid equations. The mentioned stability was first pointed out by Ulam [46] in 1940, which was further explained by Hyers [47], over Banach space. Later on, many researchers have done valuable work on the same task and interesting results were obtained for different functional equations; for details see[44, 48,49,50] and the references cited therein. This stability analysis is very useful in many applications, such as numerical analysis, optimization, etc., where finding the exact solution is quite difficult. For a detailed study of Ulam type stability with different approaches, we recommend [51,52,53] and the references cited therein.

The existence and uniqueness of Cauchy problems for fractional differential equations involving the Hadamard derivatives have been discussed by Kilbas et al. [54]. Using the contraction principle, the existence and uniqueness of the solution of sequential fractional differential equations with Hadamard derivative have been explored by Klimek [55]. Recently, Wang et al. [56] discussed the existence, blowing-up solutions and Ulam–Hyers stability of fractional differential equations with Hadamard derivative by using some classical methods. The area of research which has got tremendous attention from the researchers and these days is growing very fast is devoted to the existence and the Hyers–Ulam stability to the solution of implicit FDEs and coupled systems of implicit FDEs. The implicit FDEs represent a very important class of fractional differential equations. For details see [57,58,59,60,61] and the references cited therein.

In [62], the authors studied the existence and Hyers–Ulam stability of the following implicit FDEs involving Hadamard derivatives:

$$ \textstyle\begin{cases} {}_{H}\mathfrak{D}^{\alpha }p(t)-f(t,p(t), {}_{H}\mathfrak{D}^{ \alpha }p(t))=0, \quad \alpha \in (0,1), \\ p(1)=p_{1},\quad p_{1}\in \mathbb{R}, \end{cases} $$

where \(t\in [1,T]\), \(T>1\) and \({}_{H}\mathfrak{D}^{\alpha }\) denotes the Hadamard fractional derivative of order α.

In [63], the authors investigated the existence, uniqueness and different kinds of Hyers–Ulam stability for the considered coupled system involving the Caputo derivative:

$$ \textstyle\begin{cases} {}^{c}\mathfrak{D}^{\alpha } p(t)-f(t,q(t), {}^{c}\mathfrak{D}^{\alpha } p(t))=0;\quad t\in \mathcal{J}, \\ {}^{c}\mathfrak{D}^{\beta } q(t)-g(t,p(t), {}^{c}\mathfrak{D}^{\beta } q(t))=0; \quad t\in \mathcal{J}, \\ p'(0)=p''(0)=0,\qquad p(1)=\lambda p(\eta ),\quad \lambda ,\eta \in (0,1), \\ q'(0)=q''(0)=0,\qquad q(1)=\lambda q(\eta ),\quad \lambda ,\eta \in (0,1), \end{cases} $$

where \(\mathcal{J}=[0,1]\), \(2<\alpha ,\beta \leq 3\) and \(f,g: \mathcal{J}\times \mathbb{R}\times \mathbb{R}\rightarrow \mathbb{R}\) are continuous functions.

In [64], the authors proved the existence, uniqueness and different kinds of Hyers–Ulam stability for the following coupled system involving the Riemann–Liouville derivative:

$$ \textstyle\begin{cases} \mathfrak{D}^{\alpha } p(t)-f(t,q(t), \mathfrak{D}^{\alpha } p(t))=0;\quad t\in \mathcal{J}, \\ \mathfrak{D}^{\beta } q(t)-g(t,p(t), \mathfrak{D}^{\beta } q(t))=0; \quad t\in \mathcal{J}, \\ \mathfrak{D}^{\alpha -2}p(0^{+})=\gamma _{1} \mathfrak{D}^{\alpha -2}p(T ^{-}),\qquad \mathfrak{D}^{\alpha -1}p(0^{+})=\beta _{1} \mathfrak{D}^{ \alpha -1}p(T^{-}), \\ \mathfrak{D}^{\beta -2}q(0^{+})=\gamma _{2} \mathfrak{D}^{\beta -2}q(T ^{-}),\qquad \mathfrak{D}^{\beta -1}q(0^{+})=\beta _{2} \mathfrak{D}^{ \beta -1}q(T^{-}), \end{cases} $$

where \(t\in \mathcal{J}=[0,T]\), \(T>0\), \(1<\alpha ,\beta \leq 2\) and \(\beta _{1},\beta _{2},\gamma _{1},\gamma _{2} \neq 1\). \(\mathfrak{D}^{ \alpha }\), \(\mathfrak{D}^{\beta }\) are Riemann–Liouville derivatives of fractional order and \(f,g:\mathcal{J}\times \mathbb{R}\times \mathbb{R}\rightarrow \mathbb{R}\) are continuous functions. For more recent work and details as regards implicit coupled systems, the reader may refer to [65, 66].

Motivated by the above work, we consider the following coupled impulsive implicit FDEs involving Hadamard derivatives:

$$ \textstyle\begin{cases} {}_{H}\mathfrak{D}^{\alpha }p(t)-f(t,p(t), {}_{H}\mathfrak{D}^{\beta }q(t))=0, \quad t\in \mathcal{J}, t\neq t_{i}, i=1,2,\dots ,m, \\ {}_{H}\mathfrak{D}^{\beta }q(t)-g(t,q(t), {}_{H}\mathfrak{D}^{\alpha }p(t))=0, \quad t\in \mathcal{J}, t\neq t_{j}, j=1,2,\dots ,n, \\ \Delta p(t_{i})=\mathcal{I}_{i}p(t_{i}), \qquad \Delta p'(t_{i})=\mathcal{\widetilde{I}}_{i}p(t_{i}), \quad i=1,2,\dots ,m, \\ \Delta q(t_{j})=\mathcal{I}_{j}q(t_{j}), \qquad \Delta q'(t_{j})=\mathcal{\widetilde{I}}_{j}q(t_{j}), \quad j=1,2,\dots ,n, \\ p(T)=\int _{1}^{T}\frac{(\ln \frac{T}{s})^{\alpha -1}}{\varGamma ( \alpha )}\phi (s,p(s))\frac{ds}{s}, \quad p'(T)=\varphi (p), \\ q(T)=\int _{1}^{T}\frac{(\ln \frac{T}{s})^{\beta -1}}{\varGamma (\beta )}\phi (s,q(s))\frac{ds}{s}, \quad q'(T)=\varphi (q), \end{cases} $$
(1.1)

where \(1<\alpha ,\beta \leq 2\), \(f,g: \mathcal{J}\times \mathbb{R} ^{2}\rightarrow \mathbb{R}\) and \(\phi ,\varphi :\mathcal{C}( \mathcal{J},\mathbb{R})\rightarrow \mathbb{R}\) are continuous functions and

$$\begin{aligned} &\Delta p(t_{i})=p\bigl(t^{+}_{i}\bigr)-p \bigl(t^{-}_{i}\bigr), \qquad \Delta p'(t_{i})=p' \bigl(t^{+}_{i}\bigr)-p'\bigl(t^{-}_{i} \bigr), \\ &\Delta q(t_{j})=q\bigl(t^{+}_{j}\bigr)-q \bigl(t^{-}_{j}\bigr), \qquad \Delta q'(t_{j})=q' \bigl(t^{+}_{j}\bigr)-q'\bigl(t^{-}_{j} \bigr). \end{aligned}$$

The notations \(p(t^{+}_{i})\), \(q(t^{+}_{j})\) are right limits and \(p(t^{-}_{i})\), \(q(t^{-}_{j})\) are left limits; \(\mathcal{I}_{i}\), \(\mathcal{\widetilde{I}}_{i}\), \(\mathcal{I}_{j}\), \(\mathcal{ \widetilde{I}}_{j}:\mathbb{R}\rightarrow \mathbb{R}\) are continuous functions; \({}_{H}\mathfrak{D}^{\alpha }\), \({}_{H}\mathfrak{D}^{ \beta }\) are the Hadamard derivative operators of order α and β, respectively.

For system (1.1), we discuss necessary and sufficient conditions for the existence and uniqueness of a positive solution by using the Kransnoselskii fixed point and the Banach contraction theorems. Further, we investigate various kinds of Hyers–Ulam, generalized Hyers–Ulam, Hyers–Ulam–Rassias and generalized Hyers–Ulam–Rassias stabilities.

2 Preliminaries

In this section, we introduce some fundamental descriptions and lemmas which are used throughout this paper; for details, reader should study [54, 67].

Endowed by the norms \(\|p\|=\max \{|p(t)|, t\in \mathcal{J} \}\), \(\|q\|=\max \{|q(t)|, t\in \mathcal{J} \}\), \(\mathcal{PC}(\mathcal{J},\mathbb{R}_{+})\), which is a Banach space under these norms, and hence, the products of these are also Banach spaces, with norm \(\|(p,q)\|=\|p\|+\|q\|\).

Let \(\mathcal{E}_{1}\) and \(\mathcal{E}_{2}\) denote spaces of the piecewise continuous functions defined as

$$\begin{aligned} & \begin{aligned} \mathcal{E}_{1}&=\mathcal{PC}_{2-\alpha ,\ln }(\mathcal{J},\mathbb{R} _{+})\\ &= \bigl\{ p:\mathcal{J}\rightarrow \mathbb{R}_{+}, p \bigl(t^{+}_{i}\bigr), p\bigl(t ^{-}_{i} \bigr) \text{ and } p'\bigl(t^{+}_{i}\bigr), p'\bigl(t^{-}_{i}\bigr) \text{ exist for } i=1,2,\dots ,m \bigr\} , \end{aligned} \\ & \begin{aligned} \mathcal{E}_{2}&=\mathcal{PC}_{2-\beta ,\ln }(\mathcal{J},\mathbb{R} _{+})\\ &= \bigl\{ q:\mathcal{J}\rightarrow \mathbb{R}_{+}, q \bigl(t^{+}_{j}\bigr), q\bigl(t ^{-}_{j} \bigr) \text{ and } q'\bigl(t^{+}_{j}\bigr), q'\bigl(t^{-}_{j}\bigr) \text{ exist for } j=1,2,\dots ,n \bigr\} , \end{aligned} \end{aligned}$$

with norms

$$\begin{aligned} &\Vert p \Vert _{\mathcal{E}_{1}} =\sup \bigl\{ \bigl\vert p(t) (\ln t)^{2-\alpha } \bigr\vert ,t \in \mathcal{J} \bigr\} , \\ &\Vert q \Vert _{\mathcal{E}_{2}} =\sup \bigl\{ \bigl\vert q(t) (\ln t)^{2-\beta } \bigr\vert ,t \in \mathcal{J} \bigr\} , \end{aligned}$$

respectively. Their product \(\mathcal{E}=\mathcal{E}_{1}\times \mathcal{E}_{2}\) is also a Banach space with norm \(\|(p,q)\|_{ \mathcal{E}}=\|p\|_{\mathcal{E}_{1}}+\|q\|_{\mathcal{E}_{2}}\).

We recall the following definitions from [68].

Definition 2.1

The Hadamard fractional integral of order \(\alpha \in \mathbb{R}_{+}\) of the function \(p(t)\) is defined by

$$ {}_{H}\mathfrak{J}^{\alpha }p(t)=\frac{1}{\varGamma (\alpha )} \int ^{t} _{1}\biggl(\ln \frac{t}{s} \biggr)^{\alpha -1}p(s)\frac{ds}{s} , $$

\(1< t\leq T\), where \(\varGamma (\cdot )\) is the Gamma function.

Definition 2.2

The Hadamard fractional derivative of order \(\alpha \in [\ell -1,\ell )\), \(n\in \mathcal{Z}_{+}\), of the function \(p(t)\) is defined by

$$ {}_{H}\mathfrak{D}^{\alpha }p(t)=\frac{1}{\varGamma (\ell -\alpha )} \biggl(t \frac{d}{dt} \biggr)^{\ell } \int ^{t}_{a}\biggl(\ln \frac{t}{s} \biggr)^{\ell - \alpha +1}p(s)\frac{ds}{s}, $$

\(1< t\leq T\), where \(\varGamma (\cdot )\) is the Gamma function.

Lemma 2.3

([69])

Let \(\alpha >0\) and p be any function, then the homogeneous differential equation along with Hadamard fractional order \({}_{H}\mathfrak{D}^{\alpha }p(t)=0\) has solutions

$$ p(t)=b_{1}(\ln t)^{\alpha -1}+b_{2}(\ln t)^{\alpha -2}+ b_{3}(\ln t)^{ \alpha -3}+\cdots +b_{\ell }(\ln t)^{\alpha -\ell }, $$

and the following formula holds:

$$ {}_{H}\mathfrak{J}^{\alpha }{}_{H} \mathfrak{D}^{\alpha }p(t)=p(t)+b _{1}(\ln t)^{\alpha -1}+b_{2}( \ln t)^{\alpha -2}+ b_{3}(\ln t)^{ \alpha -3}+\cdots +b_{\ell }(\ln t)^{\alpha -\ell }, $$

where \(b_{j}\in \mathbb{R}\), \(j=1,2,\dots ,\ell \) and \(\ell -1<\alpha <\ell \).

Theorem 2.4

(Altman [70])

Let \(\mathcal{S}\neq \emptyset \) be a convex and closed subset of Banach space \(\mathcal{E}\). Consider two operators \(\mathbb{F}\), \(\mathbb{G}\) such that

  1. (i)

    \(\mathbb{F}(p,q)+\mathbb{G}(p,q)\in \mathcal{S}\), where \((p,q)\in \mathcal{S}\).

  2. (ii)

    \(\mathbb{F}\) is contractive operator.

  3. (iii)

    \(\mathbb{G}\) is completely continuous operator.

Then the operator system \(\mathbb{F}(p,q)+\mathbb{G}(p,q)=(p,q)\in \mathcal{E}\) has a solution \((p,q)\in \mathcal{S}\).

2.1 Hyers–Ulam stability definitions and remarks

The following definitions and remarks are adopted from [65, 71].

Definition 2.5

The coupled system (1.1) is said to be Hyers–Ulam stable if there exist \(K_{\alpha ,\beta }=\max \{K _{\alpha },K_{\beta }\}>0\) such that, for \(\varrho =\max \{ \varrho _{\alpha },\varrho _{\beta }\}>0\) and for every solution \((p,q)\in \mathcal{E}\) of the inequality

$$ \textstyle\begin{cases} \vert {}_{H}\mathfrak{D}^{\alpha }p(t)-f(t,p(t),{}_{H}\mathfrak{D}^{ \beta }q(t)) \vert \leq \varrho _{\alpha }, \quad t\in \mathcal{J}, \\ \vert \Delta p(t_{i})-\mathcal{I}_{i}(p(t_{i})) \vert \leq \varrho _{\alpha }, \quad i=1,2,\dots ,m, \\ \vert \Delta \widehat{p'}(t_{i})-\mathcal{\widetilde{I}}_{i}(p(t_{i})) \vert \leq \varrho _{\alpha }, \quad i=1,2,\dots ,m, \\ \vert {}_{H}\mathfrak{D}^{\beta }q(t)- g(t,q(t),{}_{H}\mathfrak{D}^{\alpha }p(t)) \vert \leq \varrho _{\beta }, \quad t\in \mathcal{J}, \\ \vert \Delta q(t_{j})-\mathcal{I}_{j}(q(t_{j})) \vert \leq \varrho _{\beta }, \quad j=1,2,\dots ,n, \\ \vert \Delta \widehat{q'}(t_{j})-\mathcal{\widetilde{I}}_{j}(q(t_{j})) \vert \leq \varrho _{\beta }, \quad j=1,2,\dots ,n, \end{cases} $$
(2.1)

there exists a unique solution \((\widehat{p},\widehat{q})\in \mathcal{E}\) with

$$ \bigl\Vert (p,q)-(\widehat{p},\widehat{q}) \bigr\Vert _{\mathcal{E}}\leq K_{\alpha , \beta }\varrho , \quad t\in \mathcal{J}. $$

Definition 2.6

The coupled system (1.1) is said to be generalized Hyers–Ulam stable if there exist \(\varPhi \in \mathcal{C}(\mathbb{R}^{+},\mathbb{R}^{+})\) with \(\varPhi (0)=0\) such that, for any approximate solution \((p,q)\in \mathcal{E}\) of inequality (2.1), there exists a unique solution \((\widehat{p}, \widehat{q})\in \mathcal{E}\) of (1.1) satisfying

$$ \bigl\Vert (p,q)-(\widehat{p},\widehat{q}) \bigr\Vert _{\mathcal{E}}\leq \varPhi (\varrho ), \quad t\in \mathcal{J}. $$

Denote \(\varPsi _{\alpha ,\beta }=\max \{\varPsi _{\alpha },\varPsi _{\beta }\} \in \mathcal{C}(\mathcal{J},\mathbb{R})\) and \(K_{\varPsi _{\alpha }, \varPsi _{\beta }}=\max \{K_{\varPsi _{\alpha }},K_{\varPsi _{\beta }}\}>0\).

Definition 2.7

([71])

The coupled system (1.1) is said to be Hyers–Ulam–Rassias stable with respect to \(\varPsi _{\alpha ,\beta }\) if there exists a constant \(K_{\varPsi _{\alpha }, \varPsi _{\beta }}\) such that, for some \(\varrho >0\) and for any approximate solution \((p,q)\in \mathcal{E}\) of the inequality

$$ \textstyle\begin{cases} \vert {}_{H}\mathfrak{D}^{\alpha }p(t)-f(t,p(t), {}_{H}\mathfrak{D}^{ \beta }q(t)) \vert \leq \varPsi _{\alpha }(t)\varrho _{\alpha }, \quad t\in \mathcal{J}, \\ \vert {}_{H}\mathfrak{D}^{\beta }q(t)- g(t,q(t),{}_{H}\mathfrak{D}^{\alpha }p(t)) \vert \leq \varPsi _{\beta }(t)\varrho _{\beta }, \quad t\in \mathcal{J}, \end{cases} $$
(2.2)

there exists a unique solution \((\widehat{p},\widehat{q})\in \mathcal{E}\) with

$$ \bigl\Vert (p,q)-(\widehat{p},\widehat{q}) \bigr\Vert _{\mathcal{E}}\leq K_{\varPsi _{\alpha },\varPsi _{\beta }}\varPsi _{\alpha ,\beta }\varrho , \quad t\in \mathcal{J}. $$
(2.3)

Definition 2.8

The coupled system (1.1) is said to be generalized Hyers–Ulam–Rassias stable with respect to \(\varPsi _{\alpha ,\beta }\) if there exists a constants \(K_{\varPsi _{\alpha },\varPsi _{\beta }}\) such that, for any approximate solution \((p,q) \in \mathcal{E}\) of inequality (2.2), there exists a unique solution \((\widehat{p},\widehat{q})\in \mathcal{E}\) of (1.1) satisfying

$$ \bigl\Vert (p,q)-(\widehat{p},\widehat{q}) \bigr\Vert _{\mathcal{E}}\leq K_{\varPsi _{\alpha },\varPsi _{\beta }}\varPsi _{\alpha ,\beta }(t), \quad t\in \mathcal{J}. $$
(2.4)

Remark 2.9

We say that \((p,q)\in \mathcal{E}\) is a solution of the system of inequalities (2.1) if there exist functions \(\varUpsilon _{f}\), \(\varUpsilon _{g}\in \mathcal{C}(\mathcal{J},\mathcal{R})\) depending upon p, q, respectively, such that

  1. (I)

    \(|\varUpsilon _{f}(t)|\leq \varrho _{\alpha }\), \(|\varUpsilon _{g}(t)| \leq \varrho _{\beta }\), \(t\in \mathcal{J}\);

  2. (II)
    $$ \textstyle\begin{cases} {}_{H}\mathfrak{D}^{\alpha }p(t)=f(t,p(t), {}_{H}\mathfrak{D}^{ \beta }q(t))+\varUpsilon _{f}(t), \\ \Delta p(t_{i})=\mathcal{I}_{i}(p(t_{i}))+\varUpsilon _{f_{i}}, \\ \Delta p'(t_{i})=\mathcal{\widetilde{I}}_{i}(p(t_{i}))+\varUpsilon _{f _{i}}, \\ {}_{H}\mathfrak{D}^{\beta }q(t)= g(t,q(t), {}_{H}\mathfrak{D}^{\alpha }p(t))+ \varUpsilon _{g}(t), \\ \Delta q(t_{j})=\mathcal{I}_{j}(q(t_{j}))+\varUpsilon _{g_{j}}, \\ \Delta q'(t_{j})=\mathcal{\widetilde{I}}_{j}(q(t_{j}))+\varUpsilon _{g _{j}}. \end{cases} $$

3 Existence results

In the current section, we set up conditions for the existence and uniqueness of solutions to the proposed system (1.1).

Theorem 3.1

Let f be a function; the subsequent linear impulsive boundary value problem

$$ \textstyle\begin{cases} {}_{H}\mathfrak{D}^{\alpha }p(t)=f(t), \quad t\in \mathcal{J}, t\neq t_{i}, i=1,2,\dots ,m, \\ \Delta p(t_{i})=\mathcal{I}_{i}(p(t_{i})), \qquad \Delta p'(t_{i})=\mathcal{\widetilde{I}}_{i}(p(t_{i})), \quad t\neq t_{i}, i=1,2,\dots ,m, \\ p(T)=\int _{1}^{T}\frac{(\ln \frac{T}{s})^{\alpha -1}}{\varGamma ( \alpha )}\phi (s,p(s))\frac{ds}{s},\quad p'(T)=\varphi (p), \end{cases} $$
(3.1)

has solutions

$$\begin{aligned} p(t)&= T\mathcal{A}_{0}(\alpha )\varphi (p) (\ln t)^{\alpha -2}+\sum_{i=1}^{k} \mathcal{A}_{1i}(\alpha ) (\ln t)^{\alpha -2}\mathcal{I}_{i}(p _{i})+\sum_{i=1}^{k} \mathcal{A}_{2i}(\alpha ) (\ln t)^{\alpha -2}\mathcal{ \widetilde{I}}_{i}(p_{i}) \\ &\quad{}+ \frac{\mathcal{A}_{3}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )} \int _{1}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\alpha -1}\phi \bigl(s,p(s)\bigr)\frac{ds}{s}\\ &\quad {}+\frac{ \mathcal{A}_{0}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha -1)} \int _{t_{k}}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\alpha -2}f(s)\frac{ds}{s} \\ &\quad{}+ \frac{\mathcal{A}_{4}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )} \int _{t_{k}}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\alpha -1}f(s)\frac{ds}{s}\\ &\quad {}+\sum_{i=1}^{k} \frac{\mathcal{A}_{5i}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )} \int _{t_{i-1}}^{t_{i}}\biggl(\ln \frac{t_{i}}{s} \biggr)^{\alpha -1}f(s) \frac{ds}{s} \\ &\quad{}+\sum_{i=1}^{k}\frac{\ln t^{3-\alpha }(\log _{t_{i}}t)^{\alpha -2}}{ \varGamma (\alpha -1)} \int _{t_{i-1}}^{t_{i}}\biggl(\ln \frac{t_{i}}{s} \biggr)^{ \alpha -2}f(s)\frac{ds}{s} \\ &\quad {}+\frac{1}{\varGamma (\alpha )} \int _{t_{k}}^{t}\biggl( \ln \frac{t}{s} \biggr)^{\alpha -1}f(s)\frac{ds}{s}, \quad k=1,2,\dots ,m, \end{aligned}$$
(3.2)

where

$$\begin{aligned} &\mathcal{A}_{0}(\alpha )=\ln \frac{t}{T}(\ln T)^{2-\alpha }, \\ &\mathcal{A}_{1i}(\alpha )=(\alpha -1) (\ln t-\alpha +2) (\ln t_{i})^{3- \alpha }-\frac{(\alpha -2)(\ln t^{2}-\alpha +1)(\ln t_{i})^{2-\alpha }}{\ln t_{i}}, \\ &\mathcal{A}_{2i}(\alpha )=\ln t^{t_{i}(3-\alpha )}(\ln t_{i})^{2- \alpha }, \\ &\mathcal{A}_{3}(\alpha )=\bigl(\alpha -1-\log _{T}t^{\alpha -2} \bigr) (\ln t)^{2- \alpha }, \\ &\mathcal{A}_{4}(\alpha )=\log _{T}\frac{t}{T^{\alpha -1}}(\ln T)^{2- \alpha } \quad \textit{and} \\ &\mathcal{A}_{5i}(\alpha )= \biggl[\ln \frac{t^{\alpha -1}}{T^{\alpha -2}}+\log _{t_{i}} \biggl(\frac{Tt_{i}}{t ^{2}} \biggr)^{\alpha -2} \biggr](\ln t_{i})^{2-\alpha }. \end{aligned}$$

Proof

Consider

$$ {}_{H}\mathfrak{D}^{\alpha }p(t)=f(t), \quad 1< \alpha \leq 2, t\in \mathcal{J}. $$
(3.3)

For \(t\in (1,t_{1}]\), Lemma 2.3 gives

$$\begin{aligned} \begin{aligned} &p(t)= c_{1}(\ln t)^{\alpha -1}+c_{2}( \ln t)^{\alpha -2}+\frac{1}{ \varGamma (\alpha )} \int _{1}^{t}\biggl(\ln \frac{t}{s} \biggr)^{\alpha -1}f(s) \frac{ds}{s}, \\ &p'(t)= \frac{c_{1}(\alpha -1)}{t}(\ln t)^{\alpha -2}+\frac{c_{2}( \alpha -2)}{t}( \ln t)^{\alpha -3}+\frac{1}{\varGamma (\alpha -1)} \int _{1}^{t}\frac{1}{t}\biggl(\ln \frac{t}{s}\biggr)^{\alpha -2}f(s)\frac{ds}{s}. \end{aligned} \end{aligned}$$
(3.4)

Again from Lemma 2.3, for \(t\in (t_{1},t_{2}]\)

$$\begin{aligned} \begin{aligned} &p(t) =b_{1}(\ln t)^{\alpha -1}+b_{2}( \ln t)^{\alpha -2}+\frac{1}{ \varGamma (\alpha )} \int _{t_{1}}^{t}\biggl(\ln \frac{t}{s} \biggr)^{\alpha -1}f(s) \frac{ds}{s}, \\ &p'(t) =\frac{b_{1}(\alpha -1)}{t}(\ln t)^{\alpha -2}+\frac{b_{2}( \alpha -2)}{t}( \ln t)^{\alpha -3}+\frac{1}{\varGamma (\alpha -1)} \int _{t_{1}}^{t}\frac{1}{t}\biggl(\ln \frac{t}{s}\biggr)^{\alpha -2}f(s)\frac{ds}{s}. \end{aligned} \end{aligned}$$
(3.5)

Using initial impulses

$$\begin{aligned} &\begin{aligned} b_{1}&=c_{1}-(\alpha -2) (\ln t_{1})^{1-\alpha } \mathcal{I}_{1}\bigl(p(t _{1})\bigr)+t_{1}(\ln t_{1})^{2-\alpha }\mathcal{\widetilde{I}}_{1}\bigl(p(t _{1})\bigr)\\ &\quad {}+\frac{(\ln t_{1})^{2-\alpha }}{\varGamma (\alpha -1)} \int _{1}^{t_{1}}\biggl(\ln \frac{t_{1}}{s} \biggr)^{\alpha -2}f(s)\frac{ds}{s} \\ &\quad{}-\frac{(\alpha -2)(\ln t_{1})^{1-\alpha }}{\varGamma (\alpha )} \int _{1}^{t_{1}}\biggl(\ln \frac{t_{1}}{s} \biggr)^{\alpha -1}f(s)\frac{ds}{s}, \end{aligned} \\ &\begin{aligned} b_{2}&=c_{2}+(\alpha -1) (\ln t_{1})^{2-\alpha } \mathcal{I}_{1}\bigl(p(t _{1})\bigr)-t_{1}(\ln t_{1})^{3-\alpha }\mathcal{\widetilde{I}}_{1}\bigl(p(t _{1})\bigr)\\ &\quad {}-\frac{(\ln t_{1})^{3-\alpha }}{\varGamma (\alpha -1)} \int _{1}^{t_{1}}\biggl(\ln \frac{t_{1}}{s} \biggr)^{\alpha -2}f(s)\frac{ds}{s} \\ &\quad{}+\frac{(\alpha -1)(\ln t_{1})^{2-\alpha }}{\varGamma (\alpha )} \int _{1}^{t_{1}}\biggl(\ln \frac{t_{1}}{s} \biggr)^{\alpha -1}f(s)\frac{ds}{s}. \end{aligned} \end{aligned}$$

Substituting the values of \(b_{1}\), \(b_{2}\) in (3.5)

$$\begin{aligned} p(t)&=c_{1}(\ln t)^{\alpha -1}+c_{2}(\ln t)^{\alpha -2}+\bigl((\alpha -1)-( \alpha -2)\log _{t_{1}}t\bigr) (\log _{t_{1}}t)^{\alpha -2}\mathcal{I}_{1}\bigl(p(t _{1})\bigr) \\ &\quad{}+t_{1}(\ln t-\ln t_{1}) (\log _{t_{1}}t)^{\alpha -2} \mathcal{ \widetilde{I}}_{1}\bigl(p(t_{1})\bigr)\\ &\quad {}+ \frac{(\ln t-\ln t_{1})(\log _{t_{1}}t)^{ \alpha -2}}{\varGamma (\alpha -1)} \int _{1}^{t_{1}} \biggl(\ln \frac{t _{1}}{s} \biggr)^{\alpha -2}f(s)\frac{ds}{s} \\ &\quad{}+\frac{((\alpha -1)-(\alpha -2)\log _{t_{1}}t)(\log _{t_{1}}t)^{ \alpha -2}}{\varGamma (\alpha )} \int _{1}^{t_{1}}\biggl(\ln \frac{t_{1}}{s} \biggr)^{ \alpha -1}f(s)\frac{ds}{s}\\ &\quad {}+\frac{1}{\varGamma (\alpha )} \int _{t_{1}}^{t}\biggl( \ln \frac{t}{s} \biggr)^{\alpha -1}f(s)\frac{ds}{s}. \end{aligned}$$

Similarly for \(t\in (t_{k},T)\)

$$\begin{aligned} p(t)&= c_{1}(\ln t)^{\alpha -1}+c_{2}(\ln t)^{\alpha -2}+\sum_{i=1} ^{k}\bigl(( \alpha -1)-(\alpha -2)\log _{t_{i}}t\bigr) (\log _{t_{i}}t)^{\alpha -2} \mathcal{I}_{i}\bigl(p(t_{i})\bigr) \\ &\quad{}+\sum_{i=1}^{k}t_{i}( \ln t-\ln t_{i}) (\log _{t_{i}}t)^{\alpha -2}\mathcal{ \widetilde{I}}_{i}\bigl(p(t_{i})\bigr)\\ &\quad {}+\sum _{i=1}^{k}\frac{(\ln t-\ln t_{i})( \log _{t_{i}}t)^{\alpha -2}}{\varGamma (\alpha -1)} \int _{t_{i-1}} ^{t_{i}} \biggl(\ln \frac{t_{i}}{s} \biggr)^{\alpha -2}f(s)\frac{ds}{s} \\ &\quad{}+\sum_{i=1}^{k} \frac{((\alpha -1)-(\alpha -2)\log _{t_{i}}t)(\log _{t _{i}}t)^{\alpha -2}}{\varGamma (\alpha )} \int _{t_{i-1}}^{t_{i}}\biggl(\ln \frac{t _{i}}{s} \biggr)^{\alpha -1}f(s)\frac{ds}{s} \\ &\quad{}+\frac{1}{\varGamma (\alpha )} \int _{t_{k}}^{t}\biggl(\ln \frac{t}{s} \biggr)^{ \alpha -1}f(s)\frac{ds}{s}. \end{aligned}$$
(3.6)

Similarly for \(t\in (t_{k},T)\)

$$\begin{aligned} p'(t)&= \frac{c_{1}(\alpha -1)(\ln t)^{\alpha -2}}{t}+\frac{c_{2}( \alpha -2)(\ln t)^{\alpha -3}}{t}\\ &\quad {}+\sum _{i=1}^{k}\frac{(\alpha -1)( \alpha -2)(\log _{t}e-\log _{e}t_{i})(\log _{t_{i}}t)^{\alpha -2}}{t} \mathcal{I}_{i}\bigl(p(t_{i})\bigr) \\ &\quad{}+\sum_{i=1}^{k} \frac{t_{i}((\alpha -1)-(\alpha -2)\log _{t}t_{i})( \log _{t_{i}}t)^{\alpha -2}}{t}\mathcal{\widetilde{I}}_{i}\bigl(p(t_{i}) \bigr)\\ &\quad {}+\frac{1}{t \varGamma (\alpha -1)} \int _{t_{k}}^{t}\biggl(\ln \frac{t}{s} \biggr)^{\alpha -2}f(s) \frac{ds}{s} \\ &\quad{}+\sum_{i=1}^{k} \frac{((\alpha -1)-(\alpha -2)\log _{t}t_{i})(\log _{t _{i}}t)^{\alpha -2}}{t\varGamma (\alpha -1)} \int _{t_{i-1}}^{t_{i}} \biggl(\ln \frac{t_{i}}{s} \biggr)^{\alpha -2}f(s)\frac{ds}{s} \\ &\quad{}+\sum_{i=1}^{k}\frac{(\alpha -1)(\alpha -2)(\log _{t}e-\log _{e}t_{i})( \log _{t_{i}}t)^{\alpha -2}}{t\varGamma (\alpha )} \int _{t_{i-1}} ^{t_{i}}\biggl(\ln \frac{t_{i}}{s} \biggr)^{\alpha -1}f(s)\frac{ds}{s}. \end{aligned}$$
(3.7)

Utilizing boundary conditions \(p(T)=\int _{1}^{T}\frac{(\ln \frac{T}{s})^{\alpha -1}}{\varGamma (\alpha )}\phi (s,p(s))\frac{ds}{s}\) and \(p'(T)=\varphi (p)\), we obtain

$$\begin{aligned}& c_{1} = T\varphi (p) (\ln T)^{2-\alpha }- \frac{(\ln T)^{1-\alpha }( \alpha -2)}{\varGamma (\alpha )} \int _{1}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\alpha -1} \phi \bigl(s,p(s)\bigr)\frac{ds}{s}\\& \hphantom{c_{1} =}{}+ \frac{(\ln T)^{1-\alpha }}{\varGamma (\alpha )} \int _{t_{k}}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\alpha -1}f(s)\frac{ds}{s} \\& \hphantom{c_{1} =}{}+\sum_{i=1}^{k}\biggl(\ln t_{i}^{\alpha -1}-\frac{\alpha -2}{\ln t_{i}}\biggr) ( \ln t_{i})^{2-\alpha }\mathcal{I}_{i}\bigl(p(t_{i}) \bigr)-(\alpha -2)\sum_{i=1} ^{k}t_{i}( \ln t_{i})^{2-\alpha }\mathcal{\widetilde{I}}_{i} \bigl(p(t_{i})\bigr) \\& \hphantom{c_{1} =}{}-\frac{\alpha -2}{\varGamma (\alpha -1)}\sum_{i=1}^{k}( \ln t_{i})^{2- \alpha } \int _{t_{i-1}}^{t_{i}}\biggl(\ln \frac{t_{i}}{s} \biggr)^{\alpha -2}f(s) \frac{ds}{s}-\frac{(\ln T)^{2-\alpha }}{\varGamma (\alpha -1)} \int _{t _{k}}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\alpha -2}f(s)\frac{ds}{s} \\& \hphantom{c_{1} =}{}+\frac{1}{\varGamma (\alpha )}\sum_{i=1}^{k} \biggl(\ln t_{i}^{\alpha -1}-\frac{ \alpha -2}{\ln t_{i}}\biggr) (\ln t_{i})^{2-\alpha } \int _{t_{i-1}}^{t_{i}}\biggl( \ln \frac{t_{i}}{s} \biggr)^{\alpha -1}f(s)\frac{ds}{s}, \\& c_{2}= \frac{(\ln T)^{2-\alpha }}{\varGamma (\alpha -1)} \int _{1}^{T}\biggl( \ln \frac{T}{s} \biggr)^{\alpha -1}\phi \bigl(s,p(s)\bigr)\frac{ds}{s}-T\varphi (p) ( \ln T)^{3-\alpha }+\sum_{i=1}^{k}t_{i}( \ln t_{i})^{3-\alpha }\mathcal{ \widetilde{I}}_{i} \bigl(p(t_{i})\bigr) \\& \hphantom{c_{2}=}{}+(\alpha -1)\sum_{i=1}^{k}\bigl( \ln T^{(\alpha -2)(\log _{t_{i}}e-\log _{e}t_{i})}-1\bigr) (\ln t_{i})^{2-\alpha } \mathcal{I}_{i}\bigl(p(t_{i})\bigr)\\& \hphantom{c_{2}=}{}+\frac{( \ln T)^{3-\alpha }}{\varGamma (\alpha -1)} \int _{t_{k}}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\alpha -2}f(s)\frac{ds}{s} \\& \hphantom{c_{2}=}{}+\frac{1}{\varGamma (\alpha -1)}\sum_{i=1}^{k} \bigl(\ln T^{(\alpha -2)( \log _{t_{i}}e-\log _{e}t_{i})}-1\bigr) (\ln t_{i})^{2-\alpha } \int _{t_{i-1}} ^{t_{i}}\biggl(\ln \frac{t_{i}}{s} \biggr)^{\alpha -1}f(s)\frac{ds}{s} \\& \hphantom{c_{2}=}{}+\frac{1}{\varGamma (\alpha -1)}\sum_{i=1}^{k}( \ln t_{i})^{3-\alpha } \int _{t_{i-1}}^{t_{i}}\biggl(\ln \frac{t_{i}}{s} \biggr)^{\alpha -2}f(s) \frac{ds}{s}\\& \hphantom{c_{2}=}{}-\frac{(\ln T)^{2-\alpha }}{\varGamma (\alpha -1)} \int _{t _{i}}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\alpha -1}f(s)\frac{ds}{s}, \quad k=1,2,\dots ,m. \end{aligned}$$

Substituting \(c_{1}\) and \(c_{2}\) in (3.6), we obtain (3.2). □

Corollary 3.2

In view of Theorem 3.1, our coupled system (1.1) has the following solution:

$$ \textstyle\begin{cases} p(t)=T\mathcal{A}_{0}(\alpha )\varphi (p)(\ln t)^{\alpha -2}\\ \hphantom{p(t)=}{}+\sum_{i=1}^{k}\mathcal{A}_{1i}(\alpha )(\ln t)^{\alpha -2}\mathcal{I}_{i}(p _{i})+\sum_{i=1}^{k}\mathcal{A}_{2i}(\alpha )(\ln t)^{\alpha -2}\mathcal{ \widetilde{I}}_{i}(p_{i}) \\ \hphantom{p(t)=}{}+\frac{\mathcal{A}_{3}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )}\int _{1}^{T}(\ln \frac{T}{s})^{\alpha -1}\phi (s,p(s))\frac{ds}{s}\\ \hphantom{p(t)=}{}+\frac{ \mathcal{A}_{0}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha -1)} \int _{t_{k}}^{T}(\ln \frac{T}{s})^{\alpha -2}f(s,p(s),{}_{H} \mathfrak{D}^{\beta }q(s))\frac{ds}{s} \\ \hphantom{p(t)=}{}+\frac{\mathcal{A}_{4}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )}\int _{t_{k}}^{T}(\ln \frac{T}{s})^{\alpha -1}f(s,p(s),{}_{H} \mathfrak{D}^{\beta }q(s))\frac{ds}{s}\\ \hphantom{p(t)=}{}+\frac{1}{\varGamma (\alpha )} \int _{t_{k}}^{t}(\ln \frac{t}{s})^{\alpha -1}f(s,p(s),{}_{H} \mathfrak{D}^{\beta }q(s))\frac{ds}{s} \\ \hphantom{p(t)=}{}+\sum_{i=1}^{k}\frac{\mathcal{A}_{5i}(\alpha )(\ln t)^{\alpha -2}}{ \varGamma (\alpha )}\int _{t_{i-1}}^{t_{i}}(\ln \frac{t_{i}}{s})^{\alpha -1}f(s,p(s),{}_{H}\mathfrak{D}^{\beta }q(s))\frac{ds}{s} \\ \hphantom{p(t)=}{}+\sum_{i=1}^{k}\frac{\ln t^{3-\alpha }(\log _{t_{i}}t)^{\alpha -2}}{ \varGamma (\alpha -1)}\int _{t_{i-1}}^{t_{i}}(\ln \frac{t_{i}}{s})^{ \alpha -2}f(s,p(s),{}_{H}\mathfrak{D}^{\beta }q(s))\frac{ds}{s},\\ \hphantom{p(t)=} k=1,2, \dots ,m, \\ q(t)=\mathcal{A}_{0}(\beta )\varphi (q)(\ln t)^{\beta -2}\\ \hphantom{q(t)=}{}+\sum_{j=1} ^{n}\mathcal{A}_{1j}(\beta )(\ln t)^{\beta -2}\mathcal{I}_{j}(q_{j})+ \sum_{j=1}^{k}\mathcal{A}_{2j}(\beta )(\ln t)^{\beta -2}\mathcal{ \widetilde{I}}_{j}(q_{j}) \\ \hphantom{q(t)=}{}+\frac{\mathcal{A}_{3}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta )} \int _{1}^{T}(\ln \frac{T}{s})^{\beta -1}\phi (s,q(s))\frac{ds}{s}\\ \hphantom{q(t)=}{}+\frac{ \mathcal{A}_{0}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta -1)}\int _{t _{k}}^{T}(\ln \frac{T}{s})^{\beta -2}g(s,{}_{H}\mathfrak{D}^{\alpha }p(s),q(s)) \frac{ds}{s} \\ \hphantom{q(t)=}{}+\frac{\mathcal{A}_{4}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta )} \int _{t_{k}}^{T}(\ln \frac{T}{s})^{\beta -1}g(s,{}_{H}\mathfrak{D} ^{\alpha }p(s),q(s))\frac{ds}{s}\\ \hphantom{q(t)=}{}+\frac{1}{\varGamma (\beta )}\int _{t_{k}} ^{t}(\ln \frac{t}{s})^{\beta -1}g(s,{}_{H}\mathfrak{D}^{\alpha }p(s),q(s)) \frac{ds}{s} \\ \hphantom{q(t)=}{}+\sum_{j=1}^{k}\frac{\mathcal{A}_{5j}(\beta )(\ln t)^{\beta -2}}{ \varGamma (\beta )}\int _{t_{j-1}}^{t_{j}}(\ln \frac{t_{j}}{s})^{\beta -1}g(s, {}_{H}\mathfrak{D}^{\alpha }p(s),q(s))\frac{ds}{s} \\ \hphantom{q(t)=}{}+\sum_{j=1}^{k}\frac{\ln t^{3-\beta }(\log _{t_{j}}t)^{\beta -2}}{ \varGamma (\beta -1)}\int _{t_{j-1}}^{t_{j}}(\ln \frac{t_{j}}{s})^{\beta -2}g(s,{}_{H}\mathfrak{D}^{\alpha }p(s),q(s))\frac{ds}{s},\\ \hphantom{q(t)=} k=1,2, \dots ,n. \end{cases} $$
(3.8)

We use the following notations for convenience:

$$ y(t)=f\bigl(t,p(t),z(t)\bigr), z(t)=g\bigl(t,q(t),y(t)\bigr). $$

Hence, for \(t\in \mathcal{J}\), (3.8) becomes

$$ \textstyle\begin{cases} p(t)=T\mathcal{A}_{0}(\alpha )\varphi (p)(\ln t)^{\alpha -2}+\sum_{i=1}^{k}\mathcal{A}_{1i}(\alpha )(\ln t)^{\alpha -2}\mathcal{I}_{i}(p _{i})+\sum_{i=1}^{k}\mathcal{A}_{2i}(\alpha )(\ln t)^{\alpha -2}\mathcal{ \widetilde{I}}_{i}(p_{i}) \\ \hphantom{p(t)=}{}+\frac{\mathcal{A}_{3}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )}\int _{1}^{T}(\ln \frac{T}{s})^{\alpha -1}\phi (s,p(s))\frac{ds}{s}+\frac{ \mathcal{A}_{0}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha -1)} \int _{t_{k}}^{T}(\ln \frac{T}{s})^{\alpha -2}y(s)\frac{ds}{s} \\ \hphantom{p(t)=}{}+\frac{\mathcal{A}_{4}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )}\int _{t_{k}}^{T}(\ln \frac{T}{s})^{\alpha -1}y(s)\frac{ds}{s}+\sum_{i=1}^{k}\frac{\mathcal{A}_{5i}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )}\int _{t_{i-1}}^{t_{i}}(\ln \frac{t_{i}}{s})^{\alpha -1}y(s) \frac{ds}{s} \\ \hphantom{p(t)=}{}+\sum_{i=1}^{k}\frac{\ln t^{3-\alpha }(\log _{t_{i}}t)^{\alpha -2}}{ \varGamma (\alpha -1)}\int _{t_{i-1}}^{t_{i}}(\ln \frac{t_{i}}{s})^{ \alpha -2}y(s)\frac{ds}{s}+\frac{1}{\varGamma (\alpha )}\int _{t_{k}}^{t}( \ln \frac{t}{s})^{\alpha -1}y(s)\frac{ds}{s}, \\ \hphantom{p(t)=} k=1,2,\dots ,m, \\ q(t)=\mathcal{A}_{0}(\beta )\varphi (q)(\ln t)^{\beta -2}+\sum_{j=1} ^{k}\mathcal{A}_{1j}(\beta )(\ln t)^{\beta -2}\mathcal{I}_{j}(q_{j})+ \sum_{j=1}^{k}\mathcal{A}_{2j}(\beta )(\ln t)^{\beta -2}\mathcal{ \widetilde{I}}_{j}(q_{j}) \\ \hphantom{q(t)=}{}+\frac{\mathcal{A}_{3}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta )} \int _{1}^{T}(\ln \frac{T}{s})^{\beta -1}\phi (s,q(s))\frac{ds}{s}+\frac{ \mathcal{A}_{0}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta -1)}\int _{t _{k}}^{T}(\ln \frac{T}{s})^{\beta -2}z(s)\frac{ds}{s} \\ \hphantom{q(t)=}{}+\frac{\mathcal{A}_{4}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta )} \int _{t_{k}}^{T}(\ln \frac{T}{s})^{\beta -1}z(s)\frac{ds}{s}+\sum_{j=1} ^{k} \frac{\mathcal{A}_{5j}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta )} \int _{t_{j-1}}^{t_{j}}(\ln \frac{t_{j}}{s})^{\beta -1}z(s) \frac{ds}{s} \\ \hphantom{q(t)=}{}+\sum_{j=1}^{k}\frac{\ln t^{3-\beta }(\log _{t_{j}}t)^{\beta -2}}{ \varGamma (\beta -1)}\int _{t_{j-1}}^{t_{j}}(\ln \frac{t_{j}}{s})^{\beta -2}z(s)\frac{ds}{s}+\frac{1}{\varGamma (\beta )}\int _{t_{k}}^{t}(\ln \frac{t}{s})^{\beta -1}z(s)\frac{ds}{s},\\ \hphantom{p(t)=} k=1,2,\dots ,n. \end{cases} $$

If p, q are the solutions of the proposed system (1.1) and \(t\in \mathcal{J}\), then

$$\begin{aligned} p(t)&=T\mathcal{A}_{0}(\alpha )\varphi (p) (\ln t)^{\alpha -2}+\sum _{i=1}^{k}\mathcal{A}_{1i}(\alpha ) (\ln t)^{\alpha -2}\mathcal{I}_{i}(p _{i})+\sum _{i=1}^{k}\mathcal{A}_{2i}(\alpha ) (\ln t)^{\alpha -2}\mathcal{ \widetilde{I}}_{i}(p_{i}) \\ &\quad{}+\frac{\mathcal{A}_{3}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )} \int _{1}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\alpha -1}\phi \bigl(s,p(s)\bigr)\frac{ds}{s}\\ &\quad{}+\frac{ \mathcal{A}_{0}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha -1)} \int _{t_{k}}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\alpha -2}f\bigl(s,p(s),z(s)\bigr) \frac{ds}{s} \\ &\quad{}+\frac{\mathcal{A}_{4}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )} \int _{t_{k}}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\alpha -1}f\bigl(s,p(s),z(s)\bigr) \frac{ds}{s}\\ &\quad{}+ \frac{1}{\varGamma (\alpha )} \int _{t_{k}}^{t}\biggl(\ln \frac{t}{s} \biggr)^{\alpha -1}f\bigl(s,p(s),z(s)\bigr)\frac{ds}{s} \\ &\quad{}+\sum_{i=1}^{k}\frac{\mathcal{A}_{5i}(\alpha )(\ln t)^{\alpha -2}}{ \varGamma (\alpha )} \int _{t_{i-1}}^{t_{i}}\biggl(\ln \frac{t_{i}}{s} \biggr)^{\alpha -1}f\bigl(s,p(s),z(s)\bigr)\frac{ds}{s} \\ &\quad{}+\sum_{i=1}^{k}\frac{\ln t^{3-\alpha }(\log _{t_{i}}t)^{\alpha -2}}{ \varGamma (\alpha -1)} \int _{t_{i-1}}^{t_{i}}\biggl(\ln \frac{t_{i}}{s} \biggr)^{ \alpha -2}f\bigl(s,p(s),z(s)\bigr)\frac{ds}{s}, \quad k=1,2,\dots ,m, \end{aligned}$$

and

$$\begin{aligned} q(t)&=\mathcal{A}_{0}(\beta )\varphi (q) (\ln t)^{\beta -2}+\sum _{j=1} ^{k}\mathcal{A}_{1j}(\beta ) (\ln t)^{\beta -2}\mathcal{I}_{j}(q_{j})+ \sum _{j=1}^{k}\mathcal{A}_{2j}(\beta ) (\ln t)^{\beta -2}\mathcal{ \widetilde{I}}_{j}(q_{j}) \\ &\quad{}+\frac{\mathcal{A}_{3}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta )} \int _{1}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\beta -1}\phi \bigl(s,q(s)\bigr)\frac{ds}{s}\\ &\quad{}+\frac{ \mathcal{A}_{0}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta -1)} \int _{t _{k}}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\beta -2}g\bigl(s,q(s),y(s)\bigr)\frac{ds}{s} \\ &\quad{}+\frac{\mathcal{A}_{4}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta )} \int _{t_{k}}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\beta -1}g\bigl(s,q(s),y(s)\bigr) \frac{ds}{s}\\ &\quad{}+ \frac{1}{\varGamma (\beta )} \int _{t_{k}}^{t}\biggl(\ln \frac{t}{s} \biggr)^{\beta -1}g\bigl(s,q(s),y(s)\bigr)\frac{ds}{s} \\ &\quad{}+\sum_{j=1}^{k}\frac{\mathcal{A}_{5j}(\beta )(\ln t)^{\beta -2}}{ \varGamma (\beta )} \int _{t_{j-1}}^{t_{j}}\biggl(\ln \frac{t_{j}}{s} \biggr)^{\beta -1}g\bigl(s,q(s),y(s)\bigr) \frac{ds}{s} \\ &\quad{}+\sum_{j=1}^{k}\frac{\ln t^{3-\beta }(\log _{t_{j}}t)^{\beta -2}}{ \varGamma (\beta -1)} \int _{t_{j-1}}^{t_{j}}\biggl(\ln \frac{t_{j}}{s} \biggr)^{\beta -2}g\bigl(s,q(s),y(s)\bigr)\frac{ds}{s}, \quad k=1,2,\dots ,n. \end{aligned}$$

Now, we transform the proposed system (1.1) into a fixed point problem. Let the operators \(\mathbb{F},\mathbb{G}:\mathcal{E}\rightarrow \mathcal{E}\) be defined as

$$ \begin{aligned} &\mathbb{F}(p,q) (t)=\bigl(\mathbb{F}_{1}p(t),\mathbb{F}_{2}q(t) \bigr), \\ &\mathbb{G}(p,q) (t)=\bigl(\mathbb{G}_{1}(p,y) (t), \mathbb{G}_{2}(q,z) (t)\bigr), \\ & \mathbb{F}(p,q) (t)\\ &\quad = \textstyle\begin{cases} \mathbb{F}_{1}(p(t))=T\mathcal{A}_{0}(\alpha )\varphi (p)(\ln t)^{ \alpha -2}\\ \hphantom{\mathbb{F}_{1}(p(t))=}{}+\sum_{i=1}^{k}\mathcal{A}_{1i}(\alpha )(\ln t)^{\alpha -2} \mathcal{I}_{i}(p_{i})+\sum_{i=1}^{k}\mathcal{A}_{2i}(\alpha )(\ln t)^{ \alpha -2}\mathcal{\widetilde{I}}_{i}(p_{i}) \\ \hphantom{\mathbb{F}_{1}(p(t))=}{}+\frac{\mathcal{A}_{3}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )}\int _{1}^{T}(\ln \frac{T}{s})^{\alpha -1}\phi (s,p(s))\frac{ds}{s}, \quad k=1,2,\dots ,m, \\ \mathbb{F}_{2}(q(t))=\mathcal{A}_{0}(\beta )\varphi (q)(\ln t)^{ \beta -2}\\ \hphantom{\mathbb{F}_{2}(q(t))=}{}+\sum_{j=1}^{k}\mathcal{A}_{1j}(\beta )(\ln t)^{\beta -2} \mathcal{I}_{j}(q_{j})+\sum_{j=1}^{k}\mathcal{A}_{2j}(\beta )(\ln t)^{ \beta -2}\mathcal{\widetilde{I}}_{j}(q_{j}) \\ \hphantom{\mathbb{F}_{2}(q(t))=}{}+\frac{\mathcal{A}_{3}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta )} \int _{1}^{T}(\ln \frac{T}{s})^{\beta -1}\phi (s,q(s))\frac{ds}{s}, \quad k=1,2,\dots ,n, \end{cases}\displaystyle \end{aligned} $$
(3.9)

and

$$ \begin{aligned}[b] &\mathbb{G}(p,q) (t)\\ &\quad = \textstyle\begin{cases} \mathbb{G}_{1}(p,q)(t)=\frac{\mathcal{A}_{0}(\alpha )(\ln t)^{ \alpha -2}}{\varGamma (\alpha -1)}\int _{t_{k}}^{T}(\ln \frac{T}{s})^{ \alpha -2}f(s,p(s),{}_{H}\mathfrak{D}^{\beta }q(s))\frac{ds}{s}\\ \hphantom{\mathbb{G}_{1}(p,q)(t)=}{}+\frac{ \mathcal{A}_{4}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )}\int _{t_{k}}^{T}(\ln \frac{T}{s})^{\alpha -1} f(s,p(s),{}_{H}\mathfrak{D}^{\beta }q(s))\frac{ds}{s} \\ \hphantom{\mathbb{G}_{1}(p,q)(t)=}{}+\sum_{i=1}^{k}\frac{\mathcal{A}_{5i}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )}\int _{t_{i-1}}^{t_{i}}(\ln \frac{t_{i}}{s})^{\alpha -1}f(s,p(s), {}_{H}\mathfrak{D}^{\beta }q(s))\frac{ds}{s} \\ \hphantom{\mathbb{G}_{1}(p,q)(t)=}{}+\sum_{i=1}^{k}\frac{\ln t^{3-\alpha }(\log _{t_{i}}t)^{\alpha -2}}{ \varGamma (\alpha -1)}\int _{t_{i-1}}^{t_{i}}(\ln \frac{t_{i}}{s})^{ \alpha -2}f(s,p(s),{}_{H}\mathfrak{D}^{\beta }q(s))\frac{ds}{s} \\ \hphantom{\mathbb{G}_{1}(p,q)(t)=}{}+\frac{1}{\varGamma (\alpha )}\int _{t_{k}}^{t}(\ln \frac{t}{s})^{ \alpha -1}f(s,p(s),{}_{H}\mathfrak{D}^{\beta }q(s))\frac{ds}{s}, \quad k=1,2,\dots ,m, \\ \mathbb{G}_{2}(p,q)(t)=\frac{\mathcal{A}_{0}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta -1)}\int _{t_{k}}^{T}(\ln \frac{T}{s})^{\beta -2}g(s,q(s), {}_{H}\mathfrak{D}^{\alpha }p(s))\frac{ds}{s}\\ \hphantom{\mathbb{G}_{2}(p,q)(t)=}{}+\frac{\mathcal{A}_{4}( \beta )(\ln t)^{\beta -2}}{\varGamma (\beta )}\int _{t_{k}}^{T}(\ln \frac{T}{s})^{\beta -1} g(s,q(s),{}_{H}\mathfrak{D}^{\alpha }p(s))\frac{ds}{s} \\ \hphantom{\mathbb{G}_{2}(p,q)(t)=}{}+\sum_{j=1}^{k}\frac{\mathcal{A}_{5j}(\beta )(\ln t)^{\beta -2}}{\varGamma ( \beta )}\int _{t_{j-1}}^{t_{j}}(\ln \frac{t_{j}}{s})^{\beta -1}g(s,q(s), {}_{H}\mathfrak{D}^{\alpha }p(s))\frac{ds}{s} \\ \hphantom{\mathbb{G}_{2}(p,q)(t)=}{}+\sum_{j=1}^{k}\frac{\ln t^{3-\beta }(\log _{t_{j}}t)^{\beta -2}}{ \varGamma (\beta -1)}\int _{t_{j-1}}^{t_{j}}(\ln \frac{t_{j}}{s})^{\beta -2}g(s,q(s),{}_{H}\mathfrak{D}^{\alpha }p(s))\frac{ds}{s} \\ \hphantom{\mathbb{G}_{2}(p,q)(t)=}{}+\frac{1}{\varGamma (\beta )}\int _{t_{j}}^{t}(\ln \frac{t}{s})^{\beta -1}g(s,q(s),{}_{H}\mathfrak{D}^{\alpha }p(s))\frac{ds}{s}, \quad k=1,2,\dots ,n. \end{cases}\displaystyle \end{aligned} $$
(3.10)

For further analysis, the following assumptions need to hold:

\((\mathbf{H}_{1})\) :

For \(t\in \mathcal{J}\) and \(p,y\in \mathbb{R}\), there are \(o_{1},\rho _{1},\varrho _{1}\in \mathcal{C}( \mathcal{J},\mathbb{R}^{+})\), such that

$$ \bigl\vert f\bigl(t,p(t),y(t)\bigr) \bigr\vert \leq o_{1}(t)+\rho _{1}(t) \bigl\vert p(t) \bigr\vert +\varrho _{1}(t) \bigl\vert y(t) \bigr\vert $$

with \(o_{1}^{*}=\sup_{t\in \mathcal{J}}o_{1}(t)\), \(\rho _{1}^{*}= \sup_{t\in \mathcal{J}}\rho _{1}(t)\) and \(\varrho _{1}^{*}= \sup_{t\in \mathcal{J}}\varrho _{1}(t)<1\).

Similarly, for \(t\in \mathcal{J}\) and \(q,z\in \mathbb{R}\), there are \(o_{2},\rho _{2},\varrho _{2}\in \mathcal{C}(\mathcal{J},\mathbb{R}^{+})\), such that

$$ \bigl\vert g\bigl(t,q(t),z(t)\bigr) \bigr\vert \leq o_{2}(t)+\rho _{2}(t) \bigl\vert q(t) \bigr\vert +\varrho _{2}(t) \bigl\vert z(t) \bigr\vert $$

with \(o_{2}^{*}=\sup_{t\in \mathcal{J}}o_{2}(t)\), \(\rho _{2}^{*}= \sup_{t\in \mathcal{J}}\rho _{2}(t)\) and \(\varrho _{2}^{*}= \sup_{t\in \mathcal{J}}\varrho _{2}(t)<1\).

\((\mathbf{H}_{2})\) :

\(\varphi ,I_{k},\widetilde{I}_{k}: \mathbb{R}\rightarrow \mathbb{R}\) is continuous and there exist constants \(\mathcal{M}_{\varphi }, \mathcal{M}_{\mathcal{I}},\mathcal{M}_{\mathcal{ \widetilde{I}}},\mathcal{M'}_{\mathcal{I}},\mathcal{M'}_{\mathcal{ \widetilde{I}}}, \mathcal{\widetilde{M}}_{\varphi },\mathcal{ \widetilde{M}}_{\mathcal{I}},\mathcal{\widetilde{M}}_{\mathcal{ \widetilde{I}}}, \mathcal{\widetilde{M}'}_{\mathcal{I}},\mathcal{ \widetilde{M}'}_{\mathcal{\widetilde{I}}}>0\) such that for any \((p,q)\in \mathcal{E}\)

$$\begin{aligned}& \bigl\vert \varphi (p) \bigr\vert \leq \mathcal{M}_{\varphi }, \qquad \bigl\vert \varphi (q) \bigr\vert \leq \mathcal{\widetilde{M}}_{\varphi }, \\& \bigl\vert \mathcal{I}_{k}\bigl(p(t)\bigr) \bigr\vert \leq \mathcal{M}_{\mathcal{I}} \vert p \vert +\mathcal{M'} _{\mathcal{I}}, \qquad \bigl\vert \mathcal{I}_{k}\bigl(q(t)\bigr) \bigr\vert \leq \mathcal{\widetilde{M}}_{\mathcal{I}} \vert q \vert + \mathcal{ \widetilde{M}'}_{\mathcal{I}}, \\& \bigl\vert \mathcal{\widetilde{I}}_{k}\bigl(p(t)\bigr) \bigr\vert \leq \mathcal{M}_{\mathcal{ \widetilde{I}}} \vert p \vert +\mathcal{M'}_{\mathcal{\widetilde{I}}}, \qquad \bigl\vert \mathcal{\widetilde{I}}_{k}\bigl(q(t)\bigr) \bigr\vert \leq \mathcal{\widetilde{M}}_{\mathcal{ \widetilde{I}}} \vert q \vert +\mathcal{ \widetilde{M}'}_{\mathcal{\widetilde{I}}}, \end{aligned}$$

where \(k=\{0,1,\dots , m\}\).

\((\mathbf{H}_{3})\) :

For \(t\in \mathcal{J}\) and \(q\in \mathbb{R}\), there are \(\omega _{1},\vartheta _{1}\in \mathcal{C}(\mathcal{J}, \mathbb{R}^{+})\), such that

$$ \bigl\vert \phi \bigl(t,p(t)\bigr) \bigr\vert \leq \omega _{1}(t)+\vartheta _{1}(t) \vert p \vert $$

with \(\omega _{1}^{*}=\sup_{t\in \mathcal{J}}\omega _{1}(t)\) and \(\vartheta _{1}^{*}=\sup_{t\in \mathcal{J}}\vartheta _{1}(t)<1\).

Similarly, for \(t\in \mathcal{J}\) and \(q\in \mathbb{R}\), there are \(\omega _{2},\vartheta _{2}\in \mathcal{C}(\mathcal{J},\mathbb{R}^{+})\), such that

$$ \bigl\vert \phi \bigl(t,q(t)\bigr) \bigr\vert \leq \omega _{2}(t)+\vartheta _{2}(t) \vert q \vert $$

with \(\omega _{2}^{*}=\sup_{t\in \mathcal{J}}\omega _{2}(t)\) and \(\vartheta _{2}^{*}=\sup_{t\in \mathcal{J}}\vartheta _{2}(t)<1\).

\((\mathbf{H}_{4})\) :

For all \(p,y,\widetilde{p},\widetilde{y} \in \mathbb{R}\) and for each \(t\in \mathcal{J}\) there exists a constant \(\mathcal{L}_{f}>0\), \(0<\mathcal{\widetilde{L}}_{f}<1\), such that

$$ \bigl\vert f\bigl(t,p(t),y(t)\bigr)-f\bigl(t,\widetilde{p}(t),\widetilde{y}(t) \bigr) \bigr\vert \leq \mathcal{L}_{f} \vert p-\widetilde{p} \vert +\mathcal{\widetilde{L}}_{f} \vert y- \widetilde{y} \vert . $$

Similarly, for all \(q,z,\widetilde{q},\widetilde{z}\in \mathbb{R}\) and for each \(t\in \mathcal{J}\) there exists a constant \(\mathcal{L}_{g}>0\), \(0<\mathcal{\widetilde{L}}_{g}<1\), such that

$$ \bigl\vert g\bigl(t,q(t),z(t)\bigr)-g\bigl(t,\widetilde{q}(t),\widetilde{z}(t) \bigr) \bigr\vert \leq \mathcal{L}_{g} \vert q-\widetilde{q} \vert +\mathcal{\widetilde{L}}_{g} \vert z- \widetilde{z} \vert . $$
\((\mathbf{H}_{5})\) :

\(I_{k},\widetilde{I}_{k}:\mathbb{R}\rightarrow \mathbb{R}\) is continuous and there exist constants \(\mathcal{L}_{I}, \mathcal{L}_{\widetilde{I}},\mathcal{\widetilde{L}}_{I},\mathcal{ \widetilde{L}}_{\widetilde{I}}>0\) such that for any \((p,q),( \widetilde{p},\widetilde{q})\in \mathcal{E}\)

$$\begin{aligned}& \bigl\vert I_{k}\bigl(p(t)\bigr)-I_{k}\bigl( \widetilde{p}(t)\bigr) \bigr\vert \leq \mathcal{L}_{I} \vert p- \widetilde{p} \vert , \qquad \bigl\vert I_{k}\bigl(q(t) \bigr)-I_{k}\bigl(\widetilde{q}(t)\bigr) \bigr\vert \leq \mathcal{ \widetilde{L}}_{I} \vert q- \widetilde{q} \vert , \\& \bigl\vert \widetilde{I}_{k}\bigl(p(t)\bigr)-\widetilde{I}_{k} \bigl(\widetilde{p}(t)\bigr) \bigr\vert \leq \mathcal{L}_{\widetilde{I}} \vert p-\widetilde{p} \vert , \qquad \bigl\vert \widetilde{I}_{k} \bigl(q(t)\bigr)-\widetilde{I}_{k}\bigl(\widetilde{q}(t)\bigr) \bigr\vert \leq \mathcal{ \widetilde{L}}_{\widetilde{I}} \vert q-\widetilde{q} \vert . \end{aligned}$$
\((\mathbf{H}_{6})\) :

For all \(p,\widetilde{p}\in \mathbb{R}\) and for each \(t\in \mathcal{J}\) there exists a constant \(\mathcal{L}_{ \phi },\mathcal{L}_{\varphi }>0\), such that

$$ \bigl\vert \phi \bigl(t,p(t)\bigr)-\phi \bigl(t,\widetilde{p}(t)\bigr) \bigr\vert \leq \mathcal{L}_{\phi } \vert p- \widetilde{p} \vert , \qquad \bigl\vert \varphi (p)-\varphi (\widetilde{p}) \bigr\vert \leq \mathcal{L}_{\varphi } \vert p- \widetilde{p} \vert . $$

Similarly, for all \(q,\widetilde{q}\in \mathbb{R}\) and for each \(t\in \mathcal{J}\) there exists a constant \(\mathcal{\widetilde{L}} _{\phi },\mathcal{\widetilde{L}}_{\varphi }>0\), such that

$$ \bigl\vert \phi \bigl(t,q(t)\bigr)-\phi \bigl(t,\widetilde{q}(t)\bigr) \bigr\vert \leq \mathcal{\widetilde{L}} _{\phi } \vert q-\widetilde{q} \vert , \qquad \bigl\vert \varphi (q)-\varphi (\widetilde{q}) \bigr\vert \leq \mathcal{\widetilde{L}}_{ \varphi } \vert q-\widetilde{q} \vert . $$

Here we use Kransnoselskii’s fixed point theorem to show that the operator \(\mathbb{F}+\mathbb{G}\) has at least one fixed point. Therefore, we choose a closed ball

$$\begin{aligned} \mathcal{E}_{r}=\biggl\{ (p,q)\in \mathcal{E}, \bigl\Vert (p,q) \bigr\Vert \leq r, \Vert p \Vert \leq \frac{r}{2} \text{ and } \Vert q \Vert \leq \frac{r}{2}\biggr\} \subset \mathcal{E}, \end{aligned}$$

where

$$\begin{aligned} r\geq \frac{\mathcal{M}_{1}^{*}+\mathcal{M}_{1}^{**}+\frac{ (o_{1} ^{*}+\varrho _{1}^{*}o_{2}^{*} )\mathcal{M}_{3}^{*}+ (o_{2}^{*}+ \varrho _{2}^{*}o_{1}^{*} )\mathcal{M}_{3}^{**}}{\varrho _{1}^{*} \varrho _{2}^{*}-1}}{1-\mathcal{M}_{2}^{*}-\mathcal{M}_{2}^{**}-\frac{ \varUpsilon _{1}^{*}\mathcal{M}_{2}^{*}+\varUpsilon _{2}^{*}\mathcal{M}_{2} ^{**}}{\varrho _{1}^{*}\varrho _{2}^{*}-1}}. \end{aligned}$$

Theorem 3.3

If assumptions \((\mathbf{H}_{1})\)\((\mathbf{H}_{6})\) are true, then (1.1) has at least one solution.

Proof

For any \((p,q)\in \mathcal{E}_{r}\), we have

$$\begin{aligned} \bigl\Vert \mathbb{F}(p,q)+\mathbb{G}(p,q) \bigr\Vert _{\mathcal{E}}\leq \bigl\Vert \mathbb{F} _{1}(p) \bigr\Vert _{\mathcal{E}_{1}}+ \bigl\Vert \mathbb{F}_{2}(q) \bigr\Vert _{\mathcal{E}_{2}}+ \bigl\Vert \mathbb{G}_{1}(p,q) \bigr\Vert _{\mathcal{E}_{1}}+ \bigl\Vert \mathbb{G}_{2}(p,q) \bigr\Vert _{ \mathcal{E}_{2}}. \end{aligned}$$
(3.11)

From (3.9), we get

$$\begin{aligned} \bigl\vert \mathbb{F}_{1}p(t) (\ln t)^{2-\alpha } \bigr\vert & \leq T \bigl\vert \mathcal{A}_{0}(\alpha ) \bigr\vert \bigl\vert \varphi (p) \bigr\vert +\sum_{i=1}^{k} \bigl\vert \mathcal{A}_{1i}(\alpha ) \bigr\vert \bigl\vert \mathcal{I}_{i}\bigl(p(t_{i})\bigr) \bigr\vert +\sum _{i=1}^{k} \bigl\vert \mathcal{A}_{2i}( \alpha ) \bigr\vert \bigl\vert \mathcal{ \widetilde{I}}_{i}\bigl(p(t_{i})\bigr) \bigr\vert \\ &\quad{}+\frac{ \vert \mathcal{A}_{3}(\alpha ) \vert }{\varGamma (\alpha )} \int _{1}^{T} \biggl\vert \biggl( \ln \frac{T}{s}\biggr)^{\alpha -1} \biggr\vert \bigl\vert \phi \bigl(s,p(s)\bigr) \bigr\vert \frac{ds}{s}, \quad k=1,2,\dots ,m. \end{aligned}$$

This implies that

$$\begin{aligned} \bigl\Vert \mathbb{F}_{1}(p) \bigr\Vert _{\mathcal{E}_{1}}&\leq T \mathcal{M}_{\varphi } \bigl\vert \mathcal{A}_{0}(\alpha ) \bigr\vert +k\mathcal{M'}_{\mathcal{I}} \bigl\vert \mathcal{A}_{1}( \alpha ) \bigr\vert +k\mathcal{M'}_{\mathcal{\widetilde{I}}} \bigl\vert \mathcal{A}_{2}( \alpha ) \bigr\vert +k \mathcal{M}_{\mathcal{I}} \bigl\vert \mathcal{A}_{1}(\alpha ) \bigr\vert \Vert p \Vert \\ &\quad{}+k\mathcal{M}_{\mathcal{\widetilde{I}}} \bigl\vert \mathcal{A}_{2}( \alpha ) \bigr\vert \Vert p \Vert -\frac{ \vert \mathcal{A}_{3}(\alpha ) \vert (\omega ^{*}_{1}+\vartheta ^{*}_{1} \Vert p \Vert )}{\varGamma (\alpha +1)} \bigl\vert (\ln T)^{\alpha } \bigr\vert \\ &\leq \mathcal{M}_{1}^{*}+\mathcal{M}_{2}^{*} \Vert p \Vert . \end{aligned}$$
(3.12)

Similarly, we can obtain

$$\begin{aligned} \bigl\Vert \mathbb{F}_{2}(q) \bigr\Vert _{\mathcal{E}_{2}}\leq \mathcal{M}_{1}^{**}+ \mathcal{M}_{2}^{**} \Vert q \Vert , \end{aligned}$$
(3.13)

where

$$\begin{aligned} &\begin{aligned}\mathcal{M}_{1}^{*}&=T\mathcal{M}_{\varphi } \bigl\vert \mathcal{A}_{0}(\alpha ) \bigr\vert +k \mathcal{M'}_{\mathcal{I}} \bigl\vert \mathcal{A}_{1}(\alpha )\bigr\vert +k\mathcal{M'}_{\mathcal{ \widetilde{I}}} \bigr\vert \mathcal{A}_{2}(\alpha )\bigr\vert \\ &\quad {}-\frac{ \vert \mathcal{A}_{3}( \alpha ) \vert \omega ^{*}_{1}}{\varGamma (\alpha +1)} \bigl\vert (\ln T)^{\alpha } \bigr\vert , \quad k=1,2,\dots ,m, \end{aligned} \\ &\mathcal{M}_{2}^{*}=k\mathcal{M}_{\mathcal{I}} \bigl\vert \mathcal{A}_{1}( \alpha ) \bigr\vert +k\mathcal{M}_{\mathcal{\widetilde{I}}} \bigl\vert \mathcal{A}_{2}( \alpha ) \bigr\vert - \frac{ \vert \mathcal{A}_{3}(\alpha ) \vert \vartheta ^{*}_{1}}{\varGamma ( \alpha +1)} \bigl\vert (\ln T)^{\alpha } \bigr\vert , \quad k=1,2, \dots ,m, \\ &\begin{aligned}\mathcal{M}_{1}^{**}&=T\mathcal{\widetilde{M}}_{\varphi } \bigl\vert \mathcal{A}_{0}(\beta ) \bigr\vert +k\mathcal{ \widetilde{M}'}_{\mathcal{I}} \bigl\vert \mathcal{A}_{1}( \beta )\bigr\vert +k\mathcal{\widetilde{M}'}_{\mathcal{ \widetilde{I}}} \bigr\vert \mathcal{A}_{2}(\beta )\bigr\vert \\ &\quad {}-\frac{ \vert \mathcal{A}_{3}( \beta ) \vert \omega ^{*}_{2}}{\varGamma (\beta +1)} \bigl\vert (\ln T)^{\beta } \bigr\vert , \quad k=1,2,\dots ,n, \end{aligned} \\ &\mathcal{M}_{2}^{**}=k\mathcal{\widetilde{M}}_{\mathcal{I}} \bigl\vert \mathcal{A}_{1}(\beta ) \bigr\vert +k\mathcal{ \widetilde{M}}_{\mathcal{ \widetilde{I}}} \bigl\vert \mathcal{A}_{2}(\beta ) \bigr\vert -\frac{ \vert \mathcal{A}_{3}( \beta ) \vert \vartheta ^{*}_{2}}{\varGamma (\beta +1)} \bigl\vert (\ln T)^{\beta } \bigr\vert , \quad k=1,2,\dots ,n. \end{aligned}$$

Also, we have

$$\begin{aligned} &\bigl\vert \mathbb{G}_{1}(p,q) (t) (\ln t)^{2-\alpha } \bigr\vert \\ &\quad \leq\frac{ \vert \mathcal{A} _{0}(\alpha ) \vert }{\varGamma (\alpha -1)} \int _{t_{k}}^{T} \biggl\vert \biggl(\ln \frac{T}{s}\biggr)^{ \alpha -2} \biggr\vert \bigl\vert y(s) \bigr\vert \frac{ds}{s}+\frac{ \vert \mathcal{A}_{4}(\alpha ) \vert }{ \varGamma (\alpha )} \int _{t_{k}}^{T} \biggl\vert \biggl(\ln \frac{T}{s}\biggr)^{\alpha -1} \biggr\vert \bigl\vert y(s) \bigr\vert \frac{ds}{s} \\ &\qquad{}+\sum_{i=1}^{k} \frac{ \vert \mathcal{A}_{5i}(\alpha ) \vert }{\varGamma (\alpha )} \int _{t_{i-1}}^{t_{i}} \biggl\vert \biggl(\ln \frac{t_{i}}{s}\biggr)^{\alpha -1} \biggr\vert \bigl\vert y(s) \bigr\vert \frac{ds}{s}+\frac{ \vert (\ln t)^{2-\alpha } \vert }{\varGamma (\alpha )} \int _{t _{k}}^{t} \biggl\vert \biggl(\ln \frac{t}{s}\biggr)^{\alpha -1} \biggr\vert \bigl\vert y(s) \bigr\vert \frac{ds}{s} \\ &\qquad{}+\sum_{i=1}^{k}\frac{ \vert \ln t^{3-\alpha }(\ln t_{i})^{2-\alpha } \vert }{ \varGamma (\alpha -1)} \int _{t_{i-1}}^{t_{i}} \biggl\vert \biggl(\ln \frac{t_{i}}{s}\biggr)^{ \alpha -2} \biggr\vert \bigl\vert y(s) \bigr\vert \frac{ds}{s}, \quad k=1,2,\dots ,m. \end{aligned}$$
(3.14)

Now by \((\mathbf{H}_{1})\), then

$$\begin{aligned} \bigl\vert y(t) \bigr\vert &= \bigl\vert f\bigl(t,p(t),z(t)\bigr) \bigr\vert \\ &\leq o_{1}(t)+\rho _{1}(t) \bigl\vert p(t) \bigr\vert +\varrho _{1}(t) \bigl\vert z(t) \bigr\vert \\ &\leq o_{1}(t)+\rho _{1}(t) \bigl\vert p(t) \bigr\vert +\varrho _{1}(t) \bigl\vert g\bigl(t,q(t),y(t)\bigr) \bigr\vert \\ &\leq o_{1}(t)+\rho _{1}(t) \bigl\vert p(t) \bigr\vert +\varrho _{1}(t) \bigl(o_{2}(t)+\rho _{2}(t) \bigl\vert q(t) \bigr\vert + \varrho _{2}(t) \bigl\vert y(t) \bigr\vert \bigr) \\ &\leq \frac{o_{1}(t)+\varrho _{1}(t)o_{2}(t)}{1-\varrho _{1}(t)\varrho _{2}(t)}+\frac{\rho _{1}(t) \vert p(t) \vert +\varrho _{1}(t)\rho _{2}(t) \vert q(t) \vert }{1- \varrho _{1}(t)\varrho _{2}(t)}. \end{aligned}$$

So, we obtain

$$\begin{aligned} \Vert y \Vert \leq \frac{o_{1}^{*}+\varrho _{1}^{*}o_{2}^{*}}{1-\varrho _{1}^{*} \varrho _{2}^{*}}+\frac{\rho _{1}^{*} \Vert p \Vert +\varrho _{1}^{*}\rho _{2}^{*} \Vert q \Vert }{1-\varrho _{1}^{*}\varrho _{2}^{*}}. \end{aligned}$$
(3.15)

Now by taking \(\sup_{t\in \mathcal{J}}\) and using (3.15) in (3.14), we get

$$\begin{aligned} &\bigl\Vert \mathbb{G}_{1}(p,q) \bigr\Vert _{\mathcal{E}_{1}}\\ &\quad \leq \biggl(\frac{o_{1}^{*}+ \varrho _{1}^{*}o_{2}^{*}}{\varrho _{1}^{*}\varrho _{2}^{*}-1}+\frac{\rho _{1}^{*} \Vert p \Vert +\varrho _{1}^{*}\rho _{2}^{*} \Vert q \Vert }{\varrho _{1}^{*}\varrho _{2}^{*}-1} \biggr) \\ &\qquad {}\times \biggl(\frac{ \vert \mathcal{A}_{0}(\alpha ) \vert \vert (\ln \frac{T}{t _{k}})^{\alpha -1} \vert }{\varGamma (\alpha )}+\frac{ \vert \mathcal{A}_{4}(\alpha ) \vert \vert (\ln \frac{T}{t_{k}})^{\alpha } \vert }{\varGamma (\alpha +1)}+\frac{k \vert \mathcal{A}_{5}(\alpha ) \vert }{\varGamma (\alpha +1)} \biggl\vert \biggl(\ln \frac{t_{k}}{t_{k-1}} \biggr)^{\alpha } \biggr\vert \\ &\qquad{} +\frac{ \vert (\ln t)^{2- \alpha } \vert \vert (\ln \frac{t}{t_{k}})^{\alpha } \vert }{\varGamma (\alpha +1)}+\frac{k \vert \ln t^{3-\alpha }(\ln t_{k})^{2-\alpha } \vert \vert (\ln \frac{t_{k}}{t_{k-1}})^{ \alpha -1} \vert }{\varGamma (\alpha )} \biggr) \\ &\quad \leq\frac{ (o_{1}^{*}+\varrho _{1}^{*}o_{2}^{*} )\mathcal{M} _{3}^{*}}{\varrho _{1}^{*}\varrho _{2}^{*}-1}+\frac{ (\rho _{1}^{*} \Vert p \Vert +\varrho _{1}^{*}\rho _{2}^{*} \Vert q \Vert )\mathcal{M}_{3}^{*}}{\varrho _{1}^{*}\varrho _{2}^{*}-1} \\ &\quad \leq\frac{ (o_{1}^{*}+\varrho _{1}^{*}o_{2}^{*} )\mathcal{M} _{3}^{*}}{\varrho _{1}^{*}\varrho _{2}^{*}-1}+\frac{\varUpsilon _{1}^{*} \mathcal{M}_{3}^{*}}{\varrho _{1}^{*}\varrho _{2}^{*}-1} \bigl\Vert (p,q) \bigr\Vert . \end{aligned}$$
(3.16)

Similarly

$$\begin{aligned} \bigl\Vert \mathbb{G}_{2}(p,q) \bigr\Vert _{\mathcal{E}_{2}}\leq \frac{ (o_{2}^{*}+ \varrho _{2}^{*}o_{1}^{*} )\mathcal{M}_{3}^{**}}{\varrho _{1}^{*} \varrho _{2}^{*}-1}+\frac{\varUpsilon _{2}^{*}\mathcal{M}_{3}^{**}}{\varrho _{1}^{*}\varrho _{2}^{*}-1} \bigl\Vert (p,q) \bigr\Vert , \end{aligned}$$
(3.17)

where

$$\begin{aligned} &\varUpsilon _{1}^{*}=\max \bigl\{ \rho ^{*}_{1},\rho ^{*}_{2}\varrho ^{*}_{1}\bigr\} , \\ &\varUpsilon _{2}^{*}=\max \bigl\{ \rho ^{*}_{1}\varrho ^{*}_{2},\rho ^{*}_{2}\bigr\} , \end{aligned}$$

and

$$\begin{aligned} &\begin{aligned} \mathcal{M}_{3}^{*}&=\frac{ \vert \mathcal{A}_{0}(\alpha ) \vert \vert (\ln \frac{T}{t _{k}})^{\alpha -1} \vert }{\varGamma (\alpha )}+ \frac{ \vert \mathcal{A}_{4}(\alpha ) \vert \vert (\ln \frac{T}{t_{k}})^{\alpha } \vert }{\varGamma (\alpha +1)}+\frac{k \vert \mathcal{A}_{5}(\alpha ) \vert \vert (\ln \frac{t_{k}}{t_{k-1}})^{\alpha } \vert }{ \varGamma (\alpha +1)} \\ &\quad{}+\frac{ \vert (\ln t)^{2-\alpha } \vert \vert (\ln \frac{t}{t_{k}})^{ \alpha } \vert }{\varGamma (\alpha +1)}+\frac{k \vert \ln t^{3-\alpha }(\ln t_{k})^{2-\alpha } \vert \vert (\ln \frac{t_{k}}{t _{k-1}})^{\alpha -1} \vert }{\varGamma (\alpha )}, \quad k=1,2,\dots ,m, \end{aligned} \\ &\begin{aligned} \mathcal{M}_{3}^{**}&=\frac{ \vert \mathcal{A}_{0}(\beta ) \vert \vert (\ln \frac{T}{t _{k}})^{\beta -1} \vert }{\varGamma (\beta )}+ \frac{ \vert \mathcal{A}_{4}(\beta ) \vert \vert ( \ln \frac{T}{t_{k}})^{\beta } \vert }{\varGamma (\beta +1)}+\frac{k \vert \mathcal{A}_{5}(\beta ) \vert \vert (\ln \frac{t_{k}}{t_{k-1}})^{\beta } \vert }{ \varGamma (\beta +1)} \\ &\quad{}+\frac{ \vert (\ln t)^{2-\beta } \vert \vert (\ln \frac{t}{t_{k}})^{ \beta } \vert }{\varGamma (\beta +1)}+\frac{k \vert \ln t^{3-\beta }(\ln t_{k})^{2-\beta } \vert \vert (\ln \frac{t_{k}}{t _{k-1}})^{\beta -1} \vert }{\varGamma (\beta )}, \quad k=1,2,\dots ,n. \end{aligned} \end{aligned}$$

Putting (3.12), (3.13), (3.16) and (3.17) in (3.11), we get

$$\begin{aligned} &\bigl\Vert \mathbb{F}(p,q)+\mathbb{G}(p,q) \bigr\Vert _{\mathcal{E}}\\ &\quad \leq \mathcal{M} _{1}^{*}+\mathcal{M}_{1}^{**}+ \frac{ (o_{1}^{*}+\varrho _{1}^{*}o _{2}^{*} )\mathcal{M}_{3}^{*}+ (o_{2}^{*}+\varrho _{2}^{*}o_{1} ^{*} )\mathcal{M}_{3}^{**}}{\varrho _{1}^{*}\varrho _{2}^{*}-1}+ \biggl(\frac{\varUpsilon _{1}^{*}\mathcal{M}_{3}^{*}+\varUpsilon _{2}^{*} \mathcal{M}_{3}^{**}}{\varrho _{1}^{*}\varrho _{2}^{*}-1} \biggr) \bigl\Vert (p,q) \bigr\Vert \\ &\qquad{}+\mathcal{M}_{2}^{*} \Vert p \Vert + \mathcal{M}_{2}^{**} \Vert q \Vert \\ &\quad \leq\mathcal{M}_{1}^{*}+\mathcal{M}_{1}^{**}+ \frac{ (o_{1}^{*}+ \varrho _{1}^{*}o_{2}^{*} )\mathcal{M}_{3}^{*}+ (o_{2}^{*}+ \varrho _{2}^{*}o_{1}^{*} )\mathcal{M}_{3}^{**}}{\varrho _{1}^{*} \varrho _{2}^{*}-1} \\ &\qquad{}+ \biggl(\mathcal{M}_{2}^{*}+\mathcal{M}_{2}^{**}+ \frac{\varUpsilon _{1} ^{*}\mathcal{M}_{3}^{*}+\varUpsilon _{2}^{*}\mathcal{M}_{3}^{**}}{\varrho _{1}^{*}\varrho _{2}^{*}-1} \biggr) \bigl\Vert (p,q) \bigr\Vert \\ &\quad \leq r. \end{aligned}$$

Hence, \(\mathbb{F}(p,q)+\mathbb{G}(p,q)\in \mathcal{E}_{r}\).

Next, for any \(t\in \mathcal{J}\), \((p,q),(\widetilde{p},\widetilde{q}) \in \mathcal{E}\)

$$\begin{aligned} &\bigl\Vert \mathbb{F}(p,q)-\mathbb{F}(\widetilde{p},\widetilde{q}) \bigr\Vert _{ \mathcal{E}}\\ &\quad \leq \bigl\Vert \mathbb{F}_{1}(p)- \mathbb{F}_{1}(\widetilde{p}) \bigr\Vert _{\mathcal{E}_{1}}+ \bigl\Vert \mathbb{F}_{2}(q)-\mathbb{F}_{2}(\widetilde{q}) \bigr\Vert _{\mathcal{E}_{2}} \\ &\quad \leq T \bigl\vert \mathcal{A}_{0}(\alpha ) \bigr\vert \bigl\vert \varphi (p)-\varphi (\widetilde{p}) \bigr\vert + \sum _{i=1}^{k} \bigl\vert \mathcal{A}_{1i}( \alpha ) \bigr\vert \bigl\vert \mathcal{I}_{i}(p _{i})- \mathcal{I}_{i}(\widetilde{p}_{i}) \bigr\vert +\sum _{i=1}^{k} \bigl\vert \mathcal{A}_{2i}(\alpha ) \bigr\vert \\ &\qquad{}\times \bigl\vert \mathcal{\widetilde{I}}_{i}(p_{i})- \mathcal{\widetilde{I}} _{i}(\widetilde{p}_{i}) \bigr\vert +\frac{ \vert \mathcal{A}_{3}(\alpha ) \vert }{\varGamma ( \alpha )} \int _{1}^{T} \biggl\vert \biggl(\ln \frac{T}{s}\biggr)^{\alpha -1} \biggr\vert \bigl\vert \phi \bigl(s,p(s)\bigr)- \phi \bigl(s,\widetilde{p}(s)\bigr) \bigr\vert \frac{ds}{s} \\ &\qquad{}+T \bigl\vert \mathcal{A}_{0}(\beta ) \bigr\vert \bigl\vert \varphi (q)-\varphi (\widetilde{q}) \bigr\vert + \sum _{j=1}^{k} \bigl\vert \mathcal{A}_{1j}( \beta ) \bigr\vert \bigl\vert \mathcal{I}_{j}(q_{j})- \mathcal{I}_{j}(\widetilde{q}_{j}) \bigr\vert +\sum _{j=1}^{k} \bigl\vert \mathcal{A}_{2j}(\beta ) \bigr\vert \\ &\qquad{}\times \bigl\vert \mathcal{\widetilde{I}}_{j}(q_{j})- \mathcal{\widetilde{I}} _{j}(\widetilde{q}_{j}) \bigr\vert +\frac{ \vert \mathcal{A}_{3}(\beta ) \vert }{\varGamma ( \beta )} \int _{1}^{T} \biggl\vert \biggl(\ln \frac{T}{s}\biggr)^{\beta -1} \biggr\vert \bigl\vert \phi \bigl(s,q(s)\bigr)- \phi \bigl(s,\widetilde{q}(s)\bigr) \bigr\vert \frac{ds}{s} \\ &\quad \leq \biggl(T\mathcal{L}_{\varphi } \bigl\vert \mathcal{A}_{0}( \alpha ) \bigr\vert +k \mathcal{L}_{\mathcal{I}} \bigl\vert \mathcal{A}_{1}(\alpha ) \bigr\vert +k\mathcal{L}_{\mathcal{ \widetilde{I}}} \bigl\vert \mathcal{A}_{2}(\alpha ) \bigr\vert -\frac{\mathcal{L}_{\phi } \vert \mathcal{A}_{3}(\alpha ) \vert \vert (\ln T)^{\alpha } \vert }{\varGamma (\alpha +1)} \biggr) \Vert p-\widetilde{p} \Vert \\ &\qquad{}+ \biggl(T\mathcal{\widetilde{L}}_{\varphi } \bigl\vert \mathcal{A}_{0}(\beta ) \bigr\vert +k\mathcal{ \widetilde{L}}_{\mathcal{I}} \bigl\vert \mathcal{A}_{1}(\beta ) \bigr\vert +k\mathcal{ \widetilde{L}}_{\mathcal{\widetilde{I}}} \bigl\vert \mathcal{A}_{2}(\beta ) \bigr\vert -\frac{\mathcal{ \widetilde{L}}_{\phi } \vert \mathcal{A}_{3}(\beta ) \vert \vert (\ln T)^{\beta } \vert }{ \varGamma (\beta +1)} \biggr)\\ &\qquad {}\times \Vert q-\widetilde{q} \Vert \\ &\quad \leq\mathcal{L}(\xi _{1}+\xi _{2}) \bigl\Vert (p- \widetilde{p},q-\widetilde{q}) \bigr\Vert . \end{aligned}$$

Here \(\mathcal{L}=\max \{\mathcal{L}_{\varphi },\mathcal{L}_{ \mathcal{I}},\mathcal{L}_{\mathcal{\widetilde{I}}},\mathcal{L}_{ \phi },\mathcal{\widetilde{L}}_{\varphi },\mathcal{\widetilde{L}}_{ \mathcal{I}},\mathcal{\widetilde{L}}_{\mathcal{\widetilde{I}}},\mathcal{ \widetilde{L}}_{\phi }\}\),

$$\begin{aligned} \xi _{1}=T \bigl\vert \mathcal{A}_{0}(\alpha ) \bigr\vert +k \bigl\vert \mathcal{A}_{1}(\alpha ) \bigr\vert +k \bigl\vert \mathcal{A}_{2}(\alpha ) \bigr\vert -\frac{ \vert \mathcal{A}_{3}(\alpha ) \vert \vert (\ln T)^{ \alpha } \vert }{\varGamma (\alpha +1)}, \quad k=1,2,\dots ,m, \end{aligned}$$

and

$$\begin{aligned} \xi _{2}=T \bigl\vert \mathcal{A}_{0}(\beta ) \bigr\vert +k \bigl\vert \mathcal{A}_{1}(\beta ) \bigr\vert +k \bigl\vert \mathcal{A}_{2}(\beta ) \bigr\vert -\frac{ \vert \mathcal{A}_{3}(\beta ) \vert \vert (\ln T)^{ \beta } \vert }{\varGamma (\beta +1)}, \quad k=1,2,\dots ,n. \end{aligned}$$

Therefore, \(\mathbb{F}\) is a contraction mapping.

Now, we prove the continuity and compactness of \(\mathbb{G}\); we construct a sequence \(T_{s}=(p_{s},q_{s})\) in \(\mathcal{E}_{r}\) such that \((p_{s},q_{s})\rightarrow (p,q)\) for \(n\rightarrow \infty \) in \(\mathcal{E}_{r}\). Thus, we have

$$\begin{aligned} &\bigl\Vert \mathbb{G}(p_{s},q_{s})-\mathbb{G}(p,q) \bigr\Vert _{\mathcal{E}} \\ &\quad \leq \bigl\Vert \mathbb{G}_{1}(p_{s},q_{s})- \mathbb{G}_{1}(p,q) \bigr\Vert _{\mathcal{E}_{1}}+ \bigl\Vert \mathbb{G}_{2}(p_{s},q_{s})- \mathbb{G}_{2}(p,q) \bigr\Vert _{\mathcal{E}_{2}} \\ &\quad \leq \biggl(\frac{ \vert \mathcal{A}_{0}(\alpha ) \vert \vert (\ln \frac{T}{t_{k}})^{ \alpha -1} \vert }{\varGamma (\alpha )}+\frac{ \vert \mathcal{A}_{4}(\alpha ) \vert \vert ( \ln \frac{T}{t_{k}})^{\alpha } \vert }{\varGamma (\alpha +1)}+\frac{ \vert (\ln \frac{t}{t _{k}})^{\alpha } \vert \vert (\ln t)^{2-\alpha } \vert }{\varGamma (\alpha +1)}+ \frac{k \vert \mathcal{A}_{5} \vert \vert (\ln \frac{t_{k}}{t_{k-1}})^{\alpha } \vert }{\varGamma ( \alpha +1)} \\ &\qquad{}+\frac{k \vert \ln t^{3-\alpha }(\ln t_{k})^{2-\alpha } \vert \vert (\ln \frac{t_{k}}{t _{k-1}})^{\alpha -1} \vert }{\varGamma (\alpha )} \biggr) \biggl(\frac{\mathcal{L} _{f} \Vert p_{s}-p \Vert +\mathcal{\widetilde{L}}_{f}\mathcal{L}_{g} \Vert q_{s}-q \Vert }{\mathcal{ \widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1} \biggr) \\ &\qquad{}+ \biggl(\frac{ \vert \mathcal{A}_{0}(\beta ) \vert \vert (\ln \frac{T}{t_{k}})^{ \beta -1} \vert }{\varGamma (\beta )}+\frac{ \vert \mathcal{A}_{4}(\beta ) \vert \vert (\ln \frac{T}{t _{k}})^{\beta } \vert }{\varGamma (\beta +1)}\\ &\qquad {}+\frac{ \vert (\ln \frac{t}{t_{k}})^{ \beta } \vert \vert (\ln t)^{2-\beta } \vert }{\varGamma (\beta +1)}+ \frac{k \vert \mathcal{A} _{5}(\beta ) \vert \vert (\ln \frac{t_{k}}{t_{k-1}})^{\beta } \vert }{\varGamma (\beta +1)} \\ &\qquad{}+\frac{k \vert \ln t^{3-\beta }(\ln t_{k})^{2-\beta } \vert \vert (\ln \frac{t_{k}}{t _{k-1}})^{\beta -1} \vert }{\varGamma (\beta )} \biggr) \biggl(\frac{\mathcal{L} _{f}\mathcal{\widetilde{L}}_{g} \Vert p_{s}-p \Vert +\mathcal{L}_{g} \Vert q_{s}-q \Vert }{\mathcal{ \widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1} \biggr) \\ &\quad \leq\mathcal{M}_{3}^{*} \biggl(\frac{\mathcal{L}_{f} \Vert p_{s}-p \Vert +\mathcal{ \widetilde{L}}_{f}\mathcal{L}_{g} \Vert q_{s}-q \Vert }{\mathcal{\widetilde{L}} _{f}\mathcal{\widetilde{L}}_{g}-1} \biggr)+\mathcal{M}_{3}^{**} \biggl(\frac{ \mathcal{L}_{f}\mathcal{\widetilde{L}}_{g} \Vert p_{s}-p \Vert +\mathcal{L}_{g} \Vert q_{s}-q \Vert }{\mathcal{\widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1} \biggr). \end{aligned}$$

This implies \(\|\mathbb{G}(p_{s},q_{s})-\mathbb{G}(p,q)\|_{ \mathcal{E}}\rightarrow 0\) as \(s\rightarrow \infty \), therefore \(\mathbb{G}\) is continuous.

Next, we show that \(\mathbb{G}\) is uniformly bounded on \(\mathcal{E} _{r}\). From (3.16) and (3.17), we have

$$\begin{aligned} \bigl\Vert \mathbb{G}(p,q) (t) \bigr\Vert _{\mathcal{E}} &\leq \bigl\Vert \mathbb{G}_{1}(p,q) (t) \bigr\Vert _{\mathcal{E}_{1}}+ \bigl\Vert \mathbb{G}_{2}(p,q) (t) \bigr\Vert _{\mathcal{E}_{2}} \\ &\leq \frac{ (o_{1}^{*}+\varrho _{1}^{*}o_{2}^{*} )\mathcal{M} _{3}^{*}}{\varrho _{1}^{*}\varrho _{2}^{*}-1}+\frac{ (o_{2}^{*}+ \varrho _{2}^{*}o_{1}^{*} )\mathcal{M}_{3}^{**}}{\varrho _{1}^{*} \varrho _{2}^{*}-1}+ \biggl(\frac{\varUpsilon _{1}^{*}\mathcal{M}_{3}^{*}}{ \varrho _{1}^{*}\varrho _{2}^{*}-1}+ \frac{\varUpsilon _{2}^{*}\mathcal{M} _{3}^{**}}{\varrho _{1}^{*}\varrho _{2}^{*}-1} \biggr) \bigl\Vert (p,q) \bigr\Vert \\ &\leq r. \end{aligned}$$

Thus, \(\mathbb{G}\) is uniformly bounded on \(\mathcal{E}_{r}\).

For equi-continuity, take \(\tau _{1},\tau _{2}\in \mathcal{J}\) with \(\tau _{1}<\tau _{2}\) and for any \((p,q)\in \mathcal{E}_{r}\subset \mathcal{E}\), where \(\mathcal{E}_{r}\) is clearly bounded, we have

$$\begin{aligned} &\bigl\Vert \mathbb{G}_{1}(p,q) (\tau _{1})- \mathbb{G}_{1}(p,q) (\tau _{2}) \bigr\Vert _{ \mathcal{E}}\\ &\quad =\max \bigl\vert \bigl(\mathbb{G}_{1}(p,q) (\tau _{1})-\mathbb{G}_{1}(p,q) ( \tau _{2})\bigr) ( \ln t)^{2-\alpha } \bigr\vert \\ &\quad \leq \biggl[ \biggl(\frac{ \vert \mathcal{A}_{0}(\alpha ) \vert \vert (\ln \frac{T}{t _{k}})^{\alpha -1} \vert }{\varGamma (\alpha )}+\frac{ \vert \mathcal{A}_{4}(\alpha ) \vert \vert (\ln \frac{T}{t_{k}})^{\alpha } \vert +k \vert \mathcal{A}_{5}(\alpha ) \vert \vert ( \ln \frac{t_{k}}{t_{k-1}})^{\alpha } \vert }{\varGamma (\alpha +1)} \biggr)\\ &\qquad {}\times \bigl\vert ( \ln t)^{2-\alpha } \bigr\vert \bigl\vert (\ln \tau _{1})^{\alpha -2}-(\ln \tau _{2})^{\alpha -2} \bigr\vert \\ &\qquad{}+\frac{k \vert (\ln t)^{2-\alpha } \vert \vert (\ln \frac{t_{k}}{t_{k-1}})^{\alpha -1} \vert \vert \ln \tau _{1}^{3-\alpha }(\log _{t_{k}}\tau _{1})^{\alpha -2}-\ln \tau _{2}^{3-\alpha }(\log _{t_{k}}\tau _{2})^{\alpha -2} \vert }{\varGamma (\alpha )} \biggr]\\ &\qquad {}\times \biggl(\frac{o_{1}^{*}+\varrho _{1}^{*}o_{2}^{*}}{1-\varrho _{1} ^{*}\varrho _{2}^{*}}+ \frac{\rho _{1}^{*} \Vert p \Vert +\varrho _{1}^{*}\rho _{2} ^{*} \Vert q \Vert }{1-\varrho _{1}^{*}\varrho _{2}^{*}} \biggr) \\ &\qquad{}+\frac{ \vert (\ln t)^{2-\alpha } \vert }{\varGamma (\alpha )} \biggl\vert \int _{t_{k}}^{\tau _{1}}\biggl(\ln \frac{\tau _{1}}{s} \biggr)^{\alpha -1}f\bigl(s,p(s),{}_{H}\mathfrak{D} ^{\beta }q(s)\bigr)\frac{ds}{s}\\ &\qquad{}- \int _{t_{k}}^{\tau _{1}}\biggl(\ln \frac{\tau _{1}}{s} \biggr)^{\alpha -1}f\bigl(s,p(s),{}_{H}\mathfrak{D}^{\beta }q(s) \bigr) \frac{ds}{s} \biggr\vert . \end{aligned}$$

This implies that

$$ \bigl\Vert \mathbb{G}_{1}(p,q) (\tau _{1})- \mathbb{G}_{1}(p,q) (\tau _{2}) \bigr\Vert _{ \mathcal{E}_{1}}\rightarrow 0 \quad \text{as } \tau _{1}\rightarrow \tau _{2}. $$

In the same way, we have

$$ \bigl\Vert \mathbb{G}_{2}(p,q) (\tau _{1})- \mathbb{G}_{2}(p,q) (\tau _{2}) \bigr\Vert _{ \mathcal{E}_{2}}\rightarrow 0 \quad \text{as } \tau _{1}\rightarrow \tau _{2}. $$

Hence

$$ \bigl\Vert \mathbb{G}(p,q) (\tau _{1})-\mathbb{G}(p,q) (\tau _{2}) \bigr\Vert _{\mathcal{E}} \rightarrow 0 \quad \text{as } \tau _{1}\rightarrow \tau _{2}. $$

Therefore, \(\mathbb{G}\) is relatively compact on \({\mathcal{E}_{r}}\). By the Arzelà–Ascoli theorem, \(\mathbb{G}\) is compact and hence is a completely continuous operator. So (1.1) has at least one solution. □

Theorem 3.4

Let the hypotheses \((\mathbf{H}_{4})\)\((\mathbf{H}_{6})\) be satisfied with

$$\begin{aligned} \varLambda _{1}+\varLambda _{3}+ \frac{\varLambda _{2}(\mathcal{L}_{f}+\mathcal{ \widetilde{L}}_{f}\mathcal{L}_{g})+\varLambda _{4}(\mathcal{L}_{g}+ \mathcal{L}_{f}\mathcal{\widetilde{L}}_{g})}{(\mathcal{\widetilde{L}} _{f}\mathcal{\widetilde{L}}_{g}-1)}< 1, \end{aligned}$$
(3.18)

then (1.1) has unique solution.

Proof

Define an operator \(\varPhi =(\varPhi _{1},\varPhi _{2}): \mathcal{E}\rightarrow \mathcal{E}\), i.e., \(\varPhi (p,q)(t)=(\varPhi _{1}(p,q), \varPhi _{2}(p,q))(t)\), where

$$\begin{aligned} \varPhi _{1}(p,q) (t)&=T\mathcal{A}_{0}(\alpha )\varphi (p) (\ln t)^{\alpha -2}\\ &\quad {}+\sum_{i=1}^{k} \mathcal{A}_{1i}(\alpha ) (\ln t)^{\alpha -2} \mathcal{I}_{i} \bigl(p(t_{i})\bigr)+\sum_{i=1}^{k} \mathcal{A}_{2i}(\alpha ) ( \ln t)^{\alpha -2}\mathcal{ \widetilde{I}}_{i}\bigl(p(t_{i})\bigr) \\ &\quad{}+\frac{\mathcal{A}_{3}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )} \int _{1}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\alpha -1}\phi \bigl(s,p(s)\bigr)\frac{ds}{s}\\ &\quad {}+\frac{ \mathcal{A}_{0}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha -1)} \int _{t_{k}}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\alpha -2}f\bigl(s,p(s),{}_{H} \mathfrak{D}^{\beta }q(s) \bigr)\frac{ds}{s} \\ &\quad{}+\frac{\mathcal{A}_{4}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )} \int _{t_{k}}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\alpha -1}f\bigl(s,p(s),{}_{H} \mathfrak{D}^{\beta }q(s) \bigr)\frac{ds}{s}\\ &\quad {}+\frac{1}{\varGamma (\alpha )} \int _{t_{k}}^{t}\biggl(\ln \frac{t}{s} \biggr)^{\alpha -1}f\bigl(s,p(s),{}_{H} \mathfrak{D}^{\beta }q(s) \bigr)\frac{ds}{s} \\ &\quad{}+\sum_{i=1}^{k}\frac{\mathcal{A}_{5i}(\alpha )(\ln t)^{\alpha -2}}{ \varGamma (\alpha )} \int _{t_{i-1}}^{t_{i}}\biggl(\ln \frac{t_{i}}{s} \biggr)^{\alpha -1}f\bigl(s,p(s),{}_{H}\mathfrak{D}^{\beta }q(s) \bigr)\frac{ds}{s} \\ &\quad{}+\sum_{i=1}^{k}\frac{\ln t^{3-\alpha }(\log _{t_{i}}t)^{\alpha -2}}{ \varGamma (\alpha -1)} \int _{t_{i-1}}^{t_{i}}\biggl(\ln \frac{t_{i}}{s} \biggr)^{ \alpha -2}f\bigl(s,p(s),{}_{H}\mathfrak{D}^{\beta }q(s) \bigr)\frac{ds}{s},\\ & \quad k=1,2,\dots ,m, \end{aligned}$$

and

$$\begin{aligned} \varPhi _{2}(p,q) (t)&= T\mathcal{A}_{0}(\beta )\varphi (q) (\ln t)^{\beta -2}\\ &\quad {}+\sum_{j=1}^{k} \mathcal{A}_{1j}(\beta ) (\ln t)^{\beta -2} \mathcal{I}_{j} \bigl(q(t_{j})\bigr)+\sum_{j=1}^{k} \mathcal{A}_{2j}(\beta ) ( \ln t)^{\beta -2}\mathcal{ \widetilde{I}}_{j}\bigl(q(t_{j})\bigr) \\ &\quad{}+\frac{\mathcal{A}_{3}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta )} \int _{1}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\beta -1}\phi \bigl(s,q(s)\bigr)\frac{ds}{s}\\ &\quad {}+\frac{ \mathcal{A}_{0}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta -1)} \int _{t _{k}}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\beta -2}g\bigl(s,q(s),{}_{H}\mathfrak{D}^{ \alpha }p(s) \bigr)\frac{ds}{s} \\ &\quad{}+\frac{\mathcal{A}_{4}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta )} \int _{t_{k}}^{T}\biggl(\ln \frac{T}{s} \biggr)^{\beta -1}g\bigl(s,q(s),{}_{H} \mathfrak{D}^{\alpha }p(s) \bigr)\frac{ds}{s}\\ &\quad {}+\frac{1}{\varGamma (\beta )} \int _{t_{k}}^{t}\biggl(\ln \frac{t}{s} \biggr)^{\beta -1}g\bigl(s,q(s),{}_{H} \mathfrak{D}^{\alpha }p(s) \bigr)\frac{ds}{s} \\ &\quad{}+\sum_{j=1}^{k}\frac{\mathcal{A}_{5j}(\beta )(\ln t)^{\beta -2}}{ \varGamma (\beta )} \int _{t_{j-1}}^{t_{j}}\biggl(\ln \frac{t_{j}}{s} \biggr)^{\beta -1}g\bigl(s,q(s), {}_{H}\mathfrak{D}^{\alpha }p(s) \bigr)\frac{ds}{s} \\ &\quad{}+\sum_{j=1}^{k}\frac{\ln t^{3-\beta }(\log _{t_{j}}t)^{\beta -2}}{ \varGamma (\beta -1)} \int _{t_{j-1}}^{t_{j}}\biggl(\ln \frac{t_{j}}{s} \biggr)^{\beta -2}g\bigl(s,q(s),{}_{H}\mathfrak{D}^{\alpha }p(s) \bigr)\frac{ds}{s},\\ & \quad k=1,2,\dots ,n. \end{aligned}$$

In view of Theorem 3.3, we have

$$\begin{aligned} &\bigl\vert \bigl(\varPhi _{1}(p,q)-\varPhi _{1}( \widetilde{p},\widetilde{q})\bigr) (\ln t)^{2- \alpha } \bigr\vert \\ &\quad \leq \biggl[T \bigl\vert \mathcal{A}_{0}(\alpha ) \bigr\vert \mathcal{L}_{\varphi }+k \bigl\vert \mathcal{A}_{1}(\alpha ) \bigr\vert \mathcal{L}_{\mathcal{I}}+k \bigl\vert \mathcal{A}_{2}( \alpha ) \bigr\vert \mathcal{L}_{\mathcal{\widetilde{I}}}-\frac{ \vert \mathcal{A}_{3}( \alpha ) \vert \vert (\ln T)^{\alpha } \vert \mathcal{L}_{\phi }}{\varGamma (\alpha +1)} \\ &\qquad{}+ \biggl(\frac{ \vert \mathcal{A}_{0}(\alpha ) \vert \vert (\ln \frac{T}{t_{k}})^{ \alpha -1} \vert }{\varGamma (\alpha )}+\frac{ \vert \mathcal{A}_{4}(\alpha ) \vert \vert ( \ln \frac{T}{t_{k}})^{\alpha } \vert }{\varGamma (\alpha +1)}+\frac{ \vert (\ln t)^{2- \alpha } \vert \vert (\ln \frac{t}{t_{k}})^{\alpha } \vert }{\varGamma (\alpha +1)} \\ &\qquad{}+\frac{k \vert \mathcal{A}_{5}(\alpha ) \vert \vert (\ln \frac{t_{k}}{t_{k-1}})^{ \alpha } \vert }{\varGamma (\alpha +1)}+\frac{m \vert \ln t^{3-\alpha } \vert \vert (\ln t_{k})^{2- \alpha } \vert \vert (\ln \frac{t_{k}}{t_{k-1}})^{\alpha -1} \vert }{\varGamma (\alpha )} \biggr)\frac{\mathcal{L}_{f}}{(\mathcal{\widetilde{L}}_{f}\mathcal{ \widetilde{L}}_{g}-1)} \biggr] \\ &\qquad{}\times \bigl\vert p(t)-\widetilde{p}(t) \bigr\vert + \biggl[ \frac{ \vert \mathcal{A}_{0}(\alpha ) \vert \vert ( \ln \frac{T}{t_{k}})^{\alpha -1} \vert }{\varGamma (\alpha )}+\frac{ \vert \mathcal{A}_{4}(\alpha ) \vert \vert (\ln \frac{T}{t_{k}})^{\alpha } \vert }{\varGamma ( \alpha +1)}+\frac{ \vert (\ln t)^{2-\alpha } \vert \vert (\ln \frac{t}{t_{k}})^{\alpha } \vert }{\varGamma (\alpha +1)} \\ &\qquad{}+\frac{k \vert \mathcal{A}_{5}(\alpha ) \vert \vert (\ln \frac{t_{k}}{t_{k-1}})^{ \alpha } \vert }{\varGamma (\alpha +1)}+\frac{k \vert \ln t^{3-\alpha } \vert \vert (\ln t_{k})^{2- \alpha } \vert \vert (\ln \frac{t_{k}}{t_{k-1}})^{\alpha -1} \vert }{\varGamma (\alpha )} \biggr]\frac{\mathcal{\widetilde{L}}_{f}\mathcal{L}_{g} \vert q- \widetilde{q} \vert }{(\mathcal{\widetilde{L}}_{f}\mathcal{\widetilde{L}} _{g}-1)}, \\ &\qquad k=1,2,\dots ,m. \end{aligned}$$

Taking \(\sup_{t\in \mathcal{J}}\), we get

$$\begin{aligned} \bigl\Vert \varPhi _{1}(p,q)-\varPhi _{1}(\widetilde{p}, \widetilde{q}) \bigr\Vert _{\mathcal{E} _{1}}\leq \biggl[\varLambda _{1}+\frac{\varLambda _{2}(\mathcal{L}_{f}+\mathcal{ \widetilde{L}}_{f}\mathcal{L}_{g})}{(\mathcal{\widetilde{L}}_{f}\mathcal{ \widetilde{L}}_{g}-1)} \biggr] \bigl\Vert (p,q)-(\widetilde{p}, \widetilde{q}) \bigr\Vert , \end{aligned}$$

for \(k=1,2,\dots ,m\), where

$$\begin{aligned} &\varLambda _{1}=T \bigl\vert \mathcal{A}_{0}(\alpha ) \bigr\vert \mathcal{L}_{\varphi }+k \bigl\vert \mathcal{A}_{1}( \alpha ) \bigr\vert \mathcal{L}_{\mathcal{I}}+k \bigl\vert \mathcal{A}_{2}( \alpha ) \bigr\vert \mathcal{L}_{\mathcal{\widetilde{I}}}- \frac{ \vert \mathcal{A}_{3}( \alpha ) \vert \vert (\ln T)^{\alpha } \vert \mathcal{L}_{\phi }}{\varGamma (\alpha +1)}, \\ & \begin{aligned}\varLambda _{2}&=\frac{ \vert \mathcal{A}_{0}(\alpha ) \vert \vert (\ln \frac{T}{t_{k}})^{ \alpha -1} \vert }{\varGamma (\alpha )}+\frac{ \vert \mathcal{A}_{4}(\alpha ) \vert \vert ( \ln \frac{T}{t_{k}})^{\alpha } \vert }{\varGamma (\alpha +1)}+ \frac{ \vert (\ln t)^{2- \alpha } \vert \vert (\ln \frac{t}{t_{k}})^{\alpha } \vert }{\varGamma (\alpha +1)} \\ &\quad{}+\frac{k \vert \mathcal{A}_{5}(\alpha ) \vert \vert (\ln \frac{t_{k}}{t_{k-1}})^{\alpha } \vert }{ \varGamma (\alpha +1)}+\frac{k \vert \ln t^{3-\alpha } \vert \vert (\ln t_{k})^{2-\alpha } \vert \vert (\ln \frac{t _{k}}{t_{k-1}})^{\alpha -1} \vert }{\varGamma (\alpha )}. \end{aligned} \end{aligned}$$

Similarly

$$\begin{aligned} \bigl\Vert \varPhi _{2}(p,q)-\varPhi _{2}(\widetilde{p}, \widetilde{q}) \bigr\Vert _{\mathcal{E} _{2}}\leq \biggl[\varLambda _{3}+\frac{\varLambda _{4}(\mathcal{L}_{g}+ \mathcal{L}_{f}\mathcal{\widetilde{L}}_{g})}{(\mathcal{\widetilde{L}} _{f}\mathcal{\widetilde{L}}_{g}-1)} \biggr] \bigl\Vert (p,q)-(\widetilde{p}, \widetilde{q}) \bigr\Vert , \end{aligned}$$

for \(k=1,2,\dots ,n\), where

$$\begin{aligned} &\varLambda _{3}=T \bigl\vert \mathcal{A}_{0}(\beta ) \bigr\vert \mathcal{\widetilde{L}}_{ \varphi }+k \bigl\vert \mathcal{A}_{1}(\beta ) \bigr\vert \mathcal{\widetilde{L}}_{ \mathcal{I}}+k \bigl\vert \mathcal{A}_{2}(\beta ) \bigr\vert \mathcal{ \widetilde{L}}_{\mathcal{ \widetilde{I}}}-\frac{ \vert \mathcal{A}_{3}(\beta ) \vert \vert (\ln T)^{\beta } \vert \mathcal{ \widetilde{L}}_{\phi }}{\varGamma (\beta +1)}, \\ &\begin{aligned} \varLambda _{4}&=\frac{ \vert \mathcal{A}_{0}(\beta ) \vert \vert (\ln \frac{T}{t_{k}})^{ \beta -1} \vert }{\varGamma (\beta )}+\frac{ \vert \mathcal{A}_{4}(\beta ) \vert \vert (\ln \frac{T}{t _{k}})^{\beta } \vert }{\varGamma (\beta +1)}+ \frac{ \vert (\ln t)^{2-\beta } \vert \vert ( \ln \frac{t}{t_{k}})^{\beta } \vert }{\varGamma (\beta +1)} \\ &\quad{}+\frac{k \vert \mathcal{A}_{5}(\beta ) \vert \vert (\ln \frac{t_{k}}{t_{k-1}})^{\beta } \vert }{ \varGamma (\beta +1)}+\frac{k \vert \ln t^{3-\beta } \vert \vert (\ln t_{k})^{2-\beta } \vert \vert (\ln \frac{t_{k}}{t _{k-1}})^{\beta -1} \vert }{\varGamma (\beta )}. \end{aligned} \end{aligned}$$

Hence,

$$\begin{aligned} &\bigl\Vert \varPhi (p,q)-\varPhi (\widetilde{p},\widetilde{q}) \bigr\Vert _{\mathcal{E}}\\ &\quad \leq \biggl[\varLambda _{1}+\varLambda _{3}+ \frac{\varLambda _{2}(\mathcal{L}_{f}+\mathcal{ \widetilde{L}}_{f}\mathcal{L}_{g})+\varLambda _{4}(\mathcal{L}_{g}+ \mathcal{L}_{f}\mathcal{\widetilde{L}}_{g})}{(\mathcal{\widetilde{L}} _{f}\mathcal{\widetilde{L}}_{g}-1)} \biggr] \bigl\Vert (p,q)-(\widetilde{p}, \widetilde{q}) \bigr\Vert . \end{aligned}$$

This implies that the operator Φ is a contraction. Therefore, (1.1) has a unique solution. □

4 Ulam stability analysis

In this portion, we analyze different kinds of stability, like the Hyers–Ulam, generalized Hyers–Ulam, Hyers–Ulam–Rassias and generalized Hyers–Ulam–Rassias stability of the proposed system.

Theorem 4.1

If assumptions \((\mathbf{H}_{1})\)\((\mathbf{H}_{3})\) and inequality (3.18) are satisfied and

$$\begin{aligned} \digamma =1-\frac{\mathcal{L}_{f}\mathcal{\widetilde{L}}_{f} \mathcal{L}_{g}\mathcal{\widetilde{L}}_{g}\varLambda _{2}\varLambda _{4}}{ ((\mathcal{\widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1)(( \ln t)^{\alpha -2}-\varLambda _{1})-\varLambda _{2}\mathcal{L}_{f} ) ((\mathcal{ \widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1)((\ln t)^{\beta -2}- \varLambda _{3})-\varLambda _{4}\mathcal{L}_{g} )}>0, \end{aligned}$$

then the unique solution of the coupled system (1.1) is Hyers–Ulam stable and consequently generalized Hyers–Ulam stable.

Proof

Consider \((p,q)\in \mathcal{E}\) be an approximate solution of inequality (2.1) and let \((\widehat{p},\widehat{q}) \in \mathcal{E}\) be the unique solution of the coupled system given by

$$ \textstyle\begin{cases} {}_{H}\mathfrak{D}^{\alpha }\widehat{p}(t)=f(t,\widehat{p}(t), {} _{H}\mathfrak{D}^{\beta }\widehat{q}(t)), \quad t\in \mathcal{J}, t \neq t_{i}, i=1,2,\dots ,m, \\ {}_{H}\mathfrak{D}^{\beta }\widehat{q}(t)=g(t, {}_{H}\mathfrak{D} ^{\alpha }\widehat{p}(t),\widehat{q}(t)), \quad t\in \mathcal{J}, t \neq t_{j}, j=1,2,\dots ,n, \\ \Delta \widehat{p}(t_{i})=\mathcal{I}_{i}(\widehat{p}(t_{i})), \qquad \Delta \widehat{p}'(t_{i})=\mathcal{\widetilde{I}}_{i}(\widehat{p}(t _{i})), \quad i=1,2,\dots ,m, \\ \Delta \widehat{q}(t_{j})=\mathcal{I}_{j}(\widehat{q}(t_{j})), \qquad \Delta \widehat{q}'(t_{j})=\mathcal{\widetilde{I}}_{j}(\widehat{q}(t _{j})), \quad j=1,2,\dots ,n, \\ \widehat{p}(T)=\int _{1}^{T}\frac{(\ln \frac{T}{s})^{\alpha -1}}{ \varGamma (\alpha )}\phi (s,\widehat{p}(s))\frac{ds}{s}, \qquad \widehat{p}'(T)=\varphi (\widehat{p}), \\ \widehat{q}(T)=\int _{1}^{T}\frac{(\ln \frac{T}{s})^{\beta -1}}{ \varGamma (\beta )}\phi (s,\widehat{q}(s))\frac{ds}{s}, \qquad \widehat{q}'(T)=\varphi (\widehat{q}). \end{cases} $$
(4.1)

By Remark 2.9 we have

$$ \textstyle\begin{cases} {}_{H}\mathfrak{D}^{\alpha }p(t)=f(t,p(t), {}_{H}\mathfrak{D}^{ \beta }q(t))+\varUpsilon _{f}(t), \quad t\in \mathcal{J}, t\neq t_{i}, i=1,2,\dots ,m, \\ \Delta p(t_{i})=\mathcal{I}_{i}(p(t_{i}))+\varUpsilon _{f_{i}}, \qquad \Delta p'(t_{i})=\mathcal{\widetilde{I}}_{i}(p(t_{i}))+\varUpsilon _{f _{i}}, \quad i=1,2,\dots ,m, \\ {}_{H}\mathfrak{D}^{\beta }q(t)=g(t,{}_{H}\mathfrak{D}^{\alpha }p(t),q(t))+ \varUpsilon _{g}(t), \quad t\in \mathcal{J}, t\neq t_{j}, j=1,2,\dots ,n, \\ \Delta q(t_{j})=\mathcal{I}_{j}(q(t_{j}))+\varUpsilon _{g_{j}}, \qquad \Delta q'(t_{j})=\mathcal{\widetilde{I}}_{j}(q(t_{j}))+\varUpsilon _{g _{j}}, \quad j=1,2,\dots ,n. \end{cases} $$
(4.2)

By Corollary 3.2, the solution of problem (4.2) is

$$ \textstyle\begin{cases} p(t)=T\mathcal{A}_{0}(\alpha )\varphi (p)(\ln t)^{\alpha -2}+\sum_{i=1}^{k}\mathcal{A}_{1i}(\alpha )(\ln t)^{\alpha -2} ( \mathcal{I}_{i}(p(t_{i}))+\varUpsilon _{f_{i}} )\\ \hphantom{p(t)=}{}+\sum_{i=1}^{k} \mathcal{A}_{2i}(\alpha )(\ln t)^{\alpha -2} (\mathcal{ \widetilde{I}}_{i}(p(t_{i}))+\varUpsilon _{f_{i}} ) \\ \hphantom{p(t)=}{}+\frac{\mathcal{A}_{0}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha -1)}\int _{t_{k}}^{T}(\ln \frac{T}{s})^{\alpha -2} (f(s,p(s),{}_{H} \mathfrak{D}^{\beta }q(s))+\varUpsilon _{f}(t) )\frac{ds}{s} \\ \hphantom{p(t)=}{}+\frac{\mathcal{A}_{4}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )}\int _{t_{k}}^{T}(\ln \frac{T}{s})^{\alpha -1} (f(s,p(s),{}_{H} \mathfrak{D}^{\beta }q(s))+\varUpsilon _{f}(t) )\frac{ds}{s} \\ \hphantom{p(t)=}{}+\sum_{i=1}^{k}\frac{\mathcal{A}_{5i}(\alpha )(\ln t)^{\alpha -2}}{ \varGamma (\alpha )}\int _{t_{i-1}}^{t_{i}}(\ln \frac{t_{i}}{s})^{\alpha -1} (f(s,p(s),{}_{H}\mathfrak{D}^{\beta }q(s))+\varUpsilon _{f}(t) )\frac{ds}{s} \\ \hphantom{p(t)=}{}+\sum_{i=1}^{k}\frac{\ln t^{3-\alpha }(\log _{t_{i}}t)^{\alpha -2}}{ \varGamma (\alpha -1)}\int _{t_{i-1}}^{t_{i}}(\ln \frac{t_{i}}{s})^{ \alpha -2} (f(s,p(s),{}_{H}\mathfrak{D}^{\beta }q(s))+\varUpsilon _{f}(t) )\frac{ds}{s} \\ \hphantom{p(t)=}{}+\frac{\mathcal{A}_{3}(\alpha )(\ln t)^{\alpha -2}}{\varGamma (\alpha )}\int _{1}^{T}(\ln \frac{T}{s})^{\alpha -1}\phi (s,p(s))\frac{ds}{s}\\ \hphantom{p(t)=}{}+\frac{1}{ \varGamma (\alpha )}\int _{t_{k}}^{t}(\ln \frac{t}{s})^{\alpha -1} (f(s,p(s), {}_{H}\mathfrak{D}^{\beta }q(s))+\varUpsilon _{f}(t) )\frac{ds}{s}, \\ \hphantom{p(t)=}k=1,2,\dots ,m, \\ q(t)=T\mathcal{A}_{0}(\beta )\varphi (q)(\ln t)^{\beta -2}+\sum_{j=1} ^{k}\mathcal{A}_{1j}(\beta )(\ln t)^{\beta -2} (\mathcal{I}_{j}(q(t _{j}))+\varUpsilon _{g_{i}} )\\ \hphantom{q(t)=}{}+\sum_{j=1}^{k}\mathcal{A}_{2j}(\beta )( \ln t)^{\beta -2} (\mathcal{\widetilde{I}}_{j}(q(t_{j}))+ \varUpsilon _{g_{i}} ) \\ \hphantom{q(t)=}{}+ \frac{\mathcal{A}_{0}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta -1)} \int _{t_{k}}^{T}(\ln \frac{T}{s})^{\beta -2} (g(s,q(s),{}_{H} \mathfrak{D}^{\alpha }p(s))+\varUpsilon _{g}(t) )\frac{ds}{s} \\ \hphantom{q(t)=}{}+\frac{\mathcal{A}_{4}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta )} \int _{t_{k}}^{T}(\ln \frac{T}{s})^{\beta -1} (g(s,q(s),{}_{H} \mathfrak{D}^{\alpha }p(s))+\varUpsilon _{g}(t) )\frac{ds}{s} \\ \hphantom{q(t)=}{}+\sum_{j=1}^{k}\frac{\mathcal{A}_{5j}(\beta )(\ln t)^{\beta -2}}{ \varGamma (\beta )}\int _{t_{j-1}}^{t_{j}}(\ln \frac{t_{j}}{s})^{\beta -1} (g(s,q(s),{}_{H}\mathfrak{D}^{\alpha }p(s))+\varUpsilon _{g}(t) ) \frac{ds}{s} \\ \hphantom{q(t)=}{}+\sum_{j=1}^{k}\frac{\ln t^{3-\beta }(\log _{t_{j}}t)^{\beta -2}}{ \varGamma (\beta -1)}\int _{t_{j-1}}^{t_{j}}(\ln \frac{t_{j}}{s})^{\beta -2} (g(s,q(s),{}_{H}\mathfrak{D}^{\alpha }p(s))+\varUpsilon _{g}(t) )\frac{ds}{s} \\ \hphantom{q(t)=}{}+\frac{\mathcal{A}_{3}(\beta )(\ln t)^{\beta -2}}{\varGamma (\beta )} \int _{1}^{T}(\ln \frac{T}{s})^{\beta -1}\phi (s,q(s))\frac{ds}{s}\\ \hphantom{q(t)=}{}+\frac{1}{ \varGamma (\beta )}\int _{t_{k}}^{t}(\ln \frac{t}{s})^{\beta -1} (g(s,q(s), {}_{H}\mathfrak{D}^{\alpha }p(s))+\varUpsilon _{g}(t) )\frac{ds}{s}, \\ \hphantom{q(t)=}k=1,2,\dots ,n. \end{cases} $$
(4.3)

We consider

$$\begin{aligned} & \bigl\vert \bigl(p(t)-\widehat{p}(t)\bigr) (\ln t)^{2-\alpha } \bigr\vert \\ &\quad \leq T \bigl\vert \mathcal{A}_{0}(\alpha ) \bigr\vert \bigl\vert \varphi (p)-\varphi (\widehat{p}) \bigr\vert \\ &\quad + \sum _{i=1}^{k} \bigl\vert \mathcal{A}_{1i}( \alpha ) \bigr\vert \bigl\vert \mathcal{I}_{i}\bigl(p(t_{i}) \bigr)- \mathcal{I}_{i}\bigl(\widehat{p}(t_{i})\bigr) \bigr\vert +\sum_{i=1}^{k} \bigl\vert \mathcal{A}_{2i}( \alpha ) \bigr\vert \bigl\vert \mathcal{ \widetilde{I}}_{i}\bigl(p(t_{i})\bigr)-\mathcal{ \widetilde{I}}_{i}\bigl(\widehat{p}(t_{i})\bigr) \bigr\vert \\ &\qquad{}+\frac{ \vert \mathcal{A}_{0}(\alpha ) \vert }{\varGamma (\alpha -1)} \int _{t_{k}} ^{T} \biggl\vert \biggl(\ln \frac{T}{s}\biggr)^{\alpha -2} \biggr\vert \bigl\vert f \bigl(s,p(s),{}_{H}\mathfrak{D}^{ \beta }q(s)\bigr)-f\bigl(s, \widehat{p}(s),{}_{H}\mathfrak{D}^{\beta } \widehat{q}(s)\bigr) \bigr\vert \frac{ds}{s} \\ &\qquad{}+\frac{ \vert \mathcal{A}_{4}(\alpha ) \vert }{\varGamma (\alpha )} \int _{t_{k}} ^{T} \biggl\vert \biggl(\ln \frac{T}{s}\biggr)^{\alpha -1} \biggr\vert \bigl\vert f \bigl(s,p(s),{}_{H}\mathfrak{D}^{ \beta }q(s)\bigr)-f\bigl(s, \widehat{p}(s),{}_{H}\mathfrak{D}^{\beta } \widehat{q}(s)\bigr) \bigr\vert \frac{ds}{s} \\ &\qquad{}+\sum_{i=1}^{k}\frac{ \vert \mathcal{A}_{5i}(\alpha ) \vert }{\varGamma (\alpha )} \int _{t_{i-1}}^{t_{i}} \biggl\vert \biggl(\ln \frac{t_{i}}{s}\biggr)^{\alpha -1} \biggr\vert \bigl\vert f\bigl(s,p(s), {}_{H}\mathfrak{D}^{\beta }q(s)\bigr)-f\bigl(s, \widehat{p}(s),{}_{H} \mathfrak{D}^{\beta }\widehat{q}(s)\bigr) \bigr\vert \frac{ds}{s} \\ &\qquad{}+\sum_{i=1}^{k} \frac{ \vert \ln t^{3-\alpha } \vert \vert (\ln t_{i})^{2-\alpha } \vert }{ \varGamma (\alpha -1)}\\ &\qquad {}\times \int _{t_{i-1}}^{t_{i}} \biggl\vert \biggl(\ln \frac{t_{i}}{s}\biggr)^{ \alpha -2} \biggr\vert \bigl\vert f \bigl(s,p(s),{}_{H}\mathfrak{D}^{\beta }q(s)\bigr)-f\bigl(s, \widehat{p}(s), {}_{H}\mathfrak{D}^{\beta }\widehat{q}(s)\bigr) \bigr\vert \frac{ds}{s} \\ &\qquad{}+\frac{ \vert (\ln t)^{2-\alpha } \vert }{\varGamma (\alpha )} \int _{t_{k}}^{t} \biggl\vert \biggl( \ln \frac{t}{s}\biggr)^{\alpha -1} \biggr\vert \bigl\vert f \bigl(s,p(s),{}_{H}\mathfrak{D}^{\beta }q(s)\bigr)-f\bigl(s, \widehat{p}(s),{}_{H}\mathfrak{D}^{\beta }\widehat{q}(s)\bigr) \bigr\vert \frac{ds}{s} \\ &\qquad{}+\frac{ \vert \mathcal{A}_{3}(\alpha ) \vert }{\varGamma (\alpha )} \int _{1}^{T} \biggl\vert \biggl( \ln \frac{T}{s}\biggr)^{\alpha -1} \biggr\vert \bigl\vert \phi \bigl(s,p(s)\bigr)-\phi \bigl(s,\widehat{p}(s)\bigr) \bigr\vert \frac{ds}{s}\\ &\qquad {}+\sum_{i=1}^{k} \bigl\vert \mathcal{A}_{2i}(\alpha ) \bigr\vert \vert \varUpsilon _{f _{i}} \vert +\frac{ \vert \mathcal{A}_{0}(\alpha ) \vert }{\varGamma (\alpha -1)} \int _{t _{k}}^{T} \biggl\vert \biggl(\ln \frac{T}{s}\biggr)^{\alpha -2} \biggr\vert \bigl\vert \varUpsilon _{f}(s) \bigr\vert \frac{ds}{s} \\ &\qquad{}+\sum_{i=1}^{k} \bigl\vert \mathcal{A}_{1i}(\alpha ) \bigr\vert \vert \varUpsilon _{f_{i}} \vert +\frac{ \vert \mathcal{A}_{4}(\alpha ) \vert }{\varGamma (\alpha )} \int _{t_{k}}^{T} \biggl\vert \biggl(\ln \frac{T}{s}\biggr)^{\alpha -1} \biggr\vert \bigl\vert \varUpsilon _{f}(s) \bigr\vert \frac{ds}{s}\\ &\qquad {}+\sum _{i=1}^{k}\frac{ \vert \mathcal{A}_{5i}(\alpha ) \vert }{\varGamma (\alpha )} \int _{t_{i-1}}^{t_{i}} \biggl\vert \biggl( \ln \frac{t_{i}}{s}\biggr)^{\alpha -1} \biggr\vert \bigl\vert \varUpsilon _{f}(s) \bigr\vert \frac{ds}{s} \\ &\qquad{}+\sum_{i=1}^{k} \frac{ \vert \ln t^{3-\alpha } \vert \vert (\ln t_{i})^{2-\alpha } \vert }{ \varGamma (\alpha -1)} \int _{t_{i-1}}^{t_{i}} \biggl\vert \biggl(\ln \frac{t_{i}}{s}\biggr)^{ \alpha -2} \biggr\vert \bigl\vert \varUpsilon _{f}(s) \bigr\vert \frac{ds}{s}\\ &\qquad {}+\frac{ \vert (\ln t)^{2-\alpha } \vert }{ \varGamma (\alpha )} \int _{t_{k}}^{t} \biggl\vert \biggl(\ln \frac{t}{s}\biggr)^{\alpha -1} \biggr\vert \bigl\vert \varUpsilon _{f}(s) \bigr\vert \frac{ds}{s}. \end{aligned}$$

As in Theorem 3.4, we get

$$\begin{aligned} \Vert p-\widehat{p} \Vert _{\mathcal{E}_{1}}&\leq \biggl(\varLambda _{1}+\frac{ \varLambda _{2}\mathcal{L}_{f}}{\mathcal{\widetilde{L}}_{f}\mathcal{ \widetilde{L}}_{g}-1} \biggr) (\ln t)^{2-\alpha } \Vert p- \widehat{p} \Vert _{ \mathcal{E}_{1}}+\frac{\varLambda _{2}\mathcal{\widetilde{L}}_{f} \mathcal{L}_{g}}{\mathcal{\widetilde{L}}_{f}\mathcal{\widetilde{L}} _{g}-1}(\ln t)^{2-\alpha } \Vert q-\widehat{q} \Vert _{\mathcal{E}_{1}} \\ &\quad{}+ \bigl(\varLambda _{2}+k \bigl\vert \mathcal{A}_{1}( \alpha ) \bigr\vert +k \bigl\vert \mathcal{A}_{2}( \alpha ) \bigr\vert \bigr)\varrho _{\alpha }, \quad k=1,2,\dots ,m, \end{aligned}$$
(4.4)

and

$$\begin{aligned} \Vert q-\widehat{q} \Vert _{\mathcal{E}_{2}}&\leq\frac{\varLambda _{4}\mathcal{L} _{f}\mathcal{\widetilde{L}}_{g}}{\mathcal{\widetilde{L}}_{f}\mathcal{ \widetilde{L}}_{g}-1}( \ln t)^{2-\beta } \Vert p-\widehat{p} \Vert _{\mathcal{E} _{2}}+ \biggl( \varLambda _{3}+\frac{\varLambda _{4}\mathcal{L}_{g}}{\mathcal{ \widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1} \biggr) (\ln t)^{2- \beta } \Vert q-\widehat{q} \Vert _{\mathcal{E}_{2}} \\ &\quad{}+ \bigl(\varLambda _{4}+k \bigl\vert \mathcal{A}_{1}( \beta ) \bigr\vert +k \bigl\vert \mathcal{A}_{2}( \beta ) \bigr\vert \bigr)\varrho _{\beta }, \quad k=1,2,\dots ,n. \end{aligned}$$
(4.5)

From (4.4) and (4.5) we have

$$\begin{aligned} &\Vert p-\widehat{p} \Vert _{\mathcal{E}_{1}}-\frac{\varLambda _{2}\mathcal{ \widetilde{L}}_{f}\mathcal{L}_{g}}{(\mathcal{\widetilde{L}}_{f}\mathcal{ \widetilde{L}}_{g}-1) ((\ln t)^{\alpha -2}-\varLambda _{1} )- \varLambda _{2}\mathcal{L}_{f}} \Vert q- \widehat{q} \Vert _{\mathcal{E}_{1}}\\ &\quad \leq \frac{ \varLambda _{2}+k \vert \mathcal{A}_{1}(\alpha ) \vert +k \vert \mathcal{A}_{2}(\alpha ) \vert }{1- (\varLambda _{1}+\frac{\varLambda _{2}\mathcal{L}_{f}}{\mathcal{ \widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1} )(\ln t)^{2- \alpha }}\varrho _{\alpha } \end{aligned}$$

and

$$\begin{aligned} &\Vert q-\widehat{q} \Vert _{\mathcal{E}_{2}}-\frac{\varLambda _{4}\mathcal{L}_{f}\mathcal{ \widetilde{L}}_{g}}{(\mathcal{\widetilde{L}}_{f}\mathcal{ \widetilde{L}}_{g}-1)((\ln t)^{\beta -2}-\varLambda _{3})-\varLambda _{4} \mathcal{L}_{g}} \Vert p- \widehat{p} \Vert _{\mathcal{E}_{2}}\\ &\quad \leq \frac{\varLambda _{4}+k \vert \mathcal{A}_{1}(\beta ) \vert +k \vert \mathcal{A}_{2}(\beta ) \vert }{1- ( \varLambda _{3}+\frac{\varLambda _{4}\mathcal{L}_{g}}{\mathcal{\widetilde{L}} _{f}\mathcal{\widetilde{L}}_{g}-1} )(\ln t)^{2-\beta }} \varrho _{\beta }, \end{aligned}$$

respectively. Let \(\mathcal{G}_{\alpha }=\frac{\varLambda _{2}+k| \mathcal{A}_{1}(\alpha )|+k|\mathcal{A}_{2}(\alpha )|}{1- (\varLambda _{1}+\frac{\varLambda _{2}\mathcal{L}_{f}}{\mathcal{\widetilde{L}}_{f}\mathcal{ \widetilde{L}}_{g}-1} )(\ln t)^{2-\alpha }}\) and \(\mathcal{G}_{ \beta }=\frac{\varLambda _{4}+k|\mathcal{A}_{1}(\beta )|+k|\mathcal{A} _{2}(\beta )|}{1- (\varLambda _{3}+\frac{\varLambda _{4}\mathcal{L}_{g}}{\mathcal{ \widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1} )(\ln t)^{2- \beta }}\). Then the last two inequalities can be written in matrix form as

$$ \begin{gathered} \begin{bmatrix} 1 & -\frac{\varLambda _{2}\mathcal{\widetilde{L}}_{f}\mathcal{L}_{g}}{(\mathcal{ \widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1)((\ln t)^{\alpha -2}- \varLambda _{1})-\varLambda _{2}\mathcal{L}_{f}} \\ -\frac{\varLambda _{4}\mathcal{L}_{f}\mathcal{\widetilde{L}}_{g}}{(\mathcal{ \widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1)((\ln t)^{\beta -2}- \varLambda _{3})-\varLambda _{4}\mathcal{L}_{g}} & 1 \end{bmatrix}\\ \quad {}\times \begin{bmatrix} \Vert p-\widehat{p} \Vert _{\mathcal{E}_{1}} \\ \Vert q-\widehat{q} \Vert _{\mathcal{E}_{2}} \end{bmatrix}\leq \begin{bmatrix} \mathcal{G}_{\alpha }\varrho _{\alpha } \\ \mathcal{G}_{\beta }\varrho _{\beta } \end{bmatrix}, \\ \begin{bmatrix} \Vert p-\widehat{p} \Vert _{\mathcal{E}_{1}} \\ \Vert q-\widehat{q} \Vert _{\mathcal{E}_{2}} \end{bmatrix}\\ \quad \leq \begin{bmatrix} \frac{1}{\digamma } & \frac{\varLambda _{2}\mathcal{\widetilde{L}}_{f} \mathcal{L}_{g}}{(\mathcal{\widetilde{L}}_{f}\mathcal{\widetilde{L}} _{g}-1)((\ln t)^{\alpha -2}-\varLambda _{1})-\varLambda _{2}\mathcal{L}_{f}}\frac{1}{ \digamma } \\ \frac{\varLambda _{4}\mathcal{L}_{f}\mathcal{\widetilde{L}}_{g}}{(\mathcal{ \widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1)((\ln t)^{\beta -2}- \varLambda _{3})-\varLambda _{4}\mathcal{L}_{g}}\frac{1}{\digamma } & \frac{1}{ \digamma } \end{bmatrix} \begin{bmatrix} \mathcal{G}_{\alpha }\varrho _{\alpha } \\ \mathcal{G}_{\beta }\varrho _{\beta } \end{bmatrix}, \end{gathered} $$
(4.6)

where

$$\begin{aligned} \digamma =1-\frac{\mathcal{L}_{f}\mathcal{\widetilde{L}}_{f} \mathcal{L}_{g}\mathcal{\widetilde{L}}_{g}\varLambda _{2}\varLambda _{4}}{ ((\mathcal{\widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1)(( \ln t)^{\alpha -2}-\varLambda _{1})-\varLambda _{2}\mathcal{L}_{f} ) ((\mathcal{ \widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1)((\ln t)^{\beta -2}- \varLambda _{3})-\varLambda _{4}\mathcal{L}_{g} )}>0. \end{aligned}$$

From system (4.6) we have

$$\begin{aligned} & \Vert p-\widehat{p} \Vert _{\mathcal{E}_{1}}\leq \frac{\mathcal{G}_{\alpha } \varrho _{\alpha }}{\digamma }+ \frac{\varLambda _{2} \mathcal{\widetilde{L}}_{f}\mathcal{L}_{g}\mathcal{G}_{\beta } \varrho _{\beta }}{(\mathcal{\widetilde{L}}_{f}\mathcal{\widetilde{L}} _{g}-1)((\ln t)^{\alpha -2}-\varLambda _{1})-\varLambda _{2}\mathcal{L}_{f}}\frac{1}{ \digamma }, \\ & \Vert q-\widehat{q} \Vert _{\mathcal{E}_{2}}\leq \frac{\mathcal{G}_{\beta } \varrho _{\beta }}{\digamma }+ \frac{\varLambda _{4}\mathcal{L}_{f}\mathcal{ \widetilde{L}}_{g}\mathcal{G}_{\alpha }\varrho _{\alpha }}{(\mathcal{ \widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1)((\ln t)^{\beta -2}- \varLambda _{3})-\varLambda _{4}\mathcal{L}_{g}}\frac{1}{\digamma }, \end{aligned}$$

which implies that

$$\begin{aligned} \Vert p-\widehat{p} \Vert _{\mathcal{E}_{1}}+ \Vert q-\widehat{q} \Vert _{\mathcal{E} _{2}}&\leq\frac{\mathcal{G}_{\alpha }\varrho _{\alpha }}{\digamma }+\frac{ \mathcal{G}_{\beta }\varrho _{\beta }}{\digamma }+\frac{\varLambda _{2}\mathcal{ \widetilde{L}}_{f}\mathcal{L}_{g}\mathcal{G}_{\beta }\varrho _{\beta }}{(\mathcal{ \widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1)((\ln t)^{\alpha -2}- \varLambda _{1})-\varLambda _{2}\mathcal{L}_{f}} \frac{1}{\digamma } \\ &\quad{}+\frac{\varLambda _{4}\mathcal{L}_{f}\mathcal{\widetilde{L}}_{g} \mathcal{G}_{\alpha }\varrho _{\alpha }}{(\mathcal{\widetilde{L}}_{f}\mathcal{ \widetilde{L}}_{g}-1)((\ln t)^{\beta -2}-\varLambda _{3})-\varLambda _{4} \mathcal{L}_{g}}\frac{1}{\digamma }. \end{aligned}$$

If \(\max \{\varrho _{\alpha },\varrho _{\beta }\}=\varrho \) and \(\frac{\mathcal{G}_{\alpha }}{\digamma }+\frac{\mathcal{G}_{\beta }}{ \digamma }+\frac{\varLambda _{2}\mathcal{\widetilde{L}}_{f}\mathcal{L} _{g}\mathcal{G}_{\beta }}{(\mathcal{\widetilde{L}}_{f}\mathcal{ \widetilde{L}}_{g}-1)((\ln t)^{\alpha -2}-\varLambda _{1})-\varLambda _{2} \mathcal{L}_{f}}\frac{1}{\digamma }+\frac{\varLambda _{4}\mathcal{L}_{f}\mathcal{ \widetilde{L}}_{g}\mathcal{G}_{\alpha }}{(\mathcal{\widetilde{L}}_{f}\mathcal{ \widetilde{L}}_{g}-1)((\ln t)^{\beta -2}-\varLambda _{3})-\varLambda _{4} \mathcal{L}_{g}}\frac{1}{\digamma }=\mathcal{G}_{\alpha ,\beta }\), then

$$\begin{aligned} \bigl\Vert (p,q)-(\widehat{p},\widehat{q}) \bigr\Vert _{\mathcal{E}}\leq \mathcal{G}_{ \alpha ,\beta }\varrho . \end{aligned}$$

This shows that system (1.1) is Hyers–Ulam stable. Also, if

$$\begin{aligned} \bigl\Vert (p,q)-(\widehat{p},\widehat{q}) \bigr\Vert _{\mathcal{E}}\leq \mathcal{G}_{ \alpha ,\beta }\varPhi (\varrho ), \end{aligned}$$

with \(\varPhi (0)=0\), then the solution of system (1.1) is generalized Hyers–Ulam stable. □

For the upcoming result, we suppose that:

\((\mathbf{H}_{6})\) :

There exist two nondecreasing functions \(\bar{w}_{\alpha },\bar{w}_{\beta }\in \mathcal{C}(\mathcal{J}, \mathcal{R}^{+})\) such that

$$\begin{aligned} {}_{H}\mathfrak{I}^{\alpha }\bar{w}_{\alpha }(t)\leq \mathcal{L}_{ \alpha }\bar{w}_{\alpha }(t) \quad \text{and} \quad {}_{H}\mathfrak{I}^{\beta }\bar{w}_{\beta }(t)\leq \mathcal{L}_{ \beta }\bar{w}_{\beta }(t), \quad \text{where } \mathcal{L}_{\alpha },\mathcal{L}_{\beta }>0. \end{aligned}$$

Theorem 4.2

If assumptions \((\mathbf{H}_{1})\)\((\mathbf{H}_{3})\) and \(( \mathbf{H}_{6})\) and inequality (3.18) are satisfied and

$$\begin{aligned} \digamma =1-\frac{\mathcal{L}_{f}\mathcal{\widetilde{L}}_{f} \mathcal{L}_{g}\mathcal{\widetilde{L}}_{g}\varLambda _{2}\varLambda _{4}}{ ((\mathcal{\widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1)(( \ln t)^{\alpha -2}-\varLambda _{1})-\varLambda _{2}\mathcal{L}_{f} ) ((\mathcal{ \widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1)((\ln t)^{\beta -2}- \varLambda _{3})-\varLambda _{4}\mathcal{L}_{g} )}>0, \end{aligned}$$

then the unique solution of the coupled system (1.1) is Hyers–Ulam–Rassias stable and consequently generalized Hyers–Ulam–Rassias stable.

Proof

By using Definitions 2.7 and 2.8, we can obtain our result performing the same steps as in Theorem 4.1. □

5 Example

Example 5.1

Consider

$$ \textstyle\begin{cases} {}_{H}\mathfrak{D}^{\frac{6}{5}}p(t)-\frac{2+p(t)+{}_{H}\mathfrak{D} ^{\frac{5}{4}}q(t)}{70e^{t+20}(1+p(t)+{}_{H}\mathfrak{D}^{\frac{5}{4}}q(t))}=0, \quad t\neq \frac{3}{2}, \\ {}_{H}\mathfrak{D}^{\frac{5}{4}}q(t)- \frac{t\cos (p(t))-q(t)\sin (t)}{50}-\frac{{}_{H}\mathfrak{D}^{ \frac{6}{5}}p(t)}{25+{}_{H}\mathfrak{D}^{\frac{6}{5}}p(t)}=0, \quad t\neq \frac{3}{2}, \\ \Delta p(\frac{3}{2})=\mathcal{I}_{1}(p(\frac{3}{2}))=\frac{ \vert p( \frac{3}{2}) \vert }{2+ \vert p(\frac{3}{2}) \vert } \quad \text{and} \quad \Delta p'(\frac{3}{2})=\mathcal{\widetilde{I}}_{1}(p(\frac{3}{2})=\frac{ \vert p( \frac{3}{2}) \vert }{25+ \vert p(\frac{3}{2}) \vert }, \\ \Delta q(\frac{3}{2})=\mathcal{I}_{1}(q(\frac{3}{2}))=\frac{ \vert q( \frac{3}{2}) \vert }{2+ \vert q(\frac{3}{2}) \vert } \quad \text{and} \quad \Delta q'(\frac{3}{2})=\mathcal{\widetilde{I}}_{1}(q(\frac{3}{2})=\frac{ \vert q( \frac{3}{2}) \vert }{25+ \vert q(\frac{3}{2}) \vert }, \quad t_{1}=\frac{3}{2}, \\ p(e)=\int _{1}^{e}\frac{(\ln \frac{e}{s})^{\frac{1}{5}}}{\varGamma ( \frac{6}{5})}\frac{s^{2}+p(s)}{60}\frac{ds}{s} \quad \text{and} \quad p'(e)=\sum^{10}_{k=1}\frac{1}{\wp _{k}} \vert p(\zeta _{k}) \vert , \quad 1< \zeta _{k}< 2 \hbar _{k}>0, \\ q(e)=\int _{1}^{e}\frac{(\ln \frac{e}{s})^{\frac{1}{4}}}{\varGamma ( \frac{5}{4})}\frac{s^{2}+q(s)}{60}\frac{ds}{s} \quad \text{and} \quad q'(e)=\sum^{10}_{k=1}\frac{1}{\wp _{k}} \vert q(\eta _{k}) \vert , \quad 1< \zeta _{k}< 2 \wp _{k}>0, \end{cases} $$
(5.1)

where \(\sum_{k=1}^{10}\frac{1}{\wp _{k}}<\frac{1}{2}\) for \(t\in [1,e]\). From the system (5.1), we can see \(\alpha = \frac{6}{5}\), \(\beta =\frac{5}{4}\), \(T=e\), \(m=1\) and \(t_{1}= \frac{3}{2}\). Also, we can easily find \(\mathcal{L}_{\varphi }=\mathcal{ \widetilde{L}}_{\varphi }=\frac{1}{2}\), \(\mathcal{L}_{\phi }=\mathcal{ \widetilde{L}}_{\phi }=\frac{1}{60}\), \(\mathcal{L}_{\mathcal{I}}=\mathcal{ \widetilde{L}}_{\mathcal{I}}=\frac{1}{2}\), \(\mathcal{L}_{\mathcal{ \widetilde{I}}}=\mathcal{\widetilde{L}}_{\mathcal{\widetilde{I}}}= \frac{1}{25}\), \(\mathcal{L}_{f}=\mathcal{\widetilde{L}}_{f}=\frac{1}{70e ^{20}}\) and \(\mathcal{L}_{g}=\mathcal{\widetilde{L}}_{g}=\frac{1}{25}\). With the help of Theorem 3.4, the following inequality is found:

$$\begin{aligned} \varLambda _{1}+\varLambda _{3}+\frac{\varLambda _{2}(\mathcal{L}_{f}+\mathcal{ \widetilde{L}}_{f}\mathcal{L}_{g})+\varLambda _{4}(\mathcal{L}_{g}+ \mathcal{L}_{f}\mathcal{\widetilde{L}}_{g})}{(\mathcal{\widetilde{L}} _{f}\mathcal{\widetilde{L}}_{g}-1)}\approx 0.5366>0, \end{aligned}$$

hence (5.1) has a unique solution. Also,

$$\begin{aligned} \digamma &=1-\frac{\mathcal{L}_{f}\mathcal{\widetilde{L}}_{f} \mathcal{L}_{g}\mathcal{\widetilde{L}}_{g}\varLambda _{2}\varLambda _{4}}{ ((\mathcal{\widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1)(( \ln t)^{\alpha -2}-\varLambda _{1})-\varLambda _{2}\mathcal{L}_{f} ) ((\mathcal{ \widetilde{L}}_{f}\mathcal{\widetilde{L}}_{g}-1)((\ln t)^{\beta -2}- \varLambda _{3})-\varLambda _{4}\mathcal{L}_{g} )}\\ &\approx 0.02280>0, \end{aligned}$$

hence by Theorem 4.1 the coupled system (5.1) is Hyers–Ulam stable and thus generalized Hyers–Ulam stable. Similarly, we can verify the condition of Theorems 3.3 and 4.2.

6 Conclusion

In this paper, we have used the Krasnoselskii fixed point theorem to achieve the necessary criteria for the existence and uniqueness of the solution of considered implicit coupled impulsive fractional differential systems given in (1.1). Additionally, under particular assumptions and conditions, we have established the Hyers–Ulam stability results for the solution of the considered problem (1.1). From the obtained results, we conclude that such a method is very powerful, effectual and suitable for the solution of nonlinear implicit coupled impulsive fractional differential equations.

References

  1. Bagley, R.L., Torvik, P.J.: A theoretical basis for the application of fractional calculus to viscoelasticity. J. Rheol. 27, 201–210 (1983)

    Article  Google Scholar 

  2. Jiao, Z., Chen, Y.Q., Podlubny, I.: Distributed-Order Dynamic Systems. NewYork, Springer (2012)

    Book  Google Scholar 

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

    MATH  Google Scholar 

  4. Adomian, G., Adomian, G.E.: Cellular systems and aging models. Comput. Math. Appl. 11, 283–291 (1985)

    Article  MathSciNet  Google Scholar 

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

    MATH  Google Scholar 

  6. Jiang, J., Liu, W., Wang, H.: Positive solutions for higher order nonlocal fractional differential equation with integral boundary conditions. J. Funct. Spaces 2018, Article ID 6598351 (2018)

    MathSciNet  MATH  Google Scholar 

  7. Liu, X., Liu, L., Wu, Y.: Existence of positive solutions for a singular nonlinear fractional differential equation with integral boundary conditions involving fractional derivatives. Bound. Value Probl. 2018, Article ID 24 (2018)

    Article  MathSciNet  Google Scholar 

  8. Sun, Q., Meng, Sh., Cui, Y.: Existence results for fractional order differential equation with nonlocal Erdélyi–Kober and generalized Riemann–Liouville type integral boundary conditions at resonance. Adv. Differ. Equ. 2018, 243 (2018)

    Article  Google Scholar 

  9. Cui, Y., Ma, W., Sun, Q., Su, X.: New uniqueness results for boundary value problem of fractional differential equation. Nonlinear Anal., Model. Control 23(1), 31–39 (2018)

    Article  MathSciNet  Google Scholar 

  10. Zou, Y., He, G.: On the uniqueness of solutions for a class of fractional differential equations. Appl. Math. Lett. 74, 68–73 (2017)

    Article  MathSciNet  Google Scholar 

  11. Yue, Z., Zou, Y.: New uniqueness results for fractional differential equation with dependence on the first order derivative. Adv. Differ. Equ. 2019, Article ID 38 (2019)

    Article  MathSciNet  Google Scholar 

  12. Zou, Y.: Positive solutions for a fractional boundary value problem with a perturbation term. J. Funct. Spaces 2018, Article ID 9070247 (2018)

    MathSciNet  MATH  Google Scholar 

  13. Zhang, K., Wang, J., Ma, W.: Solutions for integral boundary value problems of nonlinear Hadamard fractional differential equations. J. Funct. Spaces 2018, Article ID 2193234 (2018)

    MathSciNet  MATH  Google Scholar 

  14. Zhang, K., Fu, Z.: Solutions for a class of Hadamard fractional boundary value problems with sign-changing nonlinearity. J. Funct. Spaces 2019, Article ID 9046472 (2019)

    MathSciNet  MATH  Google Scholar 

  15. Wu, J., Zhang, X., Liu, L., Wu, Y., Cui, Y.: The convergence analysis and error estimation for unique solution of a p-Laplacian fractional differential equation with singular decreasing nonlinearity. Bound. Value Probl. 2018, Article ID 82 (2018)

    Article  MathSciNet  Google Scholar 

  16. Zhai, C., Li, P., Li, H.: Single upper-solution or lower-solution method for Langevin equations with two fractional orders. Adv. Differ. Equ. 2018, Article ID 360 (2018)

    Article  MathSciNet  Google Scholar 

  17. Zhang, X., Wu, J., Liu, L., Wu, Y., Cui, Y.: Convergence analysis of iterative scheme and error estimation of positive solution for a fractional differential equation. Math. Model. Anal. 23(4), 611–626 (2018)

    Article  MathSciNet  Google Scholar 

  18. He, J., Zhang, X., Liu, L., Wu, Y., Cui, Y.: Existence and asymptotic analysis of positive solutions for a singular fractional differential equation with nonlocal boundary conditions. Bound. Value Probl. 2018, Article ID 189 (2018)

    Article  MathSciNet  Google Scholar 

  19. Guo, Y.: Nontrivial solutions for boundary-value problems of nonlinear fractional differential equations. Bull. Korean Math. Soc. 47(1), 81–87 (2010)

    Article  MathSciNet  Google Scholar 

  20. Zhang, K.: On a sign-changing solution for some fractional differential equations. Bound. Value Probl. 2017, Article ID 59 (2017)

    Article  MathSciNet  Google Scholar 

  21. Zhang, X., Liu, L., Wu, Y., Cui, Y.: New result on the critical exponent for solution of an ordinary fractional differential problem. J. Funct. Spaces 2017, Article ID 3976469 (2017)

    MathSciNet  MATH  Google Scholar 

  22. Zuo, M., Hao, X., Liu, L., Cui, Y.: Existence results for impulsive fractional integro-differential equation of mixed type with constant coefficient and antiperiodic boundary conditions. Bound. Value Probl. 2017, Article ID 161 (2017)

    Article  MathSciNet  Google Scholar 

  23. Bai, Z., Dong, X., Yin, C.: Existence results for impulsive nonlinear fractional differential equation with mixed boundary conditions. Bound. Value Probl. 2016, Article ID 63 (2016)

    Article  MathSciNet  Google Scholar 

  24. Wang, Y., Liu, Y., Cui, Y.: Infinitely many solutions for impulsive fractional boundary value problem with p-Laplacian. Bound. Value Probl. 2018, Article ID 94 (2018)

    Article  MathSciNet  Google Scholar 

  25. Zuo, M., Hao, X.: Existence results for impulsive fractional-difference equation with antiperiodic boundary conditions. J. Funct. Spaces 2018, Article ID 3798342 (2018)

    MathSciNet  MATH  Google Scholar 

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

    MATH  Google Scholar 

  27. Hadamard, J.: Essai sur Ietude des fonctions donnes par leur developpment de taylor. J. Math. Pures Appl. 8, 86–101 (1892)

    Google Scholar 

  28. Jiang, J., Liu, L., Wu, Y.: Positive solutions to singular fractional differential system with coupled boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 18(11), 3061–3074 (2013)

    Article  MathSciNet  Google Scholar 

  29. Guo, L., Liu, L., Wu, Y.: Iterative unique positive solutions for singular p-Laplacian fractional differential equation system with several parameters. Nonlinear Anal., Model. Control 23(2), 182–203 (2018)

    Article  MathSciNet  Google Scholar 

  30. Zhang, Y.: Existence results for a coupled system of nonlinear fractional multi-point boundary value problems at resonance. J. Inequal. Appl. 2018, Article ID 198 (2018)

    Article  MathSciNet  Google Scholar 

  31. Hao, X., Wang, H., Liu, L., Cui, Y.: Positive solutions for a system of nonlinear fractional nonlocal boundary value problems with parameters and p-Laplacian operator. Bound. Value Probl. 2017, Article ID 182 (2017)

    Article  MathSciNet  Google Scholar 

  32. 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, Article ID 207 (2018)

    Article  MathSciNet  Google Scholar 

  33. Li, H., Zhang, J.: Positive solutions for a system of fractional differential equations with two parameters. J. Funct. Spaces 2018, Article ID 1462505 (2018)

    MathSciNet  MATH  Google Scholar 

  34. Zhang, X., Liu, L., Wu, Y., Zou, Y.: Existence and uniqueness of solutions for systems of fractional differential equations with Riemann–Stieltjes integral boundary condition. Adv. Differ. Equ. 2018, Article ID 204 (2018)

    Article  MathSciNet  Google Scholar 

  35. Zhang, X., Liu, L., Zou, Y.: Fixed-point theorems for systems of operator equations and their applications to the fractional differential equations. J. Funct. Spaces 2018, Article ID 7469868 (2018)

    MathSciNet  MATH  Google Scholar 

  36. Qi, T., Liu, Y., Zou, Y.: Existence result for a class of coupled fractional differential systems with integral boundary value conditions. J. Nonlinear Sci. Appl. 10, 4034–4045 (2017)

    Article  MathSciNet  Google Scholar 

  37. Qiu, X., Xu, J., O’Regan, D., Cui, Y.: Positive solutions for a system of nonlinear semipositone boundary value problems with Riemann–Liouville fractional derivatives. J. Funct. Spaces 2018, Article ID 7351653 (2018)

    MathSciNet  MATH  Google Scholar 

  38. Qi, T., Liu, Y., Cui, Y.: Existence of solutions for a class of coupled fractional differential systems with nonlocal boundary conditions. J. Funct. Spaces 2017, Article ID 6703860 (2017)

    MathSciNet  MATH  Google Scholar 

  39. Zhao, Y., Hou, X., Sun, Y., Bai, Z.: Solvability for some class of multi-order nonlinear fractional systems. Adv. Differ. Equ. 2019, Article ID 23 (2019)

    Article  MathSciNet  Google Scholar 

  40. Ahmad, B., Juan, J., Nieto, J., Alseadi, A.: A coupled system of Caputo-type sequential fractional differential equations with coupled (periodic/anti-periodic type) boundary conditions. Mediterr. J. Math. 14(227), 1–15 (2017)

    MathSciNet  Google Scholar 

  41. Ahmad, B., Ntouyas, S.K.: A fully Hadamard type integral boundary value problem of a coupled system of fractional differential equations. Fract. Calc. Appl. Anal. 17, 348–360 (2014)

    Article  MathSciNet  Google Scholar 

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

    Book  Google Scholar 

  43. Tariboon, J., Sudsutad, W.: Coupled systems of Riemann–Liouville fractional differential equations with Hadamard fractional integral boundary conditions. J. Nonlinear Sci. Appl. 9, 295–308 (2016)

    Article  MathSciNet  Google Scholar 

  44. Khan, H., Li, Y., Chen, W., Baleanu, D., Khan, A.: Existence theorems and Hyers–Ulam stability for a coupled system of fractional differential equations with p-Laplacian operator. Bound. Value Probl. 2017, 157, 1–17 (2017)

    Article  MathSciNet  Google Scholar 

  45. Shah, K., Khan, R.A.: Existence and uniqueness of positive solutions to a coupled system of nonlinear fractional order differential equations with anti periodic boundary conditions. Differ. Equ. Appl. 7, 245–262 (2015)

    MathSciNet  MATH  Google Scholar 

  46. Ulam, S.M.: A Collection of Mathematical Problems. Interscience, New York (1960)

    MATH  Google Scholar 

  47. Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27, 222–224 (1941)

    Article  MathSciNet  Google Scholar 

  48. Hyers, D.H., Isac, G., Rassias, T.M.: Stability of Functional Equations in Several Variables. Birkhäiuser, Boston (1998)

    Book  Google Scholar 

  49. Jung, S.M.: Hyers–Ulam stability of linear differential equations of first order. Appl. Math. Lett. 19, 854–858 (2006)

    Article  MathSciNet  Google Scholar 

  50. Zada, A., Riaz, U., Khan, F.: Hyers–Ulam stability of impulsive integral equations. Boll. Unione Mat. Ital. (2018, in press). https://doi.org/10.1007/s40574-018-0180-2

    Article  MATH  Google Scholar 

  51. Shah, S.O., Zada, A., Hamza, A.E.: Stability analysis of the first order non-linear impulsive time varying delay dynamic system on time scales. Qual. Theory Dyn. Syst. (2019, in press) https://doi.org/10.1007/s12346-019-00315-x

    Article  Google Scholar 

  52. Zada, A., Ali, S.: Stability analysis of multi-point boundary value problem for sequential fractional differential equations with non-instantaneous impulses. Int. J. Nonlinear Sci. Numer. Simul. 19(7), 763–774 (2018)

    Article  MathSciNet  Google Scholar 

  53. Zada, A., Khan, F., Riaz, U., Li, T.: Hyers–Ulam stability of linear summation equations. Punjab Univ. J. Math. 49(1), 19–24 (2017)

    MathSciNet  MATH  Google Scholar 

  54. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North–Holland Math. Stud., Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  55. Klimek, M.: Sequential fractional differential equations with Hadamard derivative. Commun. Nonlinear Sci. Numer. Simul. 16, 4689–4697 (2011)

    Article  MathSciNet  Google Scholar 

  56. Wang, J., Zhou, Y., Medved, M.: Existence and stability of fractional differential equations with Hadamard derivative. Topol. Methods Nonlinear Anal. 41, 113–133 (2013)

    MathSciNet  MATH  Google Scholar 

  57. Ahmad, N., Ali, Z., Shah, K., Zada, A., Rahman, G.: Analysis of implicit type nonlinear dynamical problem of impulsive fractional differentail equations. Complexity 2018, Article ID 6423974, 15 pages (2018)

    MATH  Google Scholar 

  58. Asma, Ali, A., Shah, K., Jarad, F.: Ulam–Hyers stability analysis to a class of nonlinear implicit impulsive fractional differential equations with three point boundary conditions. Adv. Differ. Equ. 2019, 7 (2019). https://doi.org/10.1186/s13662-018-1943-x

    Article  MathSciNet  MATH  Google Scholar 

  59. Ali, Z., Zada, A., Shah, K.: Ulam stability results for the solutions of nonlinear implicit fractional order differential equations. Hacet. J. Math. Stat. (2018, in press) 20 pages. https://doi.org/10.15672/HJMS.2018.575

    Article  Google Scholar 

  60. Zada, A., Ali, S., Li, Y.: Ulam-type stability for a class of implicit fractional differential equations with non-instantaneous integral impulses and boundary condition. Adv. Differ. Equ. 2017, 312, 1–26 (2017)

    Article  MathSciNet  Google Scholar 

  61. Zada, A., Yar, M., Li, T.: Existence and stability analysis of nonlinear sequential coupled system of Caputo fractional differential equations with integral boundary conditions. Ann. Univ. Paedagog. Crac. Stud. Math. 17, 103–125 (2018)

    MathSciNet  Google Scholar 

  62. Benchohra, M., Lazreg, J.E.: Existence and Ulam stability for nonlinear implicit fractional differential equations with Hadamard derivative. Stud. Univ. Babeş–Bolyai, Math. 62(1), 27–38 (2017)

    Article  MathSciNet  Google Scholar 

  63. Ali, Z., Zada, A., Shah, K.: On Ulam’s stability for a coupled systems of nonlinear implicit fractional differential equations. Bull. Malays. Math. Sci. Soc. (2018, in press). https://doi.org/10.1007/s40840-018-0625-x

    Article  Google Scholar 

  64. Ali, Z., Zada, A., Shah, K.: Ulam stability to a toppled systems of nonlinear implicit fractional order boundary value problem. Bound. Value Probl. 2018, 175 (2018). https://doi.org/10.1186/s13661-018-1096-6

    Article  MathSciNet  Google Scholar 

  65. Ali, A., Shah, K., Jarad, F., Gupta, V., Abdeljawad, T.: Existence and stability analysis to a coupled system of implicit type impulsive boundary value problems of fractional-order differential equations. Adv. Differ. Equ. 2019, 101 (2019). https://doi.org/10.1186/s13662-019-2047-y

    Article  MathSciNet  MATH  Google Scholar 

  66. Ali, Z., Kumam, P., Shah, K., Zada, A.: Investigation of Ulam stability results of a coupled system of nonlinear implicit fractional differential equations. Mathematics 7(4), 341 (2019). https://doi.org/10.3390/math7040341

    Article  Google Scholar 

  67. Agarwal, R.P., Zhou, Y., He, Y.: Existence of fractional neutral functional differential equations. Comput. Math. Appl. 59, 1095–1100 (2010)

    Article  MathSciNet  Google Scholar 

  68. Wang, J., Zhang, Y.: On the concept and existence of solutions for fractional impulsive systems with Hadamard derivatives. Appl. Math. Lett. 39, 85–90 (2014)

    Article  MathSciNet  Google Scholar 

  69. Thiramanus, P., Ntouyas, S.K., Tariboon, J.: Positive solutions for Hadamard fractional differential equations on infinite domain. Adv. Differ. Equ. 2016, 83 (2016)

    Article  MathSciNet  Google Scholar 

  70. Altman, M.: A fixed point theorem for completely continuous operators in Banach spaces. Bull. Acad. Pol. Sci. 3, 409–413 (1955)

    MathSciNet  MATH  Google Scholar 

  71. Rus, I.A.: Ulam stabilities of ordinary differential equations in a Banach space. Carpath. J. Math. 26, 103–107 (2010)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

Not applicable.

Availability of data and materials

Not applicable.

Funding

Research supported by the National Natural Science Foundation of China(Grant No. 11601048,11571207), Natural Science Foundation of Chongqing (Grant No. cstc2016jcyjA0181), Natural Science Foundation of Chongqing Normal University (Grant No. 16XYY24), Shandong Natural Science Foundation (ZR2018MA011) and the Tai’shan Scholar Engineering Construction Fund of Shandong Province of China.

Author information

Authors and Affiliations

Authors

Contributions

The authors contributed equally to this paper. The authors read and approved the final manuscript.

Corresponding author

Correspondence to Yujun Cui.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

Not applicable.

Additional information

Abbreviations

Not applicable.

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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Riaz, U., Zada, A., Ali, Z. et al. Analysis of coupled systems of implicit impulsive fractional differential equations involving Hadamard derivatives. Adv Differ Equ 2019, 226 (2019). https://doi.org/10.1186/s13662-019-2163-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-019-2163-8

Keywords