Skip to main content

Theory and Modern Applications

Hyers–Ulam stability and existence criteria for coupled fractional differential equations involving p-Laplacian operator

Abstract

In this article, by using nonlinear Leray–Schauder-type alternative and Banach’s fixed point theorem, we investigate existence and uniqueness of solutions. We also prove Hyers–Ulam stability for the proposed coupled system of fractional differential equations (FDEs) with the nonlinear p-Laplacian operator and Riemann–Liouville integral boundary conditions (IBCs). An illustrative example is presented to demonstrate our main results.

1 Introduction

Fractional calculus is a generalization of classical calculus. FDEs are proved to be valuable tools compared to integer order differential equations. Different physical and natural phenomena were modeled using FDEs in various disciplines, such as combustion theory, papulation biology, non-Newtonian mechanics, control theory, aerodynamics, hydro- and electro-dynamics, economics, bioengineering, networking, system of Monge–Kantorovich partial differential equations, image and signal processing, viscoelasticity, blood flow, game theory, chemistry; for details we refer to [1,2,3,4,5,6,7,8,9,10].

Recently, differential equations involving the nonlinear p-Laplacian operator gained attention from researchers. Articles dealing with ordinary differential equations and partial differential equations involving the nonlinear p-Laplacian operator have been studied. In the last few years, the mentioned area was extended to FDEs using different fractional order integrals and differential operators. By different mathematical approaches FDEs were investigated for existence and uniqueness of solutions, as well as for multiple positive solutions [11,12,13,14,15,16,17,18,19,20].

Further, FDEs involving the nonlinear p-Laplacian operator with integral boundary conditions have attracted researchers of various disciplines, because such systems are increasingly used in modeling [21,22,23,24]. Zhi et al. [14] have studied FDEs with the p-Laplacian nonlinear operator aiming to show existence of positive solutions for a nonlocal boundary value problem and have given a valuable example to demonstrate the results. The problem is given by

$$ \begin{aligned}& \bigl(\varphi_{p}\bigl( \mathcal{D}^{\theta_{1}}\omega(x)\bigr)\bigr)''= \mathcal{F}\bigl(x,\omega (x),\mathcal{D}^{\theta_{2}}\omega(x)\bigr),\quad x \in(0,1), \\ & \omega(x)|_{x=0}=\omega''(x)\big|_{x=0}=0, \qquad\omega(1)= \int_{0}^{1}g(\theta )\omega(\theta)\,d\theta, \\ & \bigl(\varphi_{p}\bigl(\mathcal{D}^{\theta_{1}}\bigr)\omega(0) \bigr)'=\xi_{1}\bigl(\varphi _{p}\bigl( \mathcal{D}^{\theta_{1}}\bigr)\omega(a_{1})\bigr)', \\ & \varphi_{p}\bigl(\mathcal{D}^{\theta_{1}}\bigr)\omega(1)= \xi_{2}\bigl(\varphi_{p}\bigl(\mathcal {D}^{\theta_{1}} \bigr)\omega(b_{2})\bigr), \end{aligned} $$

where \(\mathcal{D}^{\theta_{1}}\), \(\mathcal{D}^{\theta_{2}}\) represent derivatives of order \(\theta_{1}\), \(\theta_{2}\) in Caputo sense, where \(2<\theta_{1}\leq3\), \(1<\theta_{2}<\theta_{1}-1<2\), \(0\leq\xi_{1},\xi_{2}<1\), \(0< a_{1}\leq b_{2}<1\), and \(\varphi_{p}\) is the nonlinear p-Laplacian operator. Hu and Zhang [25] investigated a coupled system of FDEs with the nonlinear p-Laplacian operator and infinite boundary conditions, namely the following problem:

$$ \begin{aligned}& \mathcal{D}^{\theta^{*}_{1}}\varphi_{p} \bigl(\mathcal{D}^{\theta_{1}}\omega _{1}(r)\bigr)=h\bigl(r, \omega_{2}(r),\mathcal{D}^{\theta_{2}-1},\mathcal{D}^{\theta _{2}-1} \omega_{2}(r),\ldots,\mathcal{D}^{\theta_{2}-(n-1)}\omega_{2}(r) \bigr), \quad r\in(0,1), \\ & \mathcal{D}^{\theta^{*}_{2}}\varphi_{p}\bigl(\mathcal{D}^{\theta _{2}}y(r) \bigr)=g\bigl(r,\omega_{1}(r),\mathcal{D}^{\theta_{1}-1}, \mathcal{D}^{\theta _{1}-1}\omega_{1}(r),\ldots,\mathcal{D}^{\theta_{1}-(n-1)} \omega_{1}(r)\bigr), \quad r\in(0,1), \\ & \omega_{1}'(0)=\cdots=\omega_{1}^{(n-1)}(0)= \mathcal{D}^{\theta_{1}}\omega _{1}(0)=0,\qquad\omega_{1}(0)= \sum_{i=1}^{\infty}a_{i} \omega_{1}(\mu _{i}), \\ & \omega_{2}'(0)=\cdots=\omega_{2}^{(n-1)}(0)= \mathcal{D}^{\theta_{2}}\omega _{2}(0)=0,\qquad\omega_{2}(0)= \sum_{i=1}^{\infty}b_{i} \omega_{2}(\nu_{i}), \end{aligned} $$

where \(\mathcal{D}^{\theta^{*}_{i}}\), \(\mathcal{D}^{\theta_{i}}\) for \(i=1,2\), are Caputo fractional derivatives, \(0<\theta^{*}_{1},\theta^{*}_{2}<1\), \(n-1<\theta_{1},\theta_{2}<n\), \(0<\mu_{1}<\mu_{2}<\cdots<\mu_{i}<\cdots<1\), \(0<\nu _{1}<\nu_{2}<\cdots<\nu_{i}<\cdots<1\), \(\sum_{i=1}^{\infty}|a_{i}|<\infty\), \(\sum_{i=1}^{\infty}|b_{i}|<\infty\), \(\sum_{i=1}^{\infty}a_{i}=\sum_{i=1}^{\infty}b_{i}=1\), and h, g are real-valued continuous functions.

Recently, Ali et al. [26] investigated a coupled system of fractional differential equations with noninteger order integral boundary conditions for the existence and uniqueness of solutions, and furthermore, checked Hyers–Ulam stability. By using the topological degree theory, some special conditions were developed to show stability. As an application, an expressive example was provided to demonstrate the considered problem, which is given below:

$$ \begin{aligned}& \mathcal{D}^{\theta_{1}}\omega_{1}(r)-f \bigl(r,\omega_{2}(r)\bigr)=0, \quad r\in [0,1], \\ & \mathcal{D}^{\theta_{2}}\omega_{2}(r)-g\bigl(r, \omega_{1}(r)\bigr)=0, \quad r\in [0,1], \\ & \omega_{1}(0)=0,\qquad\omega_{1}(r)|_{t=1}= \frac{1}{\varGamma(\gamma)} \int _{0}^{T}(r-s)^{\gamma-1}p\bigl( \omega_{1},(s)\bigr)\,ds, \\ & \omega_{2}(0)=0,\qquad \omega_{2}(r)|_{t=1}= \frac{1}{\varGamma(\delta )} \int_{0}^{T}(r-s)^{\delta-1}q\bigl( \omega_{2}(s)\bigr)\,ds, \end{aligned} $$

where \(\mathcal{D}^{\theta_{1}}\), \(\mathcal{D}^{\theta_{2}}\) are Caputo fractional derivatives, \(\theta_{1}, \theta_{2}, \gamma, \delta\in(1,2]\), \(p,q\in L[0,1]\) and \(f,g\in J\times\mathcal{R} \rightarrow\mathcal{R}\), the functions involved in fractional IBCs are continuous and also satisfy certain growth conditions.

Inspired by the aforementioned work, we investigate existence and uniqueness of solutions and prove Hyres–Ulam stability for the coupled suggested problem FDEs involving the nonlinear p-Laplacian operator with integral boundary conditions, namely

$$ \begin{aligned}& \mathcal{D}^{\theta^{*}_{1}} \varphi_{p} \bigl(\mathcal{D}^{\theta_{1}}\omega _{1}(r) \bigr)=f \bigl(r,\omega_{1}(r),\omega_{2}(r) \bigr) ),\quad r\in [0,1], \\ & \mathcal{D}^{\theta^{*}_{2}}\varphi_{p} \bigl(\mathcal{D}^{\theta_{2}} \omega _{2}(r) \bigr)=g \bigl(r,\omega_{1}(r), \omega_{2}(r) \bigr) ), \quad r\in [0,1], \\ & \varphi_{p} \bigl(\mathcal{D}^{\theta_{1}}\omega_{1}(r) \bigr)\big|_{r=0}=\omega '_{1}(r)\big|_{r=0}=0, \qquad\omega_{1}(r)|_{r=0}=\gamma I^{\alpha-1}\omega _{1}(\eta), \\ & \varphi_{p} \bigl(\mathcal{D}^{\theta_{2}}\omega_{2}(r) \bigr)\big|_{r=0}=\omega '_{2}(r)|_{r=0}=0, \qquad \omega_{2}(r)\big|_{r=0}=\delta I^{\beta-1}\omega _{2}(\xi), \end{aligned} $$
(1.1)

where \(\mathcal{D}^{\theta_{i}}\), \(\mathcal{D}^{\theta^{*}_{i}}\) for \(i=1,2\) are Caputo fractional derivatives, \(\theta_{i}\in(1,2]\), \(\theta ^{*}_{i}\in(0,1]\), \(f,g\in C([0,1]\times\mathcal{R}^{2},\mathcal{R})\), \(i=1,2\) are continuous functions and \(\alpha,\beta\geq1\), \(\gamma, \delta\in[-1,0]\) \(\varphi_{p}(\vartheta)=|\vartheta |^{p-2}\vartheta\) is the p-Laplacian operator where \(1/p+1/q=1\), \(\varphi_{q}\) denotes the inverse of p-Laplacian. For existence and uniqueness of solutions, employing nonlinear Leray–Schauder-type alternative and Banach’s fixed point theorem, new results are obtained for the coupled considered FDEs involving the nonlinear p-Laplacian operator with IBCs. The important aspect of this article is to check stability for the coupled considered FDEs involving the nonlinear p-Laplacian operator. In the literature, different types of stability were presented for functional, differential and integral equations, for example, Lyapunov and exponential stability [27, 28]. But checking such stability is difficult and time consuming due to calculation of Lyapunov functions. An interesting and motivating stability method was introduced by Ulam and then by Hyers in 1941, which is known as Hyers–Ulam stability [29, 30]. Such stability has outstanding applications in integer order and fractional order differential equations appearing in physics, optimization, numerical analysis, biological phenomena, economic, biochemistry, etc. For the details of using Hyres–Ulam stability, we suggest [9, 31,32,33]. In the following sections, we provide necessary definitions, lemmas, assumptions, as well as decribe the stability method and an example for the coupled considered FDEs with the nonlinear p-Laplacian operator with integral boundary conditions.

2 Background material and auxiliary results

Let us introduce \(\mathcal{X}=\{\omega_{1}(r)|\omega_{1}(r)\in\mathcal {C}^{1}([0,1])\}\) as the space all continuous functions, endowed with a norm \(\|\omega_{1}\|=\max\{\omega_{1}(r),r\in[0, 1]\}\), here \((\mathcal {X},\|\cdot\|)\) is obviously a Banach space, let \(\mathcal{Y}=\{\omega _{2}(r)|\omega_{2}(r)\in\mathcal{C}^{1}\}\). Then the product space denoted by \(( \mathcal{X} \times\mathcal{Y}, \|(\omega _{1},\omega_{2})\|)\), equipped with the norm \(\|(\omega_{1}, \omega _{2})\| = \|\omega_{1}\| + \|\omega_{2}\|\), is also a Banach space. This will be used throughout in the considered coupled FDEs with the nonlinear p-Laplacian with IBCs. Now recall the following definition which can be traced to [34,35,36].

Definition 2.1

Let Ϝ be a given function on a closed interval \([0,b]\). Then the non-integer order derivative in the Caputo sense of Ϝ is defined by

$$ \mathcal{D}^{\theta_{1}} \digamma(r)= \int _{0}^{r} \frac{(r-\tau )^{n-\theta_{1}-1}}{\varGamma(n-\theta_{1})} \biggl(\frac{d^{n}}{d\tau ^{n}} \digamma(\tau) \biggr) \,d\tau,\quad \theta_{1}\in(n-1, n], $$

where \(n-1=[\theta_{1}]\). In particular, if Ϝ is defined on the interval \([0,b]\) and \(\theta_{1} \in(0, 1)\), then

$$ \mathcal{D}^{\theta_{1}} \digamma(r)=\frac{1}{\varGamma (1-\theta_{1})} \int _{0}^{r} \frac{\digamma^{\prime}(\tau)}{(r-\tau )^{\theta_{1}}}\,d\tau,\quad \text{where } \varphi^{\prime}(s)=\frac{d\varphi(s)}{ds}. $$

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

Definition 2.2

The integral of arbitrary order \(\theta_{1}\in\mathcal{R}^{+}\) in the Riemann–Liouville sense for a function \(\varphi:\mathcal{R}^{+}\rightarrow\mathcal{R}\) is given as

$$ I^{\theta_{1} }\digamma(r)=\frac{1}{\varGamma(\theta_{1})} \int _{0}^{r}(r-\tau)^{\theta_{1}-1} \digamma(\tau) \,d \tau, $$

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

Lemma 2.3

Let \(\theta_{1}>0\) and \(\omega_{1} \in\mathcal{C}(0,1)\cap\mathcal {L}^{1}(0,1)\). Then the general solution of FDE

$$D^{\theta_{1}}\omega_{1}(r)=y(r), $$

is given by

$$\begin{aligned} \omega_{1}(r)=I^{\theta_{1}}y(r)+\rho_{0}+ \rho_{1}t+\rho_{2}t^{2}+\cdots + \rho_{m-1}t^{m-1}, \end{aligned}$$

for some \(\rho_{i} \in\mathcal{R}\), \(i= 0,1,2,\dots,m-1\), where m is the smallest integer such that \(m \geq\theta_{1}\).

Lemma 2.4

([37])

Let \(\varphi_{p}\) be the p-Laplacian operator.

  1. (i)

    If \(1< p\leq2\), \(\zeta_{1}\xi_{2}>0\) and \(|\zeta_{1}|,|\xi_{2}|\geq m >0\), then

    $$\begin{aligned} \bigl\vert \varphi_{p}(\zeta_{1})-\varphi_{p}( \zeta_{2}) \bigr\vert \leq(p-1)m^{p-2} \vert \zeta_{1}-\zeta_{2} \vert . \end{aligned}$$
  2. (ii)

    If \(p>2\), and \(|\zeta_{1}|,|\zeta_{2}|\leq M\), then

    $$\begin{aligned} \bigl\vert \varphi_{p}(\zeta_{1})-\varphi_{p}( \zeta_{2}) \bigr\vert \leq(p-1)M^{p-2} \vert \zeta_{1}-\zeta_{2} \vert . \end{aligned}$$

Definition 2.5

Let \(\mathcal{T}:\mathcal{L}\rightarrow\mathcal{L}\). Then the operator equation given by

$$ \mathcal{T}\omega_{1}(r)=\omega_{1}(r), r\in[0, 1], $$

is called Hyers–Ulam stable if, for any \(\xi>0\), the inequality

$$ \Vert \omega_{1}- \mathcal{T}\omega_{1} \Vert \leq\xi, \omega_{1}\in[0, 1], $$

has a unique fixed point, say \({\omega_{1}}^{*}\), with constant \(D>0\) such that \(\|\omega_{1}-{\omega_{1}}^{*}\|\leq D\xi\) holds for all \(\omega_{1}\in [0, 1]\).

To proceed further, let the following hypothesis hold:

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

The nonlocal functions \(f,g\), where \(\omega _{1},\omega_{2},x,y \in\mathcal{R,}\) satisfy the inequalities:

$$\begin{aligned} \bigl\vert f(\kappa,\omega_{1},\omega_{2})-f(\kappa,x,y) \bigr\vert \leq\mathcal {K}_{f}\bigl( \vert \omega_{1}-x \vert + \vert \omega_{2}-y \vert \bigr), \\ \bigl\vert g(\kappa,\omega_{1},\omega_{2})-g(\kappa,x,y) \bigr\vert \leq\mathcal {K}_{g}\bigl( \vert \omega_{1}-x \vert + \vert \omega_{2}-y \vert \bigr), \end{aligned}$$

where \(\mathcal{K}_{f},\mathcal{K}_{g} \in[0,1)\).

Theorem 2.6

Let \(\gamma\neq\frac{\eta^{(\theta_{1}+\alpha-1)}}{\varGamma(\theta _{1}+\alpha)}\). Then for a given \(g\in\mathcal{C}([0,1],\mathcal{R})\), the solution of the fractional differential equation

$$ \mathcal{D}^{\theta^{*}_{1}}\varphi_{p} \bigl( \mathcal{D}^{\theta_{1}}x(r) \bigr)-g(r)=0 ,\quad \theta_{1}\in(1,2], \theta^{*}_{1}\in(0,1], $$
(2.1)

with the boundary condition

$$ \varphi_{p} \bigl(\mathcal{D}^{\theta_{1}}x(r) \bigr)\big|_{r=0}=x'(r)\big|_{r=0}=0, \qquad x(r)|_{r=0}=\gamma I^{\alpha-1}h_{1}(\eta), $$
(2.2)

has a unique solution given by

$$ \begin{aligned}[b] x(r)&=\frac{1}{\varGamma(\theta_{1})} \int_{0}^{r}(r-s)^{\theta_{1}-1}\varphi _{q} \bigl(I^{\theta^{*}_{1}} g(s) \bigr)\,ds\\ &\quad {}+\frac{\gamma}{\Delta_{1}\varGamma (\theta_{1}+\alpha-1)} \int_{0}^{\eta}(\eta-s)^{\theta_{1}+\alpha -2} \varphi_{q} \bigl(I^{\theta^{*}_{1}}g(s) \bigr)\,ds. \end{aligned} $$
(2.3)

Proof

Applying the operator \(I^{\theta^{*}_{1}}\) on (2.1) and using Lemma 2.3, we get from (2.1) the following equivalent integral form:

$$\begin{aligned} \varphi_{p}\bigl(\mathcal{D}^{\theta_{1}}x(r) \bigr) =&A_{0}+I^{\theta^{*}_{1}} g(r), \end{aligned}$$
(2.4)

and then, by using condition \(\varphi_{p} (\mathcal{D}^{\theta _{1}}x(r) )|_{r=0}=0\), we get \(A_{0}=0\). From (2.4), we have

$$\begin{aligned} \mathcal{D}^{\theta_{1}}x(r) =&\varphi_{q} \bigl(I^{\theta^{*}_{1}} g(r) \bigr). \end{aligned}$$
(2.5)

Applying the operator \(I_{0}^{\theta_{1}}\) on (2.5) and using Lemma 2.3 again, we get from (2.5) the following equivalent integral form:

$$\begin{aligned} x(r) =&A_{1}+A_{2}r+I^{\theta_{1}} \bigl( \varphi_{q}I^{\theta^{*}_{1}} g(r) \bigr). \end{aligned}$$
(2.6)

By using the condition \(x'(r)|_{r=0}=0\) in (2.6), we obtain \(A_{2}=0\). Also in view of condition \(x(r)|_{r=0}=\gamma I^{\alpha-1}x(\eta)\) in (2.6), we get

$$ A_{1}=\frac{\gamma}{\Delta_{1}}I^{\theta_{1}+\alpha-1} \bigl(\varphi _{q}I^{\theta^{*}_{1}} g(\eta) \bigr), $$
(2.7)

where \(\Delta_{1}= (1-\frac{\gamma}{\varGamma\alpha})\). By substituting the values of \(A_{1}\) and \(A_{2}\) in (2.6), we get (2.3). □

With the help of Theorem 2.6, our coupled FDEs involving the p-Laplacian with integral boundary conditions are equivalent to the following Hammerstein-type integral system:

$$ \textstyle\begin{cases} \omega_{1}(r)=\frac{1}{\varGamma( \theta_{1})}\int_{0}^{r}(r-s)^{\theta _{1}-1}\varphi_{q} (I^{\theta^{*}_{1}} f (s,\omega_{1}(s),\omega _{2}(s) ) ) )\,ds\\ \hphantom{\omega_{1}(r)=}{}+\frac{\gamma}{\Delta_{1}\varGamma(\theta_{1}+\alpha-1)}\int _{0}^{\eta}(\eta-s)^{\theta_{1}+\alpha-2}\varphi_{q} (I^{\theta ^{*}_{1}}f (s,\omega_{1}(s),\omega_{2}(s) ) )\,ds,\\ \omega_{2}(r)=\frac{1}{\varGamma( \theta_{2})}\int_{0}^{r}(r-s)^{\theta _{2}-1}\varphi_{q} (I^{\theta^{*}_{2}} g (s,\omega_{1}(s),\omega _{2}(s) ) ) )\,ds\\ \hphantom{\omega_{2}(r)=}{}+\frac{\delta}{\Delta_{2}\varGamma(\theta_{2}+\beta-1)}\int _{0}^{\xi}(\xi-s)^{\theta_{2}+\beta-2}\varphi_{q} (I^{\theta ^{*}_{2}}g (s,\omega_{1}(s),\omega_{2}(s) ) )\,ds. \end{cases} $$
(2.8)

3 Existence and uniqueness

For the sake of convenience, we set

$$\begin{aligned}& M_{1}= \biggl(\frac{1}{\varGamma(\theta^{*}_{1}+1)} \biggr)^{q-1} \biggl[\frac{1}{\varGamma (\theta_{1}+1)} +\frac{\gamma\eta^{\theta_{1}+\alpha-1}}{\Delta_{1}\varGamma(\theta _{1}+\alpha)} \biggr], \end{aligned}$$
(3.1)
$$\begin{aligned}& M_{2}= \biggl(\frac{1}{\varGamma(\theta^{*}_{1}+1)} \biggr)^{q-1} \biggl[\frac{1}{\varGamma (\theta_{2}+1)} +\frac{\delta\xi^{\theta_{2}+\beta-1}}{\Delta_{2}\varGamma(\theta_{2}+\beta )} \biggr], \end{aligned}$$
(3.2)
$$\begin{aligned}& M_{0}=\min\bigl\{ 1-(M_{1}k_{1}+M_{2} \lambda_{1}),1-(M_{1}k_{2}+M_{2} \lambda _{2})\bigr\} , \end{aligned}$$
(3.3)
$$\begin{aligned}& \blacktriangle_{f}=\frac{(q-1)J_{1}^{q-2}}{\varGamma(\theta^{*}_{1}+1)} \biggl[ \frac{1}{\varGamma(\theta_{1}+1)} +\frac{\gamma\eta^{\theta_{1}+\alpha-1}}{\Delta_{1}\varGamma(\theta _{1}+\alpha)} \biggr], \end{aligned}$$
(3.4)
$$\begin{aligned}& \blacktriangle_{g}=\frac{(q-1)J_{2}^{q-2}}{\varGamma(\theta^{*}_{1}+1)} \biggl[ \frac{1}{\varGamma(\theta_{2}+1)} +\frac{\delta\xi^{\theta_{2}+\beta-1}}{\Delta_{2}\varGamma(\theta_{2}+\beta )} \biggr]. \end{aligned}$$
(3.5)

We define operators \(T_{1}, T_{2}:\mathcal{X}\times\mathcal{Y}\rightarrow \mathcal{X} \times\mathcal{Y}\) as

$$ \begin{aligned} &T_{1}(\omega_{1},\omega_{2}) (r)=\frac{1}{\varGamma( \theta_{1})} \int _{0}^{r}(r-s)^{\theta_{1}-1} \varphi_{q} \bigl(I^{\theta^{*}_{1}} f \bigl(s,\omega _{1}(s), \omega_{2}(s) \bigr) \bigr) )\,ds \\ &\hphantom{T_{1}(\omega_{1},\omega_{2}) (r)=} {}+\frac{\gamma}{\Delta_{1}\varGamma(\theta_{1}+\alpha-1)} \int_{0}^{\eta }(\eta-s)^{\theta_{1}+\alpha-2} \varphi_{q} \bigl(I^{\theta^{*}_{1}}f \bigl(s,\omega_{1}(s), \omega_{2}(s) \bigr) \bigr)\,ds, \\ &T_{2}(\omega_{1},\omega_{2}) (r)= \frac{1}{\varGamma(\theta_{2})} \int _{0}^{r}(r-s)^{\theta_{2}-1} \varphi_{q} \bigl(I^{\theta^{*}_{2}} g \bigl(s,\omega _{1}(s), \omega_{2}(s) \bigr) \bigr) )\,ds \\ &\hphantom{T_{2}(\omega_{1},\omega_{2}) (r)=}{}+\frac{\delta}{\Delta_{2}\varGamma(\theta_{2}+\beta-1)} \int_{0}^{\xi }(\xi-s)^{\theta_{2}+\beta-2} \varphi_{q} \bigl(I^{\theta^{*}_{2}}g \bigl(s,\omega_{1}(s), \omega_{2}(s) \bigr) \bigr)\,ds. \end{aligned} $$
(3.6)

Lemma 3.1

([9, 26, 30])

Let \(\mathcal{F}:\mathcal{A} \rightarrow\mathcal{A}\) be a completely continuous operator (i.e., a map which, restricted to any bounded set in \(\mathcal{A,}\) is compact). Let

$$ \varepsilon(\mathcal{F})=\bigl\{ x\in\mathcal{A}:x=\lambda\mathcal{F}(x) , \textit{ for some } 0< \lambda< 1\bigr\} . $$
(3.7)

Then either the set \(\varepsilon(F)\) is unbounded, or \(\mathcal{F}\) has at least one fixed point.

Theorem 3.2

Suppose that \(\gamma\neq\frac{\eta^{(\theta_{1}+\alpha-1)}}{\varGamma (\theta_{1}+\alpha)}\) and \(\delta\neq\frac{\xi^{(\theta_{2}+\beta -1)}}{\varGamma(\theta_{2}+\beta)}\). Assume that there exist real constants \(k_{i},\lambda_{i}\geq0\) (\(i=1,2\)) and \(k_{0}>0\), \(\lambda_{0}>0\) such that for all \(x_{i} \in\mathcal{R}\) (\(i=1,2\)), we have

$$ \begin{aligned} &\bigl\vert f(r,x_{1},x_{2}) \bigr\vert \leq\varphi_{p}\bigl(k_{0}+k_{1} \vert x_{1} \vert +k_{2} \vert x_{2} \vert \bigr), \\ &\bigl\vert g(r,x_{1},x_{2}) \bigr\vert \leq \varphi_{p}\bigl(\lambda_{0}+\lambda_{1} \vert x_{1} \vert +\lambda_{2} \vert x_{2} \vert \bigr). \end{aligned} $$
(3.8)

In addition, it is assumed that

$$\begin{aligned} M_{1}k_{1}+M_{2}\lambda_{1}< 1 \quad \textit{and}\quad M_{1}k_{2}+M_{2}\lambda _{2}< 1, \end{aligned}$$

where \(M_{1}\) and \(M_{2}\) are given by (3.1) and (3.2) respectively. Then the boundary value problem (1.1) has at least one solution.

Proof

First, we show that the operator \(T: \mathcal{X}\times\mathcal {Y}\rightarrow\mathcal{X}\times\mathcal{Y}\) is completely continuous. By the continuity of functions f and g, the operator T is continuous. Let \(\varOmega\subset\mathcal{X}\times\mathcal{Y}\) be bounded. Then there exist positive constants \(L_{1}\) and \(L_{2}\) such that

$$ \bigl\vert f\bigl(r,\omega_{1}(r), \omega_{2}(r)\bigr) \bigr\vert \leq\varphi_{p}(L_{1}), \qquad \bigl\vert g\bigl(r,\omega_{1}(r),\omega_{2}(r) \bigr) \bigr\vert \leq\varphi_{p}(L_{2}),\quad\forall ( \omega_{1},\omega_{2})\in\varOmega. $$
(3.9)

Then for any \((\omega_{1},,\omega_{2})\in\varOmega\), we have

$$ \begin{gathered}[b] \bigl\vert T_{1}(\omega_{1}, \omega_{2}) (r) \bigr\vert \\ \quad = \biggl\vert \frac{1}{\varGamma(\theta _{1})} \int_{0}^{r}(r-s)^{\theta_{1}-1} \varphi_{q} \bigl(I^{\theta^{*}_{1}}f \bigl(s,\omega_{1}(s), \omega_{2}(s) \bigr) \bigr)\,ds \\ \qquad {}+\frac{\gamma}{\Delta_{1}\varGamma(\theta_{1}+\alpha-1)} \int_{0}^{\eta }(\eta-s)^{\theta_{1}+\alpha-2} \varphi_{q} \bigl(I^{\theta^{*}_{1}}f \bigl(s,\omega_{1}(s), \omega_{2}(s) \bigr) \bigr)\,ds \biggr\vert \\ \quad \leq \frac{1}{\varGamma(\theta_{1})} \int_{0}^{r}(r-s)^{\theta_{1}-1}\varphi _{q} \biggl( \frac{1}{\varGamma( \theta^{*}_{1})} \int_{0}^{r}(r-s)^{\theta ^{*}_{1}-1} \bigl\vert f \bigl(s,\omega_{1}(s),\omega_{2}(s) \bigr) \bigr\vert \,ds \biggr) \\ \qquad {}+\frac{\gamma}{\Delta_{1}\varGamma(\theta_{1}+\alpha-1)}\\ \qquad {}\times \int_{0}^{\eta }(\eta-s)^{\theta_{1}+\alpha-2} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{1})} \int_{0}^{\eta}(\eta-s)^{\theta^{*}_{1}-1} \bigl\vert f \bigl(s,\omega_{1}(s),\omega _{2}(s) \bigr) \bigr\vert \biggr)\,ds \\ \quad \leq \frac{1}{\varGamma(\theta_{1})} \int_{0}^{r}(r-s)^{\theta_{1}-1}\varphi _{q} \biggl( \frac{1}{\varGamma( \theta^{*}_{1})} \int_{0}^{r}(r-s)^{\theta ^{*}_{1}-1} \varphi_{p}(L_{1})\,ds \biggr) \\ \qquad {}+\frac{\gamma}{\Delta_{1}\varGamma(\theta_{1}+\alpha-1)} \int_{0}^{\eta }(\eta-s)^{\theta_{1}+\alpha-2} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{1})} \int_{0}^{\eta}(\eta-s)^{\theta^{*}_{1}-1} \varphi_{p}(L_{1}) \biggr)\,ds \\ \quad \leq L_{1} \biggl(\frac{1}{\varGamma(\theta^{*}_{1}+1)} \biggr)^{q-1} \biggl[ \frac {1}{\varGamma(\theta_{1}+1)} +\frac{\gamma\eta^{\theta_{1}+\alpha-1}}{\Delta_{1}\varGamma(\theta _{1}+\alpha)} \biggr]=L_{1}M_{1}. \end{gathered} $$
(3.10)

And also,

$$ \begin{gathered}[b] \bigl\vert T_{2}(\omega_{1}, \omega_{2}) (r) \bigr\vert \\ \quad = \biggl\vert \frac{1}{\varGamma(\theta _{2})} \int_{0}^{r}(r-s)^{\theta_{2}-1} \varphi_{q} \bigl(I^{\theta^{*}_{2}}g \bigl(s,\omega_{1}(s), \omega_{2}(s) \bigr) \bigr)\,ds \\ \qquad {}+\frac{\delta}{\Delta_{2}\varGamma(\theta_{2}+\beta-1)} \int_{0}^{\xi }(\xi-s)^{\theta_{2}+\beta-2} \varphi_{q} \bigl(I^{\theta^{*}_{2}}g \bigl(s,\omega_{1}(s), \omega_{2}(s) \bigr) \bigr)\,ds \biggr\vert \\ \quad \leq \frac{1}{\varGamma(\theta_{2})} \int_{0}^{r}(r-s)^{\theta_{2}-1}\varphi _{q} \biggl( \frac{1}{\varGamma( \theta_{2}{2})} \int_{0}^{r}(r-s)^{\theta ^{*}_{2}-1} \bigl\vert g \bigl(s,\omega_{1}(s),\omega_{2}(s) \bigr) \bigr\vert \,ds \biggr) \\ \qquad {}+\frac{\delta}{\Delta_{2}\varGamma(\theta_{2}+\beta-1)}\\ \qquad {}\times \int_{0}^{\xi }(\xi-s)^{\theta_{2}+\beta-2} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{2})} \int_{0}^{\xi}(\xi-s)^{\theta^{*}_{2}-1} \bigl\vert g \bigl(s,\omega_{1}(s),\omega _{2}(s) \bigr) \bigr\vert \biggr)\,ds \\ \quad \leq \frac{1}{\varGamma(\theta_{2})} \int_{0}^{r}(r-s)^{\theta_{2}-1}\varphi _{q} \biggl( \frac{1}{\varGamma( \theta^{*}_{2})} \int_{0}^{r}(r-s)^{\theta ^{*}_{2}-1} \varphi_{p}(L_{2})\,ds \biggr) \\ \qquad {}+\frac{\delta}{\Delta_{2}\varGamma(\theta_{2}+\beta-1)} \int_{0}^{\xi }(\xi-s)^{\theta_{2}+\beta-2} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{2})} \int_{0}^{\xi}(\xi-s)^{\theta^{*}_{2}-1} \varphi_{p}(L_{2}) \biggr)\,ds \\ \quad \leq L_{2} \biggl(\frac{1}{\varGamma(\theta^{*}_{2}+1)} \biggr)^{q-1} \biggl[ \frac {1}{\varGamma(\theta_{2}+1)} +\frac{\delta\xi^{\theta_{2}+\beta-1}}{\Delta_{2}\varGamma(\theta_{2}+\beta )} \biggr]=L_{2}M_{2}. \end{gathered} $$
(3.11)

Thus, it follows from the above inequalities that the operator T is uniformly bounded. Next we show that T is equicontinuous. Let \(0\leq r_{1}\leq r_{2}\leq1\). Then we have

$$\begin{aligned}& \begin{gathered}[b] \bigl\vert T_{1} \bigl(\omega_{1}(r_{2}), \omega_{2}(r_{2}) \bigr)-T_{1} \bigl(\omega _{1}(r_{1}),\omega_{2}(r_{1}) \bigr) \bigr\vert \\ \quad= \biggl\vert \frac{1}{\varGamma( \theta_{1})} \int _{0}^{r_{2}}(r_{2}-s)^{\theta_{1}-1} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{1})} \int_{0}^{r}(r-s)^{\theta^{*}_{1}-1} f \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds \\ \qquad{}-\frac{1}{\varGamma( \theta_{1})} \int_{0}^{r_{1}}(r_{1}-s)^{\theta _{1}-1} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{1})} \int_{0}^{r}(r-s)^{\theta^{*}_{1}-1} f \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds \biggr\vert \\ \quad \leq \biggl\vert \frac{1}{\varGamma( \theta_{1})} \int _{0}^{r_{2}}\bigl[(r_{2}-s)^{\theta^{*}_{1}-1}-(r_{1}-s)^{\theta^{*}_{1}-1} \bigr]\\ \qquad {}\times \varphi_{q} \biggl(\frac{1}{\varGamma (\theta^{*}_{1})} \int_{0}^{r}(r-s)^{\theta^{*}_{1}-1} f \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds \\ \qquad{} -\frac{1}{\varGamma( \theta_{1})} \int _{r_{1}}^{r_{2}}(r_{2}-s)^{\theta_{1}-1} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{1})} \int_{0}^{r}(r-s)^{\theta^{*}_{1}-1} f \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds \biggr\vert \\ \quad \leq\frac{L_{1}}{\varGamma(\theta_{1}+1)(\varGamma\theta^{*}_{1}+1)^{q-1}} \bigl(r_{1}^{\theta_{1}}-r_{2}^{\theta_{1}} \bigr), \end{gathered} \end{aligned}$$
(3.12)
$$\begin{aligned}& \begin{gathered}[b] \bigl\vert T_{2} \bigl(\omega_{1}(r_{2}), \omega_{2}(r_{2}) \bigr)-T_{2} \bigl(\omega _{1}(r_{1}),\omega_{2}(r_{1}) \bigr) \bigr\vert \\ \quad= \biggl\vert \frac{1}{\varGamma( \theta_{2})} \int _{0}^{r_{2}}(r_{2}-s)^{\theta_{2}-1} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{2})} \int_{0}^{r}(r-s)^{\theta^{*}_{2}-1} f \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds \\ \qquad{} -\frac{1}{\varGamma( \theta_{2})} \int_{0}^{r_{1}}(r_{1}-s)^{\theta _{2}-1} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{2})} \int_{0}^{r}(r-s)^{\theta^{*}_{2}-1} f \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds \biggr\vert \\ \quad \leq \biggl\vert \frac{1}{\varGamma( \theta_{2})} \int _{0}^{r_{2}}\bigl[(r_{2}-s)^{\theta^{*}_{2}-1}-(r_{1}-s)^{\theta^{*}_{2}-1} \bigr]\\ \qquad {}\times \varphi_{q} \biggl(\frac{1}{\varGamma (\theta^{*}_{2})} \int_{0}^{r}(r-s)^{\theta^{*}_{2}-1} f \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds \\ \qquad{} -\frac{1}{\varGamma( \theta_{2})} \int _{r_{1}}^{r_{2}}(r_{2}-s)^{\theta_{2}-1} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{2})} \int_{0}^{r}(r-s)^{\theta^{*}_{2}-1} f \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds \biggr\vert \\ \quad \leq\frac{L_{1}}{\varGamma(\theta_{2}+1)(\varGamma\theta^{*}_{2}+1)^{q-1}} \bigl(r_{1}^{\theta_{2}}-r_{2}^{\theta_{2}} \bigr). \end{gathered} \end{aligned}$$
(3.13)

Therefore, the operator \(T(\omega_{1},\omega_{2})\) is equicontinuous, and thus the operator \(T(\omega_{1},\omega_{2})\) is completely continuous. Finally, it will be verified that the set \(\varepsilon=\{(\omega _{1},\omega_{2})\in\mathcal{X}\times\mathcal{Y}|(\omega_{1},\omega _{2})=\lambda T(\omega_{1},\omega_{2}), 0\leq\lambda\leq1\}\) is bounded. Let \((\omega_{1},\omega_{2})\in\varepsilon\), then \((\omega _{1},\omega_{2})=\lambda T(\omega_{1},\omega_{2})\). For any \(r\in [0,1]\), we have

$$ \omega_{1}(r)=\lambda r_{1}(\omega_{1}, \omega_{2}),\qquad\omega _{2}(r)=\lambda T_{2}( \omega_{1},\omega_{2}). $$

Then

$$ \begin{aligned}[b] \bigl\vert \omega_{1}(r) \bigr\vert &= \biggl( \frac{1}{\varGamma(\theta^{*}_{1}+1)} \biggr)^{q-1} \biggl[\frac{1}{\varGamma(\theta_{1}+1)} + \frac{\gamma\eta^{\theta_{1}+\alpha-1}}{\Delta_{1}\varGamma(\theta _{1}+\alpha)} \biggr] \\ &\quad {}\times\bigl(k_{0}+k_{1} \bigl\vert \omega_{1}(r) \bigr\vert +k_{2} \bigl\vert \omega_{2}(r) \bigr\vert \bigr) \end{aligned} $$
(3.14)

and

$$\begin{aligned} \bigl\vert \omega_{2}(r) \bigr\vert =& \biggl( \frac{1}{\varGamma(\theta^{*}_{2}+1)} \biggr)^{q-1} \biggl[\frac{1}{\varGamma(\theta_{2}+1)} + \frac{\delta\xi^{\theta_{2}+\beta-1}}{\Delta_{2}\varGamma(\theta_{2}+\beta )} \biggr] \\ &{}\times\bigl(\lambda_{0}+\lambda_{1} \bigl\vert \omega_{1}(r) \bigr\vert +\lambda_{2} \bigl\vert \omega _{2}(r) \bigr\vert \bigr). \end{aligned}$$
(3.15)

Hence we have

$$ \begin{aligned} &\Vert \omega_{1} \Vert =M_{1} \bigl(k_{0}+k_{1} \bigl\Vert \omega_{1}(r) \bigr\Vert +k_{2} \bigl\Vert \omega _{2}(r) \bigr\Vert \bigr)\quad \text{and} \\ & \Vert \omega_{2} \Vert =M_{2} \bigl(\lambda_{0}+\lambda_{1} \bigl\Vert \omega_{1}(r) \bigr\Vert +\lambda_{2} \bigl\Vert \omega_{2}(r) \bigr\Vert \bigr). \end{aligned} $$
(3.16)

From (3.16) we have

$$ \Vert \omega_{1} \Vert + \Vert \omega_{2} \Vert = (M_{1}k_{0}+M_{2} \lambda_{0} )+ (M_{1}k_{1}+M_{2} \lambda_{1} ) \Vert \omega_{1} \Vert + (M_{1}k_{2}+M_{2}\lambda_{2} ) \Vert \omega_{2} \Vert . $$
(3.17)

Consequently,

$$ \bigl\Vert (\omega_{1}, \omega_{2}) \bigr\Vert \leq\frac{M_{1}k_{0}+M_{2}\lambda_{0}}{M_{0}}, $$
(3.18)

for any \(r\in[0,1]\), where \(M_{0}\) is defined in (3.3), which proves that ε is bounded. Thus, by Lemma 3.2, operator T has at leat one fixed point. Hence, the boundary value problem (1.1) has at least one solution. □

Theorem 3.3

Assume that \(f,g:[0,1]\times\mathcal{R}^{2}\rightarrow\mathcal{R}\) are continuous functions and there exist constants \(m_{i},n_{i}\), \(i=1,2\) such that for all \(r\in[0,1]\) and \(\omega_{1}, \omega_{2}, \hbar_{1}, \hbar_{2}\in\mathcal{R}\),

$$ \begin{aligned}[b] \bigl\vert f(r, \omega_{1},\hbar_{1})-f(r,\omega_{2}, \hbar_{2}) \bigr\vert \leq m_{1} \vert \omega _{1}-\omega_{2} \vert +n_{1} \vert \hbar_{1}-\hbar_{2} \vert , \\ \bigl\vert g(r,\omega_{1},\hbar_{1})-g(r, \omega_{2},\hbar_{2}) \bigr\vert \leq m_{2} \vert \omega _{1}-\omega_{2} \vert +n_{2} \vert \hbar_{1}-\hbar_{2} \vert . \end{aligned} $$
(3.19)

In addition, assume that

$$ \blacktriangle_{f}(m_{1}+m_{2})+\blacktriangle _{g}(n_{1}+n_{2})< 1, $$

where \(\blacktriangle_{f}\) and \(\blacktriangle_{g}\) are given by (3.4) and (3.5), respectively. Then the boundary value problem (1.1) has a unique solution.

Proof

Consider a bounded set \(\|T(\omega_{1},\omega_{2})(r)\|\leq r\). For \((\hbar_{1},\hbar_{2}),(\omega_{1},\omega_{2})\in\mathcal{X}\times \mathcal{Y}\), and for any \(r\in[0,1]\), we get

$$\begin{aligned} & \bigl\vert r_{1}( \hbar_{1},\hbar_{2}) (r)-r_{1}( \omega_{1},\omega_{2}) (r) \bigr\vert \\ &\quad = \biggl\vert \frac{1}{\varGamma( \theta_{1})} \int_{0}^{r}(r-s)^{\theta _{1}-1} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{1})} \int _{0}^{r}(r-s)^{\theta^{*}_{1}-1} f \bigl(s, \hbar_{1}(s),\hbar_{2}(s) \bigr) \biggr)\,ds \\ &\qquad {} +\frac{\gamma}{\Delta_{1}\varGamma(\theta_{1}+\alpha-1)} \int_{0}^{\eta }(\eta-s)^{\theta_{1}+\alpha-2} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta ^{*}_{1})} \int_{0}^{r}(r-s)^{\theta^{*}_{1}-1} f \bigl(s, \hbar_{1}(s),\hbar_{2}(s) \bigr) \biggr)\,ds \\ &\qquad{} -\frac{1}{\varGamma( \theta_{1})} \int_{0}^{r}(r-s)^{\theta _{1}-1} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{1})} \int _{0}^{r}(r-s)^{\theta^{*}_{1}-1} f \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds \\ &\qquad {} -\frac{\gamma}{\Delta_{1}\varGamma(\theta_{1}+\alpha-1)} \int_{0}^{\eta }(\eta-s)^{\theta_{1}+\alpha-2} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta ^{*}_{1})} \int_{0}^{r}(r-s)^{\theta^{*}_{1}-1} f \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds \biggr\vert \\ &\quad\leq\frac{(q-1)J_{1}^{q-2}}{\varGamma( \theta_{1})} \int _{0}^{r} \bigl\vert (r-s)^{\theta_{1}-1} \bigr\vert \frac{1}{\varGamma(\theta^{*}_{1})} \int _{0}^{r} \bigl\vert (r-s)^{\theta^{*}_{1}-1} \bigr\vert \bigl\vert f \bigl(s,\hbar_{1}(s),\hbar_{2}(s) \bigr) \\ &\qquad {} -f \bigl(s,\omega_{1}(s),\omega_{2}(s) \bigr) \bigr\vert \,ds \\ &\qquad{}+\frac{(q-1)J_{1}^{q-2}\gamma}{\Delta_{1}\varGamma(\theta _{1}+\alpha-1)} \int_{0}^{\eta} \bigl\vert (\eta-s)^{\theta_{1}+\alpha-2} \bigr\vert \frac {1}{\varGamma(\theta^{*}_{1})} \int_{0}^{r} \bigl\vert (r-s)^{\theta^{*}_{1}-1} \bigr\vert \bigl\vert f \bigl(s,\hbar_{1}(s),\hbar_{2}(s) \bigr) \\ &\qquad {} -f \bigl(s,\omega_{1}(s),\omega_{2}(s) \bigr) \bigr\vert \,ds \\ &\quad\leq\frac{(q-1)J_{1}^{q-2}}{\varGamma(\theta^{*}_{1}+1)} \biggl[\frac {1}{\varGamma(\theta_{1}+1)} +\frac{\gamma\eta^{\theta_{1}+\alpha-1}}{\Delta_{1}\varGamma(\theta _{1}+\alpha)} \biggr] \bigl(m_{1} \vert \hbar_{1}-\omega_{1} \vert +m_{2} \vert \hbar _{2}-\omega_{2} \vert \bigr) \\ &\quad\leq\blacktriangle_{f}(m_{1}+m_{2}) \bigl( \vert \hbar_{1}-\omega _{1} \vert + \vert \hbar_{2}-\omega_{2} \vert \bigr). \end{aligned}$$
(3.20)

Similarly, we have

$$\begin{aligned} & \bigl\vert T_{2} ( \hbar_{1},\hbar_{2} ) (r)-T_{2} ( \omega_{1},\omega _{2} ) (r) \bigr\vert \\ &\quad= \biggl\vert \frac{1}{\varGamma(\theta_{2})} \int_{0}^{r}(r-s)^{\theta _{2}-1} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{2})} \int _{0}^{r}(r-s)^{\theta^{*}_{2}-1} g \bigl(s, \hbar_{1}(s),\hbar_{2}(s) \bigr) \biggr)\,ds \\ &\qquad{} +\frac{\delta}{\Delta_{2}\varGamma(\theta_{2}+\beta-1)} \int _{0}^{\xi}(\xi-s)^{\theta_{2}+\beta-2} \varphi_{q} \biggl(\frac{1}{\varGamma (\theta^{*}_{2})} \int_{0}^{r}(r-s)^{\theta^{*}_{2}-1} g \bigl(s, \hbar_{1}(s),\hbar_{2}(s) \bigr) \biggr)\,ds \\ &\qquad{}-\frac{1}{\varGamma( \theta_{2})} \int_{0}^{r}(r-s)^{\theta _{2}-1} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{2})} \int _{0}^{r}(r-s)^{\theta^{*}_{2}-1} g \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds \\ &\qquad{}-\frac{\delta}{\Delta_{2}\varGamma(\theta_{2}+\beta-1)} \int _{0}^{\xi}(\xi-s)^{\theta_{2}+\beta-2} \varphi_{q} \biggl(\frac{1}{\varGamma (\theta^{*}_{2})} \int_{0}^{r}(r-s)^{\theta^{*}_{2}-1} g \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds \\ &\qquad{}-\frac{1}{\varGamma( \theta_{2})} \int_{0}^{r}(r-s)^{\theta _{2}-1} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{2})} \int _{0}^{r}(r-s)^{\theta^{*}_{2}-1} g \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds \\ &\qquad{}-\frac{\delta}{\Delta_{2}\varGamma(\theta_{2}+\beta-1)} \int _{0}^{\xi}(\xi-s)^{\theta_{2}+\beta-2} \varphi_{q} \biggl(\frac{1}{\varGamma (\theta^{*}_{2})} \int_{0}^{r}(r-s)^{\theta^{*}_{2}-1} g \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds\biggr\vert \\ &\quad\leq\frac{(q-1)J_{2}^{q-2}}{\varGamma( \theta_{2})} \int _{0}^{r} \bigl\vert (r-s)^{\theta_{2}-1} \bigr\vert \frac{1}{\varGamma(\theta^{*}_{2})} \int _{0}^{r} \bigl\vert (r-s)^{\theta^{*}_{2}-1} \bigr\vert \bigl\vert g \bigl(s,\hbar_{1}(s),\hbar_{2}(s) \bigr) \\ &\qquad{}-g \bigl(s,\omega_{1}(s),\omega_{2}(s) \bigr) \bigr\vert \,ds \\ &\qquad{}+\frac{(q-1)J_{2}^{q-2}\delta}{\Delta_{2}\varGamma(\theta _{2}+\beta-1)} \int_{0}^{\xi} \bigl\vert (\xi-s)^{\theta_{2}+\beta-2} \bigr\vert \frac {1}{\varGamma(\theta^{*}_{2})} \int_{0}^{r} \bigl\vert (r-s)^{\theta^{*}_{2}-1} \bigr\vert \bigl\vert g \bigl(s,\hbar_{1}(s),\hbar_{2}(s) \bigr) \\ &\qquad{}-g \bigl(s,\omega_{1}(s),\omega_{2}(s) \bigr) \bigr\vert \,ds \\ &\quad\leq\frac{(q-1)J_{2}^{(q-2)}}{\varGamma(\theta^{*}_{2}+1)} \biggl[\frac {1}{\varGamma(\theta_{2}+1)} +\frac{\delta\xi^{\theta_{2}+\beta-1}}{\Delta_{2}\varGamma(\theta_{2}+\beta )} \biggr] \bigl(n_{1} \vert \hbar_{1}-\omega_{1} \vert +n_{2} \vert \hbar_{2}-\omega_{2} \vert \bigr) \\ &\quad\leq\blacktriangle_{g}(n_{1}+n_{2}) \bigl( \Vert \hbar_{1}-\omega_{1} \Vert + \Vert \hbar_{2}-\omega_{2} \Vert \bigr). \end{aligned}$$
(3.21)

Therefore, by (3.20) and (3.21), we have

$$ \begin{aligned}[b] &\bigl\Vert T ( \hbar_{1},\hbar_{2} ) (r)-T (\omega_{1}, \omega_{2} ) (r) \bigr\Vert \\ &\quad \leq \bigl[\blacktriangle_{f}(m_{1}+m_{2})+ \blacktriangle _{g}(n_{1}+n_{2})\bigr] \bigl( \Vert \hbar_{1}-\omega_{1} \Vert + \Vert \hbar_{2}-\omega_{2} \Vert \bigr). \end{aligned} $$
(3.22)

Hence \(\blacktriangle_{f}(m_{1}+m_{2})+\blacktriangle _{g}(n_{1}+n_{2})<1\), and therefore T is a contraction operator. So by Banach’s fixed point theorem, the operator T has a unique fixed point, which is the unique solution of problem (1.1). □

4 Hyers–Ulam stability of the coupled system

Definition 4.1

The coupled system of Hammerstein-type integral equations (2.8) is Hyres–Ulam stable if there exist positive constants \(D_{i}>0\) (\(i=1,2\)) satisfying:

For \(\varrho_{i}>0\), \(i=1,2\), if

$$ \begin{aligned}& \biggl|\omega_{1}(r)- \frac{1}{\varGamma( \theta_{1})} \int_{0}^{r}(r-s)^{\theta _{1}-1} \varphi_{q} \bigl(I^{\theta^{*}_{1}} f \bigl(s,\omega_{1}(s), \omega _{2}(s) \bigr) \bigr) \,ds \\ &\quad {} -\frac{\gamma}{\Delta_{1}\varGamma(\theta_{1}+\alpha-1)} \int_{0}^{\eta }(\eta-s)^{\theta_{1}+\alpha-2} \varphi_{q} \bigl(I^{\theta^{*}_{1}}f \bigl(s,\omega_{1}(s), \omega_{2}(s) \bigr) \bigr)\,ds\biggr|\leq\varrho_{1}, \\ & \biggl|\omega_{2}(r)-\frac{1}{\varGamma( \theta_{2})} \int_{0}^{r}(r-s)^{\theta _{2}-1} \varphi_{q} \bigl(I^{\theta^{*}_{2}} g \bigl(s,\omega_{1}(s), \omega _{2}(s) \bigr) \bigr) \,ds \\ &\quad {} -\frac{\delta}{\Delta_{2}\varGamma(\theta_{2}+\beta-1)} \int_{0}^{\xi}(\xi -s)^{\theta_{2}+\beta-2} \varphi_{q} \bigl(I^{\theta^{*}_{2}}g \bigl(s,\omega _{1}(s), \omega_{2}(s) \bigr) \bigr)\,ds\biggr|\leq\varrho_{2}, \end{aligned} $$
(4.1)

there exist \((\omega_{1}^{*}(r),\omega_{2}^{*}(r))\), satisfying

$$ \begin{gathered} \omega_{1}^{*}(r)= \frac{1}{\varGamma( \theta_{1})} \int_{0}^{r}(r-s)^{\theta _{1}-1} \varphi_{q} \bigl(I^{\theta^{*}_{1}} f \bigl(s,\omega_{1}^{*}(s), \omega _{2}^{*}(s) \bigr) \bigr) \,ds \\ \hphantom{ \omega_{1}^{*}(r)=}{}+\frac{\gamma}{\Delta_{1}\varGamma(\theta_{1}+\alpha-1)} \int_{0}^{\eta }(\eta-s)^{\theta_{1}+\alpha-2} \varphi_{q} \bigl(I^{\theta^{*}_{1}}f \bigl(s,\omega_{1}^{*}(s), \omega_{2}^{*}(s) \bigr) \bigr)\,ds, \\ \omega_{2}^{*}(r)= \frac{1}{\varGamma( \theta_{2})} \int_{0}^{r}(r-s)^{\theta _{2}-1} \varphi_{q} \bigl(I^{\theta^{*}_{2}} g \bigl(s,\omega_{1}^{*}(s), \omega _{2}^{*}(s) \bigr) \bigr) \,ds \\ \hphantom{\omega_{2}^{*}(r)=}{} +\frac{\delta}{\Delta_{2}\varGamma(\theta_{2}+\beta-1)} \int_{0}^{\xi}(\xi -s)^{\theta_{2}+\beta-2} \varphi_{q} \bigl(I^{\theta^{*}_{2}}g \bigl(s,\omega _{1}^{*}(s), \omega_{2}^{*}(s) \bigr) \bigr)\,ds, \end{gathered} $$
(4.2)

such that

$$ \begin{aligned}[b] & \bigl\vert \omega_{1}(r)- \omega_{1}^{*}(r) \bigr\vert \leq D_{1} \varrho_{1}, x\in[0, 1], \\ & \bigl\vert \omega_{2}(r)-\omega_{2}^{*}(r) \bigr\vert \leq D_{2}\varrho_{2}, x\in[0, 1]. \end{aligned} $$
(4.3)

In the present section, we derive the Hyers–Ulam type stability for the solution of the considered problem.

Theorem 4.2

By the assumption that \(f,g:[0,1]\times\mathcal{R}^{2}\rightarrow\mathcal{R}\) are continuous functions and there exist constants \(m_{i}\), \(n_{i}\), \(i=1,2\) such that for all \(r\in[0,1]\) and \(\omega_{1}, \omega_{2}, \hbar_{1}, \hbar_{2}\in\mathcal{R}\),

$$ \begin{aligned} \bigl\vert f(r, \omega_{1},\hbar_{1})-f(r,\omega_{2}, \hbar_{2}) \bigr\vert \leq m_{1} \vert \omega _{1}-\omega_{2} \vert +n_{1} \vert \hbar_{1}-\hbar_{2} \vert , \\ \bigl\vert g(r,\omega_{1},\hbar_{1})-g(r, \omega_{2},\hbar_{2}) \bigr\vert \leq m_{2} \vert \omega _{1}-\omega_{2} \vert +n_{2} \vert \hbar_{1}-\hbar_{2} \vert , \end{aligned} $$
(4.4)

system (1.1) is Hyers–Ulam stable.

Proof

By Theorem 3.3 and Definition 4.1, let \((\omega_{1}(r),\omega _{2}(r))\) be the exact solution, and \((\omega_{1}^{*}(r),\omega_{2}^{*}(r))\) be any other solution of system (2.8). Then, with the help of (2.8), we have

$$\begin{aligned} \bigl\vert \omega_{1}(r)-\omega_{1}^{*}(r) \bigr\vert \leq& \biggl|\frac{1}{\varGamma( \theta _{1})} \int_{0}^{r}(r-s)^{\theta_{1}-1} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{1})} \int_{0}^{r}(r-s)^{\theta ^{*}_{1}-1} f \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr) \,ds \\ &{}+\frac{\gamma}{\Delta_{1}\varGamma(\theta_{1}+\alpha-1)} \int_{0}^{\eta }(\eta-s)^{\theta_{1}+\alpha-2} \\ &{}\times \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{1})} \int_{0}^{r}(r-s)^{\theta^{*}_{1}-1}f \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds \\ &{}-\frac{1}{\varGamma( \theta_{1})} \int_{0}^{r}(r-s)^{\theta_{1}-1}\varphi _{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{1})} \int_{0}^{r}(r-s)^{\theta^{*}_{1}-1} f \bigl(s, \omega_{1}^{*}(s),\omega_{2}^{*}(s) \bigr) \biggr) \,ds \\ &{}-\frac{\gamma}{\Delta_{1}\varGamma(\theta_{1}+\alpha-1)} \int_{0}^{\eta }(\eta-s)^{\theta_{1}+\alpha-2} \\ &{}\times \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{1})} \int_{0}^{r}(r-s)^{\theta^{*}_{1}-1}f \bigl(s, \omega_{1}^{*}(s),\omega _{2}^{*}(s) \bigr) \biggr)\,ds\biggr| \\ \leq&\frac{1}{\varGamma( \theta_{1})} \int_{0}^{r} \bigl\vert (r-s)^{\theta _{1}-1} \bigr\vert \biggl\vert \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{1})} \int _{0}^{r}(r-s)^{\theta^{*}_{1}-1} g \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr)\,ds \biggr) \\ &{}-\varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{1})} \int _{0}^{r}(r-s)^{\theta^{*}_{1}-1}g \bigl(s, \omega_{1}^{*}(s),\omega _{2}^{*}(s) \bigr)\,ds \biggr) \biggr\vert \\ &{}+\frac{\gamma}{\Delta_{1}\varGamma(\theta_{1}+\alpha-1)} \int_{0}^{\eta } \bigl\vert (\eta-s)^{\theta_{1}+\alpha-2} \bigr\vert \\ &{}\times \biggl\vert \varphi_{q} \biggl(\frac{1}{ \varGamma(\theta^{*}_{1})} \int_{0}^{r}(r-s)^{\theta^{*}_{1}-1} g \bigl(s,\omega _{1}(s),\omega_{2}(s) \bigr)\,ds \biggr) \\ &{}-\varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{1})} \int _{0}^{r}(r-s)^{\theta^{*}_{1}-1}g \bigl(s, \omega_{1}^{*}(s),\omega _{2}^{*}(s) \bigr)\,ds \biggr) \biggr\vert \\ \leq&\frac{(q-1)J_{1}^{q-2}}{\varGamma( \theta_{1})} \int_{0}^{r} \bigl\vert (r-s)^{\theta _{1}-1} \bigr\vert \frac{1}{\varGamma(\theta^{*}_{1})} \int_{0}^{r} \bigl\vert (r-s)^{\theta ^{*}_{1}-1} \bigr\vert \bigl\vert f \bigl(s,\omega_{1}(s),\omega_{2}(s) \bigr) \\ &{}-f \bigl(s,\omega_{1}^{*}(s),\omega_{2}^{*}(s) \bigr) \bigr\vert \,ds \\ &{}+\frac{(q-1)J_{1}^{q-2}\gamma}{\Delta_{1}\varGamma(\theta_{1}+\alpha -1)} \int_{0}^{\eta} \bigl\vert (\eta-s)^{\theta_{1}+\alpha-2} \bigr\vert \\ &{}\times\frac{1}{\varGamma (\theta^{*}_{1})} \int_{0}^{r} \bigl\vert (r-s)^{\theta^{*}_{1}-1} \bigr\vert \bigl\vert f \bigl(s,\omega _{1}(s), \omega_{2}(s) \bigr) -f \bigl(s,\omega_{1}^{*}(s),\omega_{2}^{*}(s) \bigr) \bigr\vert \,ds \\ \leq&\frac{(q-1)J_{1}^{q-2}\mathcal{K}_{f}}{\varGamma( \theta_{1}+1)\varGamma (\theta^{*}_{1}+1)} \bigl( \bigl\vert \omega_{1}(r)- \omega_{1}^{*}(r) \bigr\vert + \bigl\vert \omega _{2}(r)-\omega_{2}^{*}(r) \bigr\vert \bigr) \\ &{}+\frac{(q-1)J_{1}^{q-2}\gamma\eta^{\theta_{1}+\alpha-1}\mathcal {K}_{f}}{\Delta_{1}\varGamma(\theta_{1}+\alpha)\varGamma(\theta^{*}_{1}+1)} \bigl( \bigl\vert \omega_{1}(r)- \omega_{1}^{*}(r) \bigr\vert + \bigl\vert \omega_{2}(r)-\omega_{2}^{*}(r) \bigr\vert \bigr), \end{aligned}$$
(4.5)

which implies that

$$ \begin{aligned}[b] \bigl\Vert \omega_{1}- \omega_{1}^{*} \bigr\Vert &\leq\frac{(q-1)J_{1}^{q-2}\mathcal {K}_{f}}{\varGamma(\theta^{*}_{1}+1)} \biggl[ \frac{1}{\varGamma(\theta_{1}+1)} +\frac{\gamma\eta^{\theta_{1}+\alpha-1}}{\Delta_{1}\varGamma(\theta _{1}+\alpha)} \biggr] \\ &\quad{}\times \bigl( \bigl\Vert \omega_{1}-\omega_{1}^{*} \bigr\Vert + \bigl\Vert \omega_{2}-\omega_{2}^{*} \bigr\Vert \bigr) \\ &\leq D_{1}\varrho_{1}, \end{aligned} $$
(4.6)

where \(D_{1}=\frac{(q-1)J_{1}^{q-2}\mathcal{K}_{f}}{\varGamma(\theta ^{*}_{1}+1)} [\frac{1}{\varGamma(\theta_{1}+1)} +\frac{\gamma\eta^{\theta_{1}+\alpha-1}}{\Delta_{1}\varGamma(\theta _{1}+\alpha)} ]\). Similarly, we further have

$$\begin{aligned} \bigl\vert \omega_{2}(r)-\omega_{2}^{*}(r) \bigr\vert \leq& \biggl|\frac{1}{\varGamma( \theta _{2})} \int_{0}^{r}(r-s)^{\theta_{2}-1} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{2})} \int_{0}^{r}(r-s)^{\theta ^{*}_{2}-1} g \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr) \,ds \\ &{} +\frac{\delta}{\Delta_{2}\varGamma(\theta_{2}+\beta-1)} \\ &{}\times\int_{0}^{\xi}(\xi -s)^{\theta_{2}+\beta-2} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{2})} \int_{0}^{r}(r-s)^{\theta^{*}_{2}-1}g \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr) \biggr)\,ds \\ &{} -\frac{1}{\varGamma( \theta_{2})} \int_{0}^{r}(r-s)^{\theta_{2}-1} \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{2})} \int_{0}^{r}(r-s)^{\theta^{*}_{2}-1} g \bigl(s, \omega_{1}^{*}(s),\omega_{2}^{*}(s) \bigr) \biggr) \,ds \\ &{} -\frac{\delta}{\Delta_{2}\varGamma(\theta_{2}+\beta-1)} \int_{0}^{\xi}(\xi -s)^{\theta_{2}+\beta-2} \\ &{}\times \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{2})} \int_{0}^{r}(r-s)^{\theta^{*}_{2}-1}g \bigl(s, \omega_{1}^{*}(s),\omega _{2}^{*}(s) \bigr) \biggr)\,ds\biggr| \\ \leq&\frac{1}{\varGamma( \theta_{2})} \int_{0}^{r} \bigl\vert (r-s)^{\theta _{2}-1} \bigr\vert \biggl\vert \varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{2})} \int _{0}^{r}(r-s)^{\theta^{*}_{2}-1} g \bigl(s, \omega_{1}(s),\omega_{2}(s) \bigr)\,ds \biggr) \\ &{} -\varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{2})} \int_{0}^{r}(r-s)^{\theta ^{*}_{2}-1}g \bigl(s, \omega_{1}^{*}(s),\omega_{2}^{*}(s) \bigr)\,ds \biggr) \biggr\vert \\ &{} +\frac{\delta}{\Delta_{2}\varGamma(\theta_{2}+\beta-1)} \\ &{}\times \int_{0}^{\xi} \bigl\vert (\xi -s)^{\theta_{2}+\beta-2} \bigr\vert \biggl\vert \varphi_{q} \biggl(\frac{1}{ \varGamma(\theta^{*}_{2})} \int_{0}^{r}(r-s)^{\theta^{*}_{2}-1} g \bigl(s,\omega _{1}(s),\omega_{2}(s) \bigr)\,ds \biggr) \\ &{} -\varphi_{q} \biggl(\frac{1}{\varGamma(\theta^{*}_{2})} \int_{0}^{r}(r-s)^{\theta ^{*}_{2}-1}g \bigl(s, \omega_{1}^{*}(s),\omega_{2}^{*}(s) \bigr)\,ds \biggr) \biggr\vert \\ \leq& \frac{(q-1)J_{2}^{q-2}}{\varGamma( \theta_{2})} \int_{0}^{r} \bigl\vert (r-s)^{\theta _{2}-1} \bigr\vert \frac{1}{\varGamma(\theta^{*}_{2})} \int_{0}^{r} \bigl\vert (r-s)^{\theta ^{*}_{2}-1} \bigr\vert \bigl\vert g \bigl(s,\omega_{1}(s),\omega_{2}(s) \bigr) \\ &{} -g \bigl(s,\omega_{1}^{*}(s),\omega_{2}^{*}(s) \bigr) \bigr\vert \,ds \\ &{} +\frac{(q-1)J_{2}^{q-2}\delta}{\Delta_{2}\varGamma(\theta_{2}+\beta -1)} \int_{0}^{\xi} \bigl\vert (\xi-s)^{\theta_{2}+\beta-2} \bigr\vert \frac{1}{\varGamma(\theta ^{*}_{2})} \\ &{}\times \int_{0}^{r} \bigl\vert (r-s)^{\theta^{*}_{2}-1} \bigr\vert \bigl\vert g \bigl(s,\omega_{1}(s),\omega _{2}(s) \bigr) -g \bigl(s,\omega_{1}^{*}(s),\omega_{2}^{*}(s) \bigr) \bigr\vert \,ds \\ \leq& \frac{(q-1)J_{2}^{q-2}\mathcal{K}_{g}}{\varGamma( \theta_{2}+1)\varGamma (\theta^{*}_{2}+1)} \bigl( \bigl\vert \omega_{1}(r)- \omega_{1}^{*}(r) \bigr\vert + \bigl\vert \omega _{2}(r)-\omega_{2}^{*}(r) \bigr\vert \bigr) \\ &{} +\frac{(q-1)J_{2}^{q-2}\delta\xi^{\theta_{2}+\alpha-1}\mathcal {K}_{g}}{\Delta_{2}\varGamma(\theta_{2}+\beta)\varGamma(\theta^{*}_{2}+1)} \bigl( \bigl\vert \omega_{1}(r)- \omega_{1}^{*}(r) \bigr\vert + \bigl\vert \omega_{2}(r)-\omega_{2}^{*}(r) \bigr\vert \bigr), \end{aligned}$$
(4.7)

which implies that

$$\begin{aligned} \bigl\Vert \omega_{2}-\omega_{2}^{*} \bigr\Vert \leq& \frac{(q-1)J_{2}^{q-2}\mathcal {K}_{g}}{\varGamma(\theta^{*}_{2}+1)} \biggl[\frac{1}{\varGamma(\theta_{2}+1)} +\frac{\delta\xi^{\theta_{2}+\beta-1}}{\Delta_{2}\varGamma(\theta_{2}+\beta )} \biggr] \\ &{}\times \bigl( \bigl\Vert \omega_{1}-\omega_{1}^{*} \bigr\Vert + \bigl\Vert \omega_{2}-\omega _{2}^{*} \bigr\Vert \bigr) \\ \leq& D_{2}\varrho_{2}, \end{aligned}$$

where \(D_{2}=\frac{(q-1)J_{2}^{q-2}\mathcal{K}_{g}}{\varGamma(\theta ^{*}_{2}+1)} [\frac{1}{\varGamma(\theta_{2}+1)} +\frac{\delta\xi^{\theta_{2}+\beta-1}}{\Delta_{2}\varGamma(\theta_{2}+\beta )} ]\). Hence in view of (4.5) and (4.7), the system of integral equations (2.8) is Hyers–Ulam stable, and consequently, the solution of system (1.1) is Hyers–Ulam stable. □

5 Illustrative example

Example 5.1

Consider the following coupled FDEs involving the nonlinear p-Laplacian operator with IBCs:

$$ \begin{aligned}& \mathcal{D}^{\frac{1}{2}} \varphi_{3} \bigl(\mathcal{D}^{\frac{3}{2}}\omega _{1}(r) \bigr)=\frac{e^{-2r}\omega_{1}(r)}{100}+\frac{\sin \vert \omega _{1}(r) \vert +\cos \vert \omega_{2}(r) \vert }{2(25+r^{2})},\quad r\in[0,1], \\ & \mathcal{D}^{\frac{1}{2}}\varphi_{3} \bigl(\mathcal{D}^{\frac{3}{2}} \omega _{2}(r) \bigr)=\frac{\sin \vert \omega_{1}(r) \vert + \vert \omega_{2}(r) \vert }{10(r+1)}+\frac {e^{-2 r}\omega_{2}(r)}{20}, \quad r \in[0,1], \\ & \varphi_{3} \bigl(\mathcal{D}^{\frac{3}{2}}\omega_{1}(r) \bigr)\big|_{r=0}=\omega'_{1}(r)\big|_{r=0}=0, \qquad\omega_{1}(r)|_{r=0}= \sqrt {2}I^{\frac{1}{3}} \omega_{1}\biggl(\frac{1}{2}\biggr), \\ & \varphi_{3} \bigl(\mathcal{D}^{\frac{3}{2}}\omega_{2}(r) \bigr)\big|_{r=0}=v'(r)\big|_{r=0}=0, \qquad \omega_{2}(r)|_{r=0}= \sqrt{3}I^{\frac {1}{2}} \omega_{2}\biggl(\frac{1}{3}\biggr). \end{aligned} $$
(5.1)

The suggested parameter values are \(\theta_{i}=3/2\), \(\theta^{*}_{i}=1/2\) (\(i=1,2\)), \(p=3\), \(\gamma=\sqrt{2}\), \(\delta=\sqrt{3}\), \(\eta=1/2\), \(\xi=1/3\), \(p=4/3\), \(q=3/2\), \(f(r,\omega_{1},\omega_{2})=\frac{e^{-3r}\omega_{1}(r)}{30}+\frac {\sin|\omega_{1}(r)|+\cos|\omega_{2}(r)|}{(50+r^{2})}\) and \(g(r,\omega_{1},\omega_{2})=\frac{r^{3}+\sin|\omega_{1}(r)|+|\omega _{2}(r)|}{25}+\frac{e^{-2 r}\omega_{1}(r)}{20}\). Further, we have

$$ \begin{aligned}[b]&\bigl\vert f(r, \omega_{1},\omega_{2})-f(r,\omega_{1}, \omega_{2}) \bigr\vert \leq\frac {1}{50} \vert \omega_{1}-\omega_{2} \vert +\frac{1}{50} \vert \omega_{1}-\omega _{2} \vert , \\ &\bigl\vert g(r,\omega_{1},\omega_{2})-g(r, \omega_{1},\omega_{2}) \bigr\vert \leq\frac {1}{10} \vert \omega_{1}-\omega_{2} \vert +\frac{1}{10} \vert \omega_{1}-\omega_{2} \vert . \end{aligned} $$

Therefore, we have \(m_{1}=0.3=m_{2}\), \(n_{1}=0.2=n_{2}\)

$$ \begin{aligned}[b] \blacktriangle_{f}(m_{1}+m_{2})+ \blacktriangle_{g}(n_{1}+n_{2})&= \frac {(\frac{3}{2}-1)2^{\frac{-1}{2}}}{\varGamma{\frac{3}{2}}} \biggl[\frac{1}{\varGamma{\frac{5}{2}}}+\frac{\sqrt{2} (\frac{1}{2})^{\frac {11}{6}}}{(1-\frac{\sqrt{2}}{\varGamma{\frac{4}{3}}})\varGamma{\frac {17}{6}}} \biggr](0.3+0.3) \\ &\quad {} +\frac{(\frac{3}{2}-1)2^{\frac{-1}{2}}}{\varGamma{\frac{3}{2}}} \biggl[\frac{1}{\varGamma{\frac{5}{2}}}+\frac{\sqrt{3} (\frac{1}{3})^{\frac {11}{6}}}{(1-\frac{\sqrt{3}}{\varGamma{\frac{4}{3}}})\varGamma{\frac {17}{6}}} \biggr](0.2+0.2)\\ &< 1. \end{aligned} $$

Hence all the conditions of Theorem 3.3 are satisfied, and so the coupled system (5.1) has a unique solution and is Hyres–Ulam stable.

6 Conclusion

In this paper we investigated existence and uniqueness of solutions for coupled fractional differential equations involving the nonlinear p-Laplacian operator with integral boundary conditions, by using nonlinear Leray–Schauder-type alternative and Banach’s fixed point theorem. We have also developed some conditions to prove Hyres–Ulam stability. An illustrative example was provided to demonstrate the results. For further studies, we suggest investigating our problem (1.1) for multiplicity results and exponential stability. Readers may also consider the problem for the new established derivative known as ABC fractional derivative.

References

  1. Laskin, N.: Fractional market dynamics. Physica A 287, 482–492 (2000)

    Article  MathSciNet  Google Scholar 

  2. Laskin, N.: Fractional quantum mechanics and Levy path integrals. Phys. Lett. A 298, 298–305 (2000)

    Article  MathSciNet  Google Scholar 

  3. Pierri, M., O’Regan, D., Rolnik, V.: Existence of solutions for semi-linear abstract differential equations with not instantaneous impulses. Appl. Math. Comput. 219, 6743–6749 (2013)

    MathSciNet  MATH  Google Scholar 

  4. McCluskey, C.C.: A model of HIV/AIDS with staged progression and amelioration. Math. Biosci. 181, 1–6 (2003)

    Article  MathSciNet  Google Scholar 

  5. Biçer, E., Tunç, C.: New theorems for Hyers–Ulam stability of Lienard equation with variable time lags. Int. J. Math. Comput. Sci. 3, 231–242 (2018)

    MathSciNet  Google Scholar 

  6. Ran-Chao, W., Xin-Dong, H., Li-Ping, C.: Finite-time stability of fractional-order neural networks with delay. Commun. Theor. Phys. 60(2), 189 (2013)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  8. Laskin, N.: Fractional quantum mechanics. Phys. Rev. E 62(3), 3135 (2000)

    Article  MathSciNet  Google Scholar 

  9. Shah, K., Tunc, C.: Existence theory and stability analysis to a system of boundary value problem. J. Taibah Univ. Sci. 11, 1330–1342 (2017)

    Article  Google Scholar 

  10. Jarad, F., Abdeljawad, T., Baleanu, D.: On the generalized fractional derivatives and their Caputo modification. J. Nonlinear Sci. Appl. 10, 2607–2619 (2017)

    Article  MathSciNet  Google Scholar 

  11. Ramaswamy, M., Shivaji, R.: Multiple positive solutions for classes of p-Laplacian equations. Differ. Integral Equ. 17, 1255–1261 (2004)

    MathSciNet  MATH  Google Scholar 

  12. Oruganti, S., Shi, J., Shivaji, R.: Logistic equation with the p-Laplacian and constant yield harvesting. Abstr. Appl. Anal. 2004, 723–727 (2004)

    Article  MathSciNet  Google Scholar 

  13. Ly, I., Seck, D.: Isoperimetric inequality for an interior free boundary problem with p-Laplacian operator. Electron. J. Differ. Equ. 287, 12 (2004)

    MathSciNet  MATH  Google Scholar 

  14. Zhi, E., Liu, X., Li, F.: Nonlocal boundary value problem for fractional differential equations with p-Laplacian. Math. Methods Appl. Sci. 37, 2651–2662 (2014)

    Article  MathSciNet  Google Scholar 

  15. Jafari, H., Baleanu, D., Khan, H., Khan, R.A., Khan, A.: Existence criterion for the solutions of fractional order p-Laplacian boundary value problems. Bound. Value Probl. 2015(1), 164 (2015)

    Article  MathSciNet  Google Scholar 

  16. Hu, L., Zhang, S.: On existence results for nonlinear fractional differential equations involving the p-Laplacian at resonance. Mediterr. J. Math. 13, 955–966 (2016)

    Article  MathSciNet  Google Scholar 

  17. Diening, L., Lindqvist, P., Kawohl, B.: Mini-workshop: the p-Laplacian operator and applications. Oberwolfach Rep. 10, 433–482 (2013)

    Article  MathSciNet  Google Scholar 

  18. Wang, Y., Hou, C.: Existence of multiple positive solutions for one-dimensional p-Laplacian. J. Math. Anal. Appl. 315, 144–153 (2006)

    Article  MathSciNet  Google Scholar 

  19. Al-Mdallal, Q.M., Hajji, M.A.: A convergent algorithm for solving higher-order nonlinear fractional boundary value problems. Fract. Calc. Appl. Anal. 18, 1423–1440 (2015)

    Article  MathSciNet  Google Scholar 

  20. Abdeljawad, T., Baleanu, D.: On fractional derivatives with exponential kernel and their discrete versions. Rep. Math. Phys. 80, 11–27 (2017)

    Article  MathSciNet  Google Scholar 

  21. Jankowski, T.: Positive solutions to fractional differential equations involving Stieltjes integral conditions. Appl. Math. Comput. 241, 200–213 (2014)

    MathSciNet  MATH  Google Scholar 

  22. Cabada, A., Dimitrijevic, S., Tomovic, T., Aleksic, S.: A Lyapunov approach to the stability of fractional differential equations. Math. Methods Appl. Sci. 40, 1880–1891 (2017)

    MathSciNet  MATH  Google Scholar 

  23. Ntouyas, S.K., Etemad, S.: On the existence of solutions for fractional differential inclusions with sum and integral boundary conditions. Appl. Math. Comput. 266, 235–243 (2015)

    MathSciNet  Google Scholar 

  24. Günendi, M., Yaslan, I.: Positive solutions of higher-order nonlinear multi-point fractional equations with integral boundary conditions. Fract. Calc. Appl. Anal. 19, 989–1009 (2016)

    Article  MathSciNet  Google Scholar 

  25. Hu, L., Zhang, S.: Existence results for a coupled system of fractional differential equations with p-Laplacian operator and infinite-point boundary conditions. Bound. Value Probl. 2017(1), 88 (2017)

    Article  MathSciNet  Google Scholar 

  26. Ali, A., Samet, B., Shah, K., Khan, R.A.: Existence and stability of solution to a toppled systems of differential equations of non-integer order. Bound. Value Probl. 2017(1), 16 (2017)

    Article  MathSciNet  Google Scholar 

  27. Agarwal, R., O’Regan, D., Hristova, S.: Stability of Caputo fractional differential equations by Lyapunov functions. Appl. Math. 60, 653–676 (2015)

    Article  MathSciNet  Google Scholar 

  28. Wang, J.: Stability of noninstantaneous impulsive evolution equations. Appl. Math. Lett. 73, 153–162 (2011)

    MathSciNet  Google Scholar 

  29. Ulam, S.: Problems in Modern Mathematics. Courier Corporation (2004)

    MATH  Google Scholar 

  30. Khan, H., Tunc, C., Chen, W., Khan, A.: Existence theorem and Hyers–Ulam stability for a class of hybrid fractional differential equation with p-Laplacian operator. J. Appl. Anal. Comput. 8, 1211–1226 (2018)

    MathSciNet  Google Scholar 

  31. Jung, S.: Hyers–Ulam stability of a system of first order linear differential equations with constant coefficients. J. Math. Anal. Appl. 320, 549–561 (2006)

    Article  MathSciNet  Google Scholar 

  32. Jung, S.M., Rassias, T.M.: Generalized Hyers–Ulam stability of Riccati differential equation. J. Math. Anal. Appl. 11, 777–782 (2008)

    MathSciNet  MATH  Google Scholar 

  33. Trigeassou, J., Maamri, N., Sabatier, J., Oustaloup, A.: A Lyapunov approach to the stability of fractional differential equations. Signal Process. 91, 437–445 (2011)

    Article  Google Scholar 

  34. Isaia, F.: On a nonlinear integral equation without compactness. Acta Math. Univ. Comen. 75(2), 233–240 (2006)

    MathSciNet  MATH  Google Scholar 

  35. Deimling, K.: Nonlinear Functional Analysis. Courier Corporation (2010)

    MATH  Google Scholar 

  36. Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)

    MATH  Google Scholar 

  37. Shen, T., Liu, W., Shen, X.: Existence and uniqueness of solutions for several BVPs of fractional differential equations with p-Laplacian operator. Mediterr. J. Math. 13, 4623–4637 (2016)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors are thankful to the anonymous reviewers and the editorial board for their help in the improvement of the quality of our paper. The work was supported by National Natural Science Foundation of China (Nos. 11572111, 11772121).

Funding

The work was supported by National Natural Science Foundation of China (Nos. 11572111, 11772121).

Author information

Authors and Affiliations

Authors

Contributions

All the authors have equal contributions in this article. All authors read and approved the final manuscript.

Corresponding authors

Correspondence to Wen Chen or Aziz Khan.

Ethics declarations

Competing interests

The authors have no competing interests regarding the publication of this article.

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

Khan, H., Chen, W., Khan, A. et al. Hyers–Ulam stability and existence criteria for coupled fractional differential equations involving p-Laplacian operator. Adv Differ Equ 2018, 455 (2018). https://doi.org/10.1186/s13662-018-1899-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-018-1899-x

Keywords