Ulam stability to a toppled systems of nonlinear implicit fractional order boundary value problem

Abstract

In this manuscript, we give some sufficient conditions for existence, uniqueness and various kinds of Ulam stability for a toppled system of fractional order boundary value problems involving the Riemann–Liouville fractional derivative. Applying the Banach contraction principle and the Leray–Schauder result of cone type, uniqueness and existence results are proved for the proposed toppled system. Stability is investigated by using the classical technique of nonlinear functional analysis. The results obtained are well illustrated with the aid of an example.

1 Introduction

FODEs have recently been addressed by many researchers for a variety of problems. The aforesaid equations arise in many engineering and scientific disciplines as the mathematical modeling of processes and systems in the fields of signal and image processing, control theory, physics, blood flow phenomena, polymer rheology, electrodynamics of complex medium, chemistry, aerodynamics, economics, biophysics, etc. For details, see [18, 23, 24, 29,30,31,32,33] and the references cited therein. FODEs also serve as an excellent tool for the description of hereditary properties of different processes and materials. Moreover, one has found that the aforesaid model real world problems are more accurate than differential equations of integer order. In consequence, the subject of the foregoing equations are receiving great attention from the researchers. However, the theory of boundary value problems for nonlinear FODEs is still in the initial stages and many aspects of this theory need to be explored.

The research area which is most preferable in the field of FODEs and got incredibly much attention from the researchers is devoted to the existence theory of solutions. Many researchers have established some interesting results of the existence of solutions to boundary value problems for FODEs by applying different fixed point approaches. For a detailed study, see [1, 13, 36, 37] and the references cited therein. On the other hand, the investigation of toppled systems of the differential equations is also very significant because systems of this kind appear in various problems of applied nature. For details and examples, the reader may refer to [2, 10, 15, 17, 25] and the references cited therein.

Another area of research, which has received considerable attention from the researchers is stability analysis of the differential equations in the sense of Ulam and their different kinds. The aforesaid stability was introduced by Ulam [40], in 1940. A significant breakthrough came in the following year, when Hyers [19] gave a partial answer to Ulam’s problem. In addition to the aforesaid investigations, many researchers have studied the Ulam stability for differential equations of different orders; see [20, 21, 27, 28, 34, 47, 48] and the references cited therein. In last few years, authors [41] studied various kinds of Ulam stability for impulsive ordinary differential equations. In [46], authors studied various kinds of the aforesaid stability for impulsive FODEs. In [43], authors studied the Ulam stability for linear fractional equations. The above-mentioned stabilities [14] for FODEs are quite significant in realistic problems, biology, economics and numerical analysis. For details and examples, see [4, 5, 7, 11, 12, 26, 42, 44, 45] and the references cited therein.

Ali et al. [8], investigated existence theory and different kinds of stability in the sense of Ulam for the following implicit fractional differential equations:

$$ \textstyle\begin{cases} \mathrm{D}^{\mathsf{p}} \mathsf{u}(\mathsf{t})-\alpha(\mathsf {t},\mathsf{u}(\mathsf{t}),\mathrm{D}^{\mathsf{p}} \mathsf {u}(\mathsf{t}))=0; \\ \mathrm{D}^{\mathsf{p}-2}\mathsf{u}(\mathsf{t}) |_{\mathsf {t}=0^{+}}=\gamma_{1} \mathrm{D}^{\mathsf{p}-2}\mathsf{u}(\mathsf {t}) |_{\mathsf{t}=\mathrm{T}^{-}}, \\ \mathrm{D}^{\mathsf{p}-1}\mathsf {u}(\mathsf{t}) |_{\mathsf{t}=0^{+}}=\beta_{1} \mathrm {D}^{\mathsf{p}-1}\mathsf{u}(\mathsf{t}) |_{\mathsf{t}=\mathrm{T}^{-}}, \end{cases} $$

where $\mathsf{t}\in\mathsf{J}=[0,\mathrm{T}]$ with $\mathrm{T}>0$, $1<\mathsf{p}\leq 2$, $\beta_{1}, \gamma_{1}\neq1$ and $\alpha:\mathsf{J}\times \mathbb {R}\times \mathbb {R}\rightarrow \mathbb {R}$. Nowadays, researchers are devoting their work to the investigation of different kinds of stability in the sense of Ulam for toppled system of FODEs. For details, see [6, 22, 38, 39]. Recently, Ali et al. [9] investigated existence theory and different kinds of stability in the sense of Ulam for the following implicit toppled system:

$$ \textstyle\begin{cases} {}^{\mathrm{c}}{\mathrm{D}}^{\mathsf{p}} \mathsf{u}(\mathsf{t})-\alpha(\mathsf {t},\mathsf{y}(\mathsf{t}),{}^{\mathrm{c}}{\mathrm{D}}^{\mathsf{p}} \mathsf {u}(\mathsf{t}))=0; \\ {}^{\mathrm{c}}{\mathrm{D}}^{\mathsf{q}} \mathsf{y}(\mathsf{t})-\chi(\mathsf {t},\mathsf{u}(\mathsf{t}),{}^{\mathrm{c}}{\mathrm{D}}^{\mathsf{q}} \mathsf {y}(\mathsf{t}))=0; \\ \mathsf{u}'(\mathsf{t}) |_{\mathsf{t}=0}=\mathsf{u}''(\mathsf {t}) |_{\mathsf{t}=0}=0, \qquad \mathsf{u}(\mathsf{t}) |_{\mathsf {t}=1}=\lambda\mathsf{u}(\eta), \\ \mathsf{y}'(\mathsf{t}) |_{\mathsf{t}=0}=\mathsf{y}''(\mathsf {t}) |_{\mathsf{t}=0}=0, \qquad \mathsf{y}(\mathsf{t}) |_{\mathsf {t}=1}=\lambda\mathsf{y}(\eta), \end{cases} $$

where $\mathsf{t}\in\mathsf{J}=[0,1]$, $2<\mathsf{p},\mathsf {q}\leq3$, $0<\lambda,\eta<1$ and $\alpha,\chi:\mathsf{J}\times \mathbb {R}\times \mathbb {R}\rightarrow \mathbb {R}$ are continuous functions.

Influenced from the aforesaid discussion. In this manuscript, our objective to study the existence, uniqueness and various kinds of stability in the sense of Ulam for the given toppled system

$$ \textstyle\begin{cases} \mathrm{D}^{\mathsf{p}} \mathsf{u}(\mathsf{t})-\alpha(\mathsf {t},\mathsf{y}(\mathsf{t}),\mathrm{D}^{\mathsf{p}} \mathsf {u}(\mathsf{t}))=0; \\ \mathrm{D}^{\mathsf{q}} \mathsf{y}(\mathsf{t})-\chi(\mathsf {t},\mathsf{u}(\mathsf{t}),\mathrm{D}^{\mathsf{q}} \mathsf {y}(\mathsf{t}))=0; \\ \mathrm{D}^{\mathsf{p}-2}\mathsf{u}(\mathsf{t}) |_{\mathsf {t}=0^{+}}=\gamma_{1} \mathrm{D}^{\mathsf{p}-2}\mathsf{u}(\mathsf {t}) |_{\mathsf{t}=\mathrm{T}^{-}},\qquad \mathrm{D}^{\mathsf{p}-1}\mathsf {u}(\mathsf{t}) |_{\mathsf{t}=0^{+}}=\beta_{1} \mathrm {D}^{\mathsf{p}-1}\mathsf{u}(\mathsf{t}) |_{\mathsf{t}=\mathrm{T}^{-}}, \\ \mathrm{D}^{\mathsf{q}-2}\mathsf{y}(\mathsf{t}) |_{\mathsf {t}=0^{+}}=\gamma_{2} \mathrm{D}^{\mathsf{q}-2}\mathsf{y}(\mathsf {t}) |_{\mathsf{t}=\mathrm{T}^{-}},\qquad \mathrm{D}^{\mathsf{q}-1}\mathsf {y}(\mathsf{t}) |_{\mathsf{t}=0^{+}}=\beta_{2} \mathrm {D}^{\mathsf{q}-1}\mathsf{y}(\mathsf{t}) |_{\mathsf{t}=\mathrm{T}^{-}}, \end{cases} $$

(1.1)

where $\mathsf{t}\in\mathsf{J}=[0,\mathrm{T}]$, $\mathrm{T}>0$, $1<\mathsf{p},\mathsf {q}\leq2$ and $\beta_{1},\beta_{2},\gamma_{1},\gamma_{2} \neq1$. $\mathrm{D}^{\mathsf{p}}$, $\mathrm{D}^{\mathsf{q}}$ are Riemann–Liouville derivatives of fractional order and $\alpha,\chi :\mathsf{J}\times \mathbb {R}\times \mathbb {R}\rightarrow \mathbb {R}$ are continuous functions.

The manuscript is organized as follows. In Sect. 2, we present some basic materials needed to prove our main results. In Sect. 3, we set up some appropriate conditions for the existence and uniqueness of solutions to the proposed system (1.1) by applying some standard fixed point principles. In Sect. 4, we built up conditions for stability in the sense of Ulam to the solution of the proposed system (1.1). An example to illustrate our results is presented in Sect. 5.

2 Background materials

In this section, we recall some definitions and preliminary results, which will be used throughout the manuscript.

Definition 2.1

([3])

The Riemann–Liouville fractional integral of order $\mathsf{p}>0$ for a function $\mathsf{u}:\mathbb {R}^{+}\rightarrow \mathbb {R}$ is defined as

$$\mathrm{I}^{\mathsf{p}}\mathsf{u}(\mathsf{t}) = \frac{1}{\varGamma (\mathsf{p})} \int_{0}^{\mathsf{t}}\frac{\mathsf{u}(\mathsf {s})}{(\mathsf{t}-{\mathsf{s}})^{1-\mathsf{p}}} \, \mathrm{d} \mathsf{s}, $$

provided that the integral exists.

Definition 2.2

For a function $\mathsf{u}:\mathbb {R}^{+}\rightarrow \mathbb {R}$, the Riemann–Liouville derivative of fractional order $\mathsf{p}>0$, $\mathrm{n}=[\mathsf{p}]+1$, is defined as

$$ \mathrm{D}^{\mathsf{p}} \mathsf{u}(\mathsf{t})=\frac{1}{\varGamma (\mathrm{n}-\mathsf{p})} \biggl( \frac{\mathrm{d}}{\mathrm{d}\mathsf{t}} \biggr)^{\mathrm{n}} \int _{0}^{\mathsf{t}}\frac{\mathsf{u}(\mathsf{s})}{(\mathsf {t}-{\mathsf{s}})^{\mathsf{p}-\mathrm{n}+1}}\, \mathrm{d} \mathsf{s}, $$

provided that integral on the right side exists. $[\mathsf{p}]$ denotes the integer part of the real number p. For more properties, the reader may refer to [3].

Lemma 2.1

The solution of the differential equation

$$\mathrm{D}^{\mathsf{p}}\mathsf{u}(\mathsf{t})=\varrho(\mathsf {t}),\quad \mathsf{p}>0, $$

is given as

$$ \mathrm{I}^{\mathsf{p}}{\mathrm{D}^{\mathsf {p}}}\mathsf{u}(\mathsf{t})= \mathrm{I}^{\mathsf{p}}\varrho(\mathsf {t})+\mathrm{k}_{1} \mathsf{t}^{\mathsf{p}-1}+\mathrm{k}_{2}\mathsf{t}^{\mathsf {p}-2}+ \cdots+\mathrm{k}_{\mathrm{n}-1}\mathsf{t}^{\mathsf{p}-\mathrm{n}-1}+\mathrm{k}_{\mathrm{n}} \mathsf {t}^{\mathsf{p}-\mathrm{n}}, $$

where $\mathrm{n}=[\mathsf{p}]+1$ and $\mathrm{k}_{\mathrm{i}}, \mathrm{i}=1,2,\dots,\mathrm{n}$, are real constants.

Lemma 2.2

Suppose $\mathsf{E}= \{\mathsf{u}(\mathsf{t})| \mathsf{u}\in\mathsf {C}(\mathsf{J}) \}$ is a Banach space endowed with a norm defined as $\|\mathsf{u}\|_{\mathsf{E}}=\max_{\mathsf{t}\in\mathsf{J}} |\mathsf{u}(\mathsf{t}) |$. Similarly, the norm defined on the product space is $\|(\mathsf{u},\mathsf{y})\|_{\mathsf{E}\times \mathsf{E}}=\|\mathsf{u}\|_{\mathsf{E}}+\|\mathsf{y}\|_{\mathsf {E}}$. Obviously $(\mathsf{E}\times\mathsf{E},\|(\mathsf {u},\mathsf{y})\|_{\mathsf{E}\times\mathsf{E}} )$ is a Banach space. Also, the cone $\check{\mathbb{C}}\subset\mathsf{E}\times \mathsf{E}$ is defined as

$$\check{\mathbb{C}}= \bigl\{ (\mathsf{u},\mathsf{y})\in\mathsf {E}\times \mathsf{E}:\mathsf{u}(\mathsf{t})\geq0, \mathsf {y}(\mathsf{t})\geq0 \bigr\} . $$

Theorem 2.1

([16])

Suppose E a Banach space contains a cone $\check{\mathbb {C}}$ and if $\mathfrak{D}\subset\check{\mathbb{C}}$ with $0\in \mathfrak{D}$ is relatively open set. Let the operator $\mathsf {T}:\mathfrak{D}\rightarrow\mathfrak{D}$ be completely continuous. Then one of the following conditions exists:

• (1) there is $\mathsf{u}\in\partial\mathfrak{D}$ and $\delta\in(0,1)$ such that $\mathsf{u}=\delta\mathsf{T}\mathsf{u}$;

• (2) T has a fixed point in $\mathfrak{D}$.

Definition 2.3

([35])

The proposed system (1.1) is Ulam–Hyers stable, if there are $C_{\mathsf{p},\mathsf {q}}=( C_{\mathsf{p}}, C_{\mathsf{q}})>0$ such that, for some $\epsilon=(\epsilon_{\mathsf{p}},\epsilon_{\mathsf {q}})>0$ and for each $\mathsf{t}\in\mathsf{J}$ and solution $(\mathsf{u},\mathsf{y})\in\mathsf{E}\times\mathsf{E}$ of the following:

$$ \textstyle\begin{cases} |\mathrm{D}^{\mathsf{p}} \mathsf{u}(\mathsf{t})-\alpha (\mathsf{t},\mathsf{y}(\mathsf{t}),\mathrm{D}^{\mathsf{p}} \mathsf {u}(\mathsf{t})) |\leq\epsilon_{\mathsf{p}}, \\ |\mathrm{D}^{\mathsf{q}} \mathsf{y}(\mathsf{t})-\chi(\mathsf {t},\mathsf{u}(\mathsf{t}),\mathrm{D}^{\mathsf{q}} \mathsf {y}(\mathsf{t})) |\leq\epsilon_{\mathsf{q}}. \end{cases} $$

(2.1)

There is a unique solution $(\omega,\vartheta)\in\mathsf{E}\times \mathsf{E}$ with

$$ \bigl\vert (\mathsf{u},\mathsf{y}) (\mathsf{t})-(\omega ,\vartheta) ( \mathsf{t}) \bigr\vert \leq C_{\mathsf{p},\mathsf {q}}\epsilon. $$

(2.2)

Definition 2.4

([35])

The proposed system (1.1) is generalized Ulam–Hyers stable, if there is $\varTheta_{\mathsf{p},\mathsf{q}}\in\mathsf{C}(\mathbb {R}^{+},\mathbb {R}^{+})$ with $\varTheta_{\mathsf{p},\mathsf{q}}(0)=0$, such that, for each $\mathsf{t}\in\mathsf{J}$ and solution $(\mathsf {u},\mathsf{y})\in\mathsf{E}\times\mathsf{E}$ of (2.1), there is a unique solution $(\vartheta,\omega)\in\mathsf{E}\times \mathsf{E}$ of (1.1), which satisfies

$$ \bigl\vert (\mathsf{u},\mathsf{y}) (\mathsf{t})-(\omega ,\vartheta) ( \mathsf{t}) \bigr\vert \leq\varTheta_{\mathsf{p},\mathsf {q}}(\epsilon). $$

(2.3)

Definition 2.5

([35])

The proposed system (1.1) is Ulam–Hyers–Rassias stable with respect to $\varPhi_{\mathsf {p},\mathsf{q}}=(\varPhi_{\mathsf{p}},\varPhi_{\mathsf{q}})\in\mathsf {C}(\mathsf{J},\mathbb {R})$, if there are constants ${C}_{\varPhi_{\mathsf{p}},\varPhi_{\mathsf{q}}}=( C_{\varPhi _{\mathsf{p}}}, C_{\varPhi_{\mathsf{q}}})>0$ such that, for some $\epsilon=(\epsilon_{\mathsf{p}},\epsilon_{\mathsf{q}})>0$ and for each $\mathsf{t}\in\mathsf{J}$ and solution $(\mathsf {u},\mathsf{y})\in\mathsf{E}\times\mathsf{E}$ of the following:

$$ \textstyle\begin{cases} |\mathrm{D}^{\mathsf{p}} \mathsf{u}(\mathsf{t})-\alpha (\mathsf{t},\mathsf{y}(\mathsf{t}),\mathrm{D}^{\mathsf{p}} \mathsf {u}(\mathsf{t})) |\leq\varPhi_{\mathsf{p}}(\mathsf{t})\epsilon _{\mathsf{p}}, \\ |\mathrm{D}^{\mathsf{q}} \mathsf{y}(\mathsf{t})-\chi(\mathsf {t},\mathsf{u}(\mathsf{t}),\mathrm{D}^{\mathsf{q}} \mathsf {y}(\mathsf{t})) |\leq\varPhi_{\mathsf{q}}(\mathsf{t})\epsilon _{\mathsf{q}}, \end{cases} $$

(2.4)

there is a unique solution $(\omega,\vartheta)\in\mathsf{E}\times \mathsf{E}$ with

$$ \bigl\vert (\mathsf{u},\mathsf{y}) (\mathsf{t})-(\omega ,\vartheta) ( \mathsf{t}) \bigr\vert \leq C_{\varPhi_{\mathsf {p}},\varPhi_{\mathsf{q}}}\varPhi_{\mathsf{p},\mathsf{q}}(\mathsf {t}) \epsilon. $$

(2.5)

Definition 2.6

([35])

The proposed system (1.1) is generalized Ulam–Hyers–Rassias stable with respect to $\varPhi_{\mathsf{p},\mathsf{q}}=(\varPhi_{\mathsf {p}},\varPhi_{\mathsf{q}})\in\mathsf{C}(\mathsf{J},\mathbb {R})$, if there is constant $C_{\varPhi_{\mathsf{p}},\varPhi_{\mathsf {q}}}=(\mathrm{K}_{\varPhi_{\mathsf{p}}},\mathrm{K}_{\varPhi_{\mathsf {q}}})>0$, such that, for each $\mathsf{t}\in\mathsf{J}$ and solution $(\mathsf{u},\mathsf{y})\in\mathsf{E}\times\mathsf{E}$ of the following:

$$ \textstyle\begin{cases} |\mathrm{D}^{\mathsf{p}} \mathsf{u}(\mathsf{t})-\alpha (\mathsf{t},\mathsf{y}(\mathsf{t}),\mathrm{D}^{\mathsf{p}} \mathsf {u}(\mathsf{t})) |\leq\varPhi_{\mathsf{p}}(\mathsf{t}), \\ |\mathrm{D}^{\mathsf{q}} \mathsf{y}(\mathsf{t})-\chi(\mathsf {t},\mathsf{u}(\mathsf{t}),\mathrm{D}^{\mathsf{q}} \mathsf {y}(\mathsf{t})) |\leq\varPhi_{\mathsf{q}}(\mathsf{t}), \end{cases} $$

(2.6)

there is a unique solution $(\vartheta,\omega)\in\mathsf{E}\times \mathsf{E}$ of (1.1), which satisfies

$$ \bigl\vert (\mathsf{u},\mathsf{y}) (\mathsf{t})-(\omega ,\vartheta) ( \mathsf{t}) \bigr\vert \leq C_{\varPhi_{\mathsf {p}},\varPhi_{\mathsf{q}}}\varPhi_{\mathsf{p},\mathsf{q}}(\mathsf{t}). $$

(2.7)

Remark 2.1

We say that $(\mathsf{u},\mathsf{y})\in\mathsf{E}\times\mathsf {E}$ is a solution of (2.1), if there are $\varphi_{\alpha },\psi_{\chi}\in\mathsf{C}(\mathsf{J},\mathbb {R})$, which depend upon u, y, respectively, such that

(A₁):

$|\varphi_{\alpha}(\mathsf{t}) |\leq \epsilon_{\mathsf{p}}$, $|\psi_{\chi}(\mathsf{t}) |\leq \epsilon_{\mathsf{q}}$, $\mathsf{t}\in\mathsf{J}$;

(A₂):

$$ \textstyle\begin{cases} \mathrm{D}^{\mathsf{p}} \mathsf{u}(\mathsf{t})-\alpha(\mathsf {t},\mathsf{y}(\mathsf{t}),\mathrm{D}^{\mathsf{p}} \mathsf {u}(\mathsf{t}))+\varphi_{\alpha}(\mathsf{t}), \quad \mathsf{t}\in \mathsf{J}, \\ \mathrm{D}^{\mathsf{q}} \mathsf{y}(\mathsf{t})-\chi(\mathsf {t},\mathsf{u}(\mathsf{t}),\mathrm{D}^{\mathsf{q}} \mathsf {y}(\mathsf{t}))+\psi_{\chi}(\mathsf{t}),\quad \mathsf{t}\in\mathsf{J}. \end{cases} $$

3 Existence and uniqueness

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

Lemma 3.1

Let $\varrho\in\mathsf{C}(\mathsf{J}, \mathbb {R})$, then, for $\mathsf{t}\in\mathsf{J}$, the equivalent Fredholm integral equation of the following boundary value problem:

$$ \textstyle\begin{cases} \mathrm{D}^{\mathsf{p}} \mathsf{u}(\mathsf{t})=\varrho(\mathsf {t}); \quad \mathsf{p}\in(1,2], \\ \mathrm{D}^{\mathsf{p}-2}\mathsf{u}(\mathsf{t}) |_{\mathsf {t}=0^{+}}=\gamma_{1} \mathrm{D}^{\mathsf{p}-2}\mathsf{u}(\mathsf {t}) |_{\mathsf{t}=\mathrm{T}^{-}}, \\ \mathrm{D}^{\mathsf{p}-1}\mathsf {u}(\mathsf{t}) |_{\mathsf{t}=0^{+}}=\beta_{1} \mathrm {D}^{\mathsf{p}-1}\mathsf{u}(\mathsf{t}) |_{\mathsf{t}=\mathrm{T}^{-}}, \end{cases} $$

is given as

$$ \mathsf{u}(\mathsf{t})= \int_{0}^{\mathrm{T}}\mathrm {G}_{\mathsf{p}}(\mathsf{t},{ \mathsf{s}})\varrho(\mathsf {s})\,\mathrm{d}\mathsf{s}, $$

where the Green’s function $\mathrm{G}_{\mathsf{p}}(\mathsf {t},{\mathsf{s}})$ is given as

$$ \mathrm{G}_{\mathsf{p}}(\mathsf{t},{\mathsf{s}})= \textstyle\begin{cases} \frac{1}{\varGamma(\mathsf{p})}(\mathsf{t}-{\mathsf {s}})^{\mathsf{p}-1}+\frac{\beta_{1} \mathsf{t}^{\mathsf {p}-1}}{(1-\beta_{1})\varGamma(\mathsf{p})}+\frac{\gamma_{1} \mathsf {t}^{\mathsf{p}-2}[\mathrm{T}-(1-\beta_{1})\mathsf{s}]}{(1-\beta _{1})(1-\gamma_{1} )\varGamma(\mathsf{p}-1)},& 0\leq{\mathsf {s}}\leq\mathsf{t}\leq \mathrm{T}, \\ \frac{\beta_{1} \mathsf{t}^{\mathsf{p}-1}}{(1-\beta_{1})\varGamma (\mathsf{p})}+\frac{\gamma_{1} \mathsf{t}^{\mathsf {p}-2}[\mathrm{T}-(1-\beta_{1}){\mathsf{s}}]}{(1-\beta_{1})(1-\gamma_{1} )\varGamma(\mathsf{p}-1)},& 0\leq\mathsf{t}\leq{\mathsf{s}} \leq \mathrm{T}. \end{cases} $$

Proof

For the proof, see Theorem 3.1 in [8]. □

So in view of Lemma 3.1, for $\mathsf{t}\in\mathsf{J}$, the solution of the proposed system (1.1) is equivalent to the toppled system of integral equations given by

$$ \textstyle\begin{cases} \mathsf{u}(\mathsf{t})=\int_{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{p}}(\mathsf {t},{\mathsf{s}})\alpha(\mathsf{s},\mathsf{y}(\mathsf{s}),\mathrm {D}^{\mathsf{p}} \mathsf{u}(\mathsf{s}))\,\mathrm{d}\mathsf{s}, \\ \mathsf{y}(\mathsf{t})=\int_{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{q}}(\mathsf {t},{\mathsf{s}})\chi(\mathsf{s},\mathsf{u}(\mathsf{s}),\mathrm {D}^{\mathsf{q}} \mathsf{y}(\mathsf{s}))\,\mathrm{d}\mathsf{s}. \end{cases} $$

(3.1)

We use the following notation for convenience:

$$\begin{aligned}& \mathrm{v}(\mathsf{t}) =\alpha\bigl(\mathsf{t},\mathsf{y}(\mathsf {t}), \mathrm{D}^{\mathsf{p}}\mathsf{u}(\mathsf{t})\bigr)=\alpha\bigl(\mathsf {t}, \mathsf{y}(\mathsf{t}),\mathrm{v}(\mathsf{t})\bigr), \\& \mathrm{z}(\mathsf{t}) =\chi\bigl(\mathsf{t},\mathsf{u}(\mathsf{t}),\mathrm {D}^{\mathsf{q}}\mathsf{y}(\mathsf{t})\bigr)=\chi\bigl(\mathsf{t},\mathsf {u}( \mathsf{t}),\mathrm{z}(\mathsf{t})\bigr). \end{aligned}$$

Hence, for $\mathsf{t}\in\mathsf{J}$, (3.1) becomes

$$ \textstyle\begin{cases} \mathsf{u}(\mathsf{t})=\int_{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{p}}(\mathsf {t},{\mathsf{s}})\mathrm{v}(\mathsf{s})\,\mathrm{d}\mathsf{s}, \\ \mathsf{y}(\mathsf{t})=\int_{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{q}}(\mathsf {t},{\mathsf{s}})\mathrm{z}(\mathsf{s})\,\mathrm{d}\mathsf{s}, \end{cases} $$

where $\mathrm{v},\mathrm{z}\in\mathsf{E}$ satisfies the implicit functional equations and the Green’s function $\mathrm{G}_{\mathsf{q}}(\mathsf{t},\mathsf {s})$ is given as

$$ \mathrm{G}_{\mathsf{q}}(\mathsf{t},{\mathsf{s}})= \textstyle\begin{cases} \frac{1}{\varGamma(\mathsf{q})}(\mathsf{t}-{\mathsf {s}})^{\mathsf{q}-1}+\frac{\beta_{2} \mathsf{t}^{\mathsf {q}-1}}{(1-\beta_{2})\varGamma(\mathsf{q})}+\frac{\gamma_{2} \mathsf {t}^{\mathsf{q}-2}[\mathrm{T}-(1-\beta_{2})\mathsf{s}]}{(1-\beta _{2})(1-\gamma_{2} )\varGamma(\mathsf{q}-1)},& 0\leq{\mathsf {s}}\leq\mathsf{t}\leq \mathrm{T}, \\ \frac{\beta_{2} \mathsf{t}^{\mathsf{q}-1}}{(1-\beta_{2})\varGamma (\mathsf{q})}+\frac{\gamma_{2} \mathsf{t}^{\mathsf {q}-2}[\mathrm{T}-(1-\beta_{2}){\mathsf{s}}]}{(1-\beta_{2})(1-\gamma_{2} )\varGamma(\mathsf{q}-1)},& 0\leq\mathsf{t}\leq{\mathsf{s}} \leq \mathrm{T}. \end{cases} $$

Lemma 3.2

The Green’s function $\mathrm {G}_{\mathsf{p},\mathsf{q}}(\mathsf{t},\mathsf{s})= (\mathrm {G}_{\mathsf{p}}(\mathsf{t},\mathsf{s}), \mathrm{G}_{\mathsf {q}}(\mathsf{t},\mathsf{s}) )$ of the proposed system (1.1), has the properties given by:

• (i) $\mathrm{G}_{\mathsf{p},\mathsf{q}}(\mathsf{t},\mathsf {s})$ is continuous over $\mathsf{J}\times\mathsf{J}$;

• (ii) $\max_{\mathsf{t}\in\mathsf{J}} |\mathrm {G}_{\mathsf{p}}(\mathsf{t},\mathsf{s}) |\leq\frac{1}{\varGamma (\mathsf{p})}(\mathrm{T}-{\mathsf{s}})^{\mathsf{p}-1}+\frac{\beta_{1} \mathrm{T}^{\mathsf{p}-1}}{(1-\beta_{1})\varGamma(\mathsf{p})}+\frac{\gamma _{1} \mathrm{T}^{\mathsf{p}-2}[\mathrm{T}-(1-\beta_{1})\mathsf{s}]}{(1-\beta _{1})(1-\gamma_{1} )\varGamma(\mathsf{p}-1)}=\mathrm{G}_{\mathsf {p}}(\mathrm{T},\mathsf{s})$, $\max_{\mathsf{t}\in\mathsf{J}} |\mathrm{G}_{\mathsf {q}}(\mathsf{t},\mathsf{s}) |\leq\frac{1}{\varGamma(\mathsf {q})}(\mathrm{T}-{\mathsf{s}})^{\mathsf{q}-1}+\frac{\beta_{2} \mathrm{T}^{\mathsf {q}-1}}{(1-\beta_{2})\varGamma(\mathsf{q})}+\frac{\gamma_{2} \mathrm{T}^{\mathsf{q}-2}[\mathrm{T}-(1-\beta_{2})\mathsf{s}]}{(1-\beta_{2})(1-\gamma _{2} )\varGamma(\mathsf{q}-1)}=\mathrm{G}_{\mathsf{q}}(\mathrm{T},\mathsf{s})$;

• (iii) $\max_{\mathsf{t}\in{\mathsf{J}}}\int_{0}^{\mathrm{T}} |\mathrm{G}_{\mathsf{p}}(\mathsf{t},\mathsf{s}) |d\mathsf {s}\leq (\frac{\mathrm{T}^{\mathsf{p}}}{\varGamma(\mathsf{p}+1)}+ |\frac{\beta_{1} \mathrm{T}^{\mathsf{p}}}{(1-\beta_{1})\varGamma(\mathsf {p})} |+ |\frac{\gamma_{1} (1+|\beta_{1} |)\mathrm{T}^{\mathsf {p}}}{2(1-\beta_{1})(1-\gamma_{1})\varGamma(\mathsf{p}-1)} | )$, $\mathsf{s}\in\mathsf{J}$, $\max_{\mathsf{t}\in{\mathsf{J}}}\int_{0}^{\mathrm{T}} |\mathrm {G}_{\mathsf{q}}(\mathsf{t},\mathsf{s}) |\,\mathrm{d}\mathsf{s}\leq (\frac{\mathrm{T}^{\mathsf{q}}}{\varGamma(\mathsf{q}+1)}+ |\frac{\beta _{2} \mathrm{T}^{\mathsf{q}}}{(1-\beta_{2})\varGamma(\mathsf{q})} |+ |\frac{\gamma_{2} (1+|\beta_{2} |)\mathrm{T}^{\mathsf{q}}}{2(1-\beta _{2})(1-\gamma_{2})\varGamma(\mathsf{q}-1)} | )$, $\mathsf{s}\in \mathsf{J}$.

Proof

It is very easy to prove (i), (ii) and (iii), the reader may refer to [8]. □

For computational convenience, we introduce the notations:

$$\begin{aligned}& \mathrm{N}_{\mathsf{p}} =\frac{\mathrm{T}^{\mathsf{p}}}{\varGamma(\mathsf {p}+1)}+ \biggl\vert \frac{\beta_{1} \mathrm{T}^{\mathsf{p}}}{(1-\beta_{1})\varGamma (\mathsf{p})} \biggr\vert + \biggl\vert \frac{\gamma_{1} (1+|\beta_{1} |)\mathrm{T}^{\mathsf{p}}}{2(1-\beta_{1})(1-\gamma_{1})\varGamma(\mathsf {p}-1)} \biggr\vert , \\& \mathrm{M}_{\mathsf{q}} =\frac{\mathrm{T}^{\mathsf{q}}}{\varGamma(\mathsf {q}+1)}+ \biggl\vert \frac{\beta_{2} \mathrm{T}^{\mathsf{q}}}{(1-\beta_{2})\varGamma (\mathsf{q})} \biggr\vert + \biggl\vert \frac{\gamma_{2} (1+|\beta _{2}|)\mathrm{T}^{\mathsf{q}}}{2(1-\beta_{2})(1-\gamma_{2})\varGamma(\mathsf {q}-1)} \biggr\vert , \\& \varOmega_{\alpha} =\frac{\mathrm{K}_{\alpha}}{1-\mathrm{L}_{\alpha }},\qquad \varOmega_{\chi}= \frac{\mathrm{K}_{\chi}}{1-\mathrm{L}_{\chi}}. \end{aligned}$$

If u, y are the solutions of the proposed system (1.1) and $\mathsf{t}\in\mathsf{J}$, then

$$\begin{aligned} \mathsf{u}(\mathsf{t})&=\frac{1}{\varGamma(\mathsf {p})} \int_{0}^{\mathsf{t}}(\mathsf{t}-{\mathsf{s}})^{\mathsf {p}-1} \alpha\bigl({\mathsf{s}},\mathsf{y}(\mathsf{s}),\mathrm{v}(\mathsf {s})\bigr)\, \mathrm{d}\mathsf{s}+\frac{\beta_{1} \mathsf{t}^{\mathsf {p}-1}}{(1-\beta_{1})\varGamma(\mathsf{p})} \int_{0}^{\mathrm{T}}\alpha \bigl({\mathsf{s}},\mathsf{y}( \mathsf{s}),\mathrm{v}(\mathsf{s})\bigr)\,\mathrm{d}\mathsf{s} \\ &\quad {}+\frac{\gamma_{1} \mathsf{t}^{\mathsf{p}-2}}{(1-\beta _{1})(1-\gamma_{1})\varGamma(\mathsf{p}-1)} \int_{0}^{\mathrm{T}} \bigl[\mathrm{T}-(1- \beta_{1} ){\mathsf{s}} \bigr]\alpha\bigl({\mathsf{s}},\mathsf {u}( \mathsf{s}),\mathrm{v}(\mathsf{s})\bigr)\,\mathrm{d}\mathsf{s} \end{aligned}$$

and

$$\begin{aligned} \mathsf{y}(\mathsf{t})&=\frac{1}{\varGamma(\mathsf {q})} \int_{0}^{\mathsf{t}}(\mathsf{t}-{\mathsf{s}})^{\mathsf {q}-1} \chi\bigl({\mathsf{s}},\mathsf{u}(\mathsf{s}),\mathrm{z}(\mathsf {s})\bigr)\, \mathrm{d}\mathsf{s}+\frac{\beta_{2} \mathsf{t}^{\mathsf {q}-1}}{(1-\beta_{2})\varGamma(\mathsf{q})} \int_{0}^{\mathrm{T}}\chi\bigl({\mathsf {s}},\mathsf{u}( \mathsf{s}),\mathrm{z}(\mathsf{s})\bigr)\,\mathrm{d}\mathsf{s} \\ &\quad {}+\frac{\gamma_{2} \mathsf{t}^{\mathsf{q}-2}}{(1-\beta _{2})(1-\gamma_{2})\varGamma(\mathsf{q}-1)} \int_{0}^{\mathrm{T}} \bigl[\mathrm{T}-(1- \beta_{2} ){\mathsf{s}} \bigr]\chi\bigl({\mathsf{s}},\mathsf {u}( \mathsf{s}),\mathrm{z}(\mathsf{s})\bigr)\,\mathrm{d}\mathsf{s}. \end{aligned}$$

Now, we transform the proposed system (1.1) into a fixed point problem. Let an operator $\mathsf{T}:\mathsf{E}\times\mathsf {E}\rightarrow\mathsf{E}\times\mathsf{E}$ be defined as

$$ \mathsf{T}(\mathsf{u},\mathsf {y}) (\mathsf{t})= \begin{pmatrix} \int_{0}^{\mathrm{T}}{\mathrm{G}_{\mathsf{p}}}(\mathsf {t},\mathsf{s})\alpha(\mathsf{t},\mathsf{y}(\mathsf{s}),\mathrm{v}(\mathsf {s}))\,\mathrm{d}\mathsf{s} \\ \int_{0}^{\mathrm{T}}{\mathrm{G}_{\mathsf{q}}}(\mathsf {t},\mathsf{s})\chi(\mathsf{t},\mathsf{u}(\mathsf{s}),\mathrm{z}(\mathsf {s}))\,\mathrm{d}\mathsf{s} \end{pmatrix} = \begin{pmatrix}\mathsf{T}_{\mathsf{p}}(\mathsf{y},\mathrm{v})(\mathsf{t})\\ \mathsf{T}_{\mathsf{q}}(\mathsf{u},\mathrm{z})(\mathsf{t}) \end{pmatrix} . $$

(3.2)

Then the solution of (1.1) coincides with the fixed point of T, where

$$\begin{aligned} \mathsf{T}_{\mathsf{p}}(\mathsf{u}) (\mathsf {t})&=\frac{1}{\varGamma(\mathsf{p})} \int_{0}^{\mathsf{t}}(\mathsf {t}-{\mathsf{s}})^{\mathsf{p}-1} \mathrm{v}(\mathsf{s})\,\mathrm{d}\mathsf{s}+\frac {\beta_{1} \mathsf{t}^{\mathsf{p}-1}}{(1-\beta_{1})\varGamma(\mathsf {p})} \int_{0}^{\mathrm{T}}\mathrm{v}(\mathsf{s})\,\mathrm{d} \mathsf{s} \\ &\quad {}+\frac{\gamma_{1} \mathsf{t}^{\mathsf{p}-2}}{(1-\beta _{1})(1-\gamma_{1})\varGamma(\mathsf{p}-1)} \int_{0}^{\mathrm{T}} \bigl[\mathrm{T}-(1- \beta_{1} ){\mathsf{s}} \bigr]\mathrm{v}(\mathsf{s})\,\mathrm{d} \mathsf{s} \end{aligned}$$

and

$$\begin{aligned} \mathsf{T}_{\mathsf{q}}(\mathsf{y}) (\mathsf {t})&=\frac{1}{\varGamma(\mathsf{q})} \int_{0}^{\mathsf{t}}(\mathsf {t}-{\mathsf{s}})^{\mathsf{q}-1} \mathrm{z}(\mathsf{s})\,\mathrm{d}\mathsf{s}+\frac {\beta_{1} \mathsf{t}^{\mathsf{q}-1}}{(1-\beta_{2})\varGamma(\mathsf {q})} \int_{0}^{\mathrm{T}}\mathrm{z}(\mathsf{s})\,\mathrm{d} \mathsf{s} \\ &\quad {}+\frac{\gamma_{2} \mathsf{t}^{\mathsf{q}-2}}{(1-\beta _{2})(1-\gamma_{2})\varGamma(\mathsf{q}-1)} \int_{0}^{\mathrm{T}} \bigl[\mathrm{T}-(1- \beta_{2}){\mathsf{s}} \bigr]\mathrm{z}(\mathsf{s})\,\mathrm{d} \mathsf{s}. \end{aligned}$$

For further analysis, the following hypotheses need to hold:

(H₁):

For $\mathsf{t}\in\mathsf{J}$ and $\mathsf {y},\mathrm{v}\in \mathbb {R}$, there are $\mathsf{a}_{1},\mathsf {b}_{1},\mathsf{c}_{1}\in\mathsf{C}(\mathsf{J},\mathbb {R}^{+})$, such that

$$\bigl\vert \alpha\bigl(\mathsf{t},\mathsf{y}(\mathsf{t}),\mathrm{v}( \mathsf{t})\bigr) \bigr\vert \leq\mathsf{a}_{1}(\mathsf{t})+ \mathsf{b}_{1}(\mathsf{t}) \bigl\vert \mathsf{y}(\mathsf{t}) \bigr\vert +\mathsf{c}_{1}(\mathsf{t}) \bigl\vert \mathrm{v}(\mathsf{t}) \bigr\vert $$

with $\mathsf{a}_{1}^{*}=\sup_{\mathsf{t}\in\mathsf{J}}\mathsf {a}_{1}(\mathsf{t})$, $\mathsf{b}_{1}^{*}=\sup_{\mathsf{t}\in\mathsf {J}}\mathsf{b}_{1}(\mathsf{t})$ and $\mathsf{c}_{1}^{*}=\sup_{\mathsf {t}\in\mathsf{J}}\mathsf{c}_{1}(\mathsf{t})<1$.

Similarly, for $\mathsf{t}\in\mathsf{J}$ and $\mathsf{u},\mathrm{z}\in \mathbb {R}$, there are $\mathsf{a}_{1},\mathsf{b}_{2},\mathsf {c}_{2}\in\mathsf{C}(\mathsf{J},\mathbb {R}^{+})$, such that

$$\bigl\vert \chi\bigl(\mathsf{t},\mathsf{u}(\mathsf{t}),\mathrm{z}(\mathsf{t}) \bigr) \bigr\vert \leq\mathsf{a}_{2}(\mathsf{t})+ \mathsf{b}_{2}(\mathsf{t}) \bigl\vert \mathsf{u}(\mathsf{t}) \bigr\vert +\mathsf{c}_{2}(\mathsf{t}) \bigl\vert \mathrm{z}(\mathsf{t}) \bigr\vert $$

with $\mathsf{a}_{2}^{*}=\sup_{\mathsf{t}\in\mathsf{J}}\mathsf {a}_{2}(\mathsf{t})$, $\mathsf{b}_{2}^{*}=\sup_{\mathsf{t}\in\mathsf {J}}\mathsf{b}_{2}(\mathsf{t})$ and $\mathsf{c}_{2}^{*}=\sup_{\mathsf {t}\in\mathsf{J}}\mathsf{c}_{2}(\mathsf{t})<1$.

(H₂):

For all $\mathsf{y},\mathrm{v},\overline{\mathsf {y}},\overline{\mathrm{v}}\in \mathbb {R}$ and for each $\mathsf{t}\in\mathsf {J}$ there exist constants $\mathrm{K}_{\alpha}>0$, $0<\mathrm {L}_{\alpha}<1$, such that

$$\bigl\vert \alpha(\mathsf{t},\mathsf{y},\mathrm{v})-\alpha(\mathsf{t}, \overline {\mathsf{y}},\overline{\mathrm{v}}) \bigr\vert \leq \mathrm{K}_{\alpha} \vert \mathsf{y}-\overline{\mathsf{y}} \vert + \mathrm{L}_{\alpha} \vert \mathrm{v}-\overline{\mathrm{v}} \vert . $$

Similarly, for all $\mathsf{u},\mathrm{z},\overline{\mathsf{u}},\overline {\mathrm{z}}\in \mathbb {R}$ and for each $\mathsf{t}\in\mathsf{J}$ there exist constants $\mathrm{K}_{\chi}>0$, $0<\mathrm{L}_{\chi}<1$, such that

$$\bigl\vert \chi(\mathsf{t},\mathsf{u},\mathrm{z})-\chi(\mathsf{t},\overline { \mathsf{u}},\overline{\mathrm{z}}) \bigr\vert \leq\mathrm{K}_{\chi} \vert \mathsf {u}-\overline{\mathsf{u}} \vert +\mathrm{L}_{\chi} \vert \mathrm{z}-\overline {\mathrm{z}} \vert . $$

Theorem 3.1

Let $\alpha,\chi:\mathsf{J}\times \mathbb {R}\times \mathbb {R}\rightarrow \mathbb {R}$ and (H₁) hold. Then the operator $\mathsf{T}:\check{\mathbb{C}}\rightarrow \check{\mathbb{C}}$ defined in (3.2) is completely continuous.

Proof

In view of continuity of $\alpha,\chi$ and $\mathrm {G}_{\mathsf{p},\mathsf{q}}(\mathsf{t},\mathsf{s})$, T is also continuous for all $(\mathsf{y},\mathrm{z})\in\check{\mathbb{C}}$. Suppose $\mathscr{B}\subseteq\check{\mathbb{C}}$ is a bounded set. So, for every $\mathsf{y}\in\mathscr{B}$, we have

$$\begin{aligned} \bigl\vert \mathsf{T}_{\mathsf{p}}(\mathsf{u}) (\mathsf{t}) \bigr\vert &= \biggl\vert \frac{1}{\varGamma(\mathsf{p})} \int_{0}^{\mathsf{t}}(\mathsf {t}-{\mathsf{s}})^{\mathsf{p}-1} \mathrm{v}(\mathsf{s})\,\mathrm{d}\mathsf{s}+\frac {\beta_{1} \mathsf{t}^{\mathsf{p}-1}}{(1-\beta_{1})\varGamma(\mathsf {p})} \int_{0}^{\mathrm{T}}\mathrm{v}(\mathsf{s})\,\mathrm{d} \mathsf{s} \\ &\quad {}+\frac{\gamma_{1} \mathsf{t}^{\mathsf{p}-2}}{(1-\beta _{1})(1-\gamma_{1})\varGamma(\mathsf{p}-1)} \int_{0}^{\mathrm{T}} \bigl[\mathrm{T}-(1- \beta_{1} ){\mathsf{s}}\bigr]\mathrm{v}(\mathsf{s})\,\mathrm{d} \mathsf{s} \biggr\vert . \end{aligned}$$

(3.3)

Now by (H₁) with $\|\mathsf{y}\|\leq\xi_{\mathsf{p}}$, then

$$\begin{aligned} \bigl\vert \mathrm{v}(\mathsf{t}) \bigr\vert &= \bigl\vert \alpha\bigl( \mathsf{t},\mathsf {y}(\mathsf{t}),\mathrm{v}(\mathsf{t})\bigr) \bigr\vert \\ &\leq\mathsf{a}_{1}(\mathsf{t})+\mathsf{b}_{1}(\mathsf{t}) \bigl\vert \mathsf{y}(\mathsf{t}) \bigr\vert +\mathsf{c}_{1}( \mathsf{t}) \bigl\vert \mathrm{v}(\mathsf{t}) \bigr\vert \\ &\leq\mathsf{a}_{1}^{*}+\mathsf{b}_{1}^{*} \xi_{\mathsf{p}}+\mathsf {c}_{1}^{*}\|\mathrm{v} \|_{\mathsf{E}}. \end{aligned}$$

So, we obtain

$$ \|\mathrm{v}\|_{\mathsf{E}}\leq\frac{\mathsf {a}_{1}^{*}+\mathsf{b}_{1}^{*}\xi_{\mathsf{p}}}{1-\mathsf {c}_{1}^{*}}= \varUpsilon_{\mathsf{p}}. $$

(3.4)

Now by using (iii) of Lemma 3.2 and (3.4) in (3.3), we get

$$ \bigl\Vert \mathsf{T}_{\mathsf{p}}(\mathsf{u}) \bigr\Vert _{\mathsf{E}}\leq\mathrm{N}_{\mathsf{p}}\cdot\varUpsilon_{\mathsf{p}}. $$

(3.5)

In the same fashion, we obtain

$$ \bigl\Vert \mathsf{T}_{\mathsf{q}}(\mathsf{y}) \bigr\Vert _{\mathsf{E}}\leq\mathrm{M}_{\mathsf{q}}\cdot\varUpsilon_{\mathsf{q}}, $$

(3.6)

where

$$\varUpsilon_{\mathsf{q}}=\frac{\mathsf{a}_{2}^{*}+\mathsf {b}_{2}^{*}\xi_{\mathsf{q}}}{1-\mathsf{c}_{2}^{*}} $$

with $\|\mathsf{u}\|\leq\xi_{\mathsf{q}}$. Thus from (3.5) and (3.6), we get

$$ \bigl\Vert \mathsf{T}_{\mathsf{p}}(\mathsf{u}) \bigr\Vert _{\mathsf {E}}+ \bigl\Vert \mathsf{T}_{\mathsf{q}}(\mathsf{y}) \bigr\Vert _{\mathsf{E}}\leq \mathrm{N}_{\mathsf{p}}\cdot\varUpsilon_{\mathsf{p}}+\mathrm {M}_{\mathsf{q}} \cdot\varUpsilon_{\mathsf{q}}=\mathscr{M}_{0}, $$

which yields

$$ \bigl\Vert \mathsf{T}(\mathsf{u},\mathsf{y}) \bigr\Vert _{\mathsf {E}\times\mathsf{E}}\leq \mathscr{M}_{0}. $$

Thus, T is uniformly bounded. Now we prove the operator T is equi-continuous. For this purpose, suppose $\mathsf {t}_{1}<\mathsf{t}_{2}\in\mathsf{J}$ and $\mathsf{u}\in\mathscr {B}$, then

$$\begin{aligned} & \bigl\vert \mathsf{T}_{\mathsf{p}}(\mathsf{u}) (\mathsf{t}_{1})- \mathsf {T}_{\mathsf{p}}(\mathsf{u}) (\mathsf{t}_{2}) \bigr\vert \\ &\quad = \biggl\vert \frac {1}{\varGamma(\mathsf{p})} \int_{0}^{\mathsf{t}_{1}}\bigl[(\mathsf {t}_{1}-{ \mathsf{s}})^{\mathsf{p}-1}-(\mathsf{t}_{2}-{\mathsf {s}})^{\mathsf{p}-1} \bigr]\mathrm{v}(\mathsf{s})\,\mathrm{d}\mathsf{s} -\frac{1}{\varGamma(\mathsf{p})} \int_{\mathsf{t}_{1}}^{\mathsf {t}_{2}}(\mathsf{t}_{2}- \mathsf{s})^{\mathsf{p}-1}\mathrm{v}(\mathsf {s})\,\mathrm{d}\mathsf{s} \\ &\qquad {}+\frac{\beta_{1}(\mathsf{t}_{1}^{\mathsf{p}-1}-\mathsf {t}_{2}^{\mathsf{p}-1})}{(1-\beta_{1})\varGamma(\mathsf{p}-1)} \int _{0}^{\mathrm{T}}\mathrm{v}(\mathsf{s})\,\mathrm{d} \mathsf{s} \biggr\vert \\ &\quad \leq\varUpsilon_{\mathsf{p}}\biggl( \biggl\vert \frac{1}{\varGamma(\mathsf {p}+1)} \bigl[2(\mathsf{t}_{2}-\mathsf{t}_{1})^{\mathsf{p}}-\bigl( \mathsf {t}_{2}^{\mathsf{p}}-\mathsf{t}_{1}^{\mathsf{p}} \bigr)\bigr] \biggr\vert + \biggl\vert \frac{\beta_{1} (\mathsf{t}_{2}^{\mathsf{p}-1}-\mathsf {t}_{1}^{\mathsf{p}-1})\mathrm{T}}{(1-\beta_{1})\varGamma(\mathsf{p}-1)} \biggr\vert \biggr). \end{aligned}$$

(3.7)

In the same fashion, we can show that

$$\begin{aligned} & \bigl\vert \mathsf{T}_{\mathsf{q}}(\mathsf{y}) (\mathsf{t}_{1})- \mathsf {T}_{\mathsf{q}}(\mathsf{y}) (\mathsf{t}_{2}) \bigr\vert \\ &\quad \leq\varUpsilon _{\mathsf{q}} \biggl( \biggl|\frac{1}{\varGamma(\mathsf{q}+1)} \bigl[2( \mathsf{t}_{2}-\mathsf{t}_{1})^{\mathsf{q}}-\bigl(\mathsf {t}_{2}^{\mathsf{q}}-\mathsf{t}_{1}^{\mathsf{q}}\bigr) \bigr] \biggr\vert + \biggl|\frac{\beta_{2}(\mathsf{t}_{2}^{\mathsf{q}-1}-\mathsf {t}_{1}^{\mathsf{q}-1})\mathrm{T}}{(1-\beta_{2})\varGamma(\mathsf{q}-1)} \biggr\vert \biggr). \end{aligned}$$

(3.8)

The right hand sides of (3.7) and (3.8) approach zero, when $\mathsf{t}_{1}\rightarrow\mathsf{t}_{2}$. So by the Arzela–Ascoli theorem, we infer that T is equi-continuous and uniformly equi-continuous. Also, it is very easy to prove $\mathsf{T}(\mathscr{B})\subset\mathscr{B}$. Therefore, T is completely continuous. □

Theorem 3.2

Under the hypothesis (H₂) and

$$ \mathrm{N}_{\mathsf{p}}\cdot\varOmega_{\alpha}+ \mathrm{M}_{\mathsf {q}}\cdot\varOmega_{\chi}< 1. $$

(3.9)

The proposed system (1.1) has a unique solution.

Proof

Let $\mathsf{u},\overline{\mathsf{u}}\in\check{\mathbb{C}}$ and consider

$$\begin{aligned} & \bigl\vert \mathsf{T}_{\mathsf{p}}(\mathsf{u}) (\mathsf{t})-\mathsf {T}_{\mathsf{p}}(\overline{\mathsf{u}}) (\mathsf{t}) \bigr\vert \\ &\quad = \biggl\vert \frac{1}{\varGamma(\mathsf{p})} \int_{0}^{\mathsf{t}}(\mathsf {t}-{\mathsf{s}})^{\mathsf{p}-1} \,\mathrm{d}\mathsf{s}+\frac{\beta_{1} \mathsf{t}^{\mathsf{p}-1}}{(1-\beta_{1})\varGamma(\mathsf{p})} \int _{0}^{\mathrm{T}}\,\mathrm{d}\mathsf{s} \\ &\qquad {}+\frac{\gamma_{1} \mathsf{t}^{\mathsf{p}-2}}{(1-\beta _{1})(1-\gamma_{1})\varGamma(\mathsf{p}-1)} \int_{0}^{\mathrm{T}} \bigl[\mathrm{T}-(1- \beta_{1} ){\mathsf{s}}\bigr]\,\mathrm{d}\mathsf{s} \biggr\vert \bigl\vert \mathrm{v}(\mathsf {s})-\overline{\mathrm{v}}(\mathsf{s}) \bigr\vert , \end{aligned}$$

(3.10)

where

$$\begin{aligned}& \mathrm{v}(\mathsf{t}) =\alpha\bigl(\mathsf{t},\mathsf{y}(\mathsf {t}), \mathrm{v}(\mathsf{t})\bigr), \\& \overline{\mathrm{v}}(\mathsf{t}) =\alpha\bigl(\mathsf{t},\overline{\mathsf {y}}(\mathsf{t}),\overline{\mathrm{v}}(\mathsf{t})\bigr). \end{aligned}$$

By using (H₂)

$$\begin{aligned} \bigl\vert \mathrm{v}(\mathsf{t})-\overline{\mathrm{v}}(\mathsf{t}) \bigr\vert &= \bigl\vert \alpha \bigl(\mathsf{t},\mathsf{y}(\mathsf{t}),\mathrm{v}( \mathsf{t})\bigr)-\alpha\bigl(\mathsf {t},\overline{\mathsf{y}}(\mathsf{t}), \overline{\mathrm{v}}(\mathsf {t})\bigr) \bigr\vert \\ &\leq\mathrm{K}_{\alpha} \bigl\vert \mathsf{y}(\mathsf{t})-\overline { \mathsf{y}}(\mathsf{t}) \bigr\vert +\mathrm{L}_{\alpha} \bigl\vert \mathrm{v}(\mathsf {t})-\overline{\mathrm{v}}(\mathsf{t}) \bigr\vert , \end{aligned}$$

we obtain

$$ \bigl\vert \mathrm{v}(\mathsf{t})-\overline {\mathrm{v}}( \mathsf{t}) \bigr\vert \leq\varOmega_{\alpha} \bigl\vert \mathsf{y}(\mathsf {t})-\overline{\mathsf{y}}(\mathsf{t}) \bigr\vert . $$

(3.11)

Put (3.11) in (3.10) and taking a maximum over J, we get

$$ \bigl\Vert \mathsf{T}_{\mathsf{p}}(\mathsf{u})- \mathsf{T}_{\mathsf {p}}(\overline{\mathsf{u}}) \bigr\Vert _{\mathsf{E}} \leq (\mathrm {N}_{\mathsf{p}}\cdot\varOmega_{\alpha} ) \Vert \mathsf{y}- \overline {\mathsf{y}} \Vert _{\mathsf{E}}. $$

(3.12)

In the same fashion, we can obtain

$$ \bigl\Vert \mathsf{T}_{\mathsf{q}}(\mathsf{y})- \mathsf{T}_{\mathsf {q}}(\overline{\mathsf{y}}) \bigr\Vert _{\mathsf{E}} \leq (\mathrm {M}_{\mathsf{q}}\cdot\varOmega_{\chi} ) \Vert \mathsf{u}- \overline {\mathsf{u}} \Vert _{\mathsf{E}}. $$

(3.13)

So from (3.12) and (3.13), we get

$$ \bigl\Vert \mathsf{T}(\mathsf{u},\mathsf{y})-\mathsf{T}(\overline{\mathsf {u}},\overline{\mathsf{y}}) \bigr\Vert _{\mathsf{E}\times\mathsf{E}}\leq ( \mathrm{N}_{\mathsf{p}}\cdot\varOmega_{\alpha}+\mathrm {M}_{\mathsf{q}}\cdot \varOmega_{\chi} ) \bigl\Vert (\mathsf{u},\mathsf {y})-(\overline{ \mathsf{u}},\overline{\mathsf{y}}) \bigr\Vert _{\mathsf {E}\times\mathsf{E}}. $$

Thus, T is contraction. Therefore, by Banach’s contraction principle, T has a fixed point. So, we infer that the proposed toppled system (1.1) has a unique solution. □

Theorem 3.3

In view of continuity of the functions α, χ and supposing (H₁):

(H₃):

$\mathbb {A}_{1}=\int_{0}^{\mathrm{T}}\mathrm{G}_{\mathsf {p}}(\mathrm{T},\mathsf{s})\mathsf{a}_{1}(\mathsf{s})\,\mathrm{d}\mathsf{s}, \mathbb {B}_{1}=\int_{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{p}}(\mathrm{T},\mathsf{s}) [\mathsf{b}_{1}(\mathsf{s})+\mathsf{c}_{1}(\mathsf{s}) ]\,\mathrm{d}\mathsf{s}<1$, $\mathbb {A}_{2}=\int_{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{q}}(\mathrm{T},\mathsf {s})\mathsf{a}_{2}(\mathsf{s})\,\mathrm{d}\mathsf{s}, \mathbb {B}_{2}=\int _{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{q}}(\mathrm{T},\mathsf{s}) [\mathsf {b}_{2}(\mathsf{s})+\mathsf{c}_{2}(\mathsf{s}) ]\,\mathrm{d}\mathsf{s}<1$

hold. Then the proposed system (1.1) has at least one solution.

Proof

Let a set $\mathfrak{D}$, define as

$$\mathfrak{D}= \bigl\{ (\mathsf{u},\mathsf{y})\in\mathsf{E}\times \mathsf{E}: \bigl\Vert (\mathsf{u},\mathsf{y}) \bigr\Vert _{\mathsf{E}\times\mathsf {E}}< {R}_{\mathfrak{D}} \bigr\} , $$

where $\max \{\frac{2\mathbb {A}_{1}}{1-2\mathbb {B}_{1}},\frac {2\mathbb {A}_{2}}{1-2\mathbb {B}_{2}} \}<{R}_{\mathfrak {D}}$. Furthermore, the operator defined by $\mathsf{T}:\overline {\mathfrak{D}}\rightarrow\check{\mathbb{C}}$ in (3.2) is completely continuous. Suppose $(\mathsf{u},\mathsf{y})\in\mathfrak {D}$ then, by definition of $\mathfrak{D}$, we have $\|(\mathsf {u},\mathsf{y})\|_{\mathsf{E}\times\mathsf{E}}< {R}_{\mathfrak{D}}$;

$$\begin{aligned} \bigl\Vert \mathsf{T}_{\mathsf{p}}(\mathsf{y},\mathrm{v}) \bigr\Vert _{\mathsf{E}}&\leq\max_{\mathsf{t}\in\mathsf{J}} \int_{0}^{\mathrm{T}} \bigl\vert \mathrm{G}_{\mathsf {p}}( \mathsf{t},\mathsf{s}) \bigr\vert \bigl\vert \alpha\bigl(\mathsf{s},\mathsf {y}(\mathsf{s}),\mathrm{v}(\mathsf{s})\bigr) \bigr\vert \,\mathrm{d}\mathsf{s} \\ &\leq\max_{\mathsf{t}\in\mathsf{J}} \int_{0}^{\mathrm{T}} \bigl\vert \mathrm {G}_{\mathsf{p}}(\mathsf{t},\mathsf{s}) \bigr\vert \mathsf{a}_{1}( \mathsf {s})\,\mathrm{d}\mathsf{s} \\ &\quad {}+\max_{\mathsf{t}\in\mathsf{J}} \int_{0}^{\mathrm{T}} \bigl\vert \mathrm{G}_{\mathsf{p}}( \mathsf{t},\mathsf{s}) \bigr\vert \bigl[\mathsf {b}_{1}(\mathsf{s}) \bigl\vert \mathsf{y}(\mathsf{s}) \bigr\vert +\mathsf {c}_{1}( \mathsf{s}) \bigl\vert \mathrm{v}(\mathsf{s}) \bigr\vert \bigr]\, \mathrm{d} \mathsf {s} \\ &\leq \int_{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{p}}(\mathrm{T}, \mathsf{s}) \mathsf {a}_{1}(\mathsf{s})\,\mathrm{d} \mathsf{s}+{R}_{\mathfrak{D}} \int _{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{p}}(\mathrm{T}, \mathsf{s})\bigl[\mathsf{b}_{1}(\mathsf {s})+\mathsf{c}_{1}( \mathsf{s})\bigr]\,\mathrm{d}\mathsf{s} \\ &=\mathbb {A}_{1}+{R}_{\mathfrak{D}}\mathbb {B}_{1}\leq \frac {{R}_{\mathfrak{D}}}{2}. \end{aligned}$$

Also

$$ \bigl\Vert \mathsf{T}_{\mathsf{q}}(\mathsf{y},\mathrm{v}) \bigr\Vert _{\mathsf {E}}\leq\frac{{R}_{\mathfrak{D}}}{2}. $$

Therefore,

$$ \bigl\Vert \mathsf{T}(\mathsf{u},\mathsf{y}) \bigr\Vert _{\mathsf{E}\times\mathsf {E}} \leq{R}_{\mathfrak{D}}. $$

So $\mathsf{T}(\mathsf{y},\mathrm{z})\in\overline{\mathfrak{D}}$. Thus, in the light of Theorem 3.1, $\mathsf{T}:\overline{\mathfrak {D}}\rightarrow\overline{\mathfrak{D}}$ is completely continuous. Now, we consider an eigenvalue problem defined as

$$ (\mathsf{u},\mathsf{y})=\delta\mathsf {T}(\mathsf{u},\mathsf{y}), \quad 0< \delta< 1. $$

(3.14)

So in view of the solution $(\mathsf{u},\mathsf{y})$ of (3.14), we obtain

$$\begin{aligned} \Vert \mathsf{u} \Vert _{\mathsf{E}}&= \bigl\Vert \delta \mathsf{T}_{\mathsf {p}}(\mathsf{y},\mathrm{v}) \bigr\Vert _{\mathsf{E}} \\ &\leq\max_{\mathsf{t}\in\mathsf{J}} \int_{0}^{\mathrm{T}} \bigl\vert \mathrm {G}_{\mathsf{p}}(\mathsf{t},\mathsf{s}) \bigr\vert \bigl\vert \alpha\bigl( \mathsf {s},\mathsf{y}(\mathsf{s}),\mathrm{v}(\mathsf{s})\bigr) \bigr\vert \, \mathrm{d}\mathsf{s} \\ &\leq\max_{\mathsf{t}\in\mathsf{J}} \int_{0}^{\mathrm{T}} \bigl\vert \mathrm {G}_{\mathsf{p}}(\mathsf{t},\mathsf{s}) \bigr\vert \mathsf{a}_{1}( \mathsf {s})\,\mathrm{d}\mathsf{s}+\max_{\mathsf{t}\in\mathsf{J}} \int_{0}^{\mathrm{T}} \bigl\vert \mathrm{G}_{\mathsf{p}}( \mathsf{t},\mathsf{s}) \bigr\vert \bigl[\mathsf {b}_{1}(\mathsf{s}) \bigl\vert \mathsf{y}(\mathsf{s}) \bigr\vert +\mathsf {c}_{1}( \mathsf{s}) \bigl\vert \mathrm{v}(\mathsf{s}) \bigr\vert \bigr]\, \mathrm{d} \mathsf {s} \\ &\leq \int_{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{p}}(\mathrm{T}, \mathsf{s}) \mathsf {a}_{1}(\mathsf{s})\,\mathrm{d} \mathsf{s}+{R}_{\mathfrak{D}} \int _{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{p}}(\mathrm{T}, \mathsf{s})\bigl[\mathsf{b}_{1}(\mathsf {s})+\mathsf{c}_{1}( \mathsf{s})\bigr]\,\mathrm{d}\mathsf{s} \\ &=\mathbb {A}_{1}+{R}_{\mathfrak{D}}\mathbb {B}_{1}\leq \frac {{R}_{\mathfrak{D}}}{2}. \end{aligned}$$

Similarly

$$ \|\mathsf{y}\|_{\mathsf{E}}\leq\frac{{R}_{\mathfrak{D}}}{2}. $$

Thus

$$ \bigl\Vert (\mathsf{u},\mathsf{y}) \bigr\Vert _{\mathsf{E}\times\mathsf{E}} \leq {R}_{\mathfrak{D}}. $$

(3.15)

From equation (3.15), we get $(\mathsf{u},\mathsf{y})\notin \partial\mathfrak{D}$. So, in view of Theorem 2.1, T has at least one fixed point lies in $\overline{\mathfrak{D}}$. This shows there is at least one solution of the proposed system (1.1). □

4 Stability results

In this section, we will investigate the stability results in the sense of Ulam for the proposed system (1.1).

Lemma 4.1

Consider $(\mathsf{u},\mathsf{y})\in\mathsf{E}\times\mathsf{E}$ be the solution of (2.1), then for $\mathsf{t}\in\mathsf {J}$ we have

$$ \textstyle\begin{cases} |\mathsf{u}(\mathsf{t})-\mathrm{m}(\mathsf{t}) |\leq\mathrm {N}_{\mathsf{p}}\epsilon_{\mathsf{p}}, \\ |\mathsf{y}(\mathsf{t})-\mathrm{n}(\mathsf{t}) |\leq\mathrm {M}_{\mathsf{q}}\epsilon_{\mathsf{q}}. \end{cases} $$

Proof

By (A₂) of Remark 2.1 and for $\mathsf{t}\in \mathsf{J}$, we have

$$ \textstyle\begin{cases} {\mathrm{D}}^{p} \mathsf{u}(\mathsf{t})=\alpha(\mathsf{t},\mathsf {y}(\mathsf{t}),{\mathrm{D}}^{\mathsf{p}} \mathsf{u}(\mathsf {t}))+\varphi_{\alpha}(\mathsf{t}), \\ {\mathrm{D}}^{q} \mathsf{y}(\mathsf{t})=\chi(\mathsf{t},\mathsf {u}(\mathsf{t}),{\mathrm{D}}^{\mathsf{q}} \mathsf{y}(\mathsf {t}))+\psi_{\chi}(\mathsf{t}), \\ \mathrm{D}^{\mathsf{p}-2}\mathsf{u}(\mathsf{t}) |_{\mathsf {t}=0^{+}}=\gamma_{1} \mathrm{D}^{\mathsf{p}-2}\mathsf{u}(\mathsf {t}) |_{\mathsf{t}=\mathrm{T}^{-}},\qquad \mathrm{D}^{\mathsf{p}-1}\mathsf {u}(\mathsf{t}) |_{\mathsf{t}=0^{+}}=\beta_{1} \mathrm {D}^{\mathsf{p}-1}\mathsf{u}(\mathsf{t}) |_{\mathsf{t}=\mathrm{T}^{-}}, \\ \mathrm{D}^{\mathsf{q}-2}\mathsf{y}(\mathsf{t}) |_{\mathsf {t}=0^{+}}=\gamma_{2} \mathrm{D}^{\mathsf{q}-2}\mathsf{y}(\mathsf {t}) |_{\mathsf{t}=\mathrm{T}^{-}},\qquad \mathrm{D}^{\mathsf{q}-1}\mathsf {y}(\mathsf{t}) |_{\mathsf{t}=0^{+}}=\beta_{2} \mathrm {D}^{\mathsf{q}-1}\mathsf{y}(\mathsf{t}) |_{\mathsf{t}=\mathrm{T}^{-}}. \end{cases} $$

(4.1)

So in view of Lemma 2.1, for $\mathsf{t}\in\mathsf{J}$ the solution of (4.1) will be of the given form,

$$ \textstyle\begin{cases} \mathsf{u}(\mathsf{t})=\int_{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{p}}(\mathsf {t},\mathsf{s})\alpha(\mathsf{s},\mathsf{y}(\mathsf{s}),{\mathrm {D}}^{\mathsf{p}}\mathsf{u}(\mathsf{s}))\,\mathrm{d}\mathsf{s}+\int _{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{p}}(\mathsf{t},\mathsf{s})\varphi _{\alpha}(\mathsf{s})\,\mathrm{d}\mathsf{s}, \\ \mathsf{y}(\mathsf{t})=\int_{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{q}}(\mathsf {t},\mathsf{s})\chi(\mathsf{s},\mathsf{u}(\mathsf{s}),{\mathrm {D}}^{\mathsf{q}}\mathsf{y}(\mathsf{s}))\,\mathrm{d}\mathsf{s}+\int _{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{q}}(\mathsf{t},\mathsf{s})\psi_{\chi }(\mathsf{s})\,\mathrm{d}\mathsf{s}. \end{cases} $$

(4.2)

From the first equation of system (4.2), we have

$$\begin{aligned} \mathsf{u}(\mathsf{t})&=\frac{1}{\varGamma (\mathsf{p})} \int_{0}^{\mathsf{t}}(\mathsf{t}-{\mathsf {s}})^{\mathsf{p}-1}\mathrm{v}(\mathsf{s})\,\mathrm{d}\mathsf{s}+ \frac{\beta_{1} \mathsf{t}^{\mathsf{p}-1}}{(1-\beta_{1} )\varGamma(\mathsf{p})} \int _{0}^{\mathrm{T}}\mathrm{v}(\mathsf{s})\,\mathrm{d} \mathsf{s} \\ &\quad {}+\frac{\gamma_{1} \mathsf{t}^{\mathsf{p}-2}}{(1-\beta_{1} )(1-\gamma_{1} )\varGamma(\mathsf{p}-1)} \int_{0}^{\mathrm{T}} \bigl[\mathrm{T}-(1-\beta _{1} ){\mathsf{s}} \bigr]\mathrm{v}(\mathsf{s})\,\mathrm{d}\mathsf{s} \\ &\quad {}+\frac{1}{\varGamma(\mathsf{p})} \int_{0}^{\mathsf{t}}(\mathsf {t}-{\mathsf{s}})^{\mathsf{p}-1} \varphi_{\alpha}(\mathsf {s})\,\mathrm{d}\mathsf{s}+\frac{\beta_{1} \mathsf{t}^{\mathsf {p}-1}}{(1-\beta_{1} )\varGamma(\mathsf{p})} \int_{0}^{\mathrm{T}}\varphi _{\alpha}(\mathsf{s})\, \mathrm{d}\mathsf{s} \\ &\quad {}+\frac{\gamma_{1} \mathsf{t}^{\mathsf{p}-2}}{(1-\beta_{1} )(1-\gamma_{1} )\varGamma(\mathsf{p}-1)} \int_{0}^{\mathrm{T}} \bigl[\mathrm{T}-(1-\beta _{1} ){\mathsf{s}} \bigr]\varphi_{\alpha}(\mathsf{s})\, \mathrm{d}\mathsf{s}. \end{aligned}$$

(4.3)

For computational convenience, we use $\mathrm{m}(\mathsf{t})$ for the sum of terms which are free of $\varphi_{\alpha}$, so we have

$$\begin{aligned} \mathrm{m}(\mathsf{t})&=\frac{1}{\varGamma(\mathsf{p})} \int _{0}^{\mathsf{t}}(\mathsf{t}-{\mathsf{s}})^{\mathsf{p}-1} \mathrm{v}(\mathsf {s})\,\mathrm{d}\mathsf{s}+\frac{\beta_{1} \mathsf{t}^{\mathsf {p}-1}}{(1-\beta_{1} )\varGamma(\mathsf{p})} \int_{0}^{\mathrm{T}}\mathrm{v}(\mathsf {s})\,\mathrm{d} \mathsf{s} \\ &\quad {}+\frac{\gamma_{1} \mathsf{t}^{\mathsf{p}-2}}{(1-\beta_{1} )(1-\gamma_{1} )\varGamma(\mathsf{p}-1)} \int_{0}^{\mathrm{T}} \bigl[\mathrm{T}-(1-\beta _{1} ){\mathsf{s}} \bigr]\mathrm{v}(\mathsf{s})\,\mathrm{d}\mathsf{s}. \end{aligned}$$

So from the above and taking the absolute value, (4.3) becomes

$$\begin{aligned} \bigl\vert \mathrm{z}(\mathsf{t})-\mathrm{m}(\mathsf{t}) \bigr\vert &\leq \biggl\vert \frac{1}{\varGamma(\mathsf{p})} \int_{0}^{\mathsf{t}}(\mathsf {t}-{\mathsf{s}})^{\mathsf{p}-1} \varphi_{\alpha}(\mathsf {s})\,\mathrm{d}\mathsf{s}+\frac{\beta_{1} \mathsf{t}^{\mathsf {p}-1}}{(1-\beta_{1})\varGamma(\mathsf{p})} \int_{0}^{\mathrm{T}}\varphi _{\alpha}(\mathsf{s})\, \mathrm{d}\mathsf{s} \\ &\quad {}+\frac{\gamma_{1} \mathsf{t}^{\mathsf{p}-2}}{(1-\beta_{1} )(1-\gamma_{1})\varGamma(\mathsf{p}-1)} \int_{0}^{\mathrm{T}}\bigl[\mathrm{T}-(1-\beta _{1} ){\mathsf{s}}\bigr]\varphi_{\alpha}(\mathsf{s})\, \mathrm{d}\mathsf {s} \biggr\vert . \end{aligned}$$

Using (iii) of Lemma 3.2 and (A₁) of Lemma 2.1, we get

$$ \bigl\vert \mathsf{u}(\mathsf{t})-\mathrm{m}(\mathsf{t}) \bigr\vert \leq \mathrm {N}_{\mathsf{p}}\epsilon_{\mathsf{p}}. $$

Performing a similar procedure for the second equation of system (4.2), we have

$$ \bigl\vert \mathsf{y}(\mathsf{t})-\mathrm{n}(\mathsf{t}) \bigr\vert \leq \mathrm {M}_{\mathsf{q}}\epsilon_{\mathsf{q}}. $$

 □

Theorem 4.1

Under the hypothesis (H₂) and if

$$ \Delta=1-\mathrm{N}_{\mathsf{p}}\varOmega _{\alpha}\cdot \mathrm{M}_{\mathsf{q}}\varOmega_{\chi} > 0 $$

(4.4)

holds, then the proposed system (1.1) is stable in the sense of Ulam–Hyers.

Proof

Let $(\mathsf{u},\mathsf{y})\in\mathsf{E}\times\mathsf{E}$ be the solution of (2.1) and $(\omega,\vartheta)\in\mathsf {E}\times\mathsf{E}$ be the unique solution to the system given by

$$ \textstyle\begin{cases} {\mathrm{D}}^{\mathsf{p}} \omega(\mathsf{t})-\alpha(\mathsf {t},\vartheta(\mathsf{t}),{\mathrm{D}}^{\mathsf{p}} \omega(\mathsf {t}))=0; \\ {\mathrm{D}}^{\mathsf{q}} \vartheta(\mathsf{t})-\chi(\mathsf {t},\omega(\mathsf{t}),{\mathrm{D}}^{\mathsf{q}} \vartheta(\mathsf {t}))=0; \\ \mathrm{D}^{\mathsf{p}-2}\omega(\mathsf{t}) |_{\mathsf {t}=0^{+}}=\gamma_{1} \mathrm{D}^{\mathsf{p}-2}\omega(\mathsf {t}) |_{\mathsf{t}=\mathrm{T}^{-}},\qquad \mathrm{D}^{\mathsf{p}-1}\omega (\mathsf{t}) |_{\mathsf{t}=0^{+}}=\beta_{1} \mathrm{D}^{\mathsf {p}-1}\omega(\mathsf{t}) |_{\mathsf{t}=\mathrm{T}^{-}}, \\ \mathrm{D}^{\mathsf{q}-2}\vartheta(\mathsf{t}) |_{\mathsf {t}=0^{+}}=\gamma_{2} \mathrm{D}^{\mathsf{q}-2}\vartheta(\mathsf {t}) |_{\mathsf{t}=\mathrm{T}^{-}},\qquad \mathrm{D}^{\mathsf{q}-1}\vartheta (\mathsf{t}) |_{\mathsf{t}=0^{+}}=\beta_{2} \mathrm{D}^{\mathsf {q}-1}\vartheta(\mathsf{t}) |_{\mathsf{t}=\mathrm{T}^{-}}, \end{cases} $$

(4.5)

where $\mathsf{t}\in\mathsf{J}$. Then in view of Lemma 2.1, for $\mathsf{t}\in\mathsf{J}$, we have the solution of (4.5)

$$ \textstyle\begin{cases} \omega(\mathsf{t})=\int_{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{p}}(\mathsf {t},\mathsf{s})\alpha(\mathsf{s},\vartheta(\mathsf{s}),{\mathrm {D}}^{\mathsf{p}} \omega(\mathsf{s}))\,\mathrm{d}\mathsf{s}, \\ \vartheta(\mathsf{t})=\int_{0}^{\mathrm{T}}\mathrm{G}_{\mathsf{q}}(\mathsf {t},\mathsf{s})\chi(\mathsf{s},\omega(\mathsf{s}),{\mathrm {D}}^{\mathsf{q}}\vartheta(\mathsf{s}))\,\mathrm{d}\mathsf{s}. \end{cases} $$

Consider

$$\begin{aligned} \bigl\vert \mathsf{u}(\mathsf{t})-\omega(\mathsf{t}) \bigr\vert &\leq \bigl\vert \mathsf{u}(\mathsf{t})-\mathrm{m}(\mathsf{t}) \bigr\vert + \bigl\vert \mathrm{m}(\mathsf {t})-\omega(\mathsf{t}) \bigr\vert \\ &\leq \mathrm{N}_{\mathsf{p}}\epsilon_{\mathsf{p}}+ \biggl\vert \frac {1}{\varGamma(\mathsf{p})} \int_{0}^{\mathsf{t}}(\mathsf{t}-{\mathsf {s}})^{\mathsf{p}-1}\,\mathrm{d}\mathsf{s}+\frac{\beta_{1} \mathsf {t}^{\mathsf{p}-1}}{(1-\beta_{1} )\varGamma(\mathsf{p})} \int _{0}^{\mathrm{T}}\,\mathrm{d}\mathsf{s} \\ &\quad {}+\frac{\gamma_{1} \mathsf{t}^{\mathsf{p}-2}}{(1-\beta _{1})(1-\gamma_{1} )\varGamma(\mathsf{p}-1)} \int_{0}^{\mathrm{T}} \bigl[\mathrm{T}-(1- \beta_{1} ){\mathsf{s}}\bigr]\,\mathrm{d}\mathsf{s} \biggr\vert \bigl\vert \mathrm{v}(\mathsf {s})-\mathrm{v}_{\omega}(\mathsf{s}) \bigr\vert , \end{aligned}$$

(4.6)

where $\mathrm{v},\mathrm{v}_{\omega}\in\mathsf{E}$ are of the form

$$\begin{aligned}& \mathrm{v}(\mathsf{t}) =\alpha\bigl(\mathsf{t},\mathsf{y}(\mathsf {t}), \mathrm{v}(\mathsf{t})\bigr), \\& \mathrm{v}_{\omega}(\mathsf{t}) =\alpha\bigl(\mathsf{t},\vartheta(\mathsf {t}),\mathrm{v}_{\omega}(\mathsf{t})\bigr). \end{aligned}$$

By (H₂), we get

$$\begin{aligned} \bigl\vert \mathrm{v}(\mathsf{t})-\mathrm{v}_{\omega}(\mathsf{t}) \bigr\vert &= \bigl\vert \alpha \bigl(\mathsf{t},\mathsf{y}(\mathsf{t}),\mathrm{v}( \mathsf{t})\bigr)-\alpha\bigl(\mathsf {t},\vartheta(\mathsf{t}), \mathrm{v}_{\omega}(\mathsf{t})\bigr) \bigr\vert \\ &\leq\mathrm{K}_{\alpha} \bigl\vert \mathsf{y}(\mathsf{t})-\vartheta ( \mathsf{t}) \bigr\vert +\mathrm{L}_{\alpha} \bigl\vert \mathrm{v}( \mathsf{t})-\mathrm{v}_{\omega }(\mathsf{t}) \bigr\vert . \end{aligned}$$

We obtain

$$ \bigl\vert \mathrm{v}(\mathsf{t})-\mathrm{v}_{\omega }( \mathsf{t}) \bigr\vert \leq\varOmega_{\alpha} \bigl\vert \mathsf{y}(\mathsf {t})-\vartheta(\mathsf{t}) \bigr\vert . $$

(4.7)

Using (iii) of (3.2) and (4.7) in (4.6), we get

$$ \|\mathsf{u}-\omega\|_{\mathsf{E}}\leq \mathrm{N}_{\mathsf{p}} \epsilon_{\mathsf{p}}+\mathrm{N}_{\mathsf{p}} \varOmega_{\alpha}\| \mathsf{y}-\vartheta\|_{\mathsf{E}} $$

(4.8)

and similarly we have

$$ \|\mathsf{y}-\vartheta\|_{\mathsf{E}}\leq \mathrm{M}_{\mathsf{q}} \epsilon_{\mathsf{q}}+\mathrm{M}_{\mathsf{q}} \varOmega_{\chi}\| \mathsf{u}-\omega\|_{\mathsf{E}}, $$

(4.9)

where $\mathrm{z},\mathrm{z}_{\vartheta}\in\mathsf{E}$, in the form

$$\begin{aligned}& \mathrm{z}(\mathsf{t})= \chi\bigl(\mathsf{t},\mathsf{y}(\mathsf {t}),\mathrm{z}( \mathsf{t})\bigr), \\& \mathrm{z}_{\vartheta}(\mathsf{t})= \chi\bigl(\mathsf{t},\omega(\mathsf {t}), \mathrm{z}_{\vartheta}(\mathsf{t})\bigr). \end{aligned}$$

We write (4.8) and (4.9) as

$$\begin{array}{c}{\parallel \mathsf{u}-\omega \parallel }_{\mathsf{E}}-{\mathrm{N}}_{\mathsf{p}}{\Omega }_{\alpha }{\parallel \mathsf{y}-\vartheta \parallel }_{\mathsf{E}}\le {\mathrm{N}}_{\mathsf{p}}{ϵ}_{\mathsf{p}},\hfill \\ {\parallel \mathsf{y}-\vartheta \parallel }_{\mathsf{E}}-{\mathrm{M}}_{\mathsf{q}}{\Omega }_{\chi }{\parallel \mathsf{u}-\omega \parallel }_{\mathsf{E}}\le {\mathrm{M}}_{\mathsf{q}}{ϵ}_{\mathsf{q}},\hfill \\ \left[\begin{array}{cc}1& -{\mathrm{N}}_{\mathsf{p}}{\Omega }_{\alpha }\\ -{\mathrm{M}}_{\mathsf{q}}{\Omega }_{\chi }& 1\end{array}\right]\left[\begin{array}{c}{\parallel \mathsf{u}-\omega \parallel }_{\mathsf{E}}\\ {\parallel \mathsf{y}-\vartheta \parallel }_{\mathsf{E}}\end{array}\right]\le \left[\begin{array}{c}{\mathrm{N}}_{\mathsf{p}}{ϵ}_{\mathsf{p}}\\ {\mathrm{M}}_{\mathsf{q}}{ϵ}_{\mathsf{q}}\end{array}\right].\hfill \end{array}$$

Solving the above inequality, we have

$$\left[\begin{array}{c}{\parallel \mathsf{u}-\omega \parallel }_{\mathsf{E}}\\ {\parallel \mathsf{y}-\vartheta \parallel }_{\mathsf{E}}\end{array}\right]\le \left[\begin{array}{cc}\frac{1}{\mathrm{\Delta }}& \frac{{\mathrm{N}}_{\mathsf{p}}{\Omega }_{\alpha }}{\mathrm{\Delta }}\\ \frac{{\mathrm{M}}_{\mathsf{q}}{\Omega }_{\chi }}{\mathrm{\Delta }}& \frac{1}{\mathrm{\Delta }}\end{array}\right]\left[\begin{array}{c}{\mathrm{N}}_{\mathsf{p}}{ϵ}_{\mathsf{p}}\\ {\mathrm{M}}_{\mathsf{q}}{ϵ}_{\mathsf{q}}\end{array}\right],$$

where

$$ \Delta=1-\mathrm{N}_{\mathsf{p}}\varOmega_{\alpha }\cdot \mathrm{M}_{\mathsf{q}}\varOmega_{\chi}> 0. $$

Further simplification gives

$$\begin{aligned}& \|\mathsf{u}-\omega\|_{\mathsf{E}}\leq\frac{\mathrm{N}_{\mathsf{p}}\epsilon_{\mathsf{p}}}{\Delta}+ \frac{\mathrm{M}_{\mathsf{q}}\mathrm{N}_{\mathsf{p}} \varOmega_{\alpha}\epsilon_{\mathsf{q}}}{\Delta}, \\& \|\mathsf{y}-\vartheta\|_{\mathsf{E}} \leq\frac{\mathrm {M}_{\mathsf{q}}\epsilon_{\mathsf{q}}}{\Delta}+ \frac{\mathrm {M}_{\mathsf{q}} \mathrm{N}_{\mathsf{p}}\varOmega_{\chi}\epsilon_{\mathsf{p}}}{\Delta}, \end{aligned}$$

from which we have

$$ \|\mathsf{u}-\omega\|_{\mathsf{E}}+\|\mathsf{y}-\vartheta\| _{\mathsf{E}} \leq\frac{\mathrm{N}_{\mathsf{p}}\epsilon_{\mathsf{p}}}{\Delta}+\frac{\mathrm{M}_{\mathsf{q}}\epsilon_{\mathsf{q}}}{\Delta}+\frac{\mathrm{M}_{\mathsf{q}}\mathrm{N}_{\mathsf{p}}\varOmega_{\alpha}\epsilon_{\mathsf{q}} }{\Delta}+ \frac{\mathrm {M}_{\mathsf{q}} \mathrm{N}_{\mathsf{p}}\varOmega_{\chi}\epsilon_{\mathsf{p}}}{\Delta}. $$

(4.10)

Let $\max \{\epsilon_{\mathsf{p}},\epsilon_{\mathsf{q}} \} =\epsilon$, then from (4.10) we have

$$ \bigl\Vert (\mathsf{u}, \mathsf{y})-(\omega, \vartheta) \bigr\Vert _{\mathsf{E}\times\mathsf{E}} \leq C_{\mathsf {p},\mathsf{q}}\epsilon, $$

(4.11)

where

$$C_{\mathsf{p},\mathsf{q}}= \biggl[\frac{\mathrm{N}_{\mathsf{p}}}{\Delta}+\frac{\mathrm{M}_{\mathsf{q}}}{\Delta}+ \frac{\mathrm {M}_{\mathsf{q}}\mathrm{N}_{\mathsf{p}}\varOmega_{\alpha}}{\Delta}+\frac {\mathrm{M}_{\mathsf{q}} \mathrm{N}_{\mathsf{p}}\varOmega_{\chi}}{\Delta } \biggr]. $$

 □

Remark 4.1

By setting $\varTheta_{\mathsf{p},\mathsf{q}}(\epsilon)= {C}_{\mathsf{p},\mathsf{q}}\epsilon$, $\varTheta_{\mathsf{p},\mathsf {q}}(0)=0$ in (4.11), then by Definition 2.4 the proposed system (1.1) is generalized Ulam–Hyers stable.

(H₄):

Suppose $\varPhi_{\mathsf{p}}, \varPhi_{\mathsf {q}}\in(\mathsf{J},\mathbb {R}^{+})$ are increasing functions. Then there are $\varLambda_{\varPhi_{\mathsf{p}}}, \varLambda_{\varPhi_{\mathsf {q}}}>0$, such that, for each $\mathsf{t}\in\mathsf{J}$, the given inequalities

$$\mathrm{I}^{\mathsf{p}}\varPhi_{\mathsf{p}}(\mathsf{t})\leq\varLambda _{\varPhi_{\mathsf{p}}}\varPhi_{\mathsf{p}}(\mathsf{t}) $$

and

$$\mathrm{I}^{\mathsf{q}}\varPhi_{\mathsf{q}}(\mathsf{t})\leq\varLambda _{\varPhi_{\mathsf{q}}}\varPhi_{\mathsf{q}}(\mathsf{t}) $$

hold.

Remark 4.2

Under the hypothesis (H₄) and (4.4) and by using Definitions 2.5 and 2.6, one can repeat the process of Lemma 4.1 and Theorem 4.1, system (1.1) will be Ulam–Hyers–Rassias and generalized Ulam–Hyers–Rassias stable.

5 Example

Example 5.1

$$ \textstyle\begin{cases} \mathrm{D}^{\frac{5}{4}}\mathsf{u}(\mathsf{t})-\frac{2+ |\mathsf {y}(\mathsf{t}) |+ |\mathrm{D}^{\frac{5}{4}}\mathsf {u}(\mathsf{t}) |}{70e^{\mathsf{t}+12} (1+ |\mathsf {y}(\mathsf{t}) |+ |\mathrm{D}^{\frac{5}{4}}\mathsf {u}(\mathsf{t}) | )}=0, \\ {\mathrm{D}}^{\frac{5}{4}}\mathsf{y}(\mathsf{t})-\frac{1}{50} (\mathsf{t}\cos\mathsf{u}(\mathsf{t})-\mathsf{u}(\mathsf{t})\sin (\mathsf{t}) )-\frac{ |{\mathrm{D}}^{\frac{5}{4}}\mathsf {y}(\mathsf{t}) |}{25+ |{\mathrm{D}}^{\frac{5}{4}}\mathsf {y}(\mathsf{t}) |}=0, \\ \mathrm{D}^{\frac{-3}{4}}\mathsf{u}(\mathsf{t}) |_{\mathsf {t}=0^{+}}=\frac{1}{2}\mathrm{D}^{\frac{-3}{4}}\mathsf{u}(\mathsf {t}) |_{\mathsf{t}=1^{-}},\qquad \mathrm{D}^{\frac{1}{4}}\mathsf {u}(\mathsf{(}t)) |_{\mathsf{t}=0^{+}}=-\mathrm{D}^{\frac {1}{4}}\mathsf{u}(\mathsf{t}) |_{\mathsf{t}=1^{-}}, \\ \mathrm{D}^{\frac{-3}{4}}\mathsf{y}(\mathsf{t}) |_{\mathsf {t}=0^{+}}=\frac{1}{2}\mathrm{D}^{\frac{-3}{4}}\mathsf{y}(\mathsf {t}) |_{\mathsf{t}=1^{-}},\qquad \mathrm{D}^{\frac{1}{4}}\mathsf {y}(\mathsf{t}) |_{\mathsf{t}=0^{+}}=-\mathrm{D}^{\frac {1}{4}}\mathsf{y}(\mathsf{t}) |_{\mathsf{t}=1^{-}}, \end{cases} $$

(5.1)

where $\mathsf{t}\in[0,1]$. From system (5.1), we can see $\mathsf{p}=\mathsf{q}=\frac{5}{4}$, $\mathrm{T}=1$, $\gamma_{1}=\gamma_{2} =\frac{1}{2}$ and $\beta_{1}=\beta_{2} =-1$. Also, we can easily find $\mathrm{K}_{\alpha}=\mathrm{L}_{\alpha}=\frac{1}{70e^{12}}$ and $\mathrm{K}_{\chi}=\mathrm{L}_{\chi}=\frac{1}{25}$. Therefore

$$ \mathrm{N}_{\mathsf{p}}\cdot\varOmega_{\alpha}+\mathrm{M}_{\mathsf {q}} \cdot\varOmega_{\chi}\approx0.08847< 1. $$

Hence, system (5.1) has a unique solution. Moreover, condition (4.4) also is satisfied. Thus, system (5.1) is Ulam–Hyers stable, generalized Ulam–Hyers stable, Ulam–Hyers–Rassias stable and generalized Ulam–Hyers–Rassias stable.

6 Conclusion

We have derived necessary conditions for the existence, uniqueness and different kinds of stability in the sense of Ulam for the solutions of the proposed toppled system (1.1). The required results have been obtained by using classical fixed point theory due to Banach and Leray–Schauder of cone type. Additionally, we have established appropriate conditions for various kinds of Ulam stability to the solutions of the proposed toppled system (1.1). For the justification, we have presented an example which supported the main theoretical results.