Skip to main content

Theory and Modern Applications

Stability analysis of a nonlinear coupled implicit switched singular fractional differential system with p-Laplacian

Abstract

This paper deals with existence, uniqueness, and Hyers–Ulam stability of solutions to a nonlinear coupled implicit switched singular fractional differential system involving Laplace operator \(\phi _{p}\). The proposed problem consists of two kinds of fractional derivatives, that is, Riemann–Liouville fractional derivative of order β and Caputo fractional derivative of order σ, where \(m-1<\beta \), \(\sigma < m\), \(m\in \{2,3,\dots \}\). Prior to proceeding to the main results, the system is converted into an equivalent integral form by the help of Green’s function. Using Schauder’s fixed point theorem and Banach’s contraction principle, the existence and uniqueness of solutions are proved. The main results are demonstrated by an example.

1 Introduction

Fractional differential equations (FDEs) arise in different branches of applied mathematics. Recently, it has been evidently realized that the mathematical models of systems and processes involving fractional order derivatives often appear in the fields of physics, chemistry, biology, viscoelasticity, control hypothesis, speculation, fluid dynamics, hydrodynamics, aerodynamics, information processing system networking, notable and picture processing; see the remarkable monographs [22, 24, 37]. The study of fractional order differential models has been associated with the fact that they provide a more accurate description of real phenomena than the counterpart integer order models. The reason behind this intensive interest is that FDEs provide practical tools for the depictions of memory and inherited properties of many materials and processes. As a result, FDEs have experienced significant developments in recent years; see [5, 6, 13, 28, 30, 32, 34, 35, 41, 45] for further details.

One of the most interesting research areas in the field of FDEs, which has attracted great consideration amongst researchers, is dedicated to the existence theory of the solutions of fractional models. The aforesaid part has been extensively explored for integer order differential equations (DEs). However, for arbitrary order DEs, there are still many aspects which need further study and research. Different mathematicians have explored the existence of solutions of FDEs in various directions [1,2,3, 9, 12, 17, 21, 27]. Another imperative and more remarkable area of research, which has recently attracted more attention, is committed to the stability analysis of DEs of integer and noninteger order. The first effort was initiated by Ulam himself and later was confirmed by Hyers in [19]. That is why this type of stability is referred to as Ulam–Hyers (UH) stability. Further, Rassias introduced the Ulam–Hyers–Rassias (UHR) stability; see some recently reported stability results in the sense of Ulam [4, 7, 20, 29, 33, 38, 42,43,44, 47,48,49,50]. It is to be noted that the above said areas of interest (existence and stability) have been often deliberated within the settings of Riemann–Liouville and Caputo derivatives. The above results can also be studied for Caputo-Fabrizio derivative [10, 11, 14,15,16, 23].

In the solutions of differential and integral equations, the concept of fixed point theory is very important. Different fixed point theorems, which have numerous applications in the mentioned equations, are presented. Few important fixed point theorems can be found in [18, 39, 46].

For the sake of completeness and comparison, we assemble herein some relevant results. In [26], Liu et al. investigated the existence results of fractional Sturm–Liouville boundary value problem:

$$ \textstyle\begin{cases} D_{0^{+}}^{\sigma }(\varPhi (\rho (t)))(D_{0^{+}}^{\sigma '}u(t))+f(t,u(t),D _{0^{+}}^{\sigma '}u(t))=0,\quad t\in (0,1), 0< \sigma ,\sigma '< 1, \\ a_{0}\lim_{t\rightarrow 0}t^{1-\sigma '}u(t)-b_{0}\lim_{t\rightarrow 0}\varPhi ^{-1}(t^{1-\sigma })\rho (t)D_{0^{+}}^{\sigma '}u(0)=0, \\ c_{0}\lim_{t\rightarrow 1}\varPhi ^{-1}(t^{1-\sigma })\rho (t)D_{0^{+}} ^{\sigma '}u(0)+d_{0}\lim_{t\rightarrow 1}t^{1-\sigma '}u(t)=0, \end{cases} $$

where \(D_{0^{+}}^{\sigma }\), \(D_{0^{+}}^{\sigma '}\) denote the Riemann–Liouville fractional derivatives of order σ and \(\sigma '\) respectively, \(a_{0},b_{0},c_{0},d_{0}\in \mathcal{R}\), while \(\rho :(0,1)\rightarrow \mathcal{R}^{+}\) is a given continuous function. The function \(f:(0,1)\times \mathcal{R}\times \mathcal{R}\rightarrow \mathcal{R}\) is a quasi-Carathéodory function which may be singular at the points \(t=0,1\). The p-Laplacian operator Φ is defined as \(\varPhi (s)=|s|^{p-2}\) with inverse operator represented by \(\varPhi ^{-1}(s)=|s|^{q-2}\), where \(\frac{1}{p}+\frac{1}{q}=1\). The analysis relies on the well-known Leray–Schauder alternative principle.

In [25], Li studied the existence of a positive solution to the fractional differential equation involving integral boundary conditions with nonlinear p-Laplacian operator of the form:

$$ \textstyle\begin{cases} D^{\alpha }(\phi _{p}({}^{c}D^{\sigma }u(t)))+f(t,u(t))=0,\quad t\in (0,1), 2< \alpha ,\sigma < 3, \\ \phi _{p}({}^{c}D^{\sigma }u(0))= [\phi _{p}({}^{c}D^{\sigma }u(0)) ]'=({}^{c}D^{\sigma }u(1))=0, \\ u''(0)=u'(1)=0, \\ \lambda u(0)+\zeta u'(0)=\int _{0}^{1}u(t)\varphi (t)\,dt, \end{cases} $$

where \(D^{\alpha }\), \({}^{c}D^{\sigma }\) denote the Riemann–Liouville and Caputo fractional derivatives of order α and σ, respectively, and \(\phi (s)=|s|^{p-2}\), \(p>1\). The function φ satisfies \(\varphi : [0,1]\to \mathcal{R}^{+}\) with \(\varphi \in L^{1}[0,1]\), \(\int _{0}^{1}\varphi (t)\,dt >0\) and \(\int _{0}^{1}t\varphi (t)\,dt >0\), \(a, b \in \mathcal{R}^{+}\) with \(\int _{0}^{1}\varphi (t)\,dt < a\), where \(b >a\), and \(f:[0,1]\times (0, \infty ) \to (0,\infty )\) is continuous. By employing the Avery–Henderson fixed point theorem, new results have been obtained for the above problem.

In [8], Alkhazzan et al. studied the existence and stability results for a class of nonlinear fractional differential equations with singularity of the form:

$$ \textstyle\begin{cases} {}^{c}D^{\sigma }[\phi _{p}D^{\beta } u(t)]+F_{1}(t)\psi _{1}(t,u(t))=0, \\ ([\phi _{p}D^{\beta } u(0)])^{(j)}=0, \quad j=0,1,\dots , m-1, \\ I^{k-\beta }(u(0))=0, \quad k=2,3,\dots , m, \\ D^{\delta }(u(1))=0, \end{cases} $$

where \(D^{\beta }\) and \(^{c}D^{\sigma }\) respectively represent the Riemann–Liouville and Caputo fractional derivatives of order β and σ, \(m-1<\beta \), \(\sigma \leq m\), \(m\in \{2,3,\dots \}\), \(1< \delta \leq 2\). The nonlinear p-Laplacian operator \(\phi _{p}\) has expression in the form \(\phi _{p}(\theta )= \frac{\theta }{|\theta |^{2-p}}\), \(\phi _{p}(0)=0\), with inverse \(\phi _{q}\), that is, \(\phi _{q}=\phi ^{-1}_{p}\) such that \(\frac{1}{p}+ \frac{1}{q}=1\). The nonlinear function \(\psi _{1} \in \mathcal{C}[0, 1]\) is continuous and perhaps singular with respect to t, u. Some classical fixed point theorems are utilized to prove the main results.

The objective of this paper is to use the concepts mentioned in [8] to examine the existence, uniqueness as well as different kinds of Hyers–Ulam stability for the solution of the nonlinear coupled implicit switched singular system of fractional differential equations with singularities of the form:

$$\begin{aligned} \textstyle\begin{cases} {}^{c}D^{\sigma }[\phi _{p}D^{\beta } u(t)]+\mathcal{F}_{1}(t)\psi _{1}(t,u(t), {}^{c}D^{\rho }[\phi _{p}D^{\beta }v(t)])=0,\quad t\in \mathrm{J}={]0,1[}, \\ {}^{c}D^{\rho }[\phi _{p}D^{\beta }v(t)]+\mathcal{F}_{2}(t)\psi _{2}(t, {}^{c}D^{\sigma }[\phi _{p}D^{\beta } u(t)],v(t))=0,\quad t\in \mathrm{J}, \\ ([\phi _{p}D^{\beta } u(0)])^{(j)}=0, \quad j=0,1,\dots , m-1, \\ ([\phi _{p}D^{\beta } v(0)])^{(j)}=0, \quad j=0,1,\dots , m-1, \\ I^{k-\beta }(u(0))=I^{k-\beta }(v(0))=0, \quad k=2,3,\dots , m, \\ D^{\delta }(u(1))=D^{\delta }(v(1))=0, \end{cases}\displaystyle \end{aligned}$$
(1.1)

where \(D^{\beta }\) and \({}^{c}D^{\sigma }\) respectively denote the Riemann–Liouville and Caputo fractional derivatives of order β and σ, \(m-1<\beta \), \(\sigma \leq m\), \(m\in \{2,3,\dots \}\), \(1< \delta \leq 2\), and \(\mathcal{F}_{1}(\cdot )\), \(\mathcal{F}_{2}(\cdot )\) are linear and bounded operators on \(\mathcal{R}\). Furthermore, the nonlinear p-Laplacian operator \(\phi _{p}\) has expression in the form \(\phi _{p}(\theta )=\frac{\theta }{|\theta |^{2-p}}\), \(\phi _{p}(0)=0\), with inverse operator \(\phi _{q}\), that is, \(\phi _{q}=\phi ^{-1}_{p}\) such that \(\frac{1}{p}+\frac{1}{q}=1\). The nonlinear functions \(\psi _{1},\psi _{2} \in \mathcal{C}[0, 1]\) are continuous and perhaps singular with respect to t, u, v.

The current work is organized as follows: In Sect. 2, we present some basic definitions and assertions that will be used in the subsequent sections. In Sect. 3 we state and prove our main existence results. We discuss the Ulam stability of the proposed problem in Sect. 4. Concrete example is illustrated to demonstrate consistency with the proposed results.

2 Basic definitions and assertions

Here we state some fundamental facts, definitions, and lemmas which will be used throughout this paper.

Let \(\mathrm{C}(\mathrm{J},\mathcal{X})\) be the space of all continuous functions of the form \(u(t):\mathrm{J}\rightarrow \mathcal{X}\), \(t\in \mathrm{J}\). It is obvious that \(\mathrm{C}(\mathrm{J}, \mathcal{X})\) is a Banach space with norm \(\|u\|=\max \{|u(t)|,t \in \mathrm{J}\}\). Further, we understand that \(\mathrm{C}(\mathrm{J}, \mathcal{X})\times \mathrm{C}(\mathrm{J},\mathcal{X})\) is a Banach space with norm \(\|(u,v)\|=\|u\|+\|v\|\).

Definition 2.1

([22])

Let \(\alpha \in \mathcal{R}^{+}\). Then the noninteger order integral in the Riemann–Liouville sense for a function \(\theta : \mathbf{\mathsf{J}}\rightarrow \mathcal{R}\) is given as

$$\begin{aligned} \mathcal{I}^{\alpha }\theta (t)=\frac{1}{\varGamma (\alpha )} \int _{0} ^{t}(t-s)^{\alpha -1}\theta (s)\,ds, \end{aligned}$$

such that the integral on the right-hand side is pointwise defined on \(\mathcal{R}^{+}\).

Definition 2.2

([22])

Let \(\alpha \in (n-1,n]\) with \(n-1=[\alpha ]\). Then the noninteger order derivative in the Caputo sense of \(\theta :[a,b] \rightarrow \mathcal{R} \) is stated as

$$\begin{aligned} \frac{d^{\alpha }}{dt^{\alpha }}\theta (t)= \int _{a}^{t}\frac{(t-s)^{n- \alpha -1}}{\varGamma (n-\alpha )} \biggl( \frac{d^{n}}{ds^{n}}\theta (s) \biggr)\,ds. \end{aligned}$$

In particular, if p is defined on the interval \([a,b]\) and \(\alpha \in (0,1]\), then

$$\begin{aligned} \frac{d^{\alpha }}{dt^{\alpha }}\theta (t)=\frac{1}{\varGamma (1-\alpha )} \int _{a}^{t}\frac{\theta '(s)}{(t-s)^{\alpha }}\,ds, \quad \text{where } \theta '(s)=\frac{d\theta (s)}{ds}. \end{aligned}$$

It is to be noted that the integral on the right-hand side is pointwise defined on \(\mathcal{R}^{+}\).

Definition 2.3

([22])

The noninteger order derivative in the Riemann–Liouville sense having order σ for a function \(\theta :(0,\infty ) \rightarrow \mathcal{R}^{+}\) is defined by

$$ D^{\sigma }_{1^{+}}\theta (t)=\frac{1}{\varGamma (n-\sigma )}\frac{d ^{n}}{dt^{n}} \int _{0}^{t}(t-s)^{n-\sigma -1}\theta (s)\,ds, \quad n-1< \sigma < n=1+ \lceil \sigma \rceil , $$

where the integral on the right-hand side is pointwise continuous and defined on the interval \((0, \infty )\) and \(\lceil \sigma \rceil \) is the integer part of σ.

Lemma 2.4

([8])

Let \(\sigma \in (m-1,m]\), \(\theta \in \mathcal{C}^{m-1}\), and \({}^{c}D^{\sigma }\) be the Caputo fractional derivative. Then

$$ {}^{c}I^{\sigma }{}^{c}D^{\sigma }\theta (t)= \theta (t)+b_{1}+b_{2}t+b _{3}t^{2}+ \cdots +b_{m}t^{m-1}, $$

where \(b_{i}\in \mathcal{R}\), \(i=1, 2,\dots m\), \(m=[\sigma ]+1\).

Lemma 2.5

([8])

Let \(\sigma \in (m-1,m]\), \(\theta \in \mathcal{C}^{m-1}\), and \(D^{\sigma }\) be the Riemann–Liouville fractional derivative. Then

$$ I^{\sigma }D^{\sigma }\theta (t)=\theta (t)+c_{1}t^{\sigma -1}+c_{2}t ^{\sigma -2}+\cdots +c_{m}t^{\sigma -m}, $$

where \(c_{i}\in \mathcal{R}\), \(i=1, 2,\dots m\), \(m=[\sigma ]+1\).

Lemma 2.6

([36], Arzelä–Ascoli theorem)

An operator \(\mathcal{H}:\mathcal{B}_{r}\cap (\bar{\varOmega }_{1}/\varOmega _{2})\rightarrow \mathcal{B}_{r}\) is said to be compact if and only if \(\mathcal{H}\) is uniformly bounded and discontinuous.

Lemma 2.7

(Schauder fixed point theorem [39])

Let \(\mathcal{S}\neq \emptyset \) be a convex and closed subset of the Banach space \(\mathcal{X}\). Let \(\phi :\mathcal{S}\rightarrow \mathcal{S}\) be a continuous operator such that \(\phi (\mathcal{S})\) is a relatively compact subset of \(\mathcal{X}\). Then the operator system ϕ has at least one fixed point in \(\mathcal{S}\).

Lemma 2.8

([27])

Let \(\phi _{p}:\mathcal{R}\rightarrow \mathcal{R}\) be a nonlinear p-Laplacian operator, that is, \(\phi _{p}(\zeta )=|\zeta |^{p-2}\zeta \), \(\zeta \in \mathcal{R}\). Then

$$ \frac{d\phi _{p}}{d\zeta }=(p-1) \vert \zeta \vert ^{p-2}. $$

Some basic properties of the operator \(\phi _{p}\) are as follows:

\((\mathcal{A}_{1})\) :

If \(1< p\leq 2\), \(\zeta _{1}\), \(\zeta _{2}>0\), \(0<\varrho \leq |\zeta _{1}|\), \(|\zeta _{2}|\), then

$$ \bigl\vert \phi _{p}(\zeta _{1})-\phi _{p}( \zeta _{2}) \bigr\vert \leq (p-1)\varrho ^{p-2} \vert \zeta _{1}-\zeta _{2} \vert . $$
\((\mathcal{A}_{2})\) :

For \(p>2\), \(|\zeta _{1},\zeta _{2}|\leq \varrho *\), then

$$ \bigl\vert \phi _{p}(\zeta _{1})-\phi _{p}( \zeta _{2}) \bigr\vert \leq (p-1)\varrho ^{p-2} \vert \zeta _{1}-\zeta _{2} \vert . $$

Lemma 2.9

([31])

Let \(\mathcal{X}\) be a Banach space and \(\mathcal{B}\subset \mathcal{X}\) be a nonempty, closed, and convex set. If a map \(\mathcal{H}:\mathcal{B}\rightarrow \mathcal{B}\) is compact, then \(\mathcal{H}\) has a fixed point.

Definition 2.10

(Urs [40], Definition 2)

Let \(\mathcal{X}\) be a Banach space such that \(\varUpsilon _{1}, \varUpsilon _{2}:\mathcal{X}\times \mathcal{X} \rightarrow \mathcal{X}\) are two operators. Then the system

$$\begin{aligned} \textstyle\begin{cases} y(t)=\varUpsilon _{1}(y, z)(t), \\ z(t)=\varUpsilon _{2}(y, z)(t), \end{cases}\displaystyle \end{aligned}$$
(2.1)

is said to be Hyers–Ulam stable if there exist constants \(\digamma _{j}(j=1,2,3,4)>0\) with \(\alpha _{j}(j=1,2)>0\), and for each solution \((y^{*}, z^{*})\in \mathcal{X}\times \mathcal{X}\) of the inequalities

$$\begin{aligned} \textstyle\begin{cases} \Vert y^{*}-\varPhi (y^{*}, z^{*}) \Vert \leq \alpha _{1}, \\ \Vert z^{*}-\varPsi (y^{*}, z^{*}) \Vert \leq \alpha _{2}, \end{cases}\displaystyle \end{aligned}$$
(2.2)

there exists a solution \((\widetilde{y},\widetilde{z})\in \mathcal{X} \times \mathcal{X}\) of system (2.1), which satisfies

$$\begin{aligned} \textstyle\begin{cases} \Vert y^{*}-\widetilde{y} \Vert \leq \digamma _{1}\alpha _{1}+\digamma _{2}\alpha _{2}, \\ \Vert z^{*}-\widetilde{z} \Vert \leq \digamma _{3}\alpha _{1}+\digamma _{4}\alpha _{2}. \end{cases}\displaystyle \end{aligned}$$
(2.3)

Definition 2.11

Let \(\nu _{J}\), where \(J=1,2,\dots ,k\), be the eigenvalues (real or complex) of a matrix \(\digamma \in \varpi ^{k\times k}\). Then the term spectral radius \(\alpha (\digamma )\) of \(\digamma \in \varpi ^{k\times k}\) is defined as

$$\begin{aligned} \alpha (\digamma )=\max \bigl\{ \vert \nu _{J} \vert \text{ for } J=1,2,\dots ,k \bigr\} . \end{aligned}$$

It is well known that the system corresponding to matrix \(\digamma \in \varpi ^{k\times k}\) will converge to zero if \(\alpha (\digamma )\) is less than one.

Theorem 2.12

(Urs [40], Theorem 4)

Consider a Banach space \(\mathcal{X}\) and define two operators \(\varUpsilon _{1}, \varUpsilon _{2}: \mathcal{X}\times \mathcal{X}\rightarrow \mathcal{X}\) such that

$$\begin{aligned} \textstyle\begin{cases} \Vert \varUpsilon _{1}(\mathbf{y}, \mathbf{z})-\varUpsilon _{1}(\mathbf{y}^{*}, \mathbf{z}^{*}) \Vert \leq \digamma _{1} \Vert \mathbf{y}- \mathbf{y}^{*} \Vert + \digamma _{2} \Vert \mathbf{z}- \mathbf{z}^{*} \Vert , \\ \Vert \varUpsilon _{2}(\mathbf{y}, \mathbf{z})-\varUpsilon _{2}(\mathbf{y}^{*}, \mathbf{z}^{*}) \Vert \leq \digamma _{3} \Vert \mathbf{y}- \mathbf{y}^{*} \Vert + \digamma _{4} \Vert \mathbf{z}- \mathbf{z}^{*} \Vert . \end{cases}\displaystyle \end{aligned}$$

If the spectral radius of the matrix

$$\begin{aligned} \digamma = \begin{pmatrix} \digamma _{1} & \digamma _{2} \\ \digamma _{3} & \digamma _{4} \end{pmatrix} \end{aligned}$$

is less than one, then the fixed points correlated with operating system (2.1) are Hyers–Ulam stable.

3 Existence results

This section is devoted to investigating the existence of solutions. The first result converts the proposed problem into an equivalent integral form by the help of Green’s function.

Theorem 3.1

Let \(\psi _{1}\), \(\psi _{2}\) be integrable functions and \(u,v\in \mathrm{C}(\mathrm{J},\mathcal{X})\) satisfy (1.1). Then, for \(3<\sigma \), \(\beta ,\rho \leq m\), \(m\geq 4\), the solution of the switched coupled system

$$ \textstyle\begin{cases} {}^{c}D^{\sigma }[\phi _{p}D^{\beta } u(t)]+\mathcal{F}_{1}(t)\psi _{1}(t,u(t), {}^{c}D^{\rho }[\phi _{p}D^{\beta }v(t)])=0,\quad t\in \mathrm{J}, \\ {}^{c}D^{\rho }[\phi _{p}D^{\beta }v(t)]+\mathcal{F}_{2}(t)\psi _{2}(t, {}^{c}D^{\sigma }[\phi _{p}D^{\beta } u(t)],v(t))=0,\quad t\in \mathrm{J}, \\ ([\phi _{p}D^{\beta } u(0)])^{(j)}=0, \quad j=0,1,\dots , m-1, \\ ([\phi _{p}D^{\beta } v(0)])^{(j)}=0, \quad j=0,1,\dots , m-1, \\ I^{k-\beta }(u(0))=I^{k-\beta }(v(0))=0, \quad k=2,3,\dots , m, \\ D^{\delta }(u(1))=D^{\delta }(v(1))=0 \end{cases} $$
(3.1)

is equivalent to the integral equations

$$\begin{aligned} u(t)= & \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl( \int _{0}^{s}(s- \tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D ^{\sigma } \bigl(\phi _{p}D^{\beta }u( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \end{aligned}$$

and

$$\begin{aligned} v(t)= & \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl( \int _{0}^{s}(s- \tau )^{\sigma -1} \mathcal{F}_{2}(\tau )\psi _{2} \bigl(\tau ,{}^{c}D^{ \rho } \bigl(\phi _{p}D^{\beta }u( \tau ) \bigr),v(\tau ) \bigr)\,d\tau \biggr)\,ds, \end{aligned}$$

where \(\mathcal{G}^{\beta }(t,s)\) is Green’s function given by

$$ \mathcal{G}^{\beta }(t,s)= \textstyle\begin{cases} \frac{-(t-s)^{\beta -1}}{\varGamma (\beta )}-\frac{t^{\beta -1}(1-s)^{ \beta -\delta -1}}{\varGamma (\beta )}, & s\leq t\leq 1, t\in \mathrm{J}=(0,1), \\ \frac{-t^{\beta -1}(1-s)^{\beta -\delta -1}}{\varGamma (\beta )}, & t\leq s\leq 1. \end{cases} $$
(3.2)

Proof

Let \(u,v\in \mathcal{C}(\mathrm{J},\mathcal{X})\) be the solution of (3.1), then

$$ \textstyle\begin{cases} {}^{c}D^{\sigma }[\phi _{p}D^{\beta } u(t)]+\mathcal{F}_{1}(t)\psi _{1}(t,u(t), {}^{c}D^{\rho }[\phi _{p}D^{\beta }v(t)])=0,\quad t\in \mathrm{J}, \\ {}^{c}D^{\rho }[\phi _{p}D^{\beta }v(t)]+\mathcal{F}_{2}(t)\psi _{2}(t, {}^{c}D^{\sigma }[\phi _{p}D^{\beta } u(t)],v(t))=0,\quad t\in \mathrm{J}, \\ ([\phi _{p}D^{\beta } u(0)])^{(j)}=0, \quad j=0,1,\dots , m-1, \\ ([\phi _{p}D^{\beta } v(0)])^{(j)}=0, \quad j=0,1,\dots , m-1, \\ I^{k-\beta }(u(0))=I^{k-\beta }(v(0))=0, \quad k=2,3,\dots , m, \\ D^{\delta }(u(1))=D^{\delta }(v(1))=0. \end{cases} $$

Since

$$ {}^{c}D^{\sigma }(\phi _{p} \bigl(D^{\beta }u(t) \bigr)+\mathcal{F}_{1}(t)\psi _{1} \bigl(t,u(t), {}^{c}D^{\rho } \bigl[\phi _{p}D^{\beta }v(t) \bigr] \bigr)=0, $$
(3.3)

where \(m-1<\sigma <m\), \(m-1<\beta \leq m\), \(t\in \mathrm{J}\). Using Lemma 2.4, we have

$$\begin{aligned} \phi _{p} \bigl(D^{\beta }u(t) \bigr) =&-b_{0}-b_{1}t-b_{2}t^{2}-\cdots -b_{m-1}t ^{m-1} \\ &{}-\frac{1}{\varGamma (\sigma )} \int _{0}^{t}(t-s)^{\sigma -1}\mathcal{F} _{1}(s)\psi _{1} \bigl(s,u(s),{}^{c}D^{\rho } \bigl[\phi _{p}D^{\beta }v(s) \bigr] \bigr). \end{aligned}$$
(3.4)

The \((\phi _{p}(D^{\beta }u(t)))^{(0)}|_{t=0}=0\) implies that \(-b_{0}=0\) or \(b_{0}=0\). Therefore (3.4) becomes

$$\begin{aligned} \phi _{p} \bigl(D^{\beta }u(t) \bigr) =&-b_{1}t-b_{2}t^{2}-\cdots -b_{m-1}t^{m-1} \\ &{}-\frac{1}{\varGamma (\sigma )} \int _{0}^{t}(t-s)^{\sigma -1}\mathcal{F} _{1}(s)\psi _{1} \bigl(s,u(s),{}^{c}D^{\rho } \bigl[\phi _{p}D^{\beta }v(s) \bigr] \bigr). \end{aligned}$$
(3.5)

Differentiating (3.5) with respect to t, we have

$$\begin{aligned} \bigl(\phi _{p} \bigl(D^{\beta }u(t) \bigr) \bigr)' =&-b_{1}-2b_{2}t-\cdots -(m-1)b_{m-1}t^{m-2} \\ &{}-\frac{1}{\varGamma (\sigma -1)} \int _{0}^{t}(t-s)^{\sigma -2} \mathcal{F}_{1}(s)\psi _{1} \bigl(s,u(s),{}^{c}D^{\rho } \bigl[\phi _{p}D^{\beta }v(s) \bigr] \bigr). \end{aligned}$$

Using the condition \((\phi _{p}(D^{\beta }u(t)))'|_{t=0}=0\) implies that \(b_{1}=0\). Similarly, by applying the conditions \((\phi _{p}(D^{\beta }u(t)))^{(j)}|_{t=0}=0\), we get \(b_{j}=0\), \(\forall j=2,3,\dots m\). Therefore, (3.4) becomes

$$\begin{aligned} D^{\beta }u(t)= &-\phi _{p}^{-1}(I^{\sigma } \bigl(\mathcal{F}_{1}(t)\psi _{1} \bigl(t,u(t), {}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v(t) \bigr) \bigr) \bigr) \\ = &-\phi _{q}(I^{\sigma }\mathcal{F}_{1}(t)\psi _{1} \bigl(t,u(t),{}^{c}D^{ \rho } \bigl(\phi _{p}D^{\beta }v(t) \bigr) \bigr). \end{aligned}$$

Applying \(I^{\beta }\) to both sides and using Lemma 2.5, we have

$$\begin{aligned} u(t) =&-d_{1}t^{\beta -1}-d_{2}t^{\beta -2}- \cdots -d_{m}t^{\beta -m} \\ &{}-\frac{1}{\varGamma (\beta )} \int _{0}^{t}(t-s)^{\beta -1}\phi _{q}(I ^{\sigma }\mathcal{F}_{1}(t)\psi _{1} \bigl(t,u(t),{}^{c}D^{\rho } \bigl(\phi _{p}D ^{\beta }v(t) \bigr) \bigr). \end{aligned}$$
(3.6)

Putting \(I^{k-\beta }u(t)|_{t=0}=0\) for \(k=2,3,\dots ,m\), we obtain \(d_{2}=d_{3}=\cdots =d_{m}=0\), and using \(D^{\delta }u(t)|_{t=1}=0\), we get

$$ d_{1}=-\frac{\varGamma (\beta -\delta )}{\varGamma (\beta )}\phi _{q}(I^{ \sigma } \mathcal{F}_{1}(t)\psi _{1} \bigl(t,u(t),{}^{c}D^{\rho } \bigl(\phi _{p}D ^{\beta }v(t) \bigr) \bigr) |_{t=1}. $$

It follows that

$$\begin{aligned} u(t)&= -\frac{1}{\varGamma (\beta )} \int _{0}^{t}(t-s)^{\beta -1}\phi _{q} \biggl( \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl( \tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \\ &\quad {}-\frac{t^{\beta -1}}{\varGamma (\beta )} \int _{0}^{1}(1-s)^{\beta - \delta -1} \\ &\quad {}\times\phi _{q} \biggl( \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}( \tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \\ &= \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl( \int _{0}^{s}(s- \tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D ^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds. \end{aligned}$$

In a similar manner, we may conclude that

$$ v(t)= \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl( \int _{0}^{s}(s- \tau )^{\sigma -1} \mathcal{F}_{2}(\tau )\psi _{2} \bigl(\tau ,{}^{c}D^{ \rho } \bigl(\phi _{p}D^{\beta }u( \tau ) \bigr),v(\tau ) \bigr)\,d\tau \biggr)\,ds, $$
(3.7)

where \(\mathcal{G}^{\beta }(t,s)\) is the Green’s function defined above. □

Lemma 3.2

([8])

The Green’s function \(\mathcal{G}^{\beta }(t,s)\) satisfies the following properties:

\((\mathcal{P}_{1})\) :

\(\mathcal{G}^{\beta }(t,s)>0\), \(\forall 0< s\), \(t<1\);

\((\mathcal{P}_{2})\) :

\(\mathcal{G}^{\beta }(t,s)\) is a nondecreasing function and \(\max_{t\in (0,1)}\mathcal{G}^{\beta }(t,s)= \mathcal{G}^{\beta }(1,s)\);

\((\mathcal{P}_{3})\) :

\(t^{\beta -1}\max_{t\in (0,1)} \mathcal{G}^{\beta }(t,s)\leq \mathcal{G}^{\beta }(t,s)\) for \(0< s\), \(t<1\).

We introduce the following assumptions:

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

The functions \(\psi _{1},\psi _{2}:\mathrm{J} \times \mathcal{X}\times \mathcal{X}\rightarrow \mathcal{X}\) are continuous, and \(\forall u,v,\overline{u},\overline{v}\in \mathcal{X}\) and \(t\in \mathrm{J}\), there exist \(\mathcal{M}_{\psi _{1}},\mathcal{M}_{\psi _{2}},\mathcal{M'}_{\psi {1}},\mathcal{M'}_{ \psi _{2}}>0\) such that

$$ \bigl\Vert \psi _{1}(t,u,v)-\psi _{1}(t,\overline{u}, \overline{v}) \bigr\Vert \leq \mathcal{M}_{\psi _{1}} \Vert u-\overline{u} \Vert +\mathcal{M'}_{\psi _{1}} \Vert v- \overline{v} \Vert $$

and

$$ \bigl\Vert \psi _{2}(t,u,v)-\psi _{2}(t,\overline{u}, \overline{v}) \bigr\Vert \leq \mathcal{M}_{\psi _{2}} \Vert u-\overline{u} \Vert +\mathcal{M'}_{\psi _{2}} \Vert v- \overline{v} \Vert . $$
\((\mathbf{H}_{2})\) :

The functions \(\psi _{1},\psi _{2}:J\times \mathcal{X}\times \mathcal{X}\rightarrow \mathcal{X}\) are completely continuous such that, \(\forall u,v\in \mathcal{X}\) and \(t\in \mathrm{J}\), there exist nondecreasing continuous linear functions \(\mu _{\psi _{1}},\mu _{\psi _{2}}:\mathcal{R}^{+}\rightarrow \mathcal{R}\) such that

$$ \bigl\Vert \psi _{1}(t,u,v) \bigr\Vert \leq \phi _{p} \bigl(\mu _{\psi _{1}} \Vert u \Vert +\mu '_{\psi _{1}} \Vert v \Vert \bigr) $$

and

$$ \bigl\Vert \psi _{2}(t,u,v) \bigr\Vert \leq \phi _{p} \bigl(\mu _{\psi _{2}} \Vert u \Vert +\mu '_{\psi _{2}} \Vert v \Vert \bigr), $$

where

$$\begin{aligned}& \sup \bigl\{ \mu _{\psi _{1}}(t),t\in \mathrm{J} \bigr\} =\mu _{\psi _{1}}, \qquad \sup \bigl\{ \mu _{\psi _{2}}(t),t\in \mathrm{J} \bigr\} =\mu _{\psi _{2}}, \\& \sup \bigl\{ \mu '_{\psi _{1}}(t),t\in \mathrm{J} \bigr\} =\mu '_{\psi _{1}},\qquad \sup \bigl\{ \mu '_{\psi _{2}}(t),t \in \mathrm{J} \bigr\} =\mu '_{\psi _{2}}. \end{aligned}$$
\((\mathbf{H}_{3})\) :

The functions \(\mathcal{F}_{1},\mathcal{F} _{2}:(0,1)\rightarrow \mathcal{X}\) are nonzero and continuous with

$$ \Vert \mathcal{F}_{1} \Vert =\max_{t\in \mathrm{J}} \vert \mathcal{F}_{1} \vert < \infty ^{+}, \qquad \Vert \mathcal{F}_{2} \Vert =\max_{t\in \mathrm{J}} \vert \mathcal{F}_{2} \vert < \infty ^{+}. $$

Let \(\mathcal{B}_{r}\subset \mathbf{B}=\mathrm{C}(\mathrm{J}, \mathcal{X})\times \mathrm{C}(\mathrm{J},\mathcal{X})\) be a cone of nonnegative functions of the form

$$ \mathcal{B}_{r}= \Bigl\{ (u,v)\in \mathbf{B},\min_{t\in \mathrm{J}} \bigl(u(t)+v(t) \bigr) \geq t^{\beta } \bigl\Vert (u,v) \bigr\Vert \Bigr\} , $$

and

$$ \varOmega (r)= \biggl\{ \bigl\Vert (u,v) \bigr\Vert < r, \Vert u \Vert < \frac{r}{2}, \Vert v \Vert < \frac{r}{2} \biggr\} ,\quad \partial \varOmega (r)= \bigl\{ \bigl\Vert (u,v) \bigr\Vert =r \bigr\} . $$

Consider the operator \(\mathcal{H^{*}}=(\mathcal{H^{*}}_{1},\mathcal{H ^{*}}_{2}):\mathcal{B}_{r}/{(0,0)}\rightarrow {\mathbf{B}}\), where \(\mathcal{H^{*}}_{1}\), \(\mathcal{H^{*}}_{2}\) are defined as follows:

$$\begin{aligned} \textstyle\begin{cases} \mathcal{H^{*}}_{1}(u,v)(t)\\ \quad =\int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q}(\frac{1}{\sigma }\int _{0}^{s}(s-\tau )^{\sigma -1}\mathcal{F} _{1}(\tau )\psi _{1}(\tau ,u(\tau ),{}^{c}D^{\rho }(\phi _{p}D^{\beta }v( \tau )))\,d\tau )\,ds, \\ \mathcal{H^{*}}_{2}(u,v)(t)\\ \quad =\int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q}(\frac{1}{\rho }\int _{0}^{s}(s-\tau )^{\rho -1}\mathcal{F}_{2}( \tau )\psi _{2}(\tau ,{}^{c}D^{\sigma }(\phi _{p}D^{\beta }u(\tau )),v( \tau ))\,d\tau )\,ds. \end{cases}\displaystyle \end{aligned}$$
(3.8)

Theorem 3.3

Let assumptions \((\mathbf{H}_{1})\) to \((\mathbf{H}_{3})\) hold. Then (1.1) has at least one solution.

Proof

For any \((u,v)\in \overline{\varOmega (r_{2})}/\varOmega (r_{1})\), and using Lemma 3.2, we have

$$ \begin{aligned}[b] &\mathcal{H^{*}}_{1}(u,v) (t) \\ &\quad = \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl(\frac{1}{\sigma } \int _{0}^{s}(s-\tau )^{\sigma -1}\mathcal{F} _{1}(\tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \\ &\quad \leq \int _{0}^{1}\mathcal{G}^{\beta }(1,s)\phi _{q} \biggl(\frac{1}{\sigma } \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl( \tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \end{aligned} $$
(3.9)

and

$$ \begin{aligned}[b] &\mathcal{H^{*}}_{1}(u,v) (t) \\ &\quad = \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl(\frac{1}{\sigma } \int _{0}^{s}(s-\tau )^{\sigma -1}\mathcal{F} _{1}(\tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \\ &\quad \geq t^{\beta -1} \int _{0}^{1}\mathcal{G}^{\beta }(1,s) \\ &\qquad {}\times\phi _{q} \biggl(\frac{1}{ \sigma } \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d \tau \biggr)\,ds. \end{aligned} $$
(3.10)

By the help of inequalities (3.7) and (3.8), we have

$$ \mathcal{H^{*}}_{1}(u,v) (t)\geq t^{\beta -1} \bigl\Vert \mathcal{H^{*}}_{1}(u,v) (t) \bigr\Vert . $$
(3.11)

Similarly, we may obtain

$$ \mathcal{H^{*}}_{2}(u,v) (t)\geq t^{\beta -1} \bigl\Vert \mathcal{H^{*}}_{2}(u,v) (t) \bigr\Vert . $$
(3.12)

Combining (3.11) and (3.12), we get

$$ \mathcal{H^{*}}(u,v) (t)\geq t^{\beta -1} \bigl\Vert \mathcal{H^{*}}(u,v) (t) \bigr\Vert . $$

Thus \(\mathcal{H^{*}}:\overline{\varOmega (r_{2})}/\varOmega (r_{1})\rightarrow {\mathbf{B}}\) is closed.

For the uniform boundedness of the operator \(\mathcal{H^{*}}\), we consider

$$\begin{aligned} & \bigl\Vert \mathcal{H^{*}}(u,v) (t) \bigr\Vert \\ &\quad = \sup_{t\in \mathrm{J}} \bigl\vert \mathcal{H^{*}}(u,v) (t) \bigr\vert \\ &\quad =\sup_{t\in \mathrm{J}} \bigl\vert \bigl(\mathcal{H^{*}}_{1}, \mathcal{H^{*}}_{2} \bigr) (u,v) (t) \bigr\vert \\ &\quad \leq \sup_{t\in \mathrm{J}}|(\mathcal{H^{*}}_{1}(u,v) (t) \vert + \sup_{t\in \mathrm{J}} \bigl\vert \mathcal{H^{*}}_{2}(u,v) (t) \bigr\vert \\ &\quad \leq \sup_{t\in \mathrm{J}} \biggl\vert \int _{0}^{1}\mathcal{G}^{\beta }(t,s) \\ &\qquad {}\times \phi _{q} \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \biggr\vert \\ &\qquad {}+\sup_{t\in \mathrm{J}} \biggl\vert \int _{0}^{1}\mathcal{G}^{\beta }(t,s) \\ &\qquad {}\times \phi _{q} \biggl(\frac{1}{\varGamma (\rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \mathcal{F}_{2}(\tau )\psi _{2} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{ \beta }u( \tau ) \bigr),v(\tau ) \bigr)\,d\tau \biggr)\,ds \biggr\vert \\ &\quad \leq \int _{0}^{1} \bigl\vert \mathcal{G}^{\beta }(1,s) \bigr\vert \\ &\qquad {}\times \phi _{q} \biggl(\frac{1}{ \varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \bigl\Vert \mathcal{F}_{1}( \tau ) \bigr\Vert \bigl\Vert \psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr) \bigr\Vert \,d\tau \biggr)\,ds \\ &\qquad {}+ \int _{0}^{1} \bigl\vert \mathcal{G}^{\beta }(1,s) \bigr\vert \\ &\qquad {}\times \phi _{q} \bigr(\frac{1}{\varGamma ( \rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \bigl\Vert \mathcal{F}_{2}(\tau ) \bigr\Vert \bigl\Vert \psi _{2} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{\beta }u( \tau ),v(\tau ) \bigr)\bigr) \bigr\Vert \,d \tau \bigr)\,ds \\ &\quad \leq \biggl(\frac{1}{\varGamma (\beta +1)}-\frac{1}{\varGamma (\beta - \delta )\varGamma (\beta )} \biggr) \biggl[ \frac{1}{\varGamma (\sigma +1)} \biggr]^{q-1} \\ &\qquad {}\times \Vert \mathcal{F}_{1} \Vert ^{q-1} \biggl(\frac{\mu _{\psi _{1}} \Vert u \Vert +\mu '_{\psi _{1}} \mu '_{\psi _{2}} \Vert \mathcal{F}_{2} \Vert \Vert v \Vert }{1- \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \mu '_{\psi _{1}}\mu _{\psi _{2}}} \biggr) \\ &\qquad {}+ \biggl(\frac{1}{\varGamma (\beta +1)}-\frac{1}{\varGamma (\beta -\delta ) \varGamma (\beta )} \biggr) \biggl[ \frac{1}{\varGamma (\rho +1)} \biggr]^{q-1} \\ &\qquad {}\times \Vert \mathcal{F}_{2} \Vert ^{q-1} \biggl(\frac{\mu _{\psi _{1}}\mu _{\psi _{2}} \Vert \mathcal{F}_{1} \Vert \Vert u \Vert +\mu _{\psi _{2}} \Vert v \Vert }{1- \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \mu '_{\psi _{1}}\mu _{\psi _{2}}} \biggr) \\ &\quad = \biggl(\frac{1}{\varGamma (\beta +1)}-\frac{1}{\varGamma (\beta -\delta ) \varGamma (\beta )} \biggr) \biggl[ \biggl( \frac{1}{\varGamma (\sigma +1)} \biggr)^{q-1} \\ &\qquad {}\times \Vert \mathcal{F}_{1} \Vert ^{q-1} \biggl(\frac{\mu _{\psi _{1}} \Vert u \Vert +\mu _{\psi _{1}} \mu '_{\psi _{2}} \Vert \mathcal{F}_{2} \Vert \Vert v \Vert }{1- \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \mu '_{\psi _{1}}\mu _{\psi _{2}}} \biggr) \\ &\qquad {}+ \biggl(\frac{1}{\varGamma (\rho +1)} \biggr)^{q-1} \Vert \mathcal{F}_{2} \Vert ^{q-1} \biggl(\frac{ \mu _{\psi _{1}}\mu _{\psi _{2}} \Vert \mathcal{F}_{1} \Vert \Vert u \Vert +\mu '_{\psi _{2}} \Vert v \Vert }{1- \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \mu '_{\psi _{1}} \mu _{\psi _{2}}} \biggr) \biggr] \\ &\quad < \infty . \end{aligned}$$

Hence \(\mathcal{H^{*}}\) is a uniformly bounded operator.

Now, we show that the operator \(\mathcal{H^{*}}\) is continuous and compact. For this reason, we construct a sequence \(\xi _{n}=(u_{n},v _{n})\) such that \((u_{n},v_{n})\rightarrow (u,v)\) as \(n\rightarrow \infty \). Therefore, we have

$$\begin{aligned} & \bigl\Vert \bigl(\mathcal{H^{*}}(u_{n},v_{n})- \mathcal{H^{*}}(u,v) \bigr) \bigr\Vert \\ &\quad =\bigl\| \bigl(\mathcal{H^{*}}_{1},\mathcal{H^{*}}_{2} \bigr) (u_{n},v_{n})- \bigl(\mathcal{H ^{*}}_{1}, \mathcal{H^{*}}_{2} \bigr) (u,v))\bigr\| \\ &\quad \leq \bigl\Vert \bigl(\mathcal{H^{*}}_{1}(u_{n},v_{n})- \mathcal{H^{*}}_{1}(u,v) \bigr) \bigr\Vert + \bigl\Vert \bigl(\mathcal{H^{*}}_{2}(u_{n},v_{n})- \mathcal{H^{*}}_{2}(u,v) \bigr) \bigr\Vert \\ &\quad =\sup_{t\in \mathrm{J}} \biggl\vert \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\\ &\qquad {}\times \phi _{q} \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,u_{n}( \tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v_{n}( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \\ &\qquad {}- \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl(\frac{1}{\varGamma ( \sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d \tau \biggr)\,ds \biggr\vert \\ &\qquad {}+\sup_{t\in \mathrm{J}} \biggl\vert \int _{0}^{1}\mathcal{G}^{\beta }(t,s) \\ &\qquad {}\times\phi _{q} \biggl(\frac{1}{\varGamma (\rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \mathcal{F}_{2}(\tau )\psi _{2} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{ \beta }u_{n}( \tau ) \bigr),v_{n}(\tau ) \bigr)\,d\tau \biggr)\,ds \\ &\qquad {}- \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl(\frac{1}{\varGamma ( \rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \mathcal{F}_{2}(\tau )\psi _{2} \bigl( \tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{\beta }u( \tau ) \bigr),v(\tau ) \bigr)\,d\tau \biggr)\,ds \biggr\vert \\ &\quad \leq \int _{0}^{1} \bigl\vert \mathcal{G}^{\beta }(t,s) \bigr\vert \\ &\qquad {}\times \biggl\{ \biggl\Vert \phi _{q} \biggl( \frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,u_{n}( \tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v_{n}( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \\ &\qquad {}-\phi _{q} \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \biggr\Vert \biggr\} \\ &\qquad {}+ \int _{0}^{1} \bigl\vert \mathcal{G}^{\beta }(t,s) \bigr\vert \\ &\qquad {}\times \biggl\{ \biggl\Vert \phi _{q} \biggl( \frac{1}{\varGamma (\rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \mathcal{F}_{2}(\tau )\psi _{2} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{ \beta }u_{n}( \tau ) \bigr),v_{n}(\tau ) \bigr)\,d\tau \biggr)\,ds \\ &\qquad {}-\phi _{q} \biggl(\frac{1}{\varGamma (\rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \mathcal{F}_{2}(\tau )\psi _{2} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{ \beta }u( \tau ) \bigr),v(\tau ) \bigr)\,d\tau \biggr)\,ds \biggr\Vert \biggr\} \\ &\quad \leq (q-1)\varrho ^{2} \int _{0}^{1} \bigl\vert \mathcal{G}^{\beta }(t,s) \bigr\vert \\ &\qquad {}\times \biggl\{ \frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \bigl\Vert \mathcal{F}_{1}(\tau ) \bigr\Vert \bigl\Vert \psi _{1} \bigr(\tau ,u_{n}(\tau ),{}^{c}D^{\rho } \bigl( \phi _{p}D^{\beta }v_{n}(\tau ) \bigr)\bigr) \\ &\qquad {}-\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v(\tau ) \bigr) \bigr\Vert \, d\tau \bigr) \,ds \\ &\qquad {}+\frac{1}{\varGamma (\rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \bigl\Vert \mathcal{F}_{2}(\tau ) \bigr\Vert \bigl\Vert \psi _{2} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D ^{\beta }u_{n}( \tau ) \bigr),v_{n}(\tau ) \bigr) \\ &\qquad {}-\psi _{2} \bigl(\tau ,^{{c}}D^{\sigma } \bigl( \phi _{p}D^{\beta }u(\tau ),v( \tau ) \bigr) \bigr\Vert \,d \tau \bigr) \,ds \biggr\} \\ &\quad \leq (q-1)\varrho ^{2} \int _{0}^{1} \bigl\vert \mathcal{G}^{\beta }(t,s) \bigr\vert \biggl\{ \frac{\mathcal{M}_{\psi _{1}} \Vert \mathcal{F}_{1} \Vert \Vert u_{n}-u \Vert + \mathcal{M}'_{\psi _{1}}\mathcal{M}'_{\psi _{2}} \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \Vert v_{n}-v \Vert }{\varGamma (\sigma +1)} \\ &\qquad {}+\frac{\mathcal{M}_{\psi _{1}}\mathcal{M}_{\psi _{2}} \Vert \mathcal{F} _{1} \Vert \mathcal{F}_{2}\| \Vert u_{n}-u \Vert +\mathcal{M}'_{\psi _{2}}\| \mathcal{F}_{2}\| \Vert v_{n}-v \Vert }{\varGamma (\rho +1)} \biggr\} \\ &\quad \rightarrow 0, \quad \text{as $n \rightarrow \infty $.} \end{aligned}$$

Therefore, \(\|\mathcal{H^{*}}(u_{n},v_{n})-\mathcal{H^{*}}(u,v)\| \rightarrow 0\) as \(n\rightarrow \infty \). Hence \(\mathcal{H^{*}}\) is continuous.

For equicontinuity, take \(\upsilon _{1},\upsilon _{2}\in \mathrm{J}\) with \(\upsilon _{1}<\upsilon _{2}\), and for any \((u,v)\in \varOmega (r)\), we have

$$\begin{aligned} & \bigl\Vert \bigl(\mathcal{H^{*}}(u,v) (\upsilon _{1})- \mathcal{H^{*}}(u,v) (\upsilon _{2}) \bigr) \bigr\Vert \\ &\quad \leq \bigl\Vert \bigl( \bigl(\mathcal{H^{*}}_{1}(u,v) (\upsilon _{1})-\mathcal{H^{*}}_{1}(u,v) ( \upsilon _{2}) \bigr) \bigr) \bigr\Vert + \bigl\Vert \bigl( \mathcal{H^{*}}_{2}(u,v) (\upsilon _{1})- \mathcal{H ^{*}}_{2}(u,v) (\upsilon _{2}) \bigr) \bigr\Vert \\ &\quad =\sup_{t\in \mathrm{J}} \biggl\vert \int _{0}^{1}\mathcal{G}^{\beta }( \upsilon _{1},s)\phi _{q} \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s- \tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D ^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \\ &\qquad {}- \int _{0}^{1}\mathcal{G}^{\beta }(\upsilon _{2},s)\phi _{q} \biggl(\frac{1}{ \varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}( \tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \biggr\vert \\ &\qquad {}+\sup_{t\in \mathrm{J}} \biggl\vert \int _{0}^{1}\mathcal{G}^{\beta }(\tau _{1},s)\\ &\qquad {}\times\phi _{q} \biggl(\frac{1}{\varGamma (\rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \mathcal{F}_{2}(\tau )\psi _{1} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{ \beta }u( \tau ),v(\tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \\ &\qquad {}- \int _{0}^{1}\mathcal{G}^{\beta }(\upsilon _{2},s)\phi _{q} \biggl(\frac{1}{ \varGamma (\rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \mathcal{F}_{2}(\tau ) \psi _{1} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{\beta }u( \tau ),v(\tau ) \bigr) \bigr)\,d \tau \biggr)\,ds \biggr\vert \\ &\quad \leq \int _{0}^{1} \bigl\vert \mathcal{G}^{\beta }( \tau _{1},s)-\mathcal{G}^{ \beta }(\tau _{2},s) \bigr\vert \\ &\qquad {}\times\phi _{q} \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s- \tau )^{\sigma -1} \Vert \mathcal{F}_{1} \Vert \bigl\Vert \psi _{1} \bigl(\tau ,u( \tau ),{}^{c}D ^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr) \bigr\Vert \,d\tau \biggr)\,ds \\ &\qquad {}+ \int _{0}^{1} \bigl\vert \mathcal{G}^{\beta }( \tau _{1},s)-\mathcal{G}^{\beta }( \tau _{2},s) \bigr\vert \\ &\qquad {}\times \phi _{q} \biggl(\frac{1}{\varGamma (\rho )} \int _{0}^{s}(s-\tau )^{ \rho -1}\Vert \mathcal{F}_{2} \Vert \bigl\Vert \psi _{1} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{\beta }u( \tau ),v(\tau ) \bigr) \bigr) \bigr\Vert \,d\tau \biggr)\,ds \\ &\quad \leq \biggl(\frac{ \vert \upsilon _{1}^{\beta }-\upsilon _{2}^{\beta } \vert }{ \varGamma (\beta +1)}+\frac{ \vert \upsilon _{1}^{\beta -1}-\upsilon _{2}^{ \beta -1} \vert }{\varGamma (\beta -\delta )\varGamma (\beta +1)} \biggr) \biggl[ \frac{1}{ \varGamma (\sigma +1)} \biggr]^{q-1}\\ &\qquad {}\times \Vert \mathcal{F}_{1} \Vert ^{q-1} \biggl(\frac{ \mu _{\psi _{1}} \Vert u \Vert +\mu '_{\psi _{1}}\mu '_{\psi _{2}} \Vert \mathcal{F}_{2} \Vert \Vert v \Vert }{1- \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \mu '_{\psi _{1}} \mu _{\psi _{2}}} \biggr) \\ &\quad \leq \biggl(\frac{ \vert \upsilon _{1}^{\beta }-\upsilon _{2}^{\beta } \vert }{ \varGamma (\beta +1)}+\frac{ \vert \upsilon _{1}^{\beta -1}-\upsilon _{2}^{ \beta -1} \vert }{\varGamma (\beta -\delta )\varGamma (\beta +1)} \biggr) \biggl[ \frac{1}{ \varGamma (\rho +1)} \biggr]^{q-1}\\ &\qquad {}\times \Vert \mathcal{F}_{2} \Vert ^{q-1} \biggl(\frac{ \mu _{\psi _{1}}\mu _{\psi _{2}} \Vert u \Vert +\mu '_{\psi _{2}} \Vert v \Vert }{1- \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \mu '_{\psi _{1}}\mu _{\psi _{2}}} \biggr). \end{aligned}$$

This implies that \(\|\mathcal{H^{*}}(u,v)(\upsilon _{1})-\mathcal{H ^{*}}(u,v)(\upsilon _{2})\|\rightarrow 0\) as \(\upsilon _{1}\rightarrow \upsilon _{2}\). Therefore \(\mathcal{H^{*}}\) is relatively compact. By Arzelä–Ascolli theorem, \(\mathcal{H^{*}}\) is compact and hence completely continuous operator.

Now let us define a set

$$ \mathrm{W}= \bigl\{ (u,v)\in \overline{\varOmega (r_{2})}/\varOmega (r_{1})) \text{ there exist } \lambda \in [0,1] \text{ such that } (u,v)= \lambda \mathcal{H}(u,v) \bigr\} . $$

We will show that W is bounded. Suppose on the contrary that W is unbounded. Let \((u,v)\in \mathrm{W}\) such that \(\|(u,v)\|=\mathcal{K}\rightarrow \infty \). But

$$\begin{aligned} \bigl\Vert (u,v) \bigr\Vert =& \bigl\Vert \lambda \mathcal{H}(u,v) \bigr\Vert \\ \leq & \bigl\Vert \mathcal{H}(u,v) \bigr\Vert \\ \leq & \biggl(\frac{1}{\varGamma (\beta +1)}-\frac{1}{\varGamma (\beta - \delta )\varGamma (\beta )} \biggr)\\ &{}\times \biggl[ \biggl( \frac{1}{\varGamma (\sigma +1)} \biggr)^{q-1} \Vert \mathcal{F}_{1} \Vert ^{q-1} \biggl(\frac{\mu _{\psi _{1}} \Vert u \Vert + \mu _{\psi _{1}}\mu '_{\psi _{2}} \Vert \mathcal{F}_{2} \Vert \Vert v \Vert }{1- \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \mu '_{\psi _{1}}\mu _{\psi _{2}}} \biggr) \\ &{}+ \biggl(\frac{1}{\varGamma (\rho +1)} \biggr)^{q-1} \Vert \mathcal{F}_{2} \Vert ^{q-1} \biggl(\frac{ \mu _{\psi _{1}}\mu _{\psi _{2}} \Vert \mathcal{F}_{1} \Vert \Vert u \Vert +\mu '_{\psi _{2}} \Vert v \Vert }{1- \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \mu '_{\psi _{1}} \mu _{\psi _{2}}} \biggr) \biggr]. \end{aligned}$$

This implies that

$$\begin{aligned} \bigl\Vert (u,v) \bigr\Vert \leq & \biggl(\frac{1}{\varGamma (\beta +1)}- \frac{1}{\varGamma ( \beta -\delta )\varGamma (\beta )} \biggr)\\ &{}\times \biggl[ \biggl( \frac{1}{\varGamma (\sigma +1)} \biggr)^{q-1} \Vert \mathcal{F}_{1} \Vert ^{q-1} \biggl( \frac{ \mu _{\psi _{1}} \Vert u \Vert +\mu _{\psi _{1}}\mu '_{\psi _{2}} \Vert \mathcal{F}_{2} \Vert \Vert v \Vert }{1- \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \mu '_{\psi _{1}} \mu _{\psi _{2}}} \biggr) \\ &{}+ \biggl(\frac{1}{\varGamma (\rho +1)} \biggr)^{q-1} \Vert \mathcal{F}_{2} \Vert ^{q-1} \biggl(\frac{ \mu _{\psi _{1}}\mu _{\psi _{2}} \Vert \mathcal{F}_{1} \Vert \Vert u \Vert +\mu '_{\psi _{2}} \Vert v \Vert }{1- \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \mu '_{\psi _{1}} \mu _{\psi _{2}}} \biggr) \biggr], \end{aligned}$$

equivalently

$$\begin{aligned} 1 \leq &\frac{1}{ \Vert (u,v) \Vert } \biggl(\frac{1}{\varGamma (\beta +1)}-\frac{1}{ \varGamma (\beta -\delta )\varGamma (\beta )} \biggr)\\ &{}\times \biggl[ \biggl(\frac{1}{\varGamma ( \sigma +1)} \biggr)^{q-1} \Vert \mathcal{F}_{1} \Vert ^{q-1} \biggl(\frac{\mu _{\psi _{1}} \Vert u \Vert +\mu _{\psi _{1}}\mu '_{\psi _{2}} \Vert \mathcal{F}_{2} \Vert \Vert v \Vert }{1- \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \mu '_{\psi _{1}}\mu _{\psi _{2}}} \biggr) \\ &{}+ \biggl(\frac{1}{\varGamma (\rho +1)} \biggr)^{q-1} \Vert \mathcal{F}_{2} \Vert ^{q-1} \biggl(\frac{ \mu _{\psi _{1}}\mu _{\psi _{2}} \Vert \mathcal{F}_{1} \Vert \Vert u \Vert +\mu '_{\psi _{2}} \Vert v \Vert }{1- \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \mu '_{\psi _{1}} \mu _{\psi _{2}}} \biggr) \biggr] \\ =&\frac{1}{\mathcal{K}} \biggl(\frac{1}{\varGamma (\beta +1)}-\frac{1}{ \varGamma (\beta -\delta )\varGamma (\beta )} \biggr)\\ &{}\times \biggl[ \biggl(\frac{1}{\varGamma ( \sigma +1)} \biggr)^{q-1} \Vert \mathcal{F}_{1} \Vert ^{q-1} \biggl(\frac{\mu _{\psi _{1}} \Vert u \Vert +\mu _{\psi _{1}}\mu '_{\psi _{2}} \Vert \mathcal{F}_{2} \Vert \Vert v \Vert }{1- \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \mu '_{\psi _{1}}\mu _{\psi _{2}}} \biggr) \\ &{}+ \biggl(\frac{1}{\varGamma (\rho +1)} \biggr)^{q-1} \Vert \mathcal{F}_{2} \Vert ^{q-1} \biggl(\frac{ \mu _{\psi _{1}}\mu _{\psi _{2}} \Vert \mathcal{F}_{1} \Vert \Vert u \Vert +\mu '_{\psi _{2}} \Vert v \Vert }{1- \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \mu '_{\psi _{1}} \mu _{\psi _{2}}} \biggr) \biggr] \\ \rightarrow &0\quad \text{as } \mathcal{K}\rightarrow \infty . \end{aligned}$$

This is a contradiction. Ultimately W is bounded, therefore by Lemma 2.7 the operator \(\mathcal{H}\) has at least one fixed point in \(\varOmega (r_{2})/\varOmega (r_{1})\), which is a solution of coupled system (1.1).

Thus, by Lemma 2.9, (1.1) has at least one solution. □

To control the growth bound of the nonlinearity functions \(\psi _{1}\), \(\psi _{2}\) and proceed to the next result, we need the following height functions. Let

$$\begin{aligned} \textstyle\begin{cases} \Im _{\max _{t\in \mathrm{J},x>0}}(t,x)=\max \{\{\psi _{1},\psi _{2}\}:t ^{\beta -1}x\leq (u,v)\leq x\}, \\ \Im _{\min _{t\in \mathrm{J},x>0}}(t,x)=\min \{\{\psi _{1},\psi _{2}\}:t ^{\beta -1}x\leq (u,v)\leq x\}. \end{cases}\displaystyle \end{aligned}$$
(3.13)

Theorem 3.4

Let assumptions \((\mathbf{H}_{1})\) to \((\mathbf{H}_{3})\) hold, and there exist \(r^{*},\hbar \in \mathcal{R}^{+}\) such that one of the following conditions is satisfied:

\((\Im _{1})\) :
$$\hbar \leq \int _{0}^{1}\mathcal{G}^{\beta }(1,s) \phi _{q} \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\Im _{\min } \bigl(\tau ,\hbar ,{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds< \infty ^{+} $$

and

$$\int _{0}^{1}\mathcal{G}^{\beta }(1,s)\phi _{q} \biggl(\frac{1}{\varGamma ( \sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}(\tau ) \Im _{\max } \bigl(\tau ,r^{*},{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v(\tau ) \bigr) \bigr)\,d \tau \biggr)\,ds\leq r^{*} $$
\((\Im _{2})\) :
$$\int _{0}^{1}\mathcal{G}^{\beta }(1,s)\phi _{q} \biggl(\frac{1}{ \varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}( \tau )\Im _{\max } \bigl(\tau ,\hbar ,{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds< \hbar ; $$

and

$$r^{*}\leq \int _{0}^{1}\mathcal{G}^{\beta }(1,s)\phi _{q} \biggl(\frac{1}{ \varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}( \tau )\Im _{\min } \bigl(\tau ,r^{*},{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds< \infty ^{+}; $$
\((\Im _{3})\) :
$$\hbar \leq \int _{0}^{1}\mathcal{G}^{\beta }(1,s) \phi _{q} \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{2}(\tau )\Im _{\min } \bigl(\tau ,{}^{c}D^{\rho } \bigl(\phi _{p}D^{ \beta }u( \tau ),\hbar \bigr) \bigr)\,d\tau \biggr)\,ds< \infty ^{+}; $$

and

$$\int _{0}^{1}\mathcal{G}^{\beta }(1,s)\phi _{q} \biggl(\frac{1}{\varGamma ( \sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{2}(\tau ) \Im _{\max } \bigl(\tau ,{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }u( \tau ) \bigr),r^{*} \bigr)\,d \tau \biggr)\,ds\leq r^{*}; $$
\((\Im _{4})\) :
$$\int _{0}^{1}\mathcal{G}^{\beta }(1,s)\phi _{q} \biggl(\frac{1}{ \varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{2}( \tau )\Im _{\max } \bigl(\tau ,{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }u( \tau ) \bigr), \hbar \bigr)\,d\tau \biggr)\,ds< \hbar ; $$

and

$$r^{*}\leq \int _{0}^{1}\mathcal{G}^{\beta }(1,s)\phi _{q} \biggl(\frac{1}{ \varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{2}( \tau )\Im _{\min } \bigl(\tau ,{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }u( \tau ) \bigr),r ^{*} \bigr)\,d\tau \biggr)\,ds< \infty ^{+}. $$

Then problem (1.1) has a nonnegative solution \((u^{*},v^{*}) \in \mathcal{B}_{r}\times \mathcal{B}_{r}\), so that \(\hbar \leq \|(u ^{*},v^{*})\|\leq r^{*}\).

Proof

Without loss of generality we take only \((\Im _{1})\) and \((\Im _{2})\). If \((u,v)\in \partial \varOmega (\hbar )\), then \(\|(u,v)\|=\hbar \) and \(t^{\beta -1}\hbar \leq (u,v)\leq \hbar \), \(t\in \mathrm{J}\). By (3.13) we have

$$\begin{aligned} &\bigl\Vert \mathcal{H}^{*}(u,v) (t) \bigr\Vert \\ &\quad = \bigl\Vert \bigl(\mathcal{H}^{*}_{1},\mathcal{H}^{*} _{2} \bigr) (u,v) (t) \bigr\Vert \\ &\quad =\sup_{t\in \mathrm{J}} \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \\ &\qquad {}+\sup_{t\in \mathrm{J}} \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl(\frac{1}{\varGamma (\rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \mathcal{F}_{2}(\tau )\psi _{2} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{ \beta }u( \tau ) \bigr),v(\tau ) \bigr)\,d\tau \biggr)\,ds \\ &\quad \geq t^{\beta -1} \int _{0}^{1}\mathcal{G}^{\beta }(1,s)\phi _{q} \biggl(\frac{1}{ \varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}( \tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \\ &\qquad {}+t^{\beta -1} \int _{0}^{1}\mathcal{G}^{\beta }(1,s)\\ &\qquad {}\times\phi _{q} \biggl(\frac{1}{ \varGamma (\rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \mathcal{F}_{2}(\tau ) \psi _{2} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{\beta }u( \tau ) \bigr),v(\tau ) \bigr)\,d \tau \biggr)\,ds \\ &\quad \geq \int _{0}^{1}\mathcal{G}^{\beta }(1,s)\phi _{q} \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \bigl[ \mathcal{F}_{1}(\tau ) \Im _{\min _{t\in \mathrm{J}}} \bigl(\tau ,\hbar ,{}^{c}D^{\rho } \bigl(\phi _{p}D ^{\beta }v( \tau ) \bigr) \bigr) \bigr]\,d\tau \biggr)\,ds \\ &\qquad {}+ \int _{0}^{1}\mathcal{G}^{\beta }(1,s)\phi _{q} \biggl(\frac{1}{\varGamma ( \rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \bigl[ \mathcal{F}_{2}(\tau ) \Im _{\min _{t\in \mathrm{J}}} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{ \beta }u( \tau ) \bigr),\hbar \bigr) \bigr]\,d\tau \biggr)\,ds \\ &\quad \geq\frac{\hbar }{2}+\frac{\hbar }{2}=\hbar = \bigl\Vert (u,v) \bigr\Vert . \end{aligned}$$

Thus

$$ \bigl\Vert \mathcal{H}^{*}(u,v) (t) \bigr\Vert \geq \hbar = \bigl\Vert (u,v) \bigr\Vert . $$

When \((u,v)\in \partial \varOmega (r^{*})\), then \(\|(u,v)\|=r^{*}\), and by (3.13), \(t^{\beta -1}r^{*}\leq (u,v)\leq r^{*}\), we have \(\Im _{\max _{t\in \mathrm{J}}}\geq \{\psi _{1},\psi _{2}\}\), therefore

$$\begin{aligned} &\bigl\Vert \mathcal{H}^{*}(u,v) (t) \bigr\Vert \\ &\quad = \bigl\Vert \bigl(\mathcal{H}^{*}_{1},\mathcal{H}^{*} _{2} \bigr) (u,v) (t) \bigr\Vert \\ &\quad =\max_{t\in \mathrm{J}} \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \\ &\qquad {}+\max_{t\in \mathrm{J}} \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\\ &\qquad {}\times\phi _{q} \biggl(\frac{1}{\varGamma (\rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \mathcal{F}_{2}(\tau )\psi _{2} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{ \beta }u( \tau ) \bigr),v(\tau ) \bigr)\,d\tau \biggr)\,ds \\ &\quad \leq t^{\beta -1} \int _{0}^{1}\mathcal{G}^{\beta }(1,s)\phi _{q} \biggl(\frac{1}{ \varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}( \tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \\ &\qquad {}+t^{\beta -1} \int _{0}^{1}\mathcal{G}^{\beta }(1,s)\\ &\qquad {}\times\phi _{q} \biggl(\frac{1}{ \varGamma (\rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \mathcal{F}_{2}(\tau ) \psi _{2} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{\beta }u( \tau ) \bigr),v(\tau ) \bigr)\,d \tau \biggr)\,ds \\ &\quad \leq \int _{0}^{1}\mathcal{G}^{\beta }(1,s)\phi _{q} \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \bigl[ \mathcal{F}_{1}(\tau ) \Im _{\max _{t\in \mathrm{J}}} \bigl(\tau ,r^{*},{}^{c}D^{\rho } \bigl(\phi _{p}D ^{\beta }v(\tau ) \bigr) \bigr) \bigr]\,d\tau \biggr)\,ds \\ &\qquad {}+ \int _{0}^{1}\mathcal{G}^{\beta }(1,s)\\ &\qquad {}\times\phi _{q} \biggl(\frac{1}{\varGamma ( \rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \bigl[ \mathcal{F}_{2}(\tau ) \Im _{\max _{t\in \mathrm{J}}} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{ \beta }u( \tau ) \bigr),r^{*} \bigr) \bigr]\,d\tau \biggr)\,ds \\ &\quad \leq \frac{r^{*}}{2}+\frac{r^{*}}{2}=r^{*}= \bigl\Vert (u,v) \bigr\Vert . \end{aligned}$$

Thus

$$ \bigl\Vert \mathcal{H}^{*}(u,v) (t) \bigr\Vert \geq \hbar = \bigl\Vert (u,v) \bigr\Vert . $$

Combining these inequalities, we say that \({\mathcal{H}^{*}}\) has a fixed point in the interval \([\hbar ,r^{*}]\), say \((u^{*},v^{*}) \in \overline{\varOmega (r^{*})}/\varOmega (\hbar )\), such that \(\hbar \leq \|(u^{*},v^{*})\|\leq r^{*}\). Next we show that \((u^{*},v^{*})\) is a nonnegative solution for \(t\in \mathrm{J}\) as

$$\begin{aligned} u^{*}(t) =& \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl(\frac{1}{ \varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}( \tau )\psi _{1} \bigl(\tau ,u^{*}(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v ^{*}(\tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \\ \geq &t^{\beta -1}\max_{t\in \mathrm{J}} \int _{0}^{1}\mathcal{G}^{ \beta }(1,s)\\ &{}\times\phi _{q} \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{ \sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,u^{*}( \tau ),{}^{c}D ^{\rho } \bigl(\phi _{p}D^{\beta }v^{*}( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \end{aligned}$$

implies

$$ u^{*}(t)\geq t^{\beta -1} \bigl\Vert u^{*} \bigr\Vert \geq \frac{\hbar }{2} t^{\beta -1}>0. $$

Similarly, we get

$$ v^{*}(t)\geq t^{\beta -1} \bigl\Vert v^{*} \bigr\Vert \geq \frac{\hbar }{2} t^{\beta -1}>0. $$

With the help of Lemma 3.2 and \((\mathcal{P}_{3})\), the solution \((u^{*},v^{*})\) is nondecreasing for \(t\in \mathrm{J}\). □

Theorem 3.5

Let hypotheses \((\mathbf{H}_{1})\) to \((\mathbf{H}_{3})\) be true with \(\Delta =\max \{\Delta _{1},\Delta _{2}\}<1\), where

$$\begin{aligned} &\Delta _{1}=\frac{(q-1)\varrho ^{q-1}(2\beta -\delta )\mathcal{M}_{\psi _{1}} \Vert \mathcal{F}_{1} \Vert }{(\beta -\delta )\varGamma (\beta +1)} \biggl[\frac{1}{ \varGamma (\sigma +1)}+ \frac{\mathcal{M}_{\psi _{2}} \Vert \mathcal{F}_{2} \Vert }{ \varGamma (\rho +1)} \biggr], \\ &\Delta _{2}=\frac{(q-1)\varrho ^{q-1}(2\beta -\delta )\mathcal{M'}_{ \psi _{2}} \Vert \mathcal{F}_{2} \Vert }{(\beta -\delta )\varGamma (\beta +1)} \biggl[\frac{ \Vert \mathcal{F}_{1} \Vert \mathcal{M'}_{\psi _{1}}}{\varGamma ( \sigma +1)}+ \frac{1}{\varGamma (\rho +1)} \biggr]. \end{aligned}$$

Then (1.1) has a unique solution.

Proof

Define operator \(\varPhi =(\varPhi _{1},\varPhi _{2}):\overline{\varOmega (r)}/ \varOmega (r)\rightarrow {\mathbf{B}}\) by

$$ \varPhi (u,v) (t)= \bigl(\varPhi _{1}(u,v),\varPhi _{2}(u,v) \bigr) (t),\quad t\in \mathrm{J}, $$

where

$$ \begin{aligned}[b] &\varPhi _{1}(u,v) (t)\\ &\quad = \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl(\frac{1}{ \varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}( \tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \end{aligned} $$

and

$$ \begin{aligned}[b] &\varPhi _{2}(u,v) (t)\\ &\quad = \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl(\frac{1}{ \varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}( \tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds. \end{aligned} $$

Now, for any \((u,v),(\bar{u},\bar{v})\in \overline{\varOmega (r)}/\varOmega (r)\), we have

$$\begin{aligned} & \bigl\Vert \varPhi (u,v)-\varPhi (\bar{u},\bar{v}) \bigr\Vert \\ &\quad \leq \sup_{t\in \mathrm{J}} \int _{0}^{1} \bigl\vert \mathcal{G}^{\beta }(t,s) \bigr\vert \\ &\qquad {}\times \biggl\{ \biggl|\phi _{q} \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s- \tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D ^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \\ &\qquad {}-\phi _{q} \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,\bar{u}(\tau ),{}^{c}D^{\rho } \bigl( \phi _{p}D^{\beta } \bar{v}(\tau ) \bigr) \bigr) \, d\tau \biggr)\,ds \biggl| \biggr\} \\ &\qquad {}+\sup_{t\in \mathrm{J}} \int _{0}^{1} \bigl\vert \mathcal{G}^{\beta }(t,s) \bigr\vert \\ &\qquad {}\times\biggl\{ \biggl|\phi _{q} \biggl(\frac{1}{\varGamma (\rho )} \int _{0}^{s}(s- \tau )^{\rho -1} \mathcal{F}_{2}(\tau )\psi _{2} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{\beta }u( \tau ) \bigr),v(\tau ) \bigr)\,d\tau \biggr)\,ds \\ &\qquad {}-\phi _{q} \biggl(\frac{1}{\varGamma (\rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \mathcal{F}_{2}(\tau )\psi _{2} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{ \beta } \bar{u}(\tau ) \bigr),\bar{v}(\tau ) \bigr) \, d\tau \biggr)\,ds \biggl| \biggr\} \\ &\quad \leq \frac{(q-1)\varrho ^{q-1}(2\beta -\delta )}{(\beta -\delta ) \varGamma (\beta +1)} \biggl[\frac{\mathcal{M}_{\psi _{1}} \Vert \mathcal{F}_{1} \Vert \Vert u-\bar{u} \Vert +\mathcal{M}'_{\psi _{1}}\mathcal{M}'_{\psi _{2}} \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \Vert v-\bar{v} \Vert }{\varGamma (\sigma +1)} \\ &\qquad {}+\frac{\mathcal{M}_{\psi _{1}}\mathcal{M}_{\psi _{2}} \Vert \mathcal{F} _{1} \Vert \mathcal{F}_{2}\| \Vert u-\bar{u} \Vert +\mathcal{M}'_{\psi _{2}}\| \mathcal{F}_{2}\| \Vert v-\bar{v} \Vert }{\varGamma (\rho +1)} \biggr] \\ &\quad \leq \frac{(q-1)\varrho ^{q-1}(2\beta -\delta )\mathcal{M}_{\psi _{1}} \Vert \mathcal{F}_{1} \Vert }{(\beta -\delta )\varGamma (\beta +1)} \biggl[\frac{1}{ \varGamma (\sigma +1)}+\frac{\mathcal{M}_{\psi _{2}}\| \Vert \mathcal{F}_{2} \Vert }{ \varGamma (\rho +1)} \biggr] \Vert u-\bar{u} \Vert \\ &\qquad {}+\frac{(q-1)\varrho ^{q-1}(2\beta -\delta )\mathcal{M'}_{\psi _{2}} \Vert \mathcal{F}_{2} \Vert }{(\beta -\delta )\varGamma (\beta +1)} \biggl[\frac{ \Vert \mathcal{F}_{1} \Vert \mathcal{M'}_{\psi _{1}}}{\varGamma (\sigma +1)}+\frac{1}{ \varGamma (\rho +1)} \biggr] \Vert v-\bar{v} \Vert \\ &\quad =\Delta _{1} \Vert u-\bar{u} \Vert +\Delta _{2} \Vert v-\bar{v} \Vert \leq \Delta \bigl\Vert (u, \bar{u})-(v,\bar{v}) \bigr\Vert . \end{aligned}$$

Thus

$$ \bigl\Vert \varPhi (u,v)-\varPhi (\bar{u},\bar{v}) \bigr\Vert \leq \Delta \bigl\Vert (u,\bar{u})-(v, \bar{v}) \bigr\Vert . $$

Hence the assumption \(\Delta <1\) implies that the operator Φ is a contraction. Therefore, by Theorem 2.9, (1.1) has a unique fixed point. □

4 Stability analysis

In this section, we analyze Hyers–Ulam stability for the proposed problem.

Theorem 4.1

Let assumptions \((\mathbf{H}_{1})\)\((\mathbf{H}_{3})\) with \(\Delta <1\) hold, along with the condition that the spectral radius of \(\mathcal{Q}\) is less than one. Then the solution of (1.1) is Hyers–Ulam stable.

Proof

Let \((u,v)\) be the exact and \((\bar{u},\bar{v})\) be an approximate solution of the considered problem (1.1), then in view of Theorem 3.5 we have

$$\begin{aligned} &\bigl\Vert \varPhi (u,v) (t)-\varPhi (\bar{u},\bar{v}) (t) \bigr\Vert \\ &\quad = \bigl\Vert \bigl(\varPhi _{1}(u,v) (t),\varPhi _{2}(u,v) (t) \bigr)- \bigl(\varPhi _{1}(\bar{u},\bar{v}) (t),\varPhi _{2}(\bar{u},\bar{v}) (t) \bigr) \bigr\Vert \\ &\quad \leq \bigl\Vert \varPhi _{1}(u,v) (t)-\varPhi _{1}( \bar{u},\bar{v}) \bigr\Vert + \bigl\Vert \varPhi _{2}(u,v) (t)- \varPhi _{2}(\bar{u},\bar{v}) \bigr\Vert \\ &\quad =\sup_{t\in \mathrm{J}} \bigl\vert \varPhi _{1}(u,v) (t)- \varPhi _{1}(\bar{u},\bar{v}) (t) \bigr\vert + \sup _{t\in \mathrm{J}} \bigl\vert \varPhi _{2}(u,v) (t)-\varPhi _{2}(\bar{u},\bar{v}) (t) \bigr\vert \\ &\quad =\sup_{t\in \mathrm{J}} \biggl\vert \int _{0}^{1}\mathcal{G}^{\beta }(t,s) \phi _{q} \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,u(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta }v( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \\ &\qquad {}- \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl(\frac{1}{\varGamma ( \sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \mathcal{F}_{1}(\tau )\psi _{1} \bigl(\tau ,\bar{u}(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta } \bar{v}( \tau ) \bigr) \bigr)\,d\tau \biggr)\,ds \biggr\vert \\ &\qquad {}+\sup_{t\in \mathrm{J}}\bigg| \int _{0}^{1}\mathcal{G}^{\beta }(t,s) \\ &\qquad {}\times\phi _{q} \biggl(\frac{1}{\varGamma (\rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \mathcal{F}_{2}(\tau )\psi _{2} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{ \beta }u( \tau ) \bigr),v(\tau ) \bigr)\,d\tau \biggr)\,ds \\ &\qquad {}- \int _{0}^{1}\mathcal{G}^{\beta }(t,s)\phi _{q} \biggl(\frac{1}{\varGamma ( \rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \mathcal{F}_{2}(\tau )\psi _{2} \bigl( \tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{\beta } \bar{u}(\tau ) \bigr),\bar{v}( \tau ) \bigr)\,d\tau \biggr)\,ds \bigg| \\ &\quad \leq (q-1)\varrho ^{q-2} \int _{0}^{1} \bigl\vert \mathcal{G}^{\beta }(t,s) \bigr\vert \biggl\{ \biggl(\frac{1}{\varGamma (\sigma )} \int _{0}^{s}(s-\tau )^{\sigma -1} \Vert \mathcal{F}_{1} \Vert \bigl\Vert \psi _{1} \bigl(\tau ,u( \tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D ^{\beta }v(\tau ) \bigr) \bigr) \\ &\qquad {}-\psi _{1} \bigl(\tau ,\bar{u}(\tau ),{}^{c}D^{\rho } \bigl(\phi _{p}D^{\beta } \bar{v}(\tau ) \bigr) \bigr) \bigr\Vert \,d\tau \biggr)\,ds \\ &\qquad {}+\frac{1}{\varGamma (\rho )} \int _{0}^{s}(s-\tau )^{\rho -1} \Vert \mathcal{F}_{2} \Vert \bigl\Vert \psi _{2} \bigl(\tau ,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{\beta }u( \tau ),v(\tau ) \bigr) \bigr) \\ &\qquad {}-\psi _{2} \bigl(\tau ,{}^{c}D^{\sigma } \bigl( \phi _{p}D^{\beta }\bar{u}(\tau ), \bar{v}(\tau ) \bigr) \bigr) \bigr\Vert \,d\tau \,ds \biggr\} \\ &\quad \leq \frac{(q-1)\varrho ^{q-1}(2\beta -\delta )}{(\beta -\delta ) \varGamma (\beta +1)} \biggl[\frac{\mathcal{M}_{\psi _{1}} \Vert \mathcal{F}_{1} \Vert \Vert u-\bar{u} \Vert +\mathcal{M}'_{\psi _{1}}\mathcal{M}'_{\psi _{2}} \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert \Vert v-\bar{v} \Vert }{\varGamma (\sigma +1)} \\ &\qquad {}+\frac{\mathcal{M}_{\psi _{1}}\mathcal{M}_{\psi _{2}} \Vert \mathcal{F} _{1} \Vert \mathcal{F}_{2}\| \Vert u-\bar{u} \Vert +\mathcal{M}'_{\psi _{2}}\| \mathcal{F}_{2}\| \Vert v-\bar{v} \Vert }{\varGamma (\rho +1)} \biggr] \\ &\quad \leq \frac{(q-1)\varrho ^{q-1}(2\beta -\delta )\mathcal{M}_{\psi _{1}} \Vert \mathcal{F}_{1} \Vert }{(\beta -\delta )\varGamma (\beta +1)\varGamma (\sigma +1)} \Vert u-\bar{u} \Vert \\ &\qquad {}+\frac{(q-1)\varrho ^{q-1}(2\beta -\delta )\mathcal{M'}_{\psi _{1}} \mathcal{M'}_{\psi _{2}} \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert }{( \beta -\delta )\varGamma (\beta +1)\varGamma (\sigma +1)} \Vert v-\bar{v} \Vert \\ &\qquad {}+\frac{(q-1)\varrho ^{q-1}(2\beta -\delta )\mathcal{M}_{\psi _{1}} \mathcal{M}_{\psi _{2}} \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert }{(\beta -\delta )\varGamma (\beta +1)\varGamma (\sigma +1)} \Vert u-\bar{u} \Vert \\ &\qquad {}+\frac{(q-1)\varrho ^{q-1}(2\beta -\delta )\mathcal{M'}_{\psi _{1}} \Vert \mathcal{F}_{1} \Vert }{(\beta -\delta )\varGamma (\beta +1)\varGamma (\sigma +1)} \Vert v-\bar{v} \Vert \\ &\quad \leq \bigl\Vert (u,v)-(\bar{u},\bar{v}) \bigr\Vert \mathcal{Q}, \end{aligned}$$

where Q= ( C 1 C 2 C 3 C 4 ) . Since the spectral radius of \(\mathcal{Q}\) is less than one, thus the solution of the considered system (1.1) is Hyers–Ulam stable. Here

$$\begin{aligned}& \mathcal{C}_{1}=\frac{(q-1)\varrho ^{q-1}(2\beta -\delta )\mathcal{M} _{\psi _{1}} \Vert \mathcal{F}_{1} \Vert }{(\beta -\delta )\varGamma (\beta +1) \varGamma (\sigma +1)},\\& \mathcal{C}_{2}= \frac{(q-1)\varrho ^{q-1}(2 \beta -\delta )\mathcal{M'}_{\psi _{1}}\mathcal{M'}_{\psi _{2}} \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert }{(\beta -\delta )\varGamma (\beta +1) \varGamma (\sigma +1)},\\& \mathcal{C}_{3}=\frac{(q-1)\varrho ^{q-1}(2\beta -\delta ) \mathcal{M}_{\psi _{1}}\mathcal{M}_{\psi _{2}} \Vert \mathcal{F}_{1} \Vert \Vert \mathcal{F}_{2} \Vert }{(\beta -\delta )\varGamma (\beta +1)\varGamma (\sigma +1)}, \\& \mathcal{C}_{4}= \frac{(q-1)\varrho ^{q-1}(2\beta -\delta ) \mathcal{M'}_{\psi _{1}} \Vert \mathcal{F}_{1} \Vert }{(\beta -\delta )\varGamma ( \beta +1)\varGamma (\sigma +1)}. \end{aligned}$$

 □

The same approach can be followed to obtain results regarding the generalized Hyers–Ulam, Hyers–Ulam–Rassias, and generalized Hyers–Ulam–Rassias stability.

5 An illustrative example

For the support of our theoretical results, an example is presented here.

Example 5.1

Corresponding to (1.1), we consider the system of fractional order differential equations involving p-Laplacian operator \(\phi _{p}\) as follows:

$$\begin{aligned} \textstyle\begin{cases} {}^{c}D^{\sigma }(\phi _{p}D^{\beta }u(t))+\frac{t}{\sqrt{1-t}}\frac{u ^{2}(t)+1+{}^{c}D^{\sigma }(\phi _{p}D^{\beta }v(t))}{10e^{t^{2}}+1}=0, \quad t\in [0,1)=\mathrm{J}, \\ {}^{c}D^{\sigma }(\phi _{p}D^{\beta }v(t))+\frac{1}{\sqrt{4-4t^{2}}}\frac{v(t)+2+ {}^{c}D^{\sigma }(\phi _{p}D^{\beta }u(t))}{20+t^{3}}=0, \\ ([\phi _{p}D^{\beta } u(0)])^{(j)}=0, \quad j=0,1,2,3,\dots , m-1, \\ ([\phi _{p}D^{\beta } v(0)])^{(j)}=0, \\ I^{k-\beta }(u(0))=I^{k-\beta }(v(0))=0, \quad k=2,3,\dots , m, \\ D^{\delta }(u(1))=D^{\delta }(v(1))=0. \end{cases}\displaystyle \end{aligned}$$
(5.1)

Set

$$ \psi _{1} \bigl(t,u(t),{}^{c}D^{\sigma } \bigl(\phi _{p}D^{\beta }v(t) \bigr) \bigr)=\frac{u ^{2}(t)+1+{}^{c}D^{\sigma }(\phi _{p}D^{\beta }u(t))}{10e^{t^{2}}+1} $$

and

$$ \psi _{2} \bigl(t,{}^{c}D^{\sigma } \bigl(\phi _{p}D^{\beta }u(t) \bigr),v(t) \bigr)=\frac{v(t)+2+ {}^{c}D^{\sigma }(\phi _{p}D^{\beta }u(t))}{20+t^{3}}. $$

Now, for any \(u,v,\bar{u},\bar{v}\in \mathcal{X}\), we have

$$ \bigl\vert \psi _{1} \bigl(t,u(t),v(t) \bigr)-\psi _{1} \bigl(t,\bar{u}(t),\bar{v}(t) \bigr) \bigr\vert \leq \frac{1}{10e ^{2}} \Vert u-\bar{u} \Vert +\frac{1}{10e^{2}} \Vert v-\bar{v} \Vert $$

and

$$ \bigl\vert \psi _{2} \bigl(t,u(t),v(t) \bigr)-\psi _{2} \bigl(t,\bar{u}(t),\bar{v}(t) \bigr) \bigr\vert \leq \frac{1}{20} \Vert u-\bar{u} \Vert +\frac{1}{20} \Vert v-\bar{v} \Vert . $$

Here, \(\mathcal{M}_{\psi _{1}}=\mathcal{M'}_{\psi _{1}}=\frac{1}{10e ^{2}}\), \(\mathcal{M}_{\psi _{2}}=\mathcal{M'}_{\psi _{2}}=\frac{1}{20}\). Take \(q=\frac{5}{2}\), \(\beta =3\), \(\rho =\sigma =\frac{7}{2}\), \(\delta =\frac{3}{2}\), \(\varrho =1\), then \(p=\frac{5}{3}\), and upon calculations we have \(\Delta =0.000192<1\), so system (5.1) has a unique solution. Further,

$$\begin{aligned} \mathcal{H^{*}}= \begin{pmatrix} 0.00002 & 0.00001 \\ 0.00001 & 0.00002 \end{pmatrix} \end{aligned}$$

and if \(\omega _{1}\) and \(\omega _{2}\) are the eigenvalues, then \(\omega _{1}=0.00001\) and \(\omega _{2}=0.00003\). Since the spectral radius of \(\mathcal{H^{*}}\) is less than one, thus system (5.1) is Hyers–Ulam stable.

6 Conclusion

In this paper, we have utilized the Arzelä–Ascoli theorem, Banach’s contraction principle, and Schauder’s fixed point theorem to establish existence and uniqueness criteria for the solution of the nonlinear coupled implicit switched singular fractional differential system given in (1.1). Furthermore, under some particular assumptions and conditions, we have proved stability results in the sense of Ulam for the solutions of the said problem. We claim that the approach used to prove the main results is powerful, effectual, and suitable for investigating different qualitative properties of the solutions of nonlinear fractional differential equations.

References

  1. Abdeljawad, T., Alzabut, J.: On Riemann–Liouville fractional q-difference equations and their application to retarded logistic type model. Math. Methods Appl. Sci. 41, 8953–8962 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  2. Agarwal, R.P., Baleanu, D., Hedayati, V., Rezapour, S.: Two fractional derivative inclusion problems via integral boundary condition. Appl. Math. Comput. 257, 205–212 (2015)

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    MATH  Google Scholar 

  5. Ahmad, N., Rafiq, M., Baleanu, D., Rehman, M.A.: Spatio-temporal numerical modeling of auto-catalytic Brusselator model. Rom. J. Phys. 64, 1–14 (2019)

    Google Scholar 

  6. Ali, M., Alquran, M., Jaradat, I., Baleanu, D.: Stationary wave solutions for new developed two-waves fifth-order Korteweg–de Vries equation. Adv. Differ. Equ. 2019, 263 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  7. 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. 42(5), 2681–2699 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  8. Alkhazzan, A., Jiang, P., Baleanu, D., Khan, H., Khan, A.: Stability and existence results for a class of nonlinear fractional differential equations with singularity. Math. Methods Appl. Sci. 41(18), 9321–9334 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  9. Alzabut, J., Abdeljawad, T.: Nonlinear delay fractional difference equations with applications on discrete fractional Lotka–Volterra competition model. J. Comput. Anal. Appl. 25(5), 889–989 (2018)

    MathSciNet  Google Scholar 

  10. Aydogan, M.S., Baleanu, D., Mousalou, A., Rezapour, S.: On approximate solutions for two higher-order Caputo–Fabrizio fractional integro-differential equations. Adv. Differ. Equ. 2017, 221 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  11. Aydogan, M.S., Baleanu, D., Mousalou, A., Rezapour, S.: On high order fractional integro-differential equations including the Caputo–Fabrizio derivative. Bound. Value Probl. 2018, 90 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  12. Baghani, H.: Existence and uniqueness of solutions to fractional Langevin equations involving two fractional orders. J. Fixed Point Theory Appl. 20, 63 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  13. Baleanu, D., Ghafarnezhad, K., Rezapour, S.: On a three step crisis integro-differential equation. Adv. Differ. Equ. 2019, 153 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  14. Baleanu, D., Mousalou, A., Rezapour, S.: On the existence of solutions for some infinite coefficient-symmetric Caputo–Fabrizio fractional integro-differential equations. Adv. Differ. Equ. 2017, 145 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  15. Baleanu, D., Mousalou, A., Rezapour, S.: A new method for investigating approximate solutions of some fractional integro-differential equations involving the Caputo–Fabrizio derivative. Adv. Differ. Equ. 2017, 51 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  16. Baleanu, D., Mousalou, A., Rezapour, S.: The extended fractional Caputo-Fabrizio derivative of order \(0<\sigma \leq 1\) on \(C_{R}[0,1]\) and the existence of solutions for two higher-order series-type differential equations. Adv. Differ. Equ. 2018, 255 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  17. Baleanu, D., Rezapour, S., Mohammadi, H.: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. Lond. A 371, 1–7 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  18. Burton, T., Furumochi, T.: Krasnoselskii’s fixed point theorem and stability. Nonlinear Anal. 49(4), 445–454 (2002)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  20. Khan, A., Syam, M.I., Zada, A.: Stability analysis of nonlinear fractional differential equations with Caputo and Riemann–Liouville derivatives. Eur. Phys. J. Plus 133, 264 (2018)

    Article  Google Scholar 

  21. Khan, R.A., Shah, K.: Existence and uniqueness of solutions to fractional order multi-point boundary value problems. Commun. Appl. Anal. 19, 515–526 (2015)

    Google Scholar 

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

    Book  MATH  Google Scholar 

  23. Kojabad, E.A., Rezapour, S.: Approximate solutions of a sum-type fractional integro-differential equation by using Chebyshev and Legendre polynomials. Adv. Differ. Equ. 2017, 351 (2017)

    Article  MathSciNet  MATH  Google Scholar 

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

    MATH  Google Scholar 

  25. Li, Y.: Existence of positive solutions for fractional differential equation involving integral boundary conditions with p-Laplacian operator. Adv. Differ. Equ. 2017, 135 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  26. Liu, Y., Chen, S., Ou, L.: Solvability of Sturm–Liouville boundary value problems for multiple order fractional differential equation. Arab J. Math. Sci. 22, 207–231 (2016)

    MathSciNet  MATH  Google Scholar 

  27. Liu, Z., Lu, L., Szántó, I.: Existence of solutions for fractional impulsive differential equations with p-Laplacian operator. Acta Math. Hung. 141(3), 203–219 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  28. Magin, R.L.: Fractional calculus in bioengineering. Crit. Rev. Biomed. Eng. 32(1), 1–104 (2004)

    Article  Google Scholar 

  29. Obloza, M.: Hyers stability of the linear differential equation. Rocznik Nauk.-Dydakt. Prace Mat. 13, 259–270 (1993)

    MathSciNet  MATH  Google Scholar 

  30. Oldham, K.B.: Fractional differential equations in electrochemistry. Adv. Eng. Softw. 41(1), 9–12 (2010)

    Article  MATH  Google Scholar 

  31. Palais, R.S.: A simple proof of Banach contraction principle. J. Fixed Point Theory Appl. 2, 221–223 (2007)

    Article  MathSciNet  MATH  Google Scholar 

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

    MATH  Google Scholar 

  33. Rassias, T.M.: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 72, 297–300 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  34. Rizwan, R., Zada, A.: Nonlinear impulsive Langevin equation with mixed derivatives. Math. Methods Appl. Sci. (2019). https://doi.org/10.1002/mma.5902

    Article  MATH  Google Scholar 

  35. Rizwan, R., Zada, A., Wang, X.: Stability analysis of non linear implicit fractional Langevin equation with non-instantaneous impulses. Adv. Differ. Equ. 2019, 85 (2019)

    Article  MATH  Google Scholar 

  36. Royden, H.I.: Real Analysis. Macmillan, New York (1983)

    MATH  Google Scholar 

  37. 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 

  38. 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). https://doi.org/10.1007/s12346-019-00315-x

    Article  Google Scholar 

  39. Smart, D.R.: Fixed Point Theorems. Cambridge University Press, Cambridge (1980)

    MATH  Google Scholar 

  40. Urs, C.: Coupled fixed point theorem and application to periodic boundary value problem. Miskolc Math. Notes 14, 323–333 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  41. Veeresha, P., Prakasha, D.G., Baleanu, D.: An efficient numerical technique for the nonlinear fractional Kolmogorov–Petrovskii–Piskunov equation. Mathematics 7(3), 1–17 (2019)

    Article  Google Scholar 

  42. Wang, J., Lv, L., Zhou, Y.: Ulam stability and data dependence for fractional differential equations with Caputo derivative. Electron. J. Qual. Theory Differ. Equ. 63, 1 (2011)

    MathSciNet  MATH  Google Scholar 

  43. Wang, J., Shah, K., Ali, A.: Existence and Hyers–Ulam stability of fractional nonlinear impulsive switched coupled evolution equations. Math. Methods Appl. Sci. 41, 1–11 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  44. Wang, J., Zada, A., Ali, W.: Ulam’s-type stability of first-order impulsive differential equations with variable delay in quasi-Banach spaces. Int. J. Nonlinear Sci. Numer. Simul. 19(5), 553–560 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  45. Wang, J., Zada, A., Waheed, H.: Stability analysis of a coupled system of nonlinear implicit fractional anti-periodic boundary value problem. Math. Methods Appl. Sci. (2019). https://doi.org/10.1002/mma.5773

    Article  Google Scholar 

  46. Wu, G.C., Abdeljawad, T., Liu, J., Baleanu, D., Wu, K.T.: Mittag-Leffler stability analysis of fractional discrete-time neural networks via fixed point technique. Nonlinear Anal., Model. Control 24 (2019)

  47. 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  MATH  Google Scholar 

  48. Zada, A., Ali, W., Park, C.: Ulam’s type stability of higher order nonlinear delay differential equations via integral inequality of Grönwall–Bellman–Bihari’s type. Appl. Math. Comput. 350, 60–65 (2019)

    MathSciNet  Google Scholar 

  49. Zada, A., Mashal, A.: Stability analysis of nth order nonlinear impulsive differential equations in quasi-Banach space. Numer. Funct. Anal. Optim. (2019). https://doi.org/10.1080/01630563.2019.1628049

    Article  Google Scholar 

  50. Zada, A., Shaleena, S., Li, T.: Stability analysis of higher order nonlinear differential equations in β-normed spaces. Math. Methods Appl. Sci. 42(4), 1151–1166 (2019)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Availability of data and materials

Not applicable.

Funding

The third author would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM), group number RG-DES-2017-01-17.

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally and significantly to this paper. All authors have read and approved the final version of the manuscript.

Corresponding author

Correspondence to Jehad Alzabut.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

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

Rights and permissions

Open Access This article is 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

Ahmad, M., Zada, A. & Alzabut, J. Stability analysis of a nonlinear coupled implicit switched singular fractional differential system with p-Laplacian. Adv Differ Equ 2019, 436 (2019). https://doi.org/10.1186/s13662-019-2367-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-019-2367-y

MSC

Keywords